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

DOI10.1007/S00009-009-0015-6zbMATH Open1220.18014arXiv0811.0191OpenAlexW2091999629MaRDI QIDQ843997FDOQ843997

Authors: Anne Balthasar 

Publication date: 18 January 2010

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

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.

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

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

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)

Cites Work

• Real homotopy theory of Kähler manifolds
• Cohomology of sheaves
• Deriving DG categories
• Equivariant sheaves and functors
• Title not available (Why is that?)
• Equivariant derived category of a complete symmetric variety.

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)