Skip to main content

Questions tagged [koszul-algebras]

Questions about Koszul algebras as defined by Priddy (1970) and generalizations.

Filter by
Sorted by
Tagged with
5 votes
0 answers
175 views

Is $\overline{\mathcal{M}}_{g,n}$ a Koszul space?

In https://arxiv.org/abs/1902.06318 Dotsenko proved that $\overline{\mathcal{M}}_{0,n+1}$ is a Koszul space, i.e. it is both formal and coformal. Equivalently, a space is Koszul if it is formal and ...
Tommaso Rossi's user avatar
2 votes
0 answers
44 views

Koszul duality of dg modules over polynomial algebra

It is known that the Koszul dual of the polynomial algebra $A=k[x_1,...,x_n]$ is the exterior algebra $A^!=\Lambda(x_1,...,x_n)$. There is also a correspondence between dg modules (or more generally, $...
Faniel's user avatar
  • 673
3 votes
0 answers
83 views

Non-commutative Gorenstein Koszul algebras

I was wondering if there exists a characterization of finite-dimensional Gorenstein Koszul algebras in terms of their Koszul dual?
Paulo Rossi's user avatar
3 votes
0 answers
97 views

What algebras generate polynomial count varieties as their representations spaces ? Is it preserved by the Koszul duality, Manin's endomorphisms?

Consider for example commutative polynomial algebra $C[x,y]: xy=yx$, look on $F_p$-matrices satisfying that relation - the number over $F_p$ will be given by polynomial in $p$ (classical result due to ...
Alexander Chervov's user avatar
3 votes
0 answers
100 views

Pairing on a Koszul dual pair

Let $A$ be a graded quadratic algebra over a field $k$, and suppose that it admits the Koszul dual $A^!$. I want to know if there is a natural pairing $A\otimes A^!\to k$ or something similar to this. ...
Qwert Otto's user avatar
1 vote
0 answers
77 views

$M^2=0$ defines a Koszul algebra ? What if $M$ is Manin's endomorphism's of Koszul $A$ ? (Here $M^2=\sum_k M_{ik}M_{kj}$ - resembles $d^2=0$).)

Consider a matrix $M$ which elements $M_{ij}$ are generators of some algebra $K$, impose new relations: $M^2=0$ and get a new algebra $K_{2}$. Question 1: Is it true that $K_2$ is Koszul algebra when ...
Alexander Chervov's user avatar
3 votes
0 answers
40 views

Filtering a pre-Koszul algebra to get a homogeneous associated graded algebra

In Priddy's paper "Koszul resolutions", on p. 42 he defines an algebra $A$ to be pre-Koszul if it can be written as a quotient of a free algebra $F = F\langle x_i \rangle$ with generators $\{...
John Palmieri's user avatar
6 votes
1 answer
231 views

Does Manin's construction of non-commutative endomorphism algebra $\mathrm{End}(A)$ produce Koszul algebra, if $A$ is Koszul?

$\newcommand{\dual}{\mathrm{dual}}\DeclareMathOperator\End{End}\DeclareMathOperator\Fun{Fun}\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\GL{GL}$Around 1986–7 Yu.Manin proposed natural and ...
Alexander Chervov's user avatar
13 votes
1 answer
598 views

Is algebra: ac=ca, bd = db , ad - da = cb - bc ("Manin matrix algebra") - a Koszul algebra?

Question: Consider quadratic algebra with four generators $a,b,c,d,d$ and three relations $ac=ca,bd = db, ad-da = cb - bc$ . Is it a Koszul algebra ? (i.e. Koszul complex is resolution of ground field ...
Alexander Chervov's user avatar
0 votes
1 answer
142 views

Comparative between Kobayashi hyperbolicity and hyperbolicity in the sense of Koszul

In literature, there are several notions of hyperbolicity. My question is whether, for closed locally flat or affine manifolds, the notion of hyperbolicity in the sense of Kobayashi is equivalent to ...
Samir's user avatar
  • 43
5 votes
0 answers
126 views

Koszul algebras among finite dimensional commutative algebras

Given a local commutative artinian algebra $A$ of the form $K[x_1,...,x_n]/I$ with quadratic ideal $I$ and $K$ a field. Question 1: Is there a computer algebra system that can check whether such an ...
Mare's user avatar
  • 26.5k
2 votes
0 answers
114 views

Filtrations and Koszul algebras

I was looking at this question and asked my self the following: Let $A$ be graded algebra, which is also an $\mathbb{N}_0$-filtered algebra. If its associated graded algebra $\mathrm{gr}(A)$ is ...
Didier de Montblazon's user avatar
4 votes
1 answer
783 views

When is a group algebra Koszul?

Let $KG$ be a group algebra of a finite group $G$ such that the characteristic of $K$ divides the group order. Question: When is a block of a group algebra (or even the whole group aglebra) a Koszul ...
Mare's user avatar
  • 26.5k
0 votes
2 answers
205 views

Quotients of Koszul algebras

Let $A$ be a noncommutative Koszul algebra (see here for a definition of Koszul) and let $c \in A$ be a central element. Will the quotient of $A$ by the ideal generated by $c$ again be Koszul. If not ...
Didier de Montblazon's user avatar
10 votes
1 answer
398 views

Basic algebra of $\mathcal{O}_0(\mathfrak{sl}_n(\mathbb{C}))$ — Reference request

It is well known that the principal block $\mathcal{O}_0$ of the BGG category $\mathcal{O}$ of a semisimple Lie algebra is equivalent to the category of finitely generated modules over a certain ...
Rida Saabna's user avatar
3 votes
2 answers
404 views

What is an example of a Frobenius algebra that is not Koszul?

What is an example of a Frobenius algebra that is not Koszul? Are there reasonable requirements for a Frobenius to be Koszul?
Didier de Montblazon's user avatar
6 votes
1 answer
133 views

Are standard Koszul algebras with the same Kazhdan-Lusztig polynomials Morita equivalent?

Let $A,B$ be a pair of quasi-hereditary algebras and assume that $A$ and $B$ are both standard Koszul. Further assume that the graded decomposition matrices of $A$ and $B$ coincide (that is, the ...
Chris Bowman's user avatar
  • 1,413
4 votes
0 answers
196 views

Quillen–Suslin theorem in a more general context

Let $A$ be a finite dimensional local Frobenius algebra that is Koszul. Question: Is it true for the Koszul dual of $A$ that every finitely generated projective module is free? If not, is there a ...
Mare's user avatar
  • 26.5k
7 votes
0 answers
218 views

On the center of Koszul Lie algebras

The short question is the following: If a positively graded Lie algebra $\mathfrak g$ over a field $F$ is Koszul, is the center of $\mathfrak g$ concentrated in degree $1$? Let us be more precise. A ...
Simone Blumer's user avatar
4 votes
1 answer
220 views

In a commutative Koszul algebra, does every ideal generated by a subset of variables have linear resolution?

Let $A = k[x_1 , \dots , x_n] / I$ be a commutative Koszul algebra; that is, the ideal $(x_1 , \dots , x_n)$ has linear minimal free resolution. Does it follow that the ideal generated by any subset ...
Rellek's user avatar
  • 553
1 vote
0 answers
108 views

When is a Koszul algebra derived equivalent to its dual

Let $A$ be a finite dimensional Koszul algebra of finite global dimension. Question: When is $A$ derived equivalent to its Koszul dual algebra? I wonder whether there is an exact condition to ...
Mare's user avatar
  • 26.5k
4 votes
0 answers
121 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/...
Mare's user avatar
  • 26.5k
1 vote
1 answer
115 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$. ...
Federico Barbacovi's user avatar
2 votes
1 answer
749 views

Complete intersection subvariety of projective variety

I am not able to find any literature which studies complete intersection subvarieties of a projective variety, all good references consider CI in projective space. My guess is, a subvariety X of ...
user45397's user avatar
  • 2,323
5 votes
0 answers
224 views

Koszul duality between QLS algebras and cdg algebras

A Quadratic-Linear-Constant (QLC) algebra $U$ is an algebra which can be written as $T(V)/P$ where $T(V) = \bigoplus_{n \in \mathbb{N}} V^{\otimes n}$ is the tensor algebra and $P \subseteq k \oplus ...
Chris Kuo's user avatar
  • 525
3 votes
1 answer
465 views

What bigrading is used in this spectral sequence?

I am reading this paper of Positselski and Vishik, in particular the main theorem: the cohomology algebra of a conilpotent algebra (i.e. the cohomology of its cobar construction) is Koszul if it ...
Pedro's user avatar
  • 1,554
2 votes
1 answer
115 views

Description of Koszul dual of Sklyanin algebras

It is well-known that Sklyanin algebras are Koszul, but, is it known an explicit description of the dual algebra Ext_A(k,k)? (I mean in terms of generators and relations)
Marco Farinati's user avatar
6 votes
1 answer
554 views

Non-commutative regular sequences and non-commutative Koszul complex

I'm trying to understand the non-commutative Koszul complex, as can be found in Anick's nice paper "Non-Commutative Graded Algebras and Their Hilbert Series", J. of Algebra 78, (1982) and I'm stuck at ...
Agustí Roig's user avatar
  • 1,975
3 votes
1 answer
223 views

Is Koszulity equivalent to the Lusztig character formula holding?

Let $\pi$ denote a saturated set of weights. Let $S_q(\pi)$ denote the associated generalised $q$-Schur algebra. I was wondering if the following claim is true: Claim: The algebra $S_q(\pi)$ is ...
Chris Bowman's user avatar
  • 1,413
6 votes
1 answer
301 views

Is the (super-)symmetric power of the exterior algebra free?

Let $V$ be a vector space over $k$ of dimension $m$. (I'm only interested in the case $k=\mathbb{Q}$.) Let $R:=\Lambda^*V$ be the exterior algebra. It carries the structure of a supercommutative ring: ...
Nicolas Malebranche's user avatar
3 votes
1 answer
193 views

Koszul algebras deformations

Do we know the maximal class of Koszul algebras for which any deformation is Koszul?
Jim Stasheff's user avatar
  • 3,880
14 votes
2 answers
689 views

Koszulness of the cohomology ring of moduli of stable genus zero curves

Let $n \geq 3$. The ring $H^\bullet(\overline{M}_{0,n},\mathbf Q)$ was determined by Sean Keel. It is generated by the cohomology classes of boundary divisors $D_{A,B}$ corresponding to partitions $A \...
Dan Petersen's user avatar
  • 40.2k
25 votes
2 answers
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 ...
MTS's user avatar
  • 8,559
15 votes
2 answers
2k views

Clifford PBW theorem for quadratic form

$\DeclareMathOperator\Cl{Cl}$Update Feb 3 '12: now with a question 2 which is much more elementary (and should be well-known!). Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:...
darij grinberg's user avatar