2018-12-09 14:35:10 8 Comments

Let $A$ be a quadratic algebra and $B$ the Ext-algebra of $A$. In case $A$ is a Koszul algebra, we should have that the global dimension of $A$ plus one is equal to the Loewy length of $B$ (is there a reference for this?).

Namely we should have $gldim(A)= \sup \{ i \geq 0 | Ext_A^i(A_0,A_0) \neq 0 \} = LL(B)-1$, where LL stands for Loewy length and $A_0$ is the degree zero part of the graded algebra $A$. Im not sure in general about the first equality here (it should at least hold for $A$ finite dimensional), but the second equality should be correct since $B$ is generated in degree 0 and 1.

Thus $gldim(A)+1=LL(B)$.

Question 1: Is $gldim(A)= \sup \{ i \geq 0 | Ext_A^i(A_0,A_0) \neq 0 \} $ true in general or under some restrictions? Is there a reference?

Question 2: Is a quadratic algebra Koszul iff $gldim(A)+1=LL(B)$ holds?

Maybe on needs to assume further restrictions for question 1, but I think in some form it will be true. One should be able to apply this in two nice examples:

a) $A=K[x_1,...,x_n]$ the polynomial ring in $n$ variables. Here $B$ is the Grassmann algebra in $n$ variables which has Loewy length $n+1$ and this shows that $A$ has global dimension $n$.

b)$A=kQ$ the quiver algebra of an arbitrary quiver with finitely many points and at least one arrow (that may be infinite dimensional). Then $B$ is the algebra with the same quiver and radical square zero and thus Loewy length 2. Thus the formula would give here that $A$ has global dimension one and I think the proof of this is actually quite complicated without those tools.

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] On algebras where indecomposable modules are determined by their dimension vectors

**2020-03-28 10:17:58****Mare****72**View**3**Score**1**Answer- Tags: rt.representation-theory ra.rings-and-algebras

#### 2 Answered Questions

### [SOLVED] Global dimension of the tensor algebra

**2018-12-10 15:46:11****Mare****271**View**4**Score**2**Answer- Tags: rt.representation-theory ra.rings-and-algebras homological-algebra tensor-products

#### 1 Answered Questions

### [SOLVED] Global dimension of a graded algebra

**2018-12-10 10:50:49****Mare****201**View**4**Score**1**Answer- Tags: rt.representation-theory ra.rings-and-algebras homological-algebra graded-rings-modules

#### 2 Answered Questions

### [SOLVED] Ext in symmetric algebras and group algebras

**2018-01-01 15:02:38****Mare****241**View**6**Score**2**Answer- Tags: rt.representation-theory homological-algebra finite-groups

#### 1 Answered Questions

### [SOLVED] Compatibility of two definitions of Koszul dual

**2015-01-11 07:56:04****dhy****327**View**7**Score**1**Answer- Tags: rt.representation-theory

## 1 comments

## @Vladimir Dotsenko 2018-12-10 11:12:32

A useful reference for answering your questions at least partially is Theorem 1.7 (especially part (5) of it) in the notes http://inmabb.criba.edu.ar/revuma/pdf/v48n2/v48n2a05.pdf .