Continuous cohomology and homology of profinite groups

We develop cohomological and homological theories for a profinite group $G$ with coefficients in the Pontryagin dual categories of pro-discrete and ind-profinite $G$-modules, respectively. The standard results of group (co)homology hold for this theory: we prove versions of the Universal Coefficient Theorem, the Lyndon-Hochschild-Serre spectral sequence and Shapiro's Lemma.


Introduction
Cohomology groups H n (G, M) can be studied for profinite groups G in much the same way as abstract groups.The coefficients M will lie in some category of topological modules, but it is not clear what the right category is.The classical solution is to allow only discrete modules, in which case H n (G, M) is discrete: see [9] for this approach.For many applications, it is useful to take M to be a profinite G-module.A cohomology theory allowing discrete and profinite coefficients is developed in [12] when G is of type FP ∞ , but for arbitrary profinite groups there has not previously been a satisfactory definition of cohomology with profinite coefficients.A difficulty is that the category of profinite G-modules does not have enough injectives.
We define the cohomology of a profinite group with coefficients in the category of pro-discrete Ẑ G -modules, P D( Ẑ G ).This category contains the discrete Ẑ G -modules and the second-countable profinite Ẑ G -modules; when G itself is second-countable, this is sufficient for many applications.
P D( Ẑ G ) is not an abelian category: instead it is quasi-abelian -homological algebra over this generalisation is treated in detail in [8] and [10], and we give an overview of the results we will need in Section 5. Working over the derived category, this allows us to define derived functors and study their properties: these functors exist because P D( Ẑ G ) has enough injectives.The resulting cohomology theory does not take values in a module category, but rather in the heart of a canonical t-structure on the derived category, RH(P D( Ẑ)), in which P D( Ẑ) is a coreflective subcategory.
The most important result of this theory is that it allows us to prove a Lyndon-Hochschild-Serre spectral sequence for profinite groups with profinite coefficients.This has not been possible in previous formulations of profinite cohomology, and should allow the application of a wide range of techniques from abstract group cohomology to the study of profinite groups.A good example of this is the use of the spectral sequence to give a partial answer to a conjecture of Kropholler's, [9, Open Question 6.12.1], in a paper by the second author [3].
We also define a homology theory for profinite groups which extends the category of coefficient modules to the ind-profinite G-modules.As in previous expositions, this is entirely dual to the cohomology theory.
Finally, in Section 8 we compare this theory to previous cohomology theories for profinite groups.It is naturally isomorphic to the classical cohomology of profinite groups with discrete coefficients, and to the Symonds-Weigel theory for profinite modules of type FP ∞ with profinite coefficients.We also define a continuous cochain cohomology, constructed by considering only the continuous G-maps from the standard bar resolution of a topological group G to a topological G-module M, with the compact-open topology, and taking its cohomology; the comparison here is more nuanced, but we show that in certain circumstances these cohomology groups can be recovered from ours.
To clarify some terminology: it is common to refer to groups, modules, and so on without a topology as discrete.However, this creates an ambiguity in this situation.For a profinite ring R, there are R-modules M without a topology such that giving M the discrete topology creates a topological group on which the R-action R × M → M is not continuous.Therefore a discrete module will mean one for which the R-action is continuous, and we will call algebraic objects without a topology abstract.

Ind-Profinite Modules
We say a topological space X is ind-profinite if there is an injective sequence of subspaces X i , i ∈ N, whose union is X, such that each X i is profinite and X has the colimit topology with respect to the inclusions X i → X.That is, X = lim − →IP Space X i .We write IP Space for the category of ind-profinite spaces and continuous maps.
Proposition 1.1.Given an ind-profinite space X defined as the colimit of an injective sequence {X i } of profinite spaces, any compact subspace K of X is contained in some X i .
Moreover, by the proposition, {X i × Y i } is cofinal in the poset of compact subspaces of X × Y (with the product topology), and hence lim − → X i × Y i is the k-ification of X × Y , or in other words it is the product of X and Y in the category of compactly generated spaces -see [11] for details.So we will write X × k Y for the product in IP Space.
We say an abelian group M equipped with an ind-profinite topology is an ind-profinite abelian group if it satisfies the following condition: there is an injective sequence of profinite subgroups M i , i ∈ N, which is a cofinal sequence for the underlying space of M. It is easy to see that profinite groups and countable discrete torsion groups are ind-profinite.Moreover Q p is ind-profinite via the cofinal sequence Remark 1.3.It is not obvious that ind-profinite abelian groups are topological groups.In fact, we see below that they are.But it is much easier to see that they are k-groups in the sense of [7]: the multiplication map M × k M = lim − →IP Space M i × M i → M is continuous by the definition of colimits.The k-group intuition will often be more useful.
In the terminology of [5] the ind-profinite abelian groups are just the abelian weakly profinite groups.We recall some of the basic results of [5].
(i) Any compact subspace of M is contained in some M i .
(ii) Closed subgroups N of M are ind-profinite, with cofinal sequence N∩M i .
(iii) Quotients of M by closed subgroups N are ind-profinite, with cofinal sequence M i /(N ∩ M i ).
Proof.[5, Proposition 1.1, Proposition 1.2, Proposition 1.5] As before, we call a sequence {M i } of profinite subgroups making M into an ind-profinite group a cofinal sequence for M.
Suppose from now on that R is a commutative profinite ring and Λ is a profinite R-algebra.
Remark 1.5.We could define ind-profinite rings as colimits of injective sequences (indexed by N) of profinite rings, and much of what follows does hold in some sense for such rings, but not much is lost by the restriction.In particular, it would be nice to use the machinery of ind-profinite rings to study Q p , but the sequence ( * ) making Q p into an ind-profinite abelian group does not make it into an ind-profinite ring because the maps are not maps of rings.
We say that M is a left Λ We say that a left Λ-k-module M equipped with an ind-profinite topology is a left ind-profinite Λ-module if there is an injective sequence of profinite submodules M i , i ∈ N, which is a cofinal sequence for the underlying space of M. So countable discrete Λ-modules are ind-profinite, because finitely generated discrete Λ-modules are finite, and so are profinite Λ-modules.In particular Λ, with left-multiplication, is an ind-profinite Λ-module.Note that, since profinite Ẑ-modules are the same as profinite abelian groups, indprofinite Ẑ-modules are the same as ind-profinite abelian groups.
Then we immediately get the following.
(i) Any compact subspace of M is contained in some M i .
(ii) Closed submodules N of M are ind-profinite, with cofinal sequence N ∩ M i .
(iii) Quotients of M by closed submodules N are ind-profinite, with cofinal sequence M i /(N ∩ M i ).
As before, we call a sequence {M i } of profinite submodules making M into an ind-profinite Λ-module a cofinal sequence for M.
and write N i+1 for its preimage in M i+1 .Finally, let N be the submodule of M with cofinal sequence {N i }: N is open and N ⊆ U, as required.
Write IP (Λ) for the category whose objects are left ind-profinite Λmodules, and whose morphisms M → N are Λ-k-module homomorphisms.We will identify the category of right ind-profinite Λ-modules with IP (Λ op ) in the usual way.Given M ∈ IP (Λ) and a submodule M ′ , write M ′ for the closure of M ′ in M. Given M, N ∈ IP (Λ), write Hom IP Λ (M, N) for the abstract R-module of morphisms M → N: this makes Hom IP Λ (−, −) into a functor IP (Λ) op × IP (Λ) → Mod(R) in the usual way, where Mod(R) is the category of abstract R-modules and R-module homomorphisms.
Proof.The category is clearly pre-additive; the biproduct M ⊕ N is the biproduct of the underlying abstract modules, with the topology of M × k N. The existence of kernels and cokernels follows from Corollary 1.6; the cokernel of f : Remark 1.9.The category IP (Λ) is not abelian in general.Consider the countable direct sum ⊕ ℵ 0 Z/2Z, with the discrete topology, and the countable direct product ℵ 0 Z/2Z, with the profinite topology.Both are ind-profinite Ẑ-modules.There is a canonical injective map i : ⊕Z/2Z → Z/2Z, but i(⊕Z/2Z) is not closed in Z/2Z.Moreover, ⊕Z/2Z is not homeomorphic to i(⊕Z/2Z), with the subspace topology, because i(⊕Z/2Z) is not discrete, by the construction of the product topology.
Given a morphism f : M → N in a category with kernels and cokernels, we write coim(f ) for coker(ker(f )), and im(f ) for ker(coker(f )).That is, coim(f ) = f (M), with the quotient topology coming from M, and im(f ) = f (M), with the subspace topology coming from N. In an abelian category, coim(f ) = im(f ), but the preceding remark shows that this fails in IP (Λ).
We say a morphism f : In particular strict epimorphisms are surjections.Note that if M is profinite all morphisms f : M → N must be strict, because compact subspaces of Hausdorff spaces are closed, so that coim(f ) → im(f ) is a continuous bijection of compact Hausdorff spaces and hence a topological isomorphism.Proposition 1.10.Morphisms f : M → N in IP (Λ) such that f (M) is a closed subset of N have continuous sections.So f is strict in this case, and in particular continuous bijections are isomorphisms.
Proof.[5,Proposition 1.6] Corollary 1.11 (Canonical decomposition of morphisms).Every morphism f : M → N in IP (Λ) can be uniquely written as the composition of a strict epimorphism, a bimorphism and a strict monomorphism.Moreover the bimorphism is an isomorphism if and only if f is strict.

