Related papers: Poincar\'e-Verdier duality in o-minimal structures

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

Intersection homology with coefficients in a field restores Poincar\'e duality for some spaces with singularities, as pseudomanifolds. But, with coefficients in a ring, the behaviours of manifolds and pseudomanifolds are different. This…

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_\Lambda(M)$ and microsheaves with isotropic supports $\operatorname{\mu sh}_\Lambda(\Lambda)$ and obtain a classification result of…

We prove a Poincare-Alexander-Lefschetz duality theorem for rational torus-equivariant cohomology and rational homology manifolds. We allow non-compact and non-orientable spaces. We use this to deduce certain short exact sequences in…

Given an effective Cartier divisor D with simple normal crossing support on a smooth and proper scheme X over a perfect field of positive characteristic p, there is a natural notion of de Rham-Witt sheaves on X with zeros along D. We show…

Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…

We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology…

In this paper, we mainly build up the theory of sheaf-correspondence filtered spaces and stratified de Rham complexes for studying singular spaces. We prove the finiteness of a stratified de Rham cohomology and obtain its isomorphism to…

We establish a canonical isomorphism between two bigraded cohomology theories for polyhedral spaces: Dolbeault cohomology of superforms and tropical cohomology. Furthermore, we prove Poincar\'e duality for cohomology of tropical manifolds,…

We define cohomological complexes of locally compact abelian groups associated with varieties over $p$-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact…

It is well known that the cup-product pairing on the complementary integral cohomology groups (modulo torsion) of a compact oriented manifold is unimodular. We prove a similar result for the $\ell$-adic cohomology groups of smooth algebraic…

By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

We provide base change theorems, projection formulae and Verdier duality for both cohomology and homology in the context of finite topological spaces

In this paper we define the coarse (co)homology of the complement of a subspace in a metric space, generalizing the coarse (co)homology of Roe. We give a model space which encodes coarse geometric structure of the complement. We also…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic…

We discuss two known sheaf-cosheaf duality theorems: Curry's for the face posets of finite regular CW complexes and Lurie's for compact Hausdorff spaces, i.e., covariant Verdier duality. We provide a uniform formulation for them and prove…

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…