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
2
votes
0
answers
104
views
$G$-module representations of a profinite quiver
I have a profinite directed graph $\Gamma$, i.e., I can think of $\Gamma$ as the inverse limit of a directed system of finite directed graphs under inclusion. To each vertex of the graph a $G$-module ...
- 21
2
votes
0
answers
48
views
The isomorphism class of the 1-representation of a complete quiver
Let $Q$ be a quiver with vertex set $Q_0$ and the arrows $Q_1$. A quiver self $Q$ is said to be complete if it has no loops and for every arrow in $Q_1$ the opposite arrow is also in $Q_1$.
A ...
- 1,269
2
votes
0
answers
48
views
Injective morphisms between preprojective representations
Let $Q$ be an acyclic quiver. Is it true that if $P$ is a preprojective representation of $Q$ and $r\geq 0$, there exists $s\geq r$ and a preprojective $P'$ with an injective morphism
$$
P\rightarrow \...
- 333
2
votes
0
answers
71
views
Isomorphic quiver representations "after adding some zeros"
Let $Q$ be a quiver, with dimension vector $d$ and let $e$ be another dimension vector, such that $d_v\leq e_v$ for every vertex $v$ of $Q$. If $M$ is a $K$-representation of $Q$ of dimension vector $...
- 61
2
votes
0
answers
42
views
Predecessors and Successors of regular silting objects in bounded derived categories of wild hereditary algebras
Let $\Lambda$ be a wild hereditary algebra and let $T$ be one of its regular silting objects (i.e. all indecomposable direct summands of $T$ are shifts of indecomposable regular modules). What do we ...
- 417
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 ...
- 316
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 ...
- 26.5k
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 ...
- 217
1
vote
1
answer
305
views
Quiver varieties associated to D_4
Let $Q=(I,\Omega)$ be the $D_4$ affine quiver. We choose as dimension vector $(2,1,1,1,1)$ (where $2$ is on the central vertex). As this dimension vector is indivisible, we can choose a generic $\...
- 1,061
1
vote
1
answer
218
views
A result of Schofield in the case of quivers with relations
Let $Q$ be a quiver without oriented cycles. A result of Schofield says that, for dimension vectors $\alpha$ and $\beta$ of $Q$, $\beta\hookrightarrow\alpha$ iff $\operatorname{ext}(\beta, \alpha-\...
- 839
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 ...
- 6,201
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 ...
- 6,201
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-...
- 417
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.
- 11
1
vote
1
answer
277
views
finitely presented representations
Let Q=(V,E) be a direct graph where V is the set of all its vertices and E denotes the set of all its arrows. $X$ is called a representation of Q by modules if it is a functor from Q to R-Mod. i.e. $X(...
- 141
1
vote
1
answer
268
views
Hereditary algebras as quotient algebras
This is the first time I post a question on MO, so I'm shy a liite bit. Can you give a "non-trivial" example of a finite dimensional hereditary algebra which is quotient of an infinite dimensional ...
- 13
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\...
- 331
1
vote
0
answers
90
views
Multiplicative bases, path algebras, and Ext algebras
I am interested in understanding when a multiplicative basis exists for finite dimensional algebras over an algebraically closed field, and, in particular, Ext-algebras that are finite dimensional.
It ...
- 71
1
vote
0
answers
130
views
A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$
I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...
- 839
1
vote
0
answers
257
views
Confusion regarding the invariant rational functions
I was reading S. Mukai's- An Introduction to Invariants and Moduli, and I came across Proposition 6.16 on page 195 (see the screenshot below)
It says that "every invariant rational function can ...
- 839
1
vote
0
answers
150
views
Number of cluster variables associated to A type quivers
In a seminar/reading course about cluster algebras, we came across the fact that the number of cluster variables for the cluster algebra associated to mutating the quiver $A_n$ is $n(n+3)/2$ (rather, ...
- 495
1
vote
0
answers
61
views
When the dg cluster category of a quiver is saturated?
Let $Q$ be a finite quiver without oriented cycles. In https://arxiv.org/abs/0807.1960 , Keller defines the dg cluster category $C_Q$ of $Q$.
When is $C_Q$ smooth proper dg-category?
If $Q$ is a ...
- 349
1
vote
0
answers
123
views
Quiver representations and the standard matrix decompositions
Many matrix decompositions - like the Jordan Normal Form, the SVD, the spectral theorem, the Takagi decomposition - have the property that they express a matrix $M$ as the form:
$$M = A D B$$
where $D$...
- 4,943
1
vote
0
answers
69
views
Structure of tame concealed algebra of Euclidean type
I wanted to know some references where people have studied the representation theory of tame concealed algebra of Euclidean type. What do we know about the structure of their module category? What ...
- 839
1
vote
0
answers
80
views
When is $Y$ not an orbit closure?
Let $G$ be a linearly reductive algebraic group acting regularly on an affine space over $\mathbb{A}^n$ an algebraically closed field $\mathbb{K}$. Let $Y$ be a $G$-invariant (closed) affine ...
- 839
1
vote
0
answers
208
views
Is $\langle\chi,\lambda\rangle=0$, whenever the limit exists? Where is the mistake?
Suppose $G$ is a linearly reductive algebraic group acting linearly on a finite dimensional vector space $V$ over $\mathbb{C}$. This induces an action on the coordinate ring $\mathbb{C}[V]$ (see here)....
- 839
1
vote
0
answers
52
views
Is the Schofield semi invariant defined at $V/IV$?
Let $A=\mathbb{K}Q$ be the path algebra of an acyclic quiver $Q$ over an algebraically closed field $\mathbb{K}$, and $0\not=I\subset\mathbb{K}Q$ be an admissible ideal. Let $W$ be a left $A$-module ...
- 839
1
vote
0
answers
127
views
How to determine if an invariant rational function is defined at the $\theta$-polystable point
Background:
Let $A$ be a finite-dimensional (associative and unital) algebra over $\mathbb{C}$. Assume there is a quiver $Q=(Q_0,Q_1)$, where $Q_0$ is the set of vertices and $Q_1$ is the set of ...
- 839
1
vote
0
answers
95
views
Is $U\subseteq X^{s}(L)$?
Let $X$ be an irreducible affine variety over an algebraically closed field $\mathbb{K}$ of characteristics $0$. Let $G$ be a connected, linearly reductive, affine algebraic group acting regularly on $...
- 839
1
vote
0
answers
128
views
Example of a brick-infinite, tame, triangular algebra of global dimension$\geq 3$
I'm trying to compute some examples and I'm unable to come up with a following example:
What is(are) the example(s) of an acyclic quiver $Q$ with relations such that the 2-Kronecker quiver is NOT a ...
- 839
1
vote
0
answers
115
views
Prove that $B$ is a directing module
Let $A\cong\mathbb{K}Q/I$ be a finite dimensional, associative, basic $\mathbb{K}$ algebra, where $\mathbb{K}$ is algebraically closed and $Q$ is a finite Gabriel quiver on $n$ vertices and $I\...
- 839
1
vote
0
answers
98
views
A sufficient condition for automorphism of an exact sequence
I asked A sufficient condition for Automorphism of an exact sequence earlier on Math.StackExchange but did not get any response so am posting it here.
I am given the following commutative diagram with ...
- 159
1
vote
0
answers
144
views
Non-empty stable locus of an irreducible component
I have a vague question:
Let $X$ be an algebraic pre-scheme and $G$ be a linear reductive group. Consider the G.I.T. quotient $X{/\!/}G$. Is there any result (maybe in some special case) which tells ...
- 839
1
vote
0
answers
170
views
What is this algebraic object (special case of a semigroup)?
Let $(M,*)$ be a finite semigroup. Further we demand the following:
Zero element: $\exists0\in M \forall m\in M:0*m=0=m*0$.
Left cancelation: $\forall m,n,n'\in M:0\neq m*n =m*n' \Rightarrow n=n'$.
...
- 696
1
vote
0
answers
82
views
Endomorphism ring of a cotilting module
Given a basic tilting or cotilting right module $T$ over an algebra $A$ given by quiver and relations, is there a "linear-algebra method" to decide whether $\operatorname{End}_A(T) \cong A?$
Here "...
- 26.5k
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" ...
- 2,232
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.
- 6,201
0
votes
1
answer
190
views
dimension vector of indecomposable module over preprojective algebra
It is well-known that there are finitely many indecomposable module over the preprojective algebra associated to a quiver $Q$ if and only if $Q=A_2,A_3,A_4$ and tame type for $A_5$ and wild for others....
- 849
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 ...
- 191
0
votes
1
answer
265
views
Quiver representations over any commutative ring
I'm reading a paper of Aidan Schofield "General Representations of Quivers" and he defines quiver representation over any commutative ring. See the below image.
Towards the end, he has this ...
- 839
0
votes
0
answers
103
views
Matrix of the minimal projective presentation of a $\tau$-rigid module
Let $A$ be a finite dimensional algebra over an algebraically closed field $\mathbb{K}$ of characteristics zero. Suppose $A$ is given by the bound quiver $(Q,I)$. We will use $P_l$ to denote the ...
- 839
0
votes
0
answers
70
views
geometric objects in quiver variety corresponding to short exact sequences
I was studying quiver variety and known that representations of a quiver correspond to points in the corresponding quiver variety. So if give you a fixed triple representations $(M_1,M_2,M_3)$, I was ...
- 133
0
votes
0
answers
71
views
"Approximating" ring of semi-invariants
I'm trying to calculate the semi-invariant ring for certain types of quivers. For a very brief introduction to semi-invariant rings of quiver please have a look at this wikipedia article at the ...
- 839
0
votes
0
answers
195
views
Automorphisms of weighted quiver
I am reading this paper strongly primitiv species with potentials I : mutations.
In page 6, they give the definition of weighted quiver: a weighted quiver is a pair $(Q,d)$, where $Q$ is a loop-...
- 775