1 Introduction
1.1 Notation
1.2 Lie Algebroids
1.3 Deformations and Previous Results
$$\begin{array}{c}d(\pi \u231f\epsilon )=0\text{.}\end{array}$$ | (1.1) |
2 Metacurvature
$$\begin{array}{c}\{\sigma ,\rho \}=-(-{)}^{deg\sigma deg\rho}\{\rho ,\sigma \}\text{,}\end{array}$$ | (2.1) |
$$\begin{array}{c}\left\{\right\{\sigma ,\rho \},\lambda \}=\{\sigma ,\{\rho ,\lambda \left\}\right\}-(-{)}^{deg\sigma deg\rho}\{\rho ,\{\sigma ,\lambda \}\}\text{.}\end{array}$$ | (2.2) |
$$\begin{array}{c}d(\sigma \wedge \rho )=d\sigma \wedge \rho +(-{)}^{deg\sigma}\sigma \wedge d\rho \text{.}\end{array}$$ | (2.3) |
$$\begin{array}{c}d\{\sigma ,\rho \}=\{d\sigma ,\rho \}+(-{)}^{deg\sigma}\{\sigma ,d\rho \}\text{.}\end{array}$$ | (2.4) |
$$\begin{array}{c}\{\sigma ,\rho \wedge \lambda \}=\{\sigma ,\rho \}\wedge \lambda +(-{)}^{deg\sigma deg\rho}\rho \wedge \{\sigma ,\lambda \}\text{.}\end{array}$$ | (2.5) |
$$\begin{array}{cccccc}K(df,dg)\alpha & ={\mathcal{D}}_{df}{\mathcal{D}}_{dg}\alpha -{\mathcal{D}}_{dg}{\mathcal{D}}_{df}\alpha -{\mathcal{D}}_{[df,dg{]}_{\pi}}\alpha & & ={\mathcal{D}}_{df}{\mathcal{D}}_{dg}\alpha -{\mathcal{D}}_{dg}{\mathcal{D}}_{df}\alpha -{\mathcal{D}}_{d\{f,g\}}\alpha & & =\{f,\{g,\alpha \left\}\right\}-\{g,\{f,\alpha \left\}\right\}-\left\{\right\{f,g\},\alpha \}=0\text{.}\end{array}$$ |
$$\begin{array}{cccc}T(df,dg)& ={\mathcal{D}}_{df}dg-{\mathcal{D}}_{dg}df-[df,dg{]}_{\pi}& & ={\mathcal{D}}_{df}dg-{\mathcal{D}}_{dg}df-d\{f,g\}=0\text{.}\end{array}$$ |
$$\begin{array}{c}\begin{array}{cccc}0& \stackrel{\mathfrak{?}}{=}\{f,\{\beta ,\gamma \left\}\right\}-\left\{\right\{f,\beta \},\gamma \}-\left\{\right\{f,\gamma \},\beta \}& & ={\mathcal{D}}_{df}\{\beta ,\gamma \}-\{{\mathcal{D}}_{df}\beta ,\gamma \}-\{{\mathcal{D}}_{df}\gamma ,\beta \}\text{.}\end{array}\end{array}$$ | (2.6) |
$$\begin{array}{c}M(df,\beta ,\gamma )=\{f,\{\beta ,\gamma \left\}\right\}-\left\{\right\{f,\beta \},\gamma \}-\left\{\right\{f,\gamma \},\beta \}\end{array}$$ | (2.7) |
$$\begin{array}{cccccccccc}M(df,g\beta ,\gamma )-gM(df,\beta ,\gamma )& =\{f,g\}\{\beta ,\gamma \}-\left\{\right\{f,g\}\beta ,\gamma \}& & +\{f,\beta \wedge \{g,\gamma \left\}\right\}-\{f,\beta \}\wedge \{g,\gamma \}& & -\beta \wedge \{g,\{f,\gamma \left\}\right\}& & =\beta \wedge \left(-\left\{\right\{f,g\},\gamma \}+\{f,\{g,\gamma \left\}\right\}-\{g,\{f,\gamma \left\}\right\}\right)& & =0\text{.}\end{array}$$ |
$$\begin{array}{cc}{M}_{lm}^{ijk}& ={\mathcal{D}}^{i}{\mathcal{D}}^{j}{\mathcal{D}}^{k}{\omega}_{lm}\end{array}$$ | (2.8a) |
$$\begin{array}{cc}& =-{\pi}^{ai}{\pi}^{bj}{\pi}^{ck}{\omega}_{dl}{\omega}_{em}{\pi}_{|abc}^{de}\end{array}$$ | (2.8b) |
$$\begin{array}{}\end{array}$$ |
$$\begin{array}{cccccc}\{fdg,\alpha \}& =f\{dg,\alpha \}+dg\wedge \{f,\alpha \}=f\{dg,\alpha \}& & =f\left(\{dg,\alpha \}-d\{g,\alpha \}\right)=-f\{g,d\alpha \}& & =-f{\mathcal{D}}_{dg}d\alpha =-{\mathcal{D}}_{fdg}d\alpha \end{array}$$ |
$$\begin{array}{cc}M(df,\alpha ,\alpha )& =\{f,\{\alpha ,\alpha \left\}\right\}={\mathcal{D}}_{df}\{\alpha ,\alpha \}=-{\mathcal{D}}_{df}{\mathcal{D}}_{\alpha}d\alpha \end{array}$$ |
$$\begin{array}{cc}M(\alpha ,\alpha ,\alpha )& =-{\mathcal{D}}_{\alpha}^{2}{\#}^{-1}{\nabla}_{\#\alpha}\pi \end{array}$$ | (2.9) |
$$\begin{array}{cc}& =-{\mathcal{D}}_{\alpha}^{3}{\#}^{-1}\pi ={\mathcal{D}}_{\alpha}^{3}\omega .\end{array}$$ | (2.10) |
$$\begin{array}{}\end{array}$$ |
3 2 Dimensions
4 Divergence
$$\begin{array}{c}\mathcal{D}\cdot \sigma =\phi \u231f\sigma -\delta \sigma \end{array}$$ | (4.1) |
$$\begin{array}{c}\mathcal{D}\cdot \alpha =\phi \u231f\alpha -\pi \u231fd\alpha \end{array}$$ | (4.2) |
$$\begin{array}{c}\phi \u231f\epsilon =-d(\pi \u231f\epsilon )\end{array}$$ | (4.3) |
$$\begin{array}{cc}(\mathcal{D}\wedge X)\u231f\sigma & =\mathcal{D}\cdot (X\u231f\sigma )+(-{)}^{p}X\u231f(\mathcal{D}\cdot \sigma )\end{array}$$ |
$$\begin{array}{cc}& =-(-{)}^{p}X\u231f(\phi \u231f\sigma )-\delta (X\u231f\sigma )+(-{)}^{p}X\u231f(\mathcal{D}\cdot \sigma )\text{.}\end{array}$$ |
$$\begin{array}{}\end{array}$$ |
5 Realizations
5.1 Realizations and Connections
$$\begin{array}{c}\#{\phi}^{*}\left({\mathcal{D}}_{\alpha}\beta \right)={\nabla}_{\#{\phi}^{*}\alpha}(\#{\phi}^{*}\beta )\text{.}\end{array}$$ | (5.1) |
$$\begin{array}{c}{\mathcal{D}}_{\xi}\xi =0\text{.}\end{array}$$ | (5.2) |
$$\begin{array}{c}0={\phi}^{*}(\mathcal{D}\cdot df)=\partial \cdot (\#{\phi}^{*}df)\text{.}\end{array}$$ | (5.3) |
$$\begin{array}{cc}0& =d\left[(\#{\phi}^{*}df)\u231f\frac{{\omega}^{N}}{N!}\right]\end{array}$$ |
$$\begin{array}{cc}& =\partial \cdot (\#{\phi}^{*}df)\frac{{\omega}^{N}}{N!}+{\partial}_{\#{\phi}^{*}df}\frac{{\omega}^{N}}{N!}\text{.}\end{array}$$ |
$$\begin{array}{}\end{array}$$ |
$$\begin{array}{c}\langle \#{\phi}^{*}\alpha ,\#{\phi}^{*}\beta {\rangle}^{\prime}={\phi}^{*}[\langle \alpha ,\beta \rangle ]\end{array}$$ | (5.4) |
6 Riemannian Manifolds
$$\begin{array}{c}[a,([D,b{]}_{-}{)}^{2}{]}_{-}=[a,[D,b{]}_{-}{]}_{-}[D,b{]}_{-}+[D,b{]}_{-}[a,[D,b{]}_{-}{]}_{-}\text{.}\end{array}$$ | (6.1) |
6.1 Local Structure
$$\begin{array}{c}d{s}^{2}={g}_{ab}^{\parallel}(d{x}^{a}-{A}_{\alpha}^{a}d{z}^{\alpha})(d{x}^{b}-{A}_{\beta}^{b}d{z}^{\beta})+{g}_{\alpha \beta}^{\perp}d{z}^{\alpha}d{z}^{\beta}\end{array}$$ | (6.2) |
$$\begin{array}{c}{g}_{\parallel}^{ac}{g}_{\parallel}^{bd}{R}_{abcd}=tr{K}^{2}-(trK{)}^{2}={K}_{ab\alpha}{K}^{ab\alpha}-{K}_{a\alpha}^{a}{K}_{b}^{b\alpha}\text{.}\end{array}$$ | (6.3) |
$$\begin{array}{c}\pi =\frac{1}{2}{\Pi}^{AB}{X}_{A}\wedge {X}_{B}\end{array}$$ | (6.4) |
$$\begin{array}{c}\stackrel{~}{\pi}=\frac{1}{2}{\Pi}^{AB}{\stackrel{~}{X}}_{A}\wedge {\stackrel{~}{X}}_{B}\end{array}$$ | (6.5) |
6.2 Global Structure
$$\begin{array}{cccc}d(\pi \u231f\epsilon )& =\frac{1}{2}{\Pi}^{AB}d\left[\right({X}_{A}\wedge {X}_{B})\u231f\epsilon )& & ={\Pi}^{AB}{X}_{A}\u231f\left({\mathcal{\mathcal{L}}}_{{X}_{B}}\epsilon \right)-\frac{1}{2}{\Pi}^{AB}[{X}_{A},{X}_{B}]\u231f\epsilon =0\end{array}$$ |
$$\begin{array}{cccccc}T(df,dh)& ={\mathcal{D}}_{df}dh-{\mathcal{D}}_{dh}df-d\{f,h\}& & ={\Pi}^{AB}\left[{X}_{A}\right(f\left)d\right({X}_{B}h)+d({X}_{A}f\left){X}_{B}\right(h)-d({X}_{A}f{X}_{B}h\left)\right]& & =0\text{.}\end{array}$$ |
$$\begin{array}{cccc}\{\sigma ,\rho \}& ={\Pi}^{AB}d({X}_{A}\u231f\sigma )\wedge d({X}_{B}\u231f\rho )& & =d\left[\right({X}_{A}\u231f\sigma )\wedge {\mathcal{\mathcal{L}}}_{{X}_{B}}\rho ]\text{.}\end{array}$$ |
7 Spectral Triples
7.1 Differential Forms
7.2 Axioms
7.3 Converse Construction
7.3.1 Algebra
7.3.2 Hilbert Space
7.3.3 Dirac Operator
7.3.4 Real Structure
7.3.5 Smoothness
7.3.6 Differential Forms
7.3.7 Orientation
7.3.8 Poincaré Duality
8 Examples
8.1 Torus
8.2 Flat Manifolds
$$\begin{array}{cccc}{U}_{1}{V}_{1}& ={e}^{(2\pi {)}^{2}i\u0127}{V}_{1}{U}_{1},& {U}_{2}{V}_{2},& ={e}^{(2\pi {)}^{2}i\u0127}{V}_{2}{U}_{2},\end{array}$$ |
8.3 Heisenberg Manifolds
9 Conclusions