No label defined (Q4708445)

Certain ring-theoretic properties of Hecke algebras are of vital importance in the proof of the Shimura-Taniyama conjecture, cf.\ \textit{A. Wiles} [Ann.\ Math.\ (2) 141, 443-551 (1995; Zbl 0823.11029)] and \textit{R. J. Taylor} and \textit{A. Wiles} [Ann. Math. (2) 141, 553-572 (1995; Zbl 0823.11030)]. Similar properties -- most notably: complete intersection, and solution of a universal deformation problem -- are proven by the author for certain Hecke algebras coming from unit groups of quaternion algebras in a situation where comparison with the classical setting is possible by the Jacquet-Langlands correspondence. For this to work the author had to overcome several technical problems, in particular the problem that the Galois representation on the mod-\(\ell\) cohomology of a quaternion algebra which ramifies at \(\ell\) is highly ramified. She did this by using results of \textit{B. Conrad} [Duke Math. J. 97, 439-513 (1999; Zbl 0997.11042)].