Related papers: Poincar\'e duality for Ext-groups between strict p…
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.
The authors previously described an algebraic analogue of the JSJ-decomposition of a 3-manifold. This analogue is defined for any finitely presented, one-ended group. We study this analogue in the special case of Poincar\'e duality pairs.
Let $k$ be a unital commutative ring. In this paper, we study polynomial functors from the category of finitely generated free nilpotent groups to the category of $k$-modules, focusing on comparisons across different nilpotency classes and…
We introduce the notion of affine strict polynomial functor. We show how this concept helps to understand homological behavior of the operation of Frobenius twist in the category of strict polynomial functors over a field of positive…
We prove a conjecture of Gorsky, Hogancamp, Mellit, and Nakagane in the Weyl group case. Namely, we show that the left and right adjoints of the parabolic induction functor between the associated Hecke categories of Soergel bimodules differ…
A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…
We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional…
Given a Fourier-Mukai functor $\Phi$ in the general setting of singular schemes, under various hypotheses we provide both left and a right adjoints to $\Phi$, and also give explicit formulas for them. These formulas are simple and natural,…
We establish a calculus of differences for taut endofunctors of the category of sets, analogous to the classical calculus of finite differences for real valued functions. We study how the difference operator interacts with limits and…
Parafermions of order two and three are shown to be the fundamental tool to construct superspaces related to cubic and quartic extensions of the Poincar\'e algebra. The corresponding superfields are constructed, and some of their main…
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…
Derivative polynomials in two variables are defined by repeated differentiation of the tangent and secant functions. We establish the connections between the coefficients of these derivative polynomials and the numbers of interior and left…
In this expository note, by using the Kostant-Kumar method, we prove the Poincar\'e duality of the elliptic classes associated to Schubert varieties.
G\'en\'eralisant un article de Pirashvili, nous caract\'erisons les petites cat\'egories additives A telles que l'inclusion dans la cat\'egorie des foncteurs de A vers les groupes ab\'eliens de la sous-cat\'egorie pleine des foncteurs…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…
For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…
We develop the theory dg algebras with enough idempotents and their dg modules and show their equivalence with that of small dg categories and their dg modules. We introduce the concept of dg adjunction and show that the classical covariant…
The well-known theory of Pontryagin duality provides a strong connection between the homology and cohomology theories of a profinite group in appropriate categories. A construction for taking the `profinite direct sum' of an infinite family…
For each pair of lax-idempotent pseudomonads $R$ and $I$, for which $I$ is locally fully faithful and $R$ distributes over $I$, we establish an adjoint functor theorem, relating $R$-cocontinuity to adjointness relative to $I$. This provides…
As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over…