DOCSLIB.ORG

15 Projective Special Linear Group PSL(N, F)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
15 Projective Special Linear Group PSL(N, F) 15 Projective Special Linear Group P SL(n; F ) Definition 15.1. The projective linear group and projective special linear group are the quotients of GL(n; F ) and SL(n; F ) by their centers: GL(n; F ) GL(n; F ) P GL(n; F ) = = Z(GL(n; F )) F £ SL(n; F ) SL(n; F ) P SL(n; F ) = = Z(SL(n; F )) f® 2 F £ j ®n = 1g These groups act on the n ¡ 1 dimensional projective space P n¡1(F ) (the set of one dimensional subspaces of F n) by the following lemma. Lemma 15.2. The only elements of GL(n; F ) which stabilize every element of P n¡1(F ) are the scalar multiples of the identity matrix. Proof. If A 2 GL(n; F ) stabilizes the spans F ei of the standard basis vectors n £ ei of F then Aei = ¸iei for some ¸i 2 F so A = diag(¸1; ¢ ¢ ¢ ; ¸n). We claim that ¸i = ¸j for all i; j since, otherwise, A will not stabilize F (ei + ej): A(ei + ej) = ¸iei + ¸jej 2 F (ei + ej) , ¸i = ¸j Thus A = ¸In. This implies that we get an induced action of P GL(n; F ) on P n¡1(F ) which is faithful in the sense that only the identity group element fixes every point in P n¡1(F ). We also get an induced action of P SL(n; F ) on P n¡1(F ). Identifying these groups with the corresponding symmetry groups on P n¡1(F ) we get: P SL(n; F ) · P GL(n; F ): In this section we want to prove that P SL(n; q) is a simple group for n ¸ 2 with two exceptions. Following Alperin we use the fact that it acts doubly transitively on projective space. Definition 15.3. The action of a group G on a set X is called doubly tran- sitive if G acts transitively on the set of all ordered pairs of distinct elements of X. In other words, given any x1; x2; y1; y2 2 X so that x1 6= x2 and y1 6= y2 there is a g 2 G so that gxi = yi for i = 1; 2. Lemma 15.4. If G acts doubly transitively on a set X then the stabilizer Hx of any x 2 X is a maximal subgroup of G. Proof. Suppose that Hx is not maximal. Then there is a subgroup K so that G > K > Hx. Thus there is a g 2 G, g2 = K and k 2 K, k2 = Hx. Since g; k are not in Hx they do not stabilize x. Thus gx; kx are not equal to x. Since G acts doubly transitively on X, there is an h 2 G so that hx = x and ¡1 h(gx) = kx. But then h; k hg 2 Hx < K so ¡1 g 2 h kHx ⊆ K which is a contradiction. 1 Lemma 15.5. If n ¸ 2, the action of SL(n; F ) and thus of P SL(n; F ) on projective space is doubly transitive. n¡1 n Proof. Suppose that L1;L2 are distinct elements of P (F )[Li ⊆ F ]. Then any nonzero vectors vi 2 Li will be linearly independent so can be extended n to a basis for F . Thus there is an A 2 GL(n; F ) so that Aei = vi for i = 1; 2. Let ¸ = det(A). Then B = A diag(¸¡1; 1; ¢ ¢ ¢ ; 1) 2 SL(n; F ) ¡1 sends e1 to ¸ v1 and e2 to v2. So BF ei = Li for i = 1; 2. Lemma 15.6. Every Xij(®) 2 SL(n; F ) is conjugate to an elementary ma- trix of the form X12(¯). Proof. Let σ 2 Sn be a permutation of f1; ¢ ¢ ¢ ; ng so that σ(1) = i; σ(2) = j. Let ² be the sign of σ. Then there is an s 2 SL(n; F ) so that s(e1) = ²ei and s(ek) = eσ(k) for all 2 · k · n. Then sX12(²®) = s(e1; e2 + ²®e1; e3; ¢ ¢ ¢ ; en) = (²ei; ej + ®ei; eσ(3); ¢ ¢ ¢ ; eσ(n)) = Xij(®)(²ei; ej; eσ(3); ¢ ¢ ¢ ; eσ(n)) = Xij(®)s: ¡1 Consequently, s Xij(®)s = X12(²®). Theorem 15.7. For n ¸ 2, P SL(n; F ) is simple with the exception of P SL(2; 2) and P SL(2; 3). Proof. Let P be the stabilizer of F e1 in SL(n; F ). Then P has the following properties: 1. P is a maximal subgroup of SL(n; F ) by Lemmas 15.4 and 15.5. ¡1 2. For any s 2 SL(n; F ), sP s is the stabilizer of s(F e1). 3. The elements of P can be written uniquely in the form: µ ¶ a v 0 B £ n¡1 1 where a 2 F , v 2 F and B 2 GL(n ¡ 1;F ) with det(B) = a . To show that P SL(n; F ) is simple it suffices to show that any proper normal subgroup N of SL(n; F ) is contained in its center. Case 1. Suppose first that N · P . Then N = sNs¡1 · sP s¡1 for all s 2 SL(n; F ). Consequently, N stabilizes every one dimensional subspace n¡1 F v 2 P (F ) and thus consists of scalar multiples of In by Lemma 15.2. Case 2. Now suppose that N is not contained in P . Then PN = SL(n; F ) by maximality of P . So for any K E P , we have KN E SL(n; F ) (since both P and N normalize KN). Let K be the group of all matrices of the form: µ ¶ 1 w 0 In¡1 2 This is a normal subgroup of P since: µ ¶ µ ¶ µ ¶ µ ¶ µ ¶ a v 1 w a v + aw 1 awB¡1 a v = = 0 B 0 In¡1 0 B 0 In¡1 0 B K is also abelian, being isomorphic to the additive group F n¡1. Since KN E SL(n; F ) and every generator Xij(¸) of SL(n; F ) is conjugate to an element of K by Lemma 15.6, we must have KN = SL(n; F ). But then SL(n; F ) K »= N K \ N is abelian (since K »= F n¡1 is abelian). By Theorem 14.8 this is impossible except in the cases of SL(2; 2) and SL(2; 3). Other matrices Permutation matrices were used in the proof of Lemma 15.6. If σ 2 Sn then the corresponding matrix Á(σ) 2 GL(n; F ) is given by Á(σ)(ei) = eσ(i). In words this is the matrix obtained from the identity matrix In by permuting its rows by σ. Thus, e.g., 0 1 0 0 1 Á(123) = @1 0 0A 0 1 0 This gives a homomorphism Á : Sn ! GL(n; F ) whose image Alperin calls W because it is the Weyl group in this case. The (standard) Borel subgroup of GL(n; F ) is the group of invertible upper triangular matrices: 80 19 < ¤ ¤ ¤ = B = @0 ¤ ¤A : ; 0 0 ¤ Note that this includes all diagonal matrices and all Xij(¸) where i < j. Theorem 15.8. GL(n; F ) = BW B. Proof. Take any A 2 GL(n; F ). Let anj be the first nonzero entry in the bottom row. Then by right multiplication by some b 2 B we can change this entry to 1 and clean (make into 0) the rest of the bottom row. By left multiplication by some b0 2 B we can clean the rest of the j-th column. Now suppose that the first nonzero entry in the n ¡ 1st row of b0Ab is the (n ¡ 1; k) entry. Then we can make it 1 and clean the rest of that row and column. Continuing in this way we find b1; b2 2 B s.t. b1Ab2 2 W so ¡1 ¡1 A 2 b1 W b2 ⊆ BW B. 3 This theorem says that GL(n; F ) is a union of the double cosets BwB. The following lemma implies that these double cosets are disjoint. Lemma 15.9. Suppose that w1; w2 2 W and b 2 B so that w1bw2 2 B. ¡1 Then w2 = w1 . Proof. For each t 2 F let b(t) be the matrix obtained from b by multiplying the off diagonal entries by t. Then w1b(t)w2 2 B for all t 2 F . In particular this is true for t = 0. But b(0) is a diagonal matrix so w1b(0)w2 2 B implies w1w2 = In. Theorem 15.10 (Bruhat decomposition). The double cosets BwB are disjoint. Consequently, GL(n; F ) can be expressed as a disjoint union: a GL(n; F ) = BwB w2W 0 Proof. Suppose that BwB intersects Bw B. Then there are elements bi of B 0 so that b1wb2 = b3w b4. But this implies ¡1 ¡1 0 ¡1 w b1 w = b4b2 2 B so w = w0 by Lemma 15.9. 4.
Load more

