9
$\begingroup$

The symmetric group $\Sigma_k$ acts on $X=F({\mathbb R}^n,k)$, the ordered configuration space of $k$ points in ${\mathbb R}^n$. If $n$ is odd, the cohomology $H^*(X;{\mathbb Q})$ is a rank-one free module over ${\mathbb Q}[\Sigma_k]$.

This is checked by calculating the character of this representation. (Note also that this is obvious for $n=1$.)

Are there known (one-vector) bases of this module?

$\endgroup$
1
  • 3
    $\begingroup$ You might look at Church and Farb's Representation theory and homological stability (arxiv.org/abs/1008.1368), specifically section 4. $\endgroup$
    – HJRW
    Commented Nov 20, 2010 at 18:11

1 Answer 1

4
$\begingroup$

This isn't exactly an answer to your question, but here's how I like to think about the fact that you quoted.

Let's assume for a minute that $n=2$, so that we can think of $X$ as the complement of the braid arrangement in $\mathbb{C}^k$. Let $G = \mathbb{Z}/2\mathbb{Z}$, which acts on $X$ by complex conjugation.

Replace $\mathbb{Q}$ with a field $F$ of characteristic $2$. The $G$-equivariant cohomology ring $H^*_G(X; F)$ is a free module over $H^*_G(pt; F) \cong F[x]$ with the property that specializing at $x=0$ gives $H^* (X; F)$ and specializing at $x=1$ gives $H^*(X^G;F)$.

Thus we have a family of $\Sigma_k$ representations over the $F$-affine line interpolating between $H^* (X; F)$ and $H^*(X^G; F)$. Since the category of $\Sigma_k$ representations is semisimple, these two representations have to be isomorphic. The fact that $H^*(X^G; F)$ is the regular representation is obvious.

This is a good way to see that $H^*(X; F)$ is isomorphic to the regular representation of $\Sigma_k$. I'm not sure how to modify this argument to get $H^* (X; \mathbb{Q})$. I'm also not sure if this will help you find a cyclic vector, since it does not give you an explicit isomorphism between $H^* (X; F)$ and $H^* (X^G; F)$.

By the way, for $n>2$ you can do something similar, where $G$ acts on $\mathbb{R}^n$ by negating the last $n-1$ coordinates.

$\endgroup$
5
  • $\begingroup$ You prove that H^*(X;F) is the regular representation of Sigma_k, but this is false, at least for k=2, when this representation is trivial. $\endgroup$ Commented Nov 22, 2010 at 13:54
  • $\begingroup$ When $n$ is even, $H^*\!(X;\mathbb Z)$ is $2\ \text{Ind}_{\langle(1\,2)\rangle}^{S_k}1$, two copies of the representation induced from the trivial representation of a single transposition. It's when $n$ is odd that $H^*\!(X;\mathbb Z)$ is the regular representation $\text{Ind}_1^{S_k}1$. $\endgroup$
    – Tom Church
    Commented Nov 22, 2010 at 15:51
  • $\begingroup$ To Tom: Even for $n$ odd, $H^*(X;\mathbb Z)$ is not the regular representation, by which I mean $\mathbb Z[\Sigma_k]$. Indeed, let $k=2$. Then $H^*=H^0\oplus H^{n-1}$ while $\mathbb Z[\Sigma_2]$ is not decomposable into a direct sum. $\endgroup$ Commented Nov 25, 2010 at 16:39
  • $\begingroup$ To Semen: When $k=2$, both the regular representation and $H^*(X; F)$ are trivial. (Recall that in my argument $F$ is supposed to have characteristic 2.) $\endgroup$ Commented Nov 27, 2010 at 14:48
  • $\begingroup$ Semen is correct; I should have written $H^\ast(X;\mathbb{Q})$ in both cases. $\endgroup$
    – Tom Church
    Commented Dec 3, 2010 at 2:02

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .