Abstract:Comparing invariants from both topological and geometric perspectives is a key focus in index theorem. This paper compares higher analytic and topological torsions and establishes a version of the higher Cheeger-Müller/Bismut-Zhang theorem. In fact, Bismut-Goette achieved this comparison assuming the existence of fiberwise Morse functions satisfying the fiberwise Thom-Smale transversality condition (TS condition). To fully generalize the theorem, we should remove this assumption. Notably, unlike fiberwise Morse functions, fiberwise generalized Morse functions (GMFs) always exist, we extend Bismut-Goette's setup by considering a fibration $ M \to S $ with a unitarily flat complex bundle $ F \to M $ and a fiberwise GMF $ f $, while retaining the TS condition.
Compared to Bismut-Goette's work, handling birth-death points for a generalized Morse function poses a key difficulty. To address this, first, by the work of the author M.P., joint with Zhang and Zhu, we focus on a relative version of the theorem. Here, analytic and topological torsions are normalized by subtracting their corresponding torsions for trivial bundles. Next, using new techniques from by the author J.Y., we excise a small neighborhood around the locus where $f$ has birth-death points. This reduces the problem to Bismut-Goette's settings (or its version with boundaries) via a Witten-type deformation. However, new difficulties arise from very singular critical points during this <a class="link-external link-http" href="http://deformation.To" rel="external noopener nofollow">this http URL</a> address these, we extend methods from Bismut-Lebeau, using Agmon estimates for noncompact manifolds developed by Dai and J.Y.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **Compare higher - order analytic torsion and topological torsion, and establish a generalized version of the higher - order Cheeger - Müller/Bismut - Zhang theorem**. Specifically, the paper aims to remove the assumption of the fiber Thom - Smale transversality condition in Bismut - Goette's work, so that the theorem can be applied more widely.
### Specific description of the main problems
1. **Limitations of existing work**:
- Bismut - Goette's work assumes the existence of a fiber Morse function that satisfies the fiber Thom - Smale transversality condition.
- Such an assumption limits the scope of application of the theorem, because not all fibrations have such Morse functions.
2. **Introduction of generalized Morse functions (GMF)**:
- The paper introduces fiber - generalized Morse functions (GMF), which always exist, thus avoiding dependence on specific Morse functions.
- GMF allows handling cases with birth - death points, which Morse functions cannot handle.
3. **Challenges in handling birth - death points**:
- The existence of birth - death points makes the analysis more complex, especially in the Witten - type deformation process, very singular critical points will appear.
- To overcome these difficulties, the paper adopts some new techniques, such as excising small neighborhoods of birth - death points, and using Agmon estimates and Bismut - Lebeau methods to handle these singular points.
4. **Relative version of the theorem**:
- By considering the relative version of the theorem, that is, the normalized analytic and combinatorial torsion (subtracting the torsion corresponding to the trivial bundle), the problem can be simplified.
- This method helps to eliminate some complex calculations, especially the terms related to the trivial complex bundle cancel each other out in the final result.
### Formula representation
- **Fiber - generalized Morse function**:
\[
f: M \to \mathbb{R}
\]
where \( f \) is a smooth function, and for each fiber \( Z_\theta \), its critical points are either non - degenerate or birth - death points.
- **Double suspension space**:
\[
M = M \times \mathbb{R}^N \times \mathbb{R}^N
\]
\[
f(p, x_1, x_2) = f(p)-|x_1|^2 + |x_2|^2
\]
- **Key formula**:
\[
eT(THM, g^{TZ}, h^F, h^H, h^{H_0}) = eT(A', h^V, h^H, h^{H_0})
\]
where \( eT \) represents the normalized analytic and combinatorial torsion form.
### Summary
By introducing generalized Morse functions and new techniques for handling birth - death points, the paper successfully generalizes the higher - order Cheeger - Müller/Bismut - Zhang theorem, making it no longer dependent on the assumption of the fiber Thom - Smale transversality condition. This generalization enables the theorem to be applied to a wider range of mathematical structures and geometric problems.