Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have a few elementary questions about cup-products.

Can one develop them in an axiomatic approach as in group cohomology itself, and give an existence and uniqueness theorem that includes an explicitly computable map on cochains? Second, how do they relate to cup-products in algebraic topology? In general, are there connections between cup-products and other mathematical constructions that may provide more intution into them?

share|improve this question

7 Answers 7

up vote 8 down vote accepted

You can identify group cohomology with Ext_kG(k,k) where k is your base ring, and kG is the group algebra. Here, the cup product given by Yoneda product (which there's some material on here). You should think Ext as being a generalization of Hom (it measures maps that should be there and aren't, and higher order things along the same lines), and this product as a generalization of composition.

Almost anything anyone ever calls cohomology is Ext of something with something, and products come up very naturally this way. Cohomology of manifolds is Ext of the sheaf of locally constant k valued functions with itself, and the cup product again is just Yoneda product (all the explicit models for cohomology (simplicial, De Rham, Cech) are all just different resolutions of the this sheaf).

share|improve this answer
1  
Is en.wikipedia.org/wiki/… under "Yoneda splices" what you had in mind? –  Reid Barton Oct 15 '09 at 22:49
    
Thanks! This clarifies things. –  Akhil Mathew Oct 17 '09 at 1:43

The explicit formula for cup product on group cohomology is as simple as can be. For simplicity let's consider integer coefficients H*(G;Z), although this works for any coefficients as long as they're untwisted.

Let's define group cohomology using inhomogeneous cochains; thus we take the abelian groups Cn(G;Z) := functions from Gn to Z, endowed with a differential d: Cn -> Cn+1, and then Hn(G;Z) is the usual cohomology ker dn/im d_n-1.

Anyway, cup product is a map from Hk(G) tensor Hm(G) to Hk+m(G), and it comes from a map Ck(G) tensor Cm(G) to Ck+m(G). Namely, given two cochains f: Gn -> Z and g: Gm -> Z, define

f/\g: Gk+m -> Z

by

f/\g(x1,...xk+m) = f(x1,...xk)g(xk+1,...xk+m)

You can check by hand that the differential interacts with this operation by

d(f/\g) = df/\g + (-1)k f/\dg

Thus this "wedge product" of cochains descends to a product on group cohomology, and this is exactly cup product. This is also how cup product is defined for de Rham cohomology; differential forms have a natural wedge product which satisfies d(f/\g) = df/\g + (-1)k f/\dg, and so this induces the cup product on H*(M;R).

Topologically, cup product is the composition of

Hk(Y) tensor Hm(Y) -> Hk+m(Y x Y) -> Hk+m(Y)

where the first map is the Kunneth map (just pullback by the two projections Y x Y -> Y), and the second map is restriction to the diagonal. Applying this perspective to group cohomology, we would first define f x g : (GxG)k+m -> Z by

f x g ((x1,y1),...(xk+m,yk+m)) = f(x1,...xk)g(yk+1,...,yk+m).

Upon restriction to the diagonal G < G x G, f x g restricts to f /\ g above.

share|improve this answer
    
Thanks! This is also what I was looking for- for some reason this doesn't seem to be emphasized in textbooks, and the analogy with de Rham cohomology makes things clearer. –  Akhil Mathew Oct 17 '09 at 1:45
    
This is a great exposition. BTW (for others): cup product in Cech cohomology can be understood in the same way. –  Ravi Vakil Jul 22 '11 at 18:06
    
Can this idea be made to work (easily) without using the Bar resolution for computing $Ext_R(k,k)$?, that is, can we define some other Kunneth product on $C(x)C$ for any $R$-resolution of $C$ of $k$? –  Joseph Victor Aug 5 '12 at 20:47

I don't know the algebraic side of cup products in group cohomology, but they can indeed be identified with topological cup products. The group cohomology H^n(G;A) can be identified with the cohomology H^n(BG;A) of the classifying space BG of G with coefficients in A (interpreting the action of G, which is the fundamental group of BG, on A as making A a local coefficient system on BG). The cup product on group cohomology is then the same as the usual cup product of singular cohomology.

share|improve this answer

