All Questions
Tagged with rt.representation-theory homological-algebra
481 questions
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 ...
- 26.5k
5
votes
1
answer
225
views
Tachikawa conjecture for finite dimensional commutative monomial algebras
Let $A=K[x_1,...,x_n]/I$ be a finite dimensional local algebra with a monomial ideal $I$.
The Tachikawa conjectures are conjectures for finite dimensional algebras. Im interested in them here for such ...
- 26.5k
4
votes
0
answers
83
views
Number of K-generators of an algebra and type $D_n$-parking functions
Let $A$ be a representation-finite quiver algebra.
When $A$ has $n$ simple modules a basic module $M$ with $n$ indecomposable summands $M_i$ is called a K-generator when the $M_i$ generate $K_0(A)$, ...
- 26.5k
2
votes
0
answers
116
views
Functors with adjoints
I want to find a functor between abelian categories, which is faithful but not full. And this functor has left and right adjoint. I want to know a nontrivial example,which is not inducecd by a ring ...
- 169
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/...
- 26.5k
6
votes
1
answer
186
views
Endomorphism ring of trivial source modules for abelian p-groups
Bernhard Böhmler (who is also on MO) and myself had the following idea:
Let $G$ be a finite group and $k$ a field of characteristic $p$ (algebraically closed when it is needed) such that $p$ divides ...
- 35.2k
3
votes
0
answers
48
views
Questions on piecewise hereditary algebras
Let $A$ be a finite dimensional quiver algebra over a field $k$ that is quasi-tilted and representation-finite (this implies that $A$ is a tilted algebra). Assume that the Coxeter polynomial of $A$ is ...
- 26.5k
7
votes
0
answers
355
views
A homological algebra approach to the Union-closed sets conjecture
I noted a while ago that there is a nice homological formulation using incidence algebra of the Union-closed sets conjecture (https://en.wikipedia.org/wiki/Union-closed_sets_conjecture). It might just ...
- 26.5k
6
votes
1
answer
281
views
An identity for Ext for rings
Let $A$ be a two-sided noetherian ring (which we should assume to be Gorenstein first so that everything is well defined, otherwise it is only well defined up to a conjecture, which states that every ...
- 26
2
votes
0
answers
77
views
Bimodule Ext for Dynkin path algebras
Let $A=kQ$ be a path algebra of Dynkin type $Q$ and $B=A^{op} \otimes_k A$ the enveloping algebra of $A$. Note that $mod-B$ is just the category of $A$-bimodule and $A$ is a $B$-module.
For a B-module ...
- 26.5k
3
votes
0
answers
99
views
The union-closed sets conjecture for finite dimensional algebras
Say a finite dimensional algebra $A$ satisfies the right UC-condition if there exists an indecomposable projective module $P$ of $A$ such that $\operatorname{injdim}(\operatorname{top}(P))=1$ and $P$ ...
- 26.5k
5
votes
0
answers
116
views
An intelligent ant living on a symmetric quiver algebra - Does it have a way to find out whether it lives on a trivial extension?
For a given algebra $B$ over a field $K$ the trivial extension $T(B)$ of $B$ is defined as follows:
The underlying vectorspace is $T(B)=B \oplus D(B)$ where $D(B)=Hom_K(B,K)$ and the multiplication is ...
- 26.5k
8
votes
0
answers
334
views
Dyck paths of Dynkin type
(The conjecture is a homological algebra question, but question 2 is a pure combinatorics question given that the conjecture is true)
A Dyck path of length $n$ is a list of positive integers $[c_1,c_2,...
- 26.5k
5
votes
0
answers
76
views
Reference on two numbers associated to a module of finite homological dimension
Let $A$ be a finite dimensional algebra over a field $K$ with a module $M$ which has finite projective dimension and finite injective dimension.
Let $n \geq 1$.
Let $(P_i)$ be a minimal projective ...
- 26.5k
4
votes
0
answers
241
views
Finding local algebra and relations lottery
This can be seen as an attempt for a mini Polymath project on homological properties of (local) finite dimensional algebras. You only need to know what a finite dimensional algebra is and have GAP to ...
- 26.5k
3
votes
0
answers
78
views
Quiver algebras of Dynkin type
Let $kQ$ be one of the Dynin path algebras of type $A_n , D_n $ or $E_i$ for $i=6,7,8$.
Question 1: How many (up to isomorphism) quiver algebras are there that are derived equivalent to $kQ$?
...
- 26.5k
2
votes
0
answers
80
views
Coxeter polynomials of Nakayama algebras
Are two Nakayama algebras with a linear quiver derived equivalent if and only if they have the same coxeter polynomial?
Derived categories of Nakayama algebras appear in interesting contexts (see for ...
- 26.5k
15
votes
2
answers
863
views
What are the periodic Dyck paths?
I changed the thread completely so that everything is now elementary linear algebra.
A Dyck path of length $n$ is a list of positive integers $[c_1,c_2,...,c_n]$ with $c_i -1 \leq c_{i+1}$ for all $i$...
- 85.6k
4
votes
0
answers
63
views
Algebras derived equivalent to a hereditary algebra
Let $A=KQ/I$ be a quiver algebra with relations in $I$ having only coefficients 1 or -1. This implies that $A=FQ/I$ is defined over any other field $F$ (possibly of even another characteristic).
...
- 26.5k
7
votes
0
answers
142
views
When is an algebra derived indecomposable?
Call a finite dimensional (acyclic) quiver $K$-algebra A derived indecomposable in case $A$ is not derived equivalent to an algebra of the form $B \otimes_K C$.
For example when the number of simples ...
- 26.5k
4
votes
0
answers
155
views
Commutative algebras associated to simple Lie algebras
In Section 2 of the article https://www.sciencedirect.com/science/article/pii/S0021869307000385, the authors study the center $Z=Z_Q$ of certain preprojective like algebras associated to the simply ...
- 26.5k
5
votes
1
answer
226
views
Frobenius algebras from symmetric polynomials
Let $K$ be a field of characteristic 0 (maybe it works for more general fields) and $K[x_1,...,x_n]$ the polynomial ring in $n$ variables. Let $e_1,e_2,...,e_n$ denote the elementary symmetric ...
- 50.8k
1
vote
0
answers
37
views
Coxeter period of representation-finite selfinjective algebras
Let $A$ be a representation-finite selfinjective (quiver) algebra, that we assume to be connected and non-semisimple. Define the Coxeter period $p_A$ of $A$ to be equal to the period of the Coxeter ...
- 26.5k
5
votes
0
answers
97
views
Periodics of Coxeter matrices for truncated Nakayama algebras
For $n \geq 3$ and $r \geq 3$ let $C_{n,r}=(c_{i,j})$ denote the $n \times n$-matrix where $c_{i,j}=1$ for $j=i,\dots,i+r-1$ (we only do this until $i+r-1>n$).
So for example for $n=7$ and $r=3$ we ...
- 5,429
6
votes
0
answers
328
views
When does a group and its pro-algebraic completion have equivalent categories of arbitrary representations?
In the following everything is over some field $k$.
Let $G$ be a discrete group. We write $G^{\text{alg}}$ for its pro-algebraic completion. The latter is a pro-affine pro-algebraic group which arises ...
- 1
5
votes
1
answer
829
views
Rigid monoidal and closed monoidal categories
I am trying to understand the relationship between rigid monoidal categories and closed monoidal
categories. First every rigid monoidal category is closed, with an adjoint to the functor $X \otimes -$ ...
- 30.3k
4
votes
0
answers
55
views
Algebras with a simple preserving duality and finite global dimension
Algebras with a simple preserving duality (an anti-automorphism preserving pointwise a primitive full set of ortohogonal idempotents) and finite global dimension include important classes of algebras ...
- 26.5k
5
votes
0
answers
132
views
On a reference for computing global spectrum of $A_n$-curve singularities, by H.Dao and E.Faber
This question is about chasing down a reference in a paper relating to non-commutative crepant resolutions and Cohen-Macaulay representation theory.
Allow me to first give a minor introduction.
Let $(...
- 51
3
votes
0
answers
129
views
Algebras with symmetric Cartan matrix
Let $A$ be a finite dimensional algebra with Cartan matrix $C_A$.$C_A$ being a symmetric matrix is equivalent to the Coxeter matrix being minus the identity matrix in case $A$ has finite global ...
- 26.5k
11
votes
0
answers
202
views
Quiver and relations for blocks of category $\mathcal{O}$
In Vybornov - Perverse sheaves, Koszul IC-modules, and the quiver for the category $\mathscr O$ an algorithm is presented to calculate quiver and relations for blocks of category $\mathcal{O}$ .
...
- 26.5k
10
votes
1
answer
3k
views
An enumeration problem for Dyck paths from homological algebra
In their article "On n-Gorenstein rings and Auslander rings of low injective dimension" Fuller and Iwanaga gave a homological characterisation of 2-Gorenstein Nakayama algebras with global ...
- 26.5k
3
votes
0
answers
82
views
Derived equivalence for two modules
Let $A=K[x]/(x^n)$ and $M_1$ and $M_2$ two basic generator of mod-A and let $B_i=End_A(M_i)$.
$B_1$ and $B_2$ are derived equivalent in case $M_1 \cong \Omega^1(M_2)$ in the stable category.
Question:...
- 26.5k
10
votes
0
answers
236
views
Is being derived equivalent independent of the field?
Let $Q_1, Q_2$ be (connected) acyclic quivers and $I_1, I_2$ admissible ideals (in which the relations have only coefficients 1 or -1).
Let $K$ and $F$ be two fields.
Question 1: Is $KQ_1/I_1$ ...
- 26.5k
4
votes
0
answers
56
views
Which posets can occur from commutative Frobenius algebras?
Let $A$ be a commutative Frobenius algebra. We can assume that $A$ is local and $A=K[x_i]/(I)$ for some variables $x_1,...,x_n$ and an admissible ideal.
Then the non-zero monomials $u_i$(including 1) ...
- 26.5k
3
votes
1
answer
446
views
A set of objects classically generates the full subcategory of compact objects iff it generates the whole category
Sorry in advance if my question doesn't have the level of this community.
I am studying this paper of Bondal and Van Den Bergh and in particular section 2. Generators and resolutions in triangulated ...
- 3,784
2
votes
0
answers
56
views
On periods of symmetric algebras
Let $A$ be a symmetric finite dimensional algebra over a field of characteristic two (or even over the field with two elements) such that every simple $A$-module has the same period equal to $n$.
...
- 26.5k
2
votes
0
answers
56
views
Invertible bimodule for hereditary algebras
Let $A=kQ$ be a path algebra over a field $k$ for a finite acyclic quiver with enveloping algebra $A^e$.
Question: When is it true that $\tau_{A^e}(A) \cong A$ as a left and as a right $A$-modules? (...
- 26.5k
4
votes
1
answer
497
views
Semisimple Abelian categories with infinite sums
A semisimple category is an abelian category in which every object is a finite direct sum of simple objects.
A) Why does one impose the finiteness condition here?
B) If one condsiders infinite direct ...
- 15.6k
2
votes
1
answer
127
views
Ext between a module and its higher Auslander-Reiten translate
Let $A$ be a representation-finite algebra and $M$ an indecomposable module with finite projective dimension $g >0$.
Question 1: Do we have $dim(Ext_A^g(M, \tau_g(M)))=1$? Here $\tau_g(M)=\tau ( \...
CommunityBot
- 1
3
votes
1
answer
98
views
Finding automorphisms and cyclic modules via QPA
Given a symmetric finite dimensional algebra $A$ over a finite field with enveloping algebra $A$.
Assume we know that $\Omega_{A^e}^i(A) \cong A_{f}$, where $f$ is some automorphism of the algebra $A$....
CommunityBot
- 1
1
vote
0
answers
238
views
Is this a pure monomorphism?
Let $M$ be a representation of a quiver $Q=(V, E)$ by $R$-modules. By $M^{+}$ we mean a representation of $Q^{op}$ with $M^{+}(v)=\mathrm{Hom}(M(v), \frac{Q}{Z})$. One can easily see that there is ...
3
votes
0
answers
61
views
On grades of torsion modules in noetherian rings
Let $A$ be a (not necessarily commutative) two-sided noetherian ring with minimal injective coresolution $(I_i)$ of the regular module $A$ as a right module.
Say that $A$ has dominant dimension $n$ in ...
CommunityBot
- 1
2
votes
1
answer
183
views
Almost split sequences coming from bimodules
Let $A$ be a finite dimensional algebra with enveloping algebra $A^e$.
Auslander and Reiten proved in "On a theorem of E. Green on the dual of the transpose" that
$Hom_A(Tr_{A^e}(A),M) \cong ...
CommunityBot
- 1
2
votes
0
answers
52
views
Bimodule isomorphism for representation-finite blocks of the Schur algebra
Let $A$ be a representation-finite block of a schur algebra with $n \geq 2$ simple modules. Then the global and dominant dimension of $A$ are equal to $g=2n-2$. You can find quiver and relations for ...
CommunityBot
- 1
1
vote
0
answers
49
views
Invariance under derived equivalence of a Gorenstein projective bimodule
A module $M$ over an finite dimensional algebra $A$ is called Gorenstein projective in case there exists an exact complex $(P_i)$ of projective $A$-modules such that the complex stays exact after ...
- 26.5k
5
votes
0
answers
168
views
Higher analogue of the Auslander-Bridger transpose
Let $A$ be an Artin algebra and $M$ a module with $Ext^i(M,A)=0$ for $i=1,...,n-2$.
Then in case $P_{n-1} \rightarrow ... \rightarrow P_0 \rightarrow M \rightarrow 0$ is the beginning of a minimal ...
- 26.5k
6
votes
0
answers
182
views
On properties of an algebra as a bimodule
Let $A$ be a two-sided artinian ring.
Recall that a module $M$ is said to have dominant dimension at least $n$ in case the terms $I_i$ in the minimal injective coresolution of $M$ are projective for $...
- 26.5k
5
votes
2
answers
281
views
Isomorphism for Ext spaces for finite dimensional algebras
Let $A$ be an Artin algebra with enveloping algebra $A^e$.
Then we have $Hom_{A^e}(X,A^e) \cong Hom_A(D(A) \otimes_A X,A)$ for a bimodule $X$. (see for example in the article "A theorem of Green on ...
- 26.5k
2
votes
1
answer
200
views
Characterisation of minimal projective resolutions via the Euler characteristic
Let $A$ be a finite dimensional $K$-algebra (where $K$ is a field) and $M$ a finitely generated $A$-module.
Let $\psi: 0 \rightarrow P_r \rightarrow ... \rightarrow P_0 \rightarrow M \rightarrow 0$
...
- 35.2k
5
votes
1
answer
212
views
On tilting and cotilting modules
Let A be an Artin algebra and assume all modules are basic, then a classical result says that tilting modules $T$ are in bijection with complete cotorsion pairs $(T^{\perp}, \check{ add(T)})$ (with ...
- 1,244