Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

2
votes
0answers
45 views

Obtaining the reduced incidence algebra in QPA

Given a finite poset $P$ (we can assume it is connected), the reduced incidence algebra of $P$ is the subalgebra of the incidence algebra of $P$ consisting of functions constant on isomorphic ...
3
votes
1answer
90 views

Are there non-trivial automorphisms of stable framed quiver representations?

Let $Q=(Q_0,Q_1)$ be a quiver and $q\in Q_0$ a chosen vertex. Let $d$ be a dimension vector with $d_q=1$ and let $\theta\in \mathbb R^{Q_0}$ be a $d$-generic stability parameter. Let $M$ be a $\theta$-...
2
votes
0answers
35 views

Intuition for the Euler form in a finitary category

Suppose that $\mathcal{C}$ is a finitary category, so for any two objects $A$ and $B$ we have that $|\mathrm{Ext}^i(A,B)| < \infty$ for $i\geq 0$, suppose $\mathcal{C}$ has finite global dimension, ...
3
votes
1answer
132 views

$M^{ss}_{(2,2)}(K_3,(-1,1))$ is isomorphic to $M_{\mathbb{P}^2}(0,2)$

Suppose $K_3$ is the Kronecker quiver with 3 arrows, and $M^{ss}_{(2,2)}(K_3,(-1,1))$ is the moduli space of semi stable representation of dimension $(2,2)$ wrt the weight $(-1,1)$. It is claim in the ...
5
votes
2answers
194 views

Path algebras are formally smooth

In Ginzburg's notes Lectures on Noncommutative Geometry, he claim that the path algebra of a quiver is formally smooth (See Section 19.2). I have two questions. First, how to show this claim and ...
0
votes
1answer
71 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....
5
votes
3answers
387 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 ...
3
votes
0answers
91 views

Hochschild homology and Chern character quiver with potential

I am a beginner in quiver theory so this question might not be suitable for mathoverflow. Let $(Q,W)$ be a quiver with potential and let $\Gamma$ be the Ginzburg DG-algebra associated to $(Q,W)$. Is ...
3
votes
1answer
88 views

an inverse semigroup (and perhaps a $C^*\!$-algebra) associated with a directed graph

The following inverse semigroup associated to a directed graph came up in my research. I've read that from an inverse semigroup one may derive a $C^*\!$-algebra whose generators are partial isometries ...
4
votes
0answers
115 views

Kac's theorem for quiver representations over an arbitrary ground field

Let $Q$ be a quiver without loops (cycles of length 1). Kac proved that if $K$ is algebraically closed, the dimension vectors of indecomposable representations of $Q$ over $K$ are exactly the ...
1
vote
0answers
59 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 "...
3
votes
0answers
50 views

(Non-)formality for ADE preprojective algebras

Given a quiver $Q$, I can associate to $Q$ a certain 2-Calabi-Yau (dg-)algebra $\Gamma_Q$ by a 2-dimensional version of the "Ginzburg dga" construction: i.e., start by doubling $Q$, and then impose ...
4
votes
0answers
90 views

Indecomposable representations of quivers of finite fields

Given a path algebra $A=KQ$ with a wild quiver $Q$ over a finite field. There should be only a finite number of indecomposable modules of a given dimension for the algebra $A$. Are there example of ...
3
votes
1answer
133 views

Endomorphism algebras of indecomposable quiver representations

Let $Q$ be a wild quiver without oriented cycles and let $V$ be an indecomposable representation of $Q$. Assume that $V_i\neq 0$ for each vertex $i$ of $Q$. The base field $k$ is algebraically closed. ...
14
votes
5answers
841 views

Why are coherent sheaves on $\Bbb P^1$ derived equivalent to representations of the Kronecker quiver?

I'm looking for an explanation or a reference to why there is this equivelence of triangulated categories: $${D}^b(\mathrm {Coh}(\Bbb P^1))\simeq {D}^b(\mathrm {Rep}(\bullet\rightrightarrows \bullet))$...
4
votes
2answers
202 views

Indecomposable representations of euclidean quivers

The classification of indecomposable representations of a Euclidean quiver is well-known over an algebraically closed field. I am interested in an analogous classification, but over an arbitrary field....
2
votes
0answers
51 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 $...
3
votes
0answers
84 views

radical and socle of the path algebra

Let $Q$ be an infinite quiver without oriented cycle. Is it true that the radical of $KQ$ is generated by all the arrows? What can we say about its socle? Thank you!
0
votes
0answers
79 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-...
6
votes
1answer
211 views

What is the status of a problem about cluster categories?

Let $H$ be a hereditary algebra of Dynkin type. There is a cluster category $\mathcal{C}_H$ defined by Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten, and Gordana Todorov in Tilting ...
4
votes
1answer
254 views

Graded quivers vs “ordinary” quivers and derived categories

I have heard the "slogan" that graded quivers are (derived) equivalent to ordinary quivers (with this "result" being attributed to Keller) and am looking for a precise statement and a reference. By a ...
4
votes
1answer
153 views

Global dimension of quiver algebra

Given a representation-finite (finite dimensional over a field) quiver algebra of finite global dimension. Is $eAe$ isomorphic to the field for at least one primitive idempotent $e$? This is true for ...
2
votes
0answers
33 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 ...
3
votes
1answer
196 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
1answer
71 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 ...
6
votes
2answers
320 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
1answer
80 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
2answers
147 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
1answer
125 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, ...
13
votes
2answers
676 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
1answer
154 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 ...
0
votes
1answer
220 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
0answers
120 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 ...
7
votes
4answers
346 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
0answers
77 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
0answers
76 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
1answer
462 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 ...
7
votes
1answer
568 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
0answers
66 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 (...
7
votes
1answer
300 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
1answer
366 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
1answer
74 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
1answer
146 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
1answer
90 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 ...
1
vote
1answer
204 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
0answers
78 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
2answers
472 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
0answers
352 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
2answers
270 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 ...
4
votes
1answer
370 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$...