nLab Frobenius functor

Redirected from "Frobenius extension".
Contents

Contents

Definition

Definition

(Frobenius functor)
An adjoint pair of functors

(FG):DC (F\dashv G) \;\colon\; D \longrightarrow C

is called a Frobenius pair if FF is not only a left adjoint to GG but also a right adjoint to GG, hence if we have an ambidextrous adjunction, i.e. an adjoint triple of the form

(FGF):DC. (F \dashv G \dashv F) \;\colon\; D \longrightarrow C \,.

This situation was called a strongly adjoint pair by Morita 1965, but the Caenepeel, Militaru & Zhu 1997 (followed by CGN 1998) suggested to refer to such FF as Frobenius functors.

Remark

(terminology)
The terminology “Frobenius functor” (Def. ) is motivated by the observation (Thm. 5.1 there, see below) of Morita 1965 (who instead speaks of “strongly adjoint pairs”!) that the functor of restriction of scalars f *f^\ast along a homomorphism ff of rings has coinciding left adjoint (extension of scalars) and right adjoint (coextension of scalars) iff ff is a ring extension which is a “Frobenius extension” in the sense of Kasch 1961.

The suggestion to therefore refer to Morita’s “strongly adjoint pairs” as “Frobenius functors” is due to Caenepeel, Militaru & Zhu 1997, seconded by CGN 1998.

Beware of the independent terminology of “Frobenius monoidal functor” which does not refer to Frobenius functors that are also monoidal. (Similarly, one should not refer to Kasch’s Frobenius extensions as “Frobenius morphisms”!)

On the other hand, the (co)monads induced by Frobenius adjunctions are the Frobenius monads, see the discussion there.

Examples

Example

Morita 1965 proved that the extension of scalars functor for a morphism of rings f:RSf:R\to S is Frobenius iff the morphism ff itself is a Frobenius extension in the sense of (Kasch 1961), that is: RS{}_R S is finitely generated projective and SS RHom R( RS, RR){}_S S_R\cong Hom_R({}_R S, {}_R R) as RSR-S-bimodules.

This is in the spirit of the finite-dimensional duality coded e.g. in the notion of Frobenius algebra.

References

The concept originates under the name “strongly adjoint pair” in:

  • Kiiti Morita, Adjoint pairs of functors and Frobenius extensions, Science Reports of the Tokyo Kyoiku Daigaku, Section A 9 202/208 (1965) 40-71 [jstor:43698658]

in application to the notion of “Frobenius extension” due to

The terminology “Frobenius functor” for this situation is due to:

Further discussion:

Last revised on August 11, 2023 at 07:11:48. See the history of this page for a list of all contributions to it.