On the invariant theory for tame tilted algebras.

bound quivers connected path algebras exceptional sequences moduli spaces rational invariants tame algebras tilted algebras tilting modules wild algebras

Mathematics Subject Classification ID

Geometric invariant theory (14L24) Representations of associative Artinian rings (16G10) Representations of quivers and partially ordered sets (16G20) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Trace rings and invariant theory (associative rings and algebras) (16R30)

Abstract: We show that a tilted algebra

A

is tame if and only if for each generic root

d d

of

A

and each indecomposable irreducible component

C

of

m o d u l e (A, d d)

, the field of rational invariants

k (C)^{G L (d d)}

is isomorphic to

k

or

k (x)

. Next, we show that the tame tilted algebras are precisely those tilted algebras

A

with the property that for each generic root

d d

of

A

and each indecomposable irreducible component

C s u b s e t e q m o d u l e (A, d d)

, the moduli space

M (C)_{h e t a}^{s s}

is either a point or just

m a t h b b P^{1}

whenever

h e t a

is an integral weight for which

C_{h e t a}^{s} e q e m p t y s e t

. We furthermore show that the tameness of a tilted algebra is equivalent to the moduli space

M (C)_{h e t a}^{s s}

being smooth for each generic root

d d

of

A

, each indecomposable irreducible component

C s u b s e t e q m o d u l e (A, d d)

, and each integral weight

h e t a

for which

C_{h e t a}^{s} e q e m p t y s e t

. As a consequence of this latter description, we show that the smoothness of the various moduli spaces of modules for a strongly simply connected algebra

A

implies the tameness of

A

. Along the way, we explain how moduli spaces of modules for finite-dimensional algebras behave with respect to tilting functors, and to theta-stable decompositions.

Review text

A finite dimensional associative \(k\)-algebra \(A\) (the base field \(k\) is assumed to be algebraically closed and have characteristic zero in the paper) is \textit{tilted} if it is the endomorphism algebra of a multiplicity-free tilting module over a connected path algebra of an acyclic quiver. The present paper characterizes tameness of a tilted algebra in terms of the invariant theory related to \(\text{mod}(A,d)\), the affine varieties of \(d\)-dimensional \(A\)-modules for various dimension vectors \(d\). In particular, the following are equivalent for a tilted algebra \(A\): (1) \(A\) is tame; (2) for each generic root \(d\) and each irreducible indecomposable component \(C\) of \(\text{mod}(A,d)\), the field \(k(C)^{\text{GL}(d)}\) of rational invariants on \(C\) is isomorphic to \(k\) or \(k(x)\) (the field of fractions of the univariate polynomial ring); (3) for each generic root \(d\) and each irreducible indecomposable component \(C\) of \(\text{mod}(A,d)\), the moduli space \(M(C)_\theta^{ss}\) of \(\theta\)-semistable \(A\)-modules is either a point or the projective line, where \(\theta\) is an integral weight for which \(C\) contains a \(\theta\)-stable point; (4) \(M(C)_\theta^{ss}\) is smooth for all \(d\), \(C\) and \(\theta\) as in (3). -- Along the way some useful technical reductions are proved about the behaviour of these moduli spaces with respect to tilting functors and the \(\theta\)-stable decomposition.

Recommendations

Cited in

(13)

This page was built for publication: On the invariant theory for tame tilted algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1951002)