Non-finite generation of Frobenius maps for the determinantal ring

Let K\mathbb{K} be a field of prime characteristic pp, let R=K[ ⁣[x,y,z,u,v,w] ⁣]R=\mathbb{K}[\![x,y,z,u,v,w]\!], and let II be the ideal generated by the 2×22\times 2 minors of the matrix

\begin{pmatrix}x&y&z\u&v&w\end{pmatrix}.

Set S=R/IS=R/I, let ESE_S be the injective hull of the residue field of SS, and for each e1e\geq 1 let F<e\mathcal{F}_{<e} be the SS-subalgebra of Fe(ES)\mathcal{F}^e(E_S) generated by F1(ES),,Fe1(ES)\mathcal{F}^1(E_S),\ldots,\mathcal{F}^{e-1}(E_S). Non-finite generation conjecture. For all e1e\geq 1, Fe(ES)\mathcal{F}^e(E_S) is not contained in F<e\mathcal{F}_{<e} and hence Fe(ES)\mathcal{F}^e(E_S) is not a finitely generated SS-algebra. The ring SS is a normal Cohen–Macaulay domain, so this conjecture asks whether the non-finite generation phenomenon occurs over a normal domain. Its resolution would answer the question of whether such examples exist over sufficiently nice rings.

Sources & referencesView supporting material

Primary source

Mordechai Katzman, “A non-finitely generated algebra of Frobenius maps”, arXiv:0906.1083 (2009).

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.