相关论文: Computational techniques for sheaf cohomology of l…

Sheaf cohomology or, more generally, higher direct images of coherent sheaves along proper morphisms are central to modern algebraic geometry. However, the computation of these objects is a non-trivial and expensive task which easily…

We describe a novel method for computing sheaf cohomology over weighted projective spaces and stacks using exterior algebra and differential module techniques, generalizing an algorithm due to Eisenbud-Fl\o ystad-Schreyer over projective…

This thesis deals with the algorithmic representation of constructible sheaves of abelian groups on the \'etale site of a variety over an algebraically closed field, as well as the explicit computation of their cohomology. We describe three…

We describe a "cellular" approach to the computation of the cohomology of a poset with coefficients in a presheaf. A cellular cochain complex is constructed, described explicitly and shown to compute the cohomology under certain…

A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…

We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…

We give an algorithm to compute the following cohomology groups on $U = \C^n \setminus V(f)$ for any non-zero polynomial $f \in \Q[x_1, ..., x_n]$; 1. $H^k(U, \C_U)$, $\C_U$ is the constant sheaf on $U$ with stalk $\C$. 2. $H^k(U, \Vsc)$,…

We study equivariant resolutions and local cohomologies of toric sheaves for affine toric varieties, where our focus is on the construction of new examples of decomposable maximal Cohen-Macaulay modules of higher rank. A result of Klyachko…

The paper deals with the cohomological invariants of smooth and connected linear algebraic groups over an arbitrary field. More precisely, we study degree $2$ invariants with coefficients $\mathbb{Q}/\mathbb{Z}(1)$, that is invariants…

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…

We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional…

For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…

We introduce a way of describing cohomology of the symmetric groups with coefficients in Specht modules over Z or F_p. We study i-th-degree cohomology for i in {0,1,2}. The focus lies on the isomorphism type of second-degree cohomology of…

Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…

We compute all refined sheaf counting invariants -- Vafa-Witten, reduced DT, stable pairs and Gopakumar-Vafa -- for all classes on local $K3$ surfaces. Along the way we develop rank 0 Vafa-Witten theory on $K3$ surfaces. An important…

We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed…

We study the $L^2$--cohomology of certain local systems on non-compact arithmetic ball quotients $X=\Gamma \backslash \B_n$, in particular vanishing and non--vanishing results. We also give generalizations to higher dimensional ball…

We identify a close relationship between stable sheaf cohomology for polynomial functors applied to the cotangent bundle on projective space, and Koszul--Ringel duality on the category of strict polynomial functors as described in the work…

The sets of closed and closed-normal subgroups of a profinite group carry a natural profinite topology. Through a combination of algebraic and topological methods the size of these subgroup spaces is calculated, and the spaces partially…