Related papers: A^1-connectedness in reductive algebraic groups

We show that the sheaf of $\mathbb A^1$-connected components of a reductive algebraic group over a perfect field is strongly $\mathbb A^1$-invariant. As a consequence, torsors under such groups give rise to $\mathbb A^1$-fiber sequences. We…

We show that the triviality of sections of the sheaf of A^1-chain connected components of a space over finitely generated separable field extensions of the base field is not sufficient to ensure the triviality of the sheaf of its A^1-chain…

We explicitly describe the $\mathbb A^1$-chain homotopy classes of morphisms from a smooth henselian local scheme into a smooth projective surface, which is birationally ruled over a curve of genus $> 0$. We consequently determine the sheaf…

A conjecture of Morel asserts that the sheaf of $\mathbb A^1$-connected components of a space is $\mathbb A^1$-invariant. Using purely algebro-geometric methods, we determine the sheaf of $\mathbb A^1$-connected components of a smooth…

A conjecture of Morel asserts that the sheaf of A^1-connected components of a simplicial sheaf X is A^1-invariant. A conjecture of Asok-Morel asserts that A^1-connected components of smooth k-schemes coincide with their A^1-chain-connected…

In this paper, we study the Nisnevich sheafification $\mathcal{H}^1_{\acute{e}t}(G)$ of the presheaf associating to a smooth scheme the set of isomorphism classes of $G$-torsors, for a reductive group $G$. We show that if $G$-torsors on…

We prove an analogue of the Morel-Voevodsky localization theorem over spectral algebraic spaces. As a corollary we deduce a "derived nilpotent invariance" result which, informally speaking, says that A^1-homotopy invariance kills all higher…

We show that if G is an anisotropic, semisimple, absolutely almost simple, simply connected group over a field k, then two elements of G over any field extension of k are R-equivalent if and only if they are A^1-equivalent. As a…

We study some aspects of the relationship between A^1-homotopy theory and birational geometry. We study the so-called A^1-singular chain complex and zeroth A^1-homology sheaf of smooth algebraic varieties over a field k. We exhibit some…

We prove that a smooth scheme of dimension $n$ over a perfect field is A^1-weakly equivalent to a point if it is A^1-n-connected. We also prove an excision result for A^1-homotopy sheaves over a perfect field.

Strongly (respectively strictly) A1-invariant sheaves are foundational for motivic homotopy theory over fields. They are sheaves of (abelian) groups on the Nisnevich site of smooth varieties over a field k, with the property that their…

We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms…

Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f\notin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme…

We study some properties of A^1-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of…

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all…

We prove an unstable version of Morel's $\mathbb{A}^1$-connectivity theorem over arbitrary base schemes. In the stable setting, this recovers (and simplifies the proof of) the known connectivity bounds due to Morel, Schmidt--Strunk,…

Morel's stable connectivity theorems state that for any connective $S^1$-spectrum $F$ of motivic spaces (Nisnevich simplicial sheaves) over an arbitrary field, the spectrum $L_{\mathbb A^1}(F)$ is connective, and the same property for…

We study smooth morphisms $f \colon X \to S$ that are $\mathbb{A}^1$-contractible in the unstable $\mathbb{A}^1$-homotopy category $\mathcal{H}(S)$. For base schemes $S$ of finite Krull dimension, we show that $\mathbb{A}^1$-contractibility…

In this article, we characterize the distortion elements of the group of smooth diffeomorphisms of the circle and of the group of compactly supported smooth diffeomorphisms of the real line. More precisely, we prove that, in this context,…

We show that the sheaf of $\mathbb A^1$-connected components of a quasi-split group over a perfect field is a strictly $\mathbb A^1$-invariant sheaf with (Voevodsky) transfers. As a consequence, we show that the norm principle holds for any…