Modular curvature and Morita equivalence

DOI10.1007/S00039-016-0375-6MaRDI QIDQ311142zbMATH OpenOpenAlexFDO

Authors Matthias Lesch, Henri Moscovici

Publication date 29 September 2016

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.00964

zbMATH Keywords

Dirac operatorMorita equivalencetwisted spectral tripleheat expansionHeisenberg moduleimprimitivity bimodulemodular curvaturenoncommutative differential geometrynoncommutative two toripseudodifferential calculusRay-Singer functional

Mathematics Subject Classification ID

Noncommutative differential geometry (46L87) Noncommutative geometry (à la Connes) (58B34) Heat and other parabolic equation methods for PDEs on manifolds (58J35) Module categories in associative algebras (16D90) Pseudodifferential operators (47G30) Noncommutative geometry in quantum theory (81R60)

Abstract: The curvature of the noncommutative torus $T_h^{2}eta$ ($heta$ irrational) endowed with a noncommutative conformal metric has been the focus of attention of several recent works. Continuing the approach taken in the paper [A. Connes and H. Moscovici, http://arxiv.org/abs/1110.3500] we extend the study of the curvature to twisted Dirac spectral triples constructed out of Heisenberg bimodules that implement the Morita equivalence of the $C^{\ast }$-algebra $A_{h}eta=C(T_h^{2}eta)$ with other toric algebras $A_{het{a}^{\prime }}$. In the enlarged context the conformal metric on $T_h^{2}eta$ is exchanged with an arbitrary Hermitian metric on the Heisenberg $(A_{h}eta,A_{het{a}^{\prime }})$-bimodule $E^{\prime }$ for which ${mEnd}_{A_{het{a}^{\prime }}}(E^{\prime })=A_{h}eta$. We prove that the Ray-Singer log-determinant of the corresponding Laplacian, viewed as a functional on the space of all Hermitian metrics on $E^{\prime }$, attains its extremum at the unique Hermitian metric whose corresponding connection has constant curvature. The gradient of the log-determinant functional gives rise to a noncommutative analogue of the Gaussian curvature. The genuinely new outcome of this paper is that the latter is shown to be independent of any Heisenberg bimodule $E^{\prime }$ such that $A_{h}eta={mEnd}_{A_{het{a}^{\prime }}}(E^{\prime })$, and in this sense it is Morita invariant. To prove the above results we extend Connes' pseudodifferential calculus to Heisenberg modules. The twisted version, which offers more flexibility even in the case of trivial coefficients, could potentially be applied to other problems in the elliptic theory on noncommutative tori. A noteworthy technical feature is that we systematize the computation of the resolvent expansion for elliptic differential operators on noncommutative tori to an extent which makes the (previously employed) computer assistance unnecessary.

Recommendations

• scientific article; zbMATH DE number 1021205
• Curvatures of moduli space of curves and applications
• Kähler metric and moduli spaces
• Modular Gaussian curvature
• Moduli of curves and spin structures via algebraic geometry
• Modular deformations and space curve singularities
• scientific article; zbMATH DE number 824717
• Equivariant geometry and the cohomology of the moduli space of curves
• Modular curves and rigid-analytic spaces
• Moduli spaces of curves and representation theory

Cites work

• scientific article; zbMATH DE number 1637290 (Why is no real title available?)
• scientific article; zbMATH DE number 3842776 (Why is no real title available?)
• scientific article; zbMATH DE number 4069601 (Why is no real title available?)
• scientific article; zbMATH DE number 671685 (Why is no real title available?)
• scientific article; zbMATH DE number 2866 (Why is no real title available?)
• scientific article; zbMATH DE number 918594 (Why is no real title available?)
• scientific article; zbMATH DE number 3392833 (Why is no real title available?)
• A Riemann-Roch theorem for the noncommutative two torus
• C*-algebras associated with irrational rotations
• Categories of holomorphic vector bundles on noncommutative two-tori
• Classification of holomorphic vector bundles on noncommutative two-tori
• Divided differences in noncommutative geometry: rearrangement lemma, functional calculus and expansional formula
• Extremals of determinants of Laplacians
• Gravity coupled with matter and the foundation of non-commutative geometry
• Levi-Civita's theorem for noncommutative tori
• Modular curvature for noncommutative two-tori
• On the spectral characterization of manifolds
• Projective Modules over Higher-Dimensional Non-Commutative Tori
• Pseudodifferential operators and regularized traces
• Scalar curvature for the noncommutative two torus
• The Gauss-Bonnet theorem for the noncommutative two torus
• The structure of some induced representations

Cited in

(35)

• On the Chern-Gauss-Bonnet theorem and conformally twisted spectral triples for \(C^*\)-dynamical systems
• Pseudodifferential calculus on noncommutative tori. I: Oscillating integrals
• Pseudodifferential calculus on noncommutative tori. II: Main properties
• Levi-Civita connections for a class of spectral triples
• Functional calculus for elliptic operators on noncommutative tori. I
• Quantum differentiability on noncommutative Euclidean spaces
• Local invariants of conformally deformed non-commutative tori II: multiple operator integrals
• Modular Gaussian curvature
• Local invariants of noncommutative tori
• Quantum Euclidean spaces with noncommutative derivatives
• Gauge theories on quantum spaces
• Smooth Connes-Thom isomorphism, cyclic homology, and equivariant quantization
• Zeta functions and topology of Heisenberg cycles for linear ergodic flows
• Curvature in noncommutative geometry
• Curvature of differentiable Hilbert modules and Kasparov modules
• Smooth lattice orbits of nilpotent groups and strict comparison of projections
• Pseudodifferential operators on noncommutative tori: a survey
• Spectral metric and Einstein functionals
• Divided differences in noncommutative geometry: rearrangement lemma, functional calculus and expansional formula
• Scalar curvature for noncommutative four-tori
• Duality of Gabor frames and Heisenberg modules
• Singular integrals in quantum Euclidean spaces
• The Balian-Low theorem for locally compact abelian groups and vector bundles
• On the Chern-Gauss-Bonnet theorem for the noncommutative 4-sphere
• Modular curvature for noncommutative two-tori
• Connes's trace theorem for curved noncommutative tori: application to scalar curvature
• Noncommutative residue and canonical trace on noncommutative tori. Uniqueness results
• Quantum harmonic analysis on lattices and Gabor multipliers
• The Ricci curvature for noncommutative three tori
• Scalar curvature in conformal geometry of Connes-Landi noncommutative manifolds
• Modular curvature for toric noncommutative manifolds
• Curvature of the determinant line bundle for the noncommutative two torus
• Heat asymptotics for nonminimal Laplace type operators and application to noncommutative tori
• Dixmier trace formulas and negative eigenvalues of Schrödinger operators on curved noncommutative tori
• Laplace-Beltrami operators on noncommutative tori

This page was built for publication: Modular curvature and Morita equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q311142)