Related papers: Remarks on iterations of the $\mathbb A^1$-chain c…

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…

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…

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…

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…

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…

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

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.

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…

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…

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…

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…

In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…

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…

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…

Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove…

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…

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…

In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves…