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

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 cAc\in A such that, for every nNn\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.

Sources & referencesView supporting material

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.