Fact-checked by Grok 2 weeks ago

Cartan matrix

In the mathematical theory of Lie algebras, a Cartan matrix is a square integer matrix associated with a semisimple Lie algebra over the complex numbers, defined in terms of its root system and simple roots; specifically, for a root system with simple roots \{\alpha_1, \dots, \alpha_r\}, the entries are given by a_{ij} = 2 \frac{(\alpha_i, \alpha_j)}{(\alpha_j, \alpha_j)}, where (\cdot, \cdot) denotes the invariant bilinear form (such as the Killing form).^[1] This matrix captures essential structural information, with diagonal entries a_{ii} = 2, off-diagonal entries a_{ij} \leq 0 for i \neq j, and the property that a_{ij} = 0 if and only if a_{ji} = 0; moreover, it is symmetrizable, meaning there exists a diagonal matrix D such that DAD^{-1} is symmetric.^[2]^[1] The Cartan matrix was instrumental in the classification of finite-dimensional semisimple Lie algebras, a milestone achieved by Élie Cartan in his 1894 doctoral thesis, where he rigorously completed the work begun by Wilhelm Killing by identifying all simple Lie algebras over \mathbb{C} using invariant forms and root structures akin to the modern matrix formulation.^[3] Later refinements by Eugene Dynkin in the mid-20th century formalized the matrix in terms of simple roots and linked it to Dynkin diagrams, graphical representations where vertices correspond to simple roots and edges (single, double, or triple) reflect the off-diagonal entries (e.g., a single edge for a_{ij} = a_{ji} = -1).^[3]^[1] This classification theorem reveals that irreducible (indecomposable) Cartan matrices correspond to four infinite families—A_n (special linear), B_n and C_n (orthogonal and symplectic), D_n (orthogonal)—and five exceptional cases: G_2, F_4, E_6, E_7, E_8, each uniquely determining the Lie algebra up to isomorphism via the Chevalley-Serre presentation using generators e_i, f_i, h_i and relations derived from the matrix.^[1]^[2] Beyond classification, Cartan matrices extend to broader contexts, including generalized versions for affine and Kac-Moody algebras, where they define infinite-dimensional structures with properties like positive semi-definiteness of principal minors; they also appear in representation theory, algebraic groups, and physics applications such as string theory and M-theory, where they encode symmetry breaking patterns.^[2] For semisimple Lie algebras, the block-diagonal form of the Cartan matrix consists of irreducible blocks, each ensuring the corresponding factor is simple and underscoring the matrix's role as a complete invariant for these structures.^[1]

Definition and Properties

Definition

The Cartan matrix is named after the French mathematician Élie Cartan, who introduced it in his 1894 doctoral thesis on the classification of semisimple Lie algebras.^[3] In the context of a root system \Phi in a Euclidean space with a choice of simple roots \{\alpha_1, \dots, \alpha_n\}, the Cartan matrix A = (a_{ij}) is the n \times n integer matrix defined by a_{ii} = 2 for all i and, for i \neq j,

a_{ij} = 2 \frac{(\alpha_i, \alpha_j)}{(\alpha_j, \alpha_j)},

where (\cdot, \cdot) denotes the invariant bilinear form on the space; this ensures a_{ij} \leq 0 for i \neq j.^[4]^[5] For example, the Lie algebra \mathfrak{sl}(3, \mathbb{C}) has rank 2 and simple roots whose inner products yield the Cartan matrix

\begin{pmatrix} 2 & -1 \\ -1 & 2 \end{pmatrix}.

^[5] Generalized Cartan matrices extend this construction beyond finite semisimple cases; they are n \times n integer matrices A = (a_{ij}) satisfying a_{ii} = 2, a_{ij} \leq 0 and a_{ij} \in \mathbb{Z} for i \neq j, a_{ij} = 0 if and only if a_{ji} = 0, with the additional property of symmetrizability: there exists a diagonal matrix D with positive rational entries such that DA is symmetric. Affine generalized Cartan matrices, which arise in the study of affine Kac–Moody algebras, are indecomposable symmetrizable matrices of rank n-1 and thus have determinant zero.^[6]

Basic Properties

