We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this article, we functorially associate definable sets to
$k$
-analytic curves, and definable maps to analytic morphisms between them, for a large class of
$k$
-analytic curves. Given a
$k$
-analytic curve
$X$
, our association allows us to have definable versions of several usual notions of Berkovich analytic geometry such as the branch emanating from a point and the residue curve at a point of type 2. We also characterize the definable subsets of the definable counterpart of
$X$
and show that they satisfy a bijective relation with the radial subsets of
$X$
. As an application, we recover (and slightly extend) results of Temkin concerning the radiality of the set of points with a given prescribed multiplicity with respect to a morphism of
$k$
-analytic curves. In the case of the analytification of an algebraic curve, our construction can also be seen as an explicit version of Hrushovski and Loeser’s theorem on iso-definability of curves. However, our approach can also be applied to strictly
$k$
-affinoid curves and arbitrary morphisms between them, which are currently not in the scope of their setting.
In this paper we prove the Rigidity Theorem for motives of rigid analytic varieties over a non-Archimedean valued field
$K$
. We prove this theorem both for motives with transfers and without transfers in a relative setting. Applications include the construction of étale realization functors, an upgrade of the known comparison between motives with and without transfers and an upgrade of the rigid analytic motivic tilting equivalence, extending them to
$\mathbb{Z}[1/p]$
-coefficients.
In this note, we prove the logarithmic
$p$
-adic comparison theorem for open rigid analytic varieties. We prove that a smooth rigid analytic variety with a strict simple normal crossing divisor is locally
$K(\unicode[STIX]{x1D70B},1)$
(in a certain sense) with respect to
$\mathbb{F}_{p}$
-local systems and ramified coverings along the divisor. We follow Scholze’s method to produce a pro-version of the Faltings site and use this site to prove a primitive comparison theorem in our setting. After introducing period sheaves in our setting, we prove aforesaid comparison theorem.
In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method bases on some explicit and sharp estimates for the height of such rational points, and the bounds are small enough to successfully implement a computer search. As an evidence of the simplicity of its application, we present a variety of explicit examples and explain how to produce many others. In the appendix our method is compared in detail to the classical method of Manin–Demjanenko and the analysis of our explicit examples is carried to conclusion.
Let
${\mathcal{X}}$
be a regular variety, flat and proper over a complete regular curve over a finite field such that the generic fiber
$X$
is smooth and geometrically connected. We prove that the Brauer group of
${\mathcal{X}}$
is finite if and only Tate’s conjecture for divisors on
$X$
holds and the Tate–Shafarevich group of the Albanese variety of
$X$
is finite, generalizing a theorem of Artin and Grothendieck for surfaces to arbitrary relative dimension. We also give a formula relating the orders of the group under the assumption that they are finite, generalizing the known formula for a surface.
For a proper, smooth scheme
$X$
over a
$p$
-adic field
$K$
, we show that any proper, flat, semistable
${\mathcal{O}}_{K}$
-model
${\mathcal{X}}$
of
$X$
whose logarithmic de Rham cohomology is torsion free determines the same
${\mathcal{O}}_{K}$
-lattice inside
$H_{\text{dR}}^{i}(X/K)$
and, moreover, that this lattice is functorial in
$X$
. For this, we extend the results of Bhatt–Morrow–Scholze on the construction and the analysis of an
$A_{\text{inf}}$
-valued cohomology theory of
$p$
-adic formal, proper, smooth
${\mathcal{O}}_{\overline{K}}$
-schemes
$\mathfrak{X}$
to the semistable case. The relation of the
$A_{\text{inf}}$
-cohomology to the
$p$
-adic étale and the logarithmic crystalline cohomologies allows us to reprove the semistable conjecture of Fontaine–Jannsen.
Given a finite group
$\text{G}$
and a field
$K$
, the faithful dimension of
$\text{G}$
over
$K$
is defined to be the smallest integer
$n$
such that
$\text{G}$
embeds into
$\operatorname{GL}_{n}(K)$
. We address the problem of determining the faithful dimension of a
$p$
-group of the form
$\mathscr{G}_{q}:=\exp (\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q})$
associated to
$\mathfrak{g}_{q}:=\mathfrak{g}\otimes _{\mathbb{Z}}\mathbb{F}_{q}$
in the Lazard correspondence, where
$\mathfrak{g}$
is a nilpotent
$\mathbb{Z}$
-Lie algebra which is finitely generated as an abelian group. We show that in general the faithful dimension of
$\mathscr{G}_{p}$
is a piecewise polynomial function of
$p$
on a partition of primes into Frobenius sets. Furthermore, we prove that for
$p$
sufficiently large, there exists a partition of
$\mathbb{N}$
by sets from the Boolean algebra generated by arithmetic progressions, such that on each part the faithful dimension of
$\mathscr{G}_{q}$
for
$q:=p^{f}$
is equal to
$fg(p^{f})$
for a polynomial
$g(T)$
. We show that for many naturally arising
$p$
-groups, including a vast class of groups defined by partial orders, the faithful dimension is given by a single formula of the latter form. The arguments rely on various tools from number theory, model theory, combinatorics and Lie theory.
In this article we construct a p-adic three-dimensional eigenvariety for the group
$U$
(2,1)(
$E$
), where
$E$
is a quadratic imaginary field and
$p$
is inert in
$E$
. The eigenvariety parametrizes Hecke eigensystems on the space of overconvergent, locally analytic, cuspidal Picard modular forms of finite slope. The method generalized the one developed in Andreatta, Iovita and Stevens [
$p$
-adic families of Siegel modular cuspforms Ann. of Math. (2) 181, (2015), 623–697] by interpolating the coherent automorphic sheaves when the ordinary locus is empty. As an application of this construction, we reprove a particular case of the Bloch–Kato conjecture for some Galois characters of
$E$
, extending the results of Bellaiche and Chenevier to the case of a positive sign.
We study the problem of how the dual complex of the special fiber of a strict normal crossings degeneration
$\mathscr{X}_{R}$
changes under products. We view the dual complex as a skeleton inside the Berkovich space associated to
$X_{K}$
. Using the Kato fan, we define a skeleton
$\text{Sk}(\mathscr{X}_{R})$
when the model
$\mathscr{X}_{R}$
is log-regular. We show that if
$\mathscr{X}_{R}$
and
$\mathscr{Y}_{R}$
are log-smooth, and at least one is semistable, then
$\text{Sk}(\mathscr{X}_{R}\times _{R}\mathscr{Y}_{R})\simeq \text{Sk}(\mathscr{X}_{R})\times \text{Sk}(\mathscr{Y}_{R})$
. The essential skeleton
$\text{Sk}(X_{K})$
, defined by Mustaţă and Nicaise, is a birational invariant of
$X_{K}$
and is independent of the choice of
$R$
-model. We extend their definition to pairs, and show that if both
$X_{K}$
and
$Y_{K}$
admit semistable models,
$\text{Sk}(X_{K}\times _{K}Y_{K})\simeq \text{Sk}(X_{K})\times \text{Sk}(Y_{K})$
. As an application, we compute the homeomorphism type of the dual complex of some degenerations of hyper-Kähler varieties. We consider both the case of the Hilbert scheme of a semistable degeneration of K3 surfaces, and the generalized Kummer construction applied to a semistable degeneration of abelian surfaces. In both cases we find that the dual complex of the
$2n$
-dimensional degeneration is homeomorphic to a point,
$n$
-simplex, or
$\mathbb{C}\mathbb{P}^{n}$
, depending on the type of the degeneration.
We obtain a new lower bound on the size of the value set
$\mathscr{V}(f)=f(\mathbb{F}_{p})$
of a sparse polynomial
$f\in \mathbb{F}_{p}[X]$
over a finite field of
$p$
elements when
$p$
is prime. This bound is uniform with respect to the degree and depends on some natural arithmetic properties of the degrees of the monomial terms of
$f$
and the number of these terms. Our result is stronger than those that can be extracted from the bounds on multiplicities of individual values in
$\mathscr{V}(f)$
.
We develop a theory of enlarged mixed Shimura varieties, putting the universal vectorial bi-extension defined by Coleman into this framework to study some functional transcendental results of Ax type. We study their bi-algebraic systems, formulate the Ax-Schanuel conjecture and explain its relation with the logarithmic Ax theorem and the Ax-Lindemann theorem which we shall prove. All these bi-algebraic and transcendental results extend their counterparts for mixed Shimura varieties. In the end we briefly discuss the André–Oort and Zilber–Pink type problems for enlarged mixed Shimura varieties.
In this paper we establish some constraints on the eigenvalues for the action of a self map of a proper variety on its
$\ell$
-adic cohomology. The essential ingredients are a trace formula due to Fujiwara, and the theory of weights.
The Chabauty–Kim method allows one to find rational points on curves under certain technical conditions, generalising Chabauty’s proof of the Mordell conjecture for curves with Mordell–Weil rank less than their genus. We show how the Chabauty–Kim method, when these technical conditions are satisfied in depth 2, may be applied to bound the number of rational points on a curve of higher rank. This provides a non-abelian generalisation of Coleman’s effective Chabauty theorem.
This note is about certain locally complete families of Calabi–Yau varieties constructed by Cynk and Hulek, and certain varieties constructed by Schreieder. We prove that the cycle class map on the Chow ring of powers of these varieties admits a section, and that these varieties admit a multiplicative self-dual Chow–Künneth decomposition. As a consequence of both results, we prove that the subring of the Chow ring generated by divisors, Chern classes, and intersections of two cycles of positive codimension injects into cohomology via the cycle class map. We also prove that the small diagonal of Schreieder surfaces admits a decomposition similar to that of K3 surfaces. As a by-product of our main result, we verify a conjecture of Voisin concerning zero-cycles on the self-product of Cynk–Hulek Calabi–Yau varieties, and in the odd-dimensional case we verify a conjecture of Voevodsky concerning smash-equivalence. Finally, in positive characteristic, we show that the supersingular Cynk–Hulek Calabi–Yau varieties provide examples of Calabi–Yau varieties with “degenerate” motive.
We suggest an analog of the Bass–Quillen conjecture for smooth affinoid algebras over a complete non-archimedean field. We prove this in the rank-1 case, i.e. for the Picard group. For complete discretely valued fields and regular affinoid algebras that admit a regular model (automatic if the residue characteristic is zero) we prove a similar statement for the Grothendieck group of vector bundles
$K_{0}$
.
The main aim of this paper is to show that a cyclic cover of ℙn branched along a very general divisor of degree d is not stably rational, provided that n ≥ 3 and d ≥ n + 1. This generalizes the result of Colliot-Thélène and Pirutka. Generalizations for cyclic covers over complete intersections and applications to suitable Fano manifolds are also discussed.
Let
$X$
be a smooth projective curve of genus
$g\geq 2$
over an algebraically closed field
$k$
of characteristic
$p>0$
. We show that for any integers
$r$
and
$d$
with
$0<r<p$
, there exists a maximally Frobenius destabilised stable vector bundle of rank
$r$
and degree
$d$
on
$X$
if and only if
$r\mid d$
.
In this series of papers, we explore moments of derivatives of L-functions in function fields using classical analytic techniques such as character sums and approximate functional equation. The present paper is concerned with the study of mean values of derivatives of quadratic Dirichlet L-functions over function fields when the average is taken over monic and irreducible polynomials P in 𝔽q[T]. When the cardinality q of the ground field is fixed and the degree of P gets large, we obtain asymptotic formulas for the first moment of the first and the second derivative of this family of L-functions at the critical point. We also compute the full polynomial expansion in the asymptotic formulas for both mean values.