The inversion formula for automorphisms of the Weyl algebras and polynomial algebras
The inversion formula for automorphisms of the Weyl algebras and polynomial algebras
复制标题
Weyl代数和多项式代数自同构的反演公式
DOI:
10.1016/j.jpaa.2006.09.002
复制
发表时间:
2005
影响因子:
0.8
通讯作者:
V. Bavula
中科院分区:
文献类型:
--
作者:
V. Bavula
Let Anbe the nth Weyl algebra and Pmbe a polynomial algebra in m variables over a field K of characteristic zero. The following characterization of the algebras {An⊗Pm} is proved: an algebraAadmits a finite setδ1,…,δsof commuting locally nilpotent derivations with generic kernels and∩i=1sker(δi)=KiffA≃An⊗Pmfor somenandmwith2n+m=s, and vice versa. The inversion formula for automorphisms of the algebra An⊗Pm(and for P̂m≔K[x1,…,xm]) has been found (giving a new inversion formula even for polynomials). Recall that (see [H. Bass, E.H. Connell, D. Wright, The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (New Series) 7 (1982) 287–330]) givenσ∈AutK(Pm), thendegσ−1≤(degσ)m−1(the proof is algebro-geometric). We extend this result (using [non-holonomic] D-modules): givenσ∈AutK(An⊗Pm), thendegσ−1≤(degσ)2n+m−1. Any automorphism σ∈AutK(Pm) is determined by its face polynomials [J.H. McKay, S.S.-S. Wang, On the inversion formula for two polynomials in two variables, J. Pure Appl. Algebra 52 (1988) 102–119], a similar result is proved for σ∈AutK(An⊗Pm). One can amalgamate two old open problems (the Jacobian Conjecture and the Dixmier Problem, see [J. Dixmier, Sur les algèbres de Weyl, Bull. Soc. Math. France 96 (1968) 209–242. ] problem 1) into a single question, (JD): is aK-algebra endomorphismσ:An⊗Pm→An⊗Pman algebra automorphism providedσ(Pm)⊆Pmanddet(∂σ(xi)∂xj)∈K∗≔K∖{0}? (Pm=K[x1,…,xm]). It follows immediately from the inversion formula that this question has an affirmative answer iff both conjectures have (see below) [iff one of the conjectures has a positive answer (as follows from the recent papers [Y. Tsuchimoto, Endomorphisms of Weyl algebra and p-curvatures, Osaka J. Math. 42(2) (2005) 435–452. ] and [A. Belov-Kanel, M. Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier Conjecture. . ])].