---
title: Symmetrizable Cartan Matrices
url: https://www.emergentmind.com/topics/symmetrizable-cartan-matrices
type: topic
---

# Symmetrizable Cartan Matrices

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 $D = \operatorname{diag}(d_1, \dots, d_n)$ with $d_i > 0$ for all $i$ such that $D C$ is symmetric, i.e., $d_i c_{ij} = d_j c_{ji}$ for all $i,j$.

Such a $D$ is called a **symmetrizer** of $C$; if $\sum_i d_i$ is minimal, $D$ 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 $C$ (or equivalently, its diagram $\mathcal{D}(C)$) is symmetrizable if and only if every cycle in the diagram is balanced, i.e., for each oriented cycle $(i_1, \dots, i_k)$,
\[
\textstyle \prod_{r=1}^k \frac{c_{i_{r+1},i_r}}{c_{i_r,i_{r+1}}} = 1
\]
with subscripts modulo $k$ [1003.0564].

## 2. Finite, Affine, and Indefinite Types

The signature of the symmetric bilinear form $B = D C$ classifies symmetrizable Cartan matrices as follows [2309.02176]:
- **Finite type**: $B$ is positive definite; $C$ is associated to a finite-dimensional semisimple Lie algebra.
- **Affine type**: $B$ is positive semidefinite of corank $1$ (i.e., $\det C = 0$ and all principal minors positive); $C$ corresponds to affine Kac–Moody algebras.
- **Indefinite (general) type**: $B$ has signature $(p, q)$, $q > 1$; 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 $3-10$, exactly $142$ (of $238$) are symmetrizable, with rank-$10$ maximum [1003.0564]. The number of distinct real root lengths in such systems is at most $4$, directly controlled by the symmetrizer $D$.

## 3. Quivers, Relations, and Iwanaga–Gorenstein Algebras

Given $(C, D, \Omega)$ where $C$ is a symmetrizable Cartan matrix, $D$ a symmetrizer, and $\Omega$ an acyclic orientation of the underlying valued graph, one defines a **bound quiver algebra** $H(C, D, \Omega)$ as follows [1410.1403]:
- Vertices: $Q_0 = I$.
- For $c_{ij} < 0$, $g_{ij} = \gcd(|c_{ij}|, |c_{ji}|)$ parallel arrows from $j$ to $i$; one loop $\varepsilon_i$ at each vertex.
- Relations: $\varepsilon_i^{d_i} = 0$ ("nilpotency"), and for each arrow $\varepsilon_i^{f_{ji}} \alpha_{ij}^{(k)} = \alpha_{ij}^{(k)} \varepsilon_j^{f_{ij}}$ ($f_{ij} = |c_{ij}| / g_{ij}$).

$H(C, D, \Omega)$ is 1–Iwanaga–Gorenstein; the category of locally free modules (free over the local algebra $K[\varepsilon_i]/(\varepsilon_i^{d_i})$ 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 $C$, generalizing Gabriel's theorem to non-symmetric types.

The generalized preprojective algebra $\Pi(C, D, \Omega)$ extends $H$ by adding formal opposites to each arrow, imposing mesh relations, and encodes the entire root system combinatorics, with the key property:
\[
\Pi(C, D, \Omega) \cong T_H\left( \operatorname{Ext}^1_H(D(H), H) \right)
\]
This structure is vital for geometric representation theory and for the construction of semicanonical bases [1410.1403, 1803.11398].

## 4. Convolution Algebras and Semicanonical Bases

In the approach of Geiß–Leclerc–Schröer, the enveloping algebra $U(\mathfrak n^+)$ (for the positive part of the Kac–Moody algebra associated to $C$) is realized as a convolution algebra of constructible functions on varieties of locally free $H$-modules [1502.01565]. The key results are:
- The delta-functions $1_{E_i}$, supported on the simple projective of rank $\mathbf{e}_i$, satisfy the Serre relations for $U(\mathfrak n^+)$.
- The PBW basis corresponds to isomorphism classes of indecomposable rigid locally free modules, aligning with the positive roots.
- Semicanonical functions $f_Z$ are attached to irreducible components $Z$ (maximal dimension) of module varieties, providing conjectural semicanonical bases for the enveloping algebra in the symmetrizable setting [1702.07570, 1803.11398].

This construction is central to geometric categorifications and crystal theory: the crystal graph $B(-\infty)$ is constructed via the varieties of crystal modules over $\Pi(C, D, \Omega)$, carrying Kashiwara–Saito operators and encoding the combinatorics of canonical and dual canonical bases [2311.17036].

## 5. Cluster Algebras and Quasi-Cartan Companions

In cluster algebra theory, symmetrizable Cartan matrices appear via **skew-symmetrizable exchange matrices** $B$, for which there exists a positive diagonal $D$ such that $DB$ is skew-symmetric [1701.02518]. The process involves:
- Seeds $(\mathbf{c}, B)$ and mutations governed by explicit combinatorics.
- To each $B$, a **quasi-Cartan companion** $A$ is associated, satisfying $|a_{ij}| = |b_{ij}|$ and $D A$ symmetric.
- The entries of $A$ respect explicit sign and root system rules determined by so-called $c$-vectors and the admissible cut property: in oriented cycles, exactly one positive $a_{ij}$ 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 $H(C, D, \Omega)$ [1704.06438, 2409.03954].

## 6. Algorithmic and Structural Properties

Deciding whether an integer matrix $A$ is symmetrizable is algorithmically tractable:
- One verifies sign-symmetry ($a_{ij}=a_{ji}=0$ or $a_{ij}a_{ji} > 0$) and the balance condition on cycles [1503.03468, 1003.0564].
- The symmetrizer $D$ is computed recursively by propagating $d_i a_{ij} = d_j a_{ji}$ 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 [1503.03468].

## 7. Deformations, Categorifications, and Quantum Aspects

Multi-parameter deformations of symmetrizable Cartan matrices, such as $C(q,t,\mu)$, have been developed to admit braid group actions, quantum and mass-deformed structures, and deep categorical interpretations:
- The deformed Cartan matrix $C(q, t, \mu)$ is symmetrizable with explicit graded dimensions realized as the Euler characteristics in categories of graded modules over generalized preprojective algebras [2302.14315].
- In symmetric or finite/affine cases, such deformations relate closely to physical models (fractional quivers, $\mathcal{W}$-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:**
- [1410.1403] "Quivers with relations for symmetrizable Cartan matrices I: Foundations"
- [1502.01565] "Quivers with relations for symmetrizable Cartan matrices II: Convolution algebras"
- [1702.07570] "Quivers with relations for symmetrizable Cartan matrices IV: Crystal graphs and semicanonical functions"
- [1803.11398] "Quivers with relations for symmetrizable Cartan matrices and algebraic Lie theory"
- [2311.17036] "The Aizenbud-Lapid binary operation for symmetrizable Cartan types"
- [1701.02518] "Cluster algebras and symmetrizable matrices"
- [1704.06438] "Quivers with relations for symmetrizable Cartan matrices V. Caldero–Chapoton formula"
- [2409.03954] "Generic bases of skew-symmetrizable affine type cluster algebras"
- [2302.14315] "Deformed Cartan matrices and generalized preprojective algebras II: General type"
- [1003.0564] "Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits"
- [1503.03468] "Algorithms and Properties for Positive Symmetrizable Matrices"
- [2309.02176] "Kac-Moody Symmetric Spaces: arbitary symmetrizable complex or almost split real type"

Source: https://www.emergentmind.com/topics/symmetrizable-cartan-matrices