The principal-plinth-ideal conjecture for exponential automorphisms

About 4 years old · traced to

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.

References

Primary source

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

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.