Related papers: Naive vs. genuine A^1-connectedness

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 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…

Using sheaves of A^1-connected components, we prove that the Morel-Voevodsky singular construction on a reductive algebraic group fails to be A^1-local if the group does not satisfy suitable isotropy hypotheses. As a consequence, we show…

We show that the sheaf of $\mathbb A^1$-connected components of a Nisnevich sheaf of sets and its universal $\mathbb A^1$-invariant quotient (obtained by iterating the $\mathbb A^1$-chain connected components construction and taking the…

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…

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 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.

We study the relationship between several notions of connectedness arising in ${\mathbb A}^1$-homotopy theory of smooth schemes over a field $k$: ${\mathbb A}^1$-connectedness, stable ${\mathbb A}^1$-connectedness and motivic connectedness,…

For any smooth quadratic hypersurface $X$ in $\mathbb A^n_k$, we use the iterations of the functor of naive $\mathbb{A}^1$-connected components $\mathcal{S}$ to study the field-valued sections of the sheaf of $\mathbb{A}^1$-connected…

For any sheaf of sets $\mathcal F$ on $Sm/k$, it is well known that the universal $\mathbb A^1$-invariant quotient of $\mathcal F$ is given as the colimit of sheaves $\mathcal S^n(\mathcal F)$ where $\mathcal S(F)$ is the sheaf of naive…

Over a perfect field, we determine the sheaf of $\mathbb{A}^1$-connected components of a class of threefolds given by the Blow-up of a variety admitting a $\mathbb{P}^1$-fibration over either an $\mathbb{A}^1$-rigid or a non-uniruled…

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…

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…

In this note we prove that the $\mathbb{A}^1$-connected component sheaf $a_{Nis}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ of an $H$-group $\mathcal{X}$ is $\mathbb{A}^1$-invariant.

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…

This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the…

A smooth, proper, retract rational variety over a field $k$ is known to be $\mathbb{A}^1$-connected. We improve on this result, in the case when $k$ is infinite, showing that such varieties are naively $\mathbb{A}^1$-connected.

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 show that $\mathbb{A}^1$-localization decreases the Nisnevich-stalkwise connectivity by at most one over a Dedekind scheme with infinite residue fields. For the proof, we establish a Nisnevich-local version of Gabber's geometric…