## Cohomology of quotient space

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let be $X$ a maximal torus in a Lie group $G$. I'd like to calculate the cohomology $H^{*}(G/N(T))$. I know that it is trivial in odd degree and the base-field is even but I haven't a basic method to do this. Is there a simple method of calculation when the gruop $G$ is the unitary gruop $U(n)$?

-

## 2 Answers

If you take $G=U(n)$, then $G/T$ is the flag variety of $GL_n({\mathbb C})$. Hence its cohomology is given by Bruhat cells and as a representation of the Weyl group $W=N(T)/T)$ acting on the right on $G/T$, it is the regular representation (there are no fixed points for $W$!Use Lefschetz). Therefore, the space of invariant elements is one dimensional and is given by $H^0(G/T)$.

The same method applies to any compact connected LIe group $G$ and $T$ is a maximal torus.

For other groups, you need, I think, to know what the torus looks like (i.e. if it is split, or non-split etc).

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Have you some reference to study how Bruhat decomposition works? How can I use Lefschetz? However, do you know a complete reference in this topic?

-

the space $G/T$ is the same as $G({\mathbb C}/B$ where $B$ is a Borel subgroup of the complexification $G({\mathbb C})$ containing $T$. One is doing Bruhat decomposition for this $B$. This is standard stuff in algebraic groups.   The group $N(T)/T$ acts on the {\bf right} on $G/T$ and no element has a fixed point. Hence you can apply Lefschetz fixed point formula to say that this is the regular representation of $W$. Again, this is a well known fact (perhaps old papers of Bott or Borel).  – Aakumadula Jan 13 at 14:23
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 23, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9258036613464355, "perplexity_flag": "head"}