Related papers: Birational invariants and A^1-connectedness

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

We give an explicit formula for the zeroth $\mathbb{A}^1$-homology sheaf of a smooth proper variety. We also provide a simple proof of a theorem of Kahn-Sujatha which describes hom sets in the birational localization of the category of…

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…

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 the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily…

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 study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant…

In this article we prove that any $\mathbb{A}^1$-connected smooth $k$-variety is $\mathbb{A}^1$-uniruled for any algebraically closed field $k$. We establish that if a non empty open subscheme $X$ of a smooth affine $k$-scheme is…

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 study the 0-th stable A^1-homotopy sheaf of a smooth proper variety over a field k assumed to be infinite, perfect and to have characteristic unequal to 2. We provide an explicit description of this sheaf in terms of the theory of…

We extend the definition of the unramified curve-tame cohomology groups to $\mathbb{A}^1$-invariant \'etale sheaves under some additional hypotheses. We define a pairing of this group with the Suslin homology satisfying desirable properties…

We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the…

We provide a cohomological interpretation of the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve over an infinite perfect field. We show that this group is isomorphic to the first Nisnevich (or Zariski) cohomology group of a…

We survey some topics in ${\mathbb A}^1$-homotopy theory. Our main goal is to highlight the interplay between ${\mathbb A}^1$-homotopy theory and affine algebraic geometry, focusing on the varieties that are "contractible" from various…

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…

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…

Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…

We establish a connection between the theory of Ulrich sheaves and $\mathbb{A}^1$-homotopy theory. For instance, we prove that the $\mathbb{A}^1$-degree of a morphism between projective varieties, that is relatively oriented by an Ulrich…

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…