In this paper, we prove a $p$-adic analogous of the Kulikov-Persson-Pinkham classification theorem [Persson:1981wp] for the central fiber of a degeneration of $K3$-surfaces in terms of the nilpotency degree of the monodromy of the family.
Namely, let $X_K$ be a be a smooth, projective $K3$-surface which has a minimal semi-stable model $X$ over $\mathcal O_K$.
If we let $N_{st}$ be the monodromy operator on $D_{st}(H^2_{et}}(X_{\overline K},\mathbb Q_p))$, then we prove that the degree of nilpotency of $N_{st}$ determines the type of the special fiber of $X$. As a consequence we give a criterion for the good reduction of the semi-stable $K3$-surface $X_K$ over the $p$-adic field $K$ in terms of its $p$-adic representation $H^2_{\text{et}}(X_{\overline K},\mathbb Q_p)$, which is similar to the criterion of good reduction for $p$-adic abelian varieties and curves given by Coleman-Iovita and Andreatta-Iovita-Kim.
We prove that a Kummer surface defined over a complete strictly Henselian discretely valued field $K$ of residue characteristic different from 2 admits a strict Kulikov model after finite base change. The Kulikov models we construct will be schemes, so our results imply that the semistable reduction conjecture is true for Kummer surfaces in this setup, even in the category of schemes. Our construction of Kulikov models is closely related to an earlier construction of Künnemann, which produces semistable models of Abelian varieties. It is well-known that the special fibre of a strict Kulikov mo…
We give a criterion for the good reduction of semistable $K3$ surfaces over $p$-adic fields using purely $p$-adic methods. We use neither $p$-adic Hodge theory nor transcendental methods as in the analogous proofs of criteria for good reduction of curves or $K3$ surfaces. We achieve our goal by realizing the special fiber $X_s$ of a semistable model $X$ of a $K3$ surface over the $p$-adic field $K$, $X_K$ as a special fiber of a log-family in characteristic $p$ and use an arithmetic version of the Clemens-Schimd exact sequence in order to obtain a Kulikov-Persson-Pinkham classification theorem…
In this paper, we prove a `cut-by-curves criterion' for the overconvergence of integrable connections on certain rigid analytic spaces and certain varieties over $p$-adic fields.
We provide an effective version of Katz' criterion for finiteness of the monodromy group of a lisse, pure of weight zero, $\ell$-adic sheaf on a normal variety over a finite field, depending on the numerical complexity of the sheaf
We prove the Fargues-Rapoport conjecture for p-adic period domains in the non-basic case with minuscule cocharacter. More precisely, we give a group theoretical criterion for the cases when the admissible locus and weakly admissible locus coincide.
We prove a Neron--Ogg--Shafarevich type criterion for good reduction of K3 surfaces, which states that a K3 surface over a complete discrete valuation field has potential good reduction if its $l$-adic cohomology group is unramified. We also prove a $p$-adic version of the criterion. (These are analogues of the criteria for good reduction of abelian varieties.) The model of the surface will be in general not a scheme but an algebraic space. As a corollary of the criterion we obtain the surjectivity of the period map of K3 surfaces in positive characteristic.
Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3 surfaces over finite fields with p \geq 5. We prove Artin's conjecture under the additional assumption that X has a polarization of degree 2d with p > 2d+4. Assuming semistable reduction for surfaces in characteristic p, we can improve the main result to K3 surfaces which admit a polarization of degree prime-to-p when p \geq 5. The argument uses Borcherds' con…
The Neron--Ogg--Safarevic criterion for abelian varieties tells that whether an abelian variety has good reduction or not can be determined from the Galois action on its l-adic etale cohomology. We prove an analogue of this criterion for some special kind of K3 surfaces (those which admit Shioda--Inose structures of product type), which are deeply related to abelian surfaces. We also prove a p-adic analogue. This paper includes Ito's unpublished result for Kummer surfaces.
A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically polarized surfaces over finite fields.
In this paper, we prove a `cut-by-curves criterion' for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal crossing divisor, under certain assumption. This is a $p$-adic analogue of a version of cut-by-curves criterion for regular singuarity of an integrable connection on a smooth variety over a field of characteristic 0. In the course of the proof, we also prove a kind of cut-by-curves criteria on solvability, highest ramification break and exponent of $\nabla$-modul…
This paper is originally designed as a part of revision of the author's preprint math.AG/9908174 "P-adic Schwarzian triangle groups of Mumford type". Recently, Yves Andr'e pointed out a flaw in that preprint; more precisely, Proposition II there was not correct, and consequently, as he pointed out, some triangle groups are missing (but only in p=2,3,5). I apologize to the readers, and will release the other part soon by the original title. In this paper, we concentrate on the constructive part, but more systematically and in more general situation. More precisely, this paper presents a complet…
In this paper we study the reduction of $p$-cyclic covers of the $p$-adic line ramified at exactly four points. For $p=2$ these covers are elliptic curves and Deuring has given a criterion for when such a curve has good reduction. Here we consider the case of $p>2$ and completely determine the stable model of the cover. In particular we obtain a finite extension $R'$ of $R$ necessary for the stable reduction to be defined. No additional conditions are imposed on the geometry of the branch locus and thus this work can be viewed as a first step towards understanding the situation where branch po…
Given our set-up of a system of curves and maps between them satisfying certain assumptions, we prove a classicality criterion for overconvergent sections of line bundles over these curves. As a result, we prove such criteria for overconvergent modular forms over various Shimura curves. In particular, we provide a classicality criterion for overconvergent modular forms studied in [Kassaei: P-adic modular forms over Shimura curves over totally real fields, Compositio Math. 140 (2004), no 2, 359-395] and their higher-level generalizations.
In this paper, we show that the infinitesimal Torelli theorem implies the existence of deformations of automorphisms. In the first part, we use Hodge theory and deformation theory to study the deformations of automorphisms of complex projective manifolds. In the second part, we use crystalline cohomology to explore the p-adic analogues of the first part, which generalizes a result of Berthelot and Ogus. The study of the deformations of automorphisms also provides criterions characterizing when the action of the automorphism group of a variety on its cohomology is faithful.
In this paper we study division algebras over the function fields of curves over $\Q_p$. The first and main tool is to view these fields as function fields over nonsingular $S$ which are projective of relative dimension 1 over the $p$ adic ring $\Z_p$. A previous paper showed such division algebras had index bounded by $n^2$ assuming the exponent was $n$ and $n$ was prime to $p$. In this paper we consider algebras of degree (and hence exponent) $q \not= p$ and show these algebras are cyclic. We also find a geometric criterion for a Brauer class to have index $q$.
We consider the problem of existence of Neron models for a family of abelian varieties over a base of dimension greater than 1. We show that when S is of equicharacteristic zero, the condition of toric additivity introduced in [Ore18] is sufficient for the existence of a Neron model, and also necessary under some extra assumptions. Furthermore, we give an equivalent formulation of toric additivity in terms of monodromy action on the l-adic Tate module.
Michel Raynaud gave a criterion for a three-point G-cover f : Y \rightarrow X = P^1, defined over a p-adic field K, to have good reduction. In particular, if the order of a p-Sylow subgroup of G is p, and the number of conjugacy classes of elements of order p is greater than the absolute ramification index e of K, then f has potentially good reduction. We give a different proof of this criterion, which extends to the case where G has an arbitrarily large cyclic p-Sylow subgroup, answering a question of Raynaud. We then use the criterion to give a family of examples of three-point covers with g…
In this paper, we establish a criterion for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal crossing divisor. This is a generalization of a result of Kedlaya, who treated the case of unipotent monodromy. Our result is regarded as a $p$-adic analogue of the theory of canonical extension of regular singular integrable connections on smooth varieties of characteristic 0.
Let R be a complete discrete valuation ring of mixed characteristic (0, p) with perfect residue field, K the fraction field of R. Suppose G is a Barsotti-Tate group (p-divisible group) defined over K which acquires good reduction over a finite extension K' of K. We prove that there exists a constant c which depends on the absolute ramification index e(K'/Q_p) and the height of G such that G has good reduction over K if and only if G[p^c] can be extended to a finite flat group scheme over R. For abelian varieties with potentially good reduction, this result generalizes Grothendieck's p-adic Ner…
We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and Pólya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pe…
This paper is a summary of author's results on finite flat commutative group schemes. The properties of the generic fibre functor are discussed. A complete classification of finite local flat commutative group schemes over mixed characteristic complete discrete valuation rings in terms of their Cartier modules (defined by Oort) is given. We also state several properties of tangent space of these schemes. These results are applied to the study of reduction of Abelian varieties. A finite $p$-adic semistable reduction criterion is formulated. It looks especially nice in the ordinary reduction cas…
Let $φ\colon X\rightarrow Y$ be a degree two Galois cover of smooth curves over a local field $F$ of odd characteristic. Assuming that $Y$ has good reduction, we describe a semi-stability criterion for the curve $X$, using the data of the branch locus of the covering $φ$. In the case that $X$ has semi-stable reduction, we describe the dual graph of the minimal regular model of $X$ over $F.$ We do this by adopting the notion of cluster picture defined for hyperelliptic curves for the case where $Y$ is not necessarily a rational curve. Using these results, we describe the variation of the p-adic…
