Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

A direct proof of the theorem on formal functions


Authors: Fernando Sancho de Salas and Pedro Sancho de Salas
Journal: Proc. Amer. Math. Soc. 137 (2009), 4083-4088
MSC (2000): Primary 14A15; Secondary 14F99
DOI: https://doi.org/10.1090/S0002-9939-09-10015-1
Published electronically: July 30, 2009
MathSciNet review: 2538569
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion. This proof also works in some non-noetherian cases.


References [Enhancements On Off] (What's this?)

  • [A] M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR 0242802
  • [Go] Roger Godement, Topologie algébrique et théorie des faisceaux, Hermann, Paris, 1973 (French). Troisième édition revue et corrigée; Publications de l’Institut de Mathématique de l’Université de Strasbourg, XIII; Actualités Scientifiques et Industrielles, No. 1252. MR 0345092
  • [Gro] A. Grothendieck, Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. 4 (1960), 228. MR 0217083
    A. Grothendieck, Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes, Inst. Hautes Études Sci. Publ. Math. 8 (1961), 222. MR 0217084
    A. Grothendieck, Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I, Inst. Hautes Études Sci. Publ. Math. 11 (1961), 167. MR 0217085
  • [H] Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52. MR 0463157
  • [I] Théorie des intersections et théorème de Riemann-Roch, Lecture Notes in Mathematics, Vol. 225, Springer-Verlag, Berlin-New York, 1971 (French). Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6); Dirigé par P. Berthelot, A. Grothendieck et L. Illusie. Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J. P. Serre. MR 0354655
  • [K] Reinhardt Kiehl, Ein “Descente”-Lemma und Grothendiecks Projektionssatz für nichtnoethersche Schemata, Math. Ann. 198 (1972), 287–316 (German). MR 0382280, https://doi.org/10.1007/BF01419561

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 14A15, 14F99

Retrieve articles in all journals with MSC (2000): 14A15, 14F99


Additional Information

Fernando Sancho de Salas
Affiliation: Departamento de Matemáticas, Universidad de Salamanca, Plaza de la Merced 1-4, 37008 Salamanca, Spain
Email: fsancho@usal.es

Pedro Sancho de Salas
Affiliation: Departamento de Matemáticas, Universidad de Extremadura, Avenida de Elvas s/n, 06071 Badajoz, Spain
Email: sancho@unex.es

DOI: https://doi.org/10.1090/S0002-9939-09-10015-1
Keywords: Formal functions, completion, cohomology
Received by editor(s): July 2, 2008
Received by editor(s) in revised form: April 26, 2009
Published electronically: July 30, 2009
Additional Notes: The first author was supported by research projects MTM2006-04779 (MEC) and SA001A07 (JCYL)
Communicated by: Ted Chinburg
Article copyright: © Copyright 2009 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.