Related papers: A universal coefficient theorem for sheaf cohomolo…
We introduce a sheaf-theoretic characterization of task solvability in general distributed computing models, unifying distinct approaches to message-passing models. We establish cellular sheaves as a natural mathematical framework for…
We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we…
We prove a homotopy theorem for sheaves. Its application shortens and simplifies the proof of many Oka principles such as Gromov's Oka principle for elliptic submersions.
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…
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…
We use Cox's description for sheaves on toric varieties and results about the local cohomology with respect to monomial ideals to give a characteristic free approach to vanishing results on arbitrary toric varieties. As an application, we…
We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of…
We give necessary and sufficient conditions for the hull of a coherent sheaf to be coherent.
We construct the universal monodromic big tilting sheaf on base affine space and calculate its endomorphisms. By formal completion, we recover Soergel's pro-unipotent Endomorphismensatz with arbitrary field coefficients. We give a Soergel…
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…
We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module…
In this survey paper, we present \v{C}ech and sheaf cohomologies -- themes that were presented by Koszul in University of S\~ao Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e,…
We construct an integral model of the perfectoid modular curve. Studying this object, we prove some vanishing results for the coherent cohomology at perfectoid level. We use a local duality theorem at finite level to compute duals for the…
We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We…
We develop a bundle theory of presheaves on small categories, based on similar work by Brent Everitt and Paul Turner. For a certain set of presheaves on posets, we produce a Leray-Serre type spectral sequence that gives a reduction property…
We generalise Bogomolov's inequality to all coherent torsion-free sheaves on a smooth projective surface.
We give a complete description of the equivariant quantum cohomology ring of any smooth hypertoric variety, and find a mirror formula for the quantum differential equation.
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…
Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This…
This article aims to introduce to the uninitiated, in just four lectures of 26 pages, the wonderful techniques of sheaf cohomology, hypercohomology, and spectral sequences.