Semi-invariant of a quiver

Template:No footnotes In mathematics, the ring of semi-invariants is a subring of the coordinate ring of a quiver that containing those functions which are invariant under the action of a certain algebraic group, up to a character of that group. Specifically, given a representation of a quiver with vertices Q₀, there is a natural action of the algebraic group Π_i∈Q0 GL(d(i)) by simultaneous base change. Such an action induces an action on the ring of functions. The functions which are invariant up to a character of the group are called semi-invariants. They form a ring whose structure reflects representation-theoretical properties of the quiver.

Definitions

Let Q = (Q₀,Q₁,s,t) be a quiver. Consider a dimension vector d, that is an element in $\mathbb{N}$^Q₀. The set of d-dimensional representations is given by

$\mathrm{Rep}(Q,𝐝):=\{V\in \mathrm{Rep}(Q):V_i=𝐝(i)\}$

Once fixed bases for each vector space V_i this can be identified with the vector space

$\underset{\alpha \in Q_1}{⨁}{\mathrm{Hom}}_k(k^{𝐝(s(\alpha ))},k^{𝐝(t(\alpha ))})$

Such affine variety is endowed with an action of the algebraic group GL(d) := Π_i∈Q0 GL(d(i)) by simultaneous base change on each vertex:

$\begin{array}{ccc}GL(𝐝)\times \mathrm{Rep}(Q,𝐝)& ⟶& \mathrm{Rep}(Q,𝐝)\\ ((g_i),(V_i,V(\alpha )))& ⟼& (V_i,g_{t(\alpha )}\cdot V(\alpha )\cdot g_{s(\alpha )}^{-1})\end{array}$

By definition two modules M,N ∈ Rep(Q,d) are isomorphic if and only if their GL(d)-orbits coincide.

We have an induced action on the coordinate ring k[Rep(Q,d)] by defining:

$\begin{array}{ccc}GL(𝐝)\times k[\mathrm{Rep}(Q,𝐝)]& ⟶& k[\mathrm{Rep}(Q,𝐝)]\\ (g,f)& ⟼& g\cdot f(-):=f(g^{-1}.-)\end{array}$

Polynomial invariants

An element f ∈ k[Rep(Q,d)] is called an invariant (with respect to GL(d)) if g⋅f = f for any g ∈ GL(d). The set of invariants

$I(Q,𝐝):=k[\mathrm{Rep}(Q,𝐝){]}^{GL(𝐝)}$

is in general a subalgebra of k[Rep(Q,d)].

Example

Consider the 1-loop quiver Q:

For d = (n) the representation space is End(kⁿ) and the action of GL(n) is given by usual conjugation. The invariant ring is

$I(Q,𝐝)=k[c_1,\dots ,c_n]$

where the c_is are defined, for any A ∈ End(kⁿ), as the coefficients of the characteristic polynomial

$det(A-t𝕀)=t^n-c_1(A)t^{n-1}+\cdots +(-1{)}^n{c}_n(A)$

Semi-invariants

In case Q has neither loops nor cycles, the variety k[Rep(Q,d)] has a unique closed orbit corresponding to the unique d-dimensional semi-simple representation, therefore any invariant function is constant.

Elements which are invariants with respect to the subgroup SL(d) := Π_i∈Q0 SL(d(i)) form a ring, SI(Q,d), with a richer structure called ring of semi-invariants. It decomposes as

$SI(Q,𝐝)=\underset{\sigma \in {\mathbb{Z}}^{Q_0}}{⨁}SI(Q,𝐝{)}_{\sigma }$

where

$SI(Q,𝐝{)}_{\sigma }:=\{f\in k[\mathrm{Rep}(Q,𝐝)]:g\cdot f=\prod _{i\in Q_0}det(g_i{)}^{{\sigma }_i}f,\mathrm{\forall }g\in GL(𝐝)\}.$

A function belonging to SI(Q,d)_σ is called semi-invariant of weight σ.

Example

Consider the quiver Q:

$1\stackrel{\alpha }{\to }2$

Fix d = (n,n). In this case k[Rep(Q,(n,n))] is congruent to the set of n-by-n matrices: M(n). The function defined, for any B ∈ M(n), as det^u(B(α)) is a semi-invariant of weight (u,−u) in fact

$(g_1,g_2)\cdot {det}^u(B)={det}^u(g_2^{-1}B{g}_1)={det}^u(g_1){det}^{-u}(g_2){det}^u(B)$

The ring of semi-invariants equals the polynomial ring generated by det, i.e.

$𝖲𝖨(Q,𝐝)=k[det]$

Characterization of representation type through semi-invariant theory

For quivers of finite representation-type, that is to say Dynkin quivers, the vector space k[Rep(Q,d)] admits an open dense orbit. In other words, it is a prehomogenous vector space. Sato and Kimura described the ring of semi-invariants in such case.

Sato–Kimura theorem

Let Q be a Dynkin quiver, d a dimension vector. Let Σ be the set of weights σ such that there exists f_σ ∈ SI(Q,d)_σ non-zero and irreducible. Then the following properties hold:

1. For every weight σ we have dim_k SI(Q,d)_σ ≤ 1.
2. All weights in Σ are linearly independent over $\mathbb{Q}$.
3. SI(Q,d) is the polynomial ring generated by the f_σ's, σ ∈ Σ.

Furthermore, we have an interpretation for the generators of this polynomial algebra. Let O be the open orbit, then k[Rep(Q,d)] \ O = Z₁ ∪ ... ∪ Z_t where each Z_i is closed and irreducible. We can assume that the Z_is are arranged in increasing order with respect to the codimension so that the first l have codimension one and Z_i is the zero-set of the irreducible polynomial f₁, then SI(Q,d) = k[f₁, ..., f_l].

Example

In the example above the action of GL(n,n) has an open orbit on M(n) consisting of invertible matrices. Then we immediately recover SI(Q,(n,n)) = k[det].

Skowronski–Weyman provided a geometric characterization of the class of tame quivers (i.e. Dynkin and Euclidean quivers) in terms of semi-invariants.

Skowronski–Weyman theorem

Let Q be a finite connected quiver. The following are equivalent:

1. Q is either a Dynkin quiver or a Euclidean quiver.
2. For each dimension vector d, the algebra SI(Q,d) is complete intersection.
3. For each dimension vector d, the algebra SI(Q,d) is either a polynomial algebra or a hypersurface.

Example

Consider the Euclidean quiver Q:

Pick the dimension vector d = (1,1,1,1,2). An element V ∈ k[Rep(Q,d)] can be identified with a quadruple (A₁, A₂, A₃, A₄) of matrices in M(1,2). Call D_i,j the function defined on each V as det(A_i,A_j). Such functions generate the ring of semi-invariants:

$SI(Q,𝐝)=\frac{k[D_{1,2},D_{3,4},D_{1,4},D_{2,3},D_{1,3},D_{2,4}]}{D_{1,2}{D}_{3,4}+D_{1,4}{D}_{2,3}-D_{1,3}{D}_{2,4}}$

See also

• Wild problem

References

• Template:Citation
• Template:Citation
• Template:Citation