DOCSLIB.ORG

Lattices of Minimal Covolume in Real Special Linear Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lattices of Minimal Covolume in Real Special Linear Groups UC San Diego UC San Diego Electronic Theses and Dissertations Title Lattices of minimal covolume in real special linear groups Permalink https://escholarship.org/uc/item/3b65c9ww Author Thilmany, François Publication Date 2019 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA SAN DIEGO Lattices of minimal covolume in real special linear groups A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by François Thilmany Committee in charge: Professor Alireza Salehi Golsefidy, Chair Professor Tara Javidi Professor Shachar Lovett Professor Amir Mohammadi Professor Efim Zelmanov 2019 Copyright François Thilmany, 2019 All rights reserved. The dissertation of François Thilmany is approved, and it is acceptable in quality and form for publication on microfilm and electronically: Chair University of California San Diego 2019 iii DEDICATION À Marie-Louise et Maurice De Coninck iv TABLE OF CONTENTS Signature Page . iii Dedication . iv Table of Contents . .v List of Tables . vi Acknowledgements . vii Vita................................................ ix Abstract of the Dissertation . .x Chapter 1 Introduction . .1 Chapter 2 Background material . .5 2.1 Affine algebraic groups . .5 2.2 The structure of absolutely simple groups . 16 2.3 Galois cohomology . 24 2.4 Bruhat-Tits theory . 27 2.5 Lattices in locally compact groups . 32 2.6 Arithmetic groups . 36 Chapter 3 Prasad’s volume formula . 40 3.1 Tamagawa numbers . 40 3.2 The volume formula . 42 Chapter 4 Lattices of minimal covolume in SLn(R) .................... 46 4.1 A brief outline of the proof . 47 4.2 The setting . 49 4.3 An upper bound on the index . 51 4.3.1 The inner case . 53 4.3.2 The outer case . 54 4.4 The field k is Q ............................... 57 4.4.1 The inner case . 58 4.4.2 The outer case . 58 4.5 G is an inner form of SLn ......................... 66 4.6 The parahorics Pv are hyperspecial and G splits at all places . 68 4.7 Conclusion . 70 4.8 Bounds for sections 4.4 through 4.6 . 71 Bibliography . 80 v LIST OF TABLES Table 2.2.3. Dynkin diagrams of the irreducible reduced root systems . 17 Table 2.4.1. Irreducible Affine Dynkin diagrams . 28 Table 4.4.1. Summary of the various discriminant bounds used . 66 Table 4.8.5. Values of M ..................................... 74 Table 4.8.7. Values of M 0 .................................... 76 Table 4.8.8. Values of C ..................................... 76 Table 4.8.9. Values of min Dk .................................. 76 Table 4.8.10. Values of H .................................... 77 Table 4.8.11. Bounds for Dl ................................... 77 vi ACKNOWLEDGEMENTS First and foremost, I would like to wholeheartedly thank Alireza Salehi Golsefidy for his invaluable guidance throughout these past five years, for his matchless perspicacity, for his endless knowledge, and for all these exciting afternoons spent discussing mathematics and/or playing chess. Alireza has had a substantial influence on my mathematical education; the standards of rigor and excellence he works by are now those I aspire to. Neither this venture nor those to come would have been possible without his advising. I am very grateful to Amir Mohammadi and Efim Zelmanov for their advice and instruc- tion over the last few years, as well as for serving on my thesis committee. I am grateful to Tara Javidi and Shachar Lovett for the time and effort they spent serving on my thesis committee. While being a graduate student at UC San Diego, I had the chance to be surrounded by wonderful officemates, roommates, classmates, friends. In memory of all the good times, I would like to thank Jake, Peter, Zach, Marino, Stephan, Pieter, Jacqueline, Iacopo, Justin, Daniël, Zonglin, Brian, Michelle, Taylor, ... Je tiens à remercier Artémis, Cédric, Roxane, Mitia, Sylvie, Hoan-Phung, Charel, Lau- rent, Julie, Christine, Keno, Thibaut, Patrick, Blaža, Thierry, Nicolas et Pierre-Alain pour les doux étés et hivers passés en leur compagnie à Bruxelles et ailleurs. Votre amitié m’est très chère. Finalement, je voudrais remercier ma famille pour son appui inconditionnel, et en par- ticulier Artémis pour avoir parcouru le monde avec moi. The author is grateful to have been supported by the Luxembourg National Research Fund (FNR) under AFR grant 11275005. vii Chapter 4 contains material from Lattices of minimal covolume in SLn(R), Proc. Lond. Math. Soc., 118 (2019), pp. 78–102. The dissertation author was the primary investigator and author of this paper. viii VITA 2012 Bachelier en Sciences Mathématiques, Université Libre de Bruxelles 2014 Maîtrise en Sciences Mathématiques, Université Libre de Bruxelles 2017 Candidate in Philosophy in Mathematics, University of California San Diego 2019 Doctor of Philosophy in Mathematics, University of California San Diego PUBLICATIONS François Thilmany, Lattices of minimal covolume in SLn(R), Proc. Lond. Math. Soc., 118 (2019), pp. 78–102, doi: 10.1112/plms.12161. ix ABSTRACT OF THE DISSERTATION Lattices of minimal covolume in real special linear groups by François Thilmany Doctor of Philosophy in Mathematics University of California San Diego, 2019 Professor Alireza Salehi Golsefidy, Chair The objective of the dissertation is to determine the lattices of minimal covolume in SLn(R), for n ≥ 3. Relying on Margulis’ arithmeticity, Prasad’s volume formula, and work of Borel and Prasad, the problem will be translated in number theoretical terms. A careful analysis of the number theoretical bounds involved then leads to the identification of the lattices of minimal covolume. The answer turns out to be the simplest one: SLn(Z) is, up to automorphism, the unique lattice of minimal covolume in SLn(R). In particular, lattices of minimal covolume in SLn(R) are non-uniform when n ≥ 3, contrasting with Siegel’s result for SL2(R). This answers for SLn(R) the question of Lubotzky: is a lattice of minimal covolume typically uniform or not? x Chapter 1 Introduction A brief history The study of lattices of minimal covolume in SLn (or for that matter, in Lie groups in general) originated with Siegel’s work [Sie45] on SL2(R), which in turn can be traced back to Hurwitz’s work [Hur92]. Siegel showed that in SL2(R), lattices of minimal covolume are given by the conjugates of the (2; 3; 7)-triangle group (the stabilizer in SL2(R) of a (2; 3; 7)-triangle tiling). He used the action of SL2(R) on the hyperbolic plane to relate the covolume of the lattice to the area of its Poincaré fundamental domain, which tiles the plane. The result then follows from the fact that the (2; 3; 7)-triangle is the (ideal) polygon with smallest area which tiles the hyperbolic plane. In particular, lattices of minimal covolume in SL2(R) are arithmetic and uniform. Siegel raised the question of determining which lattices attain minimum covolume in groups of isometries of higher-dimensional hyperbolic spaces. For SL2(C), which acts on hyperbolic 3-space, the minimum among non-uniform lattices was established by Meyerhoff [Mey85]; among all lattices in SL2(C), the minimum was exhibited 1 more recently by Gehring, Marshall and Martin [GM09, MM12] using geometric methods, and is attained by a (unique up to conjugacy) uniform lattice. Using the action of SL2 Fq((t)) on its Bruhat-Tits tree and Bass-Serre theory, Lubotzky −1 established the analogous result [Lub90] for SL2 Fq((t)) , where this time SL2 Fq[t ] attains the smallest covolume. Lubotzky observed that in this case, as opposed to the (2; 3; 7)-triangle group in SL2(R), the lattice of minimal covolume is not uniform; he then asked whether, for a lattice of minimal covolume in a semi-simple Lie group, the typical situation is to be uniform, or not. Progress has been made on this question. By proving a quantitative version of the Kazhdan–Margulis theorem, Salehi Golsefidy showed [SG09] that for most Chevalley groups G of −1 rank at least 2, G Fq[t ] is the unique (up to automorphism) lattice of minimal covolume in G Fq((t)) . Using Prasad’s formula, Salehi Golsefidy also obtained [SG13] that for most simply connected simple groups over Fq((t)), a lattice of minimal covolume will be non-uniform (provided Weil’s conjecture on Tamagawa numbers holds). On the other side of the picture, when the rank is 1, Belolipetsky and Emery [Bel04, BE12] determined the lattices of minimal covolume among arithmetic lattices in SO(n; 1)(R) for n ≥ 5, and showed that they are non-uniform. For SU(n; 1)(R), Emery and Stover [ES14] determined the lattices of minimal covolume among the non-uniform arithmetic ones, but to the best of the author’s knowledge, this has not been compared to the uniform arithmetic ones in this case. Unfortunately, in the rank 1 case, it is not known whether a lattice of minimal covolume is necessarily arithmetic. A summary of the advances made in this case (along with references) can be found in [Bel14]. The most recent results concerning lattices of minimal covolume are due to Emery and Kim [EK18], who determined the lattices of minimal covolume in Sp(n; 1)(R) for n ≥ 2, both 2 among uniform lattices and among non-uniform lattices. For n ≥ 3, lattices of minimal covolume in Sp(n; 1)(R) are again non-uniform. The above results give a partial answer to the question of Lubotzky. In this document, we work out the case of SLn(R). We show that for n ≥ 3, up to automorphism, the non-uniform lattice SLn(Z) is the unique lattice of minimal covolume in SLn(R). This is in sharp contrast with Siegel’s lattice in SL2(R). Some open questions and further directions Describing the lattices of minimal covolume in an arbitrary (real) Lie group is likely an unreasonably difficult question, namely because of the groups of rank 1.
Load more

