Gale duality and Koszul duality

Given a hyperplane arrangement in an affine space equipped with a linear functional, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.     

Chiral Koszul duality

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 factorization algebras by embedding factorization algebras into a larger category of chiral commutative coalgebras, then realizing this interrelation as a chiral form of Koszul duality. We apply these techniques to rederive some fundamental results of Beilinson and Drinfeld (American Mathematical Society Colloquium Publications, 51. American Mathematical Society, Providence, RI, 2004) on chiral enveloping algebras of *{\star} -Lie algebras.     

Grassmannians and Koszul duality

Let \(X\) be a partial flag variety, stratified by orbits of the Borel. We give a criterion for the category of modular perverse sheaves to be equivalent to modules over a Koszul ring. This implies that modular category \(\mathcal O\) is governed by a Koszul-algebra in small examples.     

Koszul duality of En-operads

The goal of this paper is to prove a Koszul duality result for E _n -operads in differential graded modules over a ring. The case of an E ₁-operad, which is equivalent to the associative operad, is classical. For n > 1, the homology of an E _n -operad is identified with the n-Gerstenhaber operad and forms another well-known Koszul operad. Our main theorem asserts that an operadic cobar construction on the dual cooperad of an E _n -operad E_n{\mathtt{E}_n} defines a cofibrant model of E_n{\mathtt{E}_n}. This cofibrant model gives a realization at the chain level of the minimal model of the n-Gerstenhaber operad arising from Koszul duality. Most models of E _n -operads in differential graded modules come in nested sequences E₁ ì E₂ ì ? ì E_￥{\mathtt{E}_1\subset\mathtt{E}_2\subset\cdots\subset\mathtt{E}_{\infty}} homotopically equivalent to the sequence of the chain operads of little cubes. In our main theorem, we also define a model of the operad embeddings E_n-1\hookrightarrowE_n{\mathtt{E}_{n-1}\hookrightarrow\mathtt{E}_n} at the level of cobar constructions.     

Curved Koszul duality theory

We extend the bar–cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. As usual, the bar–cobar construction gives a cofibrant resolution for any properad. Applied to the properad encoding unital and counital Frobenius algebras, notion which appears in 2d-TQFT, it defines the associated notion up to homotopy. We further define a curved Koszul duality theory for operads or properads presented with quadratic, linear and constant relations. This provides smaller resolutions. We apply this new theory to study the homotopy theory and the cohomology theory of unital associative algebras.     

A Koszul duality for props

The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.

     

Koszul duality for toric varieties

We show that certain categories of perverse sheaves on affine toric varieties and defined by dual cones are Koszul dual in the sense of Beilinson, Ginzburg and Soergel (1996). The functor expressing this duality is constructed explicitly by using a combinatorial model for mixed sheaves on toric varieties.

     

Graph homology: Koszul and Verdier duality

We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to differential graded operads corresponds to the cobar-duality of operads (which specializes to Koszul duality for Koszul operads). This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit computation of dualizing sheaves on spaces of metric graphs, thus characterizing to which extent these spaces are different from oriented orbifolds. We also provide a relation between the cohomology of the space of metric ribbon graphs, known to be homotopy equivalent to the moduli space of Riemann surfaces, and the cohomology of a certain sheaf on the space of usual metric graphs.     

On equivalences of derived and singular categories

Let X and Y be two smooth Deligne-Mumford stacks and consider a pair of functions f: X → $ \mathbb{A}^1 $ \mathbb{A}^1 , g:Y → $ \mathbb{A}^1 $ \mathbb{A}^1 . Assuming that there exists a complex of sheaves on X × $ \mathbb{A}^1 $ \mathbb{A}^1 Y which induces an equivalence of D ^b (X) and D ^b (Y), we show that there is also an equivalence of the singular derived categories of the fibers f ⁻¹(0) and g ⁻¹(0). We apply this statement in the setting of McKay correspondence, and generalize a theorem of Orlov on the derived category of a Calabi-Yau hypersurface in a weighted projective space, to products of Calabi-Yau hypersurfaces in simplicial toric varieties with nef anticanonical class.     

Equivariant-constructible Koszul duality for dual toric varieties

For affine toric varieties X and defined by dual cones, we define an equivalence of categories between mixed versions of the equivariant derived category and the derived category of sheaves on which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel.     

Dimensions of triangulated categories via Koszul objects

Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras.     

Derived equivalences and Serre duality for Gorenstein algebras

We introduce a notion of Gorenstein algebras of codimension c and demonstrate that Serre duality theory plays an essential role in the theory of derived equivalences for Gorenstein algebras.     

Koszul duality for extension algebras of standard modules

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category O, and some quasi-hereditary algebras with Cartan decomposition in the sense of König.     

Singularity categories and singular equivalences for resolving subcategories

Let \(\mathcal {X}\) be a resolving subcategory of an abelian category. In this paper we investigate the singularity category \(\mathsf {D_{sg}}(\underline{\mathcal {X}})=\mathsf {D^b}({\mathsf {mod}}\,\underline{\mathcal {X}})/\mathsf {K^b}({\mathsf {proj}}({\mathsf {mod}}\,\underline{\mathcal {X}}))\) of the stable category \(\underline{\mathcal {X}}\) of \(\mathcal {X}\). We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we prove that the complete intersections over which the stable categories of resolving subcategories have trivial singularity categories are the simple hypersurface singularities of type \((\mathsf {A}_1)\). We also generalize several results of Yoshino on totally reflexive modules.     

On a common generalization of Koszul duality and tilting equivalence

We propose a new definition of Koszulity for graded algebras where the degree zero part has finite global dimension, but is not necessarily semi-simple. The standard Koszul duality theorems hold in this setting.