Related papers: Geometric Extensions
A framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D\subseteq X$ and a morphism $\Lambda^{2}E\rightarrow\mathcal{O}_{X}$ satisfying some additional…
Canonical quantization of abelian BF-type topological field theory coupled to extended sources on generic d-dimensional manifolds and with curved line bundles is studied. Sheaf cohomology is used to construct the appropriate topological…
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
We prove the Strengthened Hanna Neumann Conjecture. We give a more direct cohomological interpretation of the conjecture in terms of "typical" covering maps, and use graph Galois theory to "symmetrize" the conjecture. The conjecture is then…
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
We study a generalized notion of a homogeneous skew-product extension of a probability-preserving system in which the homogeneous space fibres are allowed to vary over the ergodic decomposition of the base. The construction of such…
A geometrical formulation for adjoint-symmetries as 1-forms is studied for general partial differential equations (PDEs), which provides a dual counterpart of the geometrical meaning of symmetries as tangent vector fields on the solution…
We prove invariance results for the cohomology groups of ideal sheaves of simple normal crossing divisors under (a restricted class of) birational morphisms of pairs in arbitrary characteristic, assuming a conjecture regarding the existence…
The van Est map is a map from Lie groupoid cohomology (with respect to a sheaf taking values in a representation) to Lie algebroid cohomology. We generalize the van Est map to allow for more general sheaves, namely to sheaves of sections…
Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…
We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…
We give an elementary short proof of Grothendieck's base change theorem for the cohomology of flat coherent sheaves.
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition,…
The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and…
We prove that the basic intersection cohomology $ {I H}^{^{*}}_{_{\bar{p}}}{(M/\mathcal{F})}, $ where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, is finite…
We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a…
Geometric conditions are given so that the leafwise reduced cohomology is of infinite dimension, specially for foliations with dense leaves on closed manifolds. The main new definition involved is the intersection number of subfoliations…
The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…
The purpose of this note is to give a short proof of a theorem of Koll\'ar that the derived direct image of the canonical sheaf splits into a sum of its cohomology sheaves. This is deduced from a stronger decomposition theorem for direct…