A geometric approach to the relative de Rham-Witt complex in the smooth, $\mathbb{Z}$-torsion free case

Maria Lünnemann

2023-11-04

Abstract:Let $X$ be a smooth scheme over a finitely generated flat $\mathbb{Z}$-, $\mathbb{Z}_{(p)}$- or $\mathbb{Z}_p$-algebra $R$. Evaluated at finite truncation sets $S$, the relative de Rham-Witt complex $W_S\Omega_{X/R}^{\bullet}$ is a quotient of the de Rham complex $\Omega^{\bullet}_{W_S(X)/W_S(R)}$, which can be computed affine locally via explicit, but complicated relations. In this paper we prove that $W_S\Omega_{X/R}^{\bullet}$ is the torsionless quotient of the usual de Rham complex $\Omega^{\bullet}_{W_S(X)/W_S(R)}$ on the singular scheme $W_S(X)$. This result was suggested by comparison with a similar modification of the de Rham complex in the theory of singular varieties.

Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to study the relative de Rham - Witt complex by geometric methods in the smooth and Z - torsion - free case. Specifically, the author attempts to prove that when evaluated on the finite truncation set S, the relative de Rham - Witt complex $W_S\Omega^{\bullet}_{X/R}$ is the torsion - free quotient of the usual de Rham complex $\Omega^{\bullet}_{W_S(X)/W_S(R)}$ on the singular scheme $W_S(X)$.

### Specific problem description

1. **Definition and background**:
- Let $X$ be a smooth scheme, defined over a finitely - generated flat Z -, Z(p) - or Zp - algebra $R$.
- $W_S\Omega^{\bullet}_{X/R}$ is the relative de Rham - Witt complex, evaluated on the finite truncation set $S$.

2. **Existing problems**:
- The definition of the relative de Rham - Witt complex is rather complex, and the calculation is also rather difficult. The existing definitions and calculation methods rely on specific but complex relation statistics in the affine local case.
- A simpler and more direct description is needed to understand the structure and properties of the relative de Rham - Witt complex.

3. **Goals**:
- Prove that the relative de Rham - Witt complex $W_S\Omega^{\bullet}_{X/R}$ is the torsion - free quotient of the usual de Rham complex $\Omega^{\bullet}_{W_S(X)/W_S(R)}$ on the singular scheme $W_S(X)$.
- This result is inspired by a similar modification of the de Rham complex of singular varieties.

### Solution

The author solves this problem through the following steps:

1. **Introduce the concept of torsion - free quotient**:
- Define the torsion - free quotient $T_R(M)=M / \ker\epsilon_M$ of the module $M$, where $\epsilon_M: M\rightarrow M^{\vee\vee}$ is the natural double - dual mapping.
- For a sheaf $F$ on the scheme $X$, define its torsion - free quotient $T(F)=F / \ker\epsilon_F$.

2. **Prove the main theorem**:
- The main theorem states that for a smooth and Z - torsion - free scheme $X$, the relative de Rham - Witt complex $W_S\Omega^{\bullet}_{X/R}$ is the torsion - free quotient of the usual de Rham complex $\Omega^{\bullet}_{W_S(X)/W_S(R)}$ on the singular scheme $W_S(X)$.
- This result provides a simpler and more intuitive way to understand the relative de Rham - Witt complex.

### Conclusion

By geometric methods, the author successfully simplifies the definition of the relative de Rham - Witt complex and provides a clearer understanding. This result is not only of great theoretical significance, but also provides new tools and perspectives for further research.