Recommended publications
  • Affine Springer Fibers and Affine Deligne-Lusztig Varieties
    Affine Springer Fibers and Affine Deligne-Lusztig Varieties Ulrich G¨ortz Abstract. We give a survey on the notion of affine Grassmannian, on affine Springer fibers and the purity conjecture of Goresky, Kottwitz, and MacPher- son, and on affine Deligne-Lusztig varieties and results about their dimensions in the hyperspecial and Iwahori cases. Mathematics Subject Classification (2000). 22E67; 20G25; 14G35. Keywords. Affine Grassmannian; affine Springer fibers; affine Deligne-Lusztig varieties. 1. Introduction These notes are based on the lectures I gave at the Workshop on Affine Flag Man- ifolds and Principal Bundles which took place in Berlin in September 2008. There are three chapters, corresponding to the main topics of the course. The first one is the construction of the affine Grassmannian and the affine flag variety, which are the ambient spaces of the varieties considered afterwards. In the following chapter we look at affine Springer fibers. They were first investigated in 1988 by Kazhdan and Lusztig [41], and played a prominent role in the recent work about the “fun- damental lemma”, culminating in the proof of the latter by Ngˆo. See Section 3.8. Finally, we study affine Deligne-Lusztig varieties, a “σ-linear variant” of affine Springer fibers over fields of positive characteristic, σ denoting the Frobenius au- tomorphism. The term “affine Deligne-Lusztig variety” was coined by Rapoport who first considered the variety structure on these sets. The sets themselves appear implicitly already much earlier in the study of twisted orbital integrals. We remark that the term “affine” in both cases is not related to the varieties in question being affine, but rather refers to the fact that these are notions defined in the context of an affine root system.
    [Show full text]
  • Low-Dimensional Representations of Matrix Groups and Group Actions on CAT (0) Spaces and Manifolds
    Low-dimensional representations of matrix groups and group actions on CAT(0) spaces and manifolds Shengkui Ye National University of Singapore January 8, 2018 Abstract We study low-dimensional representations of matrix groups over gen- eral rings, by considering group actions on CAT(0) spaces, spheres and acyclic manifolds. 1 Introduction Low-dimensional representations are studied by many authors, such as Gural- nick and Tiep [24] (for matrix groups over fields), Potapchik and Rapinchuk [30] (for automorphism group of free group), Dokovi´cand Platonov [18] (for Aut(F2)), Weinberger [35] (for SLn(Z)) and so on. In this article, we study low-dimensional representations of matrix groups over general rings. Let R be an associative ring with identity and En(R) (n ≥ 3) the group generated by ele- mentary matrices (cf. Section 3.1). As motivation, we can consider the following problem. Problem 1. For n ≥ 3, is there any nontrivial group homomorphism En(R) → En−1(R)? arXiv:1207.6747v1 [math.GT] 29 Jul 2012 Although this is a purely algebraic problem, in general it seems hard to give an answer in an algebraic way. In this article, we try to answer Prob- lem 1 negatively from the point of view of geometric group theory. The idea is to find a good geometric object on which En−1(R) acts naturally and non- trivially while En(R) can only act in a special way. We study matrix group actions on CAT(0) spaces, spheres and acyclic manifolds. We prove that for low-dimensional CAT(0) spaces, a matrix group action always has a global fixed point (cf.
    [Show full text]
  • The General Linear Group
    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
    [Show full text]
  • Arxiv:1702.00823V1 [Stat.OT] 2 Feb 2017
    Nonparametric Spherical Regression Using Diffeomorphic Mappings M. Rosenthala, W. Wub, E. Klassen,c, Anuj Srivastavab aNaval Surface Warfare Center, Panama City Division - X23, 110 Vernon Avenue, Panama City, FL 32407-7001 bDepartment of Statistics, Florida State University, Tallahassee, FL 32306 cDepartment of Mathematics, Florida State University, Tallahassee, FL 32306 Abstract Spherical regression explores relationships between variables on spherical domains. We develop a nonparametric model that uses a diffeomorphic map from a sphere to itself. The restriction of this mapping to diffeomorphisms is natural in several settings. The model is estimated in a penalized maximum-likelihood framework using gradient-based optimization. Towards that goal, we specify a first-order roughness penalty using the Jacobian of diffeomorphisms. We compare the prediction performance of the proposed model with state-of-the-art methods using simulated and real data involving cloud deformations, wind directions, and vector-cardiograms. This model is found to outperform others in capturing relationships between spherical variables. Keywords: Nonlinear; Nonparametric; Riemannian Geometry; Spherical Regression. 1. Introduction Spherical data arises naturally in a variety of settings. For instance, a random vector with unit norm constraint is naturally studied as a point on a unit sphere. The statistical analysis of such random variables was pioneered by Mardia and colleagues (1972; 2000), in the context of directional data. Common application areas where such data originates include geology, gaming, meteorology, computer vision, and bioinformatics. Examples from geographical domains include plate tectonics (McKenzie, 1957; Chang, 1986), animal migrations, and tracking of weather for- mations. As mobile devices become increasingly advanced and prevalent, an abundance of new spherical data is being collected in the form of geographical coordinates.
    [Show full text]
  • Limits of Geometries
    Limits of Geometries Daryl Cooper, Jeffrey Danciger, and Anna Wienhard August 31, 2018 Abstract A geometric transition is a continuous path of geometric structures that changes type, mean- ing that the model geometry, i.e. the homogeneous space on which the structures are modeled, abruptly changes. In order to rigorously study transitions, one must define a notion of geometric limit at the level of homogeneous spaces, describing the basic process by which one homogeneous geometry may transform into another. We develop a general framework to describe transitions in the context that both geometries involved are represented as sub-geometries of a larger ambi- ent geometry. Specializing to the setting of real projective geometry, we classify the geometric limits of any sub-geometry whose structure group is a symmetric subgroup of the projective general linear group. As an application, we classify all limits of three-dimensional hyperbolic geometry inside of projective geometry, finding Euclidean, Nil, and Sol geometry among the 2 limits. We prove, however, that the other Thurston geometries, in particular H × R and SL^2 R, do not embed in any limit of hyperbolic geometry in this sense. 1 Introduction Following Felix Klein's Erlangen Program, a geometry is given by a pair (Y; H) of a Lie group H acting transitively by diffeomorphisms on a manifold Y . Given a manifold of the same dimension as Y , a geometric structure modeled on (Y; H) is a system of local coordinates in Y with transition maps in H. The study of deformation spaces of geometric structures on manifolds is a very rich mathematical subject, with a long history going back to Klein and Ehresmann, and more recently Thurston.
    [Show full text]
  • Lie Group and Geometry on the Lie Group SL2(R)
    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
    [Show full text]
  • GEOMETRY and GROUPS These Notes Are to Remind You of The
    GEOMETRY AND GROUPS These notes are to remind you of the results from earlier courses that we will need at some point in this course. The exercises are entirely optional, although they will all be useful later in the course. Asterisks indicate that they are harder. 0.1 Metric Spaces (Metric and Topological Spaces) A metric on a set X is a map d : X × X → [0, ∞) that satisfies: (a) d(x, y) > 0 with equality if and only if x = y; (b) Symmetry: d(x, y) = d(y, x) for all x, y ∈ X; (c) Triangle Rule: d(x, y) + d(y, z) > d(x, z) for all x, y, z ∈ X. A set X with a metric d is called a metric space. For example, the Euclidean metric on RN is given by d(x, y) = ||x − y|| where v u N ! u X 2 ||a|| = t |an| n=1 is the norm of a vector a. This metric makes RN into a metric space and any subset of it is also a metric space. A sequence in X is a map N → X; n 7→ xn. We often denote this sequence by (xn). This sequence converges to a limit ` ∈ X when d(xn, `) → 0 as n → ∞ . A subsequence of the sequence (xn) is given by taking only some of the terms in the sequence. So, a subsequence of the sequence (xn) is given by n 7→ xk(n) where k : N → N is a strictly increasing function. A metric space X is (sequentially) compact if every sequence from X has a subsequence that converges to a point of X.
    [Show full text]
  • 10 Group Theory
    10 Group theory 10.1 What is a group? A group G is a set of elements f, g, h, ... and an operation called multipli- cation such that for all elements f,g, and h in the group G: 1. The product fg is in the group G (closure); 2. f(gh)=(fg)h (associativity); 3. there is an identity element e in the group G such that ge = eg = g; 1 1 1 4. every g in G has an inverse g− in G such that gg− = g− g = e. Physical transformations naturally form groups. The elements of a group might be all physical transformations on a given set of objects that leave invariant a chosen property of the set of objects. For instance, the objects might be the points (x, y) in a plane. The chosen property could be their distances x2 + y2 from the origin. The physical transformations that leave unchanged these distances are the rotations about the origin p x cos ✓ sin ✓ x 0 = . (10.1) y sin ✓ cos ✓ y ✓ 0◆ ✓− ◆✓ ◆ These rotations form the special orthogonal group in 2 dimensions, SO(2). More generally, suppose the transformations T,T0,T00,... change a set of objects in ways that leave invariant a chosen property property of the objects. Suppose the product T 0 T of the transformations T and T 0 represents the action of T followed by the action of T 0 on the objects. Since both T and T 0 leave the chosen property unchanged, so will their product T 0 T . Thus the closure condition is satisfied.
    [Show full text]
  • Matrix Lie Groups and Their Lie Algebras
    Matrix Lie groups and their Lie algebras Alen Alexanderian∗ Abstract We discuss matrix Lie groups and their corresponding Lie algebras. Some common examples are provided for purpose of illustration. 1 Introduction The goal of these brief note is to provide a quick introduction to matrix Lie groups which are a special class of abstract Lie groups. Study of matrix Lie groups is a fruitful endeavor which allows one an entry to theory of Lie groups without requiring knowl- edge of differential topology. After all, most interesting Lie groups turn out to be matrix groups anyway. An abstract Lie group is defined to be a group which is also a smooth manifold, where the group operations of multiplication and inversion are also smooth. We provide a much simple definition for a matrix Lie group in Section 4. Showing that a matrix Lie group is in fact a Lie group is discussed in standard texts such as [2]. We also discuss Lie algebras [1], and the computation of the Lie algebra of a Lie group in Section 5. We will compute the Lie algebras of several well known Lie groups in that section for the purpose of illustration. 2 Notation Let V be a vector space. We denote by gl(V) the space of all linear transformations on V. If V is a finite-dimensional vector space we may put an arbitrary basis on V and identify elements of gl(V) with their matrix representation. The following define various classes of matrices on Rn: ∗The University of Texas at Austin, USA. E-mail: [email protected] Last revised: July 12, 2013 Matrix Lie groups gl(n) : the space of n
    [Show full text]
  • Generating Sequences of PSL(2,P) Which Will Eventually Lead Us to Study How This Group Behaves with Respect to the Replacement Property
    Generating Sequences of PSL(2,p) Benjamin Nachmana aCornell University, 310 Malott Hall, Ithaca, NY 14853 USA Abstract Julius Whiston and Jan Saxl [14] showed that the size of an irredundant generating set of the group G = PSL(2,p) is at most four and computed the size m(G) of a maximal set for many primes. We will extend this result to a larger class of primes, with a surprising result that when p 1 mod 10, m(G) = 3 except for the special case p = 7. In addition, we6≡ will ± determine which orders of elements in irredundant generating sets of PSL(2,p) with lengths less than or equal to four are possible in most cases. We also give some remarks about the behavior of PSL(2,p) with respect to the replacement property for groups. Keywords: generating sequences, general position, projective linear group 1. Introduction The two dimensional projective linear group over a finite field with p ele- ments, PSL(2,p) has been extensively studied since Galois, who constructed them and showed their simplicity for p > 3 [15]. One of their nice prop- erties is due to a theorem by E. Dickson, which shows that there are only a small number of possibilities for the isomorphism types of maximal sub- arXiv:1210.2073v2 [math.GR] 4 Aug 2014 groups. There are two possibilities: ones that exist for all p and ones that exist for exceptional primes. A more recent proof of Dickson’s Theorem can be found in [10] and a complete proof due to Dickson is in [3].
    [Show full text]
  • 2-Arcs of Maximal Size in the Affine and the Projective Hjelmslev Plane Over Z25
    Advances in Mathematics of Communications doi:10.3934/amc.2011.5.287 Volume 5, No. 2, 2011, 287{301 2-ARCS OF MAXIMAL SIZE IN THE AFFINE AND THE PROJECTIVE HJELMSLEV PLANE OVER Z25 Michael Kiermaier, Matthias Koch and Sascha Kurz Institut f¨urMathematik Universit¨atBayreuth D-95440 Bayreuth, Germany (Communicated by Veerle Fack) Abstract. It is shown that the maximal size of a 2-arc in the projective Hjelmslev plane over Z25 is 21, and the (21; 2)-arc is unique up to isomorphism. Furthermore, all maximal (20; 2)-arcs in the affine Hjelmslev plane over Z25 are classified up to isomorphism. 1. Introduction It is well known that a Desarguesian projective plane of order q admits a 2-arc of size q + 2 if and only if q is even. These 2-arcs are called hyperovals. The biggest 2-arcs in the Desarguesian projective planes of odd order q have size q + 1 and are called ovals. For a projective Hjelmslev plane over a chain ring R of composition length 2 and size q2, the situation is somewhat similar: In PHG(2;R) there exists a hyperoval { that is a 2-arc of size q2 + q + 1 { if and only if R is a Galois ring of size q2 with q even, see [7,6]. For the case q odd and R not a Galois ring it was recently shown 2 that the maximum size m2(R) of a 2-arc is q , see [4]. In the remaining cases, the situation is less clear. For even q and R not a Galois ring, it is known that the maximum possible size of a 2-arc is lower bounded by q2 + 2 [4] and upper bounded by q2 + q [6].
    [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]