Microlocal index theorems and analytic torsion invariants in the geometric theory of partial differential equations

Abstract

We develop a microlocal and derived-geometric framework for index theory and analytic torsion of nonlinear PDEs. By integrating Spencer hypercohomology, microlocal sheaf theory, and factorization algebras, we establish new connections between classical index theorems, BCOV invariants of Calabi-Yau manifolds, and the geometry of configuration spaces. We prove sheaf-theoretic index formulas for families of formally integrable PDEs, a microlocal index theorem for D-algebras generalizing Atiyah-Singer, and a mixed-type index theorem via microlocal stratification. We construct Ray-Singer analytic torsion for involutive systems and show that the BCOV invariant equals the Spencer torsion of the de Rham system. A categorical trace interpretation leads to a virtual index theory for derived moduli spaces of solutions. Finally, we extend the theory to configuration spaces using factorization algebras, with applications to renormalization and QFT. These results unify geometric perspectives on PDEs, torsion invariants, and moduli theory, with implications for mirror symmetry, quantum fields, and Calabi-Yau degenerations.

Theorems & Definitions (86)

• Remark 1.1
• Remark 1.2
• Lemma 1.1
• Theorem 1.1
• Theorem 1.2
• Theorem 1.3: Theorem \ref{['thm: C']}
• Theorem 1.4: Theorem \ref{['ASinger']}
• Lemma 1.2: Lemma \ref{['prop: BoundaryIndex']}
• Theorem 1.5: Theorem \ref{['theorem: Mixed index']}
• Lemma 1.3: Lemma \ref{['prop: TopIndex']}