Symmetrizable Cartan Matrices

• Symmetrizable Cartan matrices are integer matrices that become symmetric after a diagonal similarity transformation, serving as a key tool in Lie theory and representation theory.
• They classify algebraic structures into finite, affine, and indefinite types based on the signature of the symmetrized bilinear form, guiding the study of Kac–Moody algebras and cluster algebras.
• Their applications in quiver representations and preprojective algebras facilitate algorithmic validations, quantum deformations, and geometric categorifications in modern algebra.

A symmetrizable Cartan matrix is a fundamental structure in Lie theory, representation theory, and modern algebraic combinatorics. Such a matrix generalizes the notion of a Cartan matrix by admitting non-symmetric types, provided a diagonal similarity transformation renders it symmetric. Symmetrizable Cartan matrices and their associated algebraic and categorical data are central in the study of Kac–Moody algebras, quiver representations, cluster algebras, and categorifications, with deep connections to geometry and combinatorics.

1. Definition and Structural Criteria

Let $C = (c_{ij})_{i, j \in I}$ be an integer $n \times n$ matrix indexed by a finite set $I$. $C$ is a symmetrizable generalized Cartan matrix (GCM) if the following hold:

• $c_{ii} = 2$ for all $i$, $c_{ij} \leq 0$ for $i \neq j$,
• $c_{ij} = 0$ if and only if $c_{ji} = 0$,
• there exists a diagonal matrix $n \times n$0 with $n \times n$1 for all $n \times n$2 such that $n \times n$3 is symmetric, i.e., $n \times n$4 for all $n \times n$5.

Such a $n \times n$6 is called a symmetrizer of $n \times n$7; if $n \times n$8 is minimal, $n \times n$9 is a minimal symmetrizer. Any path algebra, cluster algebra, or Kac–Moody algebra attached to a symmetrizable Cartan matrix retains a record of the symmetrizer, which dictates root multiplicities and bilinear form normalization.

A practical criterion for symmetrizability involves Dynkin diagrams: a GCM $I$0 (or equivalently, its diagram $I$1) is symmetrizable if and only if every cycle in the diagram is balanced, i.e., for each oriented cycle $I$2,

$I$3

with subscripts modulo $I$4 (Carbone et al., 2010).

2. Finite, Affine, and Indefinite Types

The signature of the symmetric bilinear form $I$5 classifies symmetrizable Cartan matrices as follows (Köhl et al., 2023):

• Finite type: $I$6 is positive definite; $I$7 is associated to a finite-dimensional semisimple Lie algebra.
• Affine type: $I$8 is positive semidefinite of corank $I$9 (i.e., $C$0 and all principal minors positive); $C$1 corresponds to affine Kac–Moody algebras.
• Indefinite (general) type: $C$2 has signature $C$3, $C$4; these correspond to general infinite-type Kac–Moody algebras.

Hyperbolic symmetrizable GCMs (used in Lorentzian and string-theoretic contexts) are indefinite but every proper connected subdiagram is finite or affine. Among hyperbolic diagrams of rank $C$5, exactly $C$6 (of $C$7) are symmetrizable, with rank-$C$8 maximum (Carbone et al., 2010). The number of distinct real root lengths in such systems is at most $C$9, directly controlled by the symmetrizer $c_{ii} = 2$0.

3. Quivers, Relations, and Iwanaga–Gorenstein Algebras

Given $c_{ii} = 2$1 where $c_{ii} = 2$2 is a symmetrizable Cartan matrix, $c_{ii} = 2$3 a symmetrizer, and $c_{ii} = 2$4 an acyclic orientation of the underlying valued graph, one defines a bound quiver algebra $c_{ii} = 2$5 as follows (Geiss et al., 2014):

• Vertices: $c_{ii} = 2$6.
• For $c_{ii} = 2$7, $c_{ii} = 2$8 parallel arrows from $c_{ii} = 2$9 to $i$0; one loop $i$1 at each vertex.
• Relations: $i$2 ("nilpotency"), and for each arrow $i$3 ($i$4).

$i$5 is 1–Iwanaga–Gorenstein; the category of locally free modules (free over the local algebra $i$6 at each vertex) is abelian, and supports Auslander–Reiten theory, reflection functors, and is amenable to Gabriel-theoretic classification. For Dynkin type, these modules correspond bijectively to the positive roots of $i$7, generalizing Gabriel's theorem to non-symmetric types.

The generalized preprojective algebra $i$8 extends $i$9 by adding formal opposites to each arrow, imposing mesh relations, and encodes the entire root system combinatorics, with the key property: $c_{ij} \leq 0$0 This structure is vital for geometric representation theory and for the construction of semicanonical bases (Geiss et al., 2014, Geiß, 2018).

4. Convolution Algebras and Semicanonical Bases

