Abstract:We generalize the "miraculous cancellation" formulas of Alvarez-Gaumé, Witten and Kefeng Liu to a twisted version where an extra complex line bundle is involved. We also apply our result to discuss intrinsic relations between the higher dimensional Rokhlin type congruence formulas of Ochanine [O1], Finashin [F] and Zhang [Z1, 2]. In particular, an analytic proof of the Finashin congruence formula is given.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the intrinsic connection between high - dimensional Rokhlin - type congruence formulas and their extensions. Specifically, the author hopes to generalize the "miraculous cancellation" formula to a twisted version involving an additional complex line bundle, and use this generalization to explore the relationships between high - dimensional Rokhlin - type congruence formulas proposed by Ochanine, Finashin, Zhang, etc.
### Main problems of the paper:
1. **Generalize the "miraculous cancellation" formula**: The original "miraculous cancellation" formula was proposed by Alvarez - Gaumé, Witten, and Kefeng Liu to deal with the modular invariance problem in certain specific situations. This paper aims to generalize these formulas to a twisted version that includes an additional complex line bundle.
2. **Explain the analytic versions of Ochanine and Finashin congruence formulas**: Through the generalized "miraculous cancellation" formula, the author hopes to be able to give analytic proofs of Ochanine and Finashin congruence formulas, especially for Spin^c manifolds of dimension 8k + 4.
3. **Establish the connection between high - dimensional Rokhlin - type congruence formulas**: The author hopes to reveal the intrinsic connection between different high - dimensional Rokhlin - type congruence formulas through the generalized formula, especially the relationship between the elliptic genus proof proposed by Landweber and Ochanine divisibility.
### Specific goals of the paper:
- **Derive new congruence formulas**: By introducing an additional complex line bundle, the author hopes to obtain a new congruence formula that can better understand the results of Ochanine and Finashin.
- **Give analytic proofs**: By combining the generalized "miraculous cancellation" formula and Zhang's analytic argument in [LiZ], the author hopes to be able to directly give the proof of the analytic versions of Ochanine and Finashin congruence formulas.
- **Explore a broader mathematical structure**: By studying the relationships between these formulas, the author hopes to reveal more mathematical structures regarding modular invariance, characteristic numbers, and η - invariants.
### Conclusion:
The core problem of this paper is to establish the connection between different high - dimensional Rokhlin - type congruence formulas by generalizing the "miraculous cancellation" formula and give their analytic interpretations. This not only helps to understand the mathematical meaning of these formulas themselves but may also provide new tools and methods for future related research.