English
Related papers

Related papers: Koszul Duality in Higher Topoi

200 papers

The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…

Quantum Algebra · Mathematics 2014-10-01 Olivia Bellier

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

Representation Theory · Mathematics 2025-11-25 Simon Riche , Quan Situ

We introduce a cup-cap duality in the Koszul calculus of N-homogeneous algebras. As an application, we prove that the graded symmetry of the Koszul cap product is a consequence of the graded commutativity of the Koszul cup product. We…

Representation Theory · Mathematics 2022-06-03 Roland Berger , Andrea Solotar

We show that the category of non-counital conilpotent dg-coalgebras and the category of non-unital dg-algebras carry model structures compatible with their closed non-unital monoidal and closed non-unital module category structures…

Category Theory · Mathematics 2023-06-02 Björn Eurenius

We interpret different constructions of the algebraic $K$-theory of spaces as an instance of derived Koszul (or bar) duality and also as an instance of Morita equivalence. We relate the interplay between these two descriptions to the…

K-Theory and Homology · Mathematics 2014-02-26 Andrew J. Blumberg , Michael A. Mandell

We obtain Koszul-type dualities for categories of graded modules over a graded associative algebra which can be realized as the semidirect product of a bialgebra coinciding with its degree zero part and a graded module algebra for the…

Representation Theory · Mathematics 2018-04-02 Jacob Greenstein , Volodymyr Mazorchuk

Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture…

Algebraic Topology · Mathematics 2024-08-13 Gijs Heuts

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

Algebraic Topology · Mathematics 2019-05-29 Brice Le Grignou

We introduce a version of Koszul duality for categories, which extends the Koszul duality of operads and right modules. We demonstrate that the derivatives which appear in Weiss calculus (with values in spectra) form a right module over the…

Algebraic Topology · Mathematics 2024-09-04 Connor Malin , Niall Taggart

The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul…

Algebraic Topology · Mathematics 2026-04-01 Dan Petersen , Victor Roca i Lucio , Sinan Yalin

We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category…

Category Theory · Mathematics 2022-04-08 Hadrien Espic

Let $\mathsf{s}_0\mathsf{Lie}^r$ be the category of $0$-reduced simplicial restricted Lie algebras over a fixed perfect field of positive characteristic $p$. We prove that there is a full subcategory…

Algebraic Topology · Mathematics 2024-09-11 Nikolay Konovalov

I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple…

Category Theory · Mathematics 2021-08-13 Andrew W. Macpherson

We establish a connection between two areas of independent interest in representation theory, namely Koszul duality and higher homological algebra. This is done through a generalization of the notion of $T$-Koszul algebras, for which we…

Representation Theory · Mathematics 2025-03-19 Johanne Haugland , Mads Hustad Sandøy

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…

Category Theory · Mathematics 2026-01-07 Matt Booth , Andrey Lazarev

In this article we discuss two different but related results on Hochschild (co)homology and the theory of Koszul duality. On the one hand, we prove essentially that the Tamarkin-Tsygan calculus of an Adams connected augmented dg algebra and…

K-Theory and Homology · Mathematics 2015-12-08 Estanislao Herscovich

Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…

Algebraic Geometry · Mathematics 2007-05-23 Tomasz Maszczyk , Andrzej Weber

This paper provides a new class of examples for the Koszul dualities established in~\cite{5}. We study quadratic monomial algebras from the perspective of Koszul duality, with particular emphasis on finitely presented and finitely…

Representation Theory · Mathematics 2026-04-28 M. Bouhada

In previous works, the author described an associative algebra whose $A_\infty$-module categories encode the Heegaard Floer Dehn surgery formulas. In this article, we describe the Koszul dual of this algebra. We construct dualizing…

Geometric Topology · Mathematics 2025-07-15 Ian Zemke

This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…

Algebraic Topology · Mathematics 2017-05-09 James Maunder