Related papers: Congruence for rational points over finite fields …

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 $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond…

Let X be a smooth, projective variety defined over a local field K. Following Manin, two K-points of X are called R-equivalent if they can be joined by a rational curve defined over K. The main result of this note shows that if there are…

Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of…

Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times…

Consider a finite l-group acting on the affine space of dimension n over a field k, whose characteristic differs from l. We prove the existence of a fixed point, rational over k, in the following cases: --- The field k is p-special for some…

Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and…

Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H)…

Let C be the complex field and K=C((x,y)) or K=C((x))(y). Let G be a connected linear algebraic group over K. Under the assumption that the K-variety G is K-rational, i.e. that the function field is purely transcendant, it was proved that a…

We consider smooth projective curves C/$\mathbb{F}$ over a finite field and their symmetric squares $C^{(2)}$. For a global function field $K/\mathbb{F}$, we study the $K$-rational points of $C^{(2)}$. We describe the adelic points of…

I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has…

Pop proved that a smooth curve C over an ample field K that has a K-rational point has |K| many K-rational points. We strengthen this result by showing that there are |K| many K-rational points that do not lie in a given proper subfield,…

We show that an irreducible component of the Hodge locus of a polarizable variation of Hodge structure of weight 0 on a smooth complex variety X is defined over an algebraically closed subfield k of finite transcendence degree if X is…

A classical theorem of Frankel for compact K\"ahler manifolds states that a K\"ahler S^1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when Hodge theory holds on non-compact manifolds, then…

Given a perfect field $k$ with algebraic closure $\overline{k}$ and a variety $X$ over $\overline{k}$, the field of moduli of $X$ is the subfield of $\overline{k}$ of elements fixed by field automorphisms…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

Let $X\subset \P^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different…

Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of…

We show that, for every prime number p, there exist infinitely many K3 surfaces over Q whose rational points lie dense in the space of p-adic points. We also show that there exists a K3 surface over Q whose rational points lie dense in the…