Related papers: Rationality problem of generalized Ch\^atelet surf…

Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…

Using a construction of Hassett--V\'arilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and the other does not. This answers negatively a…

We explore connections between existence of $\Bbbk$-rational points for Fano varieties defined over $\Bbbk$, a subfield of $\mathbb{C}$, and existence of K\"ahler-Einstein metrics on their geometric models. First, we show that geometric…

Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$…

The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.

We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii)…

We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.

We show that any rational cubic hypersurface of dimension at least 33 defined over a number field $K$ vanishes on a $K$-rational projective line, reducing the previous lower bound of Wooley by two. For $K=\mathbb Q$ we can reduce the bound…

This article examines dynamical systems on a class of K3 surfaces in $\mathbb{P}^{2} \times \mathbb{P}^{2}$ with an infinite automorphism group. In particular, this article develops an algorithm to find $\mathbb{Q}$-rational periodic points…

Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits…

Let $k$ be a number field, let ${\mathcal{A}}$ be a commutative algebraic group defined over $k$ and let $p$ be a prime number. Let ${\mathcal{A}}[p]$ denote the $p$-torsion subgroup of ${\mathcal{A}}$. We give some sufficient conditions…

Given a rational projective parametrization $\cP(\ttt,\sss,\vvv)$ of a rational projective surface $\cS$ we present an algorithm such that, with the exception of a finite set (maybe empty) $\cB$ of projective base points of $\cP$,…

Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in…

Let X be a surface with quotient singularities which admits a smoothing to the plane. We prove that X is a deformation of a weighted projective plane P(a^2,b^2,c^2), where a,b,c is a solution of the Markov equation a^2+b^2+c^2=3abc. We also…

It is known that a two-dimensional $F$-rational ring has a rational singularity. However a two-dimensional ring with a rational singularity is not $F$-rational in general. In this paper, we investigate $F$-rationality of a two-dimensional…

Fix a number field $k$ and a rational prime $\ell$. We consider abelian varieties whose $\ell$-power torsion generates a pro-$\ell$ extension of $k(\mu_{\ell^\infty})$ which is unramified away from $\ell$. It is a necessary, but not…

We give a simple proof of the statement that every rational curve in the primitive class of a general K3 surface is nodal.

We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian…

Let K be a number field. We prove that its ray class group modulo p 2 (resp. 8) if p > 2 (resp. p = 2) characterizes its p-rationality. Then we give two short, very fast PARI Programs (\S \S 3.1, 3.2) testing if K (defined by an irreducible…

Let $C$ be a hyperelliptic curve given by the equation $y^2=f(x)$, where $f\in\Z[x]$ and $f$ hasn't multiple roots. We say that points $P_{i}=(x_{i}, y_{i})\in C(\Q)$ for $i=1,2,..., n$ are in arithmetic progression if the numbers $x_{i}$…