🔢 mathematics

Polynomial Poisson Algebras and Superintegrable Systems from Cartan centralisers of Types $B_3$ , $C_3$ and $D_3$

This paper constructs explicit generators for the Cartan centralisers of rank-three Lie algebras $B_3$ , $C_3$ , and $D_3$ , analyzes the inclusion relations of their associated polynomial Poisson algebras, and utilizes these structures to derive algebraic superintegrable systems for specific reduction chains.

Original authors: Rutwig Campoamor-Stursberg, Danilo Latini, Ian Marquette, Junze Zhang, Yao-Zhong Zhang

Published 2026-09-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Rutwig Campoamor-Stursberg, Danilo Latini, Ian Marquette, Junze Zhang, Yao-Zhong Zhang

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 vast landscape of mathematical physics, there exists a class of problems known as superintegrable systems. These are special arrangements of moving parts, like planets orbiting a star or particles bouncing in a box, that possess a remarkable amount of order. While most physical systems have just enough rules to be predictable, superintegrable systems have extra rules, or "conservation laws," that lock their behavior into a rigid, highly structured pattern. This extra order makes them incredibly useful for understanding the deep connections between geometry, algebra, and the fundamental forces of nature. For decades, physicists and mathematicians have sought to classify these systems, looking for the underlying algebraic structures that generate their hidden rules. The key to unlocking these structures often lies in the study of Lie algebras, which are mathematical frameworks used to describe continuous symmetries, such as the rotation of a sphere or the flow of a fluid.

A recent study by a team of researchers has taken a significant step forward in this quest by mapping out the hidden algebraic structures for three specific, complex types of symmetry. The researchers focused on a method that treats these symmetries not just as geometric shapes, but as algebraic equations that can be solved to find new, independent rules of motion. By analyzing the "centralizers" of these systems—essentially the set of all mathematical operations that remain unchanged when applied to a specific core structure—the team was able to construct explicit formulas for the generators of these systems. These generators act like the fundamental building blocks from which all the complex rules of the system can be built. The work provides a clear, algebraic blueprint for creating superintegrable systems without needing to rely on specific physical models or geometric pictures, offering a purely mathematical way to generate these highly ordered systems.

The team, working across institutions in Spain, Italy, Australia, and the United States, focused their efforts on three specific families of mathematical objects known as Lie algebras of types B, C, and D. These families describe symmetries in spaces of various dimensions and are fundamental to understanding the structure of the universe in theoretical physics. While the researchers had previously solved a similar problem for a different family of symmetries, the B, C, and D families presented a new challenge because they involve two different lengths of fundamental components, making the algebraic relationships more intricate. To solve this, the authors developed a systematic algorithm to sift through potential mathematical combinations, filtering out those that were redundant or could be built from simpler pieces. They were looking for the "indecomposable" elements: the irreducible building blocks that cannot be broken down further.

By applying this algorithm to the rank-three versions of these algebras, which correspond to symmetries in seven-dimensional, six-dimensional, and six-dimensional spaces respectively, the team successfully identified the complete set of these fundamental building blocks. For the first time, they provided explicit formulas for every single generator in these systems. The results revealed that the algebraic structures for these systems are "polynomial Poisson algebras," a fancy term for a specific type of mathematical system where the rules for combining elements follow a precise, predictable pattern. The researchers found that for the seven-dimensional case (type B) and the six-dimensional symplectic case (type C), the most complex building blocks required a degree of five to describe, meaning the rules involve products of five basic elements. For the six-dimensional orthogonal case (type D), the complexity was slightly lower, requiring a degree of three.

One of the most striking findings was the relationship between these different systems. Although the mathematical descriptions for the six-dimensional orthogonal system and a different, well-known system were built using different sets of basic elements, the researchers proved that they are fundamentally equivalent. They generate the exact same number of independent rules and possess the same underlying structure, even though the specific formulas look different. This discovery confirms that different mathematical paths can lead to the same physical reality. Furthermore, the team mapped out how these systems fit inside one another, showing that the simpler systems are contained within the more complex ones, like Russian nesting dolls. This hierarchy provides a clear roadmap for how these symmetries relate to each other.

