Asymmetric noncommutative torus has vanishing Einstein tensor

Basic Information

• Paper ID: 2511.15539
• Title: Asymmetric noncommutative torus has vanishing Einstein tensor
• Authors: Deeponjit Bose, Andrzej Sitarz (Jagiellonian University)
• Classification: math.QA (Quantum Algebra), math-ph (Mathematical Physics), math.MP, math.OA (Operator Algebras)
• Submission Date: November 19, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2511.15539

Abstract

This paper explicitly computes the spectral metric, torsion, and Einstein tensor for a non-trivial spectral triple on the noncommutative torus. The Dirac operator of this spectral triple is related to the fully equivariant Dirac operator through partial conformal rescaling. The results demonstrate that the spectral triple has vanishing torsion and the Einstein tensor identically vanishes, confirming the authors' conjecture regarding the vanishing of the Einstein functional in two-dimensional spectral geometry.

Research Background and Motivation

Core Problems

This paper investigates the computation of spectral geometric tensors within the noncommutative geometry framework, particularly focusing on:

1. Spectral geometric properties of asymmetric geometric structures on the noncommutative torus
2. Verification of the conjecture that the Einstein functional vanishes identically for two-dimensional spectral triples
3. Exploration of the geometric significance of Dirac operators under partial conformal rescaling

Significance of the Problem

1. Theoretical Significance: Noncommutative geometry, a revolutionary mathematical framework introduced by Connes, extends differential geometry to noncommutative algebras, providing mathematical foundations for quantum physics and string theory
2. Geometric Verification: For classical two-dimensional Riemannian manifolds, the Einstein tensor vanishes identically (guaranteed by the Gauss-Bonnet theorem). Verifying whether this property persists in the noncommutative case is of fundamental importance
3. Methodological Value: The spectral functional method computes geometric tensors relying solely on the spectral properties of the Dirac operator, without requiring the concept of linear connection

Limitations of Existing Methods

1. Noncommutative tori under complete conformal rescaling have been studied (Fathizadeh-Khalkhali et al.), but the spectral geometric properties of partial conformal rescaling (asymmetric case) remain unclear
2. Although the authors computed scalar curvature in 1, complete computation of the Einstein tensor requires more sophisticated pseudodifferential calculus
3. In the noncommutative setting, the classical two-dimensional torsion-free argument no longer holds automatically and requires explicit verification

Research Motivation

The authors conjectured in 2 that appropriately regular two-dimensional spectral triples should have vanishing Einstein functional. This paper verifies this conjecture through the non-trivial example of the asymmetric noncommutative torus, providing support for a broader theory of noncommutative two-dimensional geometry.

Core Contributions

1. Complete computation of spectral geometric tensors for the asymmetric noncommutative torus:
   • Explicit calculation of the metric functional
   • Proof that the torsion functional vanishes identically
   • Proof that the Einstein functional vanishes identically
2. Verification of the two-dimensional spectral geometry conjecture:
   • Provides new non-trivial evidence for the conjecture proposed by the authors in 2 regarding the vanishing of the Einstein functional for two-dimensional spectral triples
   • Confirms that the Gauss-Bonnet theorem holds in this noncommutative geometry
3. Technical methodological contributions:
   • Development of pseudodifferential calculus techniques for handling partial conformal rescaling of Dirac operators
   • Application of Lesch's rearrangement lemma for managing complex integral calculations
   • Completion of explicit calculations for 320 integral terms (detailed in appendix)
4. Theoretical insights:
   • Proof that the spectral triple is spectrally closed
   • Demonstration that vanishing of torsion in noncommutative geometry cannot be derived from dimensional arguments and must be verified explicitly

Methodology Details

Task Definition

Objective: Compute the spectral geometric functionals of the asymmetric noncommutative torus spectral triple $(T^2_\theta, H, D_k)$

Inputs:

• Noncommutative torus algebra $T^2_\theta$
• Hilbert space $H = L^2(T^2_\theta, t) \otimes \mathbb{C}^2$
• Dirac operator $D_k = \sigma_1\delta_1 + \sigma_2(k\delta_2 + \frac{1}{2}\delta_2(k))$, where $k \in JA(T^2_\theta)J^{-1}$ is a positive element

Outputs:

• Metric functional $g_{D_k}(u,v)$
• Torsion functional $T_{D_k}(u,v,w)$
• Einstein functional $G_{D_k}(u,v)$

Model Architecture

1. Spectral Triple Construction (Section 2)

