Related papers: Poincar\'e Duality in abstract 6-functor formalism…
These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025. The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor…
We introduce a notion of Poincar\'e duality for pairs of $\infty$-categories, extending Poincar\'e-Lefschetz duality for pairs of spaces. This categorical extension yields an efficient book-keeping device that affords, among other things, a…
We extend Poincar\'e duality in \'etale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms.
We dualize previous work on generalized persistence diagrams for filtrations to cofiltrations. When the underlying space is a manifold, we express this duality as a Poincar\'e duality between their generalized persistence diagrams. A heavy…
We investigate some connections between two different ways of defining Poincar\'e Duality, and relate them geometrically to the level curve mapping.
The aim of this note is to show that Poincar\'e inequalities imply corresponding weighted versions in a quite general setting. Fractional Poincar\'e inequalities are considered, too. The proof is short and does not involve covering…
We establish a number of foundational results on Poincar\'e spaces which result in several applications. One application settles an old conjecture of C.T.C. Wall in the affirmative. Another result shows that for any natural number n, there…
This paper is part of a series of articles in which we reproduce the statements regarding the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem, which is an $\infty$-categorical version for defining…
The purpose of this paper was to give an algebraic analog of Poincare duality. But there is a mistake in the proof of the main theorem. It will be corrected as soon as possible.
We make explicit Poincar\'{e} duality for the equivariant $K$-theory of equivariant complex projective spaces. The case of the trivial group provides a new approach to the $K$-theory orientation.
Many invariants of finitely generated positive cancelative commutative semigroups can be studied from their Poincar\'e series. We offer and present several closed formulas for them. Moreover, those formulas have elementary proofs and are…
In this paper, a formula for the solution of the Poincar\'{e} functional equation in algebra of formal power series and its application to continuous iteration are presented.
We walk out the landscape of K-theoretic Poincare Duality for finite algebras. It paves the way to get continuum Dirac operators from discrete noncommutative manifolds.
We continue our study of the variation of parabolic cohomology (math.AG/0310139) and derive an exact formula for the underlying Poincare duality. As an illustration of our methods, we compute the monodromy of the Picard-Euler system and its…
In this paper we assign, under reasonable hypothesis, to each pseudomanifold with isolated singularities a rational Poincar\'e duality space. These spaces are constructed with the formalism of intersections spaces defined by Markus Banagl…
Symmetries in the Lagrangian formalism of arbitrary order are analysed with the help of the so-called Anderson-Duchamp-Krupka equations. For the case of second order equations and a scalar field we establish a polynomial structure in the…
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In two previous papers, we develop the basic theory of formal manifolds,…
We develop a full 6-functor formalism for $p$-torsion \'etale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g.…
We give the definition of a duality that is applicable to arbitrary $k$-forms. The operator that defines the duality depends on a fixed form $\Omega$. Our definition extends in a very natural way the Hodge duality of $n$-forms in $2n$…
This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our…