Proof. The decomposition is the usual one
for categories with kernels and cokernels.Clearly coim(f ) = f (M) → N is injective, so g is too, and hence g is monic.Also the set-theoretic image of M → im(f ) is dense, so the set-theoretic image of g is too, and hence g is epic.Then everything follows from Proposition 1.10.
Because IP (Λ) is not abelian, it is not obvious what the right notion of exactness is.We will say that a chain complex Despite the failure of our category to be abelian, we can prove the following Snake Lemma, which will be useful later.
Lemma 1.12.Suppose we have a commutative diagram in IP (Λ) of the form L such that the rows are strict exact at M, N, L ′ , M ′ and f, g, h are strict.Then we have a strict exact sequence Proof.Note that kernels in IP (Λ) are preserved by forgetting the topology, and so are cokernels of strict morphisms by Proposition 1.10.So by forgetting the topology and working with abstract Λ-modules we get the sequence described above from the standard Snake Lemma for abstract modules, which is exact as a sequence of abstract modules.This implies that, if all the maps in the sequence are continuous, then they have closed set-theoretic image, and hence the sequence is strict by Proposition 1.10.To see that ∂ is continuous, we construct it as a composite of continuous maps.Since coim(p) = N, by Proposition 1.10 again p has a continuous section s 1 : N → M, and similarly i has a continuous section s 2 : im(i) → L ′ .Then, as usual, ∂ = s 2 gs 1 .The continuity of the other maps is clear.
Proof.We show first that IP (Λ) has countable direct sums.Given a countable collection {M n : n ∈ N} of ind-profinite Λ-modules, write {M n,i : i ∈ N}, for each n, for a cofinal sequence for M n .Now consider the injective sequence {N n } given by N n = n i=1 M i,n+1−i : each N n is a profinite Λ-module, so the sequence defines an ind-profinite Λ-module N. It is easy to check that the underlying abstract module of N is n M n , that each canonical map M n → N is continuous, and that any collection of continuous homomorphisms M n → P in IP (Λ) induces a continuous N → P .Now suppose we have a countable diagram {M n } in IP (Λ).Write S for the closed submodule of M n generated (topologically) by the elements with jth component −x, kth component f (x) and all other components 0, for all maps f : M j → M k in the diagram and all x ∈ M j .By standard arguments, ( M n )/S, with the quotient topology, is the colimit of the diagram.
Remark 1.14.We get from this construction that, given a countable collection of short strict exact sequences is strict exact by Proposition 1.10, because the sequence of underlying modules is exact.So direct sums preserve kernels and cokernels, and in particular direct sums preserve strict maps, because given a countable collection of strict maps {f n } in IP (Λ), coim( (ii) Given X ∈ IP Space with a cofinal sequence {X i } and N ∈ IP (Λ) with cofinal sequence {N j }, write C(X, N) for the R-module of continuous maps X → N. Then C(X, N) = lim Proof.(i) Since M = lim − →IP (Λ) M i , we have that Since the N j are cofinal for N, every continuous map (ii) Similarly.
Given X ∈ IP Space as before, define a module F X ∈ IP (Λ) in the following way: let F X i be the free profinite Λ-module on X i .The maps X i → X i+1 induce maps F X i → F X i+1 of profinite Λ-modules, and hence we get an ind-profinite Λ-module with cofinal sequence {F X i }.Write F X for this module, which we will call the free ind-profinite Λ-module on X. Proposition 1.16.Suppose X ∈ IP Space and N ∈ IP (Λ).Then we have Hom IP Λ (F X, N) = C(X, N), naturally in X and N.
Proof.First recall that, by the definition of free profinite modules, there holds Hom IP Λ (F X, N) = C(X, N) when X and N are profinite.Then by Lemma 1.15, The isomorphism is natural because Hom IP Λ (F −, −) and C(−, −) are both bifunctors.
We call is strict exact.We will say IP (Λ) has enough projectives if for every M ∈ IP (Λ) there is a projective P and a strict epimorphism P → M.
Proof.By Proposition 1.16 and Proposition 1.10, F X is projective for all X ∈ IP Space.So given M ∈ IP (Λ), F M has the required property: the identity M → M induces a canonical 'evaluation map' ε : F M → M, which is strict epic because it is a surjection.
Proof.Given a projective P ∈ IP (Λ), pick a free module F and a strict epimorphism f : F → P .By definition, the map Hom IP Λ (P, F ) f * − → Hom IP Λ (P, P ) induced by f is a surjection, so there is some morphism g : P → F such that f * (g) = gf = id P .Then we get that the map ker(f )⊕P → F is a continuous bijection, and hence an isomorphism by Proposition 1.10.
Remarks 1.19.(i) We can also define the class of strictly free modules to be free ind-profinite modules on ind-profinite spaces X which have the form of a disjoint union of profinite spaces X i .By the universal properties of coproducts and free modules we immediately get F X = F X i .Moreover, for every ind-profinite space Y there is some X of this form with a surjection X → Y : given a cofinal sequence {Y i } in Y , let X = Y i , and the identity maps Y i → Y i induce the required map X → Y .Then the same argument as before shows that projective modules in IP (Λ) are summands of strictly free ones.
(ii) Note that a profinite module in IP (Λ) is projective in IP (Λ) if and only if it is projective in the category of profinite Λ-modules.Indeed, Proposition 1.16 shows that free profinite modules are projective in IP (Λ), and the rest follows.
We will identify the category of right pro-discrete Λ-modules with P D(Λ op ) in the usual way.
Proof.We can construct M = lim ← − M i as a closed subspace of M i .Each M i is first-countable because it is discrete, and first-countability is closed under countable products and subspaces.(ii) Since first-countable spaces are always compactly generated by [11, Proposition 1.6], pro-discrete Λ-modules are compactly generated as topological spaces.In fact more is true.Given a pro-discrete Λ-module M which is the inverse limit of a countable sequence {M i } of finite quotients, suppose X is a compact subspace of M and write X i for the image of X in M i .By compactness, each X i is finite.Let N i be the submodule of M i generated by In general, pro-discrete Λ-modules need not be second-countable, because for example P D( Ẑ) contains uncountable discrete abelian groups.However, we have the following result.
Lemma 2.4.Suppose a Λ-module M has a topology which makes it prodiscrete and ind-profinite (as a Λ-module).Then M is second-countable and locally compact.
Proof.As an ind-profinite Λ-module, take a cofinal sequence of profinite submodules M i .For any discrete quotient N of M, the image of each M i in N is compact and hence finite, and N is the union of these images, so N is countable.Then if M is the inverse limit of a countable sequence of discrete quotients M j , each M j is countable and M can be identified with a closed subspace of M j , so M is second-countable because second-countability is closed under countable products and subspaces.By Proposition 2.3, M is a Baire space, and hence by the Baire category theorem one of the M i must be open.The result follows.
Proposition 2.5.Suppose M is a pro-discrete Λ-module which is the inverse limit of a sequence of discrete quotient modules (ii) M is complete, and hence N is complete by [1, II, Section 3.4, Proposition 8].It is easy to check that {N ∩ U i } is a fundamental system of neighbourhoods of the identity, so As a result of (i), we call {M i } a cofinal sequence for M. As in IP (Λ), it is clear from Proposition 2.5 that P D(Λ) is an additive category with kernels and cokernels.
Given M, N ∈ P D(Λ), write Hom P D Λ (M, N) for the R-module of morphisms M → N: this makes Hom P D Λ (−, −) into a functor in the usual way.Note that the ind-profinite Ẑ-modules in Remark 1.9 are also pro-discrete Ẑ-modules, so the remark also shows that P D(Λ) is not abelian in general.
As before, we say a morphism f : In particular strict epimorphisms are surjections.We say that a chain complex is strict exact at M if coim(f ) = ker(g).We say a chain complex is strict exact if it is strict exact at each M.
Remark 2.6.In general, it is not clear whether a map f : M → N of prodiscrete modules with f (M) closed in N must be strict, as is the case for ind-profinite modules.However, we do have the following result.
Proposition 2.7.Let f : M → N be a morphism in P D(Λ).Suppose that M (and hence coim(f )) is second-countable, and that the set-theoretic image As for ind-profinite modules, we can factorise morphisms in a canonical way.
Corollary 2.8 (Canonical decomposition of morphisms).Every morphism f : M → N in IP (Λ) can be uniquely written as the composition of a strict epimorphism, a bimorphism and a strict monomorphism.Moreover the bimorphism is an isomorphism if and only if the morphism is strict.Remark 2.9.Suppose we have a short strict exact sequence , and similarly for N, so we can write the sequence as a surjective inverse limit of short (strict) exact sequences of discrete Λ-modules.
Conversely, suppose we have a surjective sequence of short (strict) exact sequences 0 of pro-discrete Λ-modules.It is easy to check that im(f ) = ker(g) = L = coim(f ), and coim(g) = coker(f ) = N = im(g), so f and g are strict, and hence ( * ) is a short strict exact sequence.
Lemma 2.10.Given M, N ∈ P D(Λ), pick cofinal sequences {M i }, {N j } respectively.Then Proof.Since N = lim ← −P D(Λ) N j , we have by definition that Hom P D Λ (M, N) = lim ← − Hom P D Λ (M, N j ).Since the M i are cofinal for M, every continuous map We call Lemma 2.11.Suppose that I is a discrete Λ-module which is injective in the category of discrete Λ-modules.Then I is injective in P D(Λ).
Proof.We know Hom P D Λ (−, I) is exact on discrete Λ-modules.Remark 2.9 shows that we can write short strict exact sequences of pro-discrete Λ-modules as surjective inverse limits of short exact sequences of discrete modules in P D(Λ), and then, by injectivity, applying Hom P D Λ (−, I) gives a direct system of short exact sequences of R-modules; the exactness of such direct limits is well-known.
In particular we get that Q/Z, with the discrete topology, is injective in P D( Ẑ) -it is injective among discrete Ẑ-modules (i.e.torsion abelian groups) by Baer's lemma, because it is divisible (see [14, 2.3.1]).
Given M ∈ IP (Λ), with a cofinal sequence {M i }, and N ∈ P D(Λ), with a cofinal sequence {N j }, we can consider the continuous group homomorphisms f : M → N which are compatible with the Λ-action, i.e. such that λf (m) = f (λm), for all λ ∈ Λ, m ∈ M. Consider the category T (Λ) of topological Λmodules and continuous Λ-module homomorphisms.We can consider IP (Λ) and P D(Λ) as full subcategories of T (Λ), and observe that M = lim − →T(Λ) We write Hom T Λ (M, N) for the R-module of morphisms M → N in T (Λ).For the following lemma, this will denote an abstract R-module, after which we will define a topology on Hom T Λ (M, N) making it into a topological R-module.Lemma 2.12.As abstract R-modules, We may give each Hom T Λ (M i , N j ) the discrete topology, which is also the compact-open topology in this case.Then we make lim ← − Hom T Λ (M i , N j ) into a topological R-module by giving it the limit topology: giving Hom T Λ (M, N) this topology therefore makes it into a pro-discrete R-module.From now on, Hom T Λ (M, N) will be understood to have this topology.The topology thus constructed is well-defined because the M i are cofinal for M and the N j cofinal for N.Moreover, given a morphism M → M ′ in IP (Λ), this construction makes the induced map Hom T Λ (M ′ , N) → Hom T Λ (M, N) continuous, and similarly in the second variable, so that Hom T Λ (−, −) becomes a functor IP (Λ) op × P D(Λ) → P D(R).Of course the case when M and N are right Λ-modules behaves in the same way; we may express this by treating M, N as left Λ op -modules and writing Hom T Λ op (M, N) in this case.More generally, given a chain complex , both bounded below, let us define the double cochain complex {Hom T Λ (M p , N q )} with the obvious horizontal maps, and with the vertical maps defined in the obvious way except that they are multiplied by −1 whenever p is odd: this makes Tot(Hom T Λ (M p , N q )) into a cochain complex which we denote by Hom T Λ (M, N).Each term in the total complex is the sum of finitely many pro-discrete R-modules, because M and N are bounded below, so Hom T Λ (M, N) is a complex in P D(R).Suppose Θ, Φ are profinite R-algebras.Then let P D(Θ − Φ) be the category of pro-discrete Θ−Φ-bimodules and continuous Θ−Φ-homomorphisms.If M is an ind-profinite Λ − Θ-bimodule and N is a pro-discrete Λ − Φbimodule, one can make Hom T Λ (M, N) into a pro-discrete Θ − Φ-bimodule in the same way as in the abstract case.We leave the details to the reader.

Pontryagin Duality
Lemma 3.1.Suppose that I is a discrete Λ-module which is injective in P D(Λ).Then Hom T Λ (−, I) sends short strict exact sequences of ind-profinite Λ-modules to short strict exact sequences of pro-discrete R-modules.
Proof.Proposition 1.10 shows that we can write short strict exact sequences of ind-profinite Λ-modules as injective direct limits of short exact sequences of profinite modules in IP (Λ), and then [9, Exercise 5.4.7(b)]shows that applying Hom T Λ (−, I) gives a surjective inverse system of short exact sequences of discrete R-modules; the inverse limit of these is strict exact by Remark 2.9.
In particular this applies when I = Q/Z, with the discrete topology, as a Ẑ-module.
Consider Q/Z, with the discrete topology, as an ind-profinite abelian group.Given M ∈ IP (Λ), with a cofinal sequence {M i }, we can think of M as an ind-profinite abelian group by forgetting the Λ-action; then {M i } becomes a cofinal sequence of profinite abelian groups for M. Now apply Hom T Ẑ (−, Q/Z) to get a pro-discrete abelian group.We can endow each Hom T Ẑ (M i , Q/Z) with the structure of a right Λ-module, such that the Λaction is continuous, by [9, p.165].Taking inverse limits, we can therefore make Hom T Ẑ (M, Q/Z) into a pro-discrete right Λ-module, which we denote by M * .As before, * gives a contravariant functor IP (Λ) → P D(Λ op ).Lemma 3.1 now has the following immediate consequence.
Suppose instead that M ∈ P D(Λ), with a cofinal sequence {M i }.As before, we can think of M as a pro-discrete abelian group by forgetting the Λaction, and then {M i } is a cofinal sequence of discrete abelian groups.Recall that, as (abstract) Ẑ-modules, Hom P D Ẑ (M, Q/Z) ∼ = lim − →i Hom P D Ẑ (M i , Q/Z).We can endow each Hom P D Ẑ (M i , Q/Z) with the structure of a profinite right Λ-module, by [9, p.165].Taking direct limits, we then make Hom P D Ẑ (M, Q/Z) into an ind-profinite right Λ-module, which we denote by M * , and in the same way as before * gives a functor P D(Λ) → IP (Λ op ).
Note that * also maps short strict exact sequences to short strict exact sequences, by Lemma 2.11 and Proposition 1.10.Note too that both * and * send profinite modules to discrete modules and vice versa; on such modules they give the same result as the usual Pontryagin duality functor of [9, Section 2.9].Proof.We give a proof for * • * ; the proof for * • * is similar.Given M ∈ IP (Λ) with a cofinal sequence M i , by construction (M * ) * has cofinal sequence (M * i ) * .By [9, p.165], the functors * and * give a dual equivalence between the categories of profinite and discrete Λ-modules, so we have natural isomorphisms M i → (M * i ) * for each i, and the result follows.From now on, by abuse of notation, we will follow convention by writing * for both the functors * and * .
Proof.This follows from Pontryagin duality and the duality between the definitions of im and coim.For the final observation, note that, by Corollary 1.11 and Corollary 2.8, Corollary 3.5.(i) P D(Λ) has countable limits.
(ii) Direct products in P D(Λ) preserve kernels and cokernels, and hence strict maps.
(iii) P D(Λ) has enough injectives: for every M ∈ P D(Λ) there is an injective I and a strict monomorphism M → I.A discrete Λ-module I is injective in P D(Λ) if and only if it is injective in the category of discrete Λ-modules.
(iv) Every injective in P D(Λ) is a summand of a strictly cofree one, i.e. one whose Pontryagin dual is strictly free.
(v) Countable products of strict exact sequences in P D(Λ) are strict exact.
(vi) Let P be a profinite Λ-module which is projective in IP (Λ).Then the functor Hom T Λ (P, −) sends strict exact sequences of pro-discrete Λmodules to strict exact sequences of pro-discrete R-modules.
The topology defined on Corollary 3.8.The topology on ind-profinite Λ-modules is complete, Hausdorff and totally disconnected.
Proof.By Lemma 1.7 we just need to show the topology is complete.Proposition 3.7 shows that ind-profinite Λ-modules are the inverse limit of their discrete quotients, and hence that the topology on such modules is complete, by the corollary to [1, II, Section 3.5, Proposition 10].
Moreover, given ind-profinite Λ-modules M, N, the product M × k N is the inverse limit of discrete modules M ′ × k N ′ , where M ′ and N ′ are discrete quotients of M and N respectively.But the product in the category of topological modules.Proposition 3.9.Suppose that P ∈ IP (Λ) is projective.Then Hom T Λ (P, −) sends strict exact sequences in P D(Λ) to strict exact sequences in P D(R).
Proof.For P profinite this is Corollary 3.5(vi).For P strictly free, P = P i , we get Hom T Λ (P, −) = Hom T Λ (P i , −), which sends strict exact sequences to strict exact sequences because and Hom T Λ (P i , −) do.Now the result follows from Remark 1.19.
such that the compositions f 2 f 1 and f 3 f 2 are isomorphisms, so f 2 is an isomorphism.In particular, this holds when M is profinite and N is discrete, in which case the topology on Hom T Λ (M, N) is discrete; so, taking cofinal sequences M i for M and N j for N, we get Hom T Λ (M i , N j ) = Hom T Λ op (N j * , M * i ) as topological modules for each i, j, and the topologies on Hom T Λ (M, N) and Hom T Λ op (N * , M * ) are given by the inverse limits of these.Naturality is clear.(ii) A profinite Ẑ-module is projective in IP ( Ẑ) if and only if it is torsionfree.
Remark 3.14.On the other hand, Q p is not injective in P D( Ẑ) (and hence not projective in IP ( Ẑ) either), despite being divisible (respectively, torsionfree).Indeed, consider the monomorphism which is strict because its dual is surjective and hence strict by Proposition 1.10.Suppose Q p is injective, so that f splits; the map g splitting it must send the torsion elements of N Q p /Z p to 0 because Q p is torsion-free.But the torsion elements contain N Q p /Z p , so they are dense in N Q p /Z p and hence g = 0, giving a contradiction.
Finally, we recall the definition of quasi-abelian categories from [10, Definition 1.1.3].Suppose that E is an additive category with kernels and cokernels.Now f induces a unique canonical map g : coim(f ) → im(f ) such that f factors as and if g is an isomorphism we say f is strict.We say E is a quasi-abelian category if it satisfies the following two conditions: (QA) in any pull-back square IP (Λ) satisfies axiom (QA) because forgetting the topology preserves pull-backs, and Mod(Λ) satisfies (QA), so pull-backs of surjections are surjections.Recall by Remark 2.2(ii) that pro-discrete modules are compactly generated; hence P D(Λ) satisfies (QA) by [11,Proposition 2.36], since the forgetful functor to topological spaces preserves pull-backs.Then both categories satisfy axiom (QA * ) by duality, and we have: Proposition 3.15.IP (Λ) and P D(Λ) are quasi-abelian categories.
Moreover, note that the definition of a strict morphism in a quasi-abelian category agrees with our use of the term in IP (Λ) and P D(Λ).

Tensor Products
As in the abstract case, we can define tensor products of ind-profinite modules.Suppose L ∈ IP (Λ op ), M ∈ IP (Λ), N ∈ IP (R).We call a continuous map b : L × k M → N bilinear if the following conditions hold for all l, l 1 , l 2 ∈ L, m, m 1 , m 2 ∈ M, λ ∈ Λ: Then T ∈ IP (R), together with a bilinear map θ : L × k M → T , is the tensor product of L and M if, for every N ∈ IP (R) and every bilinear map b : If such a T exists, it is clearly unique up to isomorphism, and then we write L ⊗Λ M for the tensor product.To show the existence of L ⊗Λ M, we construct it directly: b defines a morphism b ′ : From the bilinearity of b, we get that the R-submodule K of F (L × k M) generated by the elements Then it is not hard to check that F (L × k M)/ K, together with b ′′ , satisfies the universal property of the tensor product.(ii) There is an isomorphism Λ ⊗Λ M = M for all M ∈ IP (Λ), natural in M, and similarly L ⊗Λ Λ = L naturally.
(iii) L ⊗Λ M = M ⊗Λ op L, naturally in L and M.
(iv) Given L in IP (Λ op ) and M in IP (Λ), with cofinal sequences {L i } and {M j }, there is an isomorphism Proof.(i) and (ii) follow from the universal property.(iv) We have L× k M = lim − → L i ×M j by Lemma 1.2.By the universal property of the tensor product, the bilinear map lim By uniqueness, the compositions f g and gf are both identity maps, so the two sides are isomorphic.
More generally, given chain complexes in IP (Λ), both bounded below, define the double chain complex {L p ⊗Λ M q } with the obvious vertical maps, and with the horizontal maps defined in the obvious way except that they are multiplied by −1 whenever q is odd: this makes Tot(L ⊗Λ M) into a chain complex which we denote by L ⊗Λ M. Each term in the total complex is the sum of finitely many ind-profinite R-modules, because M and N are bounded below, so L ⊗Λ M is a complex in IP (R).
Suppose from now on that Θ, Φ, Ψ are profinite R-algebras.Then let IP (Θ − Φ) be the category of ind-profinite Θ − Φ-bimodules and Θ − Φ-kbimodule homomorphisms.We leave the details to the reader, after noting that an ind-profinite R-module N, with a left Θ-action and a right Φ-action which are continuous on profinite submodules, is an ind-profinite Θ − Φbimodule since we can replace a cofinal sequence {N i } of profinite R-modules with a cofinal sequence {Θ • N i • Φ} of profinite Θ − Φ-bimodules.If L is an ind-profinite Θ − Λ-bimodule and M is an ind-profinite Λ − Φ-bimodule, one can make L ⊗Λ M into an ind-profinite Θ − Φ-bimodule in the same way as in the abstract case.
Then there is an isomorphism Proof.Given cofinal sequences {L i }, {M j }, {N k } in L, M, N respectively, we have natural isomorphisms of discrete Φ − Ψ-bimodules for each i, j, k by [9, Proposition 5.5.4(c)].Then by Lemma 2.12 we have It follows that Hom T Λ (considered as a co-/covariant bifunctor IP (Λ) op × P D(Λ) → P D(R)) commutes with limits in both variables, and that ⊗Λ commutes with colimits in both variables, by [14, Theorem 2.6.10].

Corollary 4.3.
There is a natural isomorphism Proof.Apply the theorem with Ψ = Ẑ and N = Q/Z.
Properties proved about Hom Λ in the past two sections carry over immediately to properties of ⊗Λ , using this natural isomorphism.Details are left to the reader.
Given a chain complex M in IP (Λ) and a cochain complex N in P D(Λ), both bounded below, if we apply * to the double complex with (p, q)th term Hom T Λ (M p , N q ), we get a double complex with (q, p)th term N q * ⊗Λ M pnote that the indices are switched.This changes the sign convention used in forming Hom T Λ (M, N) into the one used in forming N * ⊗Λ M, and so we have Hom T Λ (M, N) * = N * ⊗Λ M (because * commutes with finite direct sums).

Derived Functors in Quasi-Abelian Categories
We give a brief sketch of the machinery needed to derive functors in quasiabelian categories.See [8] and [10] for details.
First a notational convention: in a chain complex (A, d) in a quasi-abelian category, unless otherwise stated, d n will be the map A n+1 → A n .Dually, if (A, d) is a cochain complex, d n will be the map Given a quasi-abelian category E, let K(E) be the category whose objects are cochain complexes in E and whose morphisms are maps of cochain complexes up to homotopy; this makes K(E) into a triangulated category.Given a cochain complex A in E, we say A is strict exact in degree n if the map d n−1 : A n−1 → A n is strict and im(d n−1 ) = ker(d n ).We say A is strict exact if it is strict exact in degree n for all n.Then, writing N(E) for the full subcategory of K(E) whose objects are strict exact, we get that N(E) is a null system, so we can localise K(E) at N(E) to get the derived category D(E).We also define K + (E) to be the full subcategory of K(E) whose objects are bounded below, and K − (E) to be the full subcategory whose objects are bounded above; we write D + (E) and D − (E) for their localisations, respectively.We say a map of complexes in K(E) is a strict quasi-isomorphism if its cone is in N(E).
Deriving functors in quasi-abelian categories uses the machinery of tstructures.This can be thought of as giving a well-behaved cohomology functor to a triangulated category.For more detail on t-structures, see [8, Section 1.3].
Given a triangulated category T , with translation functor T , a t-structure on T is a pair T ≤0 , T ≥0 of full subcategories of T satisfying the following conditions: It follows from this definition that, if T ≤0 , T ≥0 is a t-structure on T , there is a canonical functor τ ≤0 : T → T ≤0 which is left adjoint to inclusion, and a canonical functor τ ≥0 : T → T ≥0 which is right adjoint to inclusion.One can then define the heart of the t-structure to be the full subcategory T ≤0 ∩ T ≥0 , and the 0th cohomology functor Theorem 5.1.The heart of a t-structure on a triangulated category is an abelian category.
There are two canonical t-structures on D(E), the left t-structure and the right t-structure, and correspondingly a left heart LH(E) and a right heart RH(E).The t-structures and hearts are dual to each other in the sense that there is a natural isomorphism between LH(E) and RH(E op ) (one can check that E op is quasi-abelian), so we can restrict investigation to LH(E) without loss of generality.
Explicitly, the left t-structure on D(E) is given by taking T ≤0 to be the complexes which are strict exact in all positive degrees, and T ≥0 to be the complexes which are strict exact in all negative degrees.LH(E) is therefore the full subcategory of D(E) whose objects are strict exact in every degree except 0; the 0th cohomology functor of E with E 0 in degree 0 and f monic.Let I : E → LH(E) be the functor given by E → (0 → E → 0) with E in degree 0. Let C : LH(E) → E be the functor given by Proposition 5.2.I is fully faithful and right adjoint to C. In particular, identifying E with its image under I, we can think of E as a reflective subcategory of LH(E).Moreover, given a sequence Everything for RH(E) is done dually, so in particular we get: Lemma 5.4.The functors RH n : D(E op ) → RH(E op ) are given by As for P D(Λ), we say an object I of E is injective if, for any strict monomorphism E → E ′ in E, any morphism E → I extends to a morphism E ′ → I, and we say E has enough injectives if for every E ∈ E there is a strict monomorphism E → I for some injective I.
Proposition 5.5.The right heart RH(E) of E has enough injectives if and only if E does.An object Suppose that E has enough injectives.Write I for the full subcategory of E whose objects are injective in E. We can now define derived functors in the same way as the abelian case.Suppose we are given an additive functor F : E → E ′ between quasi-abelian categories.Let Q : K + (E) → D + (E) and Q ′ : K + (E ′ ) → D + (E ′ ) be the canonical functors.Then the right derived functor of F is a triangulated functor RF : (that is, a functor compatible with the triangulated structure) together with a natural transformation satisfying the property that, given another triangulated functor and a natural transformation Clearly if RF exists it is unique up to natural isomorphism.Suppose we are given an additive functor F : E → E ′ between quasiabelian categories, and suppose E has enough injectives.Proposition 5.7.For E ∈ K + (E) there is an I ∈ K + (E) and a strict quasiisomorphism E → I such that each I n is injective and each E n → I n is a strict monomorphism.
We say such an I is an injective resolution of E. Proposition 5.8.In the situation above, the right derived functor of F exists and RF (E) = K + (F )(I) for any injective resolution I of E.
We write R n F for the composition RH n • RF .Remark 5.9.Since RF is a triangulated functor, we could also define the cohomological functor LH n •RF .The reason for using RH n •RF is Proposition 5.5.Indeed, when RH(E) has enough injectives we may construct Cartan-Eilenberg resolutions in this category, and hence prove a Grothendieck spectral sequence, Theorem 5.12 below.On the other hand it is not clear that such a spectral sequence holds for LH n • RF , and in this sense RH n • RF is the 'right' definition -but see Lemma 6.8.
The construction of derived functors generalises to the case of additive bifunctors F : E × E ′ → E ′′ where E and E ′ have enough injectives: the right derived functor RF : exists and is given by RF (E, E ′ ) = sK + (F )(I, I ′ ) where I, I ′ are injective resolutions of E, E ′ and sK + (F )(I, I ′ ) is the total complex of the double complex {K + (F )(I p , I ′q )} pq in which the vertical maps with p odd are multiplied by −1.
Projectives are defined dually to injectives, left derived functors are defined dually to right derived ones, and if a quasi-abelian category E has enough projectives then an additive functor F from E to another quasiabelian category has a left derived functor LF which can be calculated by taking projective resolutions, and we write L n F for LH −n • LF .Similarly for bifunctors.
We state here, for future reference, some results on spectral sequences; see [14,Chapter 5] for more details.All of the following results have dual versions obtained by passing to the opposite category, and we will use these dual results interchangeably with the originals.Suppose that A = A pq is a bounded below double cochain complex in E, that is, there are only finitely many non-zero terms on each diagonal n = p + q, and the total complex T ot(A) is bounded below.By Proposition 5.3, we can equivalently think of A as a bounded below double complex in the abelian category RH(E).Then we can use the usual spectral sequences for double complexes: Proposition 5.10.There are two bounded spectral sequences Proof.[14, Section 5.6] Suppose we are given an additive functor F : E → E ′ between quasiabelian categories, and consider the case where A ∈ D + (E).Suppose E has enough injectives, so that RH(E) does too.Thinking of A as an object in D + (RH(E)), we can take a bounded below Cartan-Eilenberg resolution I of A. Then we can apply Proposition 5.10 to the bounded below double complex F (I) to get the following result.Proposition 5.11.There are two bounded spectral sequences naturally in A.
Proof.[14, Section Suppose now that we are given additive functors G : E → E ′ , F : E ′ → E ′′ between quasi-abelian categories, where E and E ′ have enough injectives.Suppose G sends injective objects of E to injective objects of E ′ .Theorem 5.12 (Grothendieck Spectral Sequence).
Proof.Let I be an injective resolution of A. There is a natural transformation R(F G) → (RF )(RG) by the universal property of derived functors; it is an isomorphism because, by hypothesis, each G(I n ) is injective and hence For the spectral sequence, apply Proposition 5.11 with A = G(I).We have by the injectivity of the G(I n ), R q F (G(I)) = 0 for q > 0, so the spectral sequence collapses to give On the other hand, and the result follows.
We consider once more the case of an additive bifunctor for E, E ′ and E ′′ quasi-abelian: this induces a triangulated functor in the sense that a distinguished triangle in one of the variables, and a fixed object in the other, maps to a distinguished triangle in K + (E ′′ ).Hence for a fixed A ∈ K + (E), K + (F ) restricts to a triangulated functor K + (F )(A, −), and if E ′ has enough injectives we can derive this to get a triangulated functor , so in fact we get a functor which we denote by We know R 2 F is triangulated in the second variable, and it is triangulated in the first variable too because, given B ∈ D + (E ′ ) with an injective resolution Similarly, we can define a triangulated functor by deriving in the first variable, if E has enough injectives.
Proposition 5.13.(i) If E ′ has enough injectives and F (−, J) : E → E ′′ is strict exact for J injective, then R 2 F (−, B) sends quasi-isomorphisms to isomorphisms; that is, we can think of R 2 F as a functor (ii) Suppose in addition that E has enough injectives.Then R 2 F is naturally isomorphic to RF .Similarly with the variables switched.
Given a quasi-isomorphism A → A ′ in K + (E), consider the map of double complexes K + (F )(A, I) → K + (F )(A ′ , I) and apply Proposition 5.10 to show that this map induces a quasi-isomorphism of the corresponding total complexes.
(ii) This holds by the same argument as (i), taking A ′ to be an injective resolution of A.
6 Derived Functors in IP (Λ) and P D(Λ) We now use the framework of Section 5 to define derived functors in our categories of interest.Note first that the dual equivalence between IP (Λ) and P D(Λ) extends to dual equivalences between D − (IP (Λ)) and D + (P D(Λ)) given by applying the functor * to cochain complexes in these categories, by defining (A * ) n = (A −n ) * for a cochain complex A in P D(Λ), and similarly for the maps.We will also identify D − (IP (Λ)) with the category of chain complexes A (localised over the strict quasi-isomorphisms) which are 0 in negative degrees by setting and Tor Λ n to be the composite where in both cases the unlabelled maps are the obvious inclusions of full subcategories.Because LH n and RH n are cohomological functors, we get the usual long exact sequences in LH(IP (R)) and RH(P D(R)) coming from strict short exact sequences (in the appropriate category) in either variable, natural in both variables -since these give distinguished triangles in the corresponding derived category.When Ext n Λ or Tor Λ n take coefficients in IP (Λ) or P D(Λ), these coefficient modules should be thought of as objects in the appropriate left or right heart, via inclusion of the full subcategory.Remark 6.2.The reason we cannot define 'classical' derived functors in the sense of, say, [14] just in terms of topological module categories is essentially that these categories, like most interesting categories of topological modules, fail to be abelian.Intuitively this means that the naive definition of the homology of a chain complex of such modules -that is, defining -loses too much information.There is no well-behaved homology functor from chain complexes in a quasi-abelian category back to the category itself, so that a naive approach here fails.That is why we must use the more sophisticated machinery of passing to the left or right hearts, which function as 'completions' of the original category to an abelian category, in an appropriate sense: see [10].
Our Ext and Tor functors are the appropriate analogues, in this setting, of the classical derived functors, in a sense made precise in the following proposition.
Recall from Proposition 5. for the total right derived functor of Ext 0 Λ (−, −).Then for M ∈ D − (LH(IP (Λ))) with projective resolution P and N ∈ D + (LH(P D(Λ))) with injective resolution I, R Ext 0 Λ (M, N) is by definition the total complex of the bicomplex (Ext 0 Λ (P p , I q )) p,q .But Ext 0 Λ (P p , I q ) = Hom T Λ (P p , I q ) because P p is projective and so is a resolution of itself.So the bicomplex is (Hom T Λ (P p , I q )) p,q , and its total complex by definition is R Hom T Λ (M, N), giving the result for total derived functors.Taking M ∈ LH(IP (Λ)) and N ∈ LH(P D(Λ)), we get that the nth classical derived functor is Proof.By Proposition 5.13, R Hom T Λ (M, N) = Hom T Λ (M, I); everything else follows by some combination of Proposition 6.6, taking cohomology and applying Pontryagin duality.
We will now see that, for module-theoretic purposes, it is sometimes more useful to apply LH n to right derived functors and RH n to left derived functors; though, as noted in Remark 5.9, the resulting cohomological functors are not so well-behaved.Proof.Take a projective resolution P of M. Then where f is given by (x 0 , x 1 , x 2 , . ..) → (x 0 , x 1 − p • x 0 , x 2 − p • x 1 , . ..) and g is given by (x 0 , x 1 , x 2 , . ..) → x 0 + x 1 /p + x 2 /p 2 + • • • .This sequence is exact on the underlying modules, so by Proposition 1.10 it is strict exact, and hence it is a projective resolution of Q p .By applying Pontryagin duality, we also get an injective resolution Recall that, by Remark 3.14, Q p is not projective or injective.
Lemma 6.10.For all n > 0 and all M ∈ IP ( Ẑ), (iv) Tor Ẑ n (M * , Q p ) = 0. Proof.By Lemma 6.4 and Proposition 6.6, it is enough to prove (iii).Since Q p has a projective resolution of length 1, the statement is clear for n > 1.

Now Tor
because ⊗Ẑ commutes with direct sums.But this map is clearly injective, as required.
Remark 6.11.By Lemma 6.10, Ext 0 Ẑ(Q p , −) is an exact functor from the category RH(P D( Ẑ)) to itself.In particular, writing I for the inclusion functor P D( Ẑ) → RH(P D( Ẑ)), the composite Ext 0 Ẑ(Q p , −) • I sends short strict exact sequences in P D( Ẑ) to short exact sequences in RH(P D( Ẑ)) by Proposition 5.2.On the other hand, by Proposition 5.2 again, the composite I •Hom T Ẑ (Q p , −) does not send short strict exact sequences in P D( Ẑ) to short exact sequences in RH(P D( Ẑ)).Therefore, by [10, Proposition 1.3.10],and in the terminology of [10], Hom T Ẑ (Q p , −) is not RR left exact: there is some short strict exact sequence ) is not strict.By duality, a similar result holds for tensor products with Q p .

Homology and cohomology of profinite groups
Let G be a profinite group.We define the category of ind-profinite right Gmodules, IP (G op ), to have as its objects ind-profinite abelian groups M with a continuous map M × k G → M, and as its morphisms continuous group homomorphisms which are compatible with the G-action.We define the category of pro-discrete G-modules, P D(G), to have as its objects prodiscrete Ẑ-modules M with a continuous map G × M → M, and as its morphisms continuous group homomorphisms which are compatible with the G-action.
From now on, R will denote a commutative profinite ring.(iv) A pro-discrete R G -module is the same as a pro-discrete R-module M with a continuous map G × M → M such that g(rm) = r(gm) for all g ∈ G, r ∈ R, m ∈ M.
Proof.(i) Given M ∈ IP (G op ), take a cofinal sequence {M i } for M as an ind-profinite abelian group.Replacing each M i with Of course, one can calculate all these objects using the projective resolution of R arising from the usual bar resolution, [9, Section 6.2], and this shows that the homology and cohomology are unchanged if we forget the R-module structure and think of M as an object of LH(IP ( Ẑ G op )); that is, the underlying complex of abelian k-groups of H R n (G, M), and the underlying complex of topological abelian groups of H n R (G, M * ), are H Ẑ n (G, M) and H n Ẑ (G, M * ), respectively.We therefore write Theorem 7.5 (Universal Coefficient Theorem).Suppose M ∈ P D( Ẑ G ) has trivial G-action.Then there are non-canonically split short strict exact sequences Proof.We prove the first sequence; the second follows by Pontryagin duality.Take a projective resolution P of Ẑ in IP ( Ẑ G ) with each P n profinite, so that H n (G, M) = H n (Hom T Ẑ G (P, M)).Because M has trivial G-action, M = Hom T Ẑ ( Ẑ, M), where we think of Ẑ as an ind-profinite Ẑ − Ẑ Gbimodule with trivial G-action.So Note that P G is a complex of profinite modules, so all the maps involved are automatically strict.Since − G is left adjoint to an exact functor (the trivial module functor), we get in the same way as for abelian categories that − G preserves projectives, so each (P n ) G is projective in IP ( Ẑ) and hence torsion free by Corollary 3.13.Now the profinite subgroups of each (P n ) G consisting of cycles and boundaries are torsion-free and hence projective in IP ( Ẑ) by Corollary 3.13, so P G splits.Then the result follows by the same proof as in the abstract case, [14, Section 3.6].
Corollary 7.6.For all n, Proof.(i) holds because Z p is projective; (ii) and (iii) follow from Lemma 6.10.
Suppose now that H is a (profinite) subgroup of G.We can think of R G as an ind-profinite R H − R G -bimodule: the left H-action is given by left multiplication by H on G, and the right G-action is given by right multiplication by G on G.We will denote this bimodule by R Hց G ւG .
If M ∈ IP (R G ), we can restrict the G-action to an H-action.Moreover, maps of G-modules which are compatible with the G-action are compatible with the H-action.So restriction gives a functor Res G H can equivalently be defined by the functor R Hց G ւG ⊗R G −. Similarly, we can define a restriction functor We can similarly define restriction on right ind-profinite or left prodiscrete R G -modules, induction on left ind-profinite R G -modules and coinduction on right pro-discrete R G -modules, using R Gց G ւH .Details are left to the reader.Suppose an abelian group M has a left H-action together with a topology that makes it into both an ind-profinite H-module and a pro-discrete Hmodule.For example, this is the case if M is second-countable profinite or countable discrete.Then both Ind Proof.(i) and (ii) are equivalent by Pontryagin duality and Lemma 7.7.We show (i).Pick cofinal sequences {M i }, {N j } for M, N. Then Thus we can compose the two functors H R s (K, −) and H R r (G/K, −).The case of − K can be handled similarly.Proof.We prove the first statement; then Pontryagin duality gives the second by Lemma 6.4.By the universal properties of − K , − G/K and − G , it is easy to see that (− K ) G/K = − G .Moreover, as for abstract modules, − K is left adjoint to the forgetful functor IP (R G/K op ) → IP (R G op ), which sends strict exact sequences to strict exact sequences, and hence − K preserves projectives.So the result is just an application of the Grothendieck Spectral Sequence, Theorem 5.12.
M in P (Λ) and I an injective resolution of N in D(Λ): recall that projectives in P (Λ) are projective in IP (Λ) and injectives in D(Λ) are injective in P D(Λ) by Lemma 2.11.In [9], the derived functors of By Pontryagin duality and Corollary 8.4, the condition for (iii) is satisfied for all n if M ∈ P (Λ), N ∈ P (Λ op ), or if M ∈ P (Λ) is of type FP ∞ and N ∈ D(Λ op ) is discrete and countable.

Lemma 1 . 7 .
Ind-profinite Λ-modules have a fundamental system of neighbourhoods of 0 consisting of open submodules.Hence such modules are Hausdorff and totally disconnected.Proof.Suppose M has cofinal sequence M i , and suppose U ⊆ M is open, with 0 ∈ U; by definition, U ∩ M i is open in M i for all i.Profinite modules have a fundamental system of neighbourhoods of 0 consisting of open submodules, by [9, Lemma 5.1.1],so we can pick an open submodule N 0 of M 0 such that N 0 ⊆ U ∩ M 0 .Now we proceed inductively: given an open submodule

(
iii) Quotients of M by closed submodules N are pro-discrete, with cofinal sequence {M/(U i + N)}.Proof.(i) The U i form a basis of open neighbourhoods of 0 in M, by [9, Exercise 1.1.15].Therefore, for any discrete quotient D of M, the kernel of the quotient map f : M → D contains some U i , so f factors through U i .

Proposition 3 . 7 .
when M is an indprofinite Λ-module coincides with the compact-open topology, because the (discrete) topology on each Hom T Ẑ (M i , Q/Z) is the compact-open topology and every compact subspace of M is contained in some M i by Proposition 1.1.Similarly, for a pro-discrete Λ-module N, every compact subspace of N is contained in some profinite submodule L by Remark 2.2(ii), and so the compact-open topology on Hom P D Ẑ (N, Q/Z) coincides with the limit topology on lim ← −T(Λ)Hom P D Ẑ (L, Q/Z),where the limit is taken over all profinite submodules of N and each Hom P D Ẑ (L, Q/Z) is given the (discrete) compact-open topology.The compact-open topology on Hom P D Ẑ (N, Q/Z) coincides with the topology defined on N * .Proof.By the preceding remarks, Hom P D Ẑ (N, Q/Z) with the compact-open topology is just lim ← −profinite L≤N L * .So the canonical map N * → lim ← − L * is a continuous bijection; we need to check it is open.By Lemma 1.7, it suffices to check this for open submodules K of N * .Because K is open, N * /K is discrete, so (N * /K) * is a profinite submodule of N. Therefore there is a canonical continuous map lim ← − L * → (N * /K) * * = N * /K, whose kernel is open because N * /K is discrete.This kernel is K, and the result follows.

Corollary 3 . 11 .
Suppose that I ∈ P D(Λ) is injective.Then Hom T Λ (−, I) sends strict exact sequences in IP (Λ) to strict exact sequences in P D(R).

Proposition 3 . 12 (
Baer's Lemma).Suppose I ∈ P D(Λ) is discrete.Then I is injective in P D(Λ) if and only if, for every closed left ideal J of Λ, every map J → I extends to a map Λ → I.Proof.Think of Λ and J as objects of P D(Λ).The condition is clearly necessary.To see it is sufficient, suppose we are given a strict monomorphism f : M → N in P D(Λ) and a map g :M → I.Because I is discrete, ker(g) is open in M.Because f is strict, we can therefore pick an open submodule U of N such that ker(g) = M ∩ U.So the problem reduces to the discrete case: it is enough to show that M/ ker(g) → I extends to a map N/U → I.In this case, the proof for abstract modules, [14, Baer's Criterion 2.3.1],goes through unchanged.Therefore a discrete Ẑ-module which is injective in P D( Ẑ) is divisible.On the other hand, the discrete Ẑ-modules are just the torsion abelian groups with the discrete topology.So, by the version of Baer's Lemma for abstract modules ([14, Baer's Criterion 2.3.1]),divisible discrete Ẑ-modules are injective in the category of discrete Ẑ-modules, and hence injective in P D( Ẑ) too by Corollary 3.5(iii).So duality gives: Corollary 3.13.(i) A discrete Ẑ-module is injective in P D( Ẑ) if and only if it is divisible.
its image under I is a short exact sequence in LH(E) if and only if the sequence is short strict exact in E. The functor I induces a functor D(I) : D(E) → D(LH(E)).Proposition 5.3.D(I) is an equivalence of categories which exchanges the left t-structure of D(E) with the standard t-structure of D(LH(E)).This induces equivalences D(E) + → D(LH(E)) + and D(E) − → D(LH(E)) − .Thus there are cohomological functors LH n : D(E) → LH(E), so that given any distinguished triangle in D(E) we get long exact sequences in LH(E).Given an object (A, d) ∈ D(E), LH n (A) is the complex 0 → coim(d n−1 ) → ker(d n ) → 0 with ker(d n ) in degree 0.

