Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
0 answers
144 views

Ringel's interpretation of quantum groups as Hall algebras at $q=1$

Let $Q$ be a finite-type quiver and let $\mathfrak{g}$ be the semisimple Lie algebra associated with the corresponding simply-laced Dynkin diagram. Let $U_v^+(\mathfrak{g})$ be the positive part of ...
Antoine Labelle's user avatar
6 votes
1 answer
139 views

Quiver variety, generically symplectic

Theorem 11.3.1 (iv) of "Noncommutative Geometry and Quiver algebras" by Crawley-Boevey, Etingof and Ginzburg claims that, for a dimension vector $\mathbf{d}\in\Sigma_0$, the quiver variety $...
Qwert Otto's user avatar
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 ...
It'sMe's user avatar
  • 839
3 votes
0 answers
107 views

Auslander-Reiten sequences where irreducible morphisms are all epi/mono

Let's work in the setting of modules over an Artin algebra $A$, or a finite-dimensional $k$-algebra $A$, or if you like, modules over a connected quiver $Q$ without oriented cycles. Let $M$ be such a ...
Marty's user avatar
  • 13.3k
4 votes
0 answers
184 views

Proof of McKay correspondence without classifications

$\DeclareMathOperator\SU{SU}$I am wondering if there is any known proof of the McKay correspondence (I will give the precise statement that I mean by this) that doesn't use the classification of ...
Max Steinberg's user avatar
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 ...
user236626's user avatar
6 votes
0 answers
103 views

Modern proof of a theorem of Dickson on finite representation type

In Theorem 3.1 the paper S. Dickson, On algebras of finite representation type Trans. Amer. Math. Soc. 135 (1969), 127-141, Dickson gives a sufficient condition for an algebra to have infinite ...
Benjamin Steinberg's user avatar
2 votes
1 answer
298 views

Tame/wild classification of *cyclic* quivers?