The ultimate goal of this work is to use these algebraic blueprints to construct new superintegrable systems. By taking the fundamental building blocks identified in the study and arranging them into specific combinations, one can create a Hamiltonian, which is the mathematical function that describes the total energy of a physical system. Because the building blocks are guaranteed to be independent and follow the correct algebraic rules, the resulting system is automatically superintegrable. This means the researchers have created a universal recipe for generating these highly ordered systems. They demonstrated this by explicitly writing down the generators for the rank-three cases, providing a concrete set of 104 building blocks for the seven-dimensional case and a similar number for the symplectic case. From these, they extracted 18 independent rules that define the system's behavior.

This work does more than just list numbers; it establishes a unified method for understanding symmetry in a purely algebraic setting. By showing how to move from the abstract world of symmetric algebras to the concrete world of quantum mechanics through a process called symmetrization, the study offers a bridge between classical and quantum physics. The researchers suggest that these findings could lead to a better understanding of higher-rank Racah algebras, which are important in the study of how particles interact and how waves behave in complex environments. While the study focuses on classical series of algebras, the methods developed are expected to apply to even more complex, exceptional cases, opening the door to solving similar problems in the future. The paper concludes that this algebraic approach provides a powerful, unified way to reinterpret symmetry algebras, offering new insights into the construction of superintegrable systems that go beyond the familiar spheres and simple geometries, potentially finding applications in more general physical manifolds.

Technical Summary: Polynomial Poisson Algebras and Superintegrable Systems from Cartan Centralisers of Types B3, C3, and D3

Problem Statement
The paper addresses the construction of explicit formulas for the generators of Cartan centralisers within complex semisimple Lie algebras, specifically extending previous work on type $A_n$ to the classical series $B_n$ , $C_n$ , and $D_n$ . The central problem involves characterizing the structure of finitely generated Poisson algebras associated with these centralisers. These algebras are intrinsically linked to superintegrable systems, where the disjoint union of symplectic leaves forms a non-commutative algebra via Poisson projections. While the classification for type $A_n$ was established in prior literature [1], the presence of two distinct root lengths in types $B_n$ , $C_n$ , and $D_n$ necessitates a generalized approach to identify indecomposable homogeneous polynomial solutions to the defining system of partial differential equations.

Methodology
The authors employ a systematic algebraic approach rooted in the theory of Lie algebras and their symmetric and universal enveloping algebras.

Commutant Definition: The study focuses on the commutant (or centraliser) $S(\mathfrak{g})_{\mathfrak{h}}$ of a Cartan subalgebra $\mathfrak{h}$ within the symmetric algebra $S(\mathfrak{g})$ . This is defined as the set of polynomials $p$ such that $\{x, p\} = 0$ for all $x \in \mathfrak{h}^*$ , where $\{\cdot, \cdot\}$ is the Lie-Poisson bracket.
Algorithm for Generators: An algorithm is proposed to construct a finite set of indecomposable, linearly independent monomials. Starting from degree one, the method iteratively identifies homogeneous polynomial solutions to the system of PDEs $\hat{X}_j(p_k) = 0$ (where $\hat{X}_j$ are first-order differential operators associated with the Cartan generators). Elements that can be expressed as products of lower-degree solutions are discarded as decomposable.
Root System Analysis: The classification relies heavily on the root system decomposition $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{g}_+ \oplus \mathfrak{g}_-$ $g = h \oplus g_{+} \oplus g_{-}$ . Monomials are categorized based on their root vectors:
- Permutation type: Built from short roots (in $B_n, D_n$ ) or specific root combinations, governed by the symmetric group $S_n$ .
- $Z_2$ -type: Built from long and short roots, governed by the Weyl group structure $W \cong S_n \rtimes (\mathbb{Z}_2)^n$ .
- Balance Condition: A monomial belongs to the centraliser if and only if the sum of its associated roots is zero ( $R(p) = 0$ ). The authors derive specific constraints on the exponents of these roots to satisfy this condition, distinguishing between cases where the highest root $\alpha_n$ (or equivalent) appears in the root sum.
Quantization: The results in the symmetric algebra $S(\mathfrak{g})$ are mapped to the universal enveloping algebra $U(\mathfrak{g})$ via the symmetrization map $\Lambda$ , allowing for the construction of quantum superintegrable systems.

