Symplectic, Orthogonal and Linear Lie Groups in Clifford Algebra

We introduce a Lohe group which is a new class of matrix Lie groups and present a continuous dynamical system for the synchronization of group elements in a Lohe group. The Lohe group includes classical Lie groups such as the orthogonal, unitary, and symplectic groups, and since Lohe groups need not be compact, global existence of ODEs may fail. The proposed dynamical system generalizes the Lohe model (Lohe in J Phys A 43:465301, 2010; Lohe in J Phys A 42:395101–395126, 2009) itself a nonabelian generalization of the Kuramoto model, and alongside we also generalize the analytical framework (Ha and Ryoo in J Stat Phys 163:411–439, 2016) of emergent and unique phase-locked states. For the construction of the phase-locked states, we introduce Lyapunov functions measuring the ensemble diameter and the dissimilarity between two Lohe flows, and derive Gronwall-type differential inequalities for them. The global existence of solutions then become a consequence of the boundedness of these Lyapunov functions. Our sufficient framework for the emergent dynamics is formulated in terms of coupling strength and initial states, and it leads to the global existence of solutions and the formation and uniqueness of a phase-locked asymptotic state. As a concrete example, we demonstrate how our theory can show emergent phenomenon on the Heisenberg group, where all initial configurations tend to a unique phase-locked state exponentially fast.

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.

In this paper we deduce a graded version of Quillen–Suslin’s Local-Global Principle for the traditional classical groups, viz. general linear, symplectic and orthogonal groups and establish its equivalence of the normality property of the respective elementary subgroups. This generalizes previous result of Basu–Rao–Khanna. Then, as an application, we establish an analogue Local-Global Principle for the commutator subgroups of the special linear and symplectic groups. Finally, by using Swan–Weibel’s homotopy trick, we establish graded analogue of the Local-Global Principle for the transvection subgroups of the full automorphism groups of the linear, symplectic and orthogonal modules. This generalizes the previous result of Bak–Basu–Rao.

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.

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.

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding. Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$ -module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

Let \(G\) be a connected and simply connected Lie group with Lie algebra \(\mathfrak g \). We say that a subset \(X\) in the set \(\mathfrak g ^\star / G\) of coadjoint orbits is convex hull separable when the convex hulls differ for any pair of distinct coadjoint orbits in \(X\). In this paper, we define a class of solvable Lie groups, and we give an explicit construction of an overgroup \(G^+\) and a quadratic map \(\varphi \) sending each generic orbit in \(\mathfrak g ^\star \) to a \(G^+\)-orbit in \(\mathfrak{g ^+}^\star \), in such a manner that the set \(\varphi (\mathfrak g ^\star _{gen}){/ G^+}\) is convex hull separable. We then call \(G^+\) a weak quadratic overgroup for \(G\). Thanks to this construction, we prove that any nilpotent Lie group, with dimension at most 7 admits such a weak quadratic overgroup. Finally, we produce different examples of solvable Lie groups, having weak quadratic overgroups, but which are not in our class of Lie groups and for which usual constructions fail to hold.

We are concerned with finite-dimensional classical groups over arbitrary commutative fields. In an orthogonal group a Siegel transvection, that is, an element centralizing l⊥ for some totally singular 2-dimensional subspace l, plays the same role as a transvection in the linear, symplectic or unitary groups. The Main Theorem of this paper describes the possible embeddings of classical groups in classical groups such that (Siegel) transvections act as (Siegel) transvections.

By the methods used heretofore for the determination of the automorphisms of certain families of linear groups, for example, the (projective) unimodular, orthogonal, symplectic, and unitary groups (7, 8), it has been necessary to consider the various families separately and to give many case-by-case discussions, especially when the underlying vector space has few elements, even though the final results are very much the same for all of the groups. The purpose of this article is to give a completely uniform treatment of this problem for all the known finite simple linear groups (listed in §2 below). Besides the * ‘classical groups” mentioned above, these include the “exceptional groups,” considered over the complex field by Cartan and over an arbitrary field by Dickson, Chevalley, Hertzig, and the author (3, 4, 5, 6, 10, 15). The automorphisms of the latter groups are given here for the first time.

By a classical group we mean one of the groups G L n ( R ) G{L_n}(R) , G L n ( C ) G{L_n}(C) , G L n ( H ) G{L_n}(H) , U ( p , q ) U(p,\,q) , O n ( C ) {O_n}(C) , O ( p , q ) O(p,\,q) , S O ∗ ( 2 n ) S{O^{\ast }}(2n) , S p 2 n ( C ) S{p_{2n}}(C) , S p 2 n ( R ) S{p_{2n}}(R) , or S p ( p , q ) Sp(p,\,q) . Let G G be a classical group and L L its Lie algebra. For each x ∈ L x \in L we determine the closure of the orbit G ⋅ x G \cdot x (for the adjoint action of G G on L L ). The problem is first reduced to the case when x x is nilpotent. By using the exponential map we also determine the closures of conjugacy classes of G G .

