Formality of the constructible derived category for spheres: a combinatorial and a geometric approach

DOI10.1007/S00009-009-0015-6MaRDI QIDQ843997zbMATH OpenOpenAlexFDO

Authors Anne Balthasar

Publication date 18 January 2010

Published in Mediterranean Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

category of sheavesconstructible derived categoryformality of dg algebras

Mathematics Subject Classification ID

Differential graded algebras and applications (associative algebraic aspects) (16E45) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: We describe the constructible derived category of sheaves on the $n$-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial approach, we reformulate the problem in terms of representations of quivers and prove formality for the 2-sphere, for coefficients in a principal ideal domain. We give a suitable generalization of this formality result for the 2-sphere stratified in several points and their complement. As a geometric approach, we give a description of the underlying dg algebra in terms of differential forms, which allows us to prove formality for $n$-spheres, for real or complex coefficients.

Recommendations

• Constructible sheaves on simplicial complexes and Koszul duality
• The derived category of the abelian category of constructible sheaves
• Stratifying derived categories of cochains on certain spaces
• Spherical subcategories in algebraic geometry
• Categorical Koszul duality

Cites work

• scientific article; zbMATH DE number 810084 (Why is no real title available?)
• Cohomology of sheaves
• Deriving DG categories
• Equivariant derived category of a complete symmetric variety.
• Equivariant sheaves and functors
• Real homotopy theory of Kähler manifolds

Cited in

(5)

• The Dolbeault dga of a formal neighborhood
• Finding Gale strings
• Game Theory Explorer: software for the applied game theorist
• Oriented Euler complexes and signed perfect matchings
• The non-equivariant coherent-constructible correspondence and a conjecture of King

This page was built for publication: Formality of the constructible derived category for spheres: a combinatorial and a geometric approach

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