Related papers: Expanding \v{C}ech cohomology for quantales
This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…
We extend the short presentation due to [Borel '53] of the cohomology ring of a generalized flag manifold to a relatively short presentation of the cohomology of any of its Schubert varieties. Our result is stated in a root-system uniform…
Recent work of Chen He has determined through GKM methods the Borel equivariant cohomology with rational coefficients of the isotropy action on a real Grassmannian and an real oriented Grassmannian through GKM methods. In this expository…
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…
This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…
The present paper is a continuation of our work on curved finitary spacetime sheaves of incidence algebras and treats the latter along Cech cohomological lines. In particular, we entertain the possibility of constructing a non-trivial de…
For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to…
In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand…
We begin by introducing schemes of binoids, invertible $\mathcal{O}_M$-sets and cohomology of sheaves of abelian groups defined on schemes of binoids. We define the so-called punctured combinatorial \v{C}ech-Picard complex, whose first…
An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…
We describe the cohomology groups of a homogeneous vector bundle $E$ on any Hermitian symmetric variety $X=G/P$ of ADE type as the cohomology of a complex explicitly described. The main tool is the equivalence between the category of…
Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such…
Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined…
Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…
Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell \neq p$,…
Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…
We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…
We study the ideals of the rational cohomology ring of the Hilbert scheme X^{[n]} of n points on a smooth projective surface X. As an application, for a large class of smooth quasi-projective surfaces X, we show that every cup product…
Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of…
Lichtenbaum has conjectured the existence of a Grothendieck topology for an arithmetic scheme $X$ such that the Euler characteristic of the cohomology groups of the constant sheaf $\mathbb{Z}$ with compact support at infinity gives, up to…