Lie Groups and Algebraic Groups
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Equivalence of A-Approximate Continuity for Self-Adjoint
Equivalence of A-Approximate Continuity for Self-Adjoint Expansive Linear Maps a,1 b, ,2 Sz. Gy. R´ev´esz , A. San Antol´ın ∗ aA. R´enyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, P.O.B. 127, 1364 Hungary bDepartamento de Matem´aticas, Universidad Aut´onoma de Madrid, 28049 Madrid, Spain Abstract Let A : Rd Rd, d 1, be an expansive linear map. The notion of A-approximate −→ ≥ continuity was recently used to give a characterization of scaling functions in a multiresolution analysis (MRA). The definition of A-approximate continuity at a point x – or, equivalently, the definition of the family of sets having x as point of A-density – depend on the expansive linear map A. The aim of the present paper is to characterize those self-adjoint expansive linear maps A , A : Rd Rd for which 1 2 → the respective concepts of Aµ-approximate continuity (µ = 1, 2) coincide. These we apply to analyze the equivalence among dilation matrices for a construction of systems of MRA. In particular, we give a full description for the equivalence class of the dyadic dilation matrix among all self-adjoint expansive maps. If the so-called “four exponentials conjecture” of algebraic number theory holds true, then a similar full description follows even for general self-adjoint expansive linear maps, too. arXiv:math/0703349v2 [math.CA] 7 Sep 2007 Key words: A-approximate continuity, multiresolution analysis, point of A-density, self-adjoint expansive linear map. 1 Supported in part in the framework of the Hungarian-Spanish Scientific and Technological Governmental Cooperation, Project # E-38/04. -
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. -
LECTURES on PURE SPINORS and MOMENT MAPS Contents 1
LECTURES ON PURE SPINORS AND MOMENT MAPS E. MEINRENKEN Contents 1. Introduction 1 2. Volume forms on conjugacy classes 1 3. Clifford algebras and spinors 3 4. Linear Dirac geometry 8 5. The Cartan-Dirac structure 11 6. Dirac structures 13 7. Group-valued moment maps 16 References 20 1. Introduction This article is an expanded version of notes for my lectures at the summer school on `Poisson geometry in mathematics and physics' at Keio University, Yokohama, June 5{9 2006. The plan of these lectures was to give an elementary introduction to the theory of Dirac structures, with applications to Lie group valued moment maps. Special emphasis was given to the pure spinor approach to Dirac structures, developed in Alekseev-Xu [7] and Gualtieri [20]. (See [11, 12, 16] for the more standard approach.) The connection to moment maps was made in the work of Bursztyn-Crainic [10]. Parts of these lecture notes are based on a forthcoming joint paper [1] with Anton Alekseev and Henrique Bursztyn. I would like to thank the organizers of the school, Yoshi Maeda and Guiseppe Dito, for the opportunity to deliver these lectures, and for a greatly enjoyable meeting. I also thank Yvette Kosmann-Schwarzbach and the referee for a number of helpful comments. 2. Volume forms on conjugacy classes We will begin with the following FACT, which at first sight may seem quite unrelated to the theme of these lectures: FACT. Let G be a simply connected semi-simple real Lie group. Then every conjugacy class in G carries a canonical invariant volume form. -
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. -
A Note on Presentation of General Linear Groups Over a Finite Field
Southeast Asian Bulletin of Mathematics (2019) 43: 217–224 Southeast Asian Bulletin of Mathematics c SEAMS. 2019 A Note on Presentation of General Linear Groups over a Finite Field Swati Maheshwari and R. K. Sharma Department of Mathematics, Indian Institute of Technology Delhi, New Delhi, India Email: [email protected]; [email protected] Received 22 September 2016 Accepted 20 June 2018 Communicated by J.M.P. Balmaceda AMS Mathematics Subject Classification(2000): 20F05, 16U60, 20H25 Abstract. In this article we have given Lie regular generators of linear group GL(2, Fq), n where Fq is a finite field with q = p elements. Using these generators we have obtained presentations of the linear groups GL(2, F2n ) and GL(2, Fpn ) for each positive integer n. Keywords: Lie regular units; General linear group; Presentation of a group; Finite field. 1. Introduction Suppose F is a finite field and GL(n, F) is the general linear the group of n × n invertible matrices and SL(n, F) is special linear group of n × n matrices with determinant 1. We know that GL(n, F) can be written as a semidirect product, GL(n, F)= SL(n, F) oF∗, where F∗ denotes the multiplicative group of F. Let H and K be two groups having presentations H = hX | Ri and K = hY | Si, then a presentation of semidirect product of H and K is given by, −1 H oη K = hX, Y | R,S,xyx = η(y)(x) ∀x ∈ X,y ∈ Y i, where η : K → Aut(H) is a group homomorphism. Now we summarize some literature survey related to the presentation of groups. -
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. -
Abelian Varieties with Complex Multiplication and Modular Functions, by Goro Shimura, Princeton Univ
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 36, Number 3, Pages 405{408 S 0273-0979(99)00784-3 Article electronically published on April 27, 1999 Abelian varieties with complex multiplication and modular functions, by Goro Shimura, Princeton Univ. Press, Princeton, NJ, 1998, xiv + 217 pp., $55.00, ISBN 0-691-01656-9 The subject that might be called “explicit class field theory” begins with Kro- necker’s Theorem: every abelian extension of the field of rational numbers Q is a subfield of a cyclotomic field Q(ζn), where ζn is a primitive nth root of 1. In other words, we get all abelian extensions of Q by adjoining all “special values” of e(x)=exp(2πix), i.e., with x Q. Hilbert’s twelfth problem, also called Kronecker’s Jugendtraum, is to do something2 similar for any number field K, i.e., to generate all abelian extensions of K by adjoining special values of suitable special functions. Nowadays we would add that the reciprocity law describing the Galois group of an abelian extension L/K in terms of ideals of K should also be given explicitly. After K = Q, the next case is that of an imaginary quadratic number field K, with the real torus R/Z replaced by an elliptic curve E with complex multiplication. (Kronecker knew what the result should be, although complete proofs were given only later, by Weber and Takagi.) For simplicity, let be the ring of integers in O K, and let A be an -ideal. Regarding A as a lattice in C, we get an elliptic curve O E = C/A with End(E)= ;Ehas complex multiplication, or CM,by .If j=j(A)isthej-invariant ofOE,thenK(j) is the Hilbert class field of K, i.e.,O the maximal abelian unramified extension of K. -
Material on Algebraic and Lie Groups
2 Lie groups and algebraic groups. 2.1 Basic Definitions. In this subsection we will introduce the class of groups to be studied. We first recall that a Lie group is a group that is also a differentiable manifold 1 and multiplication (x, y xy) and inverse (x x ) are C1 maps. An algebraic group is a group7! that is also an algebraic7! variety such that multi- plication and inverse are morphisms. Before we can introduce our main characters we first consider GL(n, C) as an affi ne algebraic group. Here Mn(C) denotes the space of n n matrices and GL(n, C) = g Mn(C) det(g) =) . Now Mn(C) is given the structure nf2 2 j 6 g of affi ne space C with the coordinates xij for X = [xij] . This implies that GL(n, C) is Z-open and as a variety is isomorphic with the affi ne variety 1 Mn(C) det . This implies that (GL(n, C)) = C[xij, det ]. f g O Lemma 1 If G is an algebraic group over an algebraically closed field, F , then every point in G is smooth. Proof. Let Lg : G G be given by Lgx = gx. Then Lg is an isomorphism ! 1 1 of G as an algebraic variety (Lg = Lg ). Since isomorphisms preserve the set of smooth points we see that if x G is smooth so is every element of Gx = G. 2 Proposition 2 If G is an algebraic group over an algebraically closed field F then the Z-connected components Proof. -
Modules and Lie Semialgebras Over Semirings with a Negation Map 3
MODULES AND LIE SEMIALGEBRAS OVER SEMIRINGS WITH A NEGATION MAP GUY BLACHAR Abstract. In this article, we present the basic definitions of modules and Lie semialgebras over semirings with a negation map. Our main example of a semiring with a negation map is ELT algebras, and some of the results in this article are formulated and proved only in the ELT theory. When dealing with modules, we focus on linearly independent sets and spanning sets. We define a notion of lifting a module with a negation map, similarly to the tropicalization process, and use it to prove several theorems about semirings with a negation map which possess a lift. In the context of Lie semialgebras over semirings with a negation map, we first give basic definitions, and provide parallel constructions to the classical Lie algebras. We prove an ELT version of Cartan’s criterion for semisimplicity, and provide a counterexample for the naive version of the PBW Theorem. Contents Page 0. Introduction 2 0.1. Semirings with a Negation Map 2 0.2. Modules Over Semirings with a Negation Map 3 0.3. Supertropical Algebras 4 0.4. Exploded Layered Tropical Algebras 4 1. Modules over Semirings with a Negation Map 5 1.1. The Surpassing Relation for Modules 6 1.2. Basic Definitions for Modules 7 1.3. -morphisms 9 1.4. Lifting a Module Over a Semiring with a Negation Map 10 1.5. Linearly Independent Sets 13 1.6. d-bases and s-bases 14 1.7. Free Modules over Semirings with a Negation Map 18 2. -
Stabilizers of Lattices in Lie Groups
Journal of Lie Theory Volume 4 (1994) 1{16 C 1994 Heldermann Verlag Stabilizers of Lattices in Lie Groups Richard D. Mosak and Martin Moskowitz Communicated by K. H. Hofmann Abstract. Let G be a connected Lie group with Lie algebra g, containing a lattice Γ. We shall write Aut(G) for the group of all smooth automorphisms of G. If A is a closed subgroup of Aut(G) we denote by StabA(Γ) the stabilizer of Γ n n in A; for example, if G is R , Γ is Z , and A is SL(n;R), then StabA(Γ)=SL(n;Z). The latter is, of course, a lattice in SL(n;R); in this paper we shall investigate, more generally, when StabA(Γ) is a lattice (or a uniform lattice) in A. Introduction Let G be a connected Lie group with Lie algebra g, containing a lattice Γ; so Γ is a discrete subgroup and G=Γ has finite G-invariant measure. We shall write Aut(G) for the group of all smooth automorphisms of G, and M(G) = α Aut(G): mod(α) = 1 for the group of measure-preserving automorphisms off G2 (here mod(α) is thegcommon ratio measure(α(F ))/measure(F ), for any measurable set F G of positive, finite measure). If A is a closed subgroup ⊂ of Aut(G) we denote by StabA(Γ) the stabilizer of Γ in A, in other words α A: α(Γ) = Γ . The main question of this paper is: f 2 g When is StabA(Γ) a lattice (or a uniform lattice) in A? We point out that the thrust of this question is whether the stabilizer StabA(Γ) is cocompact or of cofinite volume, since in any event, in all cases of interest, the stabilizer is discrete (see Prop. -
Matrix Lie Groups
Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2). -
LECTURE 12: LIE GROUPS and THEIR LIE ALGEBRAS 1. Lie
LECTURE 12: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups Definition 1.1. A Lie group G is a smooth manifold equipped with a group structure so that the group multiplication µ : G × G ! G; (g1; g2) 7! g1 · g2 is a smooth map. Example. Here are some basic examples: • Rn, considered as a group under addition. • R∗ = R − f0g, considered as a group under multiplication. • S1, Considered as a group under multiplication. • Linear Lie groups GL(n; R), SL(n; R), O(n) etc. • If M and N are Lie groups, so is their product M × N. Remarks. (1) (Hilbert's 5th problem, [Gleason and Montgomery-Zippin, 1950's]) Any topological group whose underlying space is a topological manifold is a Lie group. (2) Not every smooth manifold admits a Lie group structure. For example, the only spheres that admit a Lie group structure are S0, S1 and S3; among all the compact 2 dimensional surfaces the only one that admits a Lie group structure is T 2 = S1 × S1. (3) Here are two simple topological constraints for a manifold to be a Lie group: • If G is a Lie group, then TG is a trivial bundle. n { Proof: We identify TeG = R . The vector bundle isomorphism is given by φ : G × TeG ! T G; φ(x; ξ) = (x; dLx(ξ)) • If G is a Lie group, then π1(G) is an abelian group. { Proof: Suppose α1, α2 2 π1(G). Define α : [0; 1] × [0; 1] ! G by α(t1; t2) = α1(t1) · α2(t2). Then along the bottom edge followed by the right edge we have the composition α1 ◦ α2, where ◦ is the product of loops in the fundamental group, while along the left edge followed by the top edge we get α2 ◦ α1.