Related papers: On discriminants and incidence resolutions

Given an affine scheme X with an action of a reductive group G and a G-linearized coherent sheaf M, we construct the ``invariant Quot scheme'' that parametrizes the quotients of M whose space of global sections is a direct sum of simple…

We study intersection theory on the relative Hilbert scheme of a family of nodal-or-smooth curves, over a base of arbitrary dimension. We introduce an additive group called 'discriminant module', generated by diagonal loci, node scrolls,…

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete…

The modeling of cracks has been an intensely researched topic for decades - both from the mechanical as well as from the mathematics point of view. As far as the modeling of sharp cracks/interfaces is concerned, the resulting free boundary…

We show that the derived category of coherent sheaves on the quotient stack of the affine plane by a finite small subgroup of the general linear group is obtained from the derived category of coherent sheaves on the minimal resolution by…

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…

For a scheme X, we construct a sheaf C of complexes on X such that for every quasi-compact open subset U of X, C(U) is quasi-isomorphic to the Hochschild complex of the scheme U. Since C is moreover acyclic for taking sections on…

This paper considers the difficulty in the set-system approach to generalizing graph theory. These difficulties arise categorically as the category of set-system hypergraphs is shown not to be cartesian closed and lacks enough projective…

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 introduce trim resolutions of complex algebraic varieties, a strengthening of the notion of small resolution. We prove that the characteristic cycle of the intersection cohomology sheaf of a variety admitting a trim resolution is…

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the…

Let $X$ be a nonsingular complex projective variety and $D$ a locally quasi-homogeneous free divisor in $X$. In this paper we study a numerical relation between the Chern class of the sheaf of logarithmic derivations on $X$ with respect to…

We consider a mechanical system with impact and n degrees of freedom, written in generalized coordinates. The system is not necessarily Lagrangian. The representative point of the system must remain inside a set of constraints K; the…

In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…

Let $X$ be a locally Noetherian scheme with a closed subscheme $Z$. Let $\mathcal{X}$ be the completion of $X$ at $Z$, considered as a formal scheme. We show that a coherent sheaf on $X$ is equivalently given by a coherent sheaf on…

This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…

For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class…

We study complexes of finite complete intersection dimension in the derived category of a local ring. Given such a complex, we prove that the thick subcategory it generates contains complexes of all possible complexities. In particular, we…

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…