Weak Gorensteinness conjecture for Eisenstein Hecke algebras

Let h\mathfrak{h} and H\mathfrak{H} be the Eisenstein components of the cuspidal and full Hecke algebras, respectively. The ideals II and IHI_{\mathfrak{H}} are their Eisenstein ideals, with IHI_{\mathfrak{H}} the preimage of II. We call h\mathfrak{h} weakly Gorenstein if hp\mathfrak{h}_{\mathfrak{p}} is Gorenstein for every height-one prime pI\mathfrak{p}\supset I, and similarly for H\mathfrak{H} using IHI_{\mathfrak{H}}. Weak Gorensteinness conjecture. The Hecke algebras h\mathfrak{h} and H\mathfrak{H} are weakly Gorenstein. This is motivated by the fact that neither algebra is Gorenstein in general; the conjecture concerns Gorensteinness after localization at height-one primes containing the relevant Eisenstein ideal.

Sources & referencesView supporting material

Primary source

Preston Wake, “Eisenstein Hecke algebras and conjectures in Iwasawa theory”, arXiv:1401.3764 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.