Questions tagged [quivers]
"Quiver" is the word used for "directed graph" in some parts of representation theory. The main reason to use the term quiver is to indicate an interest in considering representations of the quiver.
194 questions
3
votes
1
answer
249
views
$\mathrm{Ext}$ group in representation theory
Let $\mathcal{X}$ be a finite acyclic quiver, and $v_1$ be a source vertex of $\mathcal{Q}$. Let $\mathcal{X}$ be a representation in $\mathrm{Re}(\mathcal{Q},R)$, where $R$ is a commutative ...
0
votes
1
answer
80
views
In quiver rep,is it$\mathrm{Ext}^i_{\mathrm{rep}}(\mathcal{X},\mathcal{R})=0 \leftrightarrow \forall v \mathrm{Ext}^i_R(\mathcal{X}_v,R)=0$?
Let $\mathcal{Q}$ be a finite acyclic quiver, and $R$ be a ring Let $\mathcal{X}$ be a representation in $\mathrm{Rep}(\mathcal{Q},R)$. Let $\mathcal{R}$ represent the image of $R\mathcal{Q}$ under ...
9
votes
2
answers
978
views
A question about the quivers with potentials
Let $Q=(Q_0,Q_1,h,t)$ be a quiver consisted of a pair of finite sets $Q_0$(vectors),and $Q_1$ (arrows) supplied with two maps $h : Q_1 → Q_0$ (head) and $t : Q_1 → Q_0$ (tail ). This definition allows ...
4
votes
1
answer
119
views
Rigid regular objects of path algebras of tame quivers
In the paper On Maximal Green Sequences by Brustle, Dupont and Perotin the authors argued that in a path algebra $\Lambda=kQ$ of a tame quiver $Q$ with $n$ vertices each tilting module contains at ...
4
votes
2
answers
288
views
The explicit indecomposable representations of (any) Euclidean quiver of type E
It is known that for any quiver $Q$ that is an orientation of $\tilde{\mathbb{E}}_8$, the hereditary path algebra $KQ$ ($K$ being an algebraically closed field) is tame (but not finite). That is, in ...
2
votes
1
answer
176
views
Which cluster algebras where the existence of maximal green sequences is still unknown?
Maximal green sequences are studied in many papers. For example, Maximal Green Sequences for Cluster Algebras Associated to the n-Torus by Eric Bucher, On Maximal Green Sequences by Thomas Brüstle, ...
22
votes
2
answers
2k
views
Quiver representations and coherent sheaves
I've heard that under certain assumptions on an algebraic variety $X$ there exist a quiver $Q$ for which there is an equivalence $$D^b(\mathsf{Coh}(X))\simeq D^b(\mathsf{Rep}(Q))$$ between the ...
4
votes
1
answer
192
views
Quiver invariants as polynomials/algebraic curves
I'm interested in algebraic curves one can associate to gauge or string theories. Examples involve Seiberg-Witten curves or family of A-polynomials which define holomorphic Lagrangian submanifolds for ...
1
vote
1
answer
915
views
About irreducible morphisms
I have asked the following question in Mathematics stack: https://math.stackexchange.com/questions/2202032/about-irreducible-morphisms. But there is no response, so I repost it here.
A morphism $f: X\...
5
votes
0
answers
146
views
Injectivity of a standard map in quiver representation
Let $X$ be a smooth projective variety, and assume its divisor class group is finite and free. Let $E_1,E_2,\ldots,E_n$ be line bundles on $X$. Define $L_k=E_1+\ldots E_k$, and let $Q$ be the ...
8
votes
4
answers
695
views
Can we infer an isomorphism of quivers from an isomorphism of their corresponding path algebras?
Given a pair $\Delta, \Gamma$ of quivers and a field $K$ one can construct the corresponding path algebras $K\Delta, K\Gamma$. I came upon a paper claiming (section 3, 2nd paragraph) that an ...
2
votes
0
answers
91
views
bound quiver of section -- the dga version?
Let $X$ be a smooth projective variety, and $\mathcal{L} = \{L_0, \cdots, L_n\}$ be a list of distinct line bundles. The (complete) bound quiver of sections associated with $\mathcal{L}$ is a quiver ...
2
votes
0
answers
86
views
Characterisation of certain quiver algebras
Let algebras always be finite dimensional connected non-semisimple quiver algebras. Say an algebra $A$ has property * in case $eAe$ is a Nakayama algebra, when $eA$ denotes the basic version of the ...
8
votes
1
answer
481
views
Does unique factorisation hold for quiver algebras?
Given a finite dimensional quiver algebra A=KQ/I. It can be (possibly) written as $A= B_1 \otimes_k B_2 ... \otimes_k B_r$ and the $B_i$ can not be decomposed into smaller algebras. Is this ...
9
votes
1
answer
1k
views
Reference request: tangent space to moduli space of coherent sheaves is $\operatorname{Ext}^1(E, E)$
Is there a standard reference for the fact that, in an appropriate algebraic-geometrical context, the tangent space at the point $[E]$ to the moduli space $\mathcal M$ is something like $\operatorname{...
3
votes
0
answers
81
views
Largest possible dimension-vector of a indecomposable module over a representation-finite algebra
Let $A$ be a representation-finite quiver algebra and $M$ an indecomposable $A$-module and $s$ the dimension of $A$ and $e_i$ the canonical primitive idempotents.
What is the largest possible value (...
8
votes
1
answer
576
views
Construction of irreps of path algebra of cyclic quiver, classification of all finite-dimensional irreps
Originally posted here on Mathematics Stack Exchange.
Let $Q$ be a quiver with vertex set $\{1, 2, \ldots, n\}$ such that $Q$ has a single edge $i \to i + 1$, for every $i = 1, 2, \ldots, n - 1$, one ...
9
votes
1
answer
476
views
Algorithm for finding quiver algebras
Im looking for an algorithm that does the following in a quick way:
Input: Natural number $r \geq 2$, natural number $s \geq 3$, prime power $q$.
Output:
Finds all two-sided ideals in $J^2/J^s \...
1
vote
1
answer
117
views
Softwares which compute all non-isomorphic quivers in a mutation class
Let $Q$ be a quiver. The mutation class of $Q$ consists of all quivers which can be obtained from $Q$ by a sequence of mutations. Are there some softwares which compute all non-isomorphic quivers in a ...
0
votes
1
answer
204
views
Mutation equivalence of quivers
Given two orientations $Q, Q'$ of a Dyinkin diagram. Is it always true that after a sequence of mutations, $Q$ becomes $Q'$? Are the some references about this? Thank you very much.
1
vote
1
answer
215
views
Mutation of valued quivers
Mutations of valued quivers are defined in cluster algebras II, Proposition 8.1 on page 28. I have a question about the number $c'$. For example, let $a = 2, b=1, c=1$ and consider the quiver $Q$:
$1 ...
2
votes
1
answer
315
views
Cluster algebras of finite type
In the webpage, there is a result:
Theorem 1. Coefficient free cluster algebras without frozen variables are in bijection with Dynkin diagrams of type $A_n$, $B_n$, $C_n$, $D_n$, $E_6, E_7, E_8$, $...
4
votes
0
answers
88
views
Realisation of the preprojective algebras as $F(\Delta)/T$ over some quasi-hereditary algebra
Let $A$ be the Auslander algebra of $K[x]/(x^n)$ for some $n \geq 2$, which is quasi-hereditary with some characteristic tilting module $T$.
Dlab and Ringel showed in their paper "The Module ...
6
votes
2
answers
768
views
Auslander-Reiten theory for Gorenstein algebras
In the paper "Cohen-Macauley and Gorenstein artin algebras", Auslander and Reiten have a short section about Auslander-Reiten theory in Gorenstein algebras (I always assume we have an artin algebra ...
4
votes
0
answers
429
views
Auslander-Reiten-Quivers of representation-finite algebras having different 3-dimensional forms
I am looking for references, where I can find (pictures of) connected Auslander-Reiten-Quivers of representation-finite $k$-algebras ($k$ is a (preferably, but not necessarily finite) field) with one ...
5
votes
2
answers
566
views
Dimension of preprojective algebra of Dynkin type
Fix a field $\Bbbk$. Let $Q$ be a Dynkin quiver and let $\Pi(Q)$ be its preprojective algebra. It is well-known that in this case $\Pi(Q)$ is finite-dimensional, but I've been unable to find a ...
5
votes
1
answer
525
views
what is the injective hull of indecomposable module of preprojective algebra
Let $Q$ be a ADE type quiver and $s_i$ ($i$ runs through the vertices of $Q$) be the simple $\Lambda$-module with 1-dimensional vector space at vertex $i$ and zero-dim at other vertices. Here $\Lambda$...
5
votes
1
answer
509
views
analog of Lusztig nilpotent scheme
Fix a quiver $Q$ without loop. Denote the set of vectices of $Q$ by $I$.
Let $\Lambda_V$ be the Lusztig nilpotent scheme with associated vector space $V$ over $I$. Briefly speaking, when $Q$ is a $ADE$...
1
vote
1
answer
172
views
Why are exchange graphs of quivers with the same underlying graph but have different orientations isomorphic?
I know the fact that (undirected) exchange graphs of quivers with the same underlying undirected graph but have different orientations are isomorphic (i.e. quivers that are just finitely many arrow-...
2
votes
0
answers
165
views
An equivalence between projective modules over the preprojective algebra and an orbit category
Let $Q$ be a Dynkin quiver, and let $kQ$ be its path algebra over some field k. Let $\Pi$ be the preprojective algebra of $Q$. Then (c.f. Section 7.3 of Keller's On Triangulated Orbit Categories) the ...
4
votes
0
answers
199
views
Short proof of the classification of representation-finite symmetric algebras up to stable equivalence
Assume $K$ is an algebraically closed field and $A$ a finite dimensional $K$-algebra. Assume additionally that $A$ is symmetric and representation-finite.
Then one has the following classification of ...
4
votes
1
answer
332
views
Connection between representations of different orientations of graph
In 1973 paper about Gabriel's theorem, there is an open question:
Suppose we have a graph $\Gamma$ and two orientations $\Lambda,\Lambda'$ of it. Then for each indecomposable representation of $\...
6
votes
1
answer
346
views
Is this modified bound quiver algebra necessarily representation-finite?
Suppose that $A = kQ/I$ is a bound quiver algebra for $k$ an algebraically closed field, $Q=(Q_0, Q_1)$ a finite connected quiver with no oriented cycles with no multiple edges or self-loops, and $I$ ...
2
votes
1
answer
304
views
Is a quotient of a bound quiver algebra of finite representation type also representation-finite?
Let $A = kQ/I$ be a bound quiver algebra for some algebraically closed field $k$, $Q$ a finite connected quiver without oriented cycles, and $I$ an admissible ideal. Say that $I'$ is also an ...
6
votes
0
answers
209
views
Classification of representation-finite algebras up to stable equivalence of Morita type
Assume $K$ is an algebraically closed field.
I wanted to ask if there is a classification of the representation-finite $K$-algebras up to stable equivalence of Morita type (at least for some small ...
5
votes
1
answer
381
views
When is a given quiver algebra a hopf algebra?
Given a finite dimensional selfinjective quiver algebra A over a finite field (or more generally an arbitrary field). Whats the best way to check if the algebra A has a Hopf algebra structure or not? ...
2
votes
1
answer
194
views
Two quivers, finitely many nonisomorphic representations of $\mathbb{C}Q$
Consider the following two quivers:
...
34
votes
3
answers
1k
views
How is the free modular lattice on 3 generators related to 8-dimensional space?
Here are three facts which sound potentially related. What are the actual relationships?
In 1900, Dedekind constructed the free modular lattice on 3 generators as a sublattice of the lattice of ...
6
votes
2
answers
366
views
Is this algebra isomorphic to an incidence algebra?
This question is motivated by trying to establish a converse to Theorem 7.8 of our paper.
I have a finite poset $P$ with the following properties:
$P$ has binary meets (and hence a least element).
$...
2
votes
1
answer
501
views
Second cohomology groups of Nakajima quiver varieties
Let $X=M(v,w)$ be a Nakajima quiver variety for a quiver $Q$. Can one calculate the second singular cohomology groups $H^2(X,\mathbb Z)$ or $H^2(X,\mathbb C)$ explicitly, and if not, are there some ...
5
votes
1
answer
911
views
Why Jacobson, but not the left (right) maximals individually?
I firstly asked the following question on MathStackExchange a couple of months ago. I did not receive any answers, but a short comment. So, I decided to post it here, hoping to receive answers from ...
2
votes
1
answer
200
views
Reference that contains examples of absolutely indecomposable representations of quivers over a finite field
Is there a reference that lists/discusses examples of absolutely indecomposable representations of quivers over a finite field (absolutely indecomposable = does not decompose into a direct sum over ...
6
votes
1
answer
568
views
For which quiver varieties is Kirwan surjectivity known?
The cohomology of Nakajima quiver varieties is a quite interesting object. It's equipped with some natural classes given by the Chern classes of the tautological bundles associated to the spaces in ...
18
votes
1
answer
566
views
Is there a cotangent bundle of a stable $\infty$-category?
Let $C$ be a stable $\infty$-category. Is there any categorical construction $C \mapsto T^* C$, where $T^* C$ is another stable $\infty$-category, that specializes to the following?
When $C$ is the ...
3
votes
0
answers
679
views
Ext Quivers and their applications to Representation Theory
I am looking for references that provide an overview of the following two topics (it can be multiple references if necessary):
How to compute the Ext-quiver of a (locally finite or finite) $\mathbb{C}...
1
vote
0
answers
63
views
"embedding" various matrix equivalences into the equivalence of particular linear map
Consider the square matrices over a (local) ring $R$, up to conjugation, $A\rightarrow UAU^{-1}$, where $U$ is an invertible matrix over $R$. Such an equivalence embeds into the "left-right" ...
1
vote
1
answer
229
views
Bounded algebras of finite global dimension
Let $k$ be a field, $Q$ an acyclic finite quiver and $I$ an admissible ideal of $kQ$.
I am looking for a reference for the fact that the bounded algebra $kQ/I$ has finite global dimension.
2
votes
1
answer
563
views
Quiver representations
I'm wondering how to find indecomposable representations of a given quiver explicitely. In particular, I'm interested in the maximal indecomposable representation of $\mathbb{E}_8$(I'm working over $\...
7
votes
1
answer
341
views
How can one show that orbit closures in representations of a linear quiver don't have small resolutions?
Let $1\to \cdots\to n$ be a linear quiver of length $n$. Let $\mathbf{d}=(d_1,\dots,d_n)$ be a dimension vector. It's well known (for example, by Gabriel's theorem, but also by basic linear algebra) ...
27
votes
3
answers
2k
views
How can classifying irreducible representations be a "wild" problem?
Let $q$ be a prime power and $U_n(\mathbb{F}_q)$ be the group of unitriangular $n\times n$-matrices. I've read and heard in several places (see e.g. this mathoverflow question) that classifying ...