Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let ${\mathbb F}:({\mathcal A},{\mathcal E}_{\mathcal A})\to({\mathcal B},{\mathcal E}_{\mathcal B})$ be an exact functor between exact categories, and suppose ${\mathbb F}$ has both a left adjoint ${\mathbb F}_\lambda$ and a right adjoint ${\mathbb F}_\rho$. Then the class

${\mathcal E} := \{X\to Y\to Z\in{\mathcal E}_{\mathcal A}\ |\ {\mathbb F}X\to{\mathbb F}Y\to{\mathbb F}Z\in{\mathcal E}_{\mathcal B}\}$

defines another exact structure on ${\mathcal A}$.

It is interesting to ask for criteria to decide when this exact structure is Frobenius. One such criterion is the following:

Suppose ${\mathcal E}_{\mathcal B}$ is the split exact structure, and that for each $X\in{\mathcal A}$ the unit $\eta_X: X\to{\mathbb F}_\rho{\mathbb F}X$ is an ${\mathcal E}_{\mathcal A}$-monomorphism, while the counit ${\mathbb F}_\lambda{\mathbb F}X\to X$ is an ${\mathcal E}_{\mathcal A}$-epimorphism. Then $({\mathcal A},{\mathcal E})$ has enough projectives and injectives, and the classes ${\mathcal P}$/${\mathcal I}$ of projective/injective objects in $({\mathcal A},{\mathcal E})$ are given by

${\mathcal P} = \{X\in{\mathcal A}\ |\ X\text{ is a summand of some }{\mathbb F}_\lambda , Y\in{\mathcal B}\}$ and

${\mathcal I} = \{X\in{\mathcal A}\ |\ X\text{ is a summand of some }{\mathbb F}_\rho Y, Y\in{\mathcal B}\}$,

respectively. Consequently, if ${\mathbb F}_\lambda$ and ${\mathbb F}_\rho$ have the same image, then $({\mathcal A},{\mathcal E})$ is Frobenius.

This seems very restrictive, but in fact there are at least two cases I know where it can be applied:

(1) If ${\mathcal A}$ is a dg-category, then the forgetful functor ${\mathbb F}: \text{dg-mod}({\mathcal A})\to\text{gr-mod}({\mathcal A})$ fulfills the requirements of the criterion above and thus can be used to construct a Frobenius structure on $\text{dg-mod}({\mathcal A})$ (for pretriangulated dg-categories ${\mathcal A}$, this structure can in turn be restricted to ${\mathcal A}$ itself).

(2) If $G$ is a finite group, $H$ is a subgroup, then the fortgetful functor $G\text{-mod}\to H\text{-mod}$ has left adjoint $\text{Ind}^G_H$ and right adjoint $\text{Coind}^G_H$, and these two functors coincide for $(G:H)<\infty$. In this case, the above criterion therefore applies to provide $G\text{-mod}$ with a Frobenius structure "relative to $H$".

Question

Do you know more criteria for constructing Frobenius structures and situations where they can be applied?

For example, I would be interested in a criterion which can be applied to show that the category of maximal Cohen-Macaulay modules over a Gorenstein ring is Frobenius.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.