Finite spectral triples for the fuzzy torus

John W. Barrett,James Gaunt
2024-10-30
Abstract:Finite real spectral triples are defined to characterise the non-commutative geometry of a fuzzy torus. The geometries are the non-commutative analogues of flat tori with moduli determined by integer parameters. Each of these geometries has four different Dirac operators, corresponding to the four unique spin structures on a torus. The spectrum of the Dirac operator is calculated. It is given by replacing integers with their quantum integer analogues in the spectrum of the corresponding commutative torus.
Quantum Algebra,General Relativity and Quantum Cosmology,High Energy Physics - Theory,Mathematical Physics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to characterize the non - commutative geometry of the fuzzy torus by defining finite real spectral triples. Specifically, the authors focus on the non - commutative analogues in non - commutative geometry where the moduli of flat tori are determined by integer parameters. Each such geometric structure has four different Dirac operators, corresponding to the four spin structures on the torus. The main contribution of the paper lies in constructing the Dirac operators of these fuzzy tori and calculating their spectra. The results show that the spectra of the fuzzy Dirac operators can be obtained from the spectra of the Dirac operators of the corresponding commutative tori by replacing integers with their quantum - integer analogues. ### Background and Problem Description of the Paper 1. **Non - commutative Geometry**: Non - commutative geometry provides a generalization of traditional geometry by removing the restriction that algebras must be commutative. In this framework, an important mathematical structure is called the real spectral triple, which contains an algebra \(A\), a Hilbert space \(H\), and a Dirac operator \(D\). 2. **Fuzzy Torus**: The fuzzy torus is a finite non - commutative geometric structure, where the algebra is a (finite - dimensional) matrix algebra and the Dirac operator is also a matrix. This structure is an approximation of the traditional flat torus but has non - commutative properties. 3. **Dirac Operator**: In traditional Riemannian spin geometry, the Dirac operator is an important tool for studying spin manifolds. In non - commutative geometry, constructing an appropriate Dirac operator is crucial because it can reveal many properties of the geometric structure, such as the spin structure. ### Main Results 1. **Construction of Dirac Operators**: The authors defined a non - commutative Dirac operator, which is a very close analogue of the Dirac operator in the commutative case, where derivatives are replaced by commutators and functions are replaced by anticommutators. 2. **Calculation of Spectra**: By calculating the spectra of the Dirac operators, the authors found that these spectra are the quantum - integer analogues of the spectra of the Dirac operators in the commutative case. This result indicates that the spectral structures in non - commutative geometry and commutative geometry are deeply related. 3. **Determination of Spin Structures**: By analyzing the spectra of the Dirac operators, the corresponding spin structures of the commutative tori can be determined. This is consistent with the spin structures determined by the frame fields. ### Methods and Techniques 1. **Non - commutative Geometry Framework**: Using the framework of real spectral triples, the authors constructed the non - commutative geometry of the fuzzy torus. 2. **Definition of Dirac Operators**: By defining appropriate algebraic elements \(X\) and \(Y\), the non - commutative Dirac operator was constructed. 3. **Calculation of Spectra**: Through detailed calculations of the Dirac operator, the specific forms of its spectra were obtained. ### Conclusion This paper successfully constructed the non - commutative Dirac operators of the fuzzy torus and, by calculating their spectra, demonstrated the profound connection between non - commutative geometry and commutative geometry. This result not only provides a new perspective for understanding non - commutative geometry but also lays the foundation for further research on spin structures in non - commutative geometry.