Related papers: Naive vs. genuine A^1-connectedness

There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the…

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold $M$ with the Grothendieck group of constructible sheaves on $M$. When $M$ is a finite dimensional real vector space,…

If $X$ is an abelian variety over a field and $L$ is an invertible sheaf, we know that the degree of the 0-cycle $L^g$ is divisible by $g!$. As a 0-cycle, it is not, even over a field of cohomological dimension 1. But we show that over a…

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…

As a previous result, it has shown that every sphere-link consisting of trivial components is a ribbon sphere-link. In this note, it is shown that for every closed oriented disconnected surface F with just one non-sphere component, every…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

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 prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow…

There are two fundamental obstructions to representing noncommutative rings via sheaves. First, there is no subcanonical coverage on the opposite of the category of rings that includes all covering families in the big Zariski site. Second,…

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

We define monoidal components attached to perverse sheaves on abelian varieties and discuss their properties.

Voevodsky has conjectured that numerical and smash equivalence coincide on a smooth projective variety. We prove the conjecture for one dimensional cycles on an arbitrary product of curves. As a consequence we get that numerically trivial…

On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure.

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…

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…

This paper studies the components of the moduli space of rank 1, torsion-free sheaves, or compactified Jacobian, of a non-Gorenstein curve. We exhibit a generically reduced component of dimension equal to the arithmetic genus and prove that…

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 short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability of the tangent sheaf (if there are no other obvious reasons). A simple application of the results…

In "Chern classes for coherent sheaves", H.I. Green constructs Chern classes in de Rham cohomology of coherent analytic sheaves. We construct here a formal $(\infty,1)$-categorical framework into which we can place Green's work and…

Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves. When the Alexander dual…