|
Liftable derivations for generically separably algebraic morphisms of schemes
Author(s):
Rolf
Källström
Journal:
Trans. Amer. Math. Soc.
361
(2009),
495-523.
MSC (2000):
Primary 14E22, 13N15;
Secondary 14Axx, 13B22, 16W60
Posted:
June 26, 2008
Retrieve article in:
PDF DVI PostScript
Abstract |
References |
Similar articles |
Additional information
Abstract:
We consider dominant, generically algebraic (e.g. generically finite), and tamely ramified (if the characteristic is positive) morphisms of -schemes, where are Nœtherian and integral and is a Krull scheme (e.g. normal Nœtherian), and study the sheaf of tangent vector fields on that lift to tangent vector fields on . We give an easily computable description of these vector fields using valuations along the critical locus. We apply this to answer the question when the liftable derivations can be defined by a tangency condition along the discriminant. In particular, if is a blow-up of a coherent ideal , we show that tangent vector fields that preserve the Ratliff-Rush ideal (equals for high ) associated to are liftable, and that all liftable tangent vector fields preserve the integral closure of . We also generalise in positive characteristic Seidenberg's theorem that all tangent vector fields can be lifted to the normalisation, assuming tame ramification.
References:
- [1]
- S. S. Abhyankar, Resolution of singularities of embedded algebraic surfaces, 2nd ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1998. MR 1617523 (99c:14021)
- [2]
- V. I. Arnold, Wave front evolution and equivariant Morse lemma, Comm. Pure Appl. Math. 29 (1976), no. 6, 557-582. MR 55:9148
- [3]
- M. Auslander and D. A. Buchsbaum, On ramification theory in noetherian rings, Amer. J. Math. 81 (1959), 749-765.
- [4]
- Edward Bierstone and Pierre D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2, 207-302. MR 1440306 (98e:14010)
- [5]
- A. Borel, P.-P. Grivel, B. Kaup, A. Haefliger, B. Malgrange, and F. Ehlers, Algebraic
-modules, Perspectives in Mathematics, vol. 2, Academic Press, Inc., Boston, MA, 1987. MR 882000 (89g:32014) - [6]
- Nicolas Bourbaki, Elements of Mathematics. Commutative algebra, Hermann, Paris, 1972. MR 0360549 (50:12997)
- [7]
- Juan Elias, On the computation of the Ratliff-Rush closure, J. Symbolic Comput. 37 (2004), no. 6, 717-725. MR 2095368 (2005j:13022)
- [8]
- S. Encinas and O. Villamayor, Good points and constructive resolution of singularities, Acta Math. 181 (1998), no. 1, 109-158. MR 1654779 (99i:14020)
- [9]
- Robert M. Fossum, The divisor class group of a Krull domain, Springer-Verlag, New York, 1973. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 74.
- [10]
- A. M. Gabrièlov, Formal relations among analytic functions, Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), 1056-1090 (Russian).
- [11]
- Phillip Griffith, Some results in local rings on ramification in low codimension, J. Algebra 137 (1991), no. 2, 473-490. MR 1094253 (92c:13017)
- [12]
- A. Grothendieck, Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. (1960), no. 4, 228.
- [13]
- A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. I, Inst. Hautes Études Sci. Publ. Math. (1964), no. 20, 259 (French).
- [14]
- A Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. (1967), no. 32, 361 (French). MR 0238860 (39:220)
- [15]
- Alexander Grothendieck and Jean Dieudonné, Étude cohomologique des faisceaux cohérents, Publ. IHES (1961), no. 4.
- [16]
- William Heinzer, Bernard Johnston, David Lantz, and Kishor Shah, Coefficient ideals in and blowups of a commutative Noetherian domain, J. Algebra 162 (1993), no. 2, 355-391. MR 1254782 (95b:13020)
- [17]
- Reinhold Hübl, Completions of local morphisms and valuations, Math. Z. 236 (2001), no. 1, 201-214. MR 1812456 (2002d:13003)
- [18]
- Rolf Källström, Purity of branch, critical, and discriminant locus, 2006. Submitted, available at arXiv:math/0609300.
- [19]
- Rolf Källström, Preservation of defect sub-schemes by the action of the tangent sheaf, J. Pure and Applied Algebra 203 (2005), no. 1-3, 166-188. MR 2176658 (2006g:14002)
- [20]
- Robert Lazarsfeld, Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals. MR 2095472 (2005k:14001b)
- [21]
- Joseph Lipman, Equisingularity and simultaneous resolution of singularities, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 485-505. MR 1748631 (2001e:32044)
- [22]
- Hideyuki Matsumura, Integrable derivations, Nagoya Math. J. 87 (1982), 227-245. MR 0676593 (84e:13007)
- [23]
- Hideyuki Matsumura, Commutative ring theory, Cambridge University Press, 1986. MR 879273 (88h:13001)
- [24]
- Masayoshi Nagata, Local rings, Robert E. Krieger Publishing Co., Huntington, N.Y., 1975. Corrected reprint.
- [25]
- André Néron, Modèles minimaux des variétés abéliennes sur les corps locaux et globaux, Inst. Hautes Études Sci. Publ. Math. No. 21 (1964), 128 (French). MR 0179172 (31 #3423)
- [26]
- Dorin Popescu, General Néron desingularization and approximation, Nagoya Math. J. 104 (1986), 85-115. MR 868439 (88a:14007)
- [27]
- L. J. Ratliff Jr. and David E. Rush, Two notes on reductions of ideals, Indiana Univ. Math. J. 27 (1978), no. 6, 929-934.
- [28]
- Maria Evelina Rossi and Irena Swanson, Notes on the behavior of the Ratliff-Rush filtration, Commutative algebra (Grenoble/Lyon, 2001), 2003, pp. 313-328. MR 2013172 (2005b:13006)
- [29]
- Günther Scheja and Uwe Storch, Fortsetzung von Derivationen, J. Algebra 54 (1978), no. 2, 353-365 (German). MR 514074 (80a:13004)
- [30]
- A Seidenberg, Derivations and integral closure, Pacific J. Math. 16 (1966), 167-173. MR 0188247 (32:5686)
- [31]
- Kishor Shah, Coefficient ideals, Trans. Amer. Math. Soc. 327 (1991), no. 1, 373-384. MR 1013338 (91m:13008)
- [32]
- Mark Spivakovsky, A new proof of D. Popescu's theorem on smoothing of ring homomorphisms, J. Amer. Math. Soc. 12 (1999), no. 2, 381-444. MR 1647069 (99j:13008)
- [33]
- Wolmer Vasconcelos, Integral closure, Rees algebras, multiplicities, algorithms, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2005. MR 2153889 (2006m:13007)
- [34]
- Orlando Villamayor U., On equiresolution and a question of Zariski, Acta Math. 185 (2000), no. 1, 123-159. MR 1794188 (2002a:14003)
- [35]
- Orlando Villamayor, Constructiveness of Hironaka's resolution, Ann. Sci. École Norm. Sup. (4) 22 (1989), no. 1, 1-32. MR 985852 (90b:14014)
- [36]
- Oscar Zariski, Studies in equisingularity. I. Equivalent singularities of plane algebroid curves, Amer. J. Math. 87 (1965), 507-536. MR 31 #2243, MR 0177985 (31:2243)
Similar Articles:
Retrieve articles in Transactions of the American Mathematical Society
with MSC
(2000):
14E22, 13N15,
14Axx, 13B22, 16W60
Retrieve articles in all Journals with MSC
(2000):
14E22, 13N15,
14Axx, 13B22, 16W60
Additional Information:
Rolf
Källström
Affiliation:
Department of Mathematics, University of Gävle, 801 76 Gävle, Sweden
Email:
rkm@hig.se
DOI:
10.1090/S0002-9947-08-04534-0
PII:
S 0002-9947(08)04534-0
Received by editor(s):
November 22, 2006
Received by editor(s) in revised form:
April 13, 2007
Posted:
June 26, 2008
Copyright of article:
Copyright
2008,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|