MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know my question is very imprecise. I am trying to understand Tate-Farrell cohomology of the infinite Lie group $S^1$ (say, with coefficients in $\mathbb C$). I would expect that the answer is something like the space of Laurent polynomials $\mathbb C[t^{-1},t]$. Is there any geometric intuition for this? What would be the meaning of multiplication by $t$? What is the meaning of the completion $\mathbb C((t))$?

share|cite|improve this question
Loran should probably be Laurent :) – Mariano Suárez-Alvarez Nov 4 '10 at 20:55
Are you talking about S^1 as a discrete group, a topological group or a Lie group? Rather, what are you more interested in: S^1 or Tate-Farrell cohomology? – David Roberts Nov 4 '10 at 22:42
Lie group. More interested in S^1 :-) – Roman Fedorov Nov 5 '10 at 13:43
up vote 3 down vote accepted

Comment: Farrell-Tate cohomology as defined in Brown's book "Cohomology of Groups" requires the group to be of finite virtual cohomological dimension (i.e. the group has a finite index subgroup which has a finite projective resolution). But $S^1$ doesn't have finite virtual cohomological dimension because it has finite subgroups of arbitrary order.

There is a generalization of Farrell-Tate cohomology for arbitrary groups due to Benson-Carlson/Mislin, that is usually called "complete cohomoloy" or "complete Tate cohomology". I don't know if that cohomology has been computed for $S^1$ (most computations are done for discrete groups).

share|cite|improve this answer

Your Answer


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.