Abstract
We introduce a measure of complexity for affine algebras and their finitely generated modules, in terms of the degrees of the polynomials used in their description. We then study how various cohomological operations and numerical invariants are uniformly bounded with respect to these complexities. We apply this to give first order characterisations of certain algebraic-geometric properties. This enables us to apply the Lefschetz Principle to transfer properties between various characteristics. As an application, we obtain the following version of the Zariski-Lipman Conjecture in positive characteristic: letR be the local ring of a pointP on a hypersurface over an algebraically closed fieldK such that the module ofK-invariant derivations onR is free, thenP is a non-singular point, provided the characteristic is larger than some bound only depending on the degree of the hypersurface.
Similar content being viewed by others
References
[BE] J. Barwise and P. Eklof,Lefschetz’s principle, Journal of Algebra13 (1969), 554–570.
[BM] E. Bierstone and P. D. Milman,Canonical desingularization in characteristic zero by blowing up the maximal strata of a local invariant, Inventiones Mathematical,128 (1997), 207–302.
[BH] W. Bruns and J. Herzog,Cohen-Macaulay Rings, Cambridge University Press, Cambridge, 1993.
[Eis] D. Eisenbud,Commutative Algebra with a View toward Algebraic Geometry, Graduate Texts in Mathematics Vol. 150, Springer-Verlag, New York, 1995.
[Ek] P. Eklof,Lefschetz’s principle and local functors Proceedings of the American Mathematical Society37 (1973), 333–339.
[Ek 2] P. Eklof,Resolution of singularities in prime characteristic for almost all primes Transactions of the American Mathematical Society146 (1969), 429–438.
[FJ] M. Fried and M. Jarden,Field Arithmetic, Springer, Berlin, 1986.
[Ho] M. Hochster,Some applications of the Frobenius in characteristic 0, Bulletin of the American Mathematical Society84 (1978), 886–912.
[JL] C. Jensen and H. Lenzing,Model Theoretic Algebra, Gordon and Breach, London, 1989.
[Lip] J. Lipman,Free derivation modules on algebraic curves, American Journal of Mathematics87 (1965), 874–898.
[Mac] A. Macintyre,Non-standard Frobenius and Weil Cohomologies, manuscript.
[Mats] H. Matsumura,Commutative Ring Theory, Cambridge University Press, Cambridge, 1986.
[Mats 2] H. Matsumura,Commutative Algebra, W. A. Benjamin, New York, 1970.
[Ohm] J. Ohm,Space curves as ideal theoretic complete intersections, inStudies in Algebraic Geometry, Vol. 20, MAA, 1980, pp 47–115.
[SS] G. Scheja and U. Storch,Über differentielle Abhängigkeit bei Idealen analytischer Algebren, Mathematische Zeitschrift114 (1970), 101–112.
[SvdD] K. Schmidt and L. van den Dries,Bounds in the theory of polynomial rings over fields. A non-standard approach, Inventiones Mathematicae76 (1984), 77–91.
[Sch 1] H. Schoutens,Uniformity and Definability in Algebraic Geometry, Publications of Naples University, (1999), manuscript.
[Sch 2] H. Schoutens,Constructible invariants, (1999), manuscript.
[Ser] J-P. Serre,Algèbre Locale. Multiplicités, Lecture Notes in Mathematics, Vol. 11, Springer-Verlag, New York, 1957.
[Str] J. Strooker,Homological questions in local algebra, London Mathematical Society Lecture Note Series, Vol. 145, Cambridge University Press, 1990.
[Vas] W. Vasconcelos,Computational Methods in Commutative Algebra and Algebraic Geometry, Springer-Verlag, Berlin, 1998.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schoutens, H. Bounds in cohomology. Isr. J. Math. 116, 125–169 (2000). https://doi.org/10.1007/BF02773216
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02773216