Differential Structure of Étale Extensions of Polynomial Algebras

  • Hyman Bass
Part of the Mathematical Sciences Research Institute Publications book series (MSRI, volume 15)


The Jacobian Conjecture (see [BCW]) asserts that an étale polynomial map F: ℂ n → ℂ n is an isomorphism. In the course of some work with Haboush on group actions [BH] we observed that this is easily proved if F is equivariant for a reductive group acting on the two ℂ n ’s and having a dense orbit and a fixed point. One is thus tempted to try to prove the Jacobian conjecture by “feeding” such group actions into the picture. For example, let G = SL n (ℂ) act linearly on the target ℂ n . We may assume that F(0) = 0. In order to make F equivariant for a G-action, we must make G act on the source ℂ n by “F º G º F −1”. Of course this begs the issue, since we don’t know that F −1 exists. However F−1 exists analytically near 0. In particular we can pull back the action of the Lie algebra sl n(ℂ) as vector fields on ℂ n . Moreover the fact that the Jacobian matrix of F has a polynomial inverse implies that sl n (ℂ) pulls back to polynomial vector fields on the source ℂ n .


Polynomial Algebra Integral Closure Weyl Algebra Irreducible Element Transcendence Degree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AM]
    S. S. Abhyankar and T.-T. Moh, Embeddings of the line in the plane, J. Reine angew. Math. 276 (1975), 149–166.MathSciNetGoogle Scholar
  2. [AK]
    A. Altman and S. Kleiman, Introduction to Grothendieck Duality, Springer Lecture Notes in Math. 146 (1970).Google Scholar
  3. [B]
    H. Bass, “Algebraic JC-theory,” W. A. Benjamin, New York, 1968.Google Scholar
  4. [BCW]
    H. Bass, E. H. Connell and D. Wright, The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse, Bull. AMS 7 (1982), 287–330.MathSciNetMATHCrossRefGoogle Scholar
  5. [BH]
    H. Bass and W. Haboush, Linearizing certain reductive group actions, Trans. AMS 292 (1985), 463–482.MathSciNetMATHCrossRefGoogle Scholar
  6. [Bj]
    J. E. Bjork, “Rings of Differential Operators,” North Holland Pubi. Co., Amsterdam, 1979.Google Scholar
  7. [Bo]
    A. Borei, “Linear Algebraic Groups,” W. A. Benjamin, New York, 1969.Google Scholar
  8. [BoD]
    A. Borei, et al., “Algebraic D-modules,” Perspectives in Mathematics, Academic Press, Boston, 1987.Google Scholar
  9. [NB]
    N. Bourbaki, “Algèbre Commutative,” Chs. 8 and 9, Masson, Paris, 1983.Google Scholar
  10. [D]
    P. Dienes, “The Taylor Series: An Introduction to the Theory of Functions of a Complex Variable,” Clarendon Press, Oxford, 1931.Google Scholar
  11. [F]
    E. Formanek, Two notes on the Jacobian Conjecture, preprint (1987).Google Scholar
  12. [H]
    E. Hille, “Analytic Function Theory,” Ginn and Co., Boston, 1959.Google Scholar
  13. [L]
    S. Lang, “Fundamentals of Diophantine Geometry,” Springer-Verlag, New York, 1983.Google Scholar
  14. [Li]
    J. Lipman, Free derivation modules on algebraic varieties, Amer. Jour. Math. 87 (1965), 874–898.MathSciNetMATHCrossRefGoogle Scholar
  15. [M]
    H. Matsumura, “Commutative Algebra,” W. A. Benjamin, New York, 1970.Google Scholar
  16. [N]
    M. Nagata, “Field Theory,” M. Dekker, New York, 1977.Google Scholar
  17. [S]
    J.-P. Serre, “Lie Algebras and Lie Groups,” Lectures at Harvard, W. A. Benjamin, New York, 1964.Google Scholar
  18. [W]
    D. Wright, On the Jacobian Conjecture, Illinois Jour. Math. 25 (1981), 423–440.MATHGoogle Scholar

Copyright information

© Springer-Verlag New York Inc. 1989

Authors and Affiliations

  • Hyman Bass
    • 1
  1. 1.Department of MathematicsColumbia UniversityNew YorkUSA

Personalised recommendations