Lemma 6 . 4 .Remark 6 . 5 .
(i) R Hom T Λ (−, −) and ⊗L Λ are Pontryagin dual in the sense that, given M ∈ D − (IP (Λ)) and N ∈ D + (P D(Λ)), there holds R Hom T Λ (M, N) * = N * ⊗L Λ M, naturally in M, N. (ii) For M ∈ LH(IP (Λ)) and N ∈ RH(P D(Λ)), Ext n Λ (M, N) * = Tor Λ n (N * , M). Proof.We prove (i); (ii) follows by taking cohomology.Take a projective resolution P of M and an injective resolution I of N, so that by duality I * is a projective resolution of N * .Then R Hom T Λ (M, N) * = Hom T Λ (P, I) * = I * ⊗Λ P = N * ⊗L Λ M, naturally by the universal property of derived functors.More generally, as functors on the appropriate categories of bimodules, it follows from Theorem 4.2 that L ⊗L Λ − is left adjoint to the functor R Hom T Θ (L, −) for L ∈ IP (Θ − Λ), and similarly for the Ext and Tor functors.Details are left to the reader.Proposition 6.6.(i) R Hom T Λ (M, N) = R Hom T Λ op (M * , N * ) and Ext n Λ (M, N) = Ext n Λ op (N * , M * ); (ii) N * ⊗L Λ M = M ⊗L Λ op N * and Tor Λ n (N * , M) = Tor Λ op n (M, N * ); naturally in M, N. Proof.(ii) follows from (i) by Pontryagin duality.To see (i), take a projective resolution P of M and an injective resolution I of N. Then R Hom T Λ (M, N) = Hom T Λ (P, I) = Hom T Λ op (I * , P * ) = R Hom T Λ op (M * , N * ), by Lemma 3.10.The rest follows by applying LH −n .Proposition 6.7.R Hom T Λ , Ext, ⊗L Λ and Tor can be calculated using a resolution of either variable.That is, given M with a projective resolution P and N with an injective resolution I, in the appropriate categories, R Hom T Λ (M, N) = Hom T Λ (P, N) = Hom T Λ (M, I), Ext n Λ (M, N) = RH n (Hom T Λ (P, N)) = H n (Hom T Λ (M, I)), N * ⊗L Λ M = N * ⊗Λ P = I * ⊗Λ M and

