The weak Fitting-ideal generation conjecture

Retain the notation and assumptions of the preceding conjecture. Let TT be the distinguished element appearing in the source, let M(d,)M(d,\ell) be the specified sets of (τ,ν)(\tau,\nu)-monomials, and let FittR[1](ZS0)\operatorname{Fitt}^{[1]}_{\mathcal{R}}(Z^0_{S'}) denote the first shifted Fitting ideal.

Weak Fitting-ideal generation conjecture. The union of the sets

T1rM(t2,r1), T2rM(t21,r2), T3rM(t22,r3), , Tt2+1rM(0,r1t2)T^{1-r}M(t_2,r-1),\ T^{2-r}M(t_2-1,r-2),\ T^{3-r}M(t_2-2,r-3),\ \ldots,\ T^{t_2+1-r}M(0,r-1-t_2)

generates the ideal FittR[1](ZS0)\operatorname{Fitt}^{[1]}_{\mathcal{R}}(Z^0_{S'}).

The source presents this as the weak form implied by the preceding, stronger conjecture. It also notes that the final exponent equals (r1)(r2)/2(r-1)(r-2)/2 and that the final set contains only the trivial monomial 11. No resolution status is supplied.

Sources & referencesView supporting material

Primary source

Cornelius Greither, Takenori Kataoka and Masato Kurihara, “Fitting ideals of p-ramified Iwasawa modules over totally real fields”, arXiv:2006.05667 (2020).

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.