# Chiral Koszul duality

@article{Francis2011ChiralKD, title={Chiral Koszul duality}, author={John Francis and Dennis Gaitsgory}, journal={Selecta Mathematica}, year={2011}, volume={18}, pages={27-87} }

We extend the theory of chiral and factorization algebras, developed for curves by Beilinson and Drinfeld (American Mathematical Society Colloquium Publications, 51. American Mathematical Society, Providence, RI, 2004), to higher-dimensional varieties. This extension entails the development of the homotopy theory of chiral and factorization structures, in a sense analogous to Quillen’s homotopy theory of differential graded Lie algebras. We prove the equivalence of higher-dimensional chiral and…

## 102 Citations

### Higher enveloping algebras

- MathematicsGeometry & Topology
- 2018

We provide spectral Lie algebras with enveloping algebras over the operad of little $G$-framed $n$-dimensional disks for any choice of dimension $n$ and structure group $G$, and we describe these…

### HOMOLOGICAL STABILITY AND DENSITIES OF GENERALIZED CONFIGURATION SPACES

- Mathematics
- 2019

We prove that the factorization homologies of a scheme with coefficients in truncated polynomial algebras compute the cohomologies of its generalized configuration spaces. Using Koszul duality…

### Homological stability and densities of generalized configuration spaces

- MathematicsGeometry & Topology
- 2019

We prove that the factorization homologies of a scheme with coefficients in truncated polynomial algebras compute the cohomologies of its generalized configuration spaces. Using Koszul duality…

### HIGHER REPRESENTATION STABILITY FOR ORDERED CONFIGURATION SPACES AND TWISTED COMMUTATIVE FACTORIZATION ALGEBRAS

- Mathematics
- 2020

Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces…

### Homotopy-theoretically enriched categories of noncommutative motives

- Mathematics
- 2014

AbstractWaldhausen’s K-theory of the sphere spectrum (closely related to the algebraic K-theory of the integers) is naturally augmented as an S0-algebra, and so has a Koszul dual. Classic work of…

### Factorization homology of stratified spaces

- MathematicsSelecta Mathematica
- 2016

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization…

### Factorization homology of stratified spaces

- Mathematics
- 2014

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization…

### Infinite-dimensional (dg) Lie algebras and factorization algebras in algebraic geometry

- MathematicsJapanese Journal of Mathematics
- 2021

Infinite-dimensional Lie algebras (such as Kac-Moody, Virasoro etc.) govern, in many ways, various moduli spaces associated to algebraic curves. To pass from curves to higher-dimensional varieties,…

### Infinite-dimensional (dg) Lie algebras and factorization algebras in algebraic geometry

- Mathematics
- 2021

Infinite-dimensional Lie algebras (such as Kac-Moody, Virasoro etc.) govern, in many ways, various moduli spaces associated to algebraic curves. To pass from curves to higher-dimensional varieties,…

## References

SHOWING 1-10 OF 32 REFERENCES

### Factorization homology of topological manifolds

- Mathematics
- 2012

Factorization homology theories of topological manifolds, after Beilinson, Drinfeld, and Lurie, are homology‐type theories for topological n ‐manifolds whose coefficient systems are n ‐disk algebras…

### Bar–cobar duality for operads in stable homotopy theory

- Mathematics
- 2012

We extend bar–cobar duality, defined for operads of chain complexes by Getzler and Jones, to operads of spectra in the sense of stable homotopy theory. Our main result is the existence of a Quillen…

### Modules Over a Chiral Algebra

- Mathematics
- 2010

Given a chiral algebra, we study modules over an arbitrary power of a curve. We describe this category in three different ways: in terms of factorization, in terms of certain chiral operations and as…

### The Character Theory of a Complex Group

- Mathematics
- 2009

We apply the ideas of derived algebraic geometry and topological field theory to the representation theory of reductive groups. Our focus is the Hecke category of Borel-equivariant D-modules on the…

### On the homotopy of simplicial algebras over an operad

- Mathematics
- 1999

According to a result of H. Cartan (cf. [5]), the homotopy of a simplicial commutative algebra is equipped with divided power operations. In this paper, we provide a general approach to the…

### Koszul duality for Operads

- Mathematics
- 1994

(0.1) The purpose of this paper is to relate two seemingly disparate developments. One is the theory of graph cohomology of Kontsevich [Kon 2 3] which arose out of earlier works of Penner [Pe] and…

### Vertex Algebras and Algebraic Curves

- Mathematics
- 2000

Introduction Definition of vertex algebras Vertex algebras associated to Lie algebras Associativity and operator product expansion Applications of the operator product expansion Modules over vertex…

### Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry

- Mathematics
- 2008

We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic…

### Bar constructions for topological operads and the Goodwillie derivatives of the identity

- Mathematics
- 2005

We describe a cooperad structure on the simplicial bar construction on a reduced operad of based spaces or spectra and, dually, an operad structure on the cobar construction on a cooperad. We also…

### Calculus III: Taylor Series

- Mathematics
- 2003

We study functors from spaces to spaces or spectra that preserve weak homotopy equivalences. For each such functor we construct a universal n-excisive approximation, which may be thought of as its…