Proposition 7 . 1 .
(i) IP (G op ) and IP ( Ẑ G op ) are equivalent.(ii)An ind-profinite right R G -module is the same as an ind-profinite Rmodule M with a continuous map M × k G → M such that (mr)g = (mg)r for all g ∈ G, r ∈ R, m ∈ M.(iii) P D(G) and P D( Ẑ G ) are equivalent.
Res G H : P D(R G op ) → P D(R H op ) by Hom T R G (R Hց G ւG , −).On the other hand, given M ∈ IP (R H op ), M ⊗R H R Hց G ւG becomes an object in IP (R G op ).In this way, − ⊗R H R Hց G ւG becomes a functor, induction,Ind G H : IP (R H op ) → IP (R G op ).Also, Hom T R H (R Hց G ւG , −) becomes a functor, coinduction, which we denote byCoind G H :P D(R H ) → P D(R G ). Since R Hց G ւG is projective in IP (R H ) and IP (R G ) op , Res G H ,Ind G H and Coind G H all preserve strict exact sequences.Moreover, Res G H and Ind G H commute with colimits of ind-profinite modules because tensor products do, and Res G H and Coind G H commute with limits of pro-discrete modules because Hom does in the second variable.
G H and Coind G H are defined.When H is open in G, we get Ind G H − = Coind G H − in the same way as the abstract case, [14, Lemma 6.3.4].Lemma 7.7.For M ∈ IP (R H op ), (Ind G H M) * = Coind G H (M * ).For N ∈ IP (R G op ), (Res G H N) * = Res G H (N * ).Proof.(IndG H M) * = (M ⊗R H R Hց G ւG ) * = Hom T R H (R Hց G ւG , M * ) = Coind G H (M * ).(Res G H N) * = (N ⊗R G R Gց G ւH ) * = Hom T R H (R Gց G ւH , N * ) = Res G H (N * ).Lemma 7.8.(i) Ind G H is left adjoint to Res G H .That is, for M ∈ IP (R H ), N ∈ IP (R G ), Hom IP R G (Ind G H M, N) = Hom IP R H (M, Res G H N),naturally in M and N. (ii) Coind G H is right adjoint to Res G H .That is, for M ∈ P D(R G ), N ∈ P D(R H ), Hom P D R G (M, Coind G H N) = Hom P D R H (Res G H M, N), naturally in M and N.

