PreprintarXiv licencearXiv
Koszul Duality for Symmetric Algebras and Derived Loop Spaces
Abstract
In this paper, we prove Koszul duality for symmetric algebras of connective complexes consisting of locally free sheaves of finite rank, which is not necessarily bounded below. As an application, we construct an equivalence between derived categories of derived loop spaces and the symmetric algebra of the tangent complex for arbitrary separated schemes of finite type over a field k of characteristic zero. This can be regarded as a generalization of the classical duality between derived loop spaces and cotangent bundles by Kapranov in the smooth cases. We also give a geometrical interpretation of our equivalence in terms of derived formal stacks.
Related
- Koszul duality for finite-dimensional absolutely Koszul algebras
- Diagonalizable modular derivations on bigraded Poisson spaces and Koszul duality
- Koszul duality and homotopy algebras for operads over quivers
- Koszul Duality in an Equivariant Context
- On a derived equivalence classification of weakly symmetric algebras of Euclidean type
BibTeX
@misc{hisamichi2026koszul,
title = {{Koszul Duality for Symmetric Algebras and Derived Loop Spaces}},
author = {Isshin Hisamichi},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.18115},
eprint = {2609.18115},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.18115},
}
RIS
TY - UNPB
TI - Koszul Duality for Symmetric Algebras and Derived Loop Spaces
AU - Isshin Hisamichi
PY - 2026
DA - 2026/09/16
PB - arXiv
DO - 10.48550/arxiv.2609.18115
UR - https://arxiv.org/abs/2609.18115
AB - In this paper, we prove Koszul duality for symmetric algebras of connective complexes consisting of locally free sheaves of finite rank, which is not necessarily bounded below. As an application, we construct an equivalence between derived categories of derived loop spaces and the symmetric algebra of the tangent complex for arbitrary separated schemes of finite type over a field k of characteristic zero. This can be regarded as a generalization of the classical duality between derived loop spaces and cotangent bundles by Kapranov in the smooth cases. We also give a geometrical interpretation of our equivalence in terms of derived formal stacks.
ER -