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

DOI10.1017/S0027763000025915zbMATH Open1184.14032arXivmath/0409564WikidataQ124884577 ScholiaQ124884577MaRDI QIDQ3537501FDOQ3537501

Authors: Bernard Le Stum, Adolfo Quirós 

Publication date: 7 November 2008

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

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.

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

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\)

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)

Cites Work

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

Cited In (3)

• Finiteness of crystalline cohomology of higher level
• The exact Poincaré lemma in crystalline cohomology of higher level
• Positive filters and links in an ℓ-group

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)