×

zbMATH — the first resource for mathematics

Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex). (French) Zbl 0632.14017
This paper presents what is certainly the most elementary and quite possibly the simplest proof of the degeneration of the Hodge to de Rham spectral sequence for a Moishezon manifold which has been obtained so far. The proof proceeds by reduction to the case of positive characteristic \(p\) with the extra assumption that it lifts to modulo \(p^ 2\). Under this assumption and the additional assumption that the dimension of the variety is less than p the authors show that the de Rham complex considered as a complex of sheaves on the variety is quasi- isomorphic to a complex with trivial differential thence the degeneration of the “cohomology of cohomology sheaves” to de Rham spectral sequence. As the \(E_ 2\)-term of this spectral sequence is known to have the same dimension as the Hodge cohomology the result follows. This decomposition is obtained by trying to construct a quasi-isomorphism from the cohomology of the de Rham complex to the complex itself. Locally, where one may assume that one has a lifting of the Frobenius map this can be done in a canonical way (depending on the lifting of the Frobenius map). Then the dependence on the lifting of the Frobenius map is analysed and one sees that the maps associated to two choices of lifting can be connected by an explicit homotopy. This last result (and the subsequent verification of a transitivity condition) is what allows one to glue everything together globally. It should be noted that this kind of construction has been with us since the beginning of the study of the de Rham complex in positive characteristic but usually one has made a choice of both a lifting of the variety and the Frobenius and then one has to settle for much weaker results which do not suffice to show degeneration (and indeed it is false if one does not assume a lifting of the variety).
The article then continues with a study of the dependence of the decomposition on the lifting, a study of what happens in a family, an application of the result to the Kodaira-Akizuki-Nakano vanishing theorem hence giving an elementary proof of that result and finally a generalisation to the corresponding degeneration for cohomology of forms with logarithmic poles (along a normal crossing divisor).
Reviewer: T.Ekedahl