G H N) by Lemma 1 .
15 and the Pontryagin dual of[9, Lemma 6.10.2], and all the isomorphisms in this sequence are natural.Corollary 7.12.For M ∈ IP (R H op ),H R n (G, Ind G H M) = H R n (H, M) and H n R (G, Coind G H M * ) = H n R (H, M * ) for all n, naturally in M.Proof.Apply Shapiro's Lemma with N = R with trivial G-action -the restriction of this action to H is also trivial.If K is a profinite normal subgroup of G, then for M ∈ IP (R G op ), M K becomes an ind-profinite right R G/K -module, as in the abstract case.So we may think of − K as a functor IP (R G op ) → IP (R G/K op ) and consider its right derived functorR(− K ) : D − (IP (R G op )) → D − (IP (R G/K op ));we write H R s (K, −) for the 'classical' derived functor given by the compositionLH(IP (R G op )) → D − (IP (R G op )) R(− K ) − −−− → D − (IP (R G/K op )) LH −s − −− → LH(IP (R G/K op )).

Theorem 7 . 13 (
Lyndon-Hochschild-Serre Spectral Sequence).Suppose K is a profinite normal subgroup of G. Then there are bounded spectral sequencesE 2 rs = H R r (G/K, H R s (K, M)) ⇒ H R r+s (G, M) for all M ∈ LH(IP (R G op )) and E rs 2 = H r R (G/K, H s R (K, M)) ⇒ H r+s R (G, M) for all M ∈ RH(P D(R G )), both naturally in M.In particular, these hold for M ∈ IP (R G op ) and M ∈ P D(R G ), respectively.
N), because Hom TΛ commutes with kernels.The rest follows by duality.Example 6.9.Z p is projective in IP ( Ẑ) by Corollary 3.13.Now consider the sequence 0 →