In this chapter, we introduce the reader to the homology theory for algebras known as cyclic homology. As we shall see in the next section, cyclic homology may be viewed as the “linearization” of K-theory, in the same sense in which the matrix ring M n (R) is the “linearization” of the general linear group GL(n, R). For motivation, it is useful to think of the case where the ring R is ℝ or ℂ. Then GL(n, R)is a Lie group, and the space BGL(n, R)+ giving rise to the higher K-groups is by its construction an H-space whose homology agrees with the homology of this Lie group (never mind for the moment that we are forgetting the topology!). On the other hand, one of the basic principles of Lie theory is that the best way to study Lie groups (which are “non-linear” objects) is often by way of their Lie algebras (which can be studied using linear algebra). For example, it is a famous result that for any compact Lie group G with Lie algebra g, the topological cohomology H●(G;ℝ) (here we are just thinking of G as a space and ignoring the group structure) is canonically isomorphic to the Lie algebra cohomology H●(g;ℝ), which can at least in principle be computed using only finite-dimensional linear algebra. This suggests that some construction with the Lie algebra M n (R) of GL(n, R)ought to yield a reasonable approximation to the K-theory of R, at least in the limit as n → ∞. While the actual construction of cyclic homology and of the Chern character which relates it to K-theory is a bit roundabout, this philosophy turns out to be basically correct.KeywordsExact SequenceCommutative RingHomology TheoryChern CharacterCyclic HomologyThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

It is well known that chiral symmetry breaking (χSB) in QCD with Nf = 2 light quark flavors can be described by orthogonal groups as O (4) → O (3), due to local isomorphisms. Here we discuss the question how specific this property is. We consider generalized forms of χSB involving an arbitrary number of light flavors of continuum or lattice fermions, in various representations. We search systematically for isomorphic descriptions by nonunitary, compact Lie groups. It turns out that there are a few alternative options in terms of orthogonal groups, while we did not find any description entirely based on symplectic or exceptional Lie groups. If we adapt such an alternative as the symmetry breaking pattern for a generalized Higgs mechanism, we may consider a Higgs particle composed of bound fermions and trace back the mass generation to χSB. In fact, some of the patterns that we encounter appear in technicolor models. In particular if one observes a Higgs mechanism that can be expressed in terms of orthogonal groups, we specify in which cases it could also represent some kind of χSB of techniquarks.

The material presented below amounts roughly to the so-called fundamental theorems of Lie and their implications concerning Lie algebras, Lie subgroups and subalgebras. By straightforward and fairly elementary steps, we shall extend the concept of Lie group to include groups admitting coordinate systems in which the functions defining ab, the group product of elements a, b, possess continuous first order derivatives in the coordinates of a and satisfy a Lipschitz condition in those of b. That such groups are equivalent to classical (i.e. analytical) Lie groups was announced in 1936 by van Kampen, although apparently van Kampen published nothing by way of proof beyond a certain decisive uniqueness theorem concerning systems of ordinary differential equations. (This is contained in our theorem (12.1); the proof given below is essentially that of van Kampen [3]). It is conceivable that the condition relative to coordinates of b could be weakened or dispensed with entirely. For, the only part the condition in question plays in our development is to make it certain that the inverse of a certain mapping-the mapping into canonical coordinates-is single-valued. In this connection mention should be made of the paper [1J of Garrett Birkhoff in which it is shown that the existence of continuous first order derivatives of ab with respect to the coordinates of both the a's and the b's is sufficient for defining a Lie group. We shall consider only groups with a finite number of real parameters (whereas the groups considered by Birkhoff are not necessarily finite dimensional). This makes it possible to use the standard existence theorems for systems of ordinary real differential equations. We make no use whatever of the theory of partial differential equations. We maintain throughout a purely local point of view in the sense that we consider only what happens in the neighborhood of the identity. Historical notes. The proof of the uniqueness of square roots (8.5) is due to Claude Chevalley (unpublished). The proof given below of Lie's theorem that a linear system of vector fields which is closed under commutation defines a Lie group is, we believe, due to van der Waerden [4]. We have supplied a number of preliminary lemmas which make the proof rigorously applicable to the case in which the vector fields are only assumed to possess continuous first order derivatives. The theorem in ?17 that every local subgroup of a Lie group is a Lie group is due essentially to E. Cartan [2]. 481

Chapter 3 - Lie Groups

It is obvious that the topological closure of an orbit of an algebraic group acting algebraically on a projective manifold over tE is an algebraic set containing the orbit as a Zariski open set. This article treats the above situation when the group is a connected reductive complex Lie group acting holomorphically on a compact Kaehler manifold. Recall (cf. § II below) that a connected complex reductive Lie group, G, has the structure of a linear algebraic group, and this algebraic structure is compatible with the underlying analytic structure. Let G be any projective manifold in which G is Zariski open and which induces the above algebraic structure on G. A complex connected Lie group G is said to act projeetively on a compact Kaehler manifold X if G acts holomorphically on X and the Lie algebra of holomorphic vector-fields that G generates on X is annihilated by every holomorphic one form on X. This definition is justified in § II. Note (cf. §III) that G acts projectively on X if either H~(X, Q)=0, or G is semi-simple, or if every generator of the solvable radical of G has a fixed point on X, or if G is linear algebraic acting algebraically on a projective X. The main result of the paper (cf. § II) where G is as above for reduct i~ G is: Proposition. Let G be a complex connected reduetive Lie group acting projeetively on a compact Kaehler X. Let q~: Y ~ X be a hotomorphic map where Y is a normal reduced complex space. Consider the equivariant map q~:G× Y ~ X , ~ extends meromorphically (in the sense of Remmert) to CJ × Y. Taking Y to be a point one gets the analog of the result mentioned in the opening sentence. Another simple corollary is the classical result that the linear algebraic structure chosen on G which makes it algebraic is unique; and in fact that any reductive connected subgroup of a linear algebraic group over ~ is an algebraic subgroup. As a further application of the techniques used a new proof of an improved form of a fixed point theorem (cf. [20]) of the author is given: Proposition. Let S be a complex solvable Lie group acting holomorphically on a compact Kaehler manifold X. The following are equivalent: