Posts Tagged ‘math.GR’

Equivariant DeRham Cohomology

February 10, 2008

    My lectures on equivariant cohomology are spinning a bit out of control.  The questions and lively discussion, while always welcome, have stretched what was meant to be a hand-waving tour through the basics into a three week mini-course (at least, I hope its only three weeks).  I’m starting to feel a bit sheepish, since the result I’m trying to get to might not really merit a full month-long preamble.

    Last time, I talked about how to define the equivariant cohomology of a space M in terms of the cohomology of some big infinite-dimensional space M\times E/G.  This is good on a conceptual level, but unless E is particularly nice, we will have a bitch of a time computing the cohomology of anything.  What we need is a more effective model for the cohomology of M\times E/G.

    The idea is to start by pining for the existance of a nice de Rham complex \Omega(E) on E.  We’ll say “Oh, if only it \Omega(E) existed, it would look like this, and this…”.  Since E was only defined by its properties (contractibilty and a free action), this amounts to listing what properties a differential graded algebra should have to correspond to those of E.  Such DGAs will be called ‘locally-free, acyclic G^*-algebras’.

    From there, its a three step process.  First, show that every such DGA computes the same cohomology.  Second, show that there is an (almost) universal locally-free, acyclic G^*-algebra called the ‘Weil algebra’, which is simple enough in structure to make computations effective.  Third, show that there exists any such DGA which correctly computes the equivariant cohomology (this last step should probably be first, but it isn’t very exciting).


The Cohomology of Quotients

February 2, 2008

    We’ve organized a mostly informal Topics in Noncommutative Algebra seminar this semester, and I’m talking first in it.  I’m eventually going to be talking about a paper of Ginzburg’s connecting Hochschild and cyclic cohomology to the equivariant cohomology of representation schemes.  Unfortunately, the trouble about talking about fun results like that is that you need to cover alot of background material; as such, I’m doing what is turning out to be a two lecture series on equivariant cohomology and its deRham version.  I figured I’d mirror these talks with a couple of posts, and maybe even talking about Ginzburg’s paper if I get enough prereqs covered.

    Today I’m just going to be talking about topological equivariant cohomology.  Let’s start with a nice space (say, a CW complexM and a Lie group G which acts on M.  Unless this action is free and proper, the quotient space M/G might be a poorly behaved space.  Take, for example, \mathbb{Z} acting on S^1 by some irrational rotation; the quotient isn’t even Hausdorff.

    The motivating question of equivariant cohomology is: “Is there a good cohomology theory for the pair (M,G), which is H^\bullet_{CW}(M/G) if G acts freely and properly?” The hope is that this will shine some more light on the hidden internal structure of the bad quotients.


Puzzles, Groups, and Groupoids

January 27, 2008

Over at Good Math, Bad Math, MarkCC has a nice post introducing groupoids which uses the fifteen puzzle as an example. I like this example a lot, and I thought it would be interesting to expand on it a bit. So I’m going to tell you:

  1. Why the Rubik’s Cube is a finite group,
  2. Why the fifteen puzzle is a finite groupoid, and
  3. How to solve the fifteen puzzle.

I’m not going to assume any knowledge of groups or groupoids, but if you don’t know much group theory, you’ll have to skip over certain parts of the second half.