Starting from the classical case, consider the metric on the torus $T^2$: $dx^2 + k^{-2}(x,y)dy^2$

The corresponding Dirac operator is: $D_k = -i\sigma_1\partial_x - i\sigma_2(k\partial_y + \frac{1}{2}\partial_y(k))$

Noncommutative Generalization (Definition 2.1):

• Replace partial derivatives with derivations $\delta_1, \delta_2$
• Take $k$ in the commutative subalgebra $JA(T^2_\theta)J^{-1}$, ensuring bounded commutators
• The resulting $D_k$ represents the same K-homology class

2. Pseudodifferential Calculus (Section 3)

Key Calculations:

Symbol of $D_k^2$: $\rho(D_k^2) = a_2 + a_1 + a_0$ where:

• $a_2 = \xi_1^2 + k^2\xi_2^2$ (principal symbol)
• $a_1 = (3k\delta_2(k)/2 + \delta_2(k)k/2 + i\sigma_3\delta_1(k))\xi_2$
• $a_0 = \delta_2(k)^2/4 + i\sigma_3\delta_{12}(k)/2 + k\delta_{22}(k)/2$

Symbol expansion of $D_k^{-1}$: $\rho(D_k^{-1}) = b_{-1} + b_{-2} + b_{-3} + \cdots$

where: $b_{-1} = (\sigma_1\xi_1 + k\sigma_2\xi_2)(\xi_1^2 + k^2\xi_2^2)^{-1}$

$b_{-2}$ is determined by recurrence relations (formula 3.2 provides explicit expression containing approximately 40 terms)

Symbol expansion of $D_k^{-2}$: $\rho(D_k^{-2}) = c_{-2} + c_{-3} + c_{-4} + \cdots$

3. Spectral Functional Definitions (Section 4)

Metric Functional (n-dimensional spectral geometry): $g_D(u,v) = \text{Wres}(uv|D|^{-n})$

Torsion Functional: $T_D(u,v,w) = \text{Wres}(uvwD|D|^{-n})$

Einstein Functional: $G_D(u,v) = \text{Wres}(u\{D,v\}DD^{-n})$

where Wres denotes the Wodzicki residue (noncommutative trace).

Technical Innovations

1. Handling Partial Conformal Rescaling

Unlike complete conformal rescaling, $D_k$ undergoes rescaling only in the $\delta_2$ direction:

• Maintains standard form in the $\delta_1$ direction
• The $\delta_2$ direction is modulated by $k$
• This produces an asymmetric metric structure

2. Application of Lesch's Rearrangement Lemma

For integrals of the form: $I(m,n,a,b,\alpha,\beta) = \int_0^{2\pi} \tau\left(b_0^m k^a \delta_i(k) b_0^n k^b \delta_j(k) \xi_1^{2\alpha}\xi_2^{2\beta}\right)d\phi$

Through variable substitution $z = \tan(\phi)$ and operator $\Delta(A) = k^{-1}Ak$, this is transformed to: $I = \tau([F(\Delta; m,n,\beta,a,b)(\delta_i(k))]\delta_j(k))$

where: $F(s;m,n,\beta,a,b) = 4k^{a+b-2\beta-1}\int_0^\infty du \, u^{2\beta}\left(\frac{1}{1+u^2}\right)^m s^b\left(\frac{1}{1+u^2s^2}\right)^n$

3. Homogeneity Constraints

Due to symbol homogeneity, all integrals satisfy $m+n-\alpha-\beta-1=0$, simplifying the calculations.

4. Systematic Term Classification

The symbols in the Einstein functional (containing 320 terms) are classified according to coefficients of $u_iv_j$:

• $u_1v_1$ terms (32 terms)
• $u_1v_2$ terms (79 terms)
• $u_2v_1$ terms (71 terms)
• $u_2v_2$ terms (138 terms)

Each class is computed separately and verified to sum to zero.

Experimental Setup

Theoretical Computational Framework

This paper is pure mathematical theory without numerical experiments, but its "computational setup" can be understood as:

"Data":

• Pseudodifferential calculus structure of the noncommutative torus algebra
• Symbol expansion of the Dirac operator $D_k$

"Algorithm":

• Symbol calculus recursion algorithm
• Wodzicki residue computation
• Integral evaluation (verified using Mathematica)

"Verification Methods":

• Analytical computation of each integral term
• Symbolic computation verification using Mathematica
• Verification of cancellation across different terms

Computational Complexity

