DOCSLIB.ORG

DENSE ORBITS and DOUBLE COSETS Department of Pure

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
DENSE ORBITS and DOUBLE COSETS Department of Pure DENSE ORBITS AND DOUBLE COSETS JONATHAN BRUNDAN Department of Pure Mathematics 16, Mill Lane Cambridge, CB2 1SB Introduction Throughout, G denotes a connected reductive algebraic group defined over an algebraically closed field k of characteristic p 0. We are mainly inter- ested here in positive characteristic. ≥ In his article in these proceedings, Seitz considers the problem of finding closed subgroups H and P of G for which there are finitely many H; P - double cosets in G; of particular interest is the case when H is reductive and P is parabolic. We will describe some results on the closely related (and often easier) problem of finding such subgroups H and P with a dense H; P -double coset in G. We mention two special cases: first, let ρ : H G = GL(V ) be a rational representation of H and let P be the stabilizer! in G of a 1-space in V . Then, there is a dense ρH; P -double coset in G if and only if H has a dense orbit on the set of 1-subspaces of V { that is, V is a prehomogeneous space for H. Irreducible prehomogeneous spaces have been classified in [26] (p = 0) and [5], [6] (p > 0). Secondly, take G to be arbitrary but let P = B be a Borel subgroup of G. Then, subgroups H of G with a dense orbit on the flag variety G=B { equivalently, a dense H; B-double coset { are called spherical subgroups, and the associated varieties G=H are spherical varieties (see [3] for a sur- vey of some geometric results). In characteristic 0, all reductive spherical subgroups of G have been classified, by Kr¨amer[16] (G simple) and Brion [2], Mikityuk [20] (G reductive); there is at present no such classification in positive characteristic. One aim of this article is to make precise a reduction modulo p argu- ment, assuming that the subgroup H is ‘defined over integers' in a suitable way. This argument depends on a representation-theoretic criterion for the 260 existence of a dense H; P -double coset due to Kimel'fel'd and Vinberg, which we review in section 1. The reduction modulo p argument described in section 2 will sometimes allow us to deduce the existence of a dense H; P -double coset in character- istic p from (often known) existence in characteristic 0. For this to work, we need the subgroup H to satisfy an extra condition connected with good filtrations; we give some examples (and non-examples) of subgroups satisfy- ing this extra condition in section 3. In particular, by a result of Donkin and Mathieu, all Levi subgroups satisfy the condition, so we obtain the classifi- cation of all spherical Levi subgroups immediately from Kr¨amer'sclassifi- cation over C. The problem of classifying more general spherical subgroups is discussed further in section 4. We conclude the introduction with some remarks on the relationship between the existence of a dense H; P -double coset as discussed here and the existence of finitely many double cosets as in Seitz's problem. Of course, if there are finitely many H; P -double cosets in G then there is a dense one, but the converse is false in general. For instance, take H to be the unipotent radical of the opposite parabolic subgroup to P : there is always a dense H; P -double coset in G, but there are finitely many double cosets if and only if the Dynkin diagram of P is a union of connected components of the Dynkin diagram of G. However, in the special case that P = B is a Borel subgroup of G, the existence of a dense H; B-double coset in G does imply that there are finitely many H; B-double cosets in G. This follows from the following remarkable result (with X = G=H), due to Brion [1] and Vinberg [29] in characteristic 0 and recently extended to positive characteristic by Knop [15, Corollary 2.6]: Finiteness Theorem Suppose that X is an irreducible G-variety on which B has a dense orbit. Then, B has finitely many orbits on X. So, the reductive spherical subgroups give a family of examples in Seitz's finite orbit problem. 1. Representation-theoretic interpretation In this section, we review results of Kimel'fel'd and Vinberg [14] giving representation-theoretic criteria for the existence of dense orbits. These results were originally proved only in characteristic 0, but generalize quite easily to arbitrary characteristic, as is well known to several authors. First, we set up notation that will be in place for the remainder of the article. Always, G will denote a connected reductive algebraic group with fixed Borel subgroup B containing a maximal torus T . Let X(T ) denote the character group of T , W = NG(T )=T denote the Weyl group, and choose 261 R a W -invariant inner product ; on Z X(T ). Let Φ X(T ) denote the h i ⊗ 2α ⊂ root system of G. For α Φ, α denotes . Let αi i I be a base 2 _ α,α f j 2 g for Φ, chosen so that B contains all negativeh iroot subgroups. For α Φ, 2 let Uα denote the corresponding T -root subgroup of G and for a subset J of I, let PJ denote the standard parabolic subgroup B; Uαj j J . Let X(T )+ X(T ) denote the dominant weights,h i.e. thej 2 weightsi λ ⊂ satisfying λ, α 0 for all i I. Let !i i I denote the fundamental h i_i ≥ 2 f j 2 g dominant weights, satisfying !i; αj_ = δij for all i; j I. Our labelling of h i + 2 Dynkin diagrams is as in [11]. For λ X(T ) let G(λ) denote the dual G 2 r Weyl module indBλ, and let ∆G(λ) denote the corresponding Weyl module, which is the contravariant dual of G(λ). Given an algebraic group S andr an irreducible S-variety X, we let k(X) 1 denote the function field of X; S acts on k(X) by (g:f)(x) = f(g− x) for f k(X) defined at x X, and g S. We let k(X)S denote the S-fixed points2 in k(X). We have2 the basic invariant-theoretic2 fact: Lemma 1.1 (Rosenlicht, [25]) The transcendence degree of k(X)S over k equals the minimum codimension of an S-orbit in X. In particular, S has a dense orbit on X if and only if k(X)S = k. Now we give the two results of Kimel'fel'd and Vinberg. The first is [14, Theorem 2]; we have included the proof since it is quite instructive. Theorem 1.2 Let X be an irreducible affine G-variety. Then, B has a dense orbit on X if and only if HomG(∆G(λ); k[X]) is at most 1-dimensional for all λ X(T )+. 2 Proof. For notational convenience, we work with the opposite Borel sub- + group B to B. Suppose that HomG(∆G(λ); k[X]) is at least 2-dimensional for some λ. Then, we can find linearly independent functions f; g k[X] that are B+-high weight vectors of weight λ. But then the quotient2f=g k(X) is a non-constant B+-invariant, so there is no dense B+-orbit on X2. Conversely, suppose that there is no dense orbit, so that we can find a non-constant B+-invariant function φ k(X)B+ by Lemma 1.1. As X is affine, we can write φ = f=g for f; g 2k[X]. The B+-submodule V of 2 + k[X] generated by f is finite-dimensional, so we can find b1; : : : ; bn B +2 such that V = b1:f; : : : ; bn:f . Now, by the Lie-Kolchin theorem, B fixes h i a 1-space in V , so there are scalars ci k such that f~ := cibi:f spans a + 2 P B -stable 1-space, of weight λ say. Letg ~ = cibi:g. Since f=g is B+-invariant, f(b:g) = g(b:f)P for all b B+, so gf~ = fg~, so f=~ g~ = f=g. This is B+-invariant, so as b:f~ = λ(b)f~ for2 all b B+, the same is true forg ~. But φ is non-constant, so f~ andg ~ are linearly independent2 B+- high weight vectors in k[X] of high weight λ. Now the universal property of Weyl modules implies that dim HomG(∆G(λ); k[X]) 2. ≥ 262 Recall that a subgroup H of G is spherical if it has a dense orbit on G=B. As a corollary to the theorem, we obtain a representation-theoretic criterion for reductive spherical subgroups: Corollary 1.3 Let H be a closed, connected reductive subgroup of G. Then, H is spherical if and only if the fixed point space H G(λ) r is at most 1-dimensional for all λ X(T )+. 2 Proof. There is a dense H-orbit on G=B if and only if there is a dense B-orbit on G=H. Now we note that the variety G=H is an affine variety as H is reductive, by [22], and apply Theorem 1.2 to deduce that there is a dense B-orbit on G=H if and only if HomG(∆G(λ); k[G=H]) is at most 1-dimensional for all λ X(T )+. To complete the proof, the G-module 2 G k[G=H] is precisely the induced module indH k, so by Frobenius reciprocity [13, I.3.4], HomG(∆G(λ); k[G=H]) ∼= HomH (∆G(λ); k).
Load more

Recommended publications
  • Arxiv:2003.06292V1 [Math.GR] 12 Mar 2020 Eggnrtr N Ignlmti.Tedaoa Arxi Matrix Diagonal the Matrix
    ALGORITHMS IN LINEAR ALGEBRAIC GROUPS SUSHIL BHUNIA, AYAN MAHALANOBIS, PRALHAD SHINDE, AND ANUPAM SINGH ABSTRACT. This paper presents some algorithms in linear algebraic groups. These algorithms solve the word problem and compute the spinor norm for orthogonal groups. This gives us an algorithmic definition of the spinor norm. We compute the double coset decompositionwith respect to a Siegel maximal parabolic subgroup, which is important in computing infinite-dimensional representations for some algebraic groups. 1. INTRODUCTION Spinor norm was first defined by Dieudonné and Kneser using Clifford algebras. Wall [21] defined the spinor norm using bilinear forms. These days, to compute the spinor norm, one uses the definition of Wall. In this paper, we develop a new definition of the spinor norm for split and twisted orthogonal groups. Our definition of the spinornorm is rich in the sense, that itis algorithmic in nature. Now one can compute spinor norm using a Gaussian elimination algorithm that we develop in this paper. This paper can be seen as an extension of our earlier work in the book chapter [3], where we described Gaussian elimination algorithms for orthogonal and symplectic groups in the context of public key cryptography. In computational group theory, one always looks for algorithms to solve the word problem. For a group G defined by a set of generators hXi = G, the problem is to write g ∈ G as a word in X: we say that this is the word problem for G (for details, see [18, Section 1.4]). Brooksbank [4] and Costi [10] developed algorithms similar to ours for classical groups over finite fields.
    [Show full text]
  • Finite Resolutions of Modules for Reductive Algebraic Groups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA I@473488 (1986) Finite Resolutions of Modules for Reductive Algebraic Groups S. DONKIN School of Mathematical Sciences, Queen Mary College, Mile End Road, London El 4NS, England Communicafed by D. A. Buchsbaum Received January 22, 1985 INTRODUCTION A popular theme in recent work of Akin and Buchsbaum is the construc- tion of a finite left resolution of a suitable G&-module M by modules which are required to be direct sums of tensor products of exterior powers of the natural representation. In particular, in [Z, 31, for partitions 1 and p, resolutions are constructed for the modules L,(F) and L,,,(F) (the Schur functor corresponding to 1 and the skew Schur functor corresponding to (A, p), evaluated at F), where F is a free module over a field or the integers. The purpose of this paper is to characterise the GL,-modules which admit such a resolution as those modules which have a filtration in which each successivequotient has the form L,(F) for some partition p. By contrast with [2,3] we do not produce resolutions explicitly. Our methods are independent of those of Akin and Buchsbaum (we give a new proof of their result on the existence of a resolution for L,(F)) and are algebraic group theoretic in nature. We have therefore cast our main result (the theorem of Section 1) as a statement about resolutions for reductive algebraic groups over an algebraically closed field.
    [Show full text]
  • Unitary Group - Wikipedia
    Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group Unitary group In mathematics, the unitary group of degree n, denoted U( n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group. The unitary group U( n) is a real Lie group of dimension n2. The Lie algebra of U( n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes ) consists of all matrices A such that A∗A is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix. Contents Properties Topology Related groups 2-out-of-3 property Special unitary and projective unitary groups G-structure: almost Hermitian Generalizations Indefinite forms Finite fields Degree-2 separable algebras Algebraic groups Unitary group of a quadratic module Polynomial invariants Classifying space See also Notes References Properties Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group 1 of 7 2/23/2018, 10:13 AM Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group homomorphism The kernel of this homomorphism is the set of unitary matrices with determinant 1.
    [Show full text]
  • Some Finiteness Results for Groups of Automorphisms of Manifolds 3
    SOME FINITENESS RESULTS FOR GROUPS OF AUTOMORPHISMS OF MANIFOLDS ALEXANDER KUPERS Abstract. We prove that in dimension =6 4, 5, 7 the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses homological stability, embedding calculus and the arithmeticity of mapping class groups. From this we deduce similar results for the homeomorphisms of Rn and various types of automorphisms of 2-connected manifolds. Contents 1. Introduction 1 2. Homologically and homotopically finite type spaces 4 3. Self-embeddings 11 4. The Weiss fiber sequence 19 5. Proofs of main results 29 References 38 1. Introduction Inspired by work of Weiss on Pontryagin classes of topological manifolds [Wei15], we use several recent advances in the study of high-dimensional manifolds to prove a structural result about diffeomorphism groups. We prove the classifying spaces of such groups are often “small” in one of the following two algebro-topological senses: Definition 1.1. Let X be a path-connected space. arXiv:1612.09475v3 [math.AT] 1 Sep 2019 · X is said to be of homologically finite type if for all Z[π1(X)]-modules M that are finitely generated as abelian groups, H∗(X; M) is finitely generated in each degree. · X is said to be of finite type if π1(X) is finite and πi(X) is finitely generated for i ≥ 2. Being of finite type implies being of homologically finite type, see Lemma 2.15. Date: September 4, 2019. Alexander Kupers was partially supported by a William R.
    [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]
  • Underlying Varieties and Group Structures 3
    UNDERLYING VARIETIES AND GROUP STRUCTURES VLADIMIR L. POPOV Abstract. Starting with exploration of the possibility to present the underlying variety of an affine algebraic group in the form of a product of some algebraic varieties, we then explore the naturally arising problem as to what extent the group variety of an algebraic group determines its group structure. 1. Introduction. This paper arose from a short preprint [16] and is its extensive extension. As starting point of [14] served the question of B. Kunyavsky [10] about the validity of the statement, which is for- mulated below as Corollary of Theorem 1. This statement concerns the possibility to present the underlying variety of a connected reductive algebraic group in the form of a product of some special algebraic va- rieties. Sections 2, 3 make up the content of [16], where the possibility of such presentations is explored. For some of them, in Theorem 1 is proved their existence, and in Theorems 2–5, on the contrary, their non-existence. Theorem 1 shows that there are non-isomorphic reductive groups whose underlying varieties are isomorphic. In Sections 4–10, we explore the problem, naturally arising in connection with this, as to what ex- tent the underlying variety of an algebraic group determines its group structure. In Theorems 6–8, it is shown that some group properties (dimension of unipotent radical, reductivity, solvability, unipotency, arXiv:2105.12861v1 [math.AG] 26 May 2021 toroidality in the sense of Rosenlicht) are equivalent to certain geomet- ric properties of the underlying group variety. Theorem 8 generalizes to solvable groups M.
    [Show full text]
  • 1:34 Pm April 11, 2013 Red.Tex
    1:34 p.m. April 11, 2013 Red.tex The structure of reductive groups Bill Casselman University of British Columbia, Vancouver [email protected] An algebraic group defined over F is an algebraic variety G with group operations specified in algebraic terms. For example, the group GLn is the subvariety of (n + 1) × (n + 1) matrices A 0 0 a with determinant det(A) a = 1. The matrix entries are well behaved functions on the group, here for 1 example a = det− (A). The formulas for matrix multiplication are certainly algebraic, and the inverse of a matrix A is its transpose adjoint times the inverse of its determinant, which are both algebraic. Formally, this means that we are given (a) an F •rational multiplication map G × G −→ G; (b) an F •rational inverse map G −→ G; (c) an identity element—i.e. an F •rational point of G. I’ll look only at affine algebraic groups (as opposed, say, to elliptic curves, which are projective varieties). In this case, the variety G is completely characterized by its affine ring AF [G], and the data above are respectively equivalent to the specification of (a’) an F •homomorphism AF [G] −→ AF [G] ⊗F AF [G]; (b’) an F •involution AF [G] −→ AF [G]; (c’) a distinguished homomorphism AF [G] −→ F . The first map expresses a coordinate in the product in terms of the coordinates of its terms. For example, in the case of GLn it takes xik −→ xij ⊗ xjk . j In addition, these data are subject to the group axioms. I’ll not say anything about the general theory of such groups, but I should say that in practice the specification of an algebraic group is often indirect—as a subgroup or quotient, say, of another simpler one.
    [Show full text]
  • Lectures on Lie Groups Over Local Fields
    Lectures on Lie Groups over Local Fields Helge Gl¨ockner1 Abstract The goal of these notes is to provide an introduction to p-adic Lie groups and Lie groups over fields of Laurent series, with an emphasis on the dynamics of automorphisms and the specialization of Willis’ theory to this setting. In particular, we shall discuss the scale, tidy subgroups and contraction groups for automorphisms of Lie groups over local fields. Special attention is paid to the case of Lie groups over local fields of positive characteristic. Classification: Primary 22E20; Secondary 22D05, 22E35, 26E30, 37D10. Key words: Lie group, local field, ultrametric field, totally disconnected group, locally profinite group, Willis theory, tidy subgroup, contraction group, scale, Levi factor, invariant manifold, stable manifold, positive characteristic. Introduction Lie groups over local fields (notably p-adic Lie groups) are among those totally disconnected, locally compact groups which are both well accessible and arise frequently. For example, p-adic Lie groups play an important role in the theory of pro-p-groups (i.e., projective limits of finite p-groups), where they are called “analytic pro-p-groups.” In ground-breaking work in the 1960s, Michel Lazard obtained deep insights into the structure of analytic pro-p-groups and characterized them within the class of pro-p-groups [32] arXiv:0804.2234v5 [math.GR] 28 Dec 2016 (see [10] and [11] for later developments). It is possible to study Lie groups over local fields from various points of view and on various levels, taking more and more structure into account. At the most basic level, they can be considered as mere topological groups.
    [Show full text]
  • ALGEBRAIC GROUPS: PART III Contents 10. the Lie Algebra of An
    ALGEBRAIC GROUPS: PART III EYAL Z. GOREN, MCGILL UNIVERSITY Contents 10. The Lie algebra of an algebraic group 47 10.1. Derivations 47 10.2. The tangent space 47 10.2.1. An intrinsic algebraic definition 47 10.2.2. A naive non-intrinsic geometric definition 48 10.2.3. Via point derivations 49 10.3. Regular points 49 10.4. Left invariant derivations 51 10.5. Subgroups and Lie subalgebras 54 10.6. Examples 55 10.6.1. The additive group Ga. 55 10.6.2. The multiplicative group Gm 55 10.6.3. The general linear group GLn 56 10.6.4. Subgroups of GLn 57 10.6.5. A useful observation 58 10.6.6. Products 58 10.6.7. Tori 58 10.7. The adjoint representation 58 10.7.1. ad - The differential of Ad. 60 Date: Winter 2011. 46 ALGEBRAIC GROUPS: PART III 47 10. The Lie algebra of an algebraic group 10.1. Derivations. Let R be a commutative ring, A an R-algebra and M an A-module. A typical situation for us would be the case where R is an algebraically closed field, A the ring of regular functions of an affine k-variety and M is either A itself, or A=M, where M is a maximal ideal. Returning to the general case, define D, an M-valued R-derivation of A, to be a function D : A ! M; such that D is R-linear and D(ab) = a · D(b) + b · D(a): We have used the dot here to stress the module operation: a 2 A and D(b) 2 M and a · D(b) denotes the action of an element of the ring A on an element of the module M.
    [Show full text]
  • Geometric Representation Theory of SL2(R)
    Geometric representation theory of SL2(R) Justin Campbell April 20, 2015 1 Introduction The representation theory of SL2(R) is of interest to number theorists and physicists, notably through its connection to the theory of modular forms. The importance of the discrete series representations where these modular forms live was recogized classically, but a full classification of the irreducible admissible representations was only accomplished by Bargmann in 1947. The goal of this note is to give an algebro- geometric account of the classification using the theory of D-modules. Notations: GR = SL2(R) G = SL2(C) g = sl2(C) U(g) = the universal enveloping algebra of g Z(g) = the center of U(g) ∼ 1 KR = SO2(R) = S ∼ K = SO2(C) = Gm 2 Harish-Chandra modules We are interested a priori in representations of GR acting on certain topological vector spaces (e.g. Hilbert, Banach, and Fr´echet spaces), but this involves functional analysis. If we na¨ıvely attempted to classify irreducible admissible representations up to isomorphism, we would find that many representations which are defined by the same formulas and therefore \the same" representation-theoretically are non-isomorphic for topological reasons. Example 2.1. Consider the adjoint action of G on 1 =∼ S1. This is induces an action of G on the Hilbert R PR R space L2(S1), the Banach spaces Lp(S1) for all p, the Frechet space C1(S1), etc. For this reason we will formulate the notion of infinitesimal equivalence, which is insensitive to these analytic subtleties. This leads naturally to the consideration of Harish-Chandra modules.
    [Show full text]
  • A Linear Algebraic Group? Skip Garibaldi
    WHATIS... ? a Linear Algebraic Group? Skip Garibaldi From a marketing perspective, algebraic groups group over F, a Lie group, or a topological group is are poorly named.They are not the groups you met a “group object” in the category of affine varieties as a student in abstract algebra, which I will call over F, smooth manifolds, or topological spaces, concrete groups for clarity. Rather, an algebraic respectively. For algebraic groups, this implies group is the analogue in algebra of a topological that the set G(K) is a concrete group for each field group (fromtopology) or a Liegroup (from analysis K containing F. and geometry). Algebraic groups provide a unifying language Examples for apparently different results in algebra and The basic example is the general linear group number theory. This unification can not only sim- GLn for which GLn(K) is the concrete group of plify proofs, it can also suggest generalizations invertible n-by-n matrices with entries in K. It is the and bring new tools to bear, such as Galois co- collection of solutions (t, X)—with t ∈ K and X an homology, Steenrod operations in Chow theory, n-by-n matrix over K—to the polynomial equation etc. t ·det X = 1. Similar reasoning shows that familiar matrix groups such as SLn, orthogonal groups, Definitions and symplectic groups can be viewed as linear A linear algebraic group over a field F is a smooth algebraic groups. The main difference here is that affine variety over F that is also a group, much instead of viewing them as collections of matrices like a topological group is a topological space over F, we view them as collections of matrices that is also a group and a Lie group is a smooth over every extension K of F.
    [Show full text]
  • Linear Algebraic Groups
    Clay Mathematics Proceedings Volume 4, 2005 Linear Algebraic Groups Fiona Murnaghan Abstract. We give a summary, without proofs, of basic properties of linear algebraic groups, with particular emphasis on reductive algebraic groups. 1. Algebraic groups Let K be an algebraically closed field. An algebraic K-group G is an algebraic variety over K, and a group, such that the maps µ : G × G → G, µ(x, y) = xy, and ι : G → G, ι(x)= x−1, are morphisms of algebraic varieties. For convenience, in these notes, we will fix K and refer to an algebraic K-group as an algebraic group. If the variety G is affine, that is, G is an algebraic set (a Zariski-closed set) in Kn for some natural number n, we say that G is a linear algebraic group. If G and G′ are algebraic groups, a map ϕ : G → G′ is a homomorphism of algebraic groups if ϕ is a morphism of varieties and a group homomorphism. Similarly, ϕ is an isomorphism of algebraic groups if ϕ is an isomorphism of varieties and a group isomorphism. A closed subgroup of an algebraic group is an algebraic group. If H is a closed subgroup of a linear algebraic group G, then G/H can be made into a quasi- projective variety (a variety which is a locally closed subset of some projective space). If H is normal in G, then G/H (with the usual group structure) is a linear algebraic group. Let ϕ : G → G′ be a homomorphism of algebraic groups. Then the kernel of ϕ is a closed subgroup of G and the image of ϕ is a closed subgroup of G.
    [Show full text]