Abstract:Faltings showed that "arithmetic Kodaira--Spencer classes" satisfying a certain compatibility axiom cannot exist.
By modifying his definitions slightly, we show that the Deligne--Illusie classes satisfy what could be considered an "arithmetic Kodaira--Spencer" compatibility condition.
Afterwards we discuss a "wittfinitesimal Torelli problem" and its relation to CM Jacobians.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to make the "arithmetic Kodaira - Spencer class" exist by modifying Faltings' definition. Specifically, the paper shows that the Deligne - Illusie classes can satisfy the compatibility conditions similar to those of the arithmetic Kodaira - Spencer class.
### Background and Problem Description
In the field of number theory, the Kodaira - Spencer class is an important tool for describing certain geometric structures on complex manifolds or algebraic varieties. However, in arithmetic geometry, for curves defined over number fields, a similar concept is not directly applicable. Faltings proved in his early work that, according to certain compatibility axioms, the arithmetic Kodaira - Spencer class does not exist. This means that in some cases, we cannot find a suitable class to describe the deformation theory of these geometric objects.
### Core Contributions of the Paper
This paper, by modifying Faltings' definition, introduces a new class - the Deligne - Illusie class, and proves that these classes can satisfy a compatibility condition similar to that of the arithmetic Kodaira - Spencer class. Specifically, the paper shows the following:
1. **Existence of Deligne - Illusie Classes**: By using Buium's Witt differential algebra, the author constructs a class of objects called Deligne - Illusie classes.
2. **Compatibility Conditions**: For a morphism \(f:X\rightarrow Y\) between smooth \(p\)-formal schemes, the Deligne - Illusie classes satisfy a compatibility condition similar to the Kodaira - Spencer class:
\[
f^{*}DI_{Y_{1}/S_{1}}(\delta)=df^{*}DI_{X_{1}/S_{1}}(\delta)\in H^{1}(X_{0},F^{*}T_{X_{0}})
\]
where \(F^{*}T_{X_{0}}\) is the Frobenius tangent bundle.
3. **Application to CM Jacobian**: The paper also explores a problem related to CM Jacobian, namely the so - called "Witt infinitesimal Torelli problem". This problem is related to Coleman's conjecture about the finiteness of CM Jacobian of curves of high genus.
### Main Theorem
The main result of the paper is Theorem 1.2, which states that for a morphism \(f:X\rightarrow Y\) between smooth \(p\)-formal schemes, the Deligne - Illusie classes satisfy the above - mentioned compatibility condition. This provides a new tool for studying the deformation theory in arithmetic geometry.
### Applications and Significance
This work not only solves the problem of the existence of the arithmetic Kodaira - Spencer class, but also provides a new perspective for further studying the deformation theory in arithmetic geometry. In particular, it is closely related to the study of CM Jacobian and may be of great significance for understanding the arithmetic properties of curves of high genus.
### Summary
In conclusion, this paper successfully solves the problem of the existence of the arithmetic Kodaira - Spencer class by introducing Deligne - Illusie classes and shows the important applications of these classes in arithmetic geometry.