# Questions tagged [koszul-duality]

Questions relating to various versions of Koszul duality, including Koszul duality between algebras and Koszul duality for operads.

40 questions
Filter by
Sorted by
Tagged with
0answers
173 views

### Ginzburg Kapranov paper on Koszul duality

I am studying the article "Koszul duality for operads" by Ginzburg and Kapranov, https://arxiv.org/pdf/0709.1228.pdf. The problem is that this version of the paper contains empty spaces ...
0answers
463 views

### What are Koszul dualities?

I am bewildered by the number of things I've heard referred to as "Koszul duality", and I would like to sort it out. At various different times, I believe I've seen any of the following ...
0answers
88 views

### Perfect modules for the Beilinson algebra

The Beilinson algebra $A=A_n$ is a finite dimensional quiver algebra that is derived equivalent to the category of coherent sheaves of $\mathcal{P}^n$. See for example https://link.springer.com/...
1answer
197 views

### Infinity-homotopies

Koszul duality for operads allows for straightforward generalizations of $A$-infinity algebras and $A$-infinity morphisms for the so called Koszul operads $\mathcal{O}$, among which we find the ...
0answers
90 views

### Why is an operad of associative algebras Koszul?

Let $Assoc$ be an operad of associative algebras. What does it mean for $A$ to be a Koszul operad? Is it related to standard Koszul duality for algebras? As far as I understand, if $Assoc_{\infty}$ ...
1answer
169 views

### An exercise from Loday and Vallette about Koszul morphism

I tried to solve the following exercise from Loday and Vallette's Algebraic Operad. The first three parts are straightforward, however I have no idea how to solve the last part. I can't find any ...
1answer
77 views

### Augmented algebras over semisimple ring

Let $A$ be a non-negatively graded algebra such that $A_0 = k$. We say that $A$ is Koszul if $k$ has a projective resolution by projective modules such that the i-th piece is generated in degree $i$. ...
1answer
324 views

### Is there something “Koszul dual” to formal groups?

The Lie operad is Koszul dual to the commutative operad. In some sense, the data of a formal group is an "elaboration" of the data of a Lie algebra. Is there some corresponding "elaboration" of the ...
0answers
159 views

### The notion of $\infty$-Cooperads for which Bar-Cobar duality is an equivalence

In the paper Bar-Cobar Duality by Michael Ching, he proves that the category of operads in spectra is equivalent via the Bar-Cobar adjunction to some model category of co-operads defined in the paper. ...
2answers
854 views

### Strange formulas that gave rise to Koszul duality

According to p.8 of the note KOSZUL DUALITY AND APPLICATIONS IN REPRESENTATION THEORY by Geordie Williamson. Let $M(\eta)$ be the Verma module of weight $\eta$, $L(\eta)$ be its unique simple ...
0answers
52 views

### Graded commutative PBW bases

