Related papers: Net logarithmic tangent sheaves of complete inters…

On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $\Omega_{\mathcal{X}}^+$ of the sheaf of differentials $\Omega_{\mathcal{X}}$. It is defined in a similar way as the subsheaf…

In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…

We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane…

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…

In this paper we study the incidence complex of an arbitrary morphism of locally free sheaves relative to an arbitrary quasi compact morphism of schemes. We prove it is a local complete intersection in the case when the sheaf morphism is…

We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian…

In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space…

We view the moduli space of semistable sheaves on a K3 surface as a global quotient stack, and compute its cotangent complex in terms of the universal sheaf on the Quot scheme. Relevant facts on the classical and reduced Atiyah classes are…

Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,\phi), where E is a torsion…

We study the structure of a log smooth pair when the equality holds in the Bogomolov-Gieseker inequality for the logarithmic tangent bundle and this bundle is semistable with respect to some ample divisor. We also study the case of the…

In a beautiful paper Deligne and Illusie proved the degeneration of the Hodge-to-de Rham spectral sequence using positive characteristic methods. In a recent paper Arinkin, C\u{a}ld\u{a}raru and the author of this paper gave a geometric…

This paper provides an overview of the applications of sheaf theory in deep learning, data science, and computer science in general. The primary text of this work serves as a friendly introduction to applied and computational sheaf theory…

Let $X$ be a compact Riemann surface of genus $g \geq 3$. We consider the moduli space of holomorphic connections over $X$ and the moduli space of logarithmic connections singular over a finite subset of $X$ with fixed residues. We…

Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincar\'e duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive…

The main goal of this paper is to prove the polystability of the logarithmic tangent sheaf $\mathscr T_X(-D)$ of a log canonical pair $(X,D)$ whose canonical bundle $K_X+D$ is ample, generalizing in a significant way a theorem of Enoki. We…

In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of…

In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.

In this article, we prove that the Swan conductor of an \'etale sheaf on a smooth variety defined by Abbes and Saito's logarithmic ramification theory can be computed by its classical Swan conductors after restricting it to curves. It…

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…

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…