**4**

votes

**0**answers

151 views

### positivity of semicanonical basis

Given a quiver $Q$, there is an algebra isomorphism from $U\frak{n}$ to $\mathcal{M}\subset \sum_{v}\text{Const}(\Lambda_v)^{G_v}$ by Lusztig's construction.
Fro each $Z\in \text{Irr}(\Lambda_v)$. ...

**2**

votes

**1**answer

68 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

**1**answer

259 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 ...

**4**

votes

**0**answers

97 views

### relation between constructible function on quiver variety and representation of Kac Moody algebra

This is a follow-up question of my previous question.
In Lusztig's paper Section 12, Lusztig constructed an algebra embedding from $U\frak{n}_-$ to $\oplus_V M(\Lambda_V)$.
In Nakajima's paper ...

**5**

votes

**1**answer

353 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 ...

**1**

vote

**1**answer

68 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 ...

**2**

votes

**0**answers

43 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 ...

**3**

votes

**0**answers

76 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

103 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 ...

**5**

votes

**1**answer

125 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

76 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 ...

**4**

votes

**0**answers

81 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 numbers ...

**3**

votes

**0**answers

325 views

### Mystery behind ADE Dynkin diagram [duplicate]

ADE Dynkin diagram classifies:
finite type quiver (Gabriel's theorem)
du Val singularity (minimal resolution of $\mathbb{C}^2/G$, $G$ is a finite subgroup of $SL_2(\mathbb{C})$)
simply laced simple ...

**3**

votes

**0**answers

120 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? ...

**6**

votes

**1**answer

151 views

### Two quivers, finitely many nonisomorphic representations of $\mathbb{C}Q$

Consider the following two quivers:
...

**32**

votes

**3**answers

602 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

258 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

202 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

452 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

100 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 ...

**5**

votes

**0**answers

223 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 ...

**16**

votes

**0**answers

307 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 ...

**2**

votes

**0**answers

226 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) ...

**1**

vote

**0**answers

52 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

105 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

307 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

246 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) ...

**22**

votes

**3**answers

1k 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 ...

**1**

vote

**1**answer

226 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. ...

**4**

votes

**1**answer

225 views

### When are infinite dimensional path algebras hereditary?

I allready asked this on MO, but did not get any answer.
Given a finite quiver with relations. When is the path algebra modulo relations hereditary?
If the path algebra is finite dimensional or ...

**3**

votes

**1**answer

163 views

### Pairs of paths with the same source and target

Commutative diagrams usually express path equivalences in a category and thus involve pairs of paths in a category with the same source and target.
General diagrams - in categories resp. category ...

**3**

votes

**2**answers

285 views

### Do morphisms of finitely-decomposable Quiver representations map indecomposables nicely?

Consider two quivers $Q$ and $Q'$ of type $A_n$, laid out horizontally like so:
Given representations of $Q$ and $Q'$, Gabriel's theorem guarantees the existence of finitely many indecomposables ...

**4**

votes

**0**answers

371 views

### Tensor product of quivers

As a special case of a general construction I have constructed "accidentally" a tensor product of quivers aka directed multigraphs (aka directed graphs for category theorists). Probably this is ...

**6**

votes

**2**answers

853 views

### Derived category of varieties and derived category of quiver algebras

I have heard that derived category of coherent sheaves $\mathrm{Coh}(X)$ on any Fano varieties $X$ may be realized as derived category $\mathrm{Coh}(\mathrm{Rep}(Q,W))$ of representation of quiver $Q$ ...

**5**

votes

**0**answers

279 views

### Homological dimension of completed path algebras.

Let A = c[Q]/I be a finite dimensional quotient of a path algebra over a quiver Q, with I being the ideal of relations.
Is it true that the I-adic completion of A has finite homological dimension?

**3**

votes

**0**answers

109 views

### Description of modules over self-injective algebras of finite representation type

Is there any description of indecomposable modules and irreducible morphisms over self-injective algebras of finite representation type? I am interested mainly in such a description for nonstandard ...

