Lie groups

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.

Automatic detection of feather defects using Lie group and fuzzy Fisher criterion for shuttlecock production

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.

The Butcher group is a powerful tool to analyse integration methods for ordinary differential equations, in particular Runge--Kutta methods. In the present paper, we complement the algebraic treatment of the Butcher group with a natural infinite-dimensional Lie group structure. This structure turns the Butcher group into a real analytic Baker--Campbell--Hausdorff Lie group modelled on a Fr\'echet space. In addition, the Butcher group is a regular Lie group in the sense of Milnor and contains the subgroup of symplectic tree maps as a closed Lie subgroup. Finally, we also compute the Lie algebra of the Butcher group and discuss its relation to the Lie algebra associated to the Butcher group by Connes and Kreimer.

This article gives a local answer to the coquecigrue problem for Leibniz algebras, that is, the problem of finding a generalization of the (Lie) group structure such that Leibniz algebras are the corresponding tangent algebra structure. Using links between Leibniz algebra cohomology and Lie rack cohomology, we generalize the integration of a Lie algebra into a Lie group by proving that every Leibniz algebra is isomorphic to the tangent Leibniz algebra of a local Lie rack. This article ends with an example of a Leibniz algebra integration in dimension 5.

Elementary differential geometry Lie groups and Lie algebras Structure of semisimple Lie algebras Symmetric spaces Decomposition of symmetric spaces Symmetric spaces of the noncompact type Symmetric spaces of the compact type Hermitian symmetric spaces Structure of semisimple Lie groups The classification of simple Lie algebras and of symmetric spaces Solutions to exercises Some details Bibliography List of notational conventions Symbols frequently used Index Reviews for the first edition.

Deep compositing is an important practical tool in creating digital imagery, but there has been little theoretical analysis of the underlying mathematical operators. Motivated by finding a simple formulation of the merging operation on OpenEXR -style deep images, we show that the Porter-Duff over function is the operator of a Lie group. In its corresponding Lie algebra, the splitting and mixing functions that OpenEXR deep merging requires have a particularly simple form. Working in the Lie algebra, we present a novel, simple proof of the uniqueness of the mixing function. The Lie group structure has many more applications, including new, correct resampling algorithms for volumetric images with alpha channels, and a deep image compression technique that outperforms that of OpenEXR .

Lie bialgebras arise as infinitesimal invariants of Poisson Lie groups. A Lie bialgebra is a Lie algebra g with a Lie algebra structure on the dual g∗ which is compatible with the Lie algebra g in a certain sense. For a Poisson group G, the multiplicative Poisson structure π induces a Lie algebra structure on the Lie algebra dual g∗ which makes (g, g∗) into a Lie bialgebra. In fact, there is a one-one correspondence between Poisson Lie groups and Lie bialgebras if the Lie groups are assumed to be simply connected [7], [16], [19]. The importance of Poisson Lie groups themselves arises in part from their role as classical limits of quantum groups [8] and in part because they provide a class of Poisson structures for which the realization problem is tractable [15]. Poisson groupoids were introduced by Weinstein [24] as a generalization of both Poisson Lie groups and the symplectic groupoids which arise in the integration of arbitrary Poisson manifolds [4], [11]. He noted that the Lie algebroid dual A∗G of a Poisson groupoid G itself has a Lie algebroid structure, but did not develop the infinitesimal structure further. In this paper we introduce and study a natural infinitesimal invariant for Poisson groupoids, the Lie bialgebroids of the title. Our ultimate purpose is to develop a Lie theory for Poisson groupoids parallel to that for Poisson groups. In this paper we are primarily concerned with the first half of this process; that is, with the construction of the Lie bialgebroid of a Poisson groupoid. After the preliminary §2, in which we describe the generalization to arbitrary Lie algebroids of the exterior calculus and Schouten calculus, in §3 we define a Lie bialgebroid to be a Lie algebroid A whose dual A∗ is also equipped with a Lie algebroid structure, such that the coboundary operator d∗ : A −→ ∧(A) associated to A∗ satisfies a cocycle equation with respect to Γ(A), the Lie algebra of sections of A. This is clearly a straightforward extension of the concept of a Lie bialgebra [16] but cannot be formalized in Lie algebroid cohomological terms since there is no satisfactory adjoint representation for a general Lie algebroid. Most of §3 is devoted to proving that this definition is self-dual: if (A,A∗) is a Lie bialgebroid, then (A∗, A) is also. In §4, we briefly consider the special case of Lie bialgebroids satisfying a triangularity condition, which include some important examples such as the usual triangular Lie bialgebras and Lie bialgebroids associated to Poisson manifolds. The techniques used in §§2–4 are similar to those known for Lie bialgebras. It would be possible, by suitably generalizing the proof for Poisson groups, to prove

Maximal subalgebras and chief factors of Lie algebras

Lie groups are very important objects in algebra, topology and geometry, as it is naturally endowed with two special structures: the algebraic structure of group and the geometric structure of differential manifold. Hence, it is quite meaningful to better know the structure of Lie groups and the actions, and the transformations between them. Two specific theorems about Lie groups and their homomorphism and Lie homomorphism are proved in this paper. First, the fact that there does not exist a surjective Lie group homomorphism between and is introduced. This is done by first having a trial of constructing Lie group surjective homomorphism but fails. Next, this result is further proved by applying topological method that to construct a covering map between and , followed by computing the fundamental group of . Finally, by applying that is a simple group, the fact that there does not exist a surjective group homomorphism between and is demonstrated, together with the statement that is a simple group.

In the last two decades much of the algebraic/combinatorial structure of Lie groups, Lie algebras, and their representations has been implemented in several excellent computer algebra packages, including LiE, GAP4, Chevie, Magma, and Maple. The structure of reductive symmetric spaces or more generally symmetric k-varieties is very similar to that of the underlying Lie group, with a few additional complications. A computer algebra package enabling one to do computations related to these symmetric spaces would be an important tool for researchers in many areas of mathematics, including representation theory, Harish Chandra modules, singularity theory, differential and algebraic geometry, mathematical physics, character sheaves, Lie theory, etc. In this article we lay the groundwork for computing the fine structure of symmetric spaces over the real numbers and other base fields, give a complete set of algorithms for computing the fine structure of symmetric varieties and use this to compute nice bases for the local symmetric varieties.

We study three-dimensional Lie groups with left-invariant Lorentz metric and almost harmonic (with zero curl and divergence) Schouten–Weyl tensor. Contracting the Schouten-Weyl tensor in an arbitrary direction, we introduce an antisymmetric 2-tensor and study the structure of three-dimensional Lie groups and algebras with left-invariant Riemann metric in which this tensor is harmonic. Bibliography: 8 titles.

A symplectic Lie group is a Lie group with a left-invariant symplectic form. Its Lie algebra structure is that of a quasi-Frobenius Lie algebra. In this note, we identify the groupoid analogue of a symplectic Lie group. We call the aforementioned structure a $t$-symplectic Lie groupoid; the “$t$" is motivated by the fact that each target fiber of a $t$-symplectic Lie groupoid is a symplectic manifold. For a Lie groupoid $\mathcal{G}\rightrightarrows M$, we show that there is a one-to-one correspondence between quasi-Frobenius Lie algebroid structures on $A\mathcal{G}$ (the associated Lie algebroid) and $t$-symplectic Lie groupoid structures on $\mathcal{G}\rightrightarrows M$. In addition, we also introduce the notion of a symplectic Lie group bundle (SLGB) which is a special case of both a $t$-symplectic Lie groupoid and a Lie group bundle. The basic properties of SLGBs are explored.

This paper focuses on the relevance of a certain class of left-invariant Hamiltonians (affine-quadratic) on a reductive semi-simple Lie algebra g for the theory of integrable systems and the equations of applied mathematics.Any semi-simple Lie group G that contains a closed subgroup K is reductive, in the sense, that the orthogonal complement p in g of the Lie algebra k of K , relative to the Killing form, satisfies [k, p] p.This implies that K acts (by adjoint action) on p and therefore induces the semi-direct product p K .Consequently, g , as a vector space, carries two Lie algebra structures: semi-simple, and semi-direct.Hence, the dual g * carries two Poisson structures as well.Any affine-quadratic function H on g can be simultaneously viewed as a Hamiltonian for either Poisson structure.We will show that certain coadjoint orbits relative to the semi-direct action are the cotangent bundles of SO(n).This implies that the equations of an n -dimensional top can be represented on such coadjoint orbits.In this situation there is a canonical affine-quadratic Hamiltonian whose Hamiltonian equations on these coadjoint orbits coincide with the equations of the top.This implies that the integrable cases of the top correspond to the the integrable cases of the overseeing affine Hamiltonian.More generally, we will identify a subclass of affine-quadratic Hamiltonians, called isospectral, that provides new insights into the theory of integrable systems based on the contributions of S. V. Manakov, A. T. Fomenko, A. S. Mischenko and O. Bogoyavlensky listed in the references.

It has been known since (Pillay, J. Pure Appl. Algebra 53 (1988), no. 3, 239–255)that any group definable in an o $o$ -minimal expansion of the real field can be equipped with a Lie group structure. It is therefore natural to ask when is a Lie group Lie isomorphic to a group definable in such an expansion. Conversano, Starchenko and the first author answered this question in (Conversano, Onshuus, and Starchenko, J. Inst. Math. Jussieu 17 (2018), no. 2, 441–452) in the case when the group is solvable. This paper answers similar questions in more general contexts. We first give a complete classification in the case when the group is linear. Specifically, a linear Lie group G $G$ is Lie isomorphic to a group definable in an o $o$ -minimal expansion of the reals if and only if its solvable radical has the same property. We then deal with the general case of a connected Lie group, although unfortunately, we cannot achieve a full characterization. Assuming that a Lie group G $G$ has its Levi subgroups with finite center, we prove that in order for G $G$ to be Lie isomorphic to a definable group it is necessary and sufficient that its solvable radical satisfies the conditions given in (Conversano, Onshuus, and Starchenko, J. Inst. Math. Jussieu 17 (2018), no. 2, 441–452).