Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

The tag has no usage guidance.

8
votes
0answers
167 views

Decomposition of linear groups into free products

I recently learnt about Nagao's theorem which states $SL_2(k[t])\cong SL_2(k)\ast_{B(k)}B(k[t])$ for a field $k$. I read in "A.W. Mason, Serre's generalization of Nagao's theorem" that a theorem of ...
2
votes
0answers
62 views

Valuations of root group elements appearing in the intersection of Iwasawa and Cartan double cosets

$\newcommand{\GL}{\operatorname{GL}} \newcommand{\diag}{\operatorname{diag}} \newcommand{\val}{\mathit{val}}$Let $F$ be a local non-Archimedean field with valuation $\val$ and $G$ be (the $F$-points ...
4
votes
1answer
116 views

Smith normal form and affine buildings

In Smith Normal Form of powers of a matrix someone has commented saying that one can reformulate many questions about Smith normal forms in the language of affine buildings. I wanted to know of a ...
3
votes
1answer
296 views

Tits building of a linear algebraic group

I have a basic (probably naive) question about Tits buildings. Let $G$ be a (connected) linear algebraic group over a field $k$ (I am interested in the case where $k$ is algebraically closed but I ...
6
votes
1answer
187 views

Bruhat-Tits building of $SL_n(\mathbb{Q})$, hyperbolic isometries and its axis

Consider $G=SL_n(\mathbb{Q})$ and $p$ a prime integer. Associated to $G$ and $p$ we have its Bruhat-Tits building $\Delta$. It is well known that $\Delta$ can be provided with a canonical $CAT(0)$ ...
6
votes
1answer
170 views

Parahorics in nonsemisimple reductive algebraic groups

If $G$ is a semisimple algebraic group over a local field with finite residue field $K$ and $x$ a point in the Bruhat-Tits building $B(G, K)$ then the parahoric group scheme $P_x$ is a group scheme $P$...
4
votes
0answers
126 views

Functoriality of parahorics

We know from Landvogt's work (Crelle #518, 2000) that if $G$ and $H$ are two reductive groups and $f:G \rightarrow H$ is a morphism that there is a map $\hat{f}$ from $\mathcal{B}(G, K)$ to $\mathcal{...
9
votes
1answer
187 views

Does every Coxeter group arise from a BN-Pair? Does $\text{PGL}_2(\Bbb{Z})$?

The question is in the title. Maybe I should explain my interest in it though. To every Coxeter group $(W,S)$ (and even more general groups) and a system of parameters $(a_s,b_s)_{s \in S}$ one can ...
3
votes
0answers
179 views

abelian subgroups of SL(n,Q_p)

Does anyone know where I can find a classification of abelian subgroups of SL(n,Q_p) isomorphic to (Q_p)^{n-1} up to conjugacy? Even for n=2, it would be very useful. For example, over R, there are ...
8
votes
1answer
355 views

State of the art knowledge about homology of $SL_2(k[t,t^{-1}])$

What is the current state of knowledge of the group homology of $SL_2(k[t,t^{-1}])$? I am mostly interested in the case $k$ is algebraically closed of characteristic zero. The most recent work I am ...
2
votes
1answer
191 views

Spherical building at infinity for $SL(n, \mathbb{Q}_p)$

Is there somewhere I can read about the spherical building at infinity for $SL(n, \mathbb{Q}_p)$? I'm looking for something with lots of explicit examples and computations. (I have books on the ...
1
vote
0answers
101 views

Extension of Tits' theorem on groups with a BN-pair of rank ≥ 3

Tits has proved that a finite simple group $G$ with a BN-pair of rank $n \ge 3$, is of Lie type. Let $B$ be the Borel subgroup and $(W,S)$ the Coxeter system. The subset lattice of the set $S$ is ...
2
votes
0answers
213 views

Bruhat-Tits building for $PGL_2(F)$ and repressentation theory

I am trying to understand representation theory of $GL_2(F)$ where $F$ is a finite extension of $\mathbb{Q}_p$. I am using the following paper of Colmez to understand it: https://webusers.imj-prg.fr/~...
3
votes
1answer
263 views

Affine building for SL(n)

Following Garrett's book, we have the usual description of affine buildings of SL(n) in terms of homothety classes of lattices. So let $F$ be a local field, $\mathcal{O}$ be its ring of integers and $\...
6
votes
2answers
92 views

Describing the action of $^2E_6(q)$

One of the constructions of the group $^2E_6(q)$ was presented by Tits in his paper "Les «formes réelles» des groupes de type $E_6$". It is being constructed by looking at the action of $^2E_6(q)$ on ...
2
votes
1answer
122 views

When are maximal compacts same as maximal parahorics?

Let $G$ be a reductive algebraic group over a complete non-archimedean field $k$. We know that maximal compacts are exactly the same as maximal parahorics when the Iwahori is open compact subgroup of $...
7
votes
2answers
375 views

What are the special parahoric subgroups in unitary groups?

Let $L$ be a $p$-adic field and let $L'/L$ be a quadratic extension. Let $U_{L'/L}(n)$ be a quasi-split unitary group of $n\times n$ matrices with entries in $L'$. I'm curious about what the special ...
5
votes
0answers
322 views

How do you understand the Moy-Prasad filtration of G_2?

Starting on page 44 of this paper of Reeder and Yu, the authors describe the first graded piece of the Moy-Prasad filtration on $G_2$ at a certain point (in this case it's $GL_2$ of the residue field),...
17
votes
2answers
920 views

Is the Steinberg representation always irreducible?

Let $\mathbb{F}$ be a field. The Tits building for $\text{SL}_n(\mathbb{F})$, denoted $T_n(\mathbb{F})$, is the simplicial complex whose $k$-simplices are flags $$0 \subsetneq V_0 \subsetneq \cdots \...
4
votes
1answer
125 views

Global bound for number of vertices in Bruhat-Tits building

Let $G$ denote a semisimple linear algebraic group over $\mathbb Q$ and let $r$ be its absolute rank. For any prime $p$ let $v_p$ be a vertex of the Bruhat-Tits building of $G({\mathbb Q}_p)$ and let $...
0
votes
0answers
139 views

Buildings for Affine groups

Let $G$ denote one of the classical groups over a finite field. Is there a natural way to associate a building to the affine group $V\rtimes G$, and an analog of the Solomon-Tits theorem?
1
vote
1answer
94 views

Pairs of rays in euclidean buildings

In section 4.1.3 of Kleiner and Leeb's paper on symmetric spaces and euclidean buildings, there's a result about pairs of rays from the same point initially spanning a flat triangle (or being ...
3
votes
1answer
109 views

Is a cocompact CAT(0) periodic?

Let $X$ be a CAT(0) space and $G$ its group of isometries. Then $X$ is said to be cocompact, if there exists a compact set $K\subset X$ with $X=G.K$. The space $X$ is called periodic, if there exists ...
7
votes
2answers
701 views

Understanding how to construct Bruhat-Tits buildings for non-split groups by Galois descent

Is there any way to get on top of the procedure for constructing Bruhat-Tits buildings for non-split groups over a non-archimedean local field $k$, by Galois descent, other than reading both the ...
3
votes
1answer
337 views

Fixed points in the Bruhat-Tits building

Let $G$ be a connected reductive group over a complete discrete valuation field with perfect residue field (or just a non-arch local field). Let $\mathcal{B}$ be its reduced Bruhat-Tits building, and $...
5
votes
1answer
332 views

Arithmetic quotients of Bruhat-Tits buildings for groups over local fields of positive characteristic

I have been led to believe that there is a result giving a description of the quotient of a Bruhat-Tits building $\Delta(G,k)$, for a semisimple algebraic group $G$ over a non-archimedean local field ...
2
votes
0answers
325 views

Bruhat Tits buiding to visualize closed points of affine flag varieties?

In his survey "affine springer fibers and affine Deligne-Lusztig varieties", Goertz gives us a tutorial session on how to use Bruhat Tits buildings to visualize subsets of affine Grassmannians or of ...
6
votes
1answer
274 views

When are toral orbits in buildings the difference of fixed-sets?

Let $L$ be a $p$-adic field, let $G$ be a reductive group over $L$ (I'm even okay assuming semisimplicity for now). Let $T$ be a maximal torus of $G$. Let $B$ be the building for $G(L)$. (Edit 1: "...
6
votes
1answer
455 views

When do two lattices have the same stabilizer in the diagonal torus?

This is moved from MSE, where I asked and didn't receive an answer (see https://math.stackexchange.com/questions/1145151/lattices-in-mathbbq-pn-with-the-same-stabilizer) Let $T$ be the diagonal torus ...
6
votes
1answer
283 views

Embedding Euclidean buildings into products of trees

A Euclidean building has a natural metric space structure. (A definition of Euclidean building can be found on Wikipedia, or, more expansively, in Section 4 of Kleiner-Leeb.) Question: Is it true ...
1
vote
2answers
160 views

Question on affine buildings

Let $X$ be an affine building. Assume that $X$ is periodic, by which I mean that there exists a covering $X\to F$ of a finite simplicial complex. Let $\Gamma$ denote the group of deck transformations, ...
3
votes
1answer
172 views

algebraic groups over non-archimedean local fields acting on buildings

I was wondering could anyone tell me a reference for the fact that an absolutely quasi-simple algebraic group over a non-archimedean local field which is centreless and non-compact acts faithfully and ...
2
votes
0answers
145 views

(Co)Homology of groups vs. Lie algebras: polynomial rings

For Lie groups (or algebraic groups over fields) there is a strong relation between the cohomology of the group and the cohomology of its Lie algebra. Some MO-question where this is discussed can be ...
6
votes
0answers
196 views

Parshin's buildings for higher local fields

What is the status of the theory of buildings for higher local fields? I know that there are some papers of Parshin, in which he describes some examples, like $PGL_2$ and $PGL_3$ over two-...
8
votes
2answers
386 views

$G_\mathbb{Z}$-homotopy type of rational Tits building $\Delta_{G, \mathbb{Q}}$

Take $G$ to be a standard semisimple algebraic $\mathbb{Q}$-group, e.g. $Sp_{2g}$ or $SO(h)$ for $h$ a nondegenerate quadratic form over $\mathbb{Q}$. The arithmetic group $\Gamma=G_{\mathbb{Z}}$ has ...
4
votes
0answers
124 views

Rational cohomology of $S$-arithmetic groups over function fields and Gauss-Bonnet

I have a question on the ranks of rational cohomology groups of $S$-arithmetic groups over function fields. To fix the situation, $G$ is a simple Chevalley group of rank $r$, $k=\mathbb{F}_q$ a finite ...
4
votes
2answers
268 views

Does a spherical building embed in a building of type $A_n$?

I'm interested in the question in the title: Does a spherical building $B$ always embeds in a building $\tilde B$ of type $A_n$ for some $n$? By embedding I mean an isometric embedding with respect ...
5
votes
1answer
383 views

Clarification about Tits' article in the Corvallis

I am studying Tits' article in the Corvallis wherein he defines the apartment in the general case (not necessarily split). I wish to know what he means about the filtration of the groups $U_a(K)$ (...
8
votes
1answer
271 views

spherical buildings for non-split groups

I am looking for references to explicit descriptions of Tits buildings for semisimple (classical) Lie groups via language of incidence geometry. Such descriptions are well-documented in the case of ...
4
votes
1answer
196 views

Density/Thickness of rank 3 spherical buildings

I am trying to study (finite) spherical buildings from a very combinatorial point of view : Every rank 3 spherical building is a finite simplicial complex of dimension 3, so one can define its density ...
7
votes
1answer
383 views

When is a Moy-Prasad filtration subgroup the stabilizer of a subset of the building (up to center)?

Let $G$ be a connected, simply connected, semi-simple algebraic group defined and split over a local non-arch field $k$ with integer ring $R$. Let $B$ be the corresponding reduced building. Fix an ...
11
votes
3answers
996 views

What is a (generalized) BN-pair?

Let us consider $GL_n(K)$ over a local field $K$. It has standard subgroups $N$ and $B$. $B$ is Iwahori subgroup, $N$ consists of monomial matrices. The pair comes close to a romantic ending, i.e. ...
1
vote
1answer
228 views

Heights in reductive groups

Let $G$ be a reductive group over a local non-archimedean field $F$, and let $B$ a Borel subgroup. For my purposes, the case $G = GL_2(\mathbb{Q}_p)$ will be sufficient with $B$ upper triangular ...
1
vote
2answers
185 views

What is this measure on the affine Weyl group?

Let $G$ be $SL(n, F)$ for a non-archimedean local field $F$ with Iwahori subgroup $I$. Let $\mu$ be the Haar measure of $G$. What are the properties of the function $w\mapsto \mu(IwI)/\mu(I)$ for $w$...
8
votes
2answers
666 views

Conjugation in GL(n) (p-adic setting)

In $GL(n, \mathbb{Q}_p)$, what are the orbits under conjugation of $GL(n, \mathbb{Z}_p)$?
2
votes
2answers
541 views

Parabolic subgroups and BN-pairs

We note $G$ a connected algebraic group, $T$ a maximal torus in $G$, $B$ a Borel subgroup containing $T$. We put also, $N=N_{G}(T)$ the normalizer of $T$ in $G$. We know that $(B,N)$ is a BN-pair of $...
1
vote
1answer
203 views

Algorithm for the cell multiplication rule for GL(n,F)

Consider $F$ a non archimedean field and let $o$ be its ring of integer Let $B$ be the Iwahori subgroup of $GL_n(F)$ (resp. $GL_n(o)$) and let $N$ be the normalizer of the diagonal matrices (...
2
votes
2answers
497 views

What is a canonical set of representatives in $GL(n,F)$ for the vertices in the Bruhat Tits building?

$F$ is a non archimedean field here. To be more precise, I would actually prefer a set of representative in $B(F)$ for the discrete space $B(F) / B(o)Z(F)$? This can be phrased also as question about ...
10
votes
2answers
620 views

Spherical building of an exceptional group of Lie type

I've read that one of Tits' original motivations for studying buildings was that he wanted to give a unified description of algebraic groups that would allow the definition of exceptional groups such ...
9
votes
2answers
668 views

Subexpressions of reduced words in Coxeter groups

Let $\underline{w} = [s_1, s_2, \dots ,s_n]$ be a reduced expression in a Coxeter group $W$. Given $x$ in $W$ one can consider the set $\Pi(\underline{w},x)$ consisting of all subexpressions of $\...