A generalized Cartan matrix A = (a_{ij}) is symmetrizable if there exists a diagonal matrix D with positive rational diagonal entries such that DA is symmetric.^[7] This property ensures the existence of an invariant symmetric bilinear form on the associated Lie algebra.^[8] For the finite irreducible types, all indecomposable generalized Cartan matrices are symmetrizable.^[8] The determinants of Cartan matrices for finite irreducible types are positive integers, reflecting their classification into the ADE, BCFG series.^[9] For example, the Cartan matrix of type A_3 has determinant 4, while that of type B_2 has determinant 2.^[9] In general, a generalized Cartan matrix has finite type if and only if all its principal minors are positive.^[8] The symmetrizability allows defining a symmetric bilinear form (\cdot, \cdot) on the real span of the simple roots via (\alpha_i, \alpha_j) = d_i a_{ij}, where D = \operatorname{diag}(d_1, \dots, d_\ell).^[8] For finite-dimensional simple Lie algebras, this form is positive definite.^[8] A Cartan matrix is indecomposable if it cannot be expressed as a direct sum of smaller Cartan matrices, which corresponds to the associated Dynkin diagram being connected.^[8] Indecomposable Cartan matrices of finite type classify the simple components of semisimple Lie algebras. The realization theorem states that every symmetrizable generalized Cartan matrix A determines a unique (up to isomorphism) Kac-Moody Lie algebra, generalizing the finite-dimensional case where finite-type matrices realize simple Lie algebras.^[8] For a matrix to be the Cartan matrix of a root system, it must satisfy the axioms of a generalized Cartan matrix, with finite type ensuring a finite root system.^[7]

Role in Lie Algebra Theory

Semisimple Lie Algebras

In semisimple Lie algebras over algebraically closed fields of characteristic zero, such as the complex numbers, the Cartan subalgebra plays a central role in the structure theory. A Cartan subalgebra \mathfrak{h} is a maximal toral subalgebra, meaning it is abelian and the adjoint action of \mathfrak{h} on the Lie algebra \mathfrak{g} is diagonalizable. The roots of \mathfrak{g} are precisely the nonzero weights of this adjoint representation, forming a root system \Phi \subset \mathfrak{h}^* that encodes the decomposition \mathfrak{g} = \mathfrak{h} \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}_\alpha, where each \mathfrak{g}_\alpha is the root space corresponding to the root \alpha. The root system \Phi admits a basis of simple roots \{\alpha_1, \dots, \alpha_n\}, where n = \dim \mathfrak{h} is the rank of \mathfrak{g}, such that every root is a unique integer linear combination of these simple roots with coefficients either all nonnegative or all nonpositive. These simple roots span the real vector space \operatorname{span}_\mathbb{R} \Phi, and the Cartan matrix A = (a_{ij}) of \mathfrak{g} is defined by a_{ij} = 2 \frac{(\alpha_i, \alpha_j)}{(\alpha_j, \alpha_j)}, where (\cdot, \cdot) is the inner product on \mathfrak{h}^* induced by the nondegenerate Killing form on \mathfrak{g}. This matrix captures the angular relations between simple roots: the diagonal entries are a_{ii} = 2, and off-diagonal entries a_{ij} \leq 0 reflect the possible angles (90°, 120°, 135°, or 150°) between them. The Cartan matrix thus uniquely determines the root system's geometry up to scaling. The Weyl group W of the root system is the finite group generated by reflections s_i: \beta \mapsto \beta - 2 \frac{(\beta, \alpha_i)}{(\alpha_i, \alpha_i)} \alpha_i across the hyperplanes perpendicular to the simple roots \alpha_i. The presentation of W as a Coxeter group has generators s_1, \dots, s_n satisfying s_i^2 = 1 and braid relations (s_i s_j)^{m_{ij}} = 1 for i \neq j, where the orders m_{ij} are determined by the Cartan matrix entries via the Dynkin diagram: m_{ij} = 2 if a_{ij} = 0 (no edge), m_{ij} = 3 for single edges (a_{ij} = a_{ji} = -1), m_{ij} = 4 for double edges (a_{ij} a_{ji} = 2), and m_{ij} = 6 for triple edges (a_{ij} a_{ji} = 3), ensuring W acts faithfully on \operatorname{span}_\mathbb{R} \Phi. A Chevalley basis provides an integral form for \mathfrak{g}, consisting of root vectors e_{\alpha_i}, f_{\alpha_i} for simple roots and coroots h_i \in \mathfrak{h} such that [h_i, e_{\alpha_j}] = a_{ij} e_{\alpha_j} and [h_i, f_{\alpha_j}] = -a_{ij} f_{\alpha_j}, with [e_{\alpha_i}, f_{\alpha_i}] = h_i. The full basis extends to all roots using the Serre relations, which are higher-order commutator identities like \operatorname{ad}(e_{\alpha_i})^{1 - a_{ij}} (e_{\alpha_j}) = 0 for i \neq j, ensuring the structure constants lie in \mathbb{Z} and determining the Lie bracket relations entirely from the Cartan matrix. This basis realizes \mathfrak{g} as the unique semisimple Lie algebra generated by these elements over \mathbb{C}. For the example of type A_n, corresponding to the special linear Lie algebra \mathfrak{sl}(n+1, \mathbb{C}), the Cartan subalgebra \mathfrak{h} consists of trace-zero diagonal matrices, with simple roots \alpha_i = \varepsilon_i - \varepsilon_{i+1} for i = 1, \dots, n, where \{\varepsilon_j\} are the standard basis functionals in \mathfrak{h}^* with inner product (\varepsilon_j, \varepsilon_k) = \delta_{jk}. The Cartan matrix is the n \times n tridiagonal matrix with 2's on the diagonal and -1's on the super- and subdiagonals, reflecting that (\alpha_i, \alpha_i) = 2 and (\alpha_i, \alpha_{i+1}) = -1. The root spaces \mathfrak{g}_{\alpha_i} are spanned by the matrix units E_{i,i+1} (with 1 in position (i,i+1)), and the full root system \Phi = \{\varepsilon_j - \varepsilon_k \mid 1 \leq j < k \leq n+1\} decomposes \mathfrak{sl}(n+1, \mathbb{C}) into upper and lower triangular nilpotents plus \mathfrak{h}, with the Weyl group being the symmetric group S_{n+1} acting by permutations on the \varepsilon_j. The Chevalley generators include e_i = E_{i,i+1}, f_i = E_{i+1,i}, and h_i = E_{i,i} - E_{i+1,i+1}, satisfying the relations dictated by this Cartan matrix.