1. Symbolic Computation:
   • The first three symbols of $D_k^{-1}$ require recursive calculation
   • The -2-order symbol of $u\{D_k,v\}D_k^{-1}$ contains hundreds of terms
2. Integral Computation:
   • Total of 290 non-trivial integrals (Appendix Tables 1-6)
   • Each integral has the form $F(s;m,n,\beta,a,b)$
   • Verification that all integral combinations sum to zero is required

Experimental Results

Main Results

Proposition 4.1 (Metric Functional)

For one-forms $u = u_1\sigma_1 + ku_2\sigma_2$, $v = v_1\sigma_1 + kv_2\sigma_2$: $g_{D_k}(u,v) = \tau\left(\frac{1}{k}u_1v_1 + ku_2v_2\right)$

Interpretation:

• The metric exhibits different scaling in the two directions: $1/k$ and $k$
• This is precisely the noncommutative version of the asymmetric metric $dx^2 + k^{-2}dy^2$
• The metric is positive definite (since $k>0$)

Proposition 4.2 (Torsion Functional)

$T_{D_k}(u,v,w) = 0 \quad \text{(identically vanishing)}$

Proof Outline (Formulas 4.7-4.8):

• The product of three one-forms can be written as $a\sigma_1 + b\sigma_2$
• Computing $W((a\sigma_1+b\sigma_2)D_k|D_k|^{-2})$ for the Wodzicki residue
• In the integral over $S^1$, the coefficient of $\delta_1(k)$ is: $-\frac{3\pi}{2k^2} + \frac{\pi}{k^2} + \frac{\pi}{2k^2} = 0$
• The coefficient of $\delta_2(k)$ is: $-\frac{3\pi}{2} + \frac{\pi}{2} - \frac{\pi}{2} + \frac{3\pi}{2} = 0$

Significance: In the noncommutative setting, two-dimensionality does not automatically guarantee torsion-free geometry; explicit verification is necessary.

Section 5 (Einstein Functional)

$G_{D_k}(u,v) = 0 \quad \text{(identically vanishing)}$

Proof Strategy:

1. Compute the first-order and zero-order symbols of $u\{D_k,v\}$ (Formulas 5.3-5.5)
2. Compute $\rho_{-2}(u\{D_k,v\}D_k^{-1})$ (Formula 5.6, complete form in appendix)
3. Verify that terms containing $u_i\delta_j(v_k)$ automatically cancel (due to vanishing torsion)
4. Verify that the remaining 290 integral terms cancel (Appendix Tables 1-6)
5. Each table's integrals sum to zero

Key Observations:

• Coefficients of second derivative terms $\delta_i\delta_j(k)$ sum to zero
• All first derivative integral combinations cancel exactly
• This confirms the vanishing of the Einstein tensor in two-dimensional spectral geometry

Ablation Study/Component Analysis

Although not a traditional ablation study, the paper verifies results through:

1. Classification by $u_iv_j$ terms (Tables 1-6):
   • $u_1v_1$ related to $\delta_1(k)^2$: 32 integral terms sum to 0
   • $u_1v_1$ related to $\delta_2(k)^2$: 32 integral terms sum to 0
   • $u_1v_2$ mixed terms: 79 integral terms sum to 0
   • $u_2v_1$ mixed terms: 71 integral terms sum to 0
   • $u_2v_2$ related to $\delta_1(k)^2$: 29 integral terms sum to 0
   • $u_2v_2$ related to $\delta_2(k)^2$: 48 integral terms sum to 0
2. Independent Mathematica Verification:
   • All integral formulas verified by Mathematica symbolic computation
   • Code available from the authors

Case Study

Spectral Closure Property (End of Section 4.2):

The paper proves the stronger result that for any product of multiple one-forms $T$: $W(TD_k|D_k|^{-2}) = 0$

This demonstrates that the spectral triple is "spectrally closed," meaning all higher-order spectral functionals vanish.

Experimental Findings

1. Structural Cancellation: The 320 terms in the Einstein functional do not cancel randomly but cancel in groups according to geometric structure
2. Relationship Between Torsion and Einstein: The torsion-free property simplifies Einstein functional computation, making it a genuine bilinear form
3. Noncommutative Gauss-Bonnet: Results are consistent with scalar curvature calculations in 1, supporting the validity of the Gauss-Bonnet theorem in this geometry

Related Work

Spectral Geometry of Noncommutative Tori

