Related papers: On a conjecture of Morel

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…

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…

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…

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…

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

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…

We establish a variant of the splitting principle of Garibaldi-Merkurjev-Serre for invariants taking values in a strictly homotopy invariant sheaf. As an application, we prove the folklore result of Morel that pi_0 of the motivic…

In this article we prove that any $\mathbb{A}^1$-contractible smooth complex surface is isomorphic as a variety to $\mathbb{C}^2$. We show that the $\mathbb{A}^1$-connected component of a variety $X$ contains the information about…

Let $k$ be a field admitting a resolution of singularities. In this paper, we prove that the functor of zeroth $\mathbb{A}^1$-homology $\mathbf{H}^{\mathbb{A}^1}_0$ is universal as a functorial birational invariant of smooth proper…

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…

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…

For an $\A^1$-connected pointed simplicial sheaf $\sX$ over a perfect field $k$, we prove that the Hurewicz map $\pi_1^{\A^1}(\sX) \to H_1^{\A^1}(\sX)$ is surjective. We also observe that the Hurewicz map for $\P^1_k$ is the abelianisation…

We prove that, for any smooth and projective scheme $X$ over a field $k$ of char. $0$, the set of maps from Spec $k$ to $X$ in the $\mathbf{A}^1$-homotopy category of schemes $\mathcal{H}_{\mathbf{A}^1}(k)$ is in bijection with the quotient…

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

In this note we prove that the moduli stack of vector bundles on a curve, with a fixed determinant is $\mathbb{A}^1$-connected. We obtain this result by classifying vector bundles on a curve upto $\mathbb{A}^1$-concordance. Consequently we…

Given a smooth scheme X with an action by an affine algebraic group G, we give a formula to compute the Nisnevich sheaf of the motivic connected components of the quotient stack [X/G] in the case of an orbifold. We apply it to identify all…