Related papers: Existence of rational points as a homotopy limit p…
We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of…
We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…
To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…
We study homotopy rational points of Brauer-Severi varieties over fields of characteristic zero. We are particularly interested if a Brauer-Severi variety admitting a homotopy rational point splits. The analogue statement turns out to be…
We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice.…
A result of Graber, Harris, and Starr shows that a rationally connected variety defined over the function field of a curve over the complex numbers always has a rational point. Similarly, a separably rationally connected variety over a…
In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of…
This paper presents a connection between Galois points and rational functions over a finite field with small value sets. This paper proves that the defining polynomial of any plane curve admitting two Galois points is an irreducible…
We give an explicit description of the arithmetic-geometric extension of iterated Galois groups of rational functions. This yields a complete solution to the extension problem when either the arithmetic or the geometric iterated Galois…
In this paper, we show that the Galois representations provided by $\ell$-adic cohomology of proper smooth varieties, and more generally by $\ell$-adic intersection cohomology of proper varieties, over any field, are orthogonal or…
We explain how one can efficiently determine the (finite) set of rational points on a curve of genus 2 over $\mathbb Q$ with Jacobian variety $J$, given a point $P \in J(\mathbb Q)$ generating a subgroup of finite index in $J(\mathbb Q)$.
We prove that there are infinitely many finite simple groups of symplectic Lie type, of any specified characteristic and rank, which appear as Galois groups over the field of rational numbers. This generalizes a result of Wiese, which…
We consider area preserving maps of surfaces and extend Mather's result on the equality of the closure of the four branches of saddles. He assumed elliptic fixed points to be Moser stable, while we require only that the derivative at this…
We describe a method that allows, under some hypotheses, to compute all the rational points of some genus 5 curves defined over a number field. This method is used to solve some arithmetic problems that remained open.
This is meant to be a survey article for the Cubo Journal. We discuss the existence and number of rational points over a finite field, the Hodge type over the complex numbers, and the motivic conjectures which are controlling those…
We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…
Let U:=L\G be a homogeneous variety defined over a number field K, where G is a connected semisimple K-group and L is a connected maximal semisimple K-subgroup of G with finite index in its normalizer. Assuming that G(K_v) acts transitively…
Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the…
It is known that for a curve defined over $\mathbb{Q}$ of genus $g \leq 4$, there exists a point on the curve defined over a solvable extension of $\mathbb{Q}$. We relate points on curves of genus $g \geq 5$ over solvable extensions to the…
We prove that rational and 1-rational singularities of complex spaces are stable under taking quotients by holomorphic actions of reductive and compact Lie groups. This extends a result of Boutot to the analytic category and yields a…