A non-standard proof of the Briançon-Skoda theorem
HTML articles powered by AMS MathViewer
- by Hans Schoutens PDF
- Proc. Amer. Math. Soc. 131 (2003), 103-112 Request permission
Abstract:
Using a tight closure argument in characteristic $p$ and then lifting the argument to characteristic zero with the aid of ultraproducts, I present an elementary proof of the Briançon-Skoda Theorem: for an $m$-generated ideal $\mathfrak {a}$ of ${\mathbb C}[[{X_1,\dots ,X_n}]]$, the $m$-th power of its integral closure is contained in $\mathfrak {a}$. It is well-known that as a corollary, one gets a solution to the following classical problem. Let $f$ be a convergent power series in $n$ variables over $\mathbb C$ which vanishes at the origin. Then $f^n$ lies in the ideal generated by the partial derivatives of $f$.References
- M. Artin, On the solutions of analytic equations, Invent. Math. 5 (1968), 277–291. MR 232018, DOI 10.1007/BF01389777
- M. Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 23–58. MR 268188
- Michael Artin and Christel Rotthaus, A structure theorem for power series rings, Algebraic geometry and commutative algebra, Vol. I, Kinokuniya, Tokyo, 1988, pp. 35–44. MR 977751
- Joseph Becker, J. Denef, L. Lipshitz, and L. van den Dries, Ultraproducts and approximations in local rings. I, Invent. Math. 51 (1979), no. 2, 189–203. MR 528023, DOI 10.1007/BF01390228
- Henri Skoda and Joël Briançon, Sur la clôture intégrale d’un idéal de germes de fonctions holomorphes en un point de $\textbf {C}^{n}$, C. R. Acad. Sci. Paris Sér. A 278 (1974), 949–951 (French). MR 340642
- J. Denef and H. Schoutens, On the decidability of the existential theory of $\mathbb {F}_p[[t]]$, Valuation Theory and its Applications (F.-V. Kuhlmann, S. Kuhlmann, and M. Marshall, eds.), Fields Institute Communications Series, Amer. Math. Soc., to appear, preprint on URL address http://www.math.ohio-state.edu/˜schoutens/ExistentialTheory.ps.
- Michael D. Fried and Moshe Jarden, Field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 11, Springer-Verlag, Berlin, 1986. MR 868860, DOI 10.1007/978-3-662-07216-5
- M. Hochster and C. Huneke, Tight closure in equal characteristic zero, preprint available on URL address http://www.math.lsa.umich.edu/˜hochster/tcz.ps.Z, 2000.
- Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741, DOI 10.1017/CBO9780511551574
- Craig Huneke, Tight closure and its applications, CBMS Regional Conference Series in Mathematics, vol. 88, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1996. With an appendix by Melvin Hochster. MR 1377268, DOI 10.1016/0167-4889(95)00136-0
- Joseph Lipman and Avinash Sathaye, Jacobian ideals and a theorem of Briançon-Skoda, Michigan Math. J. 28 (1981), no. 2, 199–222. MR 616270
- Joseph Lipman and Bernard Teissier, Pseudorational local rings and a theorem of Briançon-Skoda about integral closures of ideals, Michigan Math. J. 28 (1981), no. 1, 97–116. MR 600418
- Julian Bonder, Über die Darstellung gewisser, in der Theorie der Flügelschwingungen auftretender Integrale durch Zylinderfunktionen, Z. Angew. Math. Mech. 19 (1939), 251–252 (German). MR 42, DOI 10.1002/zamm.19390190409
- H. Schoutens, Finitistic power series, preprint available on URL address http://www.math.ohio-state.edu/˜schoutens/, 2001.
- —, Lefschetz principle applied to symbolic powers, preprint available on URL address http://www.math.ohio-state.edu/˜schoutens/SymbolicPowersLefschetz.ps, 2001.
- —, Non-standard tight closure, preprint on URL address http://www.math.ohio-state.edu/ ˜schoutens/NonStandardTightClosure.ps, 2001.
- —, Reduction modulo $p$ of power series with integer coefficients, preprint available on URL address http://www.math.ohio-state.edu/˜schoutens/IntegerPowerSeries.ps, 2001.
- C. T. C. Wall, Lectures on $C^{\infty }$-stability and classification, Proceedings of Liverpool Singularities—Symposium, I (1969/70), Lecture Notes in Mathematics, Vol. 192, Springer, Berlin, 1971, pp. 178–206. MR 0285020
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249
Additional Information
- Hans Schoutens
- Affiliation: Department of Mathematics, 100 Math Tower, Ohio State University, Columbus, Ohio 43210
- MR Author ID: 249272
- Email: schoutens@math.ohio-state.edu
- Received by editor(s): April 6, 2001
- Received by editor(s) in revised form: September 3, 2001
- Published electronically: May 29, 2002
- Communicated by: Wolmer V. Vasconcelos
- © Copyright 2002 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 131 (2003), 103-112
- MSC (2000): Primary 13A35, 13B22, 12L10
- DOI: https://doi.org/10.1090/S0002-9939-02-06556-5
- MathSciNet review: 1929029