The Filtered Poincaré Lemma in Higher Level (With Applications to Algebraic Groups)

DOI10.1017/S0027763000025915zbMATH Open1184.14032WikidataQ124884577 ScholiaQ124884577MaRDI QIDQ3537501FDOQ3537501

Authors Bernard Le Stum, Adolfo Quirós

Publication date 7 November 2008

Published in Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0409564

zbMATH Keywords

group schemescrystalline cohomology of higher levelinvariant differential formsfiltered de Rham complextransversal crystals

Mathematics Subject Classification ID

(p)-adic cohomology, crystalline cohomology (14F30) de Rham cohomology and algebraic geometry (14F40) Group schemes (14L15)

Abstract: We show that the Poincar'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar'e lemma for transversal crystals of level m. We interpret the de Rham complex in terms of what we call the Berthelot-Lieberman construction, and show how the same construction can be used to study the conormal complex and invariant differential forms of higher level for a group scheme. Bringing together both instances of the construction, we show that crystalline extensions of transversal crystals by algebraic groups can be computed by reduction to the filtered de Rham complexes. Our theory does not ignore torsion and, unlike in the classical (m=0), not all closed forms are invariant. Therefore, close invariant differential forms of level m provide new invariants and we exhibit some examples as applications.

Recommendations

• The exact Poincaré lemma in crystalline cohomology of higher level
• Logarithmic exact crystalline Poincaré lemma of higher level modulo \(p\)
• Finiteness of crystalline cohomology of higher level
• Transversal crystals of finite level
• PD Higgs crystals and Higgs cohomology in characteristic \(p\)

Cites work

• scientific article; zbMATH DE number 2128076 (Why is no real title available?)
• scientific article; zbMATH DE number 3937328 (Why is no real title available?)
• scientific article; zbMATH DE number 614725 (Why is no real title available?)
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• Cohomologie cristalline des schemas de caractéristique \(p >0\)
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Notes on Crystalline Cohomology. (MN-21)
• The exact Poincaré lemma in crystalline cohomology of higher level
• Théorie de Dieudonne cristalline. II
• Théorie de Hodge. II. (Hodge theory. II)
• Transversal crystals of finite level
• Unity of the \(L\)-function of a Barsotti-Tate group
• \(L\) functions associated to overconvergent \(F\)-isocrystals. II: Unit roots and poles

Cited in

(4)

• Positive filters and links in an ℓ-group
• Finiteness of crystalline cohomology of higher level
• The exact Poincaré lemma in crystalline cohomology of higher level
• Logarithmic exact crystalline Poincaré lemma of higher level modulo \(p\)

This page was built for publication: The Filtered Poincaré Lemma in Higher Level (With Applications to Algebraic Groups)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3537501)