Recommended publications
  • Affine Reflection Group Codes
    Affine Reflection Group Codes Terasan Niyomsataya1, Ali Miri1,2 and Monica Nevins2 School of Information Technology and Engineering (SITE)1 Department of Mathematics and Statistics2 University of Ottawa, Ottawa, Canada K1N 6N5 email: {tniyomsa,samiri}@site.uottawa.ca, [email protected] Abstract This paper presents a construction of Slepian group codes from affine reflection groups. The solution to the initial vector and nearest distance problem is presented for all irreducible affine reflection groups of rank n ≥ 2, for varying stabilizer subgroups. Moreover, we use a detailed analysis of the geometry of affine reflection groups to produce an efficient decoding algorithm which is equivalent to the maximum-likelihood decoder. Its complexity depends only on the dimension of the vector space containing the codewords, and not on the number of codewords. We give several examples of the decoding algorithm, both to demonstrate its correctness and to show how, in small rank cases, it may be further streamlined by exploiting additional symmetries of the group. 1 1 Introduction Slepian [11] introduced group codes whose codewords represent a finite set of signals combining coding and modulation, for the Gaussian channel. A thorough survey of group codes can be found in [8]. The codewords lie on a sphere in n−dimensional Euclidean space Rn with equal nearest-neighbour distances. This gives congruent maximum-likelihood (ML) decoding regions, and hence equal error probability, for all codewords. Given a group G with a representation (action) on Rn, that is, an 1Keywords: Group codes, initial vector problem, decoding schemes, affine reflection groups 1 orthogonal n × n matrix Og for each g ∈ G, a group code generated from G is given by the set of all cg = Ogx0 (1) n for all g ∈ G where x0 = (x1, .
    [Show full text]
  • Feature Matching and Heat Flow in Centro-Affine Geometry
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 093, 22 pages Feature Matching and Heat Flow in Centro-Affine Geometry Peter J. OLVER y, Changzheng QU z and Yun YANG x y School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA E-mail: [email protected] URL: http://www.math.umn.edu/~olver/ z School of Mathematics and Statistics, Ningbo University, Ningbo 315211, P.R. China E-mail: [email protected] x Department of Mathematics, Northeastern University, Shenyang, 110819, P.R. China E-mail: [email protected] Received April 02, 2020, in final form September 14, 2020; Published online September 29, 2020 https://doi.org/10.3842/SIGMA.2020.093 Abstract. In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equa- tion. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm com- pares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods. Key words: centro-affine geometry; equivariant moving frames; heat flow; inviscid Burgers' equation; differential invariant; edge matching 2020 Mathematics Subject Classification: 53A15; 53A55 1 Introduction The main objective in this paper is to study differential invariants and invariant curve flows { in particular the heat flow { in centro-affine geometry. In addition, we will present some basic applications to feature matching in camera images of three-dimensional objects, comparing our method with other popular algorithms.
    [Show full text]
  • The Affine Group of a Lie Group
    THE AFFINE GROUP OF A LIE GROUP JOSEPH A. WOLF1 1. If G is a Lie group, then the group Aut(G) of all continuous auto- morphisms of G has a natural Lie group structure. This gives the semi- direct product A(G) = G-Aut(G) the structure of a Lie group. When G is a vector group R", A(G) is the ordinary affine group A(re). Follow- ing L. Auslander [l ] we will refer to A(G) as the affine group of G, and regard it as a transformation group on G by (g, a): h-^g-a(h) where g, hEG and aGAut(G) ; in the case of a vector group, this is the usual action on A(») on R". If B is a compact subgroup of A(n), then it is well known that B has a fixed point on R", i.e., that there is a point xGR" such that b(x)=x for every bEB. For A(ra) is contained in the general linear group GL(« + 1, R) in the usual fashion, and B (being compact) must be conjugate to a subgroup of the orthogonal group 0(w + l). This conjugation can be done leaving fixed the (« + 1, w + 1)-place matrix entries, and is thus possible by an element of k(n). This done, the translation-parts of elements of B must be zero, proving the assertion. L. Auslander [l] has extended this theorem to compact abelian subgroups of A(G) when G is connected, simply connected and nil- potent. We will give a further extension.
    [Show full text]
  • Chapter 25 Finite Simple Groups
    Chapter 25 Finite Simple Groups Chapter 25 Finite Simple Groups Historical Background Definition A group is simple if it has no nontrivial proper normal subgroup. The definition was proposed by Galois; he showed that An is simple for n ≥ 5 in 1831. It is an important step in showing that one cannot express the solutions of a quintic equation in radicals. If possible, one would factor a group G as G0 = G, find a normal subgroup G1 of maximum order to form G0/G1. Then find a maximal normal subgroup G2 of G1 and get G1/G2, and so on until we get the composition factors: G0/G1,G1/G2,...,Gn−1/Gn, with Gn = {e}. Jordan and Hölder proved that these factors are independent of the choices of the normal subgroups in the process. Jordan in 1870 found four infinite series including: Zp for a prime p, SL(n, Zp)/Z(SL(n, Zp)) except when (n, p) = (2, 2) or (2, 3). Between 1982-1905, Dickson found more infinite series; Miller and Cole showed that 5 (sporadic) groups constructed by Mathieu in 1861 are simple. Chapter 25 Finite Simple Groups In 1950s, more infinite families were found, and the classification project began. Brauer observed that the centralizer has an order 2 element is important; Feit-Thompson in 1960 confirmed the 1900 conjecture that non-Abelian simple group must have even order. From 1966-75, 19 new sporadic groups were found. Thompson developed many techniques in the N-group paper. Gorenstein presented an outline for the classification project in a lecture series at University of Chicago in 1972.
    [Show full text]
  • Prescribed Gauss Decompositions for Kac-Moody Groups Over Fields
    RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA JUN MORITA EUGENE PLOTKIN Prescribed Gauss decompositions for Kac- Moody groups over fields Rendiconti del Seminario Matematico della Università di Padova, tome 106 (2001), p. 153-163 <http://www.numdam.org/item?id=RSMUP_2001__106__153_0> © Rendiconti del Seminario Matematico della Università di Padova, 2001, tous droits réservés. L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Prescribed Gauss Decompositions for Kac-Moody Groups Over Fields. JUN MORITA(*) - EUGENE PLOTKIN (**) ABSTRACT - We obtain the Gauss decomposition with prescribed torus elements for a Kac-Moody group over a field containing sufficiently many elements. 1. Introduction. Kac-Moody groups are equipped with canonical decompositions of different types. Let us note, for instance, the decompositions of Bruhat, Birkhoff and Gauss. As in the finite dimensional case, they play an im- portant role in calculations with these groups. However, in the Kac-Moo- dy case each of these decompositions has its own special features (see, for example, [18] where J. Tits compares the Bruhat and the Birkhoff decompositions and presents some applications). The aim of this paper is to establish the so-called prescribed Gauss decomposition for Kac-Moody groups.
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • A NEW APPROACH to UNRAMIFIED DESCENT in BRUHAT-TITS THEORY by Gopal Prasad
    A NEW APPROACH TO UNRAMIFIED DESCENT IN BRUHAT-TITS THEORY By Gopal Prasad Dedicated to my wife Indu Prasad with gratitude Abstract. We present a new approach to unramified descent (\descente ´etale") in Bruhat-Tits theory of reductive groups over a discretely valued field k with Henselian valuation ring which appears to be conceptually simpler, and more geometric, than the original approach of Bruhat and Tits. We are able to derive the main results of the theory over k from the theory over the maximal unramified extension K of k. Even in the most interesting case for number theory and representation theory, where k is a locally compact nonarchimedean field, the geometric approach described in this paper appears to be considerably simpler than the original approach. Introduction. Let k be a field given with a nontrivial R-valued nonarchimedean valuation !. We will assume throughout this paper that the valuation ring × o := fx 2 k j !(x) > 0g [ f0g of this valuation is Henselian. Let K be the maximal unramified extension of k (the term “unramified extension" includes the condition that the residue field extension is separable, so the residue field of K is the separable closure κs of the residue field κ of k). While discussing Bruhat-Tits theory in this introduction, and beginning with 1.6 everywhere in the paper, we will assume that ! is a discrete valuation. Bruhat- Tits theory of connected reductive k-groups G that are quasi-split over K (i.e., GK contains a Borel subgroup, or, equivalently, the centralizer of a maximal K-split torus of GK is a torus) has two parts.
    [Show full text]
  • CURTIS-TITS GROUPS GENERALIZING KAC-MOODY GROUPS of TYPE Aen−1
    CURTIS-TITS GROUPS GENERALIZING KAC-MOODY GROUPS OF TYPE Aen−1 RIEUWERT J. BLOK AND CORNELIU G. HOFFMAN Abstract. In [13] we define a Curtis-Tits group as a certain generalization of a Kac- Moody group. We distinguish between orientable and non-orientable Curtis-Tits groups and identify all orientable Curtis-Tits groups as Kac-Moody groups associated to twin- buildings. In the present paper we construct all orientable as well as non-orientable Curtis-Tits groups with diagram Aen−1 (n ≥ 4) over a field k of size at least 4. The resulting groups are quite interesting in their own right. The orientable ones are related to Drinfeld’s construction of vector bundles over a non-commutative projective line and to the classical groups over cyclic algebras. The non-orientable ones are related to expander graphs [14] and have symplectic, orthogonal and unitary groups as quotients. Keywords: Curtis-Tits groups, Kac-Moody groups, Moufang, twin-building, amalgam, opposite. MSC 2010: 20G35 51E24 1. Introduction The theory of the infinite dimensional Lie algebras called Kac-Moody algebras was ini- tially developed by Victor Kac and Robert Moody. The development of a theory of Kac- Moody groups as analogues of Chevalley groups was made possible by the work of Kac and Peterson. In [44] J. Tits gives an alternative definition of a group of Kac-Moody type as being a group with a twin-root datum, which implies that they are symmetry groups of Moufang twin-buildings. In [2] P. Abramenko and B. Mühlherr generalize a celebrated theorem of Curtis and Tits on groups with finite BN-pair [18, 42] to groups of Kac-Moody type.
    [Show full text]
  • Contents 1 Root Systems
    Stefan Dawydiak February 19, 2021 Marginalia about roots These notes are an attempt to maintain a overview collection of facts about and relationships between some situations in which root systems and root data appear. They also serve to track some common identifications and choices. The references include some helpful lecture notes with more examples. The author of these notes learned this material from courses taught by Zinovy Reichstein, Joel Kam- nitzer, James Arthur, and Florian Herzig, as well as many student talks, and lecture notes by Ivan Loseu. These notes are simply collected marginalia for those references. Any errors introduced, especially of viewpoint, are the author's own. The author of these notes would be grateful for their communication to [email protected]. Contents 1 Root systems 1 1.1 Root space decomposition . .2 1.2 Roots, coroots, and reflections . .3 1.2.1 Abstract root systems . .7 1.2.2 Coroots, fundamental weights and Cartan matrices . .7 1.2.3 Roots vs weights . .9 1.2.4 Roots at the group level . .9 1.3 The Weyl group . 10 1.3.1 Weyl Chambers . 11 1.3.2 The Weyl group as a subquotient for compact Lie groups . 13 1.3.3 The Weyl group as a subquotient for noncompact Lie groups . 13 2 Root data 16 2.1 Root data . 16 2.2 The Langlands dual group . 17 2.3 The flag variety . 18 2.3.1 Bruhat decomposition revisited . 18 2.3.2 Schubert cells . 19 3 Adelic groups 20 3.1 Weyl sets . 20 References 21 1 Root systems The following examples are taken mostly from [8] where they are stated without most of the calculations.
    [Show full text]
  • FINITE GROUP ACTIONS on REDUCTIVE GROUPS and BUILDINGS and TAMELY-RAMIFIED DESCENT in BRUHAT-TITS THEORY by Gopal Prasad Dedicat
    FINITE GROUP ACTIONS ON REDUCTIVE GROUPS AND BUILDINGS AND TAMELY-RAMIFIED DESCENT IN BRUHAT-TITS THEORY By Gopal Prasad Dedicated to Guy Rousseau Abstract. Let K be a discretely valued field with Henselian valuation ring and separably closed (but not necessarily perfect) residue field of characteristic p, H a connected reductive K-group, and Θ a finite group of automorphisms of H. We assume that p does not divide the order of Θ and Bruhat-Tits theory is available for H over K with B(H=K) the Bruhat-Tits building of H(K). We will show that then Bruhat-Tits theory is also available for G := (HΘ)◦ and B(H=K)Θ is the Bruhat-Tits building of G(K). (In case the residue field of K is perfect, this result was proved in [PY1] by a different method.) As a consequence of this result, we obtain that if Bruhat-Tits theory is available for a connected reductive K-group G over a finite tamely-ramified extension L of K, then it is also available for G over K and B(G=K) = B(G=L)Gal(L=K). Using this, we prove that if G is quasi-split over L, then it is already quasi-split over K. Introduction. This paper is a sequel to our recent paper [P2]. We will assume fa- miliarity with that paper; we will freely use results, notions and notations introduced in it. Let O be a discretely valued Henselian local ring with valuation !. Let m be the maximal ideal of O and K the field of fractions of O.
    [Show full text]
  • Title: Algebraic Group Representations, and Related Topics a Lecture by Len Scott, Mcconnell/Bernard Professor of Mathemtics, the University of Virginia
    Title: Algebraic group representations, and related topics a lecture by Len Scott, McConnell/Bernard Professor of Mathemtics, The University of Virginia. Abstract: This lecture will survey the theory of algebraic group representations in positive characteristic, with some attention to its historical development, and its relationship to the theory of finite group representations. Other topics of a Lie-theoretic nature will also be discussed in this context, including at least brief mention of characteristic 0 infinite dimensional Lie algebra representations in both the classical and affine cases, quantum groups, perverse sheaves, and rings of differential operators. Much of the focus will be on irreducible representations, but some attention will be given to other classes of indecomposable representations, and there will be some discussion of homological issues, as time permits. CHAPTER VI Linear Algebraic Groups in the 20th Century The interest in linear algebraic groups was revived in the 1940s by C. Chevalley and E. Kolchin. The most salient features of their contributions are outlined in Chapter VII and VIII. Even though they are put there to suit the broader context, I shall as a rule refer to those chapters, rather than repeat their contents. Some of it will be recalled, however, mainly to round out a narrative which will also take into account, more than there, the work of other authors. §1. Linear algebraic groups in characteristic zero. Replicas 1.1. As we saw in Chapter V, §4, Ludwig Maurer thoroughly analyzed the properties of the Lie algebra of a complex linear algebraic group. This was Cheval­ ey's starting point.
    [Show full text]
  • The Hidden Subgroup Problem in Affine Groups: Basis Selection in Fourier Sampling
    The Hidden Subgroup Problem in Affine Groups: Basis Selection in Fourier Sampling Cristopher Moore1, Daniel Rockmore2, Alexander Russell3, and Leonard J. Schulman4 1 University of New Mexico, [email protected] 2 Dartmouth College, [email protected] 3 University of Connecticut, [email protected] 4 California Institute of Technology, [email protected] Abstract. Many quantum algorithms, including Shor's celebrated fac- toring and discrete log algorithms, proceed by reduction to a hidden subgroup problem, in which a subgroup H of a group G must be deter- mined from a quantum state uniformly supported on a left coset of H. These hidden subgroup problems are then solved by Fourier sam- pling: the quantum Fourier transform of is computed and measured. When the underlying group is non-Abelian, two important variants of the Fourier sampling paradigm have been identified: the weak standard method, where only representation names are measured, and the strong standard method, where full measurement occurs. It has remained open whether the strong standard method is indeed stronger, that is, whether there are hidden subgroups that can be reconstructed via the strong method but not by the weak, or any other known, method. In this article, we settle this question in the affirmative. We show that hidden subgroups of semidirect products of the form Zq n Zp, where q j (p − 1) and q = p=polylog(p), can be efficiently determined by the strong standard method. Furthermore, the weak standard method and the \forgetful" Abelian method are insufficient for these groups. We ex- tend this to an information-theoretic solution for the hidden subgroup problem over the groups Zq n Zp where q j (p − 1) and, in particular, the Affine groups Ap.
    [Show full text]