On the classification of unstable H*V-A-modules

Since the module is torsion-free then the map \eta_{_{V}}: \; N \rightarrow \mathrm{H}^{\ast}V \otimes \mathrm{F}ix_{_{V}}N adjoint of the identity of \mathrm{F}ix_{_{V}}N is an injection. So N is a sub-\mathrm{H}^{\ast}V-A-module of \mathrm{H}^{\ast}V \otimes \mathrm{F}ix_{_{V}}N. By 2.6.1.1 and 2.6.1.2, we have that the injective hull of N is isomorphic to \mathrm{H}^{\ast}V \otimes I, where I is an \mathcal{U}-injective.

Let’s denote by Imf the image of f, by \widetilde{f} : P \rightarrow Imf the natural surjection and by i: Imf \hookrightarrow Q the inclusion of Imf in Q. Since \overline{f} is an injection so the induced map \overline{(\widetilde{f})} is an isomorphism of unstable A-modules and then the induced map \overline{i} is an injection. This shows that \overline{Imf} is the image of \overline{f}. Since the module Imf is a sub-\mathrm{H}^{\ast}V-module of the \mathrm{H}^{\ast}V-free module Q and \overline{i}: \overline{Imf} \hookrightarrow \overline{Q} is an injection, so Imf is free as an \mathrm{H}^{\ast}V-module. In particular, we have that Tor_{1}^{\mathrm{H}^{\ast}V}(\mathbb{F}_{2}, Imf)=0 (see for example [R]). Let’s denote by N the kernel of the map \widetilde{f}, so we have the following short exact sequence in \mathrm{H}^{\ast}V-\mathcal{U}:

By applying the functor (\mathbb{F}_{2} \otimes_{\mathrm{H}^{\ast}V}-) to the previous sequence, we prove that \overline{N} is trivial (since the map \overline{(\widetilde{f})} is an isomorphism and Imf is free as an \mathrm{H}^{\ast}V-A-module). Hence the module N is trivial and the map f is an injection.

We denote by C the quotient of Q by P, we have the following short exact sequence in \mathrm{H}^{\ast}V-\mathcal{U}:

By applying the functor (\mathbb{F}_{2} \otimes_{\mathrm{H}^{\ast}V}-) to the previous sequence, we obtain an exact sequence in \mathcal{U}:

Since \overline{P} is reduced as unstable A-module and Tor_{1}^{{\mathrm{H}^{\ast}V}}(\mathbb{F}_{2}, C) is nilpotent (see proposition 2.1.1), then the map \overline{f} is an injection.

Since E is free as an \mathrm{H}^{*}V-module, then \mathcal{E}(E) is isomorphic, in the category \mathrm{H}^{*}V-\mathcal{U}, to \mathrm{H}^{*}V \otimes J, where J is an \mathcal{U}-injective (see proposition 2.6.2).
Let’s denote by i the inclusion of E in \mathcal{E}(E), we have, by lemma 3.1.2, that the induced map \overline{i} is an injection. We will prove, by using the definition, that J is the injective hull of \overline{E}, in the category \mathcal{U}. Let P be a sub-A-module of J such that the A-module (\overline{i})^{-1}(P) is trivial, we have to show that the unstable A-module P is trivial.
Since (\overline{i})^{-1}(P) is trivial then the composition: \pi \circ \overline{i}: \xymatrix{ \overline{E} \ar[r]^-{ \overline{i}} & J \ar[r]^-{ \pi} & J/P } is an injection. By lemma 3.1.1, the following composition
\xymatrix{ E \ar[r]^-{ i} & \mathrm{H}^{*}V \otimes J \ar[r]^-{} & \mathrm{H}^{*}V \otimes (J/P) } is an injection, which proves that the unstable \mathrm{H}^{*}V-A-module i^{-1}(\mathrm{H}^{*}V \otimes P) is trivial. Since \mathrm{H}^{*}V \otimes J is the injective hull of E so the unstable \mathrm{H}^{*}V-A-module \mathrm{H}^{*}V \otimes P is trivial.

We have, by theorem 3.2.1, that the injective hull of E is \mathrm{H}^{*}V \otimes I, where I is the injective hull of \overline{E} in \mathcal{U}. Since \overline{E} is reduced, then I is a reduced \mathcal{U}-injective. This shows that E is reduced as an unstable A-module because its injective hull (in the category \mathrm{H}^{\ast}V-\mathcal{U}) is \mathrm{H}^{*}V \otimes I which is reduced as unstable A-module.

The unstable A-module \overline{E} is nil-closed so is reduced, we have then, by theorem 3.2.1, that the injective hull of E is \mathrm{H}^{*}V \otimes I_{0}. We denote by C_{0} the quotient of \mathrm{H}^{\ast}V \otimes I_{0} by E. We have the following short exact sequence in \mathrm{H}^{\ast}V-\mathcal{U}:

