Related papers: The Adjoints of the Schur Functor
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,…
In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…
For our purposes, two functors {\Lambda} and {\Gamma} are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of {\Lambda}(G) to H if and only if there exists a homomorphism…
We study right quasi-representable differential graded bimodules as quasi-functors between dg-categories. We prove that a quasi-functor has a left adjoint if and only if it is left quasi-representable.
Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…
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…
Exploiting particular features of classical groups, simple constructions are given for the irreducible constituents of the tensor square of the adjoint modules and the leading terms in higher tensor powers. This provides an independent…
Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also…
We identify general conditions, formulated using the projection formula morphisms, for a functor that is simultaneously left and right adjoint to a strong monoidal functor to be a Frobenius monoidal functor. Moreover, we identify stronger…
We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…
We apply the notion of relative adjoint functor to generalise closed monoidal categories. We define representations in such categories and give their relation with left actions of monoids. The translation of these representations under lax…
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric…
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…
We study relation between left and right adjoint functors to the precomposition functor. As a cosnequence we obtain various dualities in the Ext-groups in the category of strict polynomial functors.
Let $M$ be a left module for the Schur algebra $S(n,r)$, and let $s \in \mathbb{Z}^+$. Then $M^{\otimes s}$ is a $(S(n,rs), F\mathfrak{S}_s)$-bimodule, where the symmetric group $\mathfrak{S}_s$ on $s$ letters acts on the right by place…
We derive a closed-form expression for the adjoint polynomials of torus knots and investigate their special properties. The results are presented in the very explicit double sum form and provide a deeper insight into the structure of…
The functor between operadic algebras given by restriction along an operad map generally has a left adjoint. We give a necessary and sufficient condition for the restriction functor to admit a right adjoint. The condition is a factorization…
The category of strict polynomial functors inherits an internal tensor product from the category of divided powers. To investigate this monoidal structure, we consider the category of representations of the symmetric group which admits a…
Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…