All Questions
Tagged with rt.representation-theory homological-algebra
481 questions
32
votes
3
answers
4k
views
Replacing triangulated categories with something better
Gelfand and Manin in their 1988 book on homological algebra write that the non-functoriality of cones means that "something is going wrong in the axioms of a triangulated category. Unfortunately at ...
- 6,292
28
votes
4
answers
3k
views
Yoga of six functors for group representations?
I'm trying to understand how the six functor philosophy applies to representation theory. Consider the category of classifying stacks $BG$ (assume $G$ discrete for simplicity). To every stack we can ...
- 7,789
24
votes
1
answer
1k
views
About the abelian category of endofunctors of $\mathsf{Vect}$
Let $k$ be a field, $\mathsf{Vect}$ the category of finite dimensional vector spaces, and $\mathsf{C} = Fun(\mathsf{Vect},\mathsf{Vect})$ the abelian category of pointed endofunctors (sending $0$ to $...
- 7,789
18
votes
1
answer
1k
views
Homology in the $A_\infty$ World
This question is turning out to be a little long so let me start off with the headline. Given a differential graded algebra $A$, we can recover $A$ from its homology $HA$ if we know "the" $A_\infty$-...
- 2,283
16
votes
3
answers
1k
views
Conjectures in the representation theory of the symmetric group
Question: What are current open conjectures about the representation theory of the symmetric group?
I am interested mostly in the characteristic 0 case, but conjectures for the modular case can also ...
- 26.5k
16
votes
2
answers
694
views
How complicated can a finite double complex over a field be?
A finite complex over a field $k$ is pretty simple: it's the direct sum of its homology with a split-exact complex. How complicated can a finite double complex be? Does it make a difference if $k$ is ...
- 63.9k
15
votes
1
answer
961
views
Who conjectured the Cartan determinant conjecture
The Cartan determinant conjecture states that every finite dimensional algebra of finite global dimension has the property that the determinant of its Cartan matrix is equal to one. Who stated this ...
- 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$...
- 26.5k
14
votes
1
answer
1k
views
Factorization and vertex algebra cohomology
A chiral algebra on a smooth curve $X$, in the sense of Beilinson-Drinfeld, is a right $D_{X}$-module with a chiral bracket, which is a map $\mathcal{V}^{\boxtimes 2}(\infty\Delta)\rightarrow \Delta_{*...
user108998
14
votes
2
answers
514
views
Classification of shod Dyck paths
A sequence $[c_0,c_1,...,c_{n-1}]$ with $n \geq 2$ is called a Dyck path in case $c_{n-1}=1$, $c_i \geq 2$ for $i \neq n-1$ and $c_i-1 \leq c_{i+1}$ for each $i$.
For example the Dyck paths for $n=4$ ...
- 26.5k
14
votes
1
answer
835
views
Special configurations on a circle from a homological algebra problem
Here is the short version of the combinatorial problem:
Given a positive integer $n \geq 2$. Draw a circle with $2n$ points indexed by the numbers from $\mathbb{Z}/ 2n \mathbb{Z}$. We colour the ...
- 26.5k
14
votes
0
answers
891
views
Local proof of Grothendieck-Riemann-Roch theorem
There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem.
Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of ...
- 7,377
13
votes
4
answers
3k
views
What is a "block" in an abelian category?
In the literature and in some posts here, there has been variation in the undefined use of the term "block" for a category of modules over a ring, or more abstractly an abelian category (all of which ...
- 52.9k
13
votes
1
answer
5k
views
What are tame and wild hereditary algebras?
What are tame and wild hereditary algebras?
Are they related to hereditary rings? (Those are rings for which every left (resp. right) ideal is projective, equivalently, for which every left (resp. ...
- 2,992
13
votes
1
answer
669
views
Is a "smooth" finite-dimensional algebra separable modulo its radical?
Let $k$ be a field, and let us write the "unadorned" tensor $\otimes$ in place of $\otimes_k$. For a unital finite-dimensional $k$-algebra $A$, let $A^e = A \otimes A^{op}$ denote the enveloping ...
- 5,407
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
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
12
votes
1
answer
509
views
When is Ext*(M,N) finitely generated as a Ext*(M,M) module?
Let A be a finite dimensional algebra over a field k and M,N a finitely generated A-module.
Im searching for examples where the module $ Ext^{o} (M,N) $ is a finitely generated $ Ext^{o}(M,M) $ -...
- 891
12
votes
0
answers
402
views
Which abelian categories have homological dimension 1?
In this MSRI lecture Geometry of Quiver Varieties I, Victor Ginzburg describes all abelian categories of homological dimension $1$ as being either
a category of representations $\mathrm{Rep}_\mathbf{...
- 1,161
12
votes
0
answers
516
views
Does $\mathrm{Ext}^1(M,M) \neq 0$ imply $\mathrm{Ext}^2(M,M) \neq 0$?
$\DeclareMathOperator{\Ext}{\operatorname{Ext}}$The first question is about group algebras:
Question 1: Let $A=kG$ be a group algebra (with $G$ finite) and let $M$ be an indecomposable $A$-module. ...
- 26.5k
11
votes
1
answer
812
views
Understanding the purely formal part of the sheaf theoretic (cohomological) framework for representation theory
By now I have the impression that many statements in representation theory can be phrased a lot more elegantly using cohomological language. Therefore I'm trying to understand a bit better the sheaf ...
- 7,789
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
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
11
votes
0
answers
818
views
How to compute Ext-groups for categories without enough injectives/projectives?
I am studying a category of representations of an infinite-dimensional Lie algebra, which is an abelian category. Unfortunately, the category does not have enough injectives/projectives. I would ...
- 507
10
votes
1
answer
920
views
Is the homotopy category of an abelian model category abelian?
A model structure on an abelian category $A$ is called an abelian model structure if the cofibrations are precisely the monomorphisms with cofibrant cokernel, and if the fibrations are precisely the ...
- 30.3k
10
votes
1
answer
396
views
Generalising the union-closed sets conjecture from lattice to a larger class of posets
(edit: I decided to simplify the question and only pose it for bounded posets first)
The Union-closed sets conjecture is equivalent for lattices P to:
There exists a join-irreducible element $a$ with ...
- 26.5k
10
votes
1
answer
400
views
Derived equivalences of Dyck paths
Call two Dyck paths $D_1$ and $D_2$ derived equivalent in case their corresponding Nakayama algebras are derived equivalent (The Dyck path of a Nakayama algebra with a linear quiver is just the top ...
- 26.5k
10
votes
1
answer
307
views
Rings where all indecomposable projective modules are finitely generated
Let $X$ be the class of (unital, associative and not necessarily commutative) rings $R$ where every indecomposable projective $R$-module is finitely generated.
Question 1: Is there a nice equivalent ...
- 26.5k
10
votes
1
answer
842
views
Is there a "correct" general setting for the principle: "tensoring any object with a projective object yields another projective"?
Apparently this principle was first formulated for left modules over the group algebra $A=kG$ of a finite group, where $k$ is a field of characteristic $p>0$ dividing $|G|$. (See Exercise 2 on p. ...
- 52.9k
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
10
votes
1
answer
1k
views
What's the relationship between spherical twist functors and tilting?
I've been reading about connections between Coxeter groups and preprojective algebras, and I keep running into two operations on the derived categories of preprojective algebras which seem very ...
- 453
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
10
votes
0
answers
1k
views
Complexes of representations with complementary central charges
This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...
- 15.6k
9
votes
1
answer
926
views
Koszul duality and modules over the Chevalley complex
Let $g$ be a Lie algebra over $\mathbb{C}$. Then the equivalence between the derived category of modules over $U(g)$ and the coderived category of co-modules over it's Chevalley complex $C_*(g)$ in ...
- 3,758
9
votes
1
answer
395
views
Which finite posets are Koszul self-dual?
Let $P$ be a finite connected poset with incidence algebra $A_P$.
For the definition and results on Koszul algebras for incidence algebras, see for example here
Question: Which posets have the ...
- 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
9
votes
1
answer
736
views
Strange boundary-like map on tensor algebra: what is its kernel?
Let $k$ be a commutative ring and $L$ a $k$-module. The tensor algebra $\otimes L$ is $\mathbb{Z}$-graded and $\mathbb{Z}_2$-graded (an element of $L^{\otimes n}$ has degree $n$ and $\mathbb{Z}_2$-...
- 33.8k
9
votes
0
answers
366
views
A characterisation of symmetric algebras using Hochschild (co)homology
A finite dimensional (connected if needed) $K$-algebra $A$ over a field $K$ is called symmetric when $A \cong Hom_K(A,K)$ as $A$-bimodules. Symmetric algebras are Frobenius algebras and include for ...
- 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
8
votes
3
answers
1k
views
Intuition behind the canonical projective resolution of a quiver representation
Let $Q$ be a finite acyclic quiver, and $X$ some representation of $Q$. For $i \in Q_0$ define the $kQ$-modules $P_i = kQe_i$, and $X(i) = e_i X$. The representation $X$ has a canonical projective ...
- 1,161
8
votes
2
answers
1k
views
When is the exterior algebra a Hopf algebra?
I have several questions on the exterior algebra of a vector space:
Q1:When has the exterior algebra A (viewed just as an algebra, not considered as a graded algebra) of an $n$-dimensional vector ...
- 26.5k
8
votes
2
answers
743
views
Confusion about Subcategories of Category $\mathcal{O}$
So, in learning about category $\mathcal{O}$ representations of a semisimple Lie algebra $\mathfrak{g}$, I've come across two natural kinds of subcategories, and I think I'm confused about their ...
- 183
8
votes
2
answers
2k
views
Question about Ext
I heard that $Ext(M,N)$ is naturally isomorphic to $Ext(M^*\otimes N,1)$ where 1 is the trivial representation and $M,N$ some representations of a group $G$.
Can anyone explain why?
Is there an ...
- 700
8
votes
1
answer
534
views
Representation theory of $\mathrm{GL}_n(\mathbb{Z})$
I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
- 81
8
votes
1
answer
356
views
Homological conjectures for finite dimensional commutative algebras
$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Hom{Hom}$>Question: What are some (open) homological conjectures that are also relevent for finite dimensional commutative algebras over a field $...
- 26.5k
8
votes
1
answer
193
views
Maximal numbers of summands in middle terms of short exact sequences
Let $A$ be a finite dimensional algebra and $M$ and $N$ indecomposable $A$-modules. Denote by $\xi(M,N)$ the maximal number of indecomposable summands of a modules $X$ such that there is a non-split ...
- 26.5k
8
votes
1
answer
575
views
Generalizing Representation Theory of Finite Groups to Module Theory
My question is essentially this: which parts of the representation theory of finite groups are really just applications of module theory, and which are not? Here is an example of each case. Induction ...
- 445
8
votes
2
answers
960
views
Is the derived category of local systems equivalent to the derived category of sheaves of vector spaces with local system cohomology?
Let $k$ be a field and $X$ a topological space.
Write $\mathrm{Sh}(X)$ for the category of sheaves of vector spaces on $X$, and $\mathrm{Loc}(X)$ for the subcategory of local systems of finite ...
- 1,635
8
votes
1
answer
291
views
Eilenberg-Watts theorem for the derived category
Let $A$ and $B$ be $k$-algebras. And for convenience let's say $k$ is a field and both $A$ and $B$ are finite-dimensional.
A well known theorem independently discovered by Eilenberg and Watts states ...
- 9,650
8
votes
1
answer
800
views
How to recognize a finite dimensional algebra is Koszul or quadratic?
I have a family of finite dimensional algebras that are directed quasihereditary. I think they might be Koszul algebras and I am wondering what approaches there are to check Koszulness or even ...
- 38.6k