An automorphism of the polynomial ring $k[x_1,\ldots ,x_n]$ over a field $k$ is said to be $\mathit{tame}$ if it can be obtained by composing affine automorphisms and elementary automorphisms, and $\mathit{wild}$ otherwise. Jung and van der Kulk showed that every automorphism of $k[x_1,x_2]$ is tame. In 1972, Nagata conjectured that a certain automorphism of $k[x_1,x_2,x_3]$ is wild. In 2003, Shestakov and Umirbaev proved this conjecture for $\mathop{\mathrm{char}}\nolimits k=0$. The purpose of this paper is to prove the conjecture for $\mathop{\mathrm{char}}\nolimits k\ge 7$. This is the first time that the existence of a wild automorphism has been confirmed in positive characteristic.
Let $K$ be an imaginary quadratic field and let $p \ge 5$ be a prime that is unramified in $K$. Let $\mathcal{A}_f/\mathbb{Q}$ be an abelian variety of $\mathrm{GL}_2$-type associated with a weight-two modular form $f$, with good non-ordinary reduction at $p$, and suppose that $(f,K)$ satisfies the generalized Heegner...
Let $K=\mathbb{F}_q(\theta)$, and let $\mathcal{Z}$ be the $K$-algebra generated by Thakur's multiple zeta values $\zeta_A(\mathfrak{s})$. We prove that $\mathcal{Z}$ is a polynomial algebra and construct an explicit polynomial basis of $\mathcal{Z}$ over $K$. We also determine the transcendence degree of $K[\zeta_A(\m...
Let $K$ be a number field with ring of integers $\mathcal{O}_K$, and let $A,B,C \in \mathcal{O}_K \setminus\{0\}$. Denote by $S_K'$ the set of prime ideals of $\mathcal{O}_K$ dividing $2ABC$. Assuming two standard conjectures concerning the modularity of mod-$p$ Galois representations and the Eichler-Shimura correspond...
Let $q=p^h>7$ be odd, put $m=(q+1)/2$, and suppose that $i=(m-2)/2$ satisfies $\gcd(i,m)=\gcd(i+2,m)=1$. For the $\mathbf{F}_{q^2}$-maximal function field $\mathcal{F}_i=\mathbf{F}_{q^2}(x,y)$ defined by $y^m=x^i(x^2+1)$, Peter Beelen, Maria Montanucci, Jonathan Niemann, and Luciane Quoos showed that the geometric auto...
We extend Gauss composition and Gauss genus theory over $\mathbf{Z}$ to $\mathbb{F}_{2^n}[T]$, a polynomial ring over a finite field $\mathbb{F}_{2^n}$ of characteristic 2. We find new invariants of binary quadratic forms over $\mathbb{F}_{2^n}[T]$ by using Arf invariant and introduce new definitions of proper equivale...
Let $R$ be a commutative ring and $f(a_1, \ldots, a_n) = \sum_{i=1}^k r_{i1}^{a_1} \cdots r_{in}^{a_n} m_i$ be a linear-exponential map over an $R$-module $M$. Dong and Shafrir (2026) showed that, when $\ell M = 0$ for some $\ell \in \mathbb{N}_{>0}$, the zero set of $f$ is the intersection of effectively computable $p...
Rui-Wen Dong, Doron Shafrir· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
