Table of Contents
Fetching ...

Spectral action and heat kernel trace for Ricci flat manifolds from stochastic flow over second quantized $L^2$-differential forms

Sita Gakkhar, Matilde Marcolli

Abstract

A quantum stochastic differential equation (qsde) on Fock space over $L^2$ differential 1-forms is given from the small "time" flow of which the trace of the connection Laplacian heat kernel for the spinor endomorphism bundle can be computed over any compact Ricci-flat Riemannian manifold. The existence of the stochastic flow is established by adapting the construction from [14]. When the manifold supports a parallel spinor - Ricci-flatness is a required integrability condition for parallel spinors, the trace of Dirac Laplacian heat kernel of the spinor bundle can be recovered. For 4-manifolds, this corresponds to the spectral action, and realizes Einstein-Hilbert action as a stochastic flow.

Spectral action and heat kernel trace for Ricci flat manifolds from stochastic flow over second quantized $L^2$-differential forms

Abstract

A quantum stochastic differential equation (qsde) on Fock space over differential 1-forms is given from the small "time" flow of which the trace of the connection Laplacian heat kernel for the spinor endomorphism bundle can be computed over any compact Ricci-flat Riemannian manifold. The existence of the stochastic flow is established by adapting the construction from [14]. When the manifold supports a parallel spinor - Ricci-flatness is a required integrability condition for parallel spinors, the trace of Dirac Laplacian heat kernel of the spinor bundle can be recovered. For 4-manifolds, this corresponds to the spectral action, and realizes Einstein-Hilbert action as a stochastic flow.
Paper Structure (13 sections, 16 theorems, 81 equations)

This paper contains 13 sections, 16 theorems, 81 equations.

Key Result

Proposition 1.2

For $f\in {\mathcal{C}}^\infty(M)$, $\mathop{}\!\mathbin\bigtriangleup^{\mathop{\mathrm{End}}\nolimits(E)}(f\cdot {\textbf{1}}_\mathop{\mathrm{End}}\nolimits) = \mathop{}\!\mathbin\bigtriangleup^M(f)\cdot{\textbf{1}}_\mathop{\mathrm{End}}\nolimits$.

Theorems & Definitions (41)

  • Remark 1.1
  • Proposition 1.2
  • proof
  • Remark 1.3
  • Remark 1.4
  • Remark 2.1
  • Lemma 3.1
  • proof
  • Remark 3.2
  • Proposition 3.3
  • ...and 31 more