Abstract
We study a Serre functor in functor categories related to the category \(\mathcal {P}_{d}\) of strict polynomial functors over a field of positive characteristic. Our main result shows that the derived category of the category of affine strict polynomial functors in some cases carries the structure of Calabi–Yau category. We also re-obtain the Poincaré duality formulas for Ext groups in \(\mathcal {P}_{d}\) and construct a certain recollement diagram relating the derived categories of affine and ordinary strict polynomial functors.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present article we study the Serre functor in the derived category of the category \(\mathcal {P}_{d}\) of strict polynomial functors of degree d over a field of positive characteristic. Although the existence of Serre functor in our context follows from general theory, and it was constructed in [15], we investigate its interplay with various structures existing on \(\mathcal {P}_{d}\) (Frobenius twist, affine subcategories, blocks), which has some interesting consequences.
We start by studying the Serre functor S in the bounded derived category of \(\mathcal {P}_{d}\). The main goal of Section 2 is to show that the Poincaré type formulas for Ext groups in \(\mathcal {P}_{d}\) obtained in [6] and [17] are a consequence of the interplay between S and the Frobenius twist, which motivates the further part of the paper. Namely we obtain
Corollary 2.4 Let λ be a Young diagram of weight d which is single in its block (we call such a diagram and its block basic), let μ be any Young diagram of weight dpi. Let Fλ,Fμ be the corresponding simple objects. Then there is an isomorphism of linear spaces:
as a formal consequence of basic properties of S.
The main part of the paper consists of Sections 3–5. Our goal is to put the Poincaré duality formula from Corollary 2.4 into a wider categorical context. To this end we turn attention to the category \(\mathcal {P}_{d}^{af_{i}}\) of i-affine strict polynomial functors of degree d, and we introduce a (somewhat weaker version of) Serre functor on its derived category \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). In general, a Serre functor produces Poincaré duality in Ext groups when it acts on some object as the shift functor. Indeed, we see in our Proposition 2.3 that this exactly happens for some Frobenius twisted strict polynomial functors (in fact, Corollaries 2.4 and 2.5 are formal consequences of Proposition 2.3). We provide a categorical interpretation of this phenomenon by investigating a Serre functor on the derived category of the category \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) of i-affine strict polynomial functors of degree d (c.f. [7]), which is a full triangulated subcategory of \(\mathcal {D}\mathcal {P}_{dp^{i}}\) generated the i-times Frobenius twisted functors (c.f. [7]). Namely, we find certain subcategories, called “basic affine semiblocks” of \(\mathcal {D}\mathcal {P}_{dp^{i}}\), which correspond to “basic blocks” appearing in Cor. 2.5, on which the Serre functor is isomorphic to the shift functor (such categories are called Calabi–Yau). Thus we have succeeded in providing a categorical interpretation of both assumptions in Corollary 2.4: we specialize to \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) because \(F_{\lambda }^{(i)}\) is twisted and we restrict to the image of the block containing Fλ to take advantage of the fact that λ is basic.
Below we describe the contents of the article in more detail.
Section 2 studies basic properties of the Serre functor in \(\mathcal {P}_{d}\) (Th. 2.2, Corollary 2.3) and shows how they lead to the Poincaré duality formulas in \(\mathcal {P}_{d}\) (Cor. 2.4). We also point out that in Cor. 2.5 we obtain a new example of Poincareé duality, which suggests that the approach to the Poincaré duality presented here may be more flexible than that from [6].
Then in Section 3 we study a Serre functor in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). We start with reviewing basic properties of the categories \(\mathcal {P}_{d}^{af_{i}}\) and \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). This is mainly a recollection of some facts from [7] where these concepts were introduced and adapting them to a slightly more general setting of “multiple twists” in which we work in the present article. A new ingredient is the “affine Kuhn duality” which is useful in all kinds of duality issues. In order to have this piece of structure we were forced (in contrast to [7]) to allow unbounded complexes in our derived categories. In the next subsection we use the affine Kuhn duality to obtain the “affine recollement diagram” which is not used in the rest of the paper but may be of independent interest. Then we proceed to define the Serre functor \(\textbf {S}^{af_{i}}\) in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). However, we need to adapt this notion to the fact that \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) has infinite dimensional Hom-spaces. Hence, technically, we define “a weak Serre functor ” (Definition 3.14, 3.15) on \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\).
In Section 4 we introduce “the semiblock decomposition” of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). This is a collection of reflective subcategories of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) indexed by the set of blocks in \(\mathcal {P}_{d}\). They generate \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) but in contrast to genuine blocks they are not orthogonal. We believe that this structure deserves a further investigation, however in the present article we content ourselves to introducing the affine derived Kan extension and Serre functor on the semiblocks. This is a non-trivial task due to the non-orthogonality of semiblocks.
In Section 5 we focus on the basic semiblocks, i.e., the subcategories of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) which correspond to the blocks containing a single simple object. We establish the main result of the article
Theorem 5.1 For any basic Young diagram λ, the category \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i},b}\) is Calabi–Yau of dimension 2d(pi − 1), the category \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) is weak Calabi–Yau of dimension 2d(pi − 1).
thus providing the promised categorical interpretation of our Poincaré duality formulas. We finish our article by giving various explicit descriptions of basic semiblocks as categories of DG modules over certain graded algebras (Proposition 5.5, Corollary 5.6) which should make them easier to handle.
2 Serre Functor in \(\mathcal {D}\mathcal {P}_{d}\)
Let \(\mathcal {P}_{d}\) be the category of strict polynomial functors of degree d over a fixed field k of characteristic p > 0 as defined in [11]. Since \(\mathcal {P}_{d}\) is an artinian category of finite homological dimension, it follows from [3] that its bounded derived category possesses a Serre functor. The Serre functor on \(\mathcal {D}\mathcal {P}_{d}\) was studied by Krause in [15] who described it explicitly and established its basic properties. In the present section we recall Krause’s approach, and show how by using the interplay between the Serre functor and the Frobenius twist to re-obtain (and slightly extend) the Poincaré dualities from [6].
We start with recalling standard notations concerning strict polynomial functors. Let \(\mathcal {V}\) stand for the category of finite dimensional vectors spaces over k, and let \({\Gamma }^{d}\mathcal {V}\) stand for the category of d th divided powers over \(\mathcal {V}\). By this we mean that the objects of \({\Gamma }^{d}\mathcal {V}\) are those of \(\mathcal {V}\) but
where for a vector space X, Γd(X) stands for the space of symmetric d-tensors on X. Then the category \(\mathcal {P}_{d}\) of strict polynomial functors of degree d is the category k-linear functors from \({\Gamma }^{d}\mathcal {V}\) to \(\mathcal {V}\) (c.f. [12, Sect. 3]). For a finite dimensional k-vector space U we define the strict polynomial functor \(S^{d}_{U^{*}}\in \mathcal {P}_{d}\) by the formula
Then by the Yoneda lemma (c.f. [11, Th. 2.10]) we have the natural in U and \(F\in \mathcal {P}_{d}\) isomorphism
It immediately follows from this formula that \(S^{d}_{U^{*}}\) is injective and it was shown in [11, Th. 2.10] that if \(\dim (U)\geq d\) then \(S^{d}_{U^{*}}\) is a cogenerator of \(\mathcal {P}_{d}\). Dually, we have a family of projective objects \({\Gamma }^{d}_{U^{*}}\) for which the Yoneda lemma gives the isomorphism
Let \(\mathcal {D}\mathcal {P}_{d}\) denote the bounded derived category of \(\mathcal {P}_{d}\). In order to describe explicitly the Serre functor on \(\mathcal {D}\mathcal {P}_{d}\), we shall regard the assignment (V,W)↦Sd(V∗⊗ W) =: Sd(I∗⊗ I) as a strict polynomial bifunctor of degree (d,d) in the sense of [10]. It was shown in [7, Prop. 4.1], [5, pp. 10020–10021] that the category \(\mathcal {P}_{d}^{d}\) of strict polynomial bifunctors of degree (d,d) has a finite homological dimension and that taking Hom with respect to the covariant variable produces the left balanced functor:
which has the total derived functor:
Definition 2.1
We define a functor \(\textbf {S}: \mathcal {D}\mathcal {P}_{d}\longrightarrow \mathcal {D}\mathcal {P}_{d}\) by the formula:
Practically, for \(F\in \mathcal {P}_{d}\), we have:
One can see that when we explicitly write down the definition of Serre functor given in [15] in terms of the monoidal structure on \(\mathcal {P}_{d}\), we get (−)# ∘S ∘ (−)#, where (−)# stands for the Kuhn duality. Conjugating by the Kuhn duality is a consequence of the fact that, as we will see in a moment, we obtain the left Serre functor (which is easier to describe in terms of Hom-functors), while Krause considers the right one.
Now we gather the basic properties of S (c.f. [15, Cor. 5.5]):
Theorem 2.2
The functor S satisfies the following properties:
-
1.
There is a natural in U isomorphism in \(\mathcal {D}\mathcal {P}_{d}\):
$$ \textbf{S}(S^{d}_{U^{*}})\simeq{\Gamma}^{d}_{U^{*}}. $$ -
2.
There is an isomorphism of functors:
$$ \textbf{S}\simeq {\Theta}\circ {\Theta} $$where Θ is the “Koszul duality” functor from [4] given by the formula:
$$ {\Theta}(F):=\mathcal{R}\mathcal{H}om_{\mathcal{P}_{d}}({\Lambda}^{d}(I^{*}\otimes I),F), $$where Λd(I∗⊗ I)(V,W) := Λd(V∗⊗ W).
-
3.
For any \(F\in \mathcal {D}\mathcal {P}_{d}\), \(G\in \mathcal {D}\mathcal {P}_{d^{\prime }}\) there are isomorphisms in respectively \(\mathcal {D}\mathcal {P}_{dp^{i}}\), \(\mathcal {D}\mathcal {P}_{d+d^{\prime }}\):
-
\(\textbf {S}(F^{(i)})\simeq \textbf {S}(F)^{(i)}[-2d(p^{i}-1)]\)
-
\(\textbf {S}(F\otimes G)\simeq \textbf {S}(F)\otimes \textbf {S}(G).\)
-
-
4.
S is a self-equivalence of \(\mathcal {D}\mathcal {P}_{d}\).
-
5.
There is a natural in \(F,G\in \mathcal {D}\mathcal {P}_{d}\) isomorphism
$$ \text{Hom}_{\mathcal{D}\mathcal{P}_{d}}(F,G)\simeq\text{Hom}_{\mathcal{D}\mathcal{P}_{d}}(\textbf{S}(G),F)^{*}, $$that is, S is a left Serre functor in the sense of [2].
Proof
To see the first part we recall that since \(S^{d}_{U^{*}}\) is injective, we have a chain of quasi-isomorphisms:
by the Yoneda lemma.
In fact, [4, Prop. 2.2] can be easily extended to the “parameterized version”:
where Sλ stands for the Schur functor associated to the Young diagram λ and \(W_{\widetilde {\lambda }}\) stands for the Weyl functor associated to the transposed Young diagram \(\widetilde {\lambda }\). From this we obtain the isomorphisms: \({\Theta }(S^{d}_{U^{*}})\simeq {\Lambda }^{d}_{U^{*}}\) and \({\Theta }({\Lambda }^{d}_{U^{*}})\simeq {\Gamma }^{d}_{U^{*}}\) which give the second part.
The formulas from part 3 follow from the analogous facts holding for Θ [4, Prop. 2.6].
The fact that S is an equivalence follows from a general argument (we will resort to it in a more general setting in Section 3), but it will be useful to explicitly describe the inverse of S. Namely, it follows from [4, Def. 2.3, Cor. 2.4] that the“right Serre functor” Sr := (−)# ∘S ∘ (−)# where (−)# is the Kuhn duality, is the inverse of S.
In order to obtain the last part, it suffices to establish a natural in U isomorphism
By the first part and the injectivity of \(S^{d}_{U^{*}}\) and projectivity of \({\Gamma }^{d}_{U^{*}}\) it reduces to
which follows from the Yoneda lemma. □
The fact that S is a Serre functor can be used to obtain the Poincaré like formulas for the Ext groups, provided that we are able to compute S(F) in some interesting cases. We shall illustrate this idea by re-obtaining the most important example of the Poincaré duality formula for Ext groups in \(\mathcal {P}_{d}\) established in [6].
Let λ be a Young diagram of weight (=size) d which is a p-core. We recall that the blocks in \(\mathcal {P}_{d}\) are indexed by the p-core Young diagrams of weight d − jp for j ≥ 0 (c.f. [19, Section 5], it was overlooked in [6] that the description of blocks for \(\mathcal {P}_{d}\) is simpler than that for the Schur algebra in general). Thus the block labeled by λ contains only one simple object Fλ. We call such a Young diagram λ and the corresponding block basic.
Proposition 2.3
Let λ be a basic Young diagram of weight d. Then
Proof
Since Fλ is single in its block, we have the isomorphisms: \(F_{\lambda }\simeq S_{\lambda }\simeq W_{\lambda }\). Therefore:
Now, since \(\widetilde {\lambda }\) is a p-core, also \(F_{\widetilde {\lambda }}\) is single in its block. Hence we obtain:
Thus we see that \(\textbf {S}(F_{\lambda })\simeq {\Theta }^{2}(F_{\lambda })\simeq F_{\lambda }\) and our formula follows from Theorem 2.2(3). □
The Poincaré duality formula [6, Example 3.3] is a formal consequence of Proposition 2.3.
Corollary 2.4
Let λ be a basic Young diagram of weight d, μ be any Young diagram of weight dpi, and Fλ,Fμ be the corresponding simple objects. Then
Proof
By applying first the Kuhn duality (−)# (we recall that simple objects are self-dual with respect to (−)#), then the Serre functor and finally using Proposition 2.3 we obtain:
□
The next example shows that our approach to the Poincaré duality is more flexible than that used in [6].
Corollary 2.5
There is a natural in \(U\in \mathcal {V}\) and \(F\in \mathcal {P}_{dp^{i}}\) isomorphism
Proof
By applying the right Serre functor and the Kuhn duality we obtain
□
Let us observe that our Corollary 2.5 does not follow from [6, Th. 3.2], since \({\Gamma }^{d}_{U^{*}}\) does not satisfy the assumption that its endomorphism algebra (which is the Schur algebra) is a symmetric Frobenius algebra. This shows that our current approach to the Poincaré duality is more direct than that of [6] and may have a wider range of applications.
In the further part of the paper we will try to put the mechanism which turns the Serre duality into the Poincaré duality into a wider categorical context.
3 Serre Functor in Affine Categories
The aim of this section is to introduce a suitable version of Serre functor on the category of affine strict polynomial functors. The notion of affine strict polynomial functor was introduced in [7]. In the present paper we generalize it in two directions: firstly we consider the case of multiple twists (i.e., our category \(\mathcal {P}_{d}^{af_{i}}\) for i = 1 corresponds to the original category \(\mathcal {P}_{d}^{af}\) from [7]), and secondly we allow unbounded graded objects. Both changes are rather innocuous but for the reader’s convenience we briefly explain in Section 3.1 how to adapt the ideas of [7] to this more general context. Then in Section 3.2 we introduce the affine Kuhn duality. This structure was not investigated in [7] since it requires unbounded complexes (the Kuhn dual of a complex bounded below is bounded above). However, in order to produce the Poincaré duality at the level of affine categories we need this structure. This is the reason for which we switched in the present article to unbounded graded objects and complexes. In Section 3.3 we derive from the results of Section 3.2 the existence of a certain recollement diagram. This fact is interesting for its own but will not be used in the further part of the article. Finally, in Section 3.4 we endow the derived category of \(\mathcal {P}_{d}^{af_{i}}\) with a Serre functor.
3.1 Review of i-Affine Functors
In this subsection we briefly describe the theory of i-affine strict polynomial functors, which for i = 1 specializes to the theory of affine strict polynomial functors developed in [7]. In fact the proofs of all the results of [7, Sections 2–3] carry over to the current situation, hence here we just set up the framework and terminology and formulate relevant facts. However handling the formality phenomena, which corresponds to [7, Section 4] requires a substantial extension of the tools used there, hence we discuss the relevant material in greater detail.
We start with a graded algebra \(A_{i}:=\textbf {k}[x_{1}, x_{2},\ldots ,x_{i}]/({x_{1}^{p}}, {x_{2}^{p}},{\ldots } {x_{i}^{p}})\) for |xj| = 2pj (the reader of [7] sees that for i = 1 we get the graded algebra A studied there) and set \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) to be the following graded k-linear category. The objects of \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) are finite dimensional vector spaces, though we follow the convention taken in [7, Section 2] and label them as V ⊗ Ai where V is a finite dimensional vector space. The morphisms are given as
Let \(\mathcal {V}^{f}\) stand for the category of graded vector spaces over k, finite dimensional in each degree. An i-affine strict polynomial functor of degree d is a graded functor from \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) to \(\mathcal {V}^{f}\). We point out for the difference with [7] here: we do not assume that our functors are bounded below (i.e., we replace the category \(\mathcal {V}^{f+}\) from [7] with \(\mathcal {V}^{f}\)). The i-affine strict polynomial functors of degree d form the k-linear graded abelian category \(\mathcal {P}_{d}^{af_{i}}\) with morphisms being the natural transformations. For any finite dimensional vector space U we have the representable i-affine strict polynomial functors of degree d, \(h^{U\otimes A_{i}}\) given by the formula
and by the Yoneda lemma [7, Prop. 2.2] we have
Similarly, we have the corepresentable functor \(c_{U\otimes A_{i}}^{*}\) given by
where (−)∗ stands for the graded k-linear dual. This time the Yoneda lemma gives
Analogously to the non-affine case, \(\mathcal {P}_{d}^{af_{i}}\) is equivalent to a certain module category. Namely, we define the i-affine Schur algebra \(S_{d,n}^{af_{i}}:= {\Gamma }^{d}(\text {End}(\textbf {k}^{n})\otimes A_{i})\). Then F(kn ⊗ Ai) is naturally a graded \(S_{d,n}^{af_{i}}\)-module and we have (c.f. [7, Prop. 2.5])
Proposition 3.1
If n ≥ d then
where \(S_{d,n}^{af}\text {-mod}^{f}\) is the category of finite dimensional in each degree Z-graded \(S_{d,n}^{af}\) modules, is an equivalence of graded abelian categories.
The forgetful functor \(z:{\Gamma }^{d}\mathcal {V}_{A_{i}}\longrightarrow {\Gamma }^{d}\mathcal {V}\) induces an exact functor \(z^{*}:\mathcal {P}_{d}^{f}\longrightarrow \mathcal {P}_{d}^{af_{i}}\) where \(\mathcal { P}_{d}^{f}\) stands for the category of graded functors from \({\Gamma }^{d}\mathcal {V}\) regarded as the graded category concentrated in degree 0 to \(\mathcal {V}^{f}\). This fact is not entirely trivial, since it relies on the possibility of canonical extension of the domain of a strict polynomial functor to the graded spaces (see the discussion in [7, p. 657]). The functor z∗ has a right adjoint \(t^{*}:\mathcal {P}_{d}^{af_{i}}\longrightarrow \mathcal {P}_{d}^{f}\) which is explicitly given as t∗(F)(V ) := F(V ⊗ Ai).
The relation between \(\mathcal {P}_{d}^{af_{i}}\) and \(\mathcal {P}_{dp^{i}}\) is much deeper and it emerges only at the level of derived categories. In order to develop homological algebra in \(\mathcal {P}_{d}^{af_{i}}\) we regard it as a DG category, with the trivial differentials, and we apply the machinery of homological algebra for DG categories as developed in [13] (see also [14], [7, Section 3]). Namely we consider the DG category \(\mathcal {K}\mathcal {P}_{d}^{af_{i}}\) of graded functors from \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) to the category of complexes of finite dimensional in each degree vector spaces. The derived category \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) is obtained from \(\mathcal {K}\mathcal {P}_{d}^{af_{i}}\) by inverting the class of quasi-isomorphisms. It is very convenient to perform this localization process by applying the formalism of Quillen model categories. We recall that the category of all graded functors from \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) to the category of complexes of vector spaces can be equipped with either of two model structures: the projective one in which every object is fibrant and \(h^{U\otimes A_{i}}\) are cofibrant (among others) and the injective one in which every object is cofibrant and \(c_{U\otimes A_{i}}^{*}\) are fibrant. In both cases the weak equivalences are quasi-isomorphisms [14, Section 3]. In order to apply this machinery to the subcategory \(\mathcal {K}\mathcal {P}_{d}^{af_{i}}\) we need a fact analogous to [7, Th. 3.4].
Proposition 3.2
Any \(F\in \mathcal {K}\mathcal {P}_{d}^{af_{i}}\) has a cofibrant resolution p(F) and fibrant resolution i(F) inside \(\mathcal {K}\mathcal {P}_{d}^{af_{i}}\).
Proof
This fact follows from the “local finiteness” of \(\mathcal {K}\mathcal {P}_{d}^{af_{i}}\), by which we mean:□
Lemma 3.3
Any \(F\in \mathcal {K}\mathcal {P}_{d}^{af_{i}}\) has a filtration by finite dimensional sub-objects which stabilizes in each degree.
Proof Proof of the lemma
It will be more convenient to work with the complex of \(S_{d,d}^{af_{i}}\) modules M := F(kd ⊗ Ai) (c.f. Proposition 3.1). We take a set \(\{x_{s}\}_{s=1}^{\infty }\) which generates M as a k module and there is only a finite number of xs’ in each degree. Let Mj be the smallest subcomplex of \(S_{d,d}^{af_{i}}\) modules in M containing {x1,…,xj}. Then
hence it is finite dimensional and we obtain the required filtration. □
We will find a cofibrant resolution, the proof in the fibrant case is similar (it could also be deduced from the cofibrant case by means of the affine Kuhn duality discussed in the next subsection). We will use a construction analogous to that appearing in the last part of the proof of [7, Th. 3.4]. For \(F\in \mathcal {K}\mathcal {P}_{d}^{af_{i}}\) let Fj be a filtration of F by finite dimensional subcomplexes. By the argument used in the proof of [7, Th. 3.4] we can construct for each j ≥ 0 a cofibrant replacement \(P_{j}\simeq F_{j}\) satisfying the following properties:
-
1.
\({P_{j}^{k}}\) is finite dimensional for all j,k.
-
2.
\(\inf \{k: {P_{j}^{k}}\neq 0\}\geq \inf \{k: {F_{j}^{k}}\neq 0\}-d_{0}\), where d0 is homological dimension of \(\mathcal {P}_{d}\).
-
3.
Pj embeds into Pj+ 1,
-
4.
The quotient Pj+ 1/Pj is cofibrant.
Then it is easy to see that \(P:=\bigcup _{j} F_{j}\) is a cofibrant replacement of F and that \(P\in \mathcal {K}\mathcal {P}_{d}^{af_{i}}\).
Now one can proceed along the lines of [7, Sections 4–5] to establish the adjunction between the triangulated categories \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) and \(\mathcal {D}\mathcal {P}_{dp^{i}}\) (from now on also \(\mathcal {D}\mathcal {P}_{dp^{i}}\) stands for the unbounded derived category). In fact the only place when the arguments of [7] require a substantial modification is the proof of the formality result analogous to [7, Th. 4.3].
Namely, let \({\Gamma }^{d}(I^{*}\otimes I^{(i)})\in \mathcal {P}_{dp^{i}}^{d}\) be the bifunctor given by the formula (V,W)↦Γd(Hom(V,W(i)) and let X be a projective resolution of Γd(I∗⊗ I(i)) in \(\mathcal {P}^{d}_{dp^{i}}\). We introduce the DG category \({\Gamma }^{d}\mathcal {V}_{X}^{op}\) whose objects are finite dimensional vector spaces over k and
where \(\text {Hom}_{\mathcal {P}_{dp^{i}}}\) stands for the Hom complex (i.e., we do not require that the maps preserve differentials). Then we have:
Theorem 3.4
The assignment V ⊗ Ai↦V extends to a quasi-isomorphism of DG categories \(\phi : {\Gamma }^{d}\mathcal {V}_{A_{i}}\simeq {\Gamma }^{d}\mathcal {V}_{X}^{op}\).
Proof
The proof is analogous to that of [7, Th. 4.3]. The only difference is that we need more “Touzé classes” than those constructed in [5, Prop.3.2], since we need to have “natural enough” classes in \(\text {Ext}^{*}_{\mathcal {P}_{dp^{i}}}({\Gamma }^{d}(V^{\prime *}\otimes (-)^{(i)}, {\Gamma }^{d}(V^{*}\otimes (-)^{(i)})\) instead of \(\text {Ext}^{*}_{\mathcal {P}_{dp^{i}}}({\Gamma }^{d}(V^{\prime *}\otimes (-)^{(1)}, {\Gamma }^{d}(V^{*}\otimes (-)^{(1)})\) used in the proof of [7, Th. 4.3]. However, we constructed the required classes in [8], where we studied formality phenomena for affine functor categories in an even more general context. Namely, we have□
Lemma 3.5
[8, Lemma 3.5] There exist classes
such that c[1](i)≠ 0 for all i ≥ 1, and are compatible with cup product, i.e.,
where Δ : Γd→Id is the standard embedding.
Having at our disposal the classes c[d](i) we can perform the proof exactly along the lines of the proof of [7, Th. 4.3].
Thanks to Theorem 3.4 we can factorize the Frobenius twist functor at the level of derived categories
through the full embedding
and analogous factorization holds for the functor \(\textbf {K}_{I^{(i)}}\) right adjoint to \(\textbf {C}_{I^{(i)}}\). More precisely, we have the following analog of [7, Th. 5.1]:
Theorem 3.6
There exist exact functors: \(\textbf {C}^{af_{i}}:\mathcal {D}\mathcal {P}_{d}^{af_{i}}\longrightarrow \mathcal {D}\mathcal {P}_{dp^{i}}\), \(\textbf {K}^{af_{i}}:\mathcal {D}\mathcal {P}_{dp^{i}}\longrightarrow \mathcal {D}\mathcal {P}_{d}^{af_{i}}\) satisfying the following properties:
-
1.
\(\textbf {C}^{af_{i}}\circ z^{*}\simeq \textbf {C}\), \(t^{*}\circ \textbf {K}^{af_{i}}\simeq \textbf {K}^{r}\).
-
2.
\(\textbf {K}^{af_{i}}\) is right adjoint to \(\textbf {C}^{af_{i}}\).
-
3.
\(\textbf {K}^{af_{i}}\circ \textbf {C}^{af_{i}}\simeq Id_{\mathcal {D}\mathcal {P}_{d}^{af}}\).
-
4.
\(\textbf {C}^{af_{i}}\) is fully faithful.
-
5.
The triangulated quotient category \(\mathcal {D}\mathcal {P}_{dp^{i}}/\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) is equivalent to the Verdier localization of \(\mathcal {D}\mathcal {P}_{dp^{i}} \) with respect to the essential image of \(\textbf {C}^{af_{1}}\) (see, e.g., [16]).
We refer the reader for the construction of \(\textbf {C}^{af_{i}}\) and \(\textbf {K}^{af_{i}}\) (or rather their specializations for i = 1) to [7, Section 5]. What will be important in the present article are their properties listed in Theorem 3.6, especially part (4) which allows one to regard \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) as a full subcategory of \(\mathcal {D}\mathcal {P}_{dp^{i}}\).
At last, we shall also use occasionally use the category \(\mathcal {K}\mathcal {P}_{d}^{af_{i},b}\) which is the full subcategory of \(\mathcal {K}\mathcal {P}_{d}^{af_{i}}\) consisting of the complexes chain homotopic to bounded cofibrant objects. Clearly, all objects \(X\in \mathcal {K}\mathcal {P}_{d}^{af_{i},b}\) are still compact when regarded as objects in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\), by which we mean that the functor \(\text {Hom}_{\mathcal {D}\mathcal {P}_{d}^{af_{i}}}(X,-)\) commutes with infinite coproducts in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) whenever they exist. When we localize \(\mathcal {K}\mathcal {P}_{d}^{af_{i},b}\) with respect to the class of quasi-isomorphisms, we get the bounded derived category \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) which is a full subcategory of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\).
3.2 Affine Kuhn Duality
We recall that the Kuhn duality (−)# is the contravariant self-equivalence of \(\mathcal {P}_{d}\) given by the formula F#(V ) := F(V∗)∗. Since (−)# is exact, it extends to both bounded and unbounded derived categories of \(\mathcal {P}_{d}\). Now we would like to have an analogous self-equivalence on \(\mathcal {P}_{d}^{af_{i}}\) and its derived category. However, we face the problem that, technically, the formula F#(V ⊗ Ai) = (F((V ⊗ Ai)∗))∗ does not make sense since (V ⊗ Ai)∗ is not an object of \(\mathcal {V}_{A_{i}}\). To cope with this problem we recall that by [20, Sect. 2.5] any strict polynomial functor can be extended to the functor on the category of graded spaces and the same construction works for affine strict polynomial functors. Then we observe that since \(A_{i}^{*}\simeq A_{i}[2(p^{i}-1)]\) as graded Ai modules, we just have \((V\otimes A_{i})^{*}\simeq V^{*}\otimes A_{i}^{*}\simeq V^{*}\otimes A_{i}[2(p^{i}-1)]\). Thus we formally define
where Fgr is the extension of F to the graded spaces we have just discussed. Now, since all graded spaces considered are finite dimensional in each degree, the operation (−)# is involutive and exact. The latter property allows one to extend it to \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) in the obvious way. As one can expect, the affine Kuhn duality takes representable functors to corepresentable ones. However, also here, some shifting phenomena emerge. The best way to capture them is to allow representable and corepresentable functors to be labeled by graded spaces, which again is justified by using graded extensions of functors. Now we gather the basic properties of the Kuhn duality
Proposition 3.7
-
1.
\((h^{U\otimes A_{i}})^{\#}\simeq c_{U^{*}\otimes A_{i}^{*}}^{*}\simeq c_{U^{*}\otimes A_{i}}^{*}[-2d(p^{i}-1)].\)
-
2.
Let \(\chi _{s,j}\in \mathcal {P}_{1}^{af_{i}}\) for 1 ≤ s ≤ i, 0 ≤ j ≤ p − 1 be defined as
$$ \chi_{s,j}(V\otimes A_{i}):=(x_{s})^{j}\cdot (V\otimes A_{i})/ (x_{s})^{j+1}\cdot (V\otimes A_{i}). $$Then (χs,j)# = χs,p− 1−j.
-
3.
We have an isomorphism of functors on \(\mathcal {D}\mathcal {P}_{d}\): \(z^{*}\circ (-)^\#\simeq (-)^\#\circ z^{*}\).
-
4.
The functor h∗ := (−)# ∘ t∗∘ (−)# is left adjoint to z∗.
-
5.
Explicitly: \(h^{*}(F)(V)\simeq F(V\otimes A_{i}^{*})\), hence \(h^{*}\simeq t^{*}[2d(p^{i}-1)]\).
Proof
For the first part we compute
The isomorphism \(c_{U^{*}\otimes A_{i}^{*}}^{*}\simeq c_{U^{*}\otimes A_{i}}^{*}[-2d(p^{i}-1)]\) follows from the elementary properties of graded extension of a functor.
The second part follows from the fact that
The third part is obvious, the fourth part follows formally from the third part and {z∗,t∗} adjunction. The fifth part is obvious.□
Now we would like to show that the affine Kuhn duality preserves the bounded derived category \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\). For this we need the following important technical fact.
Proposition 3.8
For any \(U\in \mathcal {V}\), \(c^{*}_{U\otimes A_{i}}\) has a cofibrant resolution in \(\mathcal {K}\mathcal {P}_{d}^{af_{i},b}\). Therefore \(c_{U\otimes A_{i}}^{*}\) is a compact object of \(\mathcal { DP}_{d}^{af_{i}}\).
Proof
Let \(P^{\bullet }_{U}\) be a finite projective resolution of \(S^{d}_{U^{*}}\) in \(\mathcal {P}_{d}\). Then
Since z∗ preserves cofibrant objects, \(z^{*}(P^{\bullet }_{U})[2d(p^{i}-1)]\) is a cofibrant replacement of \(c^{*}_{U\otimes A_{i}}\). To conclude the proof we observe that since \(P^{\bullet }_{U}\) is finite, \(z^{*}(P^{\bullet }_{U})[2d(p^{i}-1)]\) is bounded. □
This immediately gives
Corollary 3.9
If \(F\in \mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) then \(F^\#\in \mathcal {D}\mathcal {P}_{d}^{af_{i},b}\).
Proof
Any \(F\in \mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) has a finite filtration with relatively projective (i.e., summands in the sums of shifts of \(h^{U\otimes A_{i}}\)’s) subquotients. Therefore it suffices to show that the Kuhn dual of a relatively projective object belongs to \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\). This follows from the fact that any relatively projective object is a summand in the finite sum of shifted representable objects and Propositions 3.7(1) and 3.8. □
We finish our discussion of the affine Kuhn duality by investigating its compatibility with \(\textbf {C}^{af_{i}}\) and \(\textbf {K}^{af_{i}}\).
Proposition 3.10
We have the following isomorphisms of functors:
-
1.
$$ (-)^{\#}\circ\textbf{K}^{af_{i}}\circ (-)^{\#}\simeq \textbf{K}^{af_{i}} $$
as functors between \(\mathcal {D}\mathcal {P}_{dp^{i}}\) and \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\),
-
2.
$$ (-)^{\#}\circ\textbf{C}^{af_{i}}\circ (-)^{\#}\simeq \textbf{C}^{af_{i}} $$
as functors between \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) and \(\mathcal {D}\mathcal {P}_{dp^{i}}^{b}\).
Proof
We shall compare contravariant functors \((-)^{\#}\circ \textbf {K}^{af_{i}}\) and \(\textbf {K}^{af_{i}}\circ (-)^{\#}\). Let X be a projective resolution of the bifunctor Γd(I∗⊗ I(i)). Then we have
Then by applying the right Serre functor we get
Let \(Y\in \mathcal {D}\mathcal {P}_{dp^{i}}^{d}\) be an injective resolution of the complex of bifunctors (V,W)↦Sr(X(V∗,W)). Then we have an isomorphism of functors
Now let us look at \(\textbf {K}^{af_{i}}\circ (-)^{\#}\). This time we obtain
Now, let \(Z\in \mathcal {D}\mathcal {P}_{dp^{i}}^{d}\) be an injective resolution of the complex of bifunctors (V,W)↦X(V,−)# (in fact it may be shown that P(V,−)# is already injective). Then we have an isomorphism of functors
Now, we recall that Y is isomorphic in \(\mathcal {D}\mathcal {P}_{dp^{i}}^{d}\) to the complex of bifunctors \((V,W)\mapsto \textbf {S}_{r}({\Gamma }^{d(i)}_{V^{*}})(W)\) and Z is isomorphic in \(\mathcal {D}\mathcal {P}_{dp^{i}}^{d}\) to the complex of bifunctors \((V,W)\mapsto S^{d(i)}_{V^{*}}(W)\). Thus, by Theorem 2.2(1),(3) and the injectivity of Y and Z there exists a quasi-isomorphism α : Y →Z and also its quasi-inverse can be realized as a genuine map of complexes. Then the postcomposing with α gives an isomorphism of functors
which finishes the proof of the first part of the proposition.
For the second part we recall that Caf = LTX ∘ ϕ∗− 1 where \(\phi ^{*-1}: \mathcal {D}\mathcal {P}_{d}^{af}\longrightarrow \mathcal {D}\mathcal {P}_{X}\) is an equivalence between \( \mathcal {D}\mathcal {P}_{d}^{af}\) and the derived category of certain intermediate DG category \(\mathcal {P}_{X}\) and TX is a tensor functor in a sense of [13, Section 6]. Moreover, \(\mathcal {D}\mathcal {P}_{X}\) can be equipped with the Kuhn duality by the construction analogous to that applied to \(\mathcal {D}\mathcal {P}_{d}^{af}\) and ϕ∗− 1 and TX clearly commutes with the dualities. Then our assertion essentially follows from the acyclicity of \(c^{*}_{U\otimes A_{i}}\) with respect to TX. Let us make this statement precise.
Let \(Q:\mathcal {C}\longrightarrow \mathcal {D}\) be a left Quillen functor between Quillen model categories. We call \(A\in \mathcal {C}\) Q-acyclic if the augmentation map LQ(A)→Q(A) is a weak equivalence.□
Lemma 3.11
Let \(F\in \mathcal {K}\mathcal {P}_{d}^{af_{i},b}\) be bounded and fibrant. Then F is TX ∘ ϕ∗− 1-acyclic.
Proof
Let us first assume that \(F=c_{U\otimes A_{i}}^{*}\). Then we have
On the other hand, since TX commutes with (−)#, we have
Moreover, since also \(T_{X}(c_{U\otimes A_{i}}^{*})\) was described in terms of the complex X, we see that the quasi-isomorphism
is realized by the augmentation map. This shows that \(c_{U\otimes A_{i}}^{*}\), and hence also its direct summands, are TX ∘ ϕ∗− 1-acyclic. Now, let F be an arbitrary bounded fibrant object. Then it has a finite filtration with subquotients being finite sums of direct summands of \(c_{U\otimes A_{i}}^{*}\). Our lemma follows from a general fact that if in a short exact sequence of objects of \(\mathcal {K}\mathcal {P}_{d}^{af_{i},f}\), the outer terms are acyclic, so is the middle term. □
In order to apply Lemma 3.11 we consider two skeletons of \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\): \(\mathcal {C}^{b}\) consisting of bounded cofibrant objects and \(\mathcal {F}^{b}\) consisting of bounded fibrant objects. Then \((\mathcal {C}^{b})^{\#}= \mathcal {F}^{b}\) and when we restrict our functors to \(\mathcal {C}^{b}\), we obtain
We finish this subsection by providing an example showing that \(\textbf {C}^{af_{i}}\) commutes with (−)# only for compact objects. For this we need a few basic computations in \(\mathcal {D}\mathcal {P}_{1}^{af_{1}}\).
Proposition 3.12
We have the following isomorphisms:
-
1.
Let |y| = − 2(p − 1),|z| = − 1. There is an isomorphism of graded rings:
$$ \text{Hom}^{*}_{\mathcal{D}\mathcal{P}_{1}^{af_{1}}}(\chi_{1,0},\chi_{1,0})= \begin{cases} \textbf{k}[y]\otimes{\Lambda}(z) & \text{if\ } p>2 \\ \textbf{k}[z] & \text{if}\ p=2. \end{cases} $$ -
2.
There is an isomorphism in \(\mathcal {D}\mathcal {P}_{1}^{af_{1}}\): \(\textbf {K}^{af_{1}}(S^{p})\simeq \chi _{1,0}\).
Proof
It will be easier to write down explicit formulas when interpreting \(\mathcal {P}_{1}^{af_{1}}\) as \(A_{1}\text {-mod}^{f}\) via Proposition 3.1. Under this identification χ1,0 just corresponds to the trivial A1 module k. Thus as its cofibrant replacement we can take the suitably shifted periodic resolution:
Therefore we derive the first part of Prop. 3.12 from the classical computation of the cohomology ring of the cyclic group Z/p with the only difference following from our graded setting being the negative degrees of the multiplicative generators. In order to get the second part we observe that in the special case of d = i = 1 as a resolution X used to construct \(\textbf {K}^{af_{i}}\) we can just take a complex of bifunctors of the form:
where C∙ is any projective resolution of I(1). Hence using the graded module description of \(\mathcal {P}_{1}^{af_{1}}\) again, we obtain
for any \(F\in \mathcal {P}_{p}\). Applying this formula to F = Sp we get
Now we observe that since \(H^{*}(\textbf {K}^{af_{1}}(S^{p}))\) is concentrated in a single degree, \(\textbf {K}^{af_{1}}(S^{p})\) is formal. This finishes the proof. □□
Now we are ready to provide the promised example. By Proposition 3.7(2) we have:
Therefore if we had
it would imply that
But this is impossible, because, as we will see, \(H^{*}(\textbf {C}^{af_{1}}(\chi _{1,0}))\) evaluated on a one-dimensional space is bounded below but not bounded above. To this end we observe that by the Yoneda lemma and Proposition 3.12(2):
and the latter group is non-trivial when n = 2j(p − 1) or n = 2j(p − 1) − 1 for j ≥ 0, by Proposition 3.12(1).
3.3 Affine Recollement Diagram
In this short subsection we show how to extend the adjunction \(\{\textbf {C}^{af_{i}}, \textbf {K}^{af_{i}}\}\) to a recollement of triangulated categories, thus answering question posed in [5] and partially addressed in [7]. We do not use the results of this subsection elsewhere in the article but we decided to discuss them here, since they are formal consequences of Proposition 3.7.
Let us define the functor \(\textbf {C}^{af_{i},r}: \mathcal {D}\mathcal {P}_{d}^{af_{i}}\longrightarrow \mathcal {D}\mathcal {P}_{dp^{i}}\) as the composite
Then we have
Theorem 3.13
The functor \(\textbf {C}^{af_{i},r}\) is right adjoint to \(\textbf {K}^{af_{i}}\).
Moreover, the triple \(\{\textbf {K}^{af_{i}},\textbf {C}^{af_{i}},\textbf {C}^{af_{i},r}\}\) is a part of recollement diagram of triangulated categories:
Proof
The adjunction is a formal consequence of commuting \(\textbf {K}^{af_{i}}\) with (−)#. Namely, for any \(X\in \mathcal {D}\mathcal {P}_{dp^{i}}\) and \(Y\in \mathcal {D}\mathcal {P}_{d}^{af_{i}}\) we have
The fact that our two-sided adjunction can be extended to a recollement diagram follows from [9, Prop. 2.1] for \(j^{*}=\textbf {K}^{af_{i}}\), \(j_{*}=\textbf {C}^{af_{i}}\), \(j_{!}=\textbf {C}^{af_{i},r}\) and the fact that \(\textbf {K}^{af_{i}}\circ \textbf {C}^{af_{i}}\simeq Id\). □
The idea of finding a recollement of triangulated categories analogous to the recollement of abelian categories \(\mathcal {P}_{d}\begin {array}{lll}\longleftarrow \\ \longrightarrow \\ \longleftarrow \end {array}\ \mathcal {P}_{dp^{1}}\) considered by Kuhn [18] was the main motivation for introducing the category \(\mathcal {D}\mathcal {P}_{d}^{af}\) in [7]. Unfortunately, infinite homological dimension of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) generates serious problems. In particular, it implies that \(\textbf {C}^{af_{i}}\) does not preserve infinite products, hence it cannot have a left adjoint. More concretely, if we try to define the left adjoint by conjugating \(\textbf {K}^{af_{i}}\) by the Kuhn duality, the construction fails because \(\textbf {C}^{af_{i}}\) does not commute with (−)# on the whole \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) but merely on \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\). Thus, as we remarked at the end of [7], we could only obtain recollement between bounded derived categories, which is less useful, because (co)fibrant replacements are usually not bounded. However, this obstacle disappears when we change our setting into the dual one. In other words, we should rather think of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) as a quotient category of \(\mathcal {D}\mathcal {P}_{dp^{i}}\) instead of a subcategory. This change of perspective is quite surprising when we think of abelian counterparts which inspired our work. On the other hand, it is coherent with [6, Section 3] where we observed that the approach to the Poincaré duality based on the “left–right homological shift” is formally analogous to the “dual Verdier duality”.
At last, let us take a closer look at the recollement diagram in the bounded case. Strictly speaking, we have a recollement between \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) and
However, the situation simplifies drastically, since here \(\textbf {C}^{af_{i}}\) and \(\textbf {K}^{af_{i}}\) are mutually two-sided adjoint. Therefore our recollement splits into the orthogonal decomposition
Thus we see that the affine-bounded and affine-unbounded cases are fundamentally different, since we have no analogous orthogonal decomposition of \(\mathcal {D}\mathcal {P}_{dp^{i}}\).
At last, we warn the reader that there is no orthogonal decomposition of \(\mathcal {D}\mathcal {P}_{dp^{i}}^{b}\), since it is strictly larger than \(\mathcal {X}\).
3.4 Serre Functor in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\)
In this subsection we introduce (a suitably modified version of) Serre functor on \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). In fact a genuine Serre functor exists only on \(\mathcal { DP}_{d}^{af_{i},b}\) but this is not very useful for us since the objects of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) rarely have cofibrant replacements in \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\). On the other hand one cannot hope for a Serre functor in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\), since it is not even a Hom-finite category. What we really have is the following weaker version of Serre functor:
Definition 3.14
Let \(\mathcal {C}\) be a k-linear category. A k-linear functor \(\textbf {S}: \mathcal {C}\longrightarrow \mathcal {C}\) is a weak (left) Serre functor if:
-
1.
There is a natural in X,Y isomorphism
$$ \text{Hom}_{\mathcal{C}}(\textbf{S}(X),Y)\simeq \text{Hom}_{\mathcal{C}}(Y,X)^{*} $$whenever X or Y is compact.
-
2.
S is an auto-equivalence.
For example, if \(\mathcal {C}\) is the bounded derived category of category of finitely generated modules over a finite dimensional algebra of finite homological dimension then by [3] \(\mathcal {C}\) possesses a Serre functor. In that case, it is easy to see that it extends to a weak Serre functor on the unbounded derived category. However, our situation is quite different, since \(\mathcal {P}_{d}^{af_{i}}\) is of infinite homological dimension. By this we mean that a cofibrant replacements of objects of \(\mathcal {P}_{d}^{af_{i}}\) does not necessarily belong to the smallest triangular subcategory of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) contain relatively projective objects, which is in our case equivalent to \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\). The crucial property of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) which makes a construction analogous to that used in Section 2 work is the fact that \(c_{U\otimes A_{i}}^{*}\) is compact (Proposition 3.5).
Technically, in order to ensure that our functors are well defined we have to consider affine bifunctors. Namely we introduce the category \(\mathcal {P}_{d}^{e,af_{i}}\) of i-affine bifunctors of bi-degree (d,e) as the category of k-linear graded functors from \({\Gamma }^{e}(\mathcal {V}_{A_{i}})^{op}\otimes {\Gamma }^{d}(\mathcal {V}_{A_{i}})\) to \(\mathcal { V}\). The homological algebra in \(\mathcal {P}_{d}^{e,af_{i}}\) can be developed analogously to that in \(\mathcal {P}_{d}^{af_{i}}\). Let us take, like in Section 2, P∙, the projective resolution of the bifunctor (V,W)↦Sd(V∗⊗ W). Now similarly to the case of functors in one variable, we have the exact functor \(z^{*}: \mathcal {P}_{d}^{e}\longrightarrow \mathcal {P}_{d}^{e,af_{i}}\) which extends to the category of complexes and preserves cofibrant objects. Then it is easy to see that
is a cofibrant replacement of the affine bifunctor c∗(I∗⊗ I) defined by the formula:
(c.f. Proposition 3.8). For the future use we remark that C is bounded. Then, analogously to Section 2 we put:
Definition 3.15
We define a functor \(\textbf {S}^{af_{i}}: \mathcal {D}\mathcal {P}_{d}^{af_{i}}\longrightarrow \mathcal {D}\mathcal {P}_{d}^{af_{i}}\) by the formula
We collect the basic properties of \(\textbf {S}^{af_{i}}\) which will be needed for the applications described in Section 5.
Theorem 3.16
The functor \(\textbf {S}^{af_{i}}\) satisfies the following properties:
-
1.
There is a natural in U ⊗ Ai isomorphism in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\)
$$ \textbf{S}^{af_{i}}(c^{*}_{U\otimes A_{i}})\simeq h^{U\otimes A_{i}}. $$ -
2.
\(\textbf {S}^{af_{i}}\) is an auto-equivalence of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\).
-
3.
\(\textbf {S}^{af_{i}}\) restricted to \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) is a left Serre functor and it is a weak left Serre functor on the whole \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\).
-
4.
There are isomorphisms of functors
$$ \textbf{S}^{af_{i}}\circ z^{*}[2d(p^{i}-1)]\simeq z^{*}\circ\textbf{S},\ \ \ \textbf{S}\circ t^{*}\simeq t^{*}\circ\textbf{S}^{af_{i}}[2d(p^{i}-1)], $$$$ \textbf{S}^{af_{i}}\circ \textbf{K}^{af_{i}}\simeq \textbf{K}^{af_{i}}\circ\textbf{S},\ \ \ \textbf{S}\circ \textbf{C}^{af_{i}}\simeq \textbf{C}^{af_{i}}\circ\textbf{S}^{af_{i}}. $$
Proof
Since \(c_{U\otimes A_{i}}^{*}\) is fibrant in the injective Quillen structure we get
In order to show that \(\textbf {S}^{af_{i}}\) is an equivalence we observe that by the first part it is faithfully full on the subcategory consisting of corepresentable objects. Then, by Lemma 3.3 and the fact that \(\textbf {S}^{af_{i}}\) preserves infinite coproducts, whenever they exist, our assertion follows from [13, Lemma 4.2].
In order to get the third part, we establish a natural in \(F\in \mathcal {D}\mathcal {P}_{d}^{af_{i}}\) and U ⊗ Ai isomorphism
which by the first part and the fact that \(h^{U\otimes A_{i}}\) is cofibrant and \(c^{*}_{U\otimes A_{i}}\) is fibrant reduces to the isomorphism
which follows from the Yoneda lemma. This shows that \(\textbf {S}^{af_{i}}\) restricted to \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) is a left Serre functor. In the unbounded case we observe that if \(Z\in \mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) then for any \(W\in \mathcal {D}\mathcal {P}_{d}^{af_{i}}\), the spaces \(\text {Hom}_{\mathcal {D}\mathcal {P}_{d}^{af_{i},}}(Z,W)\) and \(\text {Hom}_{\mathcal {D}\mathcal {P}_{d}^{af_{i},}}(W,Z)\) are finite dimensional. Thus we see that if X or Y is compact, we still have the required isomorphism.
In order to obtain the first isomorphism in part 4, we recall that \(z^{*}({\Gamma }^{d}_{U^{*}})=h^{U\otimes A_{i}}\) and \(z^{*}(S^{d}_{U^{*}})=c^{*}_{U\otimes A_{i}}[-2d(p^{i}-1)]\). Hence we get natural in U isomorphisms:
and
The second isomorphism follows from the facts that \(t^{*}(c^{*}_{U\otimes A_{i}})=S^{d}_{(U\otimes A_{i})^{*}}\) and \(t^{*}(h^{U\otimes A_{i}})={\Gamma }^{d}_{(U\otimes A_{i})^{*}}[-2d(p^{i}-1)]\).
The proof of the last two isomorphisms is analogous to that of Proposition 3.7. The last formula holds on the whole \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) because \(\textbf {C}^{af_{i}}\) commutes with direct colimits. □□
Remark 1
When we compose the isomorphisms from part 4, we obtain the formulas:
from which, in particular, Theorem 2.2.(3.1) follows. Thus we see that the shift phenomenon which produces the Poincaré duality is related to the scalar extension from \(\mathcal {P}_{d}\) to \(\mathcal {P}_{d}^{af_{i}}\).
4 Affine Semiblocks
In this section we introduce certain subcategories of \(\mathcal {P}_{d}^{af_{i}}\) we call semiblocks, which correspond to the blocks in \(\mathcal {P}_{d}\). This structure may be interesting for its own but in the present article we are mainly interested in the Serre functor restricted to the semiblocks, since, as it will be shown in the next section, in certain cases it enjoys very special properties.
We recall that the category \(\mathcal {P}_{d}\) admits decomposition into the blocks:
and the set of blocks is indexed by the family λ1,…,λs of p-core Young diagrams of weight d − pj for some j ≥ 0 (see, e.g., [19, Section 5]). By the Yoneda lemma, there is the corresponding decomposition of the bifunctor (V,W)↦Γd(Hom(V,W)) into the “block bifunctors”:
The Cauchy decomposition [1, Th. III.1.4] provides the filtration of bifunctor Γd(Hom(V,W)) with the associated object
where Yd stands for the set of Young diagrams of weight d. Hence each Bλ(V,W) has the filtration with the associated object
where \(Y_{\lambda ^{j}}\) is the set of Young diagrams of degree d belonging to the block labeled by λj.
Moreover, the bifunctor \(B_{\lambda ^{j}}\) can be used to form the category \(B_{\lambda ^{j}}\mathcal {V}\) whose objects are finite vector spaces and
Then the category \(\mathcal {P}_{\lambda ^{j}}\) can be identified with the category of k-linear functors from \(B_{\lambda ^{j}}\mathcal {V}\) to the category of finite dimensional vector spaces over k. The main objective of the present section is to define the affine counterpart of \(\mathcal {P}_{\lambda }\), relate it to \(\mathcal {P}_{\lambda }\) and \(\mathcal {P}_{dp^{i}}\), and equip it with a Serre functor.
Let us fix a p-core Young diagram λ of weight |λ| = d − pj and let \(B_{\lambda }^{(i)}\) denote the bifunctor (V,W)↦Bλ(V,W(i)). We introduce the graded category \(B_{\lambda }\mathcal {V}_{A_{i}}\) with the objects being finite dimensional vector spaces and the morphisms given by the formula
where we choose to label the objects by V ⊗ Ai in order to make our terminology coherent with that used in Section 3 and [7]. Thanks to the Collapsing Conjecture [6, Cor. 3.7], the Hom spaces in \(B_{\lambda }\mathcal {V}_{A_{i}}\) admit descriptions as appropriate Ext groups. Namely, we have natural in \(V, V^{\prime }\) isomorphisms
We define \(\mathcal {P}_{\lambda }^{af_{i}}\) as the category of graded k-linear functors from \(B_{\lambda }\mathcal {V}_{A_{i}}\) to the category of Z-graded finite dimensional in each degree vector spaces.
The category \(\mathcal {P}_{\lambda }^{af_{i}}\) shares with \(\mathcal {P}_{d}^{af_{i}}\) its basic properties. In particular, we have the representable functor \(h_{\lambda }^{U\otimes A_{i}}\) in \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) given explicitly by the formula
the corepresentable functor \(c_{\lambda ,U\otimes A_{i}}^{*}\), and the block affine Kuhn duality. Also the analog of Proposition 3.1 holds. Let us call the block affine Schur algebra the graded algebra
Then
Proposition 4.1
For any n ≥ d, the evaluation functor F↦F(kn ⊗ Ai) gives an equivalence of graded abelian categories:
where \(S^{af_{i}}_{\lambda ,n}\text {-mod}^{f}\) stands for the category of Z-graded \(S^{af_{i}}_{\lambda ,n}\)-modules finite dimensional in each degree.
The adjunction {z∗,t∗} between \(\mathcal {P}_{d}\) and \(\mathcal {P}_{d}^{af_{i}}\) clearly extends to the adjunction \(\{z^{*}_{\lambda },t^{*}_{\lambda }\}\) between \(\mathcal {P}_{\lambda }\) and \(\mathcal {P}_{\lambda }^{af_{i}}\).
Now, let us observe an important yet unfortunate phenomenon: when we try to decompose \(\mathcal {P}_{d}^{af_{i}}\), into the product of \(\mathcal {P}_{\lambda ^{j}}^{af_{i}}\) we face a problem that for \(\lambda \neq \lambda ^{\prime }\), \(\mathcal {P}_{\lambda }^{af_{i}}\) and \(\mathcal {P}_{\lambda ^{\prime }}^{af_{i}}\) are not orthogonal as subcategories of \(\mathcal {P}_{d}^{af_{i}}\). We will come back to this observation later, since it is best understood at the level of derived categories.
Now we turn to describing relation between \(\mathcal {P}_{\lambda }^{af_{i}}\) and \(\mathcal {P}_{d}^{af_{i}}\) more precisely. Let
be the natural embedding and
be the natural projection. Then the composite 𝜖λ := iλ ∘ πλ can be thought of as an idempotent endofunctor on \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) (being the identity on the objects). Thus the category \(B_{\lambda }\mathcal {V}_{A_{i}}\) can be identified with the category \(\epsilon _{\lambda }({\Gamma }^{d}\mathcal {V}_{A_{i}})\epsilon _{\lambda }\) whose objects are those of \({\Gamma }^{d}\mathcal {V}_{A_{i}}\) but
Then the assignment
defines a \({\Gamma }^{d}\mathcal {V}_{A_{i}}\)–\(B_{\lambda }\mathcal {V}_{A_{i}}\) bimodule in the terminology of [13, Sect. 6]. Hence we get a pair of functors \(j_{\lambda !}, j^{*}_{\lambda }\) which satisfy the following properties.
Proposition 4.2
-
1.
The functor \(j_{\lambda !}: \mathcal {P}_{\lambda }^{af_{i}}\longrightarrow \mathcal {P}_{d}^{af_{i}}\) is a full embedding.
-
2.
The functor \(j_{\lambda }^{*}\) is right adjoint to jλ!.
Proof
The adjunction follows from the machinery of standard functors developed in [13, Sect. 6]. The full embedding is a formal consequence of the fact that \(j^{*}_{\lambda }\circ j_{\lambda !}\simeq id_{\mathcal {P}_{\lambda }^{af_{i}}}\) which follows from the fact that eλ is an idempotent. □
Remark 2
Proposition 4.2 may be thought of as a categorification of [9, Prop. 2.1]. This explains our choice of notations with j!,j∗ instead of TX,HX used in [13]. In particular, the functor \(j^{*}_{\lambda }\) has a right adjoint jλ∗ and the triple \(\{j_{\lambda !},j_{\lambda *},j_{\lambda }^{*}\}\) form a part of recollement diagram of graded abelian categories. In fact we could derive Proposition 4.2 directly from [9, Prop. 2.1] by invoking our Proposition 4.1 but we prefer to consistently work in functor categories.
We also mention that Proposition 4.2 carries over to the level of derived categories which was the main objective of [13] and [9] and which will be discussed in the next paragraph.
Namely, we define \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) as the derived category of DG category \(\mathcal {K}\mathcal {P}_{\lambda }^{af_{i}}\) in the manner analogous to that in Section 3. The adjunctions \(\{z^{*}_{\lambda },t^{*}_{\lambda }\}\) and {jλ!,jλ∗} carry over to the derived categories and, as we have already mentioned, the analog of Proposition 4.2 holds. In particular we still have a full embedding which will be denoted by the same symbol as its graded abelian counterpart:
which allows us to regard \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) as a full subcategory of \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\). Then it is clear that our construction is compatible with the scalar extension from \(\mathcal {D}\mathcal {P}_{d}\) to \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\):
Proposition 4.3
There are isomorphisms of functors between \(\mathcal {D}\mathcal {P}_{\lambda }\) and \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\):
where bλ! and bλ∗ are induced respectively by the embedding of and the projection onto the block.
Now we would like to construct a block version of the affine derived Kan extension in order to relate \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) to \(\mathcal {D}\mathcal {P}_{dp^{i}}\). For this we need an analog of the formality result [7, Th. 4.2]. Let \(B^{(i)}_{\lambda }\) denote the bifunctor (V,W)↦Bλ(V,W(i)) and let Xλ be a projective resolution of \(B^{(i)}_{\lambda }\) in \(\mathcal {P}_{dp^{i}}^{d}\). We introduce a DG category \({\Gamma }^{d} \mathcal {V}_{X_{\lambda }}\) with the objects being finite dimensional vector spaces and
Then \(B_{\lambda }\mathcal {V}_{A_{i}}\) is clearly the cohomology category of \({\Gamma }^{d} \mathcal {V}_{X_{\lambda }}^{op}\) but we have a much stronger result (c.f. [7, Th. 4.3]):
Proposition 4.4
The identity on the objects extends to a quasi-isomorphism of DG categories \(\phi _{\lambda }: B_{\lambda }\mathcal {V}_{A_{i}}\simeq {\Gamma }^{d} \mathcal {V}_{X_{\lambda }}^{op}\).
Proof
Since \({\Gamma }^{d}(\text {Hom}(V,W^{(i)}))\simeq B^{(i)}_{\lambda }(V,W)\oplus B^{\prime }(V,W)\), we can obtain X, the projective resolution of Γd(Hom(V,W(i))), as the direct sum \(X=X_{\lambda }\oplus X^{\prime }\) of projective resolutions of \(B^{(i)}_{\lambda }\) and \(B^{\prime }\). Let
be the embedding induced by the decomposition \({\Gamma }^{d}(I^{(i)}\otimes I^{*})\simeq B^{(i)}_{\lambda }\oplus B^{\prime }\) (we have already encountered this embedding when constructing the idempotent functor 𝜖λ). We similarly define the projection
We define \(\phi _{\lambda }: B_{\lambda }\mathcal {V}_{A_{i}}\longrightarrow {\Gamma }^{d} \mathcal {V}_{X_{\lambda }}\) as the composite \(\phi _{\lambda }:=\widetilde {\pi }_{\lambda }\circ \phi \circ i_{\lambda }\) where \(\phi : {\Gamma }^{d}\mathcal {V}_{A_{i}} \longrightarrow {\Gamma }^{d}\mathcal {V}_{X}\) is the transformation from [7, Theorem 4.2] or rather its multitwist analog (as we mentioned in Section 3, this generalization is not entirely trivial, we again refer the reader to [8, Theorem 3.1] where an analogous construction is conducted in even greater generality). Then the fact that ϕλ is a quasi-isomorphism follows from the fact that ϕ is a quasi-isomorphism and that it commutes with the idempotent 𝜖λ := iλ ∘ πλ and its \({\Gamma }^{d} \mathcal {V}_{X_{\lambda }}\)-analog \(\widetilde {\epsilon }_{\lambda }:=\widetilde {i}_{\lambda }\circ \widetilde {\pi }_{\lambda }\). □
Thanks to Proposition 4.4 we are able to construct the block affine derived Kan extension. We summarize its basic properties below
Proposition 4.5
There exist functors \(\textbf {C}^{af_{i}}_{\lambda }: \mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\longrightarrow \mathcal {D}\mathcal {P}_{dp^{i}}\) and \(\textbf {K}^{af_{i}}_{\lambda }: \mathcal {D}\mathcal {P}_{dp^{i}}\longrightarrow \mathcal { DP}_{\lambda }^{af_{i}}\) satisfying the following properties:
-
1.
\(\textbf {K}^{af_{i}}_{\lambda }\) is right adjoint to \(\textbf {C}^{af_{i}}_{\lambda }\).
-
2.
\(\textbf {C}^{af_{i}}_{\lambda }\) is a full embedding.
-
3.
The functors \(\textbf {C}^{af_{i}}_{\lambda }\) (restricted to \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i},b}\)) and \(\textbf {K}^{af_{i}}_{\lambda }\) commute with the Kuhn duality.
-
4.
There are isomorphisms of functors between \({\mathcal {D}\mathcal {P}_{\lambda }}\) and \(\mathcal {D}\mathcal {P}_{dp^{i}}\):
$$ \textbf{C}^{af_{i}}\circ j_{\lambda!}\simeq \textbf{C}^{af_{i}}_{\lambda},\ \ \ j_{\lambda}^{*}\circ \textbf{K}^{af_{i}}\simeq \textbf{K}^{af_{i}}_{\lambda}. $$
Proof
The proofs of parts 1, 2, 3 are analogous to those of [7, Th. 5.1] and our Theorem 3.6, Proposition 3.10. The compatibility formula in part 4 follows immediately from the construction of the considered functors. □
Having at our disposal the block affine derived Kan extension we can offer a better explanation of the phenomenon of non-orthogonality of semiblocks. Namely let us take \(F\in \mathcal {P}_{\lambda }\), \(G\in \mathcal {P}_{\lambda ^{\prime }}\) for \(\lambda \neq \lambda ^{\prime }\). Then
and the latter Ext groups may well be non-trivial. Thus we see that the reason for the non-orthogonality of semiblocks is simply that the Frobenius twist transfers all the blocks from \(\mathcal {P}_{d}\) into the single (principal) block in \(\mathcal {P}_{dp^{i}}\).
We finish this section by endowing the category \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) with a Serre functor. This may be achieved by a construction analogous to that given in the global (affine) case. We consider the affine corepresentable bifunctor \(c^{*}_{\lambda }(I^{*}\otimes I)\) given by the formula
Definition 4.6
We define the block affine Serre functor \(\textbf {S}^{af_{i}}_{\lambda }:\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}} \longrightarrow \mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) by the formula
Then we have
Theorem 4.7
The functor \(\textbf {S}^{af_{i}}_{\lambda }\) satisfies the following properties:
-
1.
There is a natural in U ⊗ Ai isomorphism in \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\)
$$ \textbf{S}^{af_{i}}_{\lambda}(c^{*}_{\lambda,U\otimes A_{i}})\simeq h^{U\otimes A_{i}}_{\lambda}. $$ -
2.
\(\textbf {S}^{af_{i}}_{\lambda }\) is an auto-equivalence of \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\).
-
3.
\(\textbf {S}^{af_{i}}_{\lambda }\) restricted to \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i},b}\) is a left Serre functor and it is a weak left Serre functor on the whole \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\).
-
4.
There are isomorphisms of functors
$$ \textbf{S}^{af_{i}}_{\lambda}\circ z^{*}_{\lambda}[2d(p^{i}-1)]\simeq z^{*}_{\lambda}\circ\textbf{S}_{\lambda}, \ \ \ \textbf{S}_{\lambda}\circ t^{*}_{\lambda}\simeq t^{*}_{\lambda}\circ\textbf{S}^{af_{i}}_{\lambda}[2d(p^{i}-1)], $$$$ \textbf{S}^{af_{i}}_{\lambda}\circ \textbf{K}^{af_{i}}_{\lambda}\simeq \textbf{K}^{af_{i}}_{\lambda}\circ \textbf{S},\ \ \ \textbf{S}_{\lambda}\circ \textbf{C}^{af_{i}}_{\lambda}\simeq \textbf{C}^{af_{i}}_{\lambda}\circ \textbf{S}^{af_{i}}_{\lambda}, $$where Sλ is S restricted to the block \(\mathcal {D}\mathcal {P}_{\lambda }\).
The proof of Theorem 3.16 carries over to the current situation.
5 Basic Affine Semiblocks and Calabi–Yau Categories
In this section we show that the affine Serre functor when restricted to certain semiblocks in \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) is isomorphic to the shift functor. We also show that in that case our functor category is equivalent to the category of finite dimensional graded modules over a certain explicitly described graded algebra, which refines Proposition 4.1.
5.1 The Calabi–Yau Structure on Basic Affine Semiblocks
We recall that a block in \(\mathcal {P}_{d}\) is called basic if it contains a single simple object. Hence the basic blocks are indexed by p-core Young diagrams of weight d and we also call such Young diagrams basic. So, let us fix a basic Young diagram λ. Then \(S_{\lambda }\simeq W_{\lambda }\simeq F_{\lambda }\). Moreover, Sλ is injective and projective and every object of Pλ is a direct sum of Sλ, therefore the category \(\mathcal {P}_{\lambda }\) is semisimple.
We recall that a triangulated category \(\mathcal {T}\) with a Serre functor \(\textbf {S}_{\mathcal {T}}\) is called Calabi–Yau of dimension n if there is an isomorphism of functors \(\textbf {S}_{\mathcal {T}}\simeq \text {id}[n]\). Then we call a triangulated category \(\mathcal {T}\) weak Calabi–Yau of dimension n if it has a weak Serre functor \(\textbf {S}_{\mathcal {T}}\) such that \(\textbf {S}_{\mathcal {T}}\simeq \text {id}[n]\).
Theorem 5.1
For any basic Young diagram λ, the category \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i},b}\) is Calabi–Yau of dimension 2d(pi − 1), the category \(\mathcal {D}\mathcal {P}_{\lambda }^{af_{i}}\) is weak Calabi–Yau of dimension 2d(pi − 1).
Proof
The theorem is a formal consequence of the following properties of the bifunctor Bλ (the crucial second property is specific to basic blocks).□□
Lemma 5.2
There are the following isomorphisms of bifunctors:
-
1.
\(B_{\lambda }(V,W\otimes A_{i})\simeq B_{\lambda }(V\otimes A_{i}^{*},W)\) for any λ.
-
2.
\(B_{\lambda }(V,W)\simeq S_{\lambda }(V^{*})\otimes S_{\lambda }(W)\) for basic λ.
Proof Proof of the Lemma
We recall that by the Yoneda lemma
and a general fact that
for any graded space X and \(F,G\in \mathcal {P}_{d}\). This gives the first isomorphism.
The second isomorphism immediately follows from the Cauchy decomposition and the fact that \(S_{\lambda }\simeq W_{\lambda }\) for basic λ. □
We recall that we deal with left Serre functors, hence we should show that \(\textbf {S}^{af_{i}}_{\lambda }\simeq id[-2d(p^{i}-1)]\).
Since
and by the Yoneda lemma
it suffices to find a natural in V isomorphism
On the one hand we have:
On the other hand, by using the both parts of Lemma 5.2, we obtain:
Since \(A_{i}^{*}\simeq A_{i}[2(p^{i}-1)]\) we have an isomorphism of functors
which completes the proof.
Corollary 5.3
The category \(\mathcal {D}\mathcal {P}_{1}^{af_{i},b}\) is Calabi–Yau of dimension 2(pi − 1) and \(\mathcal {D}\mathcal {P}_{1}^{af_{i}}\) is weak Calabi–Yau of dimension 2(pi − 1).
Proof
The corollary follows from Theorem 5.1 and the fact that \(\mathcal {P}_{1}\) consists of a single block which is obviously basic.□
This fact has the following global generalization.
Proposition 5.4
For any d < p, the category \(\mathcal {D}\mathcal {P}_{d}^{af_{i},b}\) is Calabi–Yau of dimension 2d(pi − 1) and \(\mathcal {D}\mathcal {P}_{d}^{af_{i}}\) is weak Calabi–Yau of dimension 2d(pi − 1).
Proof
In fact for d < p all the blocks in \(\mathcal {P}_{d}\) are basic but since \(\mathcal {P}_{d}^{af_{i}}\) is not a product of its affine semiblocks, our statement cannot be directly deduced from Theorem 5.1. Instead one can repeat the proof of Theorem 5.1 in the present context. The crucial fact is that \({\Gamma }^{d}\simeq S^{d}\) if d < p. We leave the straightforward details to the reader. □
As we have said in the Introduction, the Calabi–Yau structure on \(\mathcal {D}\mathcal {P}^{af_{i}}_{\lambda }\) provides sort of categorical interpretation of the Poincaré duality. Hence it is not surprising that one can deduce Corollary 2.4 from Theorem 5.1 (and the compatibility of the (block) affine derived Kan extension with the Kuhn duality).
Namely, by the block affine derived Kan extension we obtain
Then we apply the Calabi–Yau isomorphism (we emphasize the fact that we need “the weak Calabi–Yau structure” here, since \(\textbf {K}^{af_{i}}\) does not preserve compact objects)
Next we apply the Kuhn duality and use the fact that it commutes with z∗ (Proposition 3.7(3)) and with \(\textbf {K}^{af_{i}}_{\lambda }\) (Proposition 3.10(1))
At last we come back to \(\mathcal {D}\mathcal {P}_{dp^{i}}\):
and by using the self-duality of simples we finally obtain our formula
Of course this approach is technically much more involved than that taken in Section 2, but it shows how classical and affine phenomena are related and also explains why we insist on considering weak Serre functors.
5.2 \(\mathcal {P}_{\lambda }^{af_{i}}\) as a Module Category
In this subsection we provide various descriptions of \(\mathcal {P}_{\lambda }^{af_{i}}\) as a category of graded modules over a certain explicitly described graded algebra. We recall that for a finite dimensional graded algebra S, we denote by S-modf the graded abelian category of Z-graded S-modules finite dimensional in each degree. Then as we remember from Proposition 4.1, for any λ, i ≥ 1, n ≥ d, the category \(\mathcal {P}_{\lambda }^{af_{i}}\) is equivalent to \(S_{d,n}^{af_{i}}\text {-mod}^{f}\), where \(S_{d,n}^{af_{i}}\) is the block affine Schur algebra. However, this fact is not very useful in practice, since this graded algebra is quite complicated. Luckily, in the case of basic block the situation massively simplifies. First of all, as we observed in Lemma 5.2 we have an isomorphism of graded vector spaces
However, in order to understand the multiplicative structure it is better to take a different point of view. Namely, by Lemma 5.2 we have a decomposition
where \(s_{\lambda ,d}=\dim (S_{\lambda }(\textbf {k}^{d}))\). Let us define a graded algebra
Then we have isomorphisms of graded algebras
Since any matrix algebra is Morita equivalent to the ground algebra, we obtain
Proposition 5.5
For any basic Young diagram λ, the categories \(\mathcal {P}_{\lambda }^{af_{i}}\) and \(A_{i,\lambda }{-\text {mod}}^{f}\) are equivalent as graded abelian categories.
Finally, let us take a closer a look at the graded algebra Ai,λ. Firstly, by the Collapsing Conjecture [5, Cor. 3.7]:
The dimension of the latter algebra can be explicitly expressed in terms of the Littlewood-Richardson numbers. This point of view also allows one to describe the multiplication: it comes as the composite of scalar extension, Hom-multiplication and the multiplication in Ai:
A bit different description of Ai,λ is perhaps even more down to earth. It follows from the fact that since λ is basic, Sλ is a direct summand in Id. Hence there exists an idempotent eλ ∈k[Σd] such that Sλ = eλId. Therefore we get
A subtle point here is that even if we would take the whole Sλ-isotypical summand in Id and the corresponding central idempotent \(e_{\lambda }^{\prime }\), this \(e_{\lambda }^{\prime }\) is not central in the algebra \(A_{i}^{\otimes d}\otimes \textbf {k}[{\Sigma }_{d}]\). Hence Ai,λ is not Morita equivalent to a direct factor in \(A_{i}^{\otimes d}\otimes \textbf {k}[{\Sigma }_{d}]\). This is another manifestation of the fact that affine semiblocks are not genuine blocks.
All these descriptions drastically simplify for d = 1. In this case we just obtain
Corollary 5.6
The categories \(\mathcal {P}_{1}^{af_{i}}\) and \(A_{i}{-\text {mod}}^{f}\) are equivalent as graded abelian categories.
References
Akin, K., Buchsbaum, D., Weyman, J.: Schur functors and Schur complexes. Adv. Math. 44, 207–278 (1982)
Bondal, A., Kapranov, M.: Representable functors, Serre functors, and mutations. Izv. Akad Nauk SSSR Ser. Mat. 53(6), 1183–1205, 1337 (1989)
Bondal, A., Van den Bergh, M.: Generators and representability of functors in commutative and noncommutative geometry. Moscow Math. J. 3, 1–36 (2003)
Chałupnik, M.: Koszul duality and extensions of exponential functors. Adv. Math. 218, 969–982 (2008)
Chałupnik, M.: Derived Kan extension for strict polynomial functors. Int. Math. Res. Not. 2015(20), 10017–10040 (2015)
Chłupnik, M: Poincaré duality for Ext–groups between strict polynomial functors. Proc. AMS 144(3), 963–970 (2016)
Chałupnik, M.: Affine strict polynomial functors and formality. Adv. Math. 320, 652–673 (2017)
Chałupnik, M.: On spectra and affine strict polynomial functors, preprint soon available on arxiv
Cline, E., Parshall, B., Scott, L.: Finite dimensional algebras and highest weight categories. J. Reine Angew. Math. 391, 85–99 (1988)
Franjou, V., Friedlander, E.: Cohomology of bifunctors. Proc. London Math. Soc. 97, 514–544 (2008)
Friedlander, E., Suslin, A.: Cohomology of finite group schemes over a field. Inventiones Math. 127, 209–270 (1997)
Franjou, V., Pirashvili, T.: Strict polynomial functors and coherent functors. Documenta Math. 127, 23–52 (2008)
Keller, B.: Deriving DG categories. Ann. Sci. Éc. Norm. Sup., 4 série 27(1), 63–102 (1994)
Keller, B.: On Differential Graded Categories, ICM Vol. II, 151190, Eur. Math. Soc. Zurich (2006)
Krause, H.: Koszul, Ringel and Serre duality for strict polynomial functors. Compositio Math. 149, 996–1018 (2013)
Krause, H.: Localization theory for triangulated categories. In: Holm, T., Jørgensen, P., Rouquier, R. (eds.) Triangulated Categories, LMS Lect. Notes Series 375, pp 161–235. Cambridge University Press (2010)
Ksouri, R.: Duality categories. Appl. Categor. Struct 4, 283 (2016). https://doi.org/10.1007/s10485-015-9397-8
Kuhn, N.: A stratification of generic representation theory and generalized Schur algebras. K–theory J. 26, 15–49 (2002)
Martin, S.: Schur Algebras and Representation Theory. CambridgeUniv Press (1993)
Touzé, A.: Troesch complexes and extensions of strict polynomial functors. Ann. Sci. Éc. Norm. Supér. 45(1), 53–99 (2012)
Acknowledgements
I am grateful to Ramzi Ksouri for turning my attention to [17], where an alternative approach to the Poincaré duality in \(\mathcal {P}_{d}\) is presented and to the referee for many useful comments and suggestions.
Funding
The author was supported by the Narodowe Centrum Nauki grants no. 2011/01/B/ST1/06184 and 2015/19/B/ST1/01150.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The author declares no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chałupnik, M. On the Serre Functor in the Category of Strict Polynomial Functors. Transformation Groups (2022). https://doi.org/10.1007/s00031-022-09772-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00031-022-09772-2