All Questions
Tagged with rt.representation-theory homological-algebra
481 questions
4
votes
2
answers
771
views
Finitistic dimension conjecture for quadratic algebras
The finitistic dimension of a finite dimensional algebra is defined as the supremum of all projective dimensions of modules having finite projective dimension. The finitistic dimension conjecture says ...
- 26.5k
4
votes
0
answers
88
views
Minimal injective coresolution in the stable Auslander algebra
Let $A$ be a finite dimensional (connected) quiver algebra. Let $T(A)$ denote the full subcategory of coherent functors from $mod-A$ to $Ab$ that vanish on projective objects. $T(A)$ is equivalent to ...
- 26.5k
5
votes
0
answers
140
views
Open problems about Morita and derived invariants
Are there properties of rings of which one does not know whether they are Morita or derived invariances?
For a recent such example for Morita invariance, see https://www.sciencedirect.com/science/...
- 26.5k
3
votes
0
answers
48
views
Endomorphism ring of a generator-cogenerator over acyclic algebras
Let $A$ be an acyclic quiver algebra, $M$ a generator-cogenerator and $B=End_A(M)$.
Questions:
Does $B$ have finite global dimension?
Does $B$ have finite global dimension in case $M=A \oplus D(A)$?
...
- 26.5k
4
votes
0
answers
58
views
Interpretation of stable Hom in Nakayama algebras
Let $A$ be a Nakayama algebra with Kupisch series $[c_0,c_1,...,c_{n-1}]$ and Jacobson radical $J$ (given by quiver and relations). As is well known every indecomposable $A$-module is of the form $e_i ...
- 26.5k
9
votes
0
answers
123
views
Cartan determinant of stable categories
Let $A$ be a finite dimensional algebra with finitely many indecomposable non-projective modules $M_1, M_2,...,M_n$.
Let $a_{i,j}:=\dim(\underline{Hom_A}(M_j,M_i))$ (the dimension of the stable Homs ...
- 26.5k
5
votes
0
answers
91
views
Bound on the sum of projective and injective dimension
Recall that a finite dimensional algebra is called piecewise hereditary in case it is derived equivalent to an abelian hereditary category.
In proposition 1.2. of https://link.springer.com/article/10....
- 26.5k
5
votes
1
answer
186
views
(Stable) Auslander algebras in a specific example
Let $k$ be a field and $Q$ be the quiver with two vertices 1 and 2 and three arrows:
$a$ from 2 to 1, $b$ from 2 to 1 and $c$ from 2 to 2.
Let $I_1=\langle ab-c^2,ba\rangle$ and $I_2=\langle ab-c^2,c^...
- 26.5k
2
votes
0
answers
60
views
$\Omega$-periodic modules in selfinjective algebras
Given a representation infinite (connected) selfinjective algebra $A$ with an indecomposable $\Omega$-periodic module $M$.
Does $A$ then have infinitely many indecomposable $\Omega$-periodic ...
- 26.5k
2
votes
0
answers
65
views
Constructing stable equivalences for finite dimensional algebras
Given a finite dimensional (non-selfinjective) algebra $A$.
Is there a method (for example using QPA) to construct algebras stable equivalent to $A$?
Such a thing is easily possible for derived ...
- 26.5k
4
votes
0
answers
85
views
Deciding whether two algebras are derived equivalent
Given two finite dimensional quiver algebras $A$ and $B$ (over a nice field in case that helps, for example a finite field).
Question: Can an there be a finite algorithm that decides whether $A$ ...
- 26.5k
4
votes
0
answers
43
views
Cartan determinants of minimal Auslander-Gorenstein algebras
Iyama and Solberg introduced minimal Auslander-Gorenstein algebras as algebras having finite dominant dimension ($\geq 2$) equal to the Goreinstein dimension in https://www.sciencedirect.com/science/...
- 26.5k
5
votes
0
answers
125
views
Stable equivalence and stable Auslander algebras
Let $A$ be a representation-finite finite dimensional quiver algebra and $M$ the basic direct sum of all indecomposable $A$-modules.
Recall that the Auslander algebra of $A$ is $End_A(M)$ and the ...
- 26.5k
3
votes
0
answers
106
views
Bounds for the finitistic dimension
The finitistic dimension of an algebra is defined as the supremum of all projective dimensions of modules having finite projective dimension.
For finite dimensional algebras $A$ with radical cube ...
- 26.5k
4
votes
4
answers
596
views
Homology of solvable (nilpotent) Lie algebras
Let $\mathfrak{g}$ be a solvable Lie algebra over $\mathbb{C}$ and $\lambda\in(\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])^*$ be a character of $\mathfrak{g}$. I'm interested in calculating homology for ...
- 332
4
votes
0
answers
71
views
Koszul and quadratic algebras with Gorenstein dimension 2
In proposition 2.19. of http://inmabb.criba.edu.ar/revuma/pdf/v48n2/v48n2a05.pdf it was mentioned that a finite dimensional algebra of global dimension 2 is quadratic if and only if it is Koszul.
...
- 26.5k
3
votes
0
answers
61
views
Number of algebras stably equivalent to a given algebra
For $n \geq 2$ let $B_n$ be the algebra of upper triangular matrices over a field $K$.
Recall that two algebras are said to be stably equivalent in case their module categories modulo projectives are ...
- 26.5k
3
votes
0
answers
96
views
When is the category of complexes of finite type?
For a ring $R$ define the category of complexes of length $n \geq 2$ as the category $C_n(R)$ with objects the complexes of the form $0 \rightarrow X_n \rightarrow \cdots X_1 \rightarrow 0$ with the ...
- 26.5k
3
votes
1
answer
149
views
Bounds for the number of edges in an Alperin diagram
If $A$ is an algebra over a field $k$ and $M$ is a finite-dimensional $A$-module, then Alperin showed in a paper [Diagrams for modules, JPAA, 1980] how to associate a diagram to $M$ with the vertices ...
- 631
7
votes
1
answer
462
views
On a problem for determinants associated to Cartan matrices of certain algebras
This is a continuation of Classification of algebras of finite global dimension via determinants of certain 0-1-matrices but this time with a concrete conjecture and using the simplification suggested ...
- 26.5k
2
votes
0
answers
69
views
Do the values of the global dimension constitute an interval?
Let $Q$ be a fixed finite connected quiver and $k$ a fixed field. Set $Z_Q:= \{ gldim(kQ/I) < \infty | I $ an admissible ideal $\}$.
Question: Is $Z_Q$ an intervall?
This is true for example in ...
- 26.5k
11
votes
2
answers
558
views
Classification of algebras of finite global dimension via determinants of certain 0-1-matrices
I restrict to the elementary problem that is equivalent to give a classification when Morita-Nakayama algebras have finite global dimension (see the end of this post for some background).
A Morita-...
- 26.5k
6
votes
2
answers
269
views
Derived invariance of the Cartan determinant
The Cartan matrix $C$ of a finite quiver algebra $A$ with points $e_i$ is defined as the matrix having entries $c_{i,j}=\dim(e_i A e_j)$. The Cartan determinant is defined as the determinant of the ...
- 26.5k
7
votes
1
answer
370
views
Gorenstein symmetric conjecture for arbitrary rings
The Gorenstein symmetric conjecture states that for Artin algebras $A$ one has the the regular module has finite injective dimension as a right module if and only if it has finite injective dimension ...
- 26.5k
4
votes
0
answers
66
views
Periodic modules in Frobenius algebras
Let $A$ be a finite dimensional Frobenius algebra and assume there exists an indecomposable periodic module $M$, that is $\Omega^n(M) \cong M$ for some $n$.
Question: Does this imply that there is ...
- 26.5k
1
vote
0
answers
57
views
Modules with arbitrary large complexity
Let $A$ be a finite dimensional algebra with a module $M$ who has minimal injective coresolution $(I_i)$. Define the complexity $cx(M)$ as $cx(M):= \inf \{ t \geq 0 | \dim(I_i) \leq a i^{t-1}$ for all ...
- 26.5k
2
votes
0
answers
29
views
Complexity of the regular module
Let $A$ be a finite dimensional algebra with a module $M$ who has minimal injective coresolution $(I_i)$. Define the complexity $cx(M)$ as $cx(M):= \inf \{ t \geq 0 | \dim(I_i) \leq a i^{t-1}$ for all ...
- 26.5k
3
votes
0
answers
134
views
Proving that the exterior algebra is symmetric via the polynomial ring
Recall that a finite dimensional algebra $A$ over a field $K$ is called Frobenius in case $A \cong D(A)$ as right modules, and it is called symmetric in case $A \cong D(A)$ as bimodules (where $D=...
- 26.5k
3
votes
0
answers
156
views
Weak generators of the right-bounded derived category of a finite-dimensional algebra
The setup:
Let $A$ be a finite-dimensional $k$-algebra over some field $k$.
Let $\mathcal{B} = Hot^-(Proj \, A)$ denote the homotopy category of cochain complexes of (possibly infinitely generated) ...
- 61
12
votes
1
answer
922
views
Does this algebra have finite global dimension ? (Human vs computer)
Usually computers can calculate the global dimension of a finite dimensional quiver algebra much faster than humans. But in this case a high end computer (calculating for 3 weeks) was not able to ...
- 26.5k
4
votes
1
answer
303
views
Algebras derived equivalent to quasi-hereditary algebras
Let an algebra always be finite dimensional over a field and connected.
It is well known that a quasi-hereditary algebra with $n$ simple modules has global dimension at most $2n-2$.
Questions:
1. ...
- 26.5k
4
votes
0
answers
84
views
Finitistic dimension via a bimodule
Let $A$ be a connected finite dimensional basic algebra.
Question: Is there an indecomposable $A$-bimodule $W$ such that the finitistic dimension of $A$ is equal to the right projective dimension ...
- 26.5k
13
votes
1
answer
745
views
Combinatorial inequality for dominant dimension
In the following I present a conjecture on Nakayama algebras that I have for nearly 2 years now. Since I was not able to solve it and it can be stated purely combinatorically, I thought it might be ...
- 26.5k
3
votes
0
answers
67
views
Upper bound for embedding of submodules of projective modules
Assume we have a finite dimensional algebra $A$ with the following property:
Every indecomposable submodule of a projective module embedds into $A^n$ for a fixed $n$.
Is there a good method to ...
- 26.5k
4
votes
2
answers
453
views
Global dimension of the tensor algebra
Let $R$ be a semisimple ring with a non-zero $R$-bimodule V. Let $T_R(V):= \bigoplus\limits_{k=0}^{\infty}{V^{\otimes_k}}$ be the tensor algebra of $V$.
Question 1: Is there a simple proof that $...
- 26.5k
4
votes
1
answer
463
views
Global dimension of a graded algebra
Let $A= \bigoplus\limits_{n=0}^{\infty}{A_n}$ be an $\mathbb{N}$-graded algebra with semisimple $A_0$.
Question: Do we have that the global dimension of $A$ is equal to $\sup \{i \geq 0 | Ext_A^i(...
- 26.5k
4
votes
1
answer
683
views
Quadratic algebras and Koszul algebras
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 ...
- 26.5k
2
votes
0
answers
83
views
Length 2 modules over finite dimensional algebras
Given a finite dimensional algebra $A$ over an infinite field and two simple modules $S,T$.
Question 1: Is there a useful (homological/computational) crtierion to decide when there are infinitely ...
- 26.5k
3
votes
1
answer
188
views
Question on $\operatorname{Ext}$ in a local Frobenius algebra
Let $A$ be a finite dimensional local Frobenius algebra with simple module $k$ and an indecomposable non-projective module $M$ (that is also finite dimensional).
Question:
Is there an example of ...
- 26.5k
2
votes
0
answers
164
views
On a conjecture about tilting modules
There is the following conjecture on tilting modules (see also History of an open problem on partial tilting modules):
Given a partial tilting module $T$ over a finite dimensional algebra $A$ (that is ...
- 26.5k
6
votes
1
answer
689
views
Tensor product of bimodules
Im not sure whether this question is appropriate for MO, but I do not have much experience with bimodules (or I forgot many things).
Let $A$ be a finite dimensional (connected) algebra over a field $...
- 26.5k
8
votes
0
answers
140
views
$n$-fold tensor products of $D(A)$ for finite dimensional algebras
Let $A$ be a finite dimensional quiver algebra over a field $K$ and let $D(-):=Hom_K(-,K)$ denote the natural duality (assume algebras are connected).
Define $\psi_A:=sup \{ n \geq 1 | D(A)^{\otimes ...
- 26.5k
1
vote
0
answers
141
views
Question on vanishing Hochschild cohomology
Recall that for an $K$-algebra $A$ with $A^e:=A^{op} \otimes_K A$ the Hochschild cohomology is defined as $HH^n(A,M):=Ext_{A^e}^n(A,M)$.
Question:
Is there a finite dimensional selfinjective ...
- 26.5k
1
vote
1
answer
127
views
Gorenstein projective modules of a certain triangular matrix algebra
Let $B$ be a finite dimensional selfinjective algebra over a field $k$ with a finite dimensional non-projective $B$-module $M$ and $$A=\pmatrix{k&M\\0&B}.$$
A module $N$ over an algebra $C$ ...
- 26.5k
6
votes
1
answer
420
views
Calculating the Ext-algebra with a computer
Given a finite dimensional quiver algebra $A$ over an arbitrary field and a module $M$ of finite injective dimension or finite projective dimension.
Let $B$ be the Ext algebra of $M$, that is $B:=\...
- 26.5k
5
votes
0
answers
105
views
Derived invariant acyclic algebras
Call a connected quiver algebra $A=KQ/I$ (finite quiver Q and admissible ideal I) derived-invariant in case every quiver algebra derived equivalent to $A$ is even isomorphic to $A$.
For example local ...
- 26.5k
3
votes
0
answers
71
views
$\Omega^2(S) \cong \tau(S)$ for simple modules
Let $A$ be an Artin algebra with $\Omega^2(S) \cong \tau(S)$ for each simple module $S$. Is $A$ a quasi-Frobenius (=selfinjective) algebra?
Here $\tau$ denotes the Auslander-Reiten translate, which is ...
- 26.5k
2
votes
0
answers
55
views
$Ext_{A^e}^i(D(A),A)$ for finite dimensional algebras
Let $A$ be a finite dimensional non-semisimple algebra over a field $K$ with enveloping algebra $A^e=A^{op} \otimes_K A$. Let $D(A)=Hom_K(A,K)$.
Question:
Is there always a positive integer $i>...
- 26.5k
4
votes
1
answer
179
views
Reference for isomorphism $Ext_A^n(X,Y) \cong Ext_A^1(\Omega^{n-1}(X),Y)$
Let $A$ be a finite dimensional algebra and $X,Y$ indecomposable modules and $n \geq 2$.
We know that $Ext_A^n(X,Y) \cong Ext_A^1(\Omega^{n-1}(X),Y)$.
Now such an isomorphism should be given by ...
- 26.5k
9
votes
1
answer
593
views
Hochschild homology with coefficients in a certain bimodule
Let $A$ be a finite-dimensional $k$-algebra and $U$ and $V$ two finite-dimensional projective $A$-modules (maybe neither the finiteness nor projectivity has to play a role, but these requirements are ...
- 1,382