有个很重要的事实 就是 Hecke 代数可以写成一些eigensystem的积，那么局部化了之后就是eigensystem over \bar \rho 很自然地，根据泛性质就存在了一个映射R—>T;然后 容易严重它的满的 所以本质上TW方法就是证明它也是单的;patching 干了什么呢？它提供了一个东西，T在上面有个自然的作用。我们让R通过满射R—>T也作用在上面。Patching argument告诉我们R的作用是自由的 从而得到R——>T也是单的;关键就是那个东西怎么构造呢？其实用到了Hida thy的想法。先提升level, 再去不动点或者余不动点回归level。具体是写成一堆东西的极限。这个Toby Gee在AWS 2013他的最后两讲很形象地画了不少图 .