Abstract:We apply methods of derived and non-commutative algebraic geometry to understand ramification phenomena on arithmetic schemes. As an application, we prove the Deligne-Milnor conjecture and, in the pure characteristic case, a generalization of Bloch conductor conjecture.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are to prove the Deligne–Milnor conjecture and to prove a generalized Bloch conductor conjecture in the pure - characteristic case. Specifically:
1. **Deligne–Milnor Conjecture**:
- This conjecture was proposed by Deligne and aims to describe the ramification phenomenon on arithmetic schemes. Specifically, for an S - scheme \( U \) with isolated singularities, the relationship between the Deligne–Milnor number \( \mu_{U/S} \) and the total dimension \( \text{dim}_{\text{tot}}(\Phi) \) of the vanishing cycle complex \( \Phi \). The formula is as follows:
\[
\mu_{U/S}=(- 1)^n\text{dim}_{\text{tot}}(\Phi)
\]
- Here \( n \) is the relative dimension, and \( \mu_{U/S} \) is defined as:
\[
\mu_{U/S}=\text{length}_{\mathcal{O}_{U,x}}(\text{Ext}^1_U(\Omega^1_{U/S},\mathcal{O}_U)_x)
\]
- \( \text{dim}_{\text{tot}}(\Phi) \) is defined as:
\[
\text{dim}_{\text{tot}}(\Phi)=\chi(\Phi)+\text{Sw}(\Phi)
\]
where \( \chi(\Phi) \) is the \( \mathbb{Q}_\ell \)-adic Euler characteristic of \( \Phi \), and \( \text{Sw}(\Phi) \) is the Swan conductor of \( \Phi \).
2. **Generalized Bloch Conductor Conjecture**:
- The generalized conductor conjecture proposed by Bloch is a generalization of the Deligne–Milnor conjecture. Specifically, for a flat, geometrically connected, generically smooth regular S - scheme \( X \) whose singular points are proper over S, the relationship between the Bloch intersection number \( \text{Bl}(X/S) \) and the total dimension \( \text{dim}_{\text{tot}}(X/S;\mathbb{Q}_\ell) \). The formula is as follows:
\[
\text{Bl}(X/S)=-\text{dim}_{\text{tot}}(X/S;\mathbb{Q}_\ell)
\]
- Here \( \text{dim}_{\text{tot}}(X/S;\mathbb{Q}_\ell) \) is defined as:
\[
\text{dim}_{\text{tot}}(X/S;\mathbb{Q}_\ell)=\chi(X_{\bar{\eta}};\mathbb{Q}_\ell)-\chi(X_s;\mathbb{Q}_\ell)+\text{Sw}(X_\eta/\eta;\mathbb{Q}_\ell)
\]
The paper proves these conjectures by using methods of derived and non - commutative algebraic geometry, especially by studying singular dg - categories associated with arithmetic schemes. These methods are applicable not only to the pure - characteristic case but also to the mixed - characteristic case. The paper also provides a categorified Bloch conductor formula, which further deepens the understanding of these conjectures.