## Euler Characteristic of General Linear Group

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

(Edited) How can I find Euler-Poincare Index with compact support of General Linear Group over $\mathbb{R}$. For example let $A$ be a locally closed subset of a manifold $X$ then: $\chi_c(A)=\chi(R\Gamma(X;\mathbb{R}_A))=\chi(R\Gamma_c(A;\mathbb{R}_A))$

Which, in a smooth case it is the same as alternating sum of Betti numbers of de Rham cohomologies with compact support. Thank you.

-
What do you mean by the Euler characteristic with compact support? Do you mean the Euler-Poincaré characteristic of the compactly supported de Rham complex? – José Figueroa-O'Farrill Aug 5 2010 at 16:13

4
I'm guessing that's what is meant. In which case, use Poincare duality to rewrite it as the ordinary Euler characteristic up to sign. This can be computed in the usual fashion... At this point it might help to tell us what part of the story is familiar to you (I'm addressing Karl). – Donu Arapura Aug 5 2010 at 16:28

1
To expand on what Donu said: please provide some motivation (why do you want to know?) and background (what do you already know? what have you already tried?). – Andrew Stacey Aug 5 2010 at 17:16

## 2 Answers

I'm going to assume that "Euler characteristic with compact support" means
"(Euler characteristic of the one point compactification) - 1".

Let me assume that n>1.
The space in question, namely $GL ( n,R) _ +$ , has a circle action given by any $S ^ 1$ subgroup of $GL(n,R)$. This action is free on $GL(n,R)$, and fixes the point at infinity. $S ^ 1$-orbits contribute zero to the euler characteristic, and the point at infinity contributes 1. So $\chi ( GL (n,R) _ +) = 1$, and the Euler characteristic with compact support is zero.

To make te above argument precise, you need to pick a cell decomposition of $( GL ( n,R)/S ^ 1 ) _ +$, and use it to construct a cell decomposition of $GL ( n,R)$. Above every n-cell of the quotient space, you put a pair of cells of $GL ( n,R) _ +$, one of dimension n and one of dimension n+1 (except for the 0-cell corresponding to the point at infinity). This might fail to be a CW-complex, but you can nevertheless compute the Euler characteristic as the alternating sum of the numbers of cells in given dimensions.

-

For a complete answer, you should mention that $GL(0,\mathbb R)$ consists of a single point, or is empty, depending on the convention, and that $\chi(GL(1,\mathbb R)) = -2$.  Note that the Euler characteristic you are using is the correct one --- it's additive on disjoint unions --- but is not a homotopy invariant. – Theo Johnson-Freyd Aug 6 2010 at 21:24
Thank you all.   My idea was to use Poincare Duality for $n>1$. Then using a homotopy equivalence of $GL(n)$ and $SL(n)$. Now, since Euler characteristic of a compact Lie group $Sl(n)$ for $n>1$ is zero. We will have $chi_c(Gl(n))=0.$ Which coincides with above answers.  – Karl Aug 7 2010 at 10:33
Karl: I realize now that you had thought it through and just wanted confirmation. Sorry if my comment seemed a little blunt. I also got zero using the same process. I guess you meant to write $SO(n)$ rather than $SL(n)$. – Donu Arapura Aug 7 2010 at 12:53

### 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.

The group $GL(n,\mathbb{R})$ is homotopic to $O(n)$ so these two spaces have the same Euler characteristic. For $n\geq 2$, $O(n)$ is a compact smooth manifold of positive dimension with trivial tangent bundle. Hence its Euler class is trivial, and so is its Euler characteristic.

-
{"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": 27, "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": 20, "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.9149457812309265, "perplexity_flag": "head"}