There is a famous classification of the path algebras of finite acyclic quivers into finite, tame, and wild representation types. For quivers with cycles, it is standard that the 2-loop quiver (with ...
Joshua Grochow's user avatar
2 votes
0 answers
86 views

Example of a triangular string algebra that is rep infinite, but $\tau$-tilting finite

Let $A$ be a finite dimensional algebra over an algebraically closed field $\mathbb{K}$. Hence, $A$ can be realized as the path algebra of a bound quiver $(Q,I)$, where $I\subseteq\mathbb{K}Q$ is an ...
It'sMe's user avatar
  • 839
2 votes
1 answer
165 views

Rep infinite, but $\tau$-tilting finite

Let $A$ be a finite dimensional algebra over an algebraically closed field. I'm trying to better understand the difference between $A$ being representation infinite and $A$ being $\tau$-tilting ...
It'sMe's user avatar
  • 839
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$...
wlad's user avatar
  • 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 ...
It'sMe's user avatar
  • 839
2 votes
0 answers
57 views

Number of admissible quotient algebras

Let $Q$ be a finite connected quiver. An admissible quotient algebra is an algebra of the form $KQ/I$ with an admissible ideal $I$. Question 1: Is there a nice closed formula for the number of ...
Mare's user avatar
  • 26.5k
8 votes
3 answers
431 views

Smallest faithful representation of an upper-triangular matrix quotient

This is a curiosity question that came out of teaching abstract algebra. Let $F$ be a field, and $n>1$ an integer. Let $F^{n \leq n}$ be the $F$-algebra of all upper-triangular $n\times n$-matrices ...
darij grinberg's user avatar
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 ...
It'sMe's user avatar
  • 839
2 votes
1 answer
186 views

Orbits in the open set given by Rosenlicht's result

Let $G$ be a linearly reductive algebraic group, and let $X$ be an irreducible affine variety, over an algebraically closed field $\mathbb{K}$, with a regular action of $G$. By Rosenlicht's result, we ...
It'sMe's user avatar
  • 839
2 votes
0 answers
62 views

Quiver and relations for Hopf algebras associated to quiver algebras

Let $A=KQ/I$ be a finite dimensional quiver algebra with admissible relations $I$. $A$ can be made into a restricted Lie algebra over a field of characteristic $p$ via $[x,y]=xy-yx$ and $x^{p}=x^p$. ...
Mare's user avatar
  • 26.5k
3 votes
1 answer
102 views

References on coefficient quivers

I would like to study about coefficient quivers, but I cannot find a good reference, as book for example. I could find many papers working with coefficient quivers, but none of them give a book or a &...
IMP's user avatar
  • 35
3 votes
0 answers
111 views

Example of an irreducible component with an open set of infinitely many codimension 2 (codimension 3) orbits

Let $\mathbb{K}$ be an algebraically closed field of characteristics $0$. Let $A$ be a finite dimensional (associative and unital) algebra over $\mathbb{K}$. Assume there is a quiver $Q=(Q_0,Q_1)$, ...
It'sMe's user avatar
  • 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 ...
It'sMe's user avatar
  • 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\...
It'sMe's user avatar
  • 839
2 votes
0 answers
91 views

Quiver and relations for group algebras of p-groups

Let $G$ be a finite $p$-group and $K$ a field of characteristic $p$. $KG$ is isomorphic to a quiver algebra $KQ/I$ with admissible ideal $I$. Question 1: Does there always exist such an $I$ where the ...
Mare's user avatar
  • 26.5k
2 votes
0 answers
268 views

Understanding a proof of a result of Schofield

I'm reading a paper of Aidan Schofield- "General Representations of Quivers" and I'm trying to understand the proof of Theorem 3.3. I'm having trouble understanding the argument that's ...
It'sMe's user avatar
  • 839
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 ...
It'sMe's user avatar
  • 839
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-\...
It'sMe's user avatar
  • 839
5 votes
3 answers
812 views

Quiver with two objects and two arrows composing to zero

In the description of the integral Adams spectral sequence, representations of the following quiver (with relations) arise naturally: We have two objects $A, B$, we have two arrows $\pi: A \...
Piotr Pstrągowski's user avatar
6 votes
1 answer
312 views

Prove that $\overline{a}_{11}$ is a prime element in $R$

Consider the affine space given by four $2\times 2$ matrices, i.e., $\mathbb{A}^{16}\cong M(\mathbb{C})_{2\times 2}^4$. Now, consider the algebraic set $V$ given by the vanishing of the relation $AB-...
It'sMe's user avatar
  • 839
4 votes
1 answer
108 views

How much is known about the non-degeneracy of Quiver-with-potential associated to closed punctured surfaces?

The potential of the quiver associated to surfaces is the canonical one given by Labardini-Fragoso's 2009 paper, who proved that the the QP associated to surfaces whose boundary is nonempty is rigid ...
Richard Chen's user avatar
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 ...
Subham Jaiswal's user avatar
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 ...
It'sMe's user avatar
  • 839
2 votes
2 answers
140 views

Finding exceptional regular representations of $\tilde{D}_4$ efficiently

Let $A$ be the path algebra of the quiver $\tilde{D}_4$. I would like to find its exceptional regular representations with as little computation as possible. Of course, we can compute the whole ...
Sergey Guminov's user avatar
3 votes
1 answer
162 views

Auslander-Reiten quiver of quiver algebra kQ where Q is of extended dynkin type D4~

I am looking for literature about the Auslander-Reiten quiver of the quiver algebra $kQ$, where $Q$ is of extended dynkin type $\tilde{D_4}$ and $k$ is an algebraically closed field. Does somebody ...
kevkev1695's user avatar
2 votes
0 answers
120 views

Potential on a quiver

I found two definitions of potential on a quiver. Selfinjective quivers with potential and 2-representation-finite algebras, Martin Herschend and Osamu Iyama 2.1 Quivers with potential. Let $Q$ be a ...
Ryze's user avatar
  • 603
14 votes
2 answers
1k views

Invariants of matrices (by simultaneous $\mathrm{GL}_n$ conjugation) over arbitrary rings

$\DeclareMathOperator\GL{GL}$Let $R$ be a commutative ring, let $R[n] := R[M_d^{\oplus n}]$ be the polynomial ring on $nd^2$ variables corresponding to the coordinates of $n$-many $d\times d$ matrices....
stupid_question_bot's user avatar
4 votes
2 answers
869 views

Research topics in representation theory of algebras [closed]

I was wondering what are some of the hot topics in quiver representation or representation theory of algebras that can lead to good mathematics and is important to many mathematicians and top ...
5 votes
0 answers
351 views

What representation theoretic properties does the semi-invariant ring tell us?

I'm asking this question as a continuation of discussion and answer given by Hugh Thomas at the following post: Why do people study semi-invariant ring (in general)? I have been studying about semi-...
It'sMe's user avatar
  • 839
3 votes
0 answers
181 views

A conceptual explanation for the Kirchoff matrix theorem in terms of the quiver algebra

On the wikipedia page for the Kirchoff matrix theorem, they state a souped up version of the theorem: Let $G$ be a finite undirected loopless graph and let us form the square matrix $L$ indexed by the ...
Asvin's user avatar
  • 7,746
5 votes
0 answers
241 views

Finite-dimensional irreducible representations of 2-loop quiver

What are the finite-dimensional irreducible representations of the quiver with one vertex and two loops?
Ralle's user avatar
  • 491
2 votes
0 answers
135 views

How to compute the derived functor of bounded derived categories of hereditary algebra?

Let $\Lambda$ be a finite dimensional algebra given by the quiver $$\cdot\leftarrow\cdot\leftarrow\cdot\rightarrow\cdot.$$ It can be view as an triangulated matrix algebra. $$\Lambda={A\ \ M\choose0\ ...
hgc's user avatar
  • 99
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 ...
Qui's user avatar
  • 21
13 votes
2 answers
424 views

Quiver representations of type $D_n$ mutation class

I was wondering if there is a classification of the indecomposable quiver representations of (not necessarily acyclic) quivers that are mutation equivalent to the $D_n$ Dynkin diagram. Such quivers ...
Kayla Wright's user avatar
4 votes
0 answers
96 views

Field elements in quiver and relations

Let $A=KQ/I$ be a quiver algebra such that the coefficients of the relations in the admissible ideal $I$ consist only of the field elements $0,1$ and $-1$. Question 1: Is it true for every basic ...
Mare's user avatar
  • 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}$ . ...
Mare's user avatar
  • 26.5k
3 votes
0 answers
138 views

Meaning of an algebra having "sufficiently many primitive idempotents"?

This is a phrase Ringel uses a few times in his writing, and I'm not sure exactly what he means by it. The context is that we have a quiver $Q$ with path algebra $\mathbf{k}Q$. If $Q$ is not a finite ...
Mike Pierce's user avatar
  • 1,161
7 votes
3 answers
911 views

What's an illustrative example of a tame algebra?

A finite-dimensional associative $\mathbf{k}$-algebra $\mathbf{k}Q/I$ is of tame representation type if for each dimension vector $d\geq 0$, with the exception of maybe finitely many dimension vectors ...
Mike Pierce's user avatar
  • 1,161
3 votes
1 answer
313 views

indecomposable modules of gentle algebras

Let $A = \mathcal{k}Q/I$ be a gentle algebra (where $\mathcal{k}$ is algebraically closed). In the paper Auslander-Reiten Sequences with Few Middle Terms and Application to String Algebras, Butler and ...
Hui Yu's user avatar
  • 31
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 \...
hennlu's user avatar
  • 333
6 votes
1 answer
210 views

Closures of orbits in the space of representations of a quiver

Let $Q$ be a quiver, and let $d=(d_i)$ be a dimension vector. We can consider Rep($Q,d$), the affine space consisting of representations of $Q$ with dimension vector $d$. The general linear $GL(d)= \...
Hugh Thomas's user avatar
  • 6,282
3 votes
1 answer
159 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$-...
Tashi Walde's user avatar
3 votes
1 answer
276 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, ...
Mike Pierce's user avatar
  • 1,161