MSC:
14F40 de Rham cohomology and algebraic geometry
14C30 Transcendental methods, Hodge theory (algebro-geometric aspects)
32J15 Compact complex surfaces
PDF BibTeX XML Cite
Full Text: DOI EuDML
References:
[1] Akizuki, Y., Nakano, S.: Note on Kodaira-Spencer’s proof of Lefschetz’s theorem. Proc. Jap. Acad., Ser. A30, 266-272 (1954) · Zbl 0059.14701 · doi:10.3792/pja/1195526105
[2] Berthelot, P.: Sur le “théorème de Lefschetz faible” en cohomologie cristalline. C. R. Acad. Sci., Paris, Ser. A277, 955-958 (1973) · Zbl 0268.14007
[3] Berthelot, P., Ogus, A.: Notes on crystalline cohomology. Mathematical Notes n0 21, Princeton University Press 1978 · Zbl 0383.14010
[4] Cartier, P.: Une nouvelle opération sur les formes différentielles. C. R. Acad. Sci., Paris,244, 426-428 (1957) · Zbl 0077.04502
[5] Deligne, P.: Théorème de Lefschetz et critères de dégénérescence de suites spectrales. Publ. Math., Inst. Hautes Etud. Sci.35, 107-126 (1968) · Zbl 0159.22501 · doi:10.1007/BF02698925
[6] Deligne, P.: Théorie de Hodge II. Publ. Math., Inst. Hautes Etud. Sci.40, 5-57 (1972) · Zbl 0219.14007 · doi:10.1007/BF02684692
[7] Esnault, H., Viehweg, E.: Logarithmic De Rham complexes and vanishing theorems. Invent. Math.86, 161-194 (1986) · Zbl 0603.32006 · doi:10.1007/BF01391499
[8] Faltings, G.:p-adic Hodge Theory. Preprint, Princeton University (1985)
[9] Flexor, M.: Nouveaux contre-exemples aux énoncés d’annulation à la Kodaira en caractéristiquep>0, dans Séminaire sur les pinceaux de courbes de genre au moins deux par L. Szpiro. Astérisque86, 79-89 (1981)
[10] Fontaine, J.-M., Messing, W.: Cohomologie cristalline et dégénérescence de la suite spectrale de Hodge vers de Rham. Preprint, Université de Grenoble (1985)
[11] Fossum, R.: Formes différentielles non fermées, dans Séminaire sur les pinceaux de courbes de genre au moins deux par L. Szpiro. Astérisque86, 90-96 (1981)
[12] Giraud, J.: Cohomologie non abélienne. Grundlehren der mathematischen Wissenschaften, Vol. 179, Berlin-Heidelberg-New York: Springer 1971
[13] Illusie, L.: Complexe de de Rham-Witt et cohomologie cristalline. Ann. Sci. Ec. Norm. Super.,IV, Ser.12, 501-661 (1979) · Zbl 0436.14007
[14] Kato, K.: Onp-adic vanishing cycles (Application of ideas of Fontaine-Messing). Preprint, Tokyo University (1985)
[15] Katz, N.: Nilpotent Connections and the Monodromy Theorem. Publ. Math., Inst. Hautes Etud. Sci.39, 175-232 (1970) · Zbl 0221.14007 · doi:10.1007/BF02684688
[16] Katz, N.: Algebraic solutions of differential equations (p-Curvature and the Hodge filtration). Invent. Math.18, 1-118 (1972) · Zbl 0278.14004 · doi:10.1007/BF01389714
[17] Knutson, D.: Algebraic spaces. Lect. Notes Math. 203. Berlin-Heidelberg-New York: Springer 1971 · Zbl 0221.14001
[18] Kodaira, K.: On a differential-geometric method in the theory of analytic stacks. Proc. Natl. Acad. Sci. USA39, 1268-1273 (1953) · Zbl 0053.11701 · doi:10.1073/pnas.39.12.1268
[19] Lang, W.: Quasi-elliptic surfaces in characteristic three. Ann. Sci. Ec. Norm. Super., IV. Ser.12, 473-500 (1979) · Zbl 0457.14015
[20] Mazur, B.: Frobenius and the Hodge Filtration (Estimates). Ann. Math.98, 58-95 (1973) · Zbl 0261.14005 · doi:10.2307/1970906
[21] Ménégaux, R.: Un théorème d’annulation en caractéristique positive, dans Séminaire sur les pinceaux de courbes de genre au moins deux par L. Szpiro. Astérisque86, 35-43 (1981)
[22] Mumford, D.: Pathologies of modular surfaces. Am. J. Math.83, 339-342 (1961) · Zbl 0138.42002 · doi:10.2307/2372959
[23] Ramanujam, C.P.: Remarks on the Kodaira Vanishing Theorem. J. Indian Math. Soc.36, 41-51 (1972);38, 121-124 (1974) · Zbl 0276.32018
[24] Raynaud, M.: Contre-exemple au ?Vanishing Theorem? en caractéristiquep>0 dans C. P. Ramanujam ? A tribute, Studies in Mathematics 8, Tata Institute of Fundamental Research Bombay, 273-278 (1978)
[25] Serre, J.-P.: Sur la topologie des variétés algébriques en caractéristiquep, dans Symposium Internacional de Topologia Algebraica, México, 24-53 (1958)
[26] Suwa, N.: De Rham cohomology of algebraic surfaces withq=?p a in char.p, dans Algebraic Geometry, Proceedings, Tokyo-Kyoto 1982, Raynaud, M., Shioda, T. (eds.). Notes in Math., Vol. 1016, 73-85 (1983)
[27] Szpiro, L.: Le théorème de la régularité de l’adjointe de Gorenstein à Kodaira, dans Int. Symposium on Algebraic Geometry Kyoto, 93-102 (1977)
[28] Szpiro, L.: Sur le théorème de rigidité de Parsin et Arakelov, dans Journées de géometrie algébrique de Rennes II. Astérisque64, 169-202 (1979)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.