Related papers: Relative $\mathbb{A}^1$-Contractibility of Smooth …
We study smooth bundles over surfaces with highly connected almost parallelizable fiber $M$ of even dimension, providing necessary conditions for a manifold to be bordant to the total space of such a bundle and showing that, in most cases,…
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…
In this paper we explore conditions for a curve in a smooth projective surface to have a free product of cyclic groups as the fundamental group of its complement. It is known that if the surface is $\mathbb P^2$, then such curves must be of…
Let $C$ be an irreducible smooth projective curve of genus $g\geq 2$ over an algebraically closed field. We prove that the moduli stack of semi-stable vector bundles on $C$ of fixed rank and determinant is $\mathbb{A}^1$--connected. We also…
Let $\pi:Y\to X$ be a surjective morphism between two irreducible, smooth complex projective varieties with ${\rm dim}Y>{\rm dim}X >0$. We consider polarizations of the form $L_c=L+c\cdot\pi^*A$ on $Y$, with $c>0$, where $L,A$ are ample…
For any (not necessarily perfect) field $k$ we obtain equivalences of $\infty$-categories \[\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(k)\simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(k) \text{ and }…
We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric,…
We study relative hypersurfaces over curves, and prove an instability condition for the fibres. This gives an upper bound on the log canonical threshold of the relative hypersurface. We compare these results with the information that can be…
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 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 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,…
We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…
Let $\pi: P\to B$ be a locally trivial fiber bundle over a connected CW complex $B$ with fiber equal to the closed symplectic manifold $(M,\om)$. Then $\pi$ is said to be a symplectic fiber bundle if its structural group is the group of…
We study the problem of classifying projectivizations of rank-two vector bundles over ${\mathbb P}^2$ up to various notions of equivalence that arise naturally in ${\mathbb A}^1$-homotopy theory, namely ${\mathbb A}^1$-weak equivalence and…
We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with…
We construct a smooth rational affine surface S with finite automorphism group but with the property that the group of automorphisms of the cylinder SxA^2 acts infinitely transitively on the complement of a closed subset of codimension at…
For a smooth map $f:X^4\to\Sigma^2$ that is locally modeled by holomorphic maps, the domain is shown to admit a symplectic structure that is symplectic on some regular fiber, if and only if $f^*[\Sigma]\ne0$. If so, the space of symplectic…
We study the representability of motivic spheres by smooth varieties. We show that certain explicit "split" quadric hypersurfaces have the $\mathbb A^1$-homotopy type of motivic spheres over the integers and that the $\mathbb A^1$-homotopy…
Using a recent description of the geometric stability manifold, we show the geometric stability manifold associated to any smooth projective complex surface is contractible. We then use this result to demonstrate infinitely many new…