**5**

votes

**1**answer

345 views

### The Fukaya category of a simple singularity (reference request)

I have heard that for an ADE singularity $f$,
$ D^b\mathrm{Fuk}(f) \simeq D^b(\mathrm{Rep}\\ Q)$
where $Q$ is the corresponding Dynkin quiver. (As one would hope, if $\mathrm{Fuk}$ is some kind of ...

**4**

votes

**1**answer

246 views

### Vertex embeddings of quantum groups via quivers

Let Uq be a quantised enveloping algebra of type affine ADE (untwisted). By the loop presentation of Uq, we see that for each vertex of the finite Dynkin diagram, there is an inclusion ...

**5**

votes

**2**answers

714 views

### Do fixed point sets in equivariant crepant resolutions have the same cohomology? How about for the specific case of Nakajima quiver varieties?

A crepant resolution $f:Y\to X$ is a resolution of singularities with $f^*(K_X)=K_Y$. Crepant resolutions do not always exist, and when they exist they may not be unique. However, different crepant ...

**12**

votes

**0**answers

413 views

### The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...

**2**

votes

**3**answers

384 views

### Quiver on tensor product

Let $Q=(Q_{0},Q_{1},h,t)$ be a finite quiver where $Q_{0}$ are the vertices, $Q_{1}$ the arrows and we have two maps $h: Q_{1} \rightarrow Q_{0}$ (head) and $t: Q_{1} \rightarrow Q_{0}$ (tail). Fix a ...

**3**

votes

**1**answer

188 views

### Ring completion of $kQ$

Hello,
Let $Q$ be a finite quiver, let $M$ denote the arrow ideal and let $kQ$ denote the path algebra. Endow $kQ$ with the $M$-adic topology. Now let $\mathcal{A}$ be the set of all formal series ...

**2**

votes

**1**answer

182 views

### Indecomposable extensions of regular simple modules by preprojectives

Given four points in general position on $\mathbb{P}^2$ there exists a projection to $\mathbb{P}^1$ collapsing these four pairwise to two points. Its kernel is some fifth point on $\mathbb{P}^2$.
In ...

**6**

votes

**2**answers

561 views

### Does anyone recognize this quiver-with-relations?

Below I describe an infinite (but locally finite) quiver with relations. My question is whether anyone recognizes it and can provide appropriate pointers to the literature. I'm mainly interested in ...

**1**

vote

**1**answer

454 views

### An algorithm for constructing the AR-quiver of a path algebra corresponding to a change in the orientation.

Considering the path algebra of the quiver $\mathbb{A}_n$, it is well known its Auslander-Reiten quiver with the canonical orientation of $\mathbb{A}_n$, that is, with all the arrows from, say, left ...

**5**

votes

**1**answer

368 views

### Morita equivalence of acyclic categories

(Crossposted from math.SE.)
Call a category acyclic if only the identity morphisms are invertible and the endomorphism monoid of every object is trivial. Let $C, D$ be two finite acyclic categories. ...

**8**

votes

**1**answer

559 views

### Quivers of selfinjective algebras.

Let's say a quiver $Q$ is covered by cycles if each of it’s arrows can be included in an oriented cycle.
It's easy to prove that if a path-algebra with relations $KQ/I$ (where $I$ is an admissible ...

**3**

votes

**1**answer

659 views

### Indecomposable modules over preprojective algebras

Would you please give some references concerning the number of indecomposable modules over preprojective algebras of type $A_n$?
More precisely, I need references about the following claim: The ...

**11**

votes

**1**answer

3k views

### Intersection between category theory and graph theory

I'm a graduate student who has been spending a lot of time working with categories (model categories, derived categories, triangulated categories...) but I used to love graph theory and have always ...

**21**

votes

**3**answers

3k views

### Why did Gabriel invent the term “quiver”?

A quiver in representation theory is what is called in most other areas a directed graph. Does anybody know why Gabriel felt that a new name was needed for this object? I am more interested in why he ...