Related papers: Computing Global Extension Modules for Coherent Sh…

We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ an ideal of $R$, $M$ a finitely generated $R$--module, and $X$ an arbitrary $R$--module. In this paper, for non-negative integers $s, t$ and a finitely…

We are going to show that the sheafication of graded Koszul modules $% K_{\Gamma}$ over $\Gamma_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_{\Gamma}$ of the coherents sheaves on projective space,…

For each elliptic curve A over the rational numbers we construct a 2-periodic S^1-equivariant cohomology theory E whose cohomology ring is the sheaf cohomology of A; the homology of the sphere of the representation z^n is the cohomology of…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

Given a sequence of related modules $M_n$ defined over a sequence of related polynomial rings, one may ask how to simultaneously compute a finite Gr\"obner basis for each $M_n$. Furthermore, one may ask how to simultaneously compute the…

Consider a complex analytic manifold $X$ and a coherent Lie subalgebra $\shi$ of the Lie algebra of complex vector fields on $X$. By using a natural $\shd_X$-module $\shm_\shi$ naturally associated to $\shi$ and the ring (in the derived…

Let $X$ be a smooth, irreducible, projective algebraic surface, and let $\alpha \in \mathbb{Q}[m]_{>0}$ be a polynomial. In this paper, we determine topological and geometric properties of the moduli space of $\alpha$-stable coherent…

We entirely compute the cohomology for a natural and large class of $\mathfrak{osp}(1|2)$ modules $M$. We study the restriction to the $\mathfrak{sl}(2)$ cohomology of $M$ and apply our results to the module $M={\mathfrak D}_{\lambda,\mu}$…

This paper deals with computing the global dimension of endomorphism rings of maximal Cohen--Macaulay (=MCM) modules over commutative rings. Several examples are computed. In particular, we determine the global spectra, that is, the sets of…

We construct a sheaf theoretic and derived geometric machinery to study nonlinear partial differential equations and their singular supports. We establish a notion of derived microlocalization for solution spaces of non-linear equations and…

For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the…

We give a practical computer algebra implementation of the Covering Lemma for finite transformation semigroups. The lemma states that given a surjective relational morphism $(X,S)\twoheadrightarrow(Y,T)$, we can establish emulation by a…

Let S be a smooth projective algebraic surface. Generalizing results of Nakajima and Grojnowski, we construct (under some assumptions) an action of the oscillator algebra associated to the cohomology of S, on the cohomology of the moduli…

Computing the extensions between Verma modules is in general a very difficult problem. Using Soergel bimodules, one can construct a graded version of the principal block of Category $\mathcal{O}$ for any finite coxeter group. In this…

For any holomorphic function $f\colon X\to \mathbb{C}$ on a complex manifold $X$, we define and study moderate growth and rapid decay objects associated to an enhanced ind-sheaf on $X$. These will be sheaves on the real oriented blow-up…

We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable…

In this paper, we define a certain Hodge-theoretic structure for an arbitrary variety X over the complex number field by using the theory of mixed Hodge module due to Morihiko Saito. We call it an arithmetic Hodge structure of X. It is…