Classification and Dynkin Diagrams

The classification of finite-dimensional semisimple Lie algebras over the complex numbers relies on the structure of their Cartan matrices, which encode the relations among simple roots in the corresponding root systems. The Killing–Cartan classification theorem establishes that every finite-dimensional simple Lie algebra is determined up to isomorphism by its Cartan matrix, corresponding to one of four infinite families—A_n (n ≥ 1), B_n (n ≥ 2), C_n (n ≥ 3), D_n (n ≥ 4)—or five exceptional cases: E_6, E_7, E_8, F_4, G_2.^[10] These matrices are irreducible and symmetrizable with the symmetrized form positive definite, ensuring the algebras are simple and finite-dimensional.^[11] Dynkin diagrams provide a graphical representation of these Cartan matrices, with nodes corresponding to simple roots and edges reflecting the Cartan integers a_{ij} for i ≠ j. A single edge connects nodes if a_{ij} = a_{ji} = -1; double or triple edges indicate |a_{ij}| = 2 or 3 (with the thicker end or arrow pointing to the shorter root when lengths differ). The diagrams are connected for simple algebras and distinguish the types: A_n is a linear chain of n nodes; B_n is a chain with a double arrow at the end; C_n is similar but with the double arrow at the beginning; D_n branches at the end into two nodes; E_6 is a chain of five nodes with an additional node attached to the third; E_7 is a chain of six nodes with an additional node attached to the third; E_8 is a chain of seven nodes with an additional node attached to the third; F_4 has a double bond in a short chain; G_2 has a triple arrow between two nodes. These diagrams not only visualize the structure but also confirm the classification, as any indecomposable diagram yielding a positive-definite Cartan matrix falls into these eight families.^[12] The explicit forms of the Cartan matrices vary by type but follow tridiagonal or near-tridiagonal patterns for classical series, with adjustments for branching in exceptional cases. For A_n (rank n), the matrix is the n × n tridiagonal with 2s on the diagonal and -1s on the sub- and super-diagonals:

\begin{pmatrix} 2 & -1 & & & \\ -1 & 2 & -1 & & \\ & -1 & 2 & \ddots & \\ & & \ddots & \ddots & -1 \\ & & & -1 & 2 \end{pmatrix}

