{'fraction_non_alphanumeric': 0.034943164732062305, 'fraction_numerical': 0.006856318036927888, 'mean_word_length': 4.096551724137931, 'pattern_counts': {'":': 0, '<': 2, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Comparisons between singularity categories and relative stable categories of finite groups

We consider the relationship between the relative stable category of Benson, Iyengar, and Krause and the usual singularity category for group algebras with coefficients in a commutative noetherian ring. When the coefficient ring is self-injective we show that these categories share a common, relatively large, Verdier quotient. At the other extreme, when the coefficient ring has finite global dimension, there is a semi-orthogonal decomposition, due to Poulton, relating the two categories. We prove that this decomposition is partially compatible with the monoidal structure and study the morphism it induces on spectra.


Introduction
Representations of finite groups are prevalent in mathematics, occurring as important objects of study and providing connections between many areas. Although there are still a great deal of open and challenging problems, the modular representation theory of finite groups over fields is becoming increasingly well understood. In particular, given a finite group G and a field k of characteristic dividing the order of G there has been great progress in understanding the features of stmod kG, the stable category of finite dimensional representations of G. Much of this progress is owed to the existence of a monoidal structure on stmod kG which arises from the Hopf algebra structure on kG.
On the other hand, the situation is much less satisfactory if one considers representations of G over some general commutative noetherian ring R. One immediate obstruction is that there is, in general, no obvious monoidal candidate to replace the stable category. One can still consider the bounded derived category of mod RG, and in some cases this is even equipped with a closed symmetric monoidal structure, but it is convenient to be able to work modulo objects that do not contain interesting modular representation theoretic information. One option is to work with the singularity category of RG but there are reasons to suspect that this might be too brutal a quotient of the derived category.
In [BIK13] Benson, Iyengar, and Krause introduce a version of the stable category of RG, denoted here by strel RG, which retains some information on the modules of finite projective dimension, generalises the construction for field coefficients, and carries a closed symmetric monoidal structure; this last property is important and non-trivial as the tensor product afforded by the Hopf algebra structure on RG is no longer necessarily exact for general coefficient rings. The aim of this paper is to compare, for two classes of coefficient rings, the relative stable category strel RG to the singularity category of RG. This serves to relate the invariant introduced in [BIK13] to a better understood and more classical one, as well as to shed some light on exactly how strel RG extends the singularity category.
The first obvious case to consider is when one takes as coefficient ring a self-injective ring R. In this case the group algebra RG is, as in the case for fields, self-injective and so one can consider its usual stable category stmod RG. In this setting we prove, in Section 3, the following theorem showing that one can compare, and hope to transfer information, between these two categories.
Theorem (3.4). Let R be a commutative zero dimensional Gorenstein ring, G a finite group, and ι : R −→ RG the canonical inclusion. There is an equivalence of triangulated categories φ : (strel RG)/K ′ −→ (stmod RG)/K, where K = thick stmod RG (ι * M | M ∈ mod R) and K ′ is the full subcategory of strel RG with the same objects as K.
As an application we are able to glean some information on the lattice of thick subcategories of strel RG. This complements the results of [BCS15] on the lattice of thick tensor ideals.
In the second part of the paper we consider the case where the coefficient ring R is regular. In this case the singularity category D Sg (RG) is a tensor triangulated category and one would morally expect that strel RG interpolates between the bounded derived category and the singularity category. In fact this is the case as the following theorem, which is originally due to Poulton [Pou13], makes precise.
Theorem (4.13, 4.15). Let R be a commutative noetherian ring of finite global dimension and G a finite group. There is a semi-orthogonal decomposition where strel fpd RG is the full subcategory consisting of finitely generated modules of finite projective dimension over RG.
We give a proof of this theorem and explore its compatibility with the monoidal structures on D Sg (RG) and strel RG. We show the adjunction φ ⊣ ψ satisfies the projection formula and that the morphism of spectra The structure of the paper is straightforward. In the first section we recall from [BIK13] the construction of the relative stable category as well as some facts we will need from Gorenstein homological algebra. In Section 3 we prove the first theorem and give some applications to lattices of thick subcategories. Section 4 is devoted to the proof of the second theorem and its consequences. Finally, there is an appendix containing a short tensor triangular geometry argument which gives a necessary and sufficient condition for a monoidal functor to induce a dense map on spectra.
Acknowledgements. We are grateful to Andrew Poulton for making us aware of his article [Pou13], which contains a proof of Theorem 4.13.

Preliminaries
We provide here some recollections on relative stable categories, as introduced in [BIK13], and Gorenstein projective modules that will be needed throughout the paper. Before delving into some details on these subjects let us fix some notation. Throughout R will denote a commutative noetherian ring and G will denote a finite group. We will use ι to denote the canonical inclusion of R into the group algebra RG. We recall that RG is a symmetric R-algebra. In particular, this means that the extension of scalars functor ι * is isomorphic to the coextension of scalars functor i ! . The group algebra RG also carries the structure of a cocommutative Hopf algebra endowing mod RG, the category of finitely generated RG-modules, with a closed symmetric monoidal structure.
2.1. Relative stable categories. In this section we introduce the relative stable category of RG as defined in [BIK13]. We denote, as usual, the abelian category of all RG-modules by Mod RG. We say that a short exact sequence is split exact. The category Mod RG together with the class of R-split exact sequences determines an exact category which we denote by Rel RG. In other words, Rel RG is the category of RG-modules but we forget those short exact sequences which are not split as sequences of R-modules. Similarly, we denote by rel RG the category of finitely generated RG-modules together with the R-split exact structure.
It is proved in [BIK13] that both Rel RG and rel RG are Frobenius categories. The projective-injective objects are precisely those in the additive closure of the essential image of ι * , the extension of scalars functor. Explicitly, an RG-module M is projective in Rel RG if and only if the counit ι * ι * M −→ M is a split epimorphism. We call the projectiveinjective objects in Rel RG weakly projective modules.
As Rel RG and rel RG are Frobenius categories, their stable categories, obtained by factoring out the ideals of maps factoring through projective-injective objects, are triangulated and we denote them by StRel RG and strel RG respectively. The suspension functor on these categories is given by taking cosyzygies, with respect to the R-split exact structure, and the triangles come from R-split short exact sequences.
Recall that, using the Hopf algebra structure of RG, Mod RG can be equipped with a closed symmetric monoidal structure. The tensor product is − ⊗ R − with the diagonal action and the internal hom is Hom R (−, −) where the action is defined in the usual way using the comultiplication and antipode of RG. Although neither − ⊗ R − nor Hom R (−, −) is exact in general, both functors are certainly exact on R-split exact sequences. Thus both the tensor product and internal hom are exact functors on the exact category Rel RG. Thus they descend to StRel RG and strel RG endowing these categories with closed symmetric monoidal structures.
2.2. Gorenstein projectives and the singularity category. We briefly collect here some definitions and material required in Section 4. A great deal more information on these subjects can be found in [Buc87] and [EJ00]. Let us begin with the class of rings which will be of most utility for us.
Definition 2.1. A (not necessarily commutative) noetherian ring Λ is Iwanaga-Gorenstein (or just Gorenstein for short) if the self-injective dimension of Λ over itself is finite on both the left and the right. In this case these injective dimensions have a common value n and we will say Λ is n-Gorenstein.
Example 2.2. If R is an n-Gorenstein commutative ring and G is a finite group then the group algebra RG is also n-Gorenstein. This result goes back to [EN55].
Given a Gorenstein ring Λ there are two particularly well behaved classes of modules: the Gorenstein projectives and Gorenstein injectives. We will only speak of the Gorenstein projective modules as we will focus on these, but one can just dualise to obtain the definition of a Gorenstein injective module. Let us remark that both of these notions make sense in greater generality. However, we will make use of the assumption that Λ is Gorenstein and not give the most general definition.
Definition 2.3. A right Λ-module M is Gorenstein projective if it occurs as a syzygy in an acyclic complex · · · −→ P i −→ P i+1 −→ · · · where each P i is a projective right Λ-module.
There are many equivalent formulations of this condition. The most useful for us are listed in the following theorem, a proof of which can be found, for instance, in [EJ00].
Theorem 2.4. Let M be a right Λ-module. The following statements are equivalent: (1) M is Gorenstein projective; (2) Ext i (M, L) = 0 for all right modules L of finite projective dimension and i ≥ 1. If M is finitely generated then these conditions are also equivalent to (3) Ext i (M, P ) = 0 for all projective right modules P and i ≥ 1.
We denote by GProj Λ the full subcategory of Gorenstein projective right Λ-modules and by Gproj Λ the full subcategory of finitely generated Gorenstein projective right Λ-modules. Both of these categories inherit exact structures from Mod Λ and are, in fact, Frobenius categories. The projective-injective objects are precisely the projective Λ-modules.
The stable category Gproj RG of finitely generated Gorenstein projective modules can be identified with another homological invariant of Λ, namely the singularity category.
Definition 2.5. The singularity category of Λ is defined to be the Verdier quotient where D b (mod Λ) denotes the bounded derived category of mod Λ and D perf (Λ) denotes the perfect complexes, i.e. the thick subcategory of objects quasi-isomorphic to a bounded complex of finitely generated projectives.
The connection between these two triangulated categories is given by the following proposition which is originally due to Buchweitz [Buc87].
Proposition 2.6. The composite induces an equivalence of triangulated categories D Sg (Λ) ∼ = Gproj Λ As noted in Example 2.2 if R is Gorenstein and G is a finite group then the group algebra RG is also Gorenstein. Thus we can apply these constructions to RG and we obtain a triangulated category Gproj RG. The goal of the rest of the paper is to compare the category strel RG to Gproj RG. In the classical case, where R = k is a field, every kG-module is Gorenstein projective and every sequence of kG-modules is k-split and these two categories coincide. As we shall see the situation is more complicated in general.

A comparison theorem for self-injective coefficients
This section is dedicated to comparing the usual stable category and the relative stable category when the coefficients are such that the group algebra is self-injective (so the usual stable category is triangulated). Although the two categories do not necessarily agree we will prove in Theorem 3.4 that they are "equivalent up to a thick subcategory". Stated more precisely, they share a common Verdier quotient. This allows us to deduce a great deal of information about thick subcategories of strel RG, especially when R is an artinian complete intersection and G is abelian as explained in Section 3.1.
Throughout this section R will denote a zero dimensional commutative Gorenstein ring, i.e. R is artinian and self-injective, and we let G be a finite group. Let RG denote the group algebra and ι : R −→ RG the canonical inclusion of R. We note that since R is self-injective so is the group algebra RG. In fact, it is a Frobenius R-algebra.
We have an obvious exact functor rel RG −→ mod RG, namely the identity functor. However, this functor clearly fails to send projectives to projectives. We can attempt to remedy this by defining a thick subcategory of stmod RG and considering the composite The functor ψ kills the projectives in rel RG by construction and so must factor, as an additive functor, via strel RG, i.e. there is an essentially unique ψ : strel RG −→ (stmod RG)/K factoring ψ. Our theorem will follow from some rumination on the behaviour of ψ and K.
Before getting under way let us introduce some notation. We will denote (co)syzygies in mod RG and rel RG by Ω i and Ω i s respectively (the "s" here standing for split). For the sake of brevity we write S = (stmod RG)/K from this point onward and denote its suspension by Σ S . Finally, let us note that we will routinely abuse the isomorphism i * ∼ = i ! .
Proof. For an RG-module M we have two short exact sequences in mod RG is the injective envelope of M, the centre arrow exists by injectivity of E(M), and this extension induces the rightmost vertical arrow. Projecting this diagram to S gives an isomorphism Since the choice of extending morphism we made to construct the original diagram is unique up to proj RG one can assemble these isomorphisms into a natural isomorphism It is then essentially immediate that, up to this natural isomorphism, ψ sends triangles to triangles as it is the identity on objects and rel RG −→ mod RG is exact. Proof. By definition L ′ can be constructed (up to projective/injectives) as This gives rise to a diagram in stmod RG where the top square is homotopy bicartesian and expresses L ′ as the cokernel described above, and the bottom square arises from completing the vertical maps to triangles (see for instance [Nee01,Lemma 1.4.4]). It follows that L ′ ∈ K since ι ! ι * M is in K by definition, L is in K by assumption, and K is thick.
Lemma 3.3. The full subcategory the full subcategory on the objects which the weakly projective objects generate in stmod RG, is thick in strel RG. In particular, we have an equality Proof. Since rel RG −→ mod RG is additive and the identity on objects it is immediate that K ′ is closed under direct sums and summands. If M ∈ K ′ then a representative for The map η is injective so this gives a triangle in stmod RG and since M and ι ! ι * M are in K we deduce that the third term of this triangle Ω −1 s M also lies in K. Similar considerations show that K ′ is also closed under Ω s .
Finally, suppose M, N ∈ K ′ and we are given a map f : M −→ N. By definition M and N, viewed in stmod RG, lie in K and so we know the cone of f taken in stmod RG also lies in K. Thus we can apply Lemma 3.2 which tells us the cone of f taken in strel RG and viewed as an object of stmod RG also lies in K. Hence it lies in K ′ and so K ′ is closed under cones which completes the proof that it is a thick subcategory of strel RG.
The final statement concerning the kernel then follows: since ψ is the identity on objects and K ′ is the full subcategory of strel RG with the same objects as K.
Proof. We have ψK ′ = 0 by construction so ψ factors via an exact functor The functor φ is still the identity on objects so it is clearly surjective on the nose. We first show φ is faithful. Suppose represents a map in (strel RG)/K ′ where cone strel RG (α) ∈ K ′ . If φ of this span is zero then there exists a commutative diagram in stmod RG where the cone in stmod RG of α ′ lies in K. Picking representative for the modules and the morphisms we get a diagram which commutes up to maps factoring through projectives in mod RG. Since every projective RG-module is projective in rel RG this gives a commutative diagram in strel RG. By Lemma 3.2 the cones on α and α ′ , taken in strel RG, lie in K ′ and so this diagram witnesses that our original map was already zero in (strel RG)/K ′ . We now show φ is full. Let M o o α L β / / N represent a map in (stmod RG)/K, i.e. the object cone stmod RG (α) lies in K. Again using Lemma 3.2 we have that cone strel RG (α) lies in K ′ so the same span represents a morphism in (strel RG)/K ′ . As φ is just the identity on objects and honest maps of modules this shows φ is full.
As an immediate consequence of the theorem we can identify certain sublattices of thick subcategories in the relative and usual stable categories. For a triangulated category T we denote by Thick(T ) the lattice, ordered by inclusion, of thick subcategories of T .
Corollary 3.5. The equivalence φ induces a lattice isomorphism It is worth pointing out that we can actually express K in a slightly more compact form. The ring RG is finite free over R and so ι * is an exact functor. It thus induces an exact functor ι * : stmod R −→ stmod RG. Using this observation we come to the following conclusion.
Lemma 3.6. Suppose that R is local with residue field k. Then there is an equality of thick subcategories K = thick stmod RG (kG).
Proof. Since R is local it is clear that Thus K, the thick subcategory generated by the essential image of ι * , is just the thick subcategory generated by ι * k = kG.
3.1. An application: complete intersection coefficients. We now suppose that we have a local artinian complete intersection (R, m, k) and outline what Corollary 3.5 tells us about thick subcategories of strel RG when G is abelian. We will use terms, such as support, without defining them as this would take us somewhat far afield. Precise definitions can be found in [Ste14]. Our approach relies on the following fact, whose proof we omit since it is rather straightforward.
Lemma 3.7. If R is a complete intersection and G is abelian then the group algebra RG is a complete intersection.
In this case, by the following theorem, we understand stmod RG fairly well. So we can apply Corollary 3.5 to deduce the following theorem concerning the relative stable category.
Theorem 3.9. Suppose R is a local artinian complete intersection with residue field k and G is abelian. There are order preserving bijections where c is the codimension of RG and V is the closed subset of P c−1 k corresponding to the module kG, i.e. its support.
Proof. Together Theorem 3.8 and Corollary 3.5 buy us that there is a bijection between the left hand side and specialisation closed subsets of P c−1 k containing σK. Such subsets are the same as specialisation closed subsets of the complement of σK. It just remains to identify σK with the support of kG. This is an immediate consequence of Lemma 3.6.
Let us now consider a more concrete example to show that the lattice of thick subcategories of strel RG can be quite large, especially in comparison to the spectrum which was computed in [BCS15]. Let us take R = Z/p n Z for our coefficient ring and let G be an elementary abelian p-group of rank r. In this case RG has codimension r + 1. The RGmodule kG is clearly indecomposable and has complexity 1 and so its support, the subset V of the theorem, is a single point λ. Thus one can embed the specialisation closed subsets of P r k \ {λ} into the lattice of thick subcategories of strel RG. In particular, if we take r = 1 and n = 2, we have a copy of the specialisation closed subsets of A 1 k in Thick(strel RG). This is in rather stark contrast to the results of [BCS15] which show that the lattice of radical thick tensor ideals in strel RG has 4 elements.

A semi-orthogonal decomposition for regular coefficients
We now consider the opposite extreme of coefficients, namely commutative noetherian rings of finite global dimension. In this case strel RG admits a semi-orthogonal decomposition involving the stable category of Gorenstein projective (aka maximal Cohen-Macaulay) RG-modules, as was proved by Poulton [Pou13]. This gives a precise sense in which strel RG is an extension of the usual singularity category by certain modules of finite projective dimension. We give a complete proof of this theorem and then present some consequences which appear to be new.
Throughout this section R denotes a regular ring of finite global dimension d, G denotes a finite group, and ι denotes the inclusion R −→ RG. Given these hypotheses RG is d-Gorenstein. As in the previous section we will continue to abuse, without explicit mention, the isomorphism of functors ι * ∼ = ι ! .
Lemma 4.1. The functor ι * sends modules of finite projective (injective) dimension to modules of finite projective (injective) dimension. Thus for all M ∈ Mod R we have pd RG ι * M ≤ d. It follows that ι * sends Gorenstein projective (injective) RG-modules to Gorenstein projective (injective) R-modules, which are precisely the projective (injective) R-modules.
Proof. The functor ι * is exact and preserves projectives and injectives since it is both the left and right adjoint of an exact functor. Thus it sends projective (injective) resolutions to projective (injective) resolutions. Since R is regular every module in the image of ι * thus has finite projective (injective) dimension over RG.
For the last statement suppose A ∈ GProj RG and M ∈ Mod R. We have seen above that ι * M has finite projective dimension over RG. So for i > 0 the groups Ext i RG (A, ι * M) vanish. Thus for i > 0 The statement for Gorenstein injectives is proved similarly.
As usual we can consider GProj RG and GInj RG as full exact subcategories of Mod RG. They are both Frobenius categories. We choose to focus on the case of Gorenstein projectives, so we can work with finitely generated modules, and we will state and prove our results for GProj RG. However, it is worth noting that most of what we do is also, once suitably modified by taking duals, valid for Gorenstein injectives.

Lemma 4.2. Every short exact sequence in
0 is a short exact sequence of Gorenstein projective RG-modules. By the last lemma 0 −→ ι * A ′ −→ ι * A −→ ι * A ′′ −→ 0 is an exact sequence of projective R-modules and so certainly splits.
We will also need the following easy observation.
Lemma 4.3. If X ∈ mod RG is weakly projective then pd RG X < ∞.
We now begin to compare rel RG to the Frobenius category Gproj RG of finitely generated Gorenstein projective RG-modules.
Proof. By Lemma 4.2 every exact sequence in Gproj RG is R-split so φ is exact. The projectives in Gproj RG are the RG-projectives and these are certainly weakly projective.
Remark 4.5. The collections GProj RG and GInj RG form exact Frobenius subcategories of Rel RG, the category of all RG-modules with the R-split exact structure, by essentially the same argument.
Thus Gproj RG is an exact Frobenius subcategory of rel RG and so φ induces an exact functor φ : Gproj RG −→ strel RG. It is clear that Gproj RG is closed under admissible extensions and kernels of admissible epimorphisms in mod RG. However, it is not immediate that it is closed under cokernels of admissible monomorphisms. We show that this is the case-it follows from a standard result concerning Gorenstein projectives over RG. Proof. We have already seen in Lemma 4.1 that M is Gorenstein projective only if ι * M is projective.
So let us assume ι * M is projective and prove M is Gorenstein projective. It is enough, by [EJ00, Corollary 11.5.3], to check that Ext i RG (M, RG) = 0 for i ≥ 1. For p ∈ Spec R we have isomorphisms Ext i RG (M, RG) p ∼ = Ext i RpG (M p , R p G) so we may reduce to the case R is local. We will prove the statement by induction on the dimension of the regular local ring R.
If dim R = 0 then R is a field and the statement is immediate. Suppose then the result holds for regular local rings of dimension strictly less than d and let dim R = d > 0. As R is regular we may choose a regular element r ∈ m \ m 2 . As both RG and M are free over R the element r is also a non-zerodivisor on these modules. Set R ′ = R/rR and M ′ = M/rM. By the inductive hypothesis M ′ is a Gorenstein projective R ′ G-module so where the isomorphism of Ext groups is a result of M being acyclic for the base change functor R ′ ⊗ R (−) as M is R-free. Considering the long exact sequence for Ext coming from RG) is surjective for i > 0. Since these Exts are finitely generated R-modules they must vanish by Nakayama's lemma.
Corollary 4.7. The full subcategory Gproj RG is closed under cokernels of admissible monomorphisms in rel RG.
Proof. This is immediate from the proposition: if 0 −→ A ′ −→ A is R-split and A ′ , A are Gorenstein projective, hence R-projective, then the cokernel is also R-projective and hence Gorenstein projective.
We next show φ is an embedding. Thus we can view Gproj RG as a thick subcategory of strel RG via φ. We next produce an adjoint for φ. In order to do so we will make use of the singularity category D Sg (RG) of RG (see Definition 2.5).
We consider the composite where the final equivalence is given by Proposition 2.6. Of course every R-split exact sequence, i.e. every exact sequence in rel RG, is exact in the abelian category mod RG and so gives a triangle in D b (mod RG). Thus ψ sends R-split exact sequences to triangles in Gproj RG. By Lemma 4.3 if X ∈ mod RG is weakly injective then pd RG X < ∞ so ψ(X) = 0. Thus ψ induces an exact functor Remark 4.9. It is essentially immediate from the construction that ψ φ ∼ = id Gproj R . Indeed, this composite is induced by which is just the usual projection from Gproj RG onto its stable category.
Before proving that ψ is right adjoint to φ we remind the reader of another fact from Gorenstein homological algebra. We would like to use this result to exhibit the triangles corresponding to the claimed adjunction between φ and ψ. However, the short exact sequence in the above theorem is not necessarily R-split, i.e. not necessarily exact in Rel RG. This is relatively easily fixed as we show in the next lemma.
Thus the only real content to the statement is that the kernel has finite projective dimension. Since ι * ι * M has finite projective dimension (by Lemma 4.3) the morphisms A ⊕ ι * ι * M −→ M and A −→ M agree in the singularity category. Since A −→ M is an isomorphism in the singularity category we see that A ⊕ ι * ι * M −→ M must also be an isomorphism in the singularity category. Hence the mapping cone in D b (mod RG), namely ΣL ′ , is perfect so L ′ has finite projective dimension.  in strel RG where L is isomorphic to a module of finite projective dimension. By the last lemma L is thus in Gproj RG ⊥ and by abstract nonsense it follows that φ has a right adjoint given by sending M to A (the abstract statement can be found, for instance, in [Bon89, Lemma 3.1]). Since L has finite projective dimension applying ψ to this triangle gives A ∼ = ψ φA ∼ = ψM. A standard argument then shows that the right adjoint we have produced by nonsense is isomorphic to ψ.
We can easily determine the quotient of strel RG by Gproj RG.
Lemma 4.14. There are equivalences of triangulated categories Proof. The first two equivalences are standard and follow from the existence of the right adjoint ψ of φ. To see the third we just note that, by definition, the kernel of ψ is precisely the class of modules of finite projective dimension; there is no need to close under isomorphism as one easily checks that a module of infinite projective dimension cannot become isomorphic to a module of finite projective dimension in strel RG.
The following corollary to Theorem 4.13 summarises what we have proved about the semi-orthogonal decomposition so far.

Corollary 4.15. Let R be a commutative noetherian ring of finite global dimension and G a finite group. Then there is a semi-orthogonal decomposition
where strel fpd RG is the full subcategory consisting of finitely generated modules of finite projective dimension over RG.

4.1.
Compatibility with the tensor structure. The category strel RG is tensor triangulated. It is thus natural to ask if the localization sequence we have produced is compatible with this tensor structure. Compatibility with the inclusion of Gproj RG is easy based upon what we have shown so far.
Corollary 4.16. The category Gproj RG is closed symmetric monoidal and the inclusion φ is closed monoidal, i.e. Gproj RG is a tensor subcategory of strel RG.
Proof. The monoidal structure on Gproj RG is given by restricting ⊗ R and Hom R , the closed monoidal structure given by the Hopf algebra structure on RG. This makes sense as by Proposition 4.6 the trivial module R is Gorenstein projective and if M and M ′ are Gorenstein projective then so are M ⊗ R M ′ and Hom R (M, M ′ ). Since φ is induced by an honest inclusion it is clear it is closed monoidal, in fact strictly so.
We now study this situation a little more closely. This is warranted as Balmer's theory provides powerful tools for studying tensor triangulated categories. Moreover, one expects Gproj RG to be easier to understand than strel RG and so Spc φ should be a useful tool in trying to understand the spectrum of strel RG.
We refer to [Bal05] for the relevant definitions. Let us just recall that a thick subcategory I is a tensor ideal in Gproj RG (resp. strel RG) if it is closed under tensoring with arbitrary objects of Gproj RG (resp. strel RG) and a proper thick tensor ideal P is prime if M ⊗ R N ∈ P implies that at least one of M or N lies in P. Proof. Applying the restriction functor ι * to γ M,N yields an isomorphism of R-modules, in fact it is just the usual duality morphism for finitely generated projectives. Since ι * is conservative we see γ M,N itself is an isomorphism.
Proposition 4.18. The adjunction φ ⊣ ψ satisfies the projection formula: for all M ∈ Gproj RG and X ∈ strel RG there is a natural isomorphism Proof. Such a natural morphism always exists by formal nonsense and is an isomorphism by rigidity of Gproj RG, see for instance [FHM03, Proposition 3.12].
As an immediate and perhaps somewhat surprising corollary we observe the following.
Corollary 4.19. Let L be an RG-module of finite projective dimension and M ∈ GProj RG. Then M ⊗ R L has finite projective dimension as an RG-module. In particular Gproj RG acts on strel fpd RG.
Proof. We just note that where we have used the projection formula and that L is in the kernel of ψ by Lemma 4.14. Again using Lemma 4.14 we deduce that M ⊗ R L has finite projective dimension.
The projection formula also allows us some level of control over the process of completing a thick tensor ideal of Gproj RG to a thick tensor ideal of strel RG. We now make this precise and as a consequence show Spc(φ) is dense.
Lemma 4.20. Let I be a thick tensor ideal of Gproj RG and let I denote the thick tensor ideal of strel RG generated by φI. Then we have an equality (up to closing under isomorphisms) ψ I = I.

Proof.
We begin by observing that I = thick ⊗ strel RG (φI) = thick strel RG (N ⊗ φM | N ∈ strel RG and M ∈ I), where the second equality follows from (the thick subcategory version of) [Ste13, Lemma 3.10]. Now we can use the projection formula to see that ψ I = ψ thick strel RG (N ⊗ φM | N ∈ strel RG and M ∈ I) ⊆ thick strel RG (ψ(N ⊗ φM) | N ∈ strel RG and M ∈ I) = thick strel RG (ψN ⊗ M | N ∈ strel RG and M ∈ I) ⊆ I, where the last containment uses that I is an ideal. This is in fact an equality because fully faithfulness of φ gives I = ψ φI ⊆ ψ I ⊆ I up to closing under isomorphisms.
Appendix A. A brief aside on denseness in tensor triangular geometry This short appendix exists to serve Proposition 4.21. Let K and L be essentially small tensor triangulated categories and F : K −→ L an exact monoidal functor. We will denote the tensor product in both K and L by ⊗, which we hope will not cause confusion as it should always be abundantly clear from the context in which category tensor products are being taken.
In [Bal05, Proposition 3.9] Balmer characterises the closure of the image of F = Spc(F ) in terms of objects of K whose images under F generate L as a tensor ideal. We provide here some trivial arguments to extract, from Balmer's general result, a necessary and sufficient condition for F to be dense.
We will consider the following two sets (up to taking isomorphism classes) of objects of K S K = {a ∈ K | thick ⊗ (a) = K} and S L = {a ∈ K | thick ⊗ (F a) = L} i.e. the sets of objects in K which are supported everywhere and whose images are supported everywhere respectively.
Lemma A.1. The sets defined above satisfy S K ⊆ S L .
Proof. This is an immediate consequence of [Bal05] Corollary 2.5 and Proposition 3.6. Indeed, for any a ∈ S K