In the approach of Geiß–Leclerc–Schröer, the enveloping algebra $c_{ij} \leq 0$1 (for the positive part of the Kac–Moody algebra associated to $c_{ij} \leq 0$2) is realized as a convolution algebra of constructible functions on varieties of locally free $c_{ij} \leq 0$3-modules (Geiss et al., 2015). The key results are:

• The delta-functions $c_{ij} \leq 0$4, supported on the simple projective of rank $c_{ij} \leq 0$5, satisfy the Serre relations for $c_{ij} \leq 0$6.
• The PBW basis corresponds to isomorphism classes of indecomposable rigid locally free modules, aligning with the positive roots.
• Semicanonical functions $c_{ij} \leq 0$7 are attached to irreducible components $c_{ij} \leq 0$8 (maximal dimension) of module varieties, providing conjectural semicanonical bases for the enveloping algebra in the symmetrizable setting (Geiß et al., 2017, Geiß, 2018).

This construction is central to geometric categorifications and crystal theory: the crystal graph $c_{ij} \leq 0$9 is constructed via the varieties of crystal modules over $i \neq j$0, carrying Kashiwara–Saito operators and encoding the combinatorics of canonical and dual canonical bases (Kleinau, 2023).

5. Cluster Algebras and Quasi-Cartan Companions

In cluster algebra theory, symmetrizable Cartan matrices appear via skew-symmetrizable exchange matrices $i \neq j$1, for which there exists a positive diagonal $i \neq j$2 such that $i \neq j$3 is skew-symmetric (Seven, 2017). The process involves:

• Seeds $i \neq j$4 and mutations governed by explicit combinatorics.
• To each $i \neq j$5, a quasi-Cartan companion $i \neq j$6 is associated, satisfying $i \neq j$7 and $i \neq j$8 symmetric.
• The entries of $i \neq j$9 respect explicit sign and root system rules determined by so-called $c_{ij} = 0$0-vectors and the admissible cut property: in oriented cycles, exactly one positive $c_{ij} = 0$1 may occur, encoding the combinatorial structure of cluster algebras of finite or affine type.

Classification of cluster algebras of finite type, determination of cluster variables, and the explicit construction of CC-formula bases in affine cases all rely heavily on the root system and rigid module correspondences induced by $c_{ij} = 0$2 (Geiß et al., 2017, Mou et al., 2024).

6. Algorithmic and Structural Properties

Deciding whether an integer matrix $c_{ij} = 0$3 is symmetrizable is algorithmically tractable:

• One verifies sign-symmetry ($c_{ij} = 0$4 or $c_{ij} = 0$5) and the balance condition on cycles (Dias et al., 2015, Carbone et al., 2010).
• The symmetrizer $c_{ij} = 0$6 is computed recursively by propagating $c_{ij} = 0$7 along a spanning tree and checking cycle-balances.
• For positive quasi-Cartan matrices (all leading principal minors positive), Sylvester's criterion applies.
• The existence of a positive quasi-Cartan companion is in NP (Dias et al., 2015).

7. Deformations, Categorifications, and Quantum Aspects

Multi-parameter deformations of symmetrizable Cartan matrices, such as $c_{ij} = 0$8, have been developed to admit braid group actions, quantum and mass-deformed structures, and deep categorical interpretations:

• The deformed Cartan matrix $c_{ij} = 0$9 is symmetrizable with explicit graded dimensions realized as the Euler characteristics in categories of graded modules over generalized preprojective algebras (Fujita et al., 2023).
• In symmetric or finite/affine cases, such deformations relate closely to physical models (fractional quivers, $c_{ji} = 0$0-algebras), categorification, and to the study of quantum symmetric spaces.

These deformations and their categorical interpretations establish a bridge between representation-theoretic, geometric, and quantum algebraic frameworks.

---

Principal Literature Cited:

• (Geiss et al., 2014) "Quivers with relations for symmetrizable Cartan matrices I: Foundations"
• (Geiss et al., 2015) "Quivers with relations for symmetrizable Cartan matrices II: Convolution algebras"
• (Geiß et al., 2017) "Quivers with relations for symmetrizable Cartan matrices IV: Crystal graphs and semicanonical functions"
• (Geiß, 2018) "Quivers with relations for symmetrizable Cartan matrices and algebraic Lie theory"
• (Kleinau, 2023) "The Aizenbud-Lapid binary operation for symmetrizable Cartan types"
• (Seven, 2017) "Cluster algebras and symmetrizable matrices"
• (Geiß et al., 2017) "Quivers with relations for symmetrizable Cartan matrices V. Caldero–Chapoton formula"
• (Mou et al., 2024) "Generic bases of skew-symmetrizable affine type cluster algebras"
• (Fujita et al., 2023) "Deformed Cartan matrices and generalized preprojective algebras II: General type"
• (Carbone et al., 2010) "Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits"
• (Dias et al., 2015) "Algorithms and Properties for Positive Symmetrizable Matrices"
• (Köhl et al., 2023) "Kac-Moody Symmetric Spaces: arbitary symmetrizable complex or almost split real type"