Abstract The aim of this article is to study the geometry Bott-Chern hypercohomology from bimeromorphic point view. We construct some new invariants involving cohomology for sheaf germs pluriharmonic functions, truncated holomorphic de Rham cohomology, and cohomology. To define these invariants, by using a sheaf-theoretic approach, we establish blow-up formula together with canonical morphism h...

T. Dupuy, E. Katz, J. Rabinoff, D. Zureick-Brown introduced the module of total $p$-differentials for a ring over $Z/p^2Z$. We study same construction $Z_{(p)}$ and prove regularity criterion. For local ring, tensor product with residue field is constructed in different way by O. Gabber, L. Ramero. In another article arXiv:2006.00448, we use sheaf FW-differentials to define cotangent bundle mic...

A generalization of the usual ideles group is proposed, namely, we construct certain adelic complexes for sheaves of K-groups on schemes. More generally, such complexes are defined for any abelian sheaf on a scheme. We focus on the case when the sheaf is associated to the presheaf of a homology theory with certain natural axioms, satisfied by K-theory. In this case it is proven that the adelic ...

We describe a canonical L∞ structure on the total complex of a semicosimplicial differential graded Lie algebra and give an explicit descriprion of the Maurer-Cartan elements and of the associated deformation functor in the particular case of semicosimplicial Lie algebras. We use these results to investigate the deformation functor associated to a sheaf of Lie algebras L and to show that it is ...

This article presents several numerical algorithms for computations in sheaf cohomology. Let X be an algebraic set defined by a system of homogeneous multivariate polynomials with coefficients in C. Let C be a union of reduced, irreducible pure-dimensional curve components of X. The first algorithm computes the dimension of the first cohomology of any twist of the ideal sheaf of C. Let D be a r...

Language is contextual and sheaf theory provides a high level mathematical framework to model contextuality. We show how sheaf theory can model the contextual nature of natural language and how gluing can be used to provide a global semantics for a discourse by putting together the local logical semantics of each sentence within the discourse. We introduce a presheaf structure corresponding to ...

ion, Composition and Contracts: A Sheaf Theoretic Approach∗ Alberto Speranzon† David I. Spivak‡ Srivatsan Varadarajan† February 12, 2018 Abstract Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of computation consider...

This paper is concerned with a relationship between the existence of subvarieties of principally polarized abelian varieties (ppav’s) having minimal cohomology class and the (generic) vanishing of certain sheaf cohomology, based on the Generic Vanishing criterion studied in [PP3]. This is in analogy with the well-known equivalence between a subvariety in projective space being of minimal degree...

We prove a conjecture of A. S. Buch concerning the structure constants of the Grothendieck ring of a flag variety with respect to its basis of Schubert structure sheaves. For this, we show that the coefficients in this basis of the structure sheaf of any subvariety with rational singularities, have alternating signs. Equivalently, the class of the dualizing sheaf of such a subvariety is a nonne...

HomX denotes the sheaf-Hom functor of OX -complexes: HomX(E,F )(U) := Hom • U (E|U , F |U ) (U ⊂ X open), the restriction map for U ′ ⊂ U being the obvious one. This “dynamic” sheafified version of Hom• has a derived functor RHom•, defined as usual via q-injective resolutions (which always exist!). Similarly, we have a sheaf-theoretic version of ⊗, and its left-derived functor ⊗ = , defined via...