Related papers: Poincar\'e Duality in abstract 6-functor formalism…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…
We prove that a large class of Poincar\'e duality pairs admit rational models (in the sense of Sullivan) of a particularly nice form associated to some Poincar\'e duality CDGA. These models have applications in particular to the…
We show Poincar\'e Duality for $\mathbf{F}_p$-\'etale cohomology of a smooth proper rigid-analytic space over a non-archimedean field $K$ of mixed characteristic $(0, p)$. It positively answers the question raised by P. Scholze in [Sch13a].…
A version of the twisted Poincar\'{e} duality is proved between the Poisson homology and cohomology of a polynomial Poisson algebra with values in an arbitrary Poisson module. The duality is achieved by twisting the Poisson module structure…
In this survey one discusses the notion of the Poincar\'e series of multi-index filtrations, an alternative approach to the definition, a method of computation of the Poincar\'e series based on the notion of integration with respect to the…
If for a vector space V of dimension g over a characteristic zero field we denote by $\wedge^iV$ its alternating powers, and by $V^\vee$ its linear dual, then there are natural Poincar\'e isomorphisms: $\wedge^i V^\vee \cong \wedge^{g-i}…
We briefly review the main aspects of (Poincar\'e-Dulac) normal forms; we have a look at the non-uniqueness problem, and discuss one of the proposed ways to ``further reduce'' the normal forms. We also mention some convergence results.
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 establish the motivic six-functor formalism for fs log schemes. In particular, we prove the exact base change property, projection formula, and Poincar\'e duality. We also define Borel-Moore motivic homology, G-theory, and Chow homology…
In a earlier work of Claire Debord and the author, a notion of noncommutative tangent space isdefined for a conical pseudomanifold and the Poincar\'e duality in $K$-theory is proved between this space and the pseudomanifold. The present…
We introduce Poincar\'e type inequalities based on rearrangement invariant spaces in the setting of metric measure spaces and analyze when they imply the doubling condition on the underline measure.
We present two extensions of the one dimensional free Poincar\'e inequality similar in spirit to two classical refinements.
In this paper we address the relation between the orbifold fundamental group and the topology of the underlying space. In particular, under the assumption that the orbifold fundamental group is equal to the fundamental group of the…
This article is the last of the series of articles where we reprove the foundational ideas of abstract six-functor formalisms developed by Liu-Zheng. We prove the theorem of partial adjoints, which is a simplicial technique of encoding…
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…
The full duality between the $\kappa$-Poincar\'e algebra and $\kappa$-Poincar\'e group is proved.
We define a combinatorial object that can be associated with any conic-line arrangement with ordinary singularities, which we call the combinatorial Poincar\'e polynomial. We prove a Terao-type factorization statement on the splitting of…
We introduce partial duality of hypermaps, which include the classical Euler-Poincar\'e duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…