⚛️ high-energy theory

Lie Algebra Saddles in the IKKT Matrix Model and Criteria for the Emergence of Time

This paper classifies Lie-algebraic saddles in the IKKT matrix model to establish that the emergence of a Lorentzian spacetime with time requires a non-zero solvable radical, as semisimple algebras alone cannot support non-trivial time-like directions without additional mass terms or higher-dimensional extensions.

Original authors: Henry Liao

Published 2026-10-01

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Henry Liao

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the deepest corners of theoretical physics, scientists are trying to solve a puzzle that seems backward: how does the universe we see, with its three dimensions of space and one of time, arise from something that has no shape or location at all? One leading idea, known as the IKKT matrix model, proposes that spacetime is not a stage where events happen, but a pattern that emerges from the interactions of ten giant, abstract numbers called matrices. These matrices are the only ingredients in the theory; they do not sit inside a pre-existing space. Instead, their relationships define what space and time are. If this model is correct, then the geometry of our universe, including the very fact that time flows differently than space, must be a consequence of how these numbers arrange themselves. The challenge has been to understand which arrangements are possible and, crucially, where the direction of time hides within the math.

A physicist named Henry Liao has now mapped out the landscape of these possible arrangements, focusing on a specific class of solutions where the matrices follow the rules of a mathematical structure called a Lie algebra. In this context, a Lie algebra is simply a set of rules that dictate how the matrices combine and interact with one another. Liao's work acts as a rigorous filter, testing every possible algebraic structure to see if it can produce a stable universe with a clear distinction between space and time. The results are surprisingly restrictive and offer a definitive answer to where time must live in this model.

The investigation begins by asking a simple question: if the matrices form a closed system of rules, can they naturally create a universe that looks like ours? Liao found that for a large and important class of these systems, the answer is a hard no. If the matrices follow the rules of a "simple" algebra—a structure that cannot be broken down into smaller, independent parts—the equations of motion force the entire system to collapse into a state with no geometry at all. In this state, the metric that defines distances and time vanishes completely. This explains why previous attempts to build expanding universes or fuzzy spheres using these simple rules required extra, artificial ingredients, such as mass terms or infrared regulators, to work. Without these external fixes, the pure mathematical structure refuses to support a universe.

When the researchers looked at more complex structures, specifically those made of multiple simple parts working together, they found that time still refused to appear in the main body of the system. The study proves that in any universe with ten or fewer dimensions, the "semisimple" part of the algebra—which corresponds to the rigid, rotational symmetries of space—can only be purely spatial. It can never contain a time direction. In fact, for a universe to have a time dimension, the algebra must include a "solvable" part, a more flexible and less rigid structure that Liao identifies as the radical. This finding is absolute: in any non-degenerate solution of the ten-dimensional model, the direction of time must reside within this solvable radical. The rigid, symmetric part of the universe is always spacelike; time is a property of the flexible, solvable part.

The paper further details how these two parts can interact. In lower dimensions, the rigid and flexible parts must sit side by side without influencing each other. However, at the critical dimension of ten, a new possibility opens up. Here, the rigid part can act upon the flexible part, but only if the flexible part behaves like a specific type of mathematical object known as a Weyl spinor. This is the only way to construct a stable, non-degenerate universe with a time direction in ten dimensions. If the flexible part is not of this specific type, or if the dimension is lower, the time direction cannot exist in a non-trivial way. Even more interestingly, the study shows that a truly complex, non-commutative flexible part only becomes possible in eleven dimensions, suggesting that the richness of time's structure grows with the dimensionality of the system.

These findings provide a structural blueprint for the emergence of time. They rule out the idea that time could arise from the most symmetric, rigid parts of the theory. Instead, time is inextricably linked to the solvable, flexible sectors of the algebra. The research does not rely on computer simulations or approximations; it solves the classical equations of motion exactly, proving that for any solution to exist with a time direction, the underlying algebra must possess a specific solvable component. This means that in the IKKT model, space can be built from rigid, symmetric rules, but time must emerge from a more fluid, solvable structure. The study leaves open the question of how to translate these abstract algebraic solutions into the smooth, flowing geometry of our actual universe, but it firmly establishes the necessary conditions for time to exist at all.

Technical Summary: Lie Algebra Saddles in the IKKT Matrix Model and Criteria for the Emergence of Time

Problem Statement
The IKKT matrix model serves as a candidate non-perturbative definition of type IIB superstring theory, where spacetime geometry (dimension, shape, and metric signature) is not a fixed background but must emerge dynamically from the matrix degrees of freedom. While numerical studies and specific classical solutions suggest the emergence of a $(3+1)$ -dimensional expanding universe in the Lorentzian version, a structural understanding of which metric signatures are realizable by classical solutions remains incomplete. Specifically, it is unclear which signatures the classical solutions can realize and, crucially, where the timelike direction resides within the algebraic structure of a solution. This paper addresses these questions by analyzing the class of "Lie-algebraic backgrounds," where the ten Hermitian matrices $A_\mu$ realize a finite-dimensional real Lie algebra $\mathfrak{g}_\mathbb{R}$ in a unitary representation.

Methodology
The author adopts an ansatz where the matrices are linear combinations of Lie algebra generators: $A_\mu = C_\mu^a t_a$ , where $\{t_a\}$ is a basis for a finite-dimensional real Lie algebra $\mathfrak{g}_\mathbb{R}$ and $C$ is a rank- $d$ matrix mapping generators to target-space directions. Substituting this into the bosonic equations of motion, $\eta_{\nu\rho} [A_\nu, [A_\rho, A_\mu]] = 0$ , reduces the problem to a single algebraic equation for a real symmetric bilinear form $h$ on the algebra:
$h_{ab} [t_a, [t_b, t_c]] = 0 \quad \forall c$
where $h = C^T \eta C$ is the pullback of the target-space metric $\eta$ to the algebra. The signature of the emergent spacetime is determined by the eigenvalues of $h$ .

The analysis proceeds via the Levi decomposition $\mathfrak{g}_\mathbb{R} \cong \mathfrak{g}_{ss} \ltimes \mathfrak{r}$ , separating the semisimple part $\mathfrak{g}_{ss}$ (direct sum of simple ideals) from the solvable radical $\mathfrak{r}$ . The methodology involves:

Solving the equation over complex numbers to establish constraints on simple and semisimple algebras.
Imposing reality conditions to determine attainable signatures for real forms.
Analyzing the coupling between the semisimple sector and the radical to determine the location of timelike directions.
Constructing explicit solutions for dimensions $d \leq 11$ , covering the critical dimension of the superstring ( $d=10$ ).

Key Contributions and Results

Obstruction for Simple Algebras (Theorem 1):
For any real Lie algebra whose complexification is simple (e.g., $\mathfrak{su}(2)$ , $\mathfrak{sl}(2, \mathbb{R})$ ), the only solution to the equation of motion is $h=0$ . This "Casimir obstruction" arises because the quadratic Casimir operator prevents the existence of a non-degenerate symmetric bilinear form satisfying the double-commutator constraint.
- Implication: This explains why fuzzy sphere backgrounds and expanding-universe solutions in the literature require mass terms, Myers deformations, or infrared regulators to exist; the undeformed model forbids non-trivial solutions on simple algebras.
Constraints on Semisimple Algebras (Theorem 2):
For semisimple algebras, solutions exist only through couplings between distinct simple ideals (off-diagonal blocks of $h$ ); the diagonal blocks corresponding to individual simple ideals must vanish. The attainable signatures depend on the dimension $d$ and the action of the conjugation map on the ideals:
- $d \leq 11$ : Semisimple solutions are highly constrained. They cannot support a Lorentzian signature $(1, d-1)$ . Specifically, fixed ideals force a Witt index $\geq 3$ , and single swapped pairs yield even-even signatures.
- $d \geq 12$ : Semisimple algebras can support any signature, including Lorentzian.
- Result: In the ten-dimensional model, no purely semisimple configuration can yield a Lorentzian background. The only semisimple building block available in ten dimensions is the $(0,6)$ Euclidean saddle of $\mathfrak{so}(1,3)$ .
Necessity of the Radical for Time (Theorem 3 & Corollary 2):
Every non-degenerate Lorentzian solution in dimensions $d \leq 11$ (including the physical $d=10$ case) requires a non-zero solvable radical $\mathfrak{r}$ .
- The semisimple part $\mathfrak{g}_{ss}$ is either zero or a single copy of $\mathfrak{so}(1,3)$ (viewed as a real form of $\mathfrak{sl}(2, \mathbb{C})$ ).
- The metric $h$ is negative definite on $\mathfrak{g}_{ss}$ , meaning all vectors in the semisimple sector are spacelike.
- Conclusion: The timelike direction must reside entirely within the solvable radical. "Space can be semisimple; time must be solvable."
Structure of Semidirect Sums (Theorem 4):
The paper investigates when the semisimple part can act non-trivially on the radical ( $[\mathfrak{g}_{ss}, \mathfrak{r}] \neq 0$ ).
- For $d \leq 9$ , the radical must be a trivial representation, implying a direct sum structure.
- At $d=10$ , a non-trivial action is possible only if the radical is abelian and transforms as a Weyl spinor of $\mathfrak{so}(1,3)$ . The vector representation (Poincaré algebra) admits no non-degenerate Lorentzian solution.
- At $d=11$ , a non-abelian radical becomes possible (e.g., a Heisenberg algebra).
- Explicit solutions are constructed for $d=10$ (spinor translations) and $d=11$ (non-abelian radical with a central timelike element).

Significance and Claims
The paper provides a rigorous classification of Lie-algebraic saddles in the IKKT model, establishing structural criteria for the emergence of time. The primary claim is that within the class of finite-dimensional Lie algebra backgrounds, the emergence of a Lorentzian signature in the physical ten-dimensional model is inextricably linked to the solvable radical of the algebra. The semisimple sector is strictly spacelike (or zero) in dimensions $d \leq 11$ .

The results unify and explain previous findings:

They clarify why expanding universe solutions require infrared regulators (to bypass the Casimir obstruction on simple algebras).
They explain why previous surveys of low-dimensional algebras found only nilpotent or solvable solutions for Lorentzian signatures.
They distinguish the IKKT model from the BFSS model: while BFSS inherently contains time via an external derivation (solvable structure), the IKKT model must generate this solvable structure dynamically as part of the solution.

The author notes that these results are classical and kinematical. The extraction of an effective geometry from a given solution remains an open problem, dependent on the choice of representation and the semiclassical limit. The paper does not claim to solve the quantum dynamics or stability of these solutions but provides the necessary algebraic constraints for any such analysis.

More like this