The conjugacy-to-triangularity conjecture for tame exponential automorphisms

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 and T3(k)\operatorname{T}_3(k) the tame subgroup. An automorphism τ\tau is triangular if τ(xi)k[x1,,xi]\tau(x_i)\in k[x_1,\ldots,x_i] for each ii.

Conjugacy-to-triangularity conjecture. For every ϕE3(k)T3(k)\phi\in\mathcal{E}_3(k)\cap\operatorname{T}_3(k), there exists σT3(k)\sigma\in\operatorname{T}_3(k) such that

σϕσ1\sigma\circ\phi\circ\sigma^{-1}

is triangular. The conjecture is stated for characteristic zero and is presented as an open conjecture; the source suggests an analogous positive-characteristic statement.

Sources & referencesView supporting material

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.