The principal-plinth-ideal conjecture for exponential automorphisms

From papers

Let kk be a field of characteristic p>0p>0, let k[x]=k[x1,x2,x3]k[\boldsymbol{x}]=k[x_1,x_2,x_3], and let E3(k)\mathcal{E}_3(k) be the set of exponential automorphisms. For ϕE3(k)\phi\in\mathcal{E}_3(k), write k[x]ϕk[\boldsymbol{x}]^\phi for its invariant ring and let pl(ϕ)\operatorname{pl}(\phi) be the plinth ideal in k[x]ϕk[\boldsymbol{x}]^\phi.

Principal-plinth-ideal conjecture.

k[x]ϕk[x]k[\boldsymbol{x}]^\phi\simeq k[\boldsymbol{x}]

if and only if pl(ϕ)\operatorname{pl}(\phi) is a principal ideal of k[x]ϕk[\boldsymbol{x}]^\phi. The conjecture is supported by the theorems cited immediately before it in the source, but remains open as stated.

Progress summary

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

Sources & referencesView supporting material

Primary source

Shigeru Kuroda, “Polynomial automorphisms of characteristic order and their invariant rings”, arXiv:2202.00262 (2022).

Solutions 0

No solutions have been posted yet.