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.
We prove a quantitative partial result in support of the dynamical Mordell–Lang conjecture (also known as the DML conjecture) in positive characteristic. More precisely, we show the following: given a field K of characteristic p, a semiabelian variety X defined over a finite subfield of K and endowed with a regular self-map
$\Phi :X{\longrightarrow } X$
defined over K, a point
$\alpha \in X(K)$
and a subvariety
$V\subseteq X$
, then the set of all nonnegative integers n such that
$\Phi ^n(\alpha )\in V(K)$
is a union of finitely many arithmetic progressions along with a subset S with the property that there exists a positive real number A (depending only on X,
$\Phi $
,
$\alpha $
and V) such that for each positive integer M,
We provide an easy method for the construction of characteristic polynomials of simple ordinary abelian varieties
${{\mathcal A}}$
of dimension g over a finite field
${{\mathbb F}}_q$
, when
$q\ge 4$
and
$2g=\rho ^{b-1}(\rho -1)$
, for some prime
$\rho \ge 5$
with
$b\ge 1$
. Moreover, we show that
${{\mathcal A}}$
is absolutely simple if
$b=1$
and g is prime, but
${{\mathcal A}}$
is not absolutely simple for any prime
$\rho \ge 5$
with
$b>1$
.
The affine Deligne–Lusztig variety
$X_w(b)$
in the affine flag variety of a reductive group
${\mathbf G}$
depends on two parameters: the
$\sigma $
-conjugacy class
$[b]$
and the element w in the Iwahori–Weyl group
$\tilde {W}$
of
${\mathbf G}$
. In this paper, for any given
$\sigma $
-conjugacy class
$[b]$
, we determine the nonemptiness pattern and the dimension formula of
$X_w(b)$
for most
$w \in \tilde {W}$
.
We prove a 1966 conjecture of Tate concerning the Artin–Tate pairing on the Brauer group of a surface over a finite field, which is the analog of the Cassels–Tate pairing. Tate asked if this pairing is always alternating and we find an affirmative answer, which is somewhat surprising in view of the work of Poonen–Stoll on the Cassels–Tate pairing. Our method is based on studying a connection between the Artin–Tate pairing and (generalizations of) Steenrod operations in étale cohomology. Inspired by an analogy to the algebraic topology of manifolds, we develop tools allowing us to calculate the relevant étale Steenrod operations in terms of characteristic classes.
The sequence of prime numbers p for which a variety over ℚ has no p-adic point plays a fundamental role in arithmetic geometry. This sequence is deterministic, however, we prove that if we choose a typical variety from a family then the sequence has random behaviour. We furthermore prove that this behaviour is modelled by a random walk in Brownian motion. This has several consequences, one of them being the description of the finer properties of the distribution of the primes in this sequence via the Feynman–Kac formula.
We consider the Newton stratification on Iwahori-double cosets in the loop group of a reductive group. We describe a group-theoretic condition on the generic Newton point, called cordiality, under which the Newton poset (that is, the index set for non-empty Newton strata) is saturated and Grothendieck’s conjecture on closures of the Newton strata holds. Finally, we give several large classes of Iwahori-double cosets for which this condition is satisfied by studying certain paths in the associated quantum Bruhat graph.
We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite field. As an application, we deduce the equicharacteristic case of classical conjectures on $\ell$-independence for proper smooth varieties over complete discrete valuation fields. Moreover, we show that compatible systems have compatible ramification. We also prove an analogue for integrality along the boundary.
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.
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.
In this paper we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for $k$ a perfect field of characteristic $p$, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$ lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter-example to show that the variational Tate conjecture for divisors cannot hold with $\mathbb{Q}_{p}$-coefficients.
We determine the parity of the Langlands parameter of a conjugate self-dual supercuspidal representation of $\text{GL}(n)$ over a non-archimedean local field by means of the local Jacquet–Langlands correspondence. It gives a partial generalization of a previous result on the self-dual case by Prasad and Ramakrishnan.
We present the geometry behind counting twin prime polynomials in $\mathbb{F}_{q}[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^{3}=Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associated modular form. In theory, this approach can be extended to higher degree twin primes, but the computations become harder.
The formula we get in degree 3 is compatible with the Hardy–Littlewood heuristic on average, agrees with the prediction for $q\equiv 2$ (mod 3), but shows anomalies for $q\equiv 1$ (mod 3).
We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate–Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite.
We present a simple proof of the Chebotarev density theorem for finite morphisms of quasi-projective varieties over finite fields following an idea of Fried and Kosters for function fields. The key idea is to interpret the number of rational points with a given Frobenius conjugacy class as the number of rational points of a twisted variety, which is then bounded by the Lang–Weil estimates.
Let $K$ be the field of fractions of a local Henselian discrete valuation ring ${\mathcal{O}}_{K}$ of characteristic zero with perfect residue field $k$. Assuming potential semi-stable reduction, we show that an unramified Galois action on the second $\ell$-adic cohomology group of a K3 surface over $K$ implies that the surface has good reduction after a finite and unramified extension. We give examples where this unramified extension is really needed. Moreover, we give applications to good reduction after tame extensions and Kuga–Satake Abelian varieties. On our way, we settle existence and termination of certain flops in mixed characteristic, and study group actions and their quotients on models of varieties.
We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic–geometric description of definable sets over fields with Frobenii in terms of twisted Galois formulas associated with finite Galois covers of difference schemes.
We express the number of points on the Dwork hypersurface $X_{\unicode[STIX]{x1D706}}^{d}:x_{1}^{d}+x_{2}^{d}+\cdots +x_{d}^{d}=d\unicode[STIX]{x1D706}x_{1}x_{2}\cdots x_{d}$ over a finite field of order $q\not \equiv 1\,(\text{mod}\,d)$ in terms of McCarthy’s $p$-adic hypergeometric function for any odd prime $d$.
We give upper and lower bounds for the number of rational points on Prym varieties over finite fields. Moreover, we determine the exact maximum and minimum number of rational points on Prym varieties of dimension 2.
We construct new indecomposable elements in the higher Chow group $CH^2(A,1)$ of a principally polarized Abelian surface over a $p$-adic local field, which generalize an element constructed by Collino [Griffiths’ infinitesimal invariant and higher K-theory on hyperelliptic Jacobians, J. Algebraic Geom. 6 (1997), 393–415]. These elements are constructed using a generalization, due to Birkenhake and Wilhelm [Humbert surfaces and the Kummer plane, Trans. Amer. Math. Soc. 355 (2003), 1819–1841 (electronic)], of a classical construction of Humbert. They can be used to prove a non-Archimedean analogue of the Hodge-${\mathcal{D}}$-conjecture – namely, the surjectivity of the boundary map in the localization sequence – in the case where the Abelian surface has good and ordinary reduction.
We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincaré duality and the hard Lefschetz theorem. As a corollary, we deduce that the Betti numbers in odd degrees of any proper smooth variety over a field are even (a consequence of Hodge symmetry in characteristic zero), answering an old question of Serre. Then we give a generalization and a refinement for arbitrary varieties over finite fields, in response to later questions of Serre and of Katz.