Ravenel's Global Conjecture for formal module Ext groups, stronger precise form

About 11 years old · traced to

Let K/QK/\mathbb{Q} be a finite Galois extension with ring of integers AA. Let JnJ_n denote the minimal nn-congruing ideal of AA. Ravenel's Global Conjecture, stronger precise form. There exists a correcting factor c∈Ac\in A such that, for every n∈Nn\in\mathbb{N},

Ext⁡(LA,LAB)1,2n(LA,LA)≅A/((cn)Jn),\operatorname{Ext}_{(L^A,L^AB)}^{1,2n}(L^A,L^A) \cong A/((c_n)J_n),

where cnc_n is some factor of cc. This strengthens the localized formulation by asserting an integral description with a factor that may vary with nn. The supplied text presents it as stronger than the precise global conjecture and gives no resolution.

References

Primary source

A. Salch, “Ravenel's Global Conjecture is true”, arXiv:1511.05288 (2015).

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.