## maximal compact subgroup as fixed points of some involution on p-adic group?

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

As is well known, maximal compact subgroup of real Lie group is just the fixed points of Cartan involution.

Now the question is what's the possible p-adic analog?

-

## 2 Answers

There are some complications in the p-adic case. For GL_n, every maximal compact subgroup is conjugate to GL_n of the ring of integers, but for more general groups (eg PGL_2, SU_3) there can be more than one conjugacy class of maximal compact subgroups. One thing that you can say is that every maximal compact subgroup is the stabaliser of a point on the Bruhat-Tits building.

-

That doesn't really answer the question: is GL_n of Z_p the fixed points of some natural involution? – Ben Webster♦ Nov 16 2009 at 4:36
I realise it doesn't answer the question, but provides some information on maximal compact subgroups that might be useful. I'll see if I can go away and give any sort of a better answer. – Peter McNamara Nov 16 2009 at 4:42
Fair enough.  It's wise in a situation like that to say something like "I realize this isn't quite your question, but..." just so people don't think you misread. – Ben Webster♦ Nov 16 2009 at 16:26
@Ben, I like your interpretation of the question, but I disagree with your implicit claim that the question was even well-defined as stated. – S. Carnahan♦ Nov 16 2009 at 18:40
I think that Peter's answer is an insightful one to the precise question asked: "what's the possible p-adic analog[ue]?" – Pete L. Clark Mar 9 2010 at 4:15

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

Here is how the real and p-adic situations are the same.

Let $G$ be a connected reductive algebraic group defined over a field $F$ not of characteristic two. Let $\theta$ be an involution of $G$ defined over $F$. Then the group $G^\theta$ of fixed points is a reductive algebraic subgroup of $G$.

Here are two ways in which they are different.

In the real case, one can always choose $\theta$ so that the group of rational points of $G^\theta$ is compact. In the p-adic case, compact reductive groups are quite rare, and so in most cases there is no analogous way to choose $\theta$.

Second, compact subgroups do not play the same roles in the real and p-adic cases. Think of the fields themselves. In the p-adic case, the maximal compact subring is the ring of integers. In the real case, there are no nontrivial compact subrings. There is a ring of integers, but it is not compact. Moreover, since $G^\theta$ has smaller dimension than $G$, it cannot be an open subgroup, and maximal compact subgroups are always open in the p-adic case. Thus, even in the rare cases where $G^\theta$ is compact, it is not maximal.

-
{"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": 13, "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.9374802708625793, "perplexity_flag": "head"}