Its determinant is n+1, which grows with rank and helps distinguish it from other types.^[1] For B_n (rank n), it is similar but with a -2 in the bottom-left off-diagonal:

\begin{pmatrix} 2 & -1 & & & \\ -1 & 2 & -1 & & \\ & -1 & 2 & \ddots & \\ & & \ddots & \ddots & -1 \\ & & & -2 & 2 \end{pmatrix}

C_n mirrors this with the -2 at the top-right, while D_n has -1s branching to the last two rows/columns. For exceptional algebras, the matrices are fixed-size; for example, G_2 (rank 2) is

\begin{pmatrix} 2 & -1 \\ -3 & 2 \end{pmatrix},

F_4 (rank 4) incorporates -2 entries reflecting the double bond:

\begin{pmatrix} 2 & -1 & 0 & 0 \\ -1 & 2 & -2 & 0 \\ 0 & -1 & 2 & -1 \\ 0 & 0 & -1 & 2 \end{pmatrix},

and E_6 (rank 6) includes branching via positions (3,6) and (6,3) as -1 alongside the chain. The determinants of these matrices are positive integers—1 for E_8, F_4, and G_2; 2 for E_7; 3 for E_6—playing a role in computing indices of root lattices and verifying the positive-definiteness required for finite-dimensionality.^[13] For infinite-dimensional extensions, untwisted affine Dynkin diagrams arise by adding a node to the finite diagrams, yielding affine Cartan matrices of corank 1 that classify untwisted affine Kac–Moody algebras, though these lie beyond the finite simple case.

Applications in Representation Theory

Finite-Dimensional Algebras

In the representation theory of finite-dimensional algebras over a field k, the Cartan matrix serves as a key homological invariant, capturing the structure of projective modules in terms of simple modules and facilitating computations involving extension groups through Auslander-Reiten theory. For a finite-dimensional k-algebra \Lambda with a complete set of pairwise non-isomorphic simple left \Lambda-modules S_1, \dots, S_n, the Cartan matrix C = (c_{ij}) is the n \times n integer matrix where c_{ij} denotes the multiplicity [P_j : S_i] of the simple module S_i in a composition series of the indecomposable projective module P_j with simple head S_j.^[14] This matrix encodes essential information about the module category, including relations to the Ext groups \operatorname{Ext}^1_\Lambda(S_i, S_j), which measure one-dimensional extensions between simples and appear in the Auslander-Reiten quiver to determine almost split sequences.^[15] A fundamental property of the Cartan matrix, known as the Cartan invariants, is that the sum of all its entries equals the dimension of the algebra \dim_k \Lambda, assuming the algebra is basic (i.e., endomorphism rings of indecomposable projectives are division rings, so simple modules are one-dimensional over k); this follows from the decomposition \Lambda \cong \bigoplus_j P_j as a left module over itself, where \dim_k P_j = \sum_i c_{ij} \dim_k S_i = \sum_i c_{ij}.^[14] In Auslander-Reiten theory, the Cartan matrix further interacts with higher Ext groups to classify indecomposable modules and analyze the representation type of \Lambda, distinguishing finite, tame, or wild behaviors based on the existence and structure of indecomposables. (Note: URL for Assem-Simson-Skowroński book; assuming stable link.) Examples illustrate the role of the Cartan matrix in specific classes of algebras. For the path algebra \Lambda = kQ of a quiver Q with no arrows (i.e., the semisimple algebra k^n corresponding to n isolated vertices), each projective P_j is isomorphic to the simple S_j, yielding the identity matrix C = I_n.^[14] In contrast, for blocked algebras—those decomposable as a direct sum of indecomposable two-sided ideals (blocks)—the Cartan matrix is block-diagonal, with each diagonal block being the Cartan matrix of the corresponding block algebra, reflecting the orthogonal decomposition of the module category.^[14] The Cartan matrix connects to Coxeter groups via the associated Coxeter matrix \phi = -C^{-1} E C, where E = (e_{ij}) with e_{ij} = \dim_k \operatorname{Ext}^1_\Lambda(S_j, S_i) is the Auslander-Reiten translation matrix; this \phi represents the action of the Auslander-Reiten translation \tau on the Grothendieck group K_0(\Lambda), linking the homological structure to the Coxeter transformation in the associated Coxeter group generated by reflections across the perpendiculars to the simple roots in the module category.^[15] For algebras of finite representation type, such as Brauer tree algebras (blocks with cyclic defect groups in group algebras over fields of characteristic dividing the group order), the Cartan matrix has determinant \pm 1 and a specific tree-structured form that ensures exactly \dim_k \Lambda - n non-projective indecomposables, thereby determining the finite representation type and excluding tame or wild behaviors.^[16]

