Related papers: \'Etale homotopy equivalence of rational points on…

We prove that for any base scheme $S$, real \'etale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for…

This is an update of the first version. We clarify that the main results apply to more general smooth projective varieties X than products of elliptic curves (briefly: X is of "abelian type", e.g. an abelian variety or a product of curves,…

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

We prove that any degree $d$ rational map having a parabolic fixed point of multiplier $1$ with a fully invariant and simply connected immediate basin of attraction is mateable with the Hecke group $H_{d+1}$, with the mating realized by an…

Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k'$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre…

We examine the relation between the gauge groups of $\mathrm{SU}(n)$- and $\mathrm{PU}(n)$-bundles over $S^{2i}$, with $2\leq i\leq n$, particularly when $n$ is a prime. As special cases, for $\mathrm{PU}(5)$-bundles over $S^4$, we show…

Unlike in characteristic 0, there are no non-trivial smooth varieties over an algebraically closed field k of characteristic p>0 that are contractible in the sense of etale homotopy theory.

In 2007, B. Poonen (unpublished) studied the $p$--adic closure of a subgroup of rational points on a commutative algebraic group. More recently, J. Bella\"iche asked the same question for the special case of Abelian varieties. These…

We consider rationally connected complex projective manifolds M and show that their loop spaces--infinite dimensional complex manifolds--have properties similar to those of M. Furthermore, we give a finite dimensional application concerning…

Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…

The aim of this article is to investigate the cohomology (l-adic as well as Betti) of schemes, and more generally of certain algebraic stacks, that are proper and smooth over the integers and have the property that there exists a polynomial…

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.

We prove analogues of several well-known results concerning rational morphisms between quadrics for the class of so-called quasilinear $p$-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric…

We construct a log algebraic version of the homotopy sequence for a quasi-projective normal crossing log variety over a log point of characteristic zero and prove some exactness properties of it. Our proofs are purely algebraic.

For an abelian variety over a finite field, Clozel (1999) showed that l-homological equivalence coincides with numerical equivalence for infinitely many l, and the author (1999) gave a criterion for the Tate conjecture to follow from Tate's…

We prove a uniform estimate of the number of points for difference algebraic varieties in finite difference fields in the spirit of Lang-Weil. More precisely, we give uniform lower and upper bounds for the number of rational points of a…

In this paper, we discuss the motivic stable homotopy type of abelian varieties. For an abelian variety over a perfect field $k$ with a rational point, it always splits off a top-dimensional cell in motivic stable homotopy category…

In this paper, we settle the homotopy properties of the infinity-morphisms of homotopy (bial)-gebras over properads, i.e. algebraic structures made up of operations with several inputs and outputs. We start by providing the literature with…

Let F be a global field. In this work, we show that the Brauer-Manin condition on adelic points for subvarieties of a torus T over F cuts out exactly the rational points, if either F is a function field or, if F is the field of rational…

We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…