Extensions of the Frobenius to the ring of differential operators on a polynomial algebra in prime characteristic

Bavula, V.

doi:10.1090/S0002-9947-2010-05099-8

Extensions of the Frobenius to the ring of differential operators on a polynomial algebra in prime characteristic
HTML articles powered by AMS MathViewer

by V. V. Bavula PDF

Trans. Amer. Math. Soc. 363 (2011), 417-437 Request permission

Abstract:

Let $K$ be a field of characteristic $p>0$. It is proved that each automorphism $\sigma \in \operatorname {Aut}_K(\mathcal D(P_n))$ of the ring $\mathcal D(P_n)$ of differential operators on a polynomial algebra $P_n= K[x_1, \ldots , x_n]$ is uniquely determined by the elements $\sigma (x_1), \ldots ,\sigma (x_n)$, and that the set $\operatorname {Frob}(\mathcal D(P_n))$ of all the extensions of the Frobenius (homomorphism) from certain maximal commutative polynomial subalgebras of $\mathcal D(P_n)$, such as $P_n$, to the ring $\mathcal D(P_n)$ is equal to $\operatorname {Aut}_K(\mathcal D(P_n) ) \cdot \mathcal {F}$ where $\mathcal {F}$ is the set of all the extensions of the Frobenius from $P_n$ to $\mathcal D(P_n)$ that leave invariant the subalgebra of scalar differential operators. The set $\mathcal {F}$ is found explicitly; it is large (a typical extension depends on countably many independent parameters).

References

Hyman Bass, Edwin H. Connell, and David Wright, The Jacobian conjecture: reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 2, 287–330. MR 663785, DOI 10.1090/S0273-0979-1982-15032-7
V. V. Bavula, Simple derivations of differentiably simple Noetherian commutative rings in prime characteristic, Trans. Amer. Math. Soc. 360 (2008), no. 8, 4007–4027. MR 2395162, DOI 10.1090/S0002-9947-08-04567-4
V. V. Bavula, The inversion formulae for automorphisms of polynomial algebras and rings of differential operators in prime characteristic, J. Pure Appl. Algebra 212 (2008), no. 10, 2320–2337. MR 2426512, DOI 10.1016/j.jpaa.2008.03.009
V. V. Bavula, The group of order preserving automorphisms of the ring of differential operators on a Laurent polynomial algebra in prime characteristic, Proc. Amer. Math. Soc. 137 (2009), no. 6, 1891–1898. MR 2480268, DOI 10.1090/S0002-9939-09-09825-6
V. V. Bavula, The $\textrm {Jacobian \; Conjecture}_{2n}$ implies the $\textrm {Dixmier \;Problem}_n$, ArXiv:math. RA/0512250.
Alexei Belov-Kanel and Maxim Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier conjecture, Mosc. Math. J. 7 (2007), no. 2, 209–218, 349 (English, with English and Russian summaries). MR 2337879, DOI 10.17323/1609-4514-2007-7-2-209-218
Jacques Dixmier, Sur les algèbres de Weyl, Bull. Soc. Math. France 96 (1968), 209–242 (French). MR 242897
Yoshifumi Tsuchimoto, Endomorphisms of Weyl algebra and $p$-curvatures, Osaka J. Math. 42 (2005), no. 2, 435–452. MR 2147727