Quiver Representations

In the representation theory of quivers, a quiver Q is a finite directed graph consisting of a set of vertices Q_0, which correspond to the simple modules, and a set of directed arrows Q_1 without multiple arrows in the same direction or loops, representing the generators of the radical relations in the associated algebra.^[17] A representation of Q over a field k assigns to each vertex i \in Q_0 a finite-dimensional k-vector space V_i and to each arrow \alpha: i \to j \in Q_1 a linear map \rho(\alpha): V_i \to V_j, satisfying the path composition rule.^[17] The path algebra kQ is the k-algebra with basis consisting of all oriented paths in Q (including trivial paths of length zero at each vertex), where multiplication is defined by concatenation of paths when the end vertex of the first matches the start vertex of the second, and zero otherwise; kQ is finite-dimensional if and only if Q is acyclic.^[17] The Cartan matrix C of the path algebra kQ (assuming Q acyclic) is the square matrix indexed by Q_0 with entries C_{ij} equal to the number of oriented paths from vertex j to vertex i in Q, including the trivial path when i = j.^[17] This matrix is invertible over the integers, and its inverse C^{-1} encodes homological information about representations. For instance, in the case of no arrows, C is the identity matrix.^[17] A dimension vector for a representation V of Q is the tuple d = (d_i)_{i \in Q_0} \in \mathbb{N}^{Q_0} where d_i = \dim_k V_i.^[17] The Euler-Ringel form, or Euler form, on dimension vectors is the bilinear form \langle d, d' \rangle = (d')^T C^{-1} d, which satisfies \langle d, d' \rangle = \dim_k \Hom_{kQ}(V, V') - \dim_k \Ext^1_{kQ}(V, V') for representations V, V' with \dim V = d and \dim V' = d'.^[17] The associated quadratic form q(d) = \langle d, d \rangle determines key representation-theoretic properties, such as the Tits form, which is positive definite precisely when Q is of finite representation type (corresponding to Dynkin diagrams).^[18] Kac's theorem provides a criterion for the existence and indecomposability of representations in terms of this quadratic form and the root system associated to the symmetrized Cartan matrix of Q.^[18] Specifically, for an algebraically closed field k, a dimension vector d \in \mathbb{N}^{Q_0} (with d \neq 0) admits an indecomposable representation if and only if d is a positive root of the Kac-Moody algebra defined by the symmetrized Cartan matrix A = 2I - B - B^T, where B is the adjacency matrix of Q; moreover, if Q is of finite type (Dynkin), there is a unique indecomposable representation (up to isomorphism) for each such d, and the quadratic form satisfies q(d) = 1 for indecomposables.^[18] This links the combinatorial structure of Q to the invariant theory of representations, with the value q(d) = 1 serving as an indecomposability criterion via the endomorphism ring dimension.^[18] For the linear quiver A_n with vertices $1 \to 2 \to \cdots \to n and arrows between consecutive vertices, the Cartan matrix C is the n \times n lower triangular matrix with all entries 1 on and below the diagonal (since there is exactly one path from j to i for j \leq i).^[19] Its inverse C^{-1} has 1's on the diagonal, -1's on the subdiagonal, and zeros elsewhere.^[19] The Euler form simplifies to \langle d, d' \rangle = \sum_{i=1}^n d_i d'_i - \sum_{i=1}^{n-1} d_i d'_{i+1}, and the quadratic form q(d) = \sum_{i=1}^n d_i^2 - \sum_{i=1}^{n-1} d_i d_{i+1} is positive definite.^[19] The indecomposable representations correspond to intervals [j, i] with $1 \leq j \leq i \leq n, each with dimension vector having 1's from position j to i and zeros elsewhere; there are exactly \frac{n(n+1)}{2} such classes, confirming finite representation type.^[18] For n=2, the indecomposables have dimension vectors (1,0), (0,1), and (1,1), each satisfying q(d) = 1.^[19]

Advanced and Interdisciplinary Uses

In M-Theory

In M-theory and its string theory limits, Cartan matrices arise from the root lattices of underlying Lie algebras to classify and count BPS states, such as bound configurations of D-branes or magnetic monopoles. The charge lattice of these states inherits a bilinear form defined by the Cartan matrix, which governs intersection pairings and stability criteria for supersymmetric bound states; for example, in quiver gauge theories engineered from stacks of intersecting D-branes, the quiver's Cartan matrix provides the quadratic form on dimension vectors, allowing the enumeration of BPS invariants that correspond to the moduli space volume of stable representations and thus the degeneracy of D-brane bound states.^[20]^[21] Exceptional Lie groups like E_8 feature the Cartan matrix in heterotic string compactifications on Calabi-Yau manifolds, where it structures the root system of the E_8 \times E_8 gauge bundle required for anomaly cancellation and defines the massless spectrum in the four-dimensional effective theory. The matrix's entries encode the simple roots' inner products, ensuring the bundle's stability and compatibility with the Calabi-Yau's holomorphic structure, which preserves half of the supersymmetry.^[22] String dualities, including T-duality and S-duality, preserve Cartan matrix structures by mapping theories with isomorphic Lie algebras and charge lattices, thereby maintaining the BPS spectrum's intersection form across dual frames; for instance, T-duality in type II strings exchanges brane charges while keeping the gauge algebra's Cartan matrix invariant, and in M-theory, U-duality transformations act linearly on the extended lattice without altering the matrix's defining bilinear pairings. A concrete illustration occurs in type IIA string theory with intersecting D-branes, where A_n Cartan matrices describe linear quiver gauge theories from Hanany-Witten setups involving NS5- and D4-branes; the tridiagonal form of the A_n matrix captures bifundamental hypermultiplets from open strings at intersections, stabilizing BPS states in the resulting \mathcal{N}=2 supersymmetric theories.^[23] As of 2025, connections between Cartan matrix positivity and swampland conjectures have emerged in the study of six-dimensional superconformal field theories from M-theory compactifications. The Cartan matrix identifies the bulk coupling matrix in the symmetry topological field theory for Lie algebra-based SCFTs, with its positive definiteness enforcing swampland constraints like the distance conjecture by prohibiting tower of light states in regions of moduli space where effective theories would otherwise violate quantum gravity consistency.^[24]^[25]

In Cluster Algebras

In cluster algebras, exchange matrices serve as antisymmetric analogs of Cartan matrices, providing the combinatorial structure for generating cluster variables through mutations. Introduced by Fomin and Zelevinsky, an exchange matrix B = (b_{ij}) is an n \times n skew-symmetrizable integer matrix, meaning there exists a positive diagonal matrix D such that DB is skew-symmetric (b_{ij} = -b_{ji} after symmetrization). The Cartan counterpart A(B) of an exchange matrix B is defined by setting the diagonal entries a_{ii} = 2 and off-diagonal entries a_{ij} = -|b_{ij}| for i \neq j, linking the exchange matrix to classical Cartan matrices of finite-dimensional semisimple Lie algebras. The mutation operation \mu_k(B) updates the exchange matrix at index k, preserving skew-symmetrizability and generating the exchange graph of the cluster algebra. Specifically, the mutated matrix B' = \mu_k(B) has entries given by b'_{ij} = -b_{ij} if i = k or j = k, and otherwise b'_{ij} = b_{ij} + [b_{ik}]_+ [b_{kj}]_+ - [-b_{ik}]_+ [-b_{kj}]_+, where _+ = \max(x, 0); this update depends on the products b_{ik} b_{kj} and ensures compatibility with the antisymmetric structure. In the Fomin-Zelevinsky setup, a seed consists of cluster variables x = (x_1, \dots, x_n), coefficients in a semifield \mathbb{P}, and an exchange matrix B, with mutations producing new seeds and exchange relations like x_k x_k' = \prod_{b_{ik}>0} x_i^{b_{ik}} \oplus \prod_{b_{ik}<0} x_i^{-b_{ik}} (in the principal semifield). For acyclic cluster algebras, which arise from finite acyclic quivers without oriented cycles, principal coefficients provide a canonical framework where the Cartan matrix emerges as the lower triangular part of the exchange matrix. In this setting, the initial extended exchange matrix \tilde{B} is a $2n \times n matrix of the form \tilde{B} = \begin{pmatrix} B_0 & I_n \\ -A & 0_{n \times n} \end{pmatrix}, with B_0 the initial skew-symmetric top part, I_n the identity, and A the Cartan matrix encoding the principal coefficients y_1, \dots, y_n (frozen variables). Mutations of such seeds yield cluster variables as Laurent polynomials in the principal variables, with the Cartan matrix A governing the combinatorial data and ensuring the algebra's structure reflects the underlying quiver's representation theory.^[26] A representative example occurs in finite type A_n, corresponding to the Cartan matrix A = (a_{ij}) with a_{ii} = 2, a_{i,i+1} = a_{i+1,i} = -1, and zeros elsewhere (tridiagonal form). Here, the initial exchange matrix B is skew-symmetric with b_{i,i+1} = 1, b_{i+1,i} = -1, and the cluster algebra is generated by mutations starting from this seed; the resulting exchange graph is the associahedron, with cluster variables corresponding to diagonals in an (n+3)-gon, and the Cartan matrix directly controls the mutation sequence and finite number of clusters ( \frac{(n+3)!}{n! (n+3)} seeds). This setup highlights how the Cartan matrix dictates the boundedness and combinatorial finiteness. Categorification of cluster algebras connects exchange matrices and their Cartan counterparts to quiver representations via Hall algebras, providing a representation-theoretic lift. For an acyclic quiver Q with exchange matrix B, the Hall algebra \mathcal{H}(Q) of the category of finite-dimensional representations over an algebraically closed field encodes the cluster variables as generic green sequences or cluster characters, with mutations corresponding to autoequivalences in the cluster category (a quotient of the derived category of representations). In types ADE, the cluster algebra is isomorphic to a subalgebra of the Hall algebra, where the Cartan matrix determines the Euler form and dimension vectors of indecomposable representations, thus realizing the combinatorial mutations algebraically.^[27]

References

[1]
[PDF] Lecture 17 — Cartan Matrices and Dynkin Diagrams
Nov 4, 2010 · Definition 17.4. A r × r matrix satisfying all of the properties of Proposition 17.2 is called an abstract Cartan matrix. Let's classify the ...
[2]
Cartan Matrix -- from Wolfram MathWorld
A Cartan matrix is a square integer matrix who elements (A_(ij)) satisfy the following conditions. 1. A_(ij) is an integer, one of {-3,-2,-1,0,2} .
[3]
None
### Summary of Historical Development of the Cartan Matrix and Its Role in Lie Algebra Classification by Élie Cartan
[4]
ELIE JOSEPH CARTAN 1869—1951 - ScienceDirect.com
Cartan's work has its roots in the theory of continuous groups. He added a great deal to this theory, to the theory of differential equations, and to geometry.
[5]
[PDF] 11. Classification of semisimple Lie algebras - Brandeis
Suppose that Φ is a root system with base ∆. Let α1,··· ,αn be the list of simple roots. Then the Cartan matrix is defined to be the n × n matrix ...
[6]
[PDF] Introduction to Lie Algebras and Representation Theory
Any subalgebra of a Lie algebra gl(V) is called a linear Lie algebra. The reader who finds matrices more congenial than linear transformations may prefer to fix ...
[7]
[PDF] Kac-Moody Algebras and Applications - UC Berkeley math
Dec 24, 2014 · Definition. A generalized Cartan matrix A is called a matrix of hyperbolic type if it is indecompos- able symmetrizable of indefinite type, and ...Missing: source | Show results with:source
[8]
[PDF] hyperbolic kac-moody weyl groups, billiard tables and actions of ...
A generalized Cartan matrix A is called symmetrizable if there exist nonzero rational numbers d1,...,dℓ, such that the matrix DA is symmetric, where D = diag(d1 ...
[9]
[PDF] Lectures on Infinite Dimensional Lie Algebras
The Classification of Generalized Cartan Matrices. Au ≥ 0 would imply u = 0. ... B is a symmetric matrix then Bδ = 0, and hence δtB = 0. On the other hand ...
[10]
Tables Fin and Aff - Joel Gibson
Alternatively, the determinant of the Cartan matrix. ∣ W ∣ |W| ∣W∣ the ... Note that A 3 ( 2 ) = C 2 ( 1 ) A_3^{(2)} = C_2^{(1)} A3(2) ...
[11]
[PDF] Lecture: 19 Classification of simple finite dimensional Lie algebras ...
Nov 16, 2010 · We know by part (a) of Theorem 19.1 that a semisimple Lie algebras over F are isomorphic if and only if they have the same Dynkin diagram. Thus ...
[12]
Identifying the simple finite-dimensional Lie algebras over C ... - arXiv
Oct 22, 2025 · The Dynkin diagrams are selected by examination of an easily calculated sequence of minors of a symmetrised Cartan matrix. These minors are ...
[13]
[PDF] LECTURE 21 - The Classification of Complex Simple Lie Algebras
(1) Any two Cartan subalgebras of a semisimple Lie algebra are conjugate,. i.e., there is an inner automorphism by an element in the corresponding adjoint group ...
[14]
None
### Extracted Cartan Matrices and Determinants
[15]
[PDF] Introduction to representation theory by Pavel Etingof, Oleg Golberg ...
Structure of finite dimensional algebras. 9.3. The Cartan matrix of a finite dimensional algebra. Let A be a finite dimensional algebra with simple modules Mi, ...
[16]
Coxeter Transformations associated with Finite Dimensional Algebras
Happel: The trace of the Coxeter matrix and ... C. M. Ringel: The spectral radius of the Coxeter transformations for a generalized Cartan matrix, Math.
[17]
Representation type for block algebras of Hecke algebras of ...
Sep 7, 2017 · As an application of this result, we prove that block algebras of finite representation type are Brauer tree algebras ... Cartan matrix of ...
[18]
[PDF] REPRESENTATIONS OF QUIVERS 1. The objects we study 1.1 ...
The matrix CQ is called Cartan matrix of Q. Proposition 4.2. For any representation V of Q, we have hV,V iQ = χQ(dimV ). Proof. Denote by Si the simple ...
[19]
Infinite root systems, representations of graphs and invariant theory
Kac, VG: Infinite root systems, representations of graphs and invariant theory. Invent Math 56, 57–92 (1980).
[20]
[PDF] Representations of quivers - Berkeley Math
The matrix of the form. (·, ·) in the standard basis is called the Cartan matrix of Γ. Example 6.1. The Cartan matrix of •−• is 2−1. −12 ...
[21]
Quiver matrix model of ADHM type and BPS state ... - Oxford Academic
Abstract. We review the problem of Bogomol'nyi–Prasad–Sommerfield (BPS) state counting described by the generalized quiver matrix model of Atiyah–Drinfield.
[22]
N = 2 quantum field theories and their BPS quivers - Project Euclid
In such a situation, BPS states are viewed as various supersymmetric bound states of D-branes. Then the nodes of our quiver correspond to a collection of basic ...
[23]
[PDF] A survey of Calabi-Yau manifolds - International Press of Boston
where E8 is the Cartan matrix of the corresponding root system and U is the ... Stable principal. G-bundles are also necessary data for heterotic strings on ...
[24]
[1307.7104] Linear Quivers and N=1 SCFTs from M5-branes - arXiv
Jul 26, 2013 · We exhibit a type IIA brane construction which at low energies is described by these SCFTs. This also leads to a natural description of the ...Missing: A_n intersecting
[25]
Swampland constraints on the symmetry topological field theory of ...
Jun 10, 2024 · Specifically for 6 d SCFTs, based on a Lie algebra g , the matrix K can be identified with the associated Cartan matrix. This bulk term ...<|control11|><|separator|>
[26]
[2307.13027] Generalized Symmetries, Gravity, and the Swampland
Generalized Symmetries, Gravity, and the Swampland. Authors:Mirjam Cvetič, Jonathan J. Heckman, Max Hübner, Ethan Torres.
[27]
[PDF] A Compendium on the Cluster Algebra and Quiver Package in SAGE
An important cluster algebra of geometric type is one with principal coefficients. In this case, the initial exchange matrix B is 2n-by-n and where the last n ...<|control11|><|separator|>
[28]
Cluster algebras as Hall algebras of quiver representations - arXiv
Oct 7, 2004 · In this article, we prove that some cluster algebras of type ADE can be recovered from the data of the corresponding quiver representation category.