1. Connes-Tretkoff 4: First proof of Gauss-Bonnet theorem for noncommutative two-torus using pseudodifferential calculus
2. Connes-Moscovici 5: Development of modular curvature theory
3. Fathizadeh-Khalkhali 11-13:
   • Noncommutative torus under complete conformal rescaling
   • Scalar curvature computation and Weyl law
   • Proof of Gauss-Bonnet theorem
4. Rosenberg 14: Levi-Civita theorem for noncommutative tori
5. Floricel-Ghorbanpour-Khalkhali 15: Ricci curvature in noncommutative geometry

Spectral Functional Methods

6. Dąbrowski-Sitarz-Zalecki 2,6,7:
   • 2 Introduction of spectral metric and Einstein functional
   • 6 Spectral torsion theory
   • 7 Spectral functionals for Hodge-Dirac operators
   • Conjecture on vanishing of two-dimensional Einstein functional

Unique Contributions of This Paper

• First treatment of partial conformal rescaling: Differs from the complete conformal case in 11-13
• Verification of two-dimensional conjecture: Provides new evidence for the conjecture in 2
• Technical innovation: Develops computational techniques for the asymmetric case

Conclusions and Discussion

Main Conclusions

1. The spectral triple of the asymmetric noncommutative torus has good geometric properties:
   • Metric functional yields a positive definite asymmetric metric
   • Torsion functional vanishes identically (Dirac operator is torsion-free)
   • Einstein functional vanishes identically
2. Verification of the two-dimensional spectral geometry conjecture:
   • Supports the conjecture that "appropriately regular two-dimensional spectral triples have vanishing Einstein functional"
   • Consistent with the Gauss-Bonnet theorem
3. Parallelism between noncommutative and classical geometry:
   • At least certain two-dimensional noncommutative geometries behave similarly to the classical case
   • The spectral method correctly captures geometric information

Limitations

1. Specific Geometric Structure:
   • Only one specific type of partial conformal rescaling is studied
   • More general families of Dirac operators remain unexplored
2. Dimensional Restriction:
   • Conclusions apply only to the two-dimensional case
   • Einstein tensor may be non-zero in higher-dimensional noncommutative geometry
3. Computational Complexity:
   • Explicit computation is extremely tedious (320 terms)
   • More complex geometries may be difficult to handle
4. Physical Applications Not Discussed:
   • Physical significance of this geometry is not discussed
   • Connections to quantum field theory or string theory remain unclear

Future Directions

The paper indicates the following directions for future research:

1. Generalization to Broader Families of Dirac Operators:
   • Study other types of partial conformal rescaling on noncommutative tori
   • Explore non-equivariant cases
2. Higher-Dimensional Generalizations:
   • Study Einstein tensor for higher-dimensional noncommutative tori
   • Determine conditions under which Einstein functional vanishes
3. Connections to Physics:
   • Explore applications in noncommutative field theory
   • Study noncommutative models of quantum gravity
4. Computational Method Improvements:
   • Develop automated symbolic computation packages
   • Establish computer algebra systems for noncommutative geometry
   • Explore possibilities of machine learning-assisted symbolic computation

Selected References

• 1 Dąbrowski, L., Sitarz, A.: An asymmetric noncommutative torus. SIGMA 11, 075 (2015)
  • Introduces the geometric structure studied in this paper
• 2 Dąbrowski, L., Sitarz, A., Zalecki, P.: Spectral metric and Einstein functionals. Advances in Mathematics 427, 109128 (2023)
  • Introduces spectral functional methods and the two-dimensional conjecture
• 3 Connes, A.: Noncommutative Geometry (1994)
  • Foundational work on noncommutative geometry
• 4 Connes, A., Tretkoff, P.: The Gauss-Bonnet theorem for the noncommutative two torus (2011)
  • First proof of Gauss-Bonnet theorem for noncommutative torus
• 5 Connes, A., Moscovici, H.: Modular curvature for noncommutative two-tori. JAMS 27(3), 639-684 (2014)
  • Modular curvature theory

In-Depth Evaluation

Strengths

1. Mathematical Rigor

• Completeness: Complete derivation from spectral triple definition to final results
• Explicitness: All symbols and integrals given in explicit form (17-page appendix)
• Verifiability: Provides Mathematica code for verification

2. Technical Contributions

• Mastery of pseudodifferential calculus: Skillful handling of complex symbol recursions
• Creative use of Lesch's lemma: Transforms complex integrals into manageable forms
• Systematic computational organization: 290 integrals clearly classified

3. Theoretical Significance

• Verification of important conjecture: Provides crucial evidence for two-dimensional spectral geometry theory
• Connection between classical and noncommutative: Demonstrates profound parallelism
• Methodological value: Provides computational paradigm for similar problems

