MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Biprincipal spaces and their composition, following Serre’s “Galois Cohomology”

When reviewing my notes and Serre's book "Galois Cohomology" Chapter 5 dealing with non-abelian group cohomology, I realized that I don't fully understand the concept of biprincipal spaces such as a-(A,B)-space (defined in page 49).

I think that what Serre ment is that is a G-set P with two G-groups A and B such that:

$\forall p,q \in P : \exists ! a \in A : q=a*p$

$\forall p,q \in P : \exists !b \in B : q=p*b$

$\forall p \in P , a \in A , b \in B: (a*p)*b=a*p*b=a*(p*b)$ (A and B action commutes)

Then he talks about composition of such spaces: if P is a (A,A')-space and Q is a (A',A'')-space then

$P \circ Q = P \times ^{A'}Q$

which he claims has a (A',A'')-space structure.
If so, for what is this composition is good for? Q is already a (A',A'')-space.

Serre defines $P \times ^AF$ as follows: let A be a G-group, let P be a principal homogeneous space on which A acts from the right and F a G-set on which A acts from the left. Then it is a quotient space of $P \times F$ induced by the following equivalence relation: $(p,f) \sim (p*a, a^{-1}*f)$ for all $a \in A$.

He uses the construction of biprincipal spaces and their compositions in several instances (instead of using the cocycles language), such as in the proof of Proposition 35 and in the construction of fibers for normal subgroup in page 52.

I wonder if there are some examples which I hope will give me a feel of this construction and another good text about it. Moreover, translation of this biprincipal spaces to a cocycles language,

given that $P \times ^AF \cong _a F$ by using a cocycle $a_s$ to twist F: $^s \prime f = a_s \cdot ^s f$ which can be defined for $p \in P$ by $s \mapsto a_s \mbox{ such that } ^s p = p * a_s$ and the mapping $f \mapsto [(p,f)]$ induces $P \times ^AF \cong _a F$,

Thanks, Zachi

-
You should get an $(A, A'')$-space structure on $P\circ Q$, not $(A',A'')$. – S. Carnahan Mar 4 2012 at 16:04
Yes, Carnahan, you are correct. I just proved that this is indeed a $(A,A'')$ space, so Serre wrote it wrong in its book. I overread this page several times and yes, Serre wrote $(A',A'')$ and that was the thing that confused me. I still will be happy to get and advice how to formulate this notion using cocycles (if it is possible). Thank you very much, Zachi – Zachi Evenor Mar 4 2012 at 17:00

 After notinng the mistake in Serre's book (see comment in the question post), it is now more clear to me. However, I still trying to find an equivalent to these biprincipal spaces using cocycles $a_s$ of G in A and $b_s$ of G in B, if it is possible (I do not know). Zachi – Zachi Evenor Mar 4 2012 at 17:17 Try writing down some notation, then. Since the cocycle is not uniquely determined, you need to choose elements of P and Q and see why there is one orbit under ~, and describe it. – Charles Matthews Mar 5 2012 at 12:05