Related papers: Naive $\mathbb A^1$-homotopies on ruled surfaces
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…
Let $X$ be a smooth projective variety. We study admissible subcategories of the bounded derived category of coherent sheaves on $X$ whose support is a proper subvariety $Z \subset X$. We show that any one-dimensional irreducible component…
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 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 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 give a general structure theorem for affine A 1-fibrations on smooth quasi-projective surfaces. As an application, we show that every smooth A 1-fibered affine surface non-isomorphic to the total space of a line bundle over a smooth…
Let $S$ be a K3 surface, $C$ a smooth curve on $S$ with $\mathcal{O}_S(C)$ ample, and $A$ a base-point free $g^2_d$ on $C$ of small degree. We use Lazarsfeld--Mukai bundles to prove that $A$ is cut out by the global sections of a rank 1…
Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in…
We show that any commutative rationally ruled surface with a choice of anticanonical curve admits a 1-parameter family of noncommutative deformations parametrized by the Jacobian of the anticanonical curve, and show that many standard facts…
In an earlier paper (D. S. Keeler, D. Rogalski, and J. T. Stafford, ``Naive noncommutative blowing up,'' Duke Math. J., 126 (2005), 491-546), we defined and investigated the properties of the naive blowup of an integral projective scheme X…
Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$.…
We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…
We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed…
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…
We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…
We prove a relative version of the fact that semiorthogonal decompositions of the bounded derived category of coherent sheaves are strongly constrained by the base locus of the canonical linear system. As an application we prove that the…
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…
Given a projective smooth curve $X$ over any field $k$, we discuss two notions of global $\mathbb{A}^1$ degree of a finite morphism of smooth curves $f: X \to \mathbb{P}^1_k$ satisfying certain conditions. One originates from computing the…
We prove that holomorphic normal projective connections on compact complex surfaces are flat. We show that a holomorphic torsion-free affine connection $\nabla$ on a compact complex surface is locally modelled on a translations-invariant…
We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is…