A Poincaré–Birkhoff–Witt (PBW) basis is a particularly nice basis of a quadratic algebra that can be used to prove that it is Koszul (see Priddy's 1970 paper "Koszul resolutions", Trans. Amer. Math. ...
0answers
100 views

### Computing Hochschild Invariants of Positselski's Coderived Categories

Positselski's work allows one to frame Koszul duality very elegantly in terms of so called coderived categories of modules over coalgebras, these are somewhat exotic dg categories of comodules over $C$...
0answers
182 views

1answer
411 views

### Tensor products of $\infty$-algebras over operads

Let $A$ and $B$ be $A_\infty$-algebras. It's true, but it's a quite nontrivial fact, that the tensor product $A \otimes B$ can be given the structure of $A_\infty$-algebra, too. What is much easier to ...
0answers
282 views

### Understanding Koszul Duality in BGG and Gelfand, Manin

I'm trying to understand a particular point in the proof of Koszul duality between $D^b(\Lambda(V))$ and $D^b(S(V^*))$ as seen in "Algebraic Bundles over $\mathbb{P}^n$ and Problems of Linear Algebra" ...
0answers
88 views

### Proof-verification: Existence of an explicit formality morphism from the Barratt-Eccles Koszul dual cooperad

I know asking for proof-verification on MO is a tricky thing. On one hand interesting research level proofs are usually subject of articles and can not be discussed here in detail. On the other hand ...
0answers
265 views

### What is the endomorphism cooperad?

In Loday and Vallette's book on algebraic operads, they use the "Endomorphism cooperad $End^c_{s\mathbb{K}}$", where $s\mathbb{K}$ is the base field, shifted into (homological) degree one. This is an ...
1answer
648 views

### Bar/Cobar Adjunction Between Modules and Comodules

There is a pretty well known, and widely written about, adjunction between augmented algebras and coaugmented coalgebras given by taking the bar construction on algebras and the cobar construction on ...
0answers
377 views

### What is Koszul dual of a curve?

Let $X$ be a curve embedded into a projective space $\mathbb P$ such that it is cut out (scheme-theoretically or ideal-theoretically) by quadrics. What is known about the Koszul dual of the ...
0answers
610 views

### What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?

Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...
0answers
749 views

### Bar construction vs. twisted tensor product

One may study the cohomology of a space $E$ expressed as a homotopy pullback of $X$ and $Y$ over $Z$ using either the Eilenberg-Moore spectral sequence or the Serre spectral sequence for the fibration ...
2answers
644 views

### Koszul (Exterior/Symmetric) duality for a 1-dim vector space

The simplest example of Koszul duality (see introduction of http://www.ams.org/journals/jams/1996-9-02/S0894-0347-96-00192-0/) Let $V = \mathbb{C}x$ be a $1$ dimensional vector space. Then the ...
1answer
523 views

### “as close to being semisimple as it can possibly be.”

I had originally asked this question on math stack exchange but I think maybe it's more appropriate to ask it here. In the paper of Beilinson, Ginzburg and Soergel entitled "Koszul Duality Patterns......
1answer
941 views

2answers
912 views

### How is this observation related to Koszul duality?

Let $X$ be a smooth variety, $\mathcal D$ the sheaf of algebraic differentail operators, $\Omega$ the algebraic deRham complex and $\mathcal M$ a quasi coherent $\mathcal O_X$-module. Now there is a ...
2answers
2k views

### Koszul duality between Weyl and Clifford algebras?

Koszul duality Given a finite-dimensional $k$-vector space $V$ (I am happy taking $k = \mathbb{C}$ anywhere in the following if it makes a difference) and a subspace $R \subseteq V \otimes V$, we can ...
1answer
1k views

### What extra conditions are necessary for the following version of Koszul duality?

Conventions: So that I don't have to worry about, fix a field $k$ of characteristic zero, and always work over it. Categories of modules, etc., are always $\infty$-categories of dg modules. ...
1answer
287 views

### What is a left dual up to homotopy?

My question is prompted by 57589 If $X$ is an object in a monoidal category with unit $I$ then $Y$ is a left dual if we have $I\rightarrow Y\otimes X$ and $X\otimes Y\rightarrow I$ which satisfy the ...
2answers
1k views

### What is the (Koszul? derived?) interpretation of a pair of Lie algebras with the same cohomology?

There are many words and sentences in mathematics that I basically completely don't understand, including the words "Koszul" and "derived". But rather than ask for a complete description of such ...
1answer
1k views

### koszul duality and algebras over operads

Given a pair of Koszul dual algebras, say $S^*(V)$ and $\bigwedge^*(V^*)$ for some vector space $V$, one obtains a triangulated equivalence between their bounded derived categories of finitely-...
3answers
14k views

### What is Koszul duality?

Okay, let's make sure I'm on the same page with those who know homological algebra. What is Koszul duality in general? What does it mean that categories are Koszul dual (I guess representations of ...
3answers
3k views

### Beilinson-Bernstein and Koszul duality

For geometric representation theorists down here. Consider the Beilinson-Bernstein theorem: Functor of global sections establishes the correspondence between twisted D-modules with fixed ...