Rigid rational homotopy types

Étale homotopy equivalence of rational points on algebraic varieties

It is possible to talk about the étale homotopy equivalence of rational points on algebraic varieties by using a relative version of the étale homotopy type. We show that over $p$-adic fields rational points are homotopy equivalent in this sense if and only if they are étale-Brauer equivalent. We also show that over the real field rational points on projective varieties are étale homotopy equivalent if and only if they are in the same connected component. We also study this equivalence relation over number fields and prove that in this case it is finer than the other two equivalence relations …

Homotopy Classification of Line Bundles Over Rigid Analytic Varieties

We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic homotopy theory for rigid analytic varieties. Working in the so constructed homotopy theory, we prove that a homotopy classification of vector bundles of rank $n$ over rigid analytic quasi-Stein spaces follows from $\mathbb{A}^1_\mathrm{rig}$-homotopy invariance of vector bundles. This $\mathbb{A}^1_\mathrm{rig}$-homotopy invariance is equivalent to a rigid ana…

有理同伦型的Hyodo-Kato同构

The Hyodo-Kato isomorphism for rational homotopy types

我们证明了一个比较同构的De Rham有理同伦型的光滑适当的日志品种定义在一个p-adic域和结晶的合理同伦型的半稳定约化模p。

Motivic rational homotopy type

In this paper we introduce and study motives for rational homotopy types.

Brauer and Etale Homotopy Obstructions to Rational Points on Open Covers

In 2010, Poonen gave the first example of failure of the local-global principle that cannot be explained by Skorobogatov's étale Brauer-Manin obstruction. Motivated by this example, we show that the Brauer-Manin obstruction detects non-existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence for why this is expected to happen more generally over any number field, some of which relates to the section conjecture in anabelian geometry. We then prove a result about the behavior of the étale Bra…

A classical proof that the algebraic homotopy class of a rational function is the residue pairing

Cazanave has identified the algebraic homotopy class of a rational function of $1$ variable with an explicit nondegenerate symmetric bilinear form. Here we show that Hurwitz's proof of a classical result about real rational functions essentially gives an alternative proof of the stable part of Cazanave's result. We also explain how this result can be interpreted in terms of the residue pairing and that this interpretation relates the result to the signature theorem of Eisenbud, Khimshiashvili, and Levine, showing that Cazanave's result answers a question posed by Eisenbud for polynomial functi…