Related papers: The sheaf $\alpha$ $\bullet$ X

Let \(E\) be a finite-dimensional real vector space. We study invertible objects in the monoidal category of constructible sheaves on \(E\), endowed with the convolution product \(\star\). We show that the inverse of an invertible…

We characterize universally generalizing morphisms which satisfy descent of algebraic cycles integrally as those universally generalizing morphisms which are surjective with generically reduced fibres. In doing so, we introduce a naive…

Let M be a 2n-dimensional smooth and compact moduli space of stable sheaves on a K3 surface S and U a universal sheaf over S x M. Over M x M there exists a natural reflexive sheaf E of rank 2n-2, namely the first relative extension sheaf of…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…

We develop a microlocal and derived-geometric framework for index theory and analytic torsion of nonlinear PDEs. By integrating Spencer hypercohomology, microlocal sheaf theory, and factorization algebras, we establish new connections…

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…

Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a…

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.

Among other things, we show that the ideal sheaf of a complex Hilbert submanifold of a pseudoconvex open subset of Hilbert space is acyclic over the ambient pseudoconvex open set. We also prove a vanishing theorem for a fairly general class…

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 show that any equivalence of bounded derived categories of coherent sheaves on a smooth projective complex variety supported in a closed algebraic subset preserves the dimension of the support in two cases: (i) the restriction of the…

We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their…

Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

In this paper, we study the perturbative aspects of a twisted version of the two-dimensional $(0,2)$ heterotic sigma model on a holomorphic gauge bundle $\mathcal E$ over a complex, hermitian manifold $X$. We show that the model can be…

Let I be an open interval, M be a real manifold, T*M its cotangent bundle and \Phi={\phi_t}, t in I, a homogeneous Hamiltonian isotopy of T*M defined outside the zero-section. Let \Lambda be the conic Lagrangian submanifold associated with…

We view Dolbeault-Morse-Novikov cohomology H^{p,q}_\eta(X) as the cohomology of the sheaf \Omega_{X,\eta}^p of \eta-holomorphic p-forms and give several bimeromorphic invariants. Analogue to Dolbeault cohomology, we establish the…