DOCSLIB.ORG

E Algebraic Groups 111 E.1 Algebraic Group Actions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Holonomy Groups of Flat Pseudo-Riemannian Homogeneous Manifolds Zur Erlangung des wissenschaftlichen Grades eines Doktors der Naturwissenschaften von der Fakultät für Mathematik des Karlsruher Instituts für Technologie genehmigte Dissertation von Dipl.Inform.Wolfgang Globke Tag der mündlichen Prüfung: 29. Juni 2011 Referent: HDoz.Dr.Oliver Baues Korreferent: Prof.Dr.Enrico Leuzinger Version of June 11, 2011. iii Acknowledgments This thesis grew during my time as a research assistant at the workgroup for metric geometry under the supervision of HDoz.Dr.Oliver Baues. During the last year of intense work on this thesis he took great care in inspecting and discussing my results (literally to the last minute). While doing so, he unrelentingly pressed for rigour and clarity in my work, and this certainly helped me improve my thesis both in style and in substance. When discussing mathematics, Oliver has a striking ability to ask the right questions (and give many right answers), and his questions repeatedly inspired me to investigate new aspects of my subject. On a personal level, we had a very friendly working relationship and the time spent working at the institute was quite enjoyable. Without a doubt I can say that I am happy to have Oliver as my Doktorvater. Prof.Dr.Enrico Leuzinger, my thesis’ second referee, chairs the workgroup for metric geometry. In this position he grants his staff the freedom to pursue their scientific interests. Whenever necessary, he takes some time to discuss questions and offer helpful advice. Prof.Joseph A. Wolf kindly provided a first draft of the revised chapter on flat pseudo-Riemannian homogeneous spaces from the 6th edition of his book on spaces of constant curvature. This draft inspired me to search for a proof that the linear holonomy of a Wolf group should always be abelian, which eventually lead to the discovery of examples with non-abelian linear holonomy, from which the thesis developed on. Jessica Hoffmann has been a dear and supportive friend for many years and also provided a non-mathematician’s view on my thesis’ introduction. That my time working at the metric geometry workgoup was most enjoyable is not in small part owed to my former and current colleagues, Slavyana Geninska,Gabi Link, Andreas Weber,Hannes Riesterer and Sebastian Grensing. They also kindly proofread an earlier version of my thesis and gave valuable remarks to improve the exposition. Before my thesis got off the ground, it was Klaus Spitzmuller¨ who repeatedly reminded me to stay focused on my work and not let me get distracted by my teaching duties. Our workgroup secretary Anne-Marie Vacchi- ani’s friendly and helpful manner greatly eased the burden of the uninevitable administrative duties to be performed. Finally, Sarah Vanessa Schlafmutze¨ “provided” food and shelter throughout the work on this thesis. My thanks to all of you! Karlsruhe, June 2011 Wolfgang Globke iv v Notation and Conventions Throughout this text, we use the following notation: The pseudo-Euclidean space Rn endowed with an indefinite inner • product of signature r; s (where n = r + s) is denoted by Rr;s. In n;0 0;n n 1;1 1;n 1 particular, R R is the Euclidean space, and R − R − is the Minkowski space. Unless stated otherwise, the vectors e1;:::; en denote the canonical • basis of Rn. Elements of Rn are represented by column vectors. To save space, • these columns will sometimes also be written as n-tuples without further remark. The kernel and the image of a linear map A are denoted by ker A and • im A, respectively. Groups will be denoted by boldface letters, G, and Lie algebras will • be denoted by German letters, g. The Lie algebra of a Lie group G is denoted by Lie(G). The neutral element of an abstract group G is denoted by 1G or 1. For • matrix groups, we also write I or I for the n n-identity matrix. n × The action of a group element g on elements x of some set is denoted • by g:x. The one-dimensional additive and multiplicative groups are denoted • by G+ and G×, respectively. By a mild abuse of language, when we speak of the Zariski closure of • a group G Aff(Rn), we shall always mean the real Zariski closure, that is, the ⊂R-points of its complex Zariski closure. The differential of a smooth map f is denoted by f or d f . • ∗ Different parts of a proposition or a theorem are labeled by (a), (b), • etc., and the parts of the proof referring to these are labeled the same way. Different steps in the proof of one statemend are labeled by small Roman numerals (i), (ii), etc. See also the appendices for some standard notations. vi Contents vii Contents Notation v Introduction xi I Flat Pseudo-Riemannian Homogeneous Spaces 1 1 Isometries of Flat Pseudo-Riemannian Homogeneous Spaces 1 1.1 Flat Pseudo-Riemannian Manifolds . .1 1.2 Killing Fields and the Development Representation . .3 1.3 Wolf Groups . .4 2 Representations of Wolf Groups 9 2.1 Some Bookkeeping . .9 2.2 The Matrix Representation . 12 2.3 Translation Parts . 15 2.4 Criteria for Fixed Points . 16 2.5 Dimension Bounds . 22 3 The Centraliser 25 3.1 Algebraic Properties . 25 3.2 Matrix Representation of the Centraliser . 28 3.3 Remarks on Translationally Isotropic Domains . 29 4 Compact Flat Homogeneous Spaces 33 4.1 Compact Flat Pseudo-Riemannian Homogeneous Spaces . 33 4.2 Lie Algebras with Bi-Invariant Metric . 35 5 Orbits of Wolf Groups 37 5.1 The Orbits . 37 5.2 An Algebraic Principal Bundle . 37 5.3 The Affine and Metric Structure on the Orbits . 40 viii Contents 5.4 Pseudo-Riemannian Submersions . 46 6 The Lorentz Case and Low Dimensions 49 6.1 Riemann and Lorentz Metrics . 49 6.2 Generalities on Abelian Wolf Groups . 50 6.3 Signature (n 2; 2) ........................ 51 − 6.4 Dimension 5........................... 55 ≤ 6.5 Dimension 6 . 56 II Main Examples 63 7 Miscellanea 63 7.1 On Open Orbits . 63 7.2 Formulae . 64 7.3 A Criterion for Properness . 65 8 Abelian Holonomy (3,5) 69 9 Compact (3,3) 71 9.1 A Nilpotent Lie Group with Flat Bi-Invariant Metric . 71 9.2 A Lattice in G ........................... 72 9.3 The Development Representation of G ............. 72 9.4 The Linear Holonomy Group . 74 10 Non-Abelian Holonomy, Incomplete (4,4) 77 10.1 The Group Generators . 77 10.2 The Centraliser . 78 10.3 The Open Orbit of the Centraliser . 80 10.4 The Complement of the Open Orbit . 82 11 Non-Abelian Holonomy, Complete (7,7) 87 11.1 The Group Generators . 87 11.2 The Centraliser . 88 Contents ix 11.3 The Orbits of Γ ........................... 89 11.4 A Global Slice . 91 12 Non-Degenerate Orbits, Complete (7,7) 93 12.1 The Group Generators . 93 12.2 The Centraliser . 94 12.3 The Tensor S ............................ 94 III Appendix 97 A Pseudo-Euclidean Spaces and their Isometries 97 A.1 Isotropic Subspaces . 97 A.2 Pseudo-Euclidean Isometries . 99 BAffine Manifolds 103 B.1 Affine Transformations . 103 B.2 Affine Vector Fields . 103 C Pseudo-Riemannian Manifolds 105 C.1 Pseudo-Riemannian Isometries . 105 C.2 Killing Fields . 105 C.3 Bi-Invariant Metrics . 106 D Discrete Groups and Proper Actions 109 D.1 Proper Definition of Proper Action . 109 E Algebraic Groups 111 E.1 Algebraic Group Actions . 111 E.2 Algebraic Homogeneous Spaces . 114 F Cechˇ Cohomology and Fibre Bundles 115 F.1 Cechˇ Cohomology . 115 F.2 Fibre Bundles and Principal Bundles . 116 x Contents G Unipotent Groups 119 G.1 Unipotent Groups as Lie Groups . 119 G.2 Unipotent Groups as Algebraic Groups . 119 G.3 Malcev Coordinates . 120 G.4 Lattices in Unipotent Groups . 122 G.5 Homogeneous Spaces of Unipotent Groups . 123 G.6 Algebraic Principal Bundles for Unipotent Groups . 124 References 128 Index 132 xi Introduction In flatness is the preservation of the world. So seek the Wolf in thyself! –Metallica Pseudo-Riemannian manifolds are among the most important objects in geometry, and they are of particular importance for modern mathematical physics. When developing structure theories for certain classes of pseudo- Riemannian manifolds, one studies their symmetries. By this we mean the isometry group of a manifold, and its fundamental group in particular. In this thesis, we study the structure of flat pseudo-Riemannian homogeneous spaces via their affine holonomy groups. For complete manifolds they coincide with the fundamental group. Incomplete manifolds are harder to understand, and here the affine holonomy group can be a more tangible homomorphic image of the fundamental group. Setting the Stage Non-degenerate symmetric bilinear forms appear naturally in many bran- ches of mathematics and physics. In geometry, the positive definite forms define Euclidean geometry in Rn. The indefinite forms define more general geometries, of which Lorentz geometry for signature (n 1; 1) is the most prominent. In physics, Lorentz geometry appears as− the geometry of special relativity. Going from Rn to smooth manifolds, one studies pseudo-Riemannian manifolds M endowed with a pseudo-Riemanian metric ; , a field of h· ·i non-degenerate symmetric bilinear forms ; p on the tangent spaces TpM. Unsurprisingly, the Riemannian case, whereh· ·i the metric is positive definite, is the most studied and best understood of these. In theoretical physics, Riemannian geometry is the language of classical mechanics. Modern theories like general relativity, gravitation and cosmology are built on pseudo-Riemannian geometry. There are significant differences between positive definite and indefinite metrics: The famous theorem by Hopf and Rinow states that for a Rie- mannian manifold M, geodesic completeness is equivalent to metric com- pleteness (meaning any Cauchy sequence converges).
Recommended publications
  • Arxiv:2003.06292V1 [Math.GR] 12 Mar 2020 Eggnrtr N Ignlmti.Tedaoa Arxi Matrix Diagonal the Matrix

    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.
  • Finite Resolutions of Modules for Reductive Algebraic Groups

    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.
  • Unitary Group - Wikipedia

    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.
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2

    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.
  • Lectures on Lie Groups Over Local Fields

    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.
  • A Linear Algebraic Group? Skip Garibaldi

    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.
  • Linear Algebraic Groups

    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.
  • Arxiv:2101.09811V1 [Math.NT]

    Arxiv:2101.09811V1 [Math.NT]

    RECENT DEVELOPMENTS IN THE THEORY OF LINEAR ALGEBRAIC GROUPS: GOOD REDUCTION AND FINITENESS PROPERTIES ANDREI S. RAPINCHUK AND IGOR A. RAPINCHUK The focus of this article is on the notion of good reduction for algebraic varieties and particularly for algebraic groups. Among the most influential results in this direction is the Finiteness Theorem of G. Faltings, which confirmed Shafarevich’s conjecture that, over a given number field, there exist only finitely many isomorphism classes of abelian varieties of a given dimension that have good reduction at all valuations of the field lying outside a fixed finite set. Until recently, however, similar questions have not been systematically considered in the context of linear algebraic groups. Our goal is to discuss the notion of good reduction for reductive linear algebraic groups and then formulate a finiteness conjecture concerning forms with good reduction over arbitrary finitely generated fields. This conjecture has already been confirmed in a number of cases, including for algebraic tori over all fields of characteristic zero and also for some semi-simple groups, but the general case remains open. What makes this conjecture even more interesting are its multiple connections with other finiteness properties of algebraic groups, first and foremost, with the conjectural properness of the global-to-local map in Galois cohomology that arises in the investigation of the Hasse principle. Moreover, it turns out that techniques based on the consideration of good reduction have applications far beyond the theory of algebraic groups: as an example, we will discuss a finiteness result arising in the analysis of length-commensurable Riemann surfaces that relies heavily on this approach.
  • Brauer Groups of Linear Algebraic Groups

    Brauer Groups of Linear Algebraic Groups

    Volume 71, Number 2, September 1978 BRAUERGROUPS OF LINEARALGEBRAIC GROUPS WITH CHARACTERS ANDY R. MAGID Abstract. Let G be a connected linear algebraic group over an algebraically closed field of characteristic zero. Then the Brauer group of G is shown to be C X (Q/Z)<n) where C is finite and n = d(d - l)/2, with d the Z-Ta.nk of the character group of G. In particular, a linear torus of dimension d has Brauer group (Q/Z)(n) with n as above. In [6], B. Iversen calculated the Brauer group of a connected, characterless, linear algebraic group over an algebraically closed field of characteristic zero: the Brauer group is finite-in fact, it is the Schur multiplier of the fundamental group of the algebraic group [6, Theorem 4.1, p. 299]. In this note, we extend these calculations to an arbitrary connected linear group in characteristic zero. The main result is the determination of the Brauer group of a ¿/-dimen- sional affine algebraic torus, which is shown to be (Q/Z)(n) where n = d(d — l)/2. (This result is noted in [6, 4.8, p. 301] when d = 2.) We then show that if G is a connected linear algebraic group whose character group has Z-rank d, then the Brauer group of G is C X (Q/Z)<n) where n is as above and C is finite. We adopt the following notational conventions: 7ms an algebraically closed field of characteristic zero, and T = (F*)id) is a ^-dimensional affine torus over F.
  • Linear Algebraic Groups

    Linear Algebraic Groups

    Linear algebraic groups N. Perrin November 9, 2015 2 Contents 1 First definitions and properties 7 1.1 Algebraic groups . .7 1.1.1 Definitions . .7 1.1.2 Chevalley's Theorem . .7 1.1.3 Hopf algebras . .8 1.1.4 Examples . .8 1.2 First properties . 10 1.2.1 Connected components . 10 1.2.2 Image of a group homomorphism . 10 1.2.3 Subgroup generated by subvarieties . 11 1.3 Action on a variety . 12 1.3.1 Definition . 12 1.3.2 First properties . 12 1.3.3 Affine algebraic groups are linear . 14 2 Tangent spaces and Lie algebras 15 2.1 Derivations and tangent spaces . 15 2.1.1 Derivations . 15 2.1.2 Tangent spaces . 16 2.1.3 Distributions . 18 2.2 Lie algebra of an algebraic group . 18 2.2.1 Lie algebra . 18 2.2.2 Invariant derivations . 19 2.2.3 The distribution algebra . 20 2.2.4 Envelopping algebra . 22 2.2.5 Examples . 22 2.3 Derived action on a representation . 23 2.3.1 Derived action . 23 2.3.2 Stabilisor of the ideal of a closed subgroup . 24 2.3.3 Adjoint actions . 25 3 Semisimple and unipotent elements 29 3.1 Jordan decomposition . 29 3.1.1 Jordan decomposition in GL(V ).......................... 29 3.1.2 Jordan decomposition in G ............................. 30 3.2 Semisimple, unipotent and nilpotent elements . 31 3.3 Commutative groups . 32 3.3.1 Diagonalisable groups . 32 3 4 CONTENTS 3.3.2 Structure of commutative groups . 33 4 Diagonalisable groups and Tori 35 4.1 Structure theorem for diagonalisable groups .
  • (Linear) Algebraic Groups 1 Basic Definitions and Main Examples

    (Linear) Algebraic Groups 1 Basic Definitions and Main Examples

    Study Group: (Linear) Algebraic Groups 1 Basic Denitions and Main Examples (Matt) Denition 1.1. Let (where is some eld) then n is an ane algebraic I C K[x] K VI = fP 2 A : f(P ) = 08f 2 Ig set. If I is prime, then VI is an ane algebraic variety. Denition 1.2. A linear algebraic group, G, is a variety V=K with a group structure such that the group operations are morphisms and V is ane. K-rational point e 2 G and K-morphisms µ : G × G ! G (µ(x; y) = xy) and i : G ! G (i(x) = x−1) K[G] is the K algebra of regular functions in V . ∆ : K[G] ! K[G] ⊗K K[G] the comultiplication, ι : K[G] ! K[G] is the coinverse We get the following axioms: (∆ ⊗ 1) ◦ ∆ = (1 ⊗ ∆) ◦ ∆ Example. : where , 1. , ∼ . n2 ∼ . Ga µ(x; y) = x+y a; y 2 A K[x] ∆ : x 7! x⊗1+1⊗y 2 K[x]⊗K[y] = K[x; y] Ga = Mn(K) : ∗ 2 dened by . Then . So Gm K ! V = (x; y) 2 A jxy = 1 t 7! (t; 1=t) (x1; y1) · (x2; y2) = (x1x2; y1y2) ∆ : x 7! x ⊗ x; y 7! y ⊗ y. Note that =∼ GL (K) p p Gm p 1 p p p Let , , −1 x1−y1 2 . Let K = Q( 2)=Q (x1 + y1 2)(x2 + y2 2) = (x1x2 + 2y1y2) + (x1y2 + x2y1) 2 (x1 + y1 2) = 2 2 x1−2y1 2 2, then we can use . , . g = x1−2y1 V (g 6= 0) ∆ : x1 7! x1⊗x2+2y1⊗y2 y1 7! x1⊗y2+x2⊗y1 ι : x1 7! x1=g; y1 7! −y1=g n .
  • EXPLICIT REALIZATION of the DICKSON GROUPS G2(Q) AS GALOIS GROUPS

    EXPLICIT REALIZATION of the DICKSON GROUPS G2(Q) AS GALOIS GROUPS

    Pacific Journal of Mathematics EXPLICIT REALIZATION OF THE DICKSON GROUPS G2(q) AS GALOIS GROUPS Gunter Malle Volume 212 No. 1 November 2003 PACIFIC JOURNAL OF MATHEMATICS Vol. 212, No. 1, 2003 EXPLICIT REALIZATION OF THE DICKSON GROUPS G2(q) AS GALOIS GROUPS Gunter Malle For any prime power q we determine a polynomial fq(X) ∈ Fq(t, u)[X] whose Galois group over Fq(t, u) is the Dickson group G2(q). The construction uses a criterion and a method due to Matzat. 1. Introduction. In this paper we are concerned with the construction of polynomials whose Galois groups are the exceptional simple Chevalley groups G2(q), q a prime power, first discovered by Dickson; see Theorems 4.1 and 4.3. It was shown by Nori [7] that all semisimple simply-connected linear alge- braic groups over Fq do occur as Galois groups of regular extension of regular function fields over Fq, but his proof does not give an explicit equation or even a constructive method for obtaining such extensions. On the other hand, in a long series of papers Abhyankar has given families of polynomials for groups of classical types (see [1] and the references cited there). His ad hoc approach hasn’t yet led to families with groups of exceptional type (but see [2] for a different construction of polynomials with Galois group the simple groups of Suzuki). Thus it seems natural to try to fill this gap. In his recent paper Matzat [6] describes an algorithmic approach which reduces the construction of generating polynomials for such extensions to certain group theoretic calculations.