skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Rational points and derived equivalence
We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over $$\mathbb {Q}$$ and $$\mathbb {F}_q(t)$$ , and conclude with a pair of hyperkähler 4-folds over $$\mathbb {Q}$$ . The latter is independently interesting as a new example of a transcendental Brauer–Manin obstruction to the Hasse principle. The source code for the various computations is supplied as supplementary material with the online version of this article.  more » « less
Award ID(s):
1745670
PAR ID:
10284240
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Compositio Mathematica
Volume:
157
Issue:
5
ISSN:
0010-437X
Page Range / eLocation ID:
1036 to 1050
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We establish an implication between two long-standing open problems in complex dynamics. The roots of the $$n$$th Gleason polynomial $$G_{n}\in{\mathbb{Q}}[c]$$ comprise the $$0$$-dimensional moduli space of quadratic polynomials with an $$n$$-periodic critical point. $$\operatorname{Per}_{n}(0)$$ is the $$1$$-dimensional moduli space of quadratic rational maps on $${\mathbb{P}}^{1}$$ with an $$n$$-periodic critical point. We show that if $$G_{n}$$ is irreducible over $${\mathbb{Q}}$$, then $$\operatorname{Per}_{n}(0)$$ is irreducible over $${\mathbb{C}}$$. To do this, we exhibit a $${\mathbb{Q}}$$-rational smooth point on a projective completion of $$\operatorname{Per}_{n}(0)$$, using the admissible covers completion of a Hurwitz space. In contrast, the Uniform Boundedness Conjecture in arithmetic dynamics would imply that for sufficiently large $$n$$, $$\operatorname{Per}_{n}(0)$$ itself has no $${\mathbb{Q}}$$-rational points. 
    more » « less
  2. null (Ed.)
    Abstract For positive integers n and d > 0, let $$G(\mathbb {Q}^n,\; d)$$ denote the graph whose vertices are the set of rational points $$\mathbb {Q}^n$$ , with $$u,v \in \mathbb {Q}^n$$ being adjacent if and only if the Euclidean distance between u and v is equal to d . Such a graph is deemed “non-trivial” if d is actually realized as a distance between points of $$\mathbb {Q}^n$$ . In this paper, we show that a space $$\mathbb {Q}^n$$ has the property that all pairs of non-trivial distance graphs $$G(\mathbb {Q}^n,\; d_1)$$ and $$G(\mathbb {Q}^n,\; d_2)$$ are isomorphic if and only if n is equal to 1, 2, or a multiple of 4. Along the way, we make a number of observations concerning the clique number of $$G(\mathbb {Q}^n,\; d)$$ . 
    more » « less
  3. Abstract We explicitly construct the Dirichlet series $$\begin{equation*}L_{\mathrm{Tam}}(s):=\sum_{m=1}^{\infty}\frac{P_{\mathrm{Tam}}(m)}{m^s},\end{equation*}$$ where $$P_{\mathrm{Tam}}(m)$$ is the proportion of elliptic curves $$E/\mathbb{Q}$$ in short Weierstrass form with Tamagawa product m. Although there are no $$E/\mathbb{Q}$$ with everywhere good reduction, we prove that the proportion with trivial Tamagawa product is $$P_{\mathrm{Tam}}(1)={0.5053\dots}$$. As a corollary, we find that $$L_{\mathrm{Tam}}(-1)={1.8193\dots}$$ is the average Tamagawa product for elliptic curves over $$\mathbb{Q}$$. We give an application of these results to canonical and Weil heights. 
    more » « less
  4. We examine correlations of the Möbius function over $$\mathbb{F}_{q}[t]$$ with linear or quadratic phases, that is, averages of the form 1 $$\begin{eqnarray}\frac{1}{q^{n}}\mathop{\sum }_{\deg f0$$ if $$Q$$ is linear and $$O(q^{-n^{c}})$$ for some absolute constant $c>0$ if $$Q$$ is quadratic. The latter bound may be reduced to $$O(q^{-c^{\prime }n})$$ for some $$c^{\prime }>0$$ when $Q(f)$ is a linear form in the coefficients of $$f^{2}$$ , that is, a Hankel quadratic form, whereas, for general quadratic forms, it relies on a bilinear version of the additive-combinatorial Bogolyubov theorem. 
    more » « less
  5. null (Ed.)
    We solve the inverse differential Galois problem over differential fields with a large field of constants of infinite transcendence degree over  $$\mathbb{Q}$$ . More generally, we show that over such a field, every split differential embedding problem can be solved. In particular, we solve the inverse differential Galois problem and all split differential embedding problems over $$\mathbb{Q}_{p}(x)$$ . 
    more » « less