4. Writing Quality

• Clear structure: Natural progression from classical to noncommutative case
• Clear motivation: Clearly explains why this specific geometry is studied
• Sufficient technical detail: Appendix provides complete calculations

Weaknesses

1. Lack of Physical Intuition

• Does not explain why this specific partial conformal rescaling is chosen
• Lacks intuitive geometric or physical understanding
• Connections to physical applications unexplored

2. Limited Generality

• Only one specific example is treated
• Scope of applicability of the method not discussed
• Difficult to judge universality of results

3. Computation-Oriented

• Paper is primarily technical computation
• Lacks deeper conceptual insights
• Does not reveal underlying mechanism for Einstein tensor vanishing

4. Expectedness of Results

• Einstein tensor vanishing in two dimensions is "expected" (by Gauss-Bonnet)
• Main contribution is verification rather than discovery of new phenomena
• Torsion vanishing is also somewhat predictable

5. Presentation Could Be Improved

• Extensive integral tables in appendix may obscure main ideas
• Some technical details could be simplified or moved to supplementary material
• Lack of diagrams to aid geometric understanding

Impact

Contribution to the Field

Short-term Impact:

• Provides important verification for spectral geometry theory
• Demonstrates techniques for handling asymmetric cases
• Encourages further research on two-dimensional noncommutative geometry

Long-term Potential:

• If the two-dimensional conjecture is proven, this paper is a key precursor
• Computational techniques may apply to other noncommutative manifolds
• May inspire research on higher-dimensional cases

Practical Value

Theoretical Physics:

• Provides geometric foundation for noncommutative spacetime models
• May apply to discrete models of quantum gravity

Pure Mathematics:

• Enriches examples in operator algebra and noncommutative geometry
• Connects K-theory, spectral theory, and differential geometry

Reproducibility

• Highly reproducible: All computational steps are explicit
• Tool support: Mathematica code is available
• Independent verification: Other researchers can repeat calculations

However, note that:

• Requires deep background in noncommutative geometry
• Computational volume is enormous, manual verification is difficult
• Depends on symbolic computation software

Applicable Scenarios

Suitable Research Directions

1. Noncommutative Differential Geometry:
   • Study spectral geometry of other noncommutative manifolds
   • Generalization to quantum groups, C*-algebras, etc.
2. Mathematical Physics:
   • Geometric framework for noncommutative field theory
   • Algebraic models of quantum gravity
3. Operator Theory:
   • Spectral properties of pseudodifferential operators
   • Noncommutative residue theory
4. Index Theory:
   • Atiyah-Singer index theorem on noncommutative manifolds
   • Local index formulas

Less Suitable Scenarios

1. Applied Mathematics: Results too abstract, difficult to apply in short term
2. Numerical Computation: Primarily symbolic computation, limited role for numerical methods
3. Beginner Learning: High technical threshold, not suitable for introduction

Recommendations for Follow-up Research

For readers interested in building on this work:

1. Technical Preparation:
   • Master foundations of Connes' noncommutative geometry 3
   • Study pseudodifferential calculus 4,5
   • Become familiar with spectral functional theory 2,6,7
2. Possible Research Directions:
   • Generalize to more general classes of $k$ functions
   • Study three-dimensional noncommutative tori
   • Explore connections with noncommutative Ricci flow
   • Seek conceptual proof of Einstein tensor vanishing
3. Tool Development:
   • Develop automated symbolic computation packages
   • Establish computer algebra systems for noncommutative geometry
   • Explore possibilities of machine learning-assisted symbolic computation

Summary

This is a highly technical pure mathematics paper that verifies important geometric properties of the asymmetric noncommutative torus through extensive symbolic computation. Its main value lies in:

1. Verification Contribution: Provides non-trivial evidence for a fundamental conjecture in two-dimensional spectral geometry
2. Technical Demonstration: Shows how to systematically handle complex noncommutative geometric computations
3. Theoretical Refinement: Enriches understanding of noncommutative torus geometry

Although the results are in some sense "expected" (two-dimensional Einstein tensor should vanish), explicit verification in the noncommutative framework remains necessary and valuable. The paper's limitations include lack of physical intuition and limited generality. Future work finding a conceptual proof of Einstein tensor vanishing or generalizing the method would have greater impact.

For researchers in noncommutative geometry, this is an important reference; for other fields, the technical details may be too specialized, but the mathematical rigor and computational techniques demonstrated are worth emulating.