Since the induced map \overline{i_{0}} is an injection (see lemma 3.1.2), then the unstable A-module Tor_{1}^{\mathrm{H}^{\ast}V}(\mathbb{F}_{2}, C_{0}) is trivial; this shows that the module C_{0} is free as an \mathrm{H}^{*}V-module (see for example [NS], proposition A.1.5).
We verify that the \mathcal{U}-injective hull of \overline{C_{0}} is I_{1} and that C_{0} is reduced since \overline{C_{0}} is reduced (see corollary 3.2.2). This implies, by theorem 3.2.1, that the \mathrm{H}^{*}V-\mathcal{U}-injective hull of C_{0} is isomorphic to \mathrm{H}^{*}V \otimes I_{1}.

Let N be an unstable A-module, we denote by \mathrm{d}imN the total dimension of N that is \mathrm{d}im \; N= \sum_{i} \mathrm{d}im \; N^{i}. We have the equality \mathrm{d}im \; \overline{E}=1 = \mathrm{d}im \; \mathrm{F}ix_{_{V}}E (see [LZ3]), so we deduce that \mathrm{F}ix_{_{V}}E= \sum^{l}\mathbb{F}_{2}, where l \in \mathbb{N}. Let \eta_{_{V}}:\; E \rightarrow \mathrm{H}^{\ast}V \otimes \mathrm{F}ix_{_{V}}E be the adjoint of the identity of \mathrm{F}ix_{_{V}}E (see [LZ2]). Since the map \eta_{V} is an injection, then the module E is a sub-\mathrm{H}^{\ast}V-A-module of \sum^{l}\mathrm{H}^{\ast}V. Let’s write E=\sum^{l}E', where E' is sub-\mathrm{H}^{\ast}V-A-module of \mathrm{H}^{\ast}V . By a result of J-P. Serre (see [Se]), there exists N such that: \mathrm{c}_{V}^{N} \mathrm{H}^{\ast}V \subset E' \subset \mathrm{H}^{\ast}V. Since E' is free as an \mathrm{H}^{\ast}V-module and of dimension one, then there exists u \in \mathrm{\widetilde{H}}^{\ast}V such that E'= u \mathrm{H}^{\ast}V. The inclusion \mathrm{c}_{V}^{N} \mathrm{H}^{\ast}V \subset u \mathrm{H}^{\ast}V proves that u= \displaystyle\prod_{i} \theta_{i}^{\alpha_{i}}, where \theta_{i} \in (\mathrm{H}^{1}V)\setminus \{0\} and \alpha_{i} \in \mathbb{N}.

This proof uses the Smith theory (see [DW], [LZ2] theorem 2.1) which gives us an exact sequence (*) in \mathrm{H}-\mathcal{U}:

where C the quotient of \mathrm{H} \otimes \mathrm{F}ixE is finite and also \mathrm{F}ixE is finite.
If the module C is trivial then E is isomorphic to \mathrm{H} \otimes \mathrm{J}(2).
When C is a non trivial module. By applying the functor \mathbb{F}_{2} \otimes_{\mathrm{H}}- to the exact sequence (*), we obtain:

where \tau C is the trivial part of C (see [BHZ]).
Let’s denote by Q the quotient of \overline{E} by \sum \tau C. By properties of the module \mathrm{J}(2), we have that \sum \tau C = \sum^{2} \mathbb{F}_{2} and Q = \sum \mathbb{F}_{2}. The exact sequence:

gives that FixE \cong \sum \mathbb{F}_{2} \oplus \overline{C}. One checks that the module \overline{C} is either isomorphic to \mathbb{F}_{2} or \sum \mathbb{F}_{2}. If \overline{C}=\sum \mathbb{F}_{2} then \mathrm{F}ixE \cong \sum \mathbb{F}_{2} \oplus \sum \mathbb{F}_{2} as an unstable A-module, which implies that the module E is a suspension which is impossible because \overline{E}= \mathrm{J}(2) is not a suspension. We conclude that \overline{C}= \mathbb{F}_{2}. Since \tau C = \sum \mathbb{F}_{2} then we get C is isomorphic to \mathrm{H}^{\leq 1}, where \mathrm{H}^{\leq 1} denotes the sub-\mathrm{H}-A-module of \mathrm{H} consisting of elements of degree less or equal than 1. We have the following exact sequence in \mathrm{H}-\mathcal{U}:

The module E, we are searching for, is the kernel of \varphi and we check that it is the sub-\mathrm{H}- \mathrm{A}-module of \mathrm{H} \oplus \sum \mathrm{H} generated by the elements (t, \Sigma1) and (t^{2},0).