Key Contributions and Results
The paper provides explicit classifications and structural descriptions for the Cartan centralisers of rank-three Lie algebras $B_3$ , $C_3$ , and $D_3$ :

Explicit Generators: The authors derive explicit formulas for the indecomposable generators of the polynomial Poisson algebras $Q_{B_3}(d)$ $Q_{B_{3}} (d)$ , $Q_{C_3}(d'')$ $Q_{C_{3}} (d^{''})$ , and $Q_{D_3}(d')$ $Q_{D_{3}} (d^{'})$ .
- For $B_3$ ( $\mathfrak{so}(7, \mathbb{C})$ ), the algebra is generated by 104 elements distributed across degrees 1 to 6. The algebra is identified as a quintic algebra ( $d=5$ ), meaning the Poisson bracket of generators can be expressed as polynomials of degree at most 5.
- For $D_3$ ( $\mathfrak{so}(6, \mathbb{C})$ ), the algebra is generated by 23 elements. Despite $D_3 \cong A_3$ , the specific basis choice yields a distinct set of generators. The algebra is identified as a cubic algebra ( $d'=3$ ).
- For $C_3$ ( $\mathfrak{sp}(6, \mathbb{C})$ ), the algebra is generated by 104 elements, structurally similar to $B_3$ but with short and long roots interchanged. It is also identified as a quintic algebra ( $d''=5$ ).
Inclusion Relations: The paper establishes inclusion chains between these algebras and their lower-rank counterparts:
- $Q_{A_2}(2) \subset Q_{D_3}(3) \subset Q_{B_3}(5)$
- $Q_{A_2}(2) \subset Q_{C_3}(5)$
  These relations reflect the embedding of root systems and the corresponding polynomial structures.
Superintegrable Systems: Using the identified generators, the authors construct algebraic superintegrable systems. By defining Hamiltonians $H$ as polynomials in the Cartan elements (and potentially Casimir invariants), they demonstrate that the resulting systems possess a sufficient number of functionally independent integrals of motion to be superintegrable.
Functional Independence: For the rank-three cases, the authors explicitly verify the functional independence of a subset of generators (18 for $B_3$ and $C_3$ , 12 for $D_3$ ) by computing the rank of the Jacobian matrix, confirming that higher-degree generators are algebraically dependent on these lower-degree ones.

Significance and Claims
The paper claims to extend the methodology of [1] to the remaining classical series, providing a unified algebraic framework for understanding the centralisers of Cartan subalgebras.

Algebraic Structure: The work characterizes these centralisers as finitely generated polynomial Poisson algebras, linking them to higher-rank Racah algebras. The explicit presentation of these algebras for $B_3, C_3, D_3$ offers a concrete realization of these structures.
Superintegrability: The primary application highlighted is the construction of algebraic superintegrable systems without relying on specific geometric realizations or coordinate systems. The generators of the centralisers serve directly as the integrals of motion.
Quantization: The paper emphasizes that the classical results in $S(\mathfrak{g})$ provide a direct pathway to quantum superintegrable systems in $U(\mathfrak{g})$ via the symmetrization map, offering insight into the quantization of a large class of such systems.
Future Directions: The authors note that while the method is robust for classical series, the classification for exceptional Lie algebras ( $G_2, F_4, E_6, E_7, E_8$ ) remains an open computational challenge, with partial results for $G_2$ already noted in other works. They suggest that the polynomial Poisson algebras found here may offer alternative interpretations of symmetry algebras and potential applications in superintegrable systems on manifolds more general than spheres.

The paper maintains a modest tone regarding future implications, stating that while higher-rank Racah algebras are connected to recoupling theories and orthogonal polynomials, a detailed analysis of whether the $B_n, C_n, D_n$ algebras lead to "physically relevant generalizations" requires further investigation.

Technical Summary: Polynomial Poisson Algebras and Superintegrable Systems from Cartan Centralisers of Types B3, C3, and D3

More like this