Lie groups: a problem-oriented introduction via matrix groups

With the development of Lie theory, Lie groups have attained profound significance in several branches of Mathematics and Physics. In Lie theory, the matrix exponential plays a crucial role between Lie groups and Lie algebras. Meanwhile, as the finite analogue of Lie groups, finite groups of Lie type have potential applications in cryptography due to their unique mathematical structures. In this paper, we first put forward a novel idea of designing cryptosystems based on Lie theory. First of all, combing with discrete logarithm problem and group factorization problem, we proposed several new intractable assumptions based on the matrix exponential in finite groups of Lie type. Subsequently, in analog with Boyen’s scheme (Asiacrypt 2007), we designed a public-key encryption scheme based on the non-abelian factorization problem in finite groups of Lie type. Finally, our proposal was proved to be indistinguishable against adaptively chosen-ciphertext attack in the random oracle model. It is encouraging that our scheme also has the potential to resist against Shor’s quantum algorithm attack.

CHAPTER IV - The Lie Theory

Radical 3-subgroups of the finite groups of Lie type E6

Let X ( r ) X(r) and G ( q ) G(q) be finite groups of Lie type and r r and q q be coprime. If G ( q ) G(q) is embedded in X ( r ) X(r) , then the Landazuri-Seitz-Zalesskii theorem implies that G ( q ) G(q) is small relative to X ( r ) X(r) . We formalize this observation and illustrate how it can be used with some applications.

1.1. Let G be a connected reductive algebraic group defined over a finite (prime) field Fp of p elements. For a given rational G-module M one can consider the restrictions of M to the restricted Lie algebra Lie(G) and to the finite group G(Fp) of Fp-rational points. Even though there is no direct functorial connection between the categories of restricted Lie(G)-modules and G(Fp)-modules, the ambient algebraic group G can serve as a bridge linking these two important module categories. Early results of Curtis in the 1960s provided a one-to-one correspondence between the simple restricted modules (over k = Fp) of Lie(G) and those of G(Fp). This correspondence is given by simply restricting certain classes of simple G-modules. More importantly, these results, along with work of Steinberg, allow one to easily transfer the questions pertaining to the computation of irreducible characters among these three categories. For over thirty years, this approach has been one of the main ideas used to relate the representation and cohomology theory of algebraic groups, Lie algebras, and finite groups of Lie type (in the defining characteristic) (see, e.g., [CPSvan], [Jan2], [Hum3], and [Jan1]). Given the previous results in this area, a natural course of investigation should be to find relationships between canonical modules, like projective modules, for Lie(G) and G(Fp). More precisely,

The first part of this chapter treats Lie algebras, beginning with definitions and many examples. The notions of solvable, nilpotent, radical, semisimple, and simple are introduced, and these notions are followed by a discussion of the effect of a change of the underlying field. The idea of a semidirect product begins the development of the main structural theorems for real Lie algebras—the iterated construction of all solvable Lie algebras from derivations and semidirect products, Lie's Theorem for solvable Lie algebras, Engel's Theorem in connection with nilpotent Lie algebras, and Cartan's criteria for solvability and semisimplicity in terms of the Killing form. From Cartan's Criterion for Semisimplicity, it follows that semisimple Lie algebras are direct sums of simple Lie algebras. Cartan's Criterion for Semisimplicity is used also to provide a long list of classical examples of semisimple Lie algebras. Some of these examples are defined in terms of quaternion matrices. Quaternion matrices of size n-by-n may be related to complex matrices of size 2n-by-2n. The treatment of Lie algebras concludes with a study of the finite-dimensional complex-linear representations of sl[(2, ℂ). There is a classification theorem for the irreducible representations of this kind, and the general representations are direct sums of irreducible ones. Section 10 contains a review of the elementary theory of Lie groups and their Lie algebras. The abstract theory as in Chevalley [1946] is summarized, and the correspondence is made with the concrete theory of closed linear groups, where the Lie algebra is obtained as the space of derivatives at t = 0 of smooth curves in the group passing through the identity at t = 0. The section ends with a discussion of the adjoint representation. The remainder of the chapter explores some aspects of the connection between Lie groups and Lie algebras. One aspect is the relationship between automorphisms and derivations. The derivations of a semisimple Lie algebra are inner, and consequently the identity component of the group of automorphisms of a semisimple Lie algebra consists of inner automorphisms. In addition, simply connected solvable Lie groups may be built one dimension at a time as semidirect products with ℝ1, and consequently they are diffeomorphic to Euclidean space. For simply connected nilpotent groups the exponential map is itself a diffeomorphism. The earlier long list of classical semisimple Lie algebras corresponds to a list of the classical semisimple Lie groups. The issue that needs attention for these groups is their connectedness, and this is proved by using the polar decomposition of matrices.

This chapter studies, in the setting of vector spaces over a field, the basics concerning multilinear functions, tensor products, spaces of linear functions, and algebras related to tensor products. Sections 1–5 concern special properties of bilinear forms, all vector spaces being assumed to be finite-dimensional. Section 1 associates a matrix to each bilinear form in the presence of an ordered basis, and the section shows the effect on the matrix of changing the ordered basis. It then addresses the extent to which the notion of “orthogonal complement” in the theory of inner-product spaces applies to nondegenerate bilinear forms. Sections 2–3 treat symmetric and alternating bilinear forms, producing bases for which the matrix of such a form is particularly simple. Section 4 treats a related subject, Hermitian forms when the field is the complex numbers. Section 5 discusses the groups that leave some particular bilinear and Hermitian forms invariant. Section 6 introduces the tensor product of two vector spaces, working with it in a way that does not depend on a choice of basis. The tensor product has a universal mapping property—that bilinear functions on the product of the two vector spaces extend uniquely to linear functions on the tensor product. The tensor product turns out to be a vector space whose dual is the vector space of all bilinear forms. One particular application is that tensor products provide a basis-independent way of extending scalars for a vector space from a field to a larger field. The section includes a number of results about the vector space of linear mappings from one vector space to another that go hand in hand with results about tensor products. These have convenient formulations in the language of category theory as “natural isomorphisms.” Section 7 begins with the tensor product of three and then $n$ vector spaces, carefully considering the universal mapping property and the question of associativity. The section defines an algebra over a field as a vector space with a bilinear multiplication, not necessarily associative. If $E$ is a vector space, the tensor algebra $T(E)$ of $E$ is the direct sum over $n\geq0$ of the $n$-fold tensor product of $E$ with itself. This is an associative algebra with a universal mapping property relative to any linear mapping of $E$ into an associative algebra $A$ with identity: the linear map extends to an algebra homomorphism of $T(E)$ into $A$ carrying 1 into 1. Sections 8–9 define the symmetric and exterior algebras of a vector space $E$. The symmetric algebra $S(E)$ is a quotient of $T(E)$ with the following universal mapping property: any linear mapping of $E$ into a commutative associative algebra $A$ with identity extends to an algebra homomorphism of $S(E)$ into $A$ carrying 1 into 1. The symmetric algebra is commutative. Similarly the exterior algebra $\bigwedge(E)$ is a quotient of $T(E)$ with this universal mapping property: any linear mapping $l$ of $E$ into an associative algebra $A$ with identity such that $l(v)^2=0$ for all $v\in E$ extends to an algebra homomorphism of $\bigwedge(E)$ into $A$ carrying 1 into 1. The problems at the end of the chapter introduce some other algebras that are of importance in applications, and the problems relate some of these algebras to tensor, symmetric, and exterior algebras. Among the objects studied are Lie algebras, universal enveloping algebras, Clifford algebras, Weyl algebras, Jordan algebras, and the division algebra of octonions.

Lie groups and algebraic groups are important in many major areas of mathematics and mathematical physics. We find them in diverse roles, notably as groups of automorphisms of geometric structures, as symmetries of differential systems, or as basic tools in the theory of automorphic forms. The author looks at their development, highlighting the evolution from the almost purely local theory at the start to the global theory that we know today. Starting from Lie's theory of local analytic transformation groups and early work on Lie algebras, he follows the process of globalization in its two main frameworks: differential geometry and topology on one hand, algebraic geometry on the other. Chapters II to IV are devoted to the former, Chapters V to VIII, to the latter. The essays in the first part of the book survey various proofs of the full reducibility of linear representations of \\mathbf{SL}_2{(\\mathbb{C})}, the contributions of H. Weyl to representations and invariant theory for semisimple Lie groups, and conclude with a chapter on E. Cartan's theory of symmetric spaces and Lie groups in the large. The second part of the book first outlines various contributions to linear algebraic groups in the 19th century, due mainly to E. Study, E. Picard, and above all, L. Maurer. After being abandoned for nearly fifty years, the theory was revived by C. Chevalley and E. Kolchin, and then further developed by many others. This is the focus of Chapter VI. The book concludes with two chapters on the work of Chevalley on Lie groups and Lie algebras and of Kolchin on algebraic groups and the Galois theory of differential fields, which put their contributions to algebraic groups in a broader context. Professor Borel brings a unique perspective to this study. As an important developer of some of the modern elements of both the differential geometric and the algebraic geometric sides of the theory, he has a particularly deep understanding of the underlying mathematics. His lifelong involvement and his historical research in the subject area give him a special appreciation of the story of its development.

In an earlier paper [P1]; we studied self-dual complex representations of a finite group of Lie type. In this paper; we make an analogous study in thep-adic case. We begin by recalling the main result of that paper. LetG(F) be the group of F rational points of a connected reductive algebraic group G over a finite field F. Fix a Borel subgroup B of G; defined over F; which always exists by Lang’s theorem. LetBDTU be a Levi decomposition of the Borel subgroupB. Suppose that there is an element t02 T(F) that operates byi1 on all the simple roots in U with respect to the maximal split torus inT. It can be seen thatt 2 belongs to the center ofG. We proved in [P1] thatt 2 operates by 1 on a self-dual irreducible complex representation …; which has a Whittaker model; if and only if… carries a symmetricG-invariant bilinear form. If … carries a symmetric G-invariant bilinear form; then we call … an orthogonal representation. If … is an irreducible admissible self-dual representation of a p-adic group G; then there exists a nondegenerateG-invariant bilinear formB: …£…! C. This form is unique up to scalars by a simple application of Schur’s lemma; and it is either symmetric or skew-symmetric. The aim of this paper is to provide for a criterion to decide which of the two possibilities holds in the context of p-adic groups similar to our work in the finite field case in [P1]. This partly answers a question raised by Serre (see [P1]). We are able to say nothing about representations not admitting a Whittaker model. Our method; however; works in some cases even when there is no element inT which operates on each simple root byi1. This is the case; for instance; in some cases of SLn andSpn; where we work instead with the similitude group where such an element exists; then we deduce information on SLn andSpn.

A Lie algebra g is called two step nilpotent if g is not abelian and [g, g] lies in the center of g. Two step nilpotent Lie algebras are useful in the study of some geometric problems, such as commutative Riemannian manifolds, weakly symmetric Riemannian manifolds, homogeneous Einstein manifolds, etc. Moreover, the classification of two-step nilpotent Lie algebras has been an important problem in Lie theory. In this paper, we study two step nilpotent indecomposable Lie algebras of dimension 8 over the field of complex numbers. Based on the study of minimal systems of generators, we choose an appropriate basis and give a complete classification of two step nilpotent Lie algebras of dimension 8.

Decompositions in categories of highest weight modules

Abstract. The computation of the cohomology for finite groups of Lie type in the describing characteristicis a challenging and difficult problem. In [BNP], the authors constructed an induction functor which takesmodules over the finite group of Lie type, G(F q ), to modules for the ambient algebraic group G. In particularthis functor when applied to the trivial module yields a natural G-filtration. This filtration was utilized in[BNP] to determine the first non-trivial cohomology class when the underlying root system is of type A n orC n . In this paper the authors extend these results toward locating the first non-trivial cohomology classesfor the remaining finite groups of Lie type (i.e., the underlying root system is of type B n , C n , D n , E 6 , E 7 ,E 8 , F 4 , and G 2 ) when the prime is larger than the Coxeter number. 1. Introduction1.1. Let Gbe a simple algebraic group scheme over a field kof prime characteristic pwhich is definedand split over the prime field F p , and F : G→ Gdenote the Frobenius map. The fixed points of therth iterate of the Frobenius map, denoted G(F

On a remarkable class of flat pseudo-Riemannian Lie groups

Color algebras and affine connections on S6

The Navarro refinement of the McKay conjecture for finite groups of Lie type in defining characteristic