4
$\begingroup$

Consider a $G$-equivariant map $\pi:X\to Y$ for $G$ an affine algebraic group, such that $\pi$ is a good categorical quotient. Is there any relationship between $H^*_G(X)$ and $H^*(Y)$? Is there if $\pi$ is a good geometric quotient, or if the quotient space is smooth?

EDIT: A categorical quotient is an equivariant map $\pi:X\to Y$ that is constant on $G$-orbits. It's good if the topology on $Y$ is induced by $X$ ($\pi$ is a surjective open submersion) and the map from the functions on any affine $V \subset Y$ to $G$-invariant functions on $\pi^{-1}(V)$ is an isomorphism. It's a good geometric quotient if the $G$-orbits closed in $Y$.

  • 0
    I'm not very familiar with stacks, or with the details of GIT if $G$ is not a torus, but at least when it is the torus the GIT procedure removes the non-free points from $Y$ before quotienting. $X//G$ is supposed to give a scheme $Y$, and I assume that it is constructed thus to avoid having the quotient be a stack.2010-11-15

1 Answers 1

2

I don't know what a good categorical quotient is, but if $X$ is a CW complex, and the $G$ action is free and cellular, then $H^*_G(X)\cong H^*(X/G)$. See Brown's "Cohomology of Groups," p.173.