Related papers: On the stack of 0-dimensional coherent sheaves: st…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

For a locally free sheaf $\mathcal{E}$ on a smooth projective curve, we can define the punctual Quot scheme which parametrizes torsion quotients of $\mathcal{E}$ of length $n$ supported at a fixed point. It is known that the punctual Quot…

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local-global compatibility in the Langlands program. We survey some known…

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice…

Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula…

We show that the moduli spaces of stable sheaves on projective schemes admit certain non-commutative structures, which we call quasi NC structures, generalizing Kapranov's NC structures. The completion of our quasi NC structure at a closed…

For complex projective smooth surface $X$, let $M$ be the coarse moduli scheme of rank-two stable sheaves with fixed Chern classes. Grasping the birational structure of $M$, for example its Kodaira dimension, is a fundamental problem.…

We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.

Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…

Let $X$ be an arbitrary scheme. The category $\mathfrak{Qcoh}(X)$ of quasi--coherent sheaves on $X$ is known that admits arbitrary direct products. However their structure seems to be rather mysterious. In the present paper we will describe…

We prove that for $X$ a regular quasi-affine scheme of dimension $d$, $\mathcal{O}_X$ is a $d$-step generator of $D^b_{coh}(X)$, establishing Orlov's conjecture in this case. We prove something weaker in the projective case. The main…

Given a smooth projective variety $X$ over a field, consider the $\mathbb Q$-vector space $Z_0(X)$ of 0-cycles (i.e. formal finite $\mathbb Q$-linear combinations of the closed points of $X$) as a module over the algebra of finite…

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…

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…

We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce…

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

Given a tensor triangulated category we investigate the geometry of the Balmer spectrum as a locally ringed space. Specifically we construct functors assigning to every object in the category a corresponding sheaf and a notion of support…