a question on TITS' note "Reductive groups over local fields" - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T06:14:35Z http://mathoverflow.net/feeds/question/106259 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106259/a-question-on-tits-note-reductive-groups-over-local-fields a question on TITS' note "Reductive groups over local fields" ronggang 2012-09-03T16:50:05Z 2013-03-23T03:29:09Z <p>This note appears in "Proceedings of Symposia in pure mathematics" vol.33 1979 part 1 pp. 26-69. The question will be about materials on page 31-32. </p> <p>Let $G$ be a reductive algebraic group (not necessarily connected) defined over a local field $K$. We fix a maximal $K$-split torus $S$ of $G$ and take N(resp. Z) to be normalizer (resp. the centralizer) of $S$ in $G$. Let $X_*=Hom_K (Mult, S)$ (Resp. $X^*=Hom_K (S, Mult)$) be the group of cocharacters (resp. characters) of $S$. Let $V=X_*\otimes_{\mathbb Z}\mathbb R$. We fix a discrete valuation $\omega: K\to (-\infty, \infty]$. Let $\nu: Z(K)\to V$ be the homomorphism defined by $$\chi (\nu (z))=-\omega (\chi (z)) \quad \mbox{for}\ z\in Z(K) \mbox{ and } \chi \in X^*(\mathbb Z).$$ Let $Z_c$ be the kernel of $\nu$. Then we have a short exact sequence of gorups $$0\to Z(K)/Z_c\to N(K)/Z_c\to N(K)/Z(K)\to 0$$ where $N(K)/Z(K)$ is a finite group.</p> <p>Then it is claimed that the map $\nu$ induces a group homomorphism $\phi$ from $N$ to the group of affine transformations of $V$ such that for $z\in Z(K)$ and $x\in V$ one has $\phi(z)x=x+\nu (z)$. </p> <p>I do not understand in which way this function $\phi$ is defined. </p> http://mathoverflow.net/questions/106259/a-question-on-tits-note-reductive-groups-over-local-fields/106264#106264 Answer by grp for a question on TITS' note "Reductive groups over local fields" grp 2012-09-03T19:06:55Z 2012-09-03T21:44:34Z <p>Are you sure that $G$ isn't required to be connected? I think this is needed in order to construct the "valued root datum" structure which underlies Bruhat-Tits structure theory. Anyway, the key point is that there is the concept of "valuation" on the root datum, which is really a collection of "valuations" on the possibly non-commutative groups $U_a(K)$ subject to axioms defined in the first big Bruhat-Tits paper in IHES, which I'll call BTI. The existence of this kind of structure on $G(K)$ requires the full power of the theory of the 2nd Bruhat-Tits IHES paper (developed in more "modern" terms in later work of others, such as J-K. Yu), and it requires connectedness of $G$. On the set of such "valuations" there is a natural free action of $V$ and elements of the same equivalence class are called "parallel". The equivalence classes are naturally affine spaces for $V$, and the group $N(K)$ acts naturally on the entire set preserving each equivalence classes through an action by affine transformations (with $Z(K)$ acting through the translation formulas as you have written down). This is all pure group theory formalism (but far from trivial to set up), the definitions of which have nothing to do with any topological structure on $K$. The specification of a valuation on $K$ selects out a preferred equivalence class, and that is the one used to define $\phi$. </p> <p>(For example, if $G = {\rm{SL}}_2$ and $S$ is the diagonal split maximal torus of $G$ over a field $F$ then the parallelism classes of "valuations" on $G(F)$ in accordance with the root datum for $(G,S)$ correspond exactly to choices of nontrivial non-archimedean $\mathbf{R}$-valued valuations on the abstract field $F$.)</p> <p>So what you're missing is the (highly non-trivial to develop!) definition of the principal homogeneous space for $V$ which supports the action of $N(K)$. In other words, although one can say in concrete terms that the target of $\phi$ is the group of affine transformations of $V$, this is conceptually misleading: it is really the group of automorphisms of a more intrinsic affine space for $V$ in which there is absolutely no canonical base point (intrinsic to $(G,S,\Phi^+,\omega)$). I suppose there could be a way to make the definition of $\phi$ by bare hands (or at least give formulas, without proving things are well-defined), but my understanding (which could be incomplete) is that using a specific parallelism class of of "valuations" as indicated above provides the only natural way to make the definition. Take a look at section 6 of BTI to learn what a valued root datum is, and the many nontrivial properties of this kind of structure. I think that BTI is more illuminating in certain conceptual respects than the Corvallis paper (though of course it doesn't have the rich supply of interesting examples as in the Corvallis paper, and is a rather challenging paper to read). </p> http://mathoverflow.net/questions/106259/a-question-on-tits-note-reductive-groups-over-local-fields/106622#106622 Answer by fherzig for a question on TITS' note "Reductive groups over local fields" fherzig 2012-09-07T19:31:26Z 2012-09-07T19:31:26Z <p>Of course, grp is right that to justify the whole discussion in Tits about the construction of the apartment you need the full strength of Bruhat-Tits. But for the purpose of Tits' article (who assumes you accept facts 1.4.1 and 1.4.2) there is a rather simple construction to get $\nu$ which doesn't require the Bruhat-Tits books. I think it's what Tits had in mind. I learnt this construction from J.K.Yu, who says "This is one of the questions I got asked most often regarding Tits’ article.". You can find it in his very useful notes on buildings, or (as he notes) in Landvogt's book. Unfortunately JK's notes are not available on the web; they are in this book:</p> <p><a href="http://books.google.ca/books/about/Ottawa_Lectures_on_Admissible_Representa.html?id=7oBZIxZfPQAC&amp;redir_esc=y" rel="nofollow">http://books.google.ca/books/about/Ottawa_Lectures_on_Admissible_Representa.html?id=7oBZIxZfPQAC&amp;redir_esc=y</a></p> <p>On second thought, I assume it's ok with copyright laws to take just the relevant two pages and put them here: <a href="http://www.math.toronto.edu/~herzig/apartment_jkyu04.pdf" rel="nofollow">http://www.math.toronto.edu/~herzig/apartment_jkyu04.pdf</a></p>