Weil groups and $F$-isocrystals

Richard Crew

2024-11-26

Abstract:We show that much of local class theory can be deduced from the Dieudonné-Manin structure theory for $F$-isocrystals on an algebraically closed field of characteristic $p>0$. As a consequence we get a new proof of a formula of Dwork for the norm residue symbol, as well as a "constructive" proof of the local Shafarevich-Weil theorem. This last answers a question of Morava.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to give an explicit formula for the fundamental class \(u_{L/K}\) of the local field of a finite Galois extension \(L/K\) without relying on the results of class field theory. Specifically:

1. **Explicit formula for the fundamental class**: The goal of the paper is to provide a clear formula to calculate the fundamental class \(u_{L/K}\) of a finite Galois extension \(L/K\). This is achieved by using the Dieudonné - Manin structure theorem to study F - isocrystals.

2. **Independent of the results of class field theory**: Different from Serre's method, the proof provided in this paper does not rely on the basic results of class field theory (such as the Tate - Nakayama theorem), but directly proves the existence and properties of this fundamental class through the theory of F - isocrystals.

3. **Generalize the Dwork formula**: The paper also generalizes Dwork's formula on the norm residue symbol, and from this concludes that the cup product \(u_{L/K}\) is an isomorphism, which further simplifies the cohomological treatment of local class field theory.

4. **Construction of the relative Weil group**: As a by - product of the main construction, the paper also provides a construction method for the relative Weil group \(W_{L/K}\) and gives a simple proof of the local Weil - Shafarevich theorem.

### Formula representation

- **Simple objects of F - isocrystal**:
\[
V(\lambda)=K_{\sigma}[F]/K_{\sigma}[F](F^{d}-\pi^{r})\quad\text{where}\quad\lambda = \frac{r}{d}\in\mathbb{Q}
\]

- **Fundamental class \(u_{L/K}\)**:
\[
u_{L/K}\in H^{2}(G, L^{\times})
\]
This is a class of central simple \(K\) - algebras with invariant \(1/d\).

- **Norm residue symbol**:
\[
\eta_{L/K}:G^{ab}\to K^{\times}/N_{L/K}(L^{\times})
\]
and its inverse mapping, that is, the norm residue symbol:
\[
\theta_{L/K}=\eta^{-1}_{L/K}:K^{\times}/N_{L/K}(L^{\times})\to G^{ab}
\]

These formulas and theoretical frameworks together form the core contribution of the paper, aiming to provide a new and independent method to understand and calculate the fundamental class in the Galois extension of local fields.