What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **Finding abelian surfaces with supersingular special fibers and non - semisimple Tate modules**. Specifically, the author hopes to find abelian surfaces \(A\) defined over \(\mathbb{Q}_p\), these surfaces have good reduction, and their special fibers are supersingular, and at the same time the \(p\)-adic Galois module \(V_p(A)\) associated with \(A\) is not semisimple. ### Problem Background 1. **Abelian Surfaces and \(p\)-adic Galois Modules** - Let \(A\) be a two - dimensional abelian variety defined over \(\mathbb{Q}_p\), and \(A[p^n]\) represents the \(p^n\)-torsion point group of \(A\). - \(V_p(A)=\mathbb{Q}_p\otimes_{\mathbb{Z}_p}\varprojlim_n A[p^n]\) is a 4 - dimensional \(\mathbb{Q}_p\)-vector space, and the absolute Galois group \(G = \text{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\) acts linearly and continuously on it. 2. **Objective** - Find abelian surfaces \(A\) with good reduction, whose special fibers are supersingular, and \(V_p(A)\) is not semisimple. ### Solution The author solves this problem through the following steps: 1. **Constructing Appropriate Filtered \(\phi\)-modules** - Using Fontaine's contravariant functor, the equivalence relationship between crystalline \(p\)-adic representations and admissible filtered \(\phi\)-modules is established. - Two filtered \(\phi\)-modules satisfying specific conditions are constructed. These conditions include the properties of the Frobenius map, Hodge - Tate type \((0, 1)\) and the existence of a non - degenerate skew - symmetric form. 2. **Verifying Conditions** - Verify that these filtered \(\phi\)-modules satisfy conditions \((1)\), \((2)\), \((3)\) in Theorem 1.2. - In particular, ensure that the characteristic polynomial \(P_{\text{char}}(\phi)\) is a supersingular \(p\)-Weil polynomial, and the filtered \(\phi\)-module is not semisimple. 3. **Specific Examples** - **Lifting of Double Supersingular Elliptic Curves**: Consider \(P_{\text{char}}(\phi)(X)=(X^2 + p)^2\), which is the square of the Frobenius characteristic polynomial of the supersingular elliptic curve \(E\). - **Lifting of Simple Supersingular Abelian Surfaces**: Consider \(P_{\text{char}}(\phi)(X)=X^4 + pX^2 + p^2\), which is the Frobenius characteristic polynomial of the simple supersingular abelian surface \(A\). Through these constructions, the author proves that there are two abelian surfaces with different special fibers, and their \(p\)-adic Galois modules are not semisimple. This not only solves the above - mentioned problem, but also provides a specific example to apply previous results (such as the results in [Vo]).

Abelian surfaces with supersingular good reduction and non semisimple Tate module

Almost ordinary Abelian surfaces over global function fields with application to integral points

On abelian varieties whose torsion is not self-dual

Monodromy results for abelian surfaces and K3 surfaces with bad reduction

Abelian surfaces over $\mathbb{F}_{q}(t)$ with large Tate-Shafarevich groups

Distribution of supersingular primes for abelian surfaces

On the Mordell-Weil Ranks of supersingular abelian varieties over $\mathbb{Z}_p^2$-extensions

On the topology of algebraic surfaces and reduction modulo p

Genus two curves with everywhere good reduction over quadratic fields

Superspecial abelian varieties over finite prime fields

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Inseparable Kummer surfaces

Quasi-isogeny groups of supersingular abelian surfaces via pro-étale fundamental groups

Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

Non-simple polarised abelian surfaces and genus 3 curves with completely decomposable Jacobians

Abelian surfaces over finite fields containing no curves of genus $3$ or less

Abelian surfaces over finite fields with prescribed groups

Abelian reduction in differential-algebraic and bimeromorphic geometry

Explicit desingularisation of Kummer surfaces in characteristic two via specialisation