Conformal structures in noncommutative geometry (Q2471146): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q255706 |
Set OpenAlex properties. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Christian Bär / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0704.2119 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral asymmetry and Riemannian Geometry. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Dirac operator on space forms of positive curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4310044 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4884243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4956073 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4526797 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A conformal lower bound for the smallest eigenvalue of the Dirac operator and Killing spinors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5552928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General Relativity in Terms of Dirac Eigenvalues / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4740221 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integro-Differential Operators on Vector Bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5542418 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963996728 / rank | |||
Normal rank |
Latest revision as of 09:29, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Conformal structures in noncommutative geometry |
scientific article |
Statements
Conformal structures in noncommutative geometry (English)
0 references
22 February 2008
0 references
Let \((M, g)\) be a compact Riemannian spin manifold. Then it is reconstructed from the spectral triple \(({\mathcal A},{\mathcal H},D)\), where \({\mathcal A}= C^\infty(M)\), \({\mathcal H}= L^2(M,\Sigma M)\), \(\Sigma M\) is the spinor bundle, and \(D\) is the Dirac operator. \(M\) is reconstructed from \({\mathcal A}\), while \(g\) is reconstructed from the pair \(({\mathcal H}, D)\), together with the action of \({\mathcal A}\) on \({\mathcal H}\) (this is reviewed in \S2 of this paper). In this paper, the conformal structure of \(M\) is reconstructed from the pair \(({\mathcal H},\text{sign}(D))\). Here \[ \text{sign}(D)(e_n)= \begin{cases} e_n,& \lambda_n> 0,\\ 0, &\lambda_n= 0,\\ -e_n, &\lambda_n< 0,\end{cases} \] where \(De_n= \lambda_n e_n\). The pair \(({\mathcal H},\text{sign}(D))\) together with the action of \({\mathcal A}\) is called canonical Fredholm module of \((M, g)\). If \(g'= e^{2v}g\), then Riemannian metrics \(g\) and \(g'\) on \(M\) are called conformally equivalent. Then, the result is stated that \(g\) and \(g'\) are conformally equivalent if and only if canonical Fredholm modules \(({\mathcal H},\text{sign}(D))\) and \(({\mathcal H},\text{sign}(D'))\) are weakly unitary equivalent (Th. 3.1). To show the Theorem, by using precise symbol calculus, \[ \sigma_Q(\xi)= \Psi(x)\cdot \sigma_P(\xi)\cdot\Phi(x),\quad x\in M,\;\xi\in S^*_x M, \] where \(P\) is a classical pseudo-differential operator of order \(0\) acting on sections in \(E\), \(\Phi\in L^\infty(M,\Hom(E',E))\), \(\Psi\in L^\infty(M, \Hom(E, E'))\) and \(Q=\Psi\circ P\circ \Phi\) is shown (Lemma 4.3). Since the principal symbol of the Dirac operator is given by Clifford multiplication with respect to the metric \(g\); \(\sigma_D(\xi)= ic_g(\xi)\), the principal symbol of \(\text{sign}(D)\) is given by \(\sigma_{\text{sign}(D)}(\xi)= {ic_g(\xi)\over \|\xi\|_g}\). By Lemma 4.3, we have \[ \sigma_{U\circ\operatorname{sign}(D)\circ U^{-1}}(\xi)= \Psi(x)\cdot \sigma_{\text{sign}(D)}(\xi)\circ \Psi^{-1}(x). \] Therefore we obtain \[ {-2g'(\xi,\eta)\over \|\xi\|_{g'}\|\eta\|_{g'}}= {-2g(\xi,\eta)\over \|\xi\|_g\|\eta\|_g}. \] Hence, we have the only if part of Theorem 3.1. The if part follows from the formula \[ \sigma_{\text{sign}(D)}(\xi)= {\sigma_D(\xi)\over |\sigma_D(\xi)|}. \]
0 references
Fredholm module
0 references
spectral triple
0 references
Dirac operator
0 references
\(\text{sign}(D)\)
0 references
pseudo-differential operator
0 references
symbol
0 references
0 references