Tom and Ben have said most things I would have said here, but one last thing worth mentioning about the structure of cup products in group cohomology is that if you interpret the Ext groups as being equivalence classes of long exact sequences, then the cup product comes naturally from splicing the sequences together.

Specifically,

Exti(A,B) corresponds to sequences

0 -> A -> Pi -> Pi-1 -> ... -> P1 -> B -> 0

and the cup product

u : Exti(A,B) x Extj(B,C) -> Exti+j(A,C)

is given by

0 -> A -> Pi -> ... -> P1 -> Qj -> ... -> Q1 -> C -> 0

where the connecting map P1 -> Qj is given by the composition of the maps

P1 -> B -> Qj

share|improve this answer

If you can get your hands on a copy of Cassels&Frohlich, /Algebraic Number Theory/, pages 106->107 essentially answer your first question (can they be developed axiomatically, and how to construct them explicitly). Also they do it for Tate cohomology of a finite group rather than plain group cohomology, but it should be essentially the same thing, since Tate cohomology is the equal to a group cohomology in degree >=1 (and equal to group homology in negative degree: just as you get group cohomology by taking the cohomology of the classifying space, you can also get group homology by taking the homology of the classifying space). (And anyhowe, if you want to learn local class field theory, you want the Tate cohomology version anyway.) There are probably nicer places to look for the explicit construction, but here's a summary of the axiomatic definition:

the cup product is a family of maps from H^p(G, A) \tensor H^p(G, B) to H^p(G, A \tensor B) for all A, B and all non-negative integers p, q (for Tate cohomology, put hats on all the H's and allow p, q to be arbitrary integers)

(i) these homomorphisms are functorial in A and B.

(ii) for p = q = 0 they are (induced by) the natural product A^G \otimes B^G -> (A \tensor B)^G

(iii and iv) they are compatible with the delta map in the long exact sequences associated to short exact sequences of G-modules in the following way: delta (a'' cup b) = (delta a'') cup b and a'' cup (delta b) = (-1)^(deg a'') a'' \cup delta b.

Writing out and checking the explicity construction can get annoying. In practice, though, at least when doing local class field theory, if you can come up with a map from H^p(G, A) \tensor H^p(G, B) to H^p(G, A \tensor B), it's probably cup product (okay, maybe up to sign).

share|improve this answer
    
Thanks! But is there a way to deduce straight from the axioms that the cup-product exists (I think uniqueness should follow from dimension-shifting and (ii))? –  Akhil Mathew Oct 15 '09 at 23:17
    
I believe that existence also follows from dimension-shifting. –  Alison Miller Oct 16 '09 at 0:39
    
Hmmm... actually I'm not sure. Cassels&Frohlich proves uniqueness just by constructing it. –  Alison Miller Oct 16 '09 at 1:01

Indeed, the cup-product is a very general thing. Ben Webster already indicates that most cohomologies out there are actually Exts. But it's even better: an "Ext" is just a model for the Hom-operation in a model for suitably abelian (oo,1)-category. More generally, all cohomology that you will ever see is just Homs in some (oo,1)-catgeory: cohomology on an object X with coefficients in an object A, for X and A both objects of some (oo,1)-topos T, is just pi_0 Hom(X,A), as we are used to from T = Top.

From this perspective it is clear that whenever there is a pairing of coefficient objects A1 x A2 --> A3 this induces a corresponding pairing on these cohomologies.

Group cohomology is obtained as the special case where C = ooGrp and we restrict X to be a one.object 1-groupoid. Generally, T (if hypercomplete) is modeled by simplicial presheaves on somse site. Google the lecture notes by Jardine on simplicial presheaves and search them for the section on cup product. That gives pretty much the most general idea of what cup product on cohomology is.

See the discussion and links at nLab:cup product.

(Notice though that this entry deserves further details on actual realizations of cup products. Maybe someone feels like filling these in.)

share|improve this answer

You should definitely take a look at Lang's "Topics in Cohomology of Groups", chapter 4. There a general notion of cup-products on delta-functors is introduced. This may look like a lot of abstract nonsense to most people, but I like it :)

share|improve this answer
    
This does look quite helpful- thanks! –  Akhil Mathew Oct 19 '09 at 23:17

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.