Related papers: Existence of rational points as a homotopy limit p…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

We improve a bound due to the second author on number of rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields and look at families of surfaces that achieve or nearly achieve this bound, for which we compute their exact…

We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute…

Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of…

Faltings' theorem states that curves of genus $g \geq 2$ have finitely many rational points. Using the ideas of Faltings, Mumford, Parshin and Raynaud, one obtains an upper bound on the number of rational points, but this bound is too large…

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

We prove a version of the Cohen--Lenstra conjecture over function fields (completing the results of our prior paper). This is deduced from two more general theorems, one topological, one arithmetic: We compute the direct limit of homology,…

Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…

In this paper, we examine Lie group actions on moduli spaces (sets themselves built as quotients by group actions) and their fixed points. We show that when the Lie group is compact and connected, we obtain a linear constraint. This…

We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…

We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…

A birationally liftable Galois section s of a hyperbolic curve X/k over a number field k yields an adelic point x(s) in the smooth completion of X. We show that x(s) is X-integral outside a set of places of Dirichlet density 0, or s is…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (See Theorem 21.3 of \cite{Fuchs:abelian-group}). In this paper, conditions to split off rational parts in homotopy types from a given…

We introduce a Grothendieck ring of higher Artin stacks generalizing the Grothendieck ring of algebraic varieties. We show that this ring is not trivial by noticing that it factors the invariant "number of rational points over a finite…

We investigate the existence of homotopy comoment maps (comoments) for high-dimensional spheres seen as multisymplectic manifolds. Especially, we solve the existence problem for compact effective group actions on spheres and provide…

We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…

We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The automorphism group of this point carries a profinite topology…

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the…

We prove that the triviality of the Galois action on the suitably twisted odd-dimensional \'etale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field…