Related papers: Big fields that are not large
We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every…
Let $K$ be a cyclic totally real number field of odd degree over $\mathbb{Q}$ with odd class number, such that every totally positive unit is the square of a unit, and such that $2$ is inert in $K/\mathbb{Q}$. We define a family of number…
Let $(X, \Delta)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-\Delta$ is big and nef. We show that $L$ is…
To what extent does the maximal subfield spectrum of a division algebra determine the isomorphism class of that algebra? It has been shown that over some fields a quaternion division algebra's isomorphism class is largely if not entirely…
We prove two related concentration inequalities concerning the number of rational points of hyperelliptic curves over subsets of a finite field. In particular, we investigate the probability of a large discrepancy between the numbers of…
We determine the shapes of pure cubic fields and show that they fall into two families based on whether the field is wildly or tamely ramified (of Type I or Type II in the sense of Dedekind). We show that the shapes of Type I fields are…
Let K be a finite field. We know that a half of elements of K* is a square. So it is natural to ask how many of them appear as x-coordinate of points on an elliptic curve over K. We consider a specific class of elliptic curves over finite…
Let k be an algebraically closed field. A polynomial F in k[X,Y] is said to be "generally rational" if, for almost all c in k, the curve " F= c '' is rational. It is well known that, if char(k)=0, F is generally rational iff there exists G…
Let $K$ be a field, and let $\Aut \,K^2$ be the group of polynomial automorphisms of $K^2$. We investigate which subgroups are linear or not. In characteristic zero, there are small nonlinear subgroups and some big linear subgroups. When…
We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very…
We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…
Given a number field $K$ that is a subfield of the real numbers, we generalize the notion of the classical Frobenius problem to the ring of integers $\mathfrak{O}_K$ of $K$ by describing certain Frobenius semigroups,…
Let $\overline{\mathbb{Q}}$ be an algebraic closure of $\mathbb{Q}$ and $\mathbb{Q}^{tr}$ be the subfield of $\overline{\mathbb{Q}}$ obtained by taking the union of all totally real number fields. For any prime $p\geq 3$, let…
For any number field $K$ and integer $0\leq r \leq 4$, we prove that there are infinitely many elliptic curves over $K$ of rank $r$. Our elliptic curves are obtained by specializing well-chosen nonisotrivial elliptic curves over the…
Let $\mathbb{Q}(\alpha)$ and $\mathbb{Q}(\beta)$ be algebraic number fields. We describe a new method to find (if they exist) all isomorphisms, $\mathbb{Q}(\beta) \rightarrow \mathbb{Q}(\alpha)$. The algorithm is particularly efficient if…
We prove that a three-dimensional smooth complete intersection of two quadrics over a field k is k-rational if and only if it contains a line defined over k. To do so, we develop a theory of intermediate Jacobians for geometrically rational…
Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…
We study real quadratic fields $\mathbb{Q}(\sqrt{D})$ such that, for a given rational integer $m$, all $m$-multiples of totally positive integers are sums of squares. We prove quite sharp necessary and sufficient conditions for this to…
Cohn asks if for every real quadratic field Q(m) with discriminant d there exists a non-maximal order corresponding to f > 1 such that the relative class number Hd(f) = h(f2d)/h(d) is one. We prove that when m = 46 (and in seven other…
We show that every cubic form with coefficients in an imaginary quadratic number field $K/\mathbb{Q}$ in at least $14$ variables represents zero non-trivially. This builds on the corresponding seminal result by Heath-Brown for rational…