On Algebraic and Semialgebraic Groups and Semigroups

Similar documents
Lie Superalgebras and Lie Supergroups, II

Atypical representations of the Lie superalgebra sl(1,n) for n greater than 1

ALGEBRAIC GROUPS J. WARNER

Computational methods in the study of symplectic quotients

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Math 215B: Solutions 1

Geometric Aspects of SL(2)-Invariant Second Order Ordinary Differential Equations

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Rings and groups. Ya. Sysak

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

VICTORIA POWERS AND THORSTEN W ORMANN Suppose there exists a real, symmetric, psd matrix B such that f = x B x T and rank t. Since B is real symmetric

Algebra Homework, Edition 2 9 September 2010

Non-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups

THE EULER CHARACTERISTIC OF A LIE GROUP

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases

NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

A short course on the Lie theory of semigroups I

STRONGLY ALGEBRAIC REALIZATION OF DIHEDRAL GROUP ACTIONS

Lecture Notes Introduction to Cluster Algebra

Affine combinations in affine schemes

THE MODULI SPACE OF CURVES

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea

Transcendental Numbers and Hopf Algebras

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

Representation Theory

Algebraic groups Lecture 1

On Dense Embeddings of Discrete Groups into Locally Compact Groups

z, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

ne varieties (continued)

1 Smooth manifolds and Lie groups

Some decision problems on integer matrices

Smooth morphisms. Peter Bruin 21 February 2007

LMI MODELLING 4. CONVEX LMI MODELLING. Didier HENRION. LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ. Universidad de Valladolid, SP March 2009

A method for construction of Lie group invariants

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

Random Walks on Finite Quantum Groups

Problem 1.1. Classify all groups of order 385 up to isomorphism.

ABSTRACT ALGEBRA WITH APPLICATIONS

Part III Symmetries, Fields and Particles

Topics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group

Assignment 1 Math 5341 Linear Algebra Review. Give complete answers to each of the following questions. Show all of your work.

Quantum Field Theory III

Math 121 Homework 5: Notes on Selected Problems

arxiv: v1 [math.rt] 11 Sep 2009

Math 121 Homework 4: Notes on Selected Problems

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

STRUCTURE AND DECOMPOSITIONS OF THE LINEAR SPAN OF GENERALIZED STOCHASTIC MATRICES

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

Curtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups

Lie Theory of Differential Equations and Computer Algebra

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

THREE CASES AN EXAMPLE: THE ALTERNATING GROUP A 5

Algebra Exam Syllabus

Continuity of convolution and SIN groups

BASIC VON NEUMANN ALGEBRA THEORY

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

THE QUANTUM DOUBLE AS A HOPF ALGEBRA

Symmetric Spaces Toolkit

1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.

Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Introduction to Group Theory

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

AFFINE ACTIONS ON NILPOTENT LIE GROUPS

MIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???

Applications of geometry to modular representation theory. Julia Pevtsova University of Washington, Seattle

Polynomials, Ideals, and Gröbner Bases

Cell decompositions and flag manifolds

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations

Globalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1

Mod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

Problems in Linear Algebra and Representation Theory

Lecture 1. Toric Varieties: Basics

Semigroup invariants of symbolic dynamical systems

REPRESENTATION THEORY WEEK 5. B : V V k

On the Notion of an Automorphic Representation *

Algebraic structures I

Topological K-theory

Math 249B. Nilpotence of connected solvable groups

Minimum Polynomials of Linear Transformations

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

MANIFOLD STRUCTURES IN ALGEBRA

Representations and Linear Actions

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

1 Classifying Unitary Representations: A 1

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

Nur Hamid and Manabu Oura

arxiv:math-ph/ v1 31 May 2000

Math 554 Qualifying Exam. You may use any theorems from the textbook. Any other claims must be proved in details.

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

Algebra Exam Topics. Updated August 2017

Transcription:

Seminar Sophus Lie 3 (1993) 221 227 Version of July 15, 1995 On Algebraic and Semialgebraic Groups and Semigroups Helmut Boseck 0. This is a semi lecture 1 whose background is as follows: The Lie-theory of subsemigroups of a Liegroup, as it is considered in the compact presentation by K. H. Hofmann in volume 1, no. 1 of this seminar [4], largely reduces to a Lie-theory of subgroups in the algebraic case. Specifically, if the group G in question and the subsemigroup S are both affine algebraic varieties the S is in fact a subgroup. This fact is well known in the theory of algebraic semigroups and a consequence of a theorem on subsemigroups of algebraic Lie groups published by C. Chevalley in the second volume of his book on Lie groups in 1951 [2]. We shall rewrite the theorem using Hopf algebras and consider several consequences. The second part of the lecture deals with the main consequence. It answers the question which class of subsemigroups of an algebraic group one should consider in order to develop a satisfactory Lie-theory of semigroups in algebraic Lie groups by methods close to algebraic geometry. In the case of a real base field we propose the consideration of semialgebraic semigroups and illustrate this proposal by some basic facts and interesting examples as well. 1. The CHEVALLEY theorem and its consequences Theorem 1.1. Let K denote an infinite base field, and P be the Hopf algebra of polynomial functions on GL(n; K). Assume that S GL(n; K) is a subsemigroup, and a = ann P S its annihilator ideal in the algebra P. Then we have the following conclusions i) a is a coideal in P, too, i.e., a a P + P a; ii) G(a) = {g G(P) : (id P g) a a} is a group; iii) G = ann GL(n;K) a is an affine algebraic group canonically isomorphic to G(a), and a = ann P G. By we denote the coproduct of the Hopf algebra P, while G(P) denotes the structure group of P. In other words, G(P) is the set of homomorphisms of the commutative algebra P onto K with convolution as multiplication. The canonical isomorphism between G and G(a) is the restriction of the canonical isomorphism which maps every g GL(n; K) onto the homomorphism P K defined by 1993 1 Lecture delivered at the summer session of Seminar Sophus Lie in Darmstadt on May 14,

222 Boseck evaluation at g. A sketchy proof of ii) and iii) runs as follows: The mapping g r(g) with r(g) = (id P g) Aut P is just the so-called right regular representation of G(P) on the linear space P. Now ii) follows from Lemma 1 of Chevalley stating: if a is a linear subspace of P and r(g)a a for every g G(P),then r(g)a = a. If G (a) = ann G(P) a, then evidently we have G (a) G(a), for r(g)a = (id P g) a ag(p) = a. Assume g 0 G (a). Then once more by Lemma 1 we get r(g 0 )a = a, and for every p a there exists a q a such that p = r(g 0 )q. Let ε G(P) denote the identity, i.e., ε is the counit of P, then it holds that ε(p) = ε(r(g 0 )q) = (ε g 0 ) q = g 0 (q) = 0, and for every g G(P) we have g(p) = (ε g) p = ε(r(g)p) = 0. This implies G(a) G (a), and thus, finally, iii). 1.2. Consequences. A. A Zariski-closed subsemigroup of an affine algebraic group over an infinite base field is an affine algebraic group. B. The group of units of an affine algebraic semigroup is an affine algebraic group [6]. In the following we assume the base field to be algebraically closed. C. Let H denote an affine Hopf algebra (i.e., H is commutative and finitely generated). Every linear subspace a, which is an ideal and a coideal of H, is annihilated by the augmentation or counit ε of H, that is, ε(a) = 0, and is invariant under the antipode or symmetry σ of H, that is σ(a) a. In short: Every biideal of an affine Hopf algebra is a Hopf ideal [5]. D. Every quotient bialgebra of an affine Hopf algebra is a quotient Hopf algebra. E. If S is an affine algebraic semigroup, then for every s S there exists a power s k which belongs to a subgroup of S [6]. There is an elementary proof of this statement, which is sketched as follows: Assume S Mat(n; K) to be an affine algebraic semigroup. Denote by G m the group of n n matrices of the form ( A O O O ) ; A GL(m; K), 1 m n, G m = GL(m; K). If s S and rank s = m, then there exists a matrix t GL(n; K) such that s = tst 1 has Jordan normal form. There is a power of s such that s k G m. The group G m = t 1 G mt is isomorphic to GL(m; K) and H = S G m is not void since s k H. Also, H is a group by the theorem. F. If S is an affine algebraic semigroup, then for every s S there exists an idempotent e 0 such that for suitable powers of s we have e 0 s k = s k = s k e 0 [6]. G. If there is only one idempotent in an affine algebraic monoid S, then S is a group [6].

Boseck 223 2.1. Foundations 2. Semialgebraic Semigroups From now on we take the base field K to be the field of real numbers R. We denote the Hopf algebra of polynomial functions on GL(n) = GL(n; R) by P(n) = R[X 11,..., X nn, x]/(x det X 1). Let G denote a real affine algebraic group G = ann GL(n) a, and a = ann P(n) G, where a denotes an ideal and a coideal of P(n), contained in the kernel of the augmentation ε, and invariant under the antipode σ of P(n) Accordingly, a a P(n) + P(n) a, ε(a) = 0, σ(a) a. P = P(G) = P(n)/a denotes the Hopf algebra of polynomial functions on G. Let S G denote a subsemigroup of G. We call S a semialgebraic semigroup if S = {s G; r j (s) 0, r j P, j = 1,..., l}. Then S is a closed affine semialgebraic set. For simplicity we restrict the considerations to closed semialgebraic semigroups. If b = ann P S denotes the annihilator of S in P, then b is an ideal and a coideal of P and by 1.2C it is contained in the kernel of ε and is invariant under σ, hence P = P/b is a real Hopf algebra defining a real affine algebraic subgroup G of G, which contains S as a subsemigroup. G is the smallest real affine algebraic group which contains S as a subsemigroup. In the sequel we may assume G = G. Let S G denote a closed affine semialgebraic set The cone defines a semiorder on P : S = {s G; r j (s) 0, r j P, j = 1,..., l}. P + (S) = {p P : ( s S) p(s) 0} p S q iff q p P + (S). We observe that p S q and q S p implies q p b = ann P S. Let us identify the tensor product P P with the algebra of polynomial functions on G G. The semialgebraic set S is a semialgebraic semigroup iff i) P + (S) (P P) + (S S),

224 Boseck it is a semialgebraic monoid iff, moreover, it is true that ii) ε(p) 0 for every p P + (S), and it is a semialgebraic group iff, in addition, the following condition is satisfied: iii) σ(p + (S)) P + (S). If S is a semialgebraic semigroup, then, by our assumption G = G, the relations p S q and q S p imply p = q for every p, q P. Let G(P) denote the structure group of the Hopf algebra P. Then G(P) = G canonically, and we have the isomorphism S = {ς G(P) : ς(p + (S)) R + } = {ς G(P) : ( p, q P) p S q implies ς(p) ς(q)}. Assume G to be an irreducible real affine algebraic group, and denote by R = R(G) the field of fractions of the polynomial functions P = P(G). I.e., R is the field of rational functions on G. Set S = {s G : r j (s) 0, r j P, (j = 1,..., l)}. Then S is a semialgebraic subset of G. We denote by R 2 the cone consisting of the sums of squares of elements from R, and by R 2 (r j ; (j = 1,..., l)) the cone in R generated by r 1,..., r l. The elements of the cone R 2 (r j ; (j = 1,..., l)) are of the form f = f 0 + k i=1 f i t i, where f i R 2, i = 1,..., k, and where the t i, (i = 1,..., k) are products of the r 1,..., r l. The Positivstellensatz ([1], pp. 84, 93, 95) implies the following equation: P + (S) = R 2 (r j ; (j = 1,..., l)) P. Keeping in mind that the direct product G G is irreducible, too, and using once more the Positivstellensatz we get the following criterion: Let G denote an irreducible real affine algebraic group. subset S = {s G : r j (s) 0, r j P, j = 1,..., l} of G is a semialgebraic semigroup iff i) r j = f 0j + k i=1 f ij (t ij t ij ), j = 1,..., l, A semialgebraic where the f ij, i = 0, 1,..., k, j = 1,..., l are sums of squares of elements from the field of fractions of P P, and where the t ij, t ij, i = 1,..., k, j = 1,..., l are products of the r 1,..., r l. Let us consider the case G = GL(n). Write R(n) for the field of fractions of P(n), then R(n) is isomorphic to R(X) = R(X 11,..., X nn ). Define a semialgebraic set by the equation S = {s GL(n); r j (s) 0, r j P(n), j = 1,..., l},

Boseck 225 then we may choose r j R[X] = R[X 11,..., X nn ], j = 1,..., l. Now assume G = GL(n) GL(n). Then P(G) = P(n) P(n). Denote the field of fractions by R(n, n). Now R(n, n) is isomorphic to R(X, Y ) = R(X 11,..., X nn, Y 11,..., Y nn ). Using the Positivstellensatz the criterion looks as follows: The semialgebraic set S = {s GL(n) : r j (s) 0, r j R[X], j = 1,..., l} is a semialgebraic semigroup iff i) r j = f 0j + k i=1 f ij (t ij t ij ) j = 1,..., l, where the f ij, i = 0, 1,..., k, j = 1,..., l are sums of squares of elements from R(n, n), f ij R 2 (n, n), and where the t ij, t ij, i = 1,..., k, j = 1,..., l are products of the r 1,..., r l R[X]. We may rewrite the necessary and sufficient condition i) using the isomorphisms indicated above and having in mind that the coproduct is defined by matrix multiplication as follows: i ) r j (XY ) = f 0j (X, Y ) + k i=1 f ij (X, Y )t ij (X)t ij (Y ) j = 1,..., l. Here r j (XY ) is a short notation for r j ( n i=1 X 1i Y i1,..., n i=1 X ni Y in ); moreover, the functions f ij (X, Y ) = f ij (X 11,..., X nn, Y 11,..., Y nn ) belong to R(X, Y ) 2, i.e., are sums of squares of rational functions in 2n 2 variables, and the functions t ij (X) = t ij (X 11,..., X nn ) are products of the r 1 (X),..., r l (X), while the functions t ij(y ) = t ij(y 11,..., Y nn ) are products of the r 1 (Y ),..., r l (Y ). Let S denote a semialgebraic monoid. Assume S G with a real affine algebraic group G, and denote by L(G) the Lie algebra of G. We define the Lie wedge of S by the following equation W (S) = {u L(G); ( p P + (S), t R + ) p(exp tu) 0} = {u L(G); ( t R + ) r j (exp tu) 0, j = 1,..., l}. Evidently only those elements p P + (S) are important, which satisfy the equation p(e) = ε(p) = 0. Regarding the r 1,..., r l P defining the set S, we may assume r 1 (e) = = r k (e) = 0, and r k+1 (e) > 0,..., r l (e) > 0. Then W (S) = {u L(G); ( p P + (S) with p(e) = 0, t R + ) p(exp tu) 0} = {u L(G); ( t R + ) r i (exp tu) 0, i = 1,..., k}. 2.2 Examples 1) Let G = D(n) denote the group of regular real n n diagonal matrices, S = D m + (n) = {s D(n); s ii 1, i = 1,..., m, s jj 0, j = m + 1,..., n}.

226 Boseck The set D m + (n) is a semialgebraic monoid with the following Lie wedge: W (D m + (n)) = {u Rn2 ; u ij = 0, i j, u ii 0, i = 1,..., m}. The group of units consists of the regular diagonal matrices having 1 at the first m places in the diagonal; it is isomorphic to D(n m). Note that D 0 (1) is the multiplicative group of positive real numbers, and that D 1 (1) is the multiplicative monoid of real numbers 1. 2) Assume G = GL(n), and put S = SL + (n) = {s GL(n) : det s 1}. Then SL + (n) is a semialgebraic monoid with Lie wedge W (SL + (n)) = {u R n2 ; Tr u 0}. The group of units of SL + (n) is SL(n). 3) Assume G = GL(n), put S = GL m + (n) = {s GL(n); s ii 1, i = 1,..., m, s ij 0, i j or i = j = m + 1,..., n}. The set GL m +(n) is a semialgebraic monoid with Lie wedge W (GL m + (n)) = {u Rn2 ; u ii 0, i = 1,..., m, u ij 0, i j}. Now GL 0 +(n) is the monoid of nonnegative regular n n matrices. 4) Define SL m + (n) = GLm + (n) SL +(n). Then SL m + (n) is a semialgebraic monoid and W (SL m + (n)) = W (GLm + (n)) W (SL +(n)). In the case m = n we have W (SL n +(n)) = W (GL n +(n)). ( ) i1 i 5) By s k we denote the k -minor of the matrix s given by the rows with j 1 j k indices i 1 i k and the columns with the indices j 1 j k. Assume G = GL(n), and put S = GL m ++ (n) = {s GL(n); s ( i1 i k i 1 i k ) { } 1 if 1 i1 i k m,. 0 otherwise The set GL m ++(n) is a semialgebraic monoid. The Lie wedge of GL m ++(n) equals the Lie wedge of GL m + (n). Here GL0 ++ (n) is the monoid of completely nonnegative regular n n matrices. If n 3 then GL n ++(n) SL n +(n) GL n +(n),

Boseck 227 and W (GL n ++ (n)) = W (SLn + (n)) = W (GLn + (n)). 6) Let G denote the group of similarities in euclidean n-space: We define G = {g GL(n); S = {s G; g = αh, α R, α 0, and h SO(n)}. s = αh, α 1, and h SO(n)}. The set S is a semialgebraic monoid with the Lie wedge W (S) = {αu R n2 ; α 0 and u so(n)}. S is the monoid of expanding similarities, isomorphic to the direct product of the monoid D 1 (1) and the orthogonal group SO(n) : S = D 1 (1) SO(n); its Lie wedge is isomorphic to R + so(n); its unit group is SO(n). 7) The last example is a little bit beyond the context of this lecture. Consider the set S = Osc(n) = {s GL 0 ++(n); s ij > 0, if i j 1}. The set Osc(n) is the semialgebraic semigroup of oscillation matrices ([3], p.447); it is not a monoid, and it is not closed. References [1] J. Bochnak, M. Coste, M.-F. Roy, Géometrie algébrique réelle, Ergebnisse der Mathematik und ihrer Grenzgebiete 3.Folge, Band 12, Springer Verlag 1987. [2] C. Chevalley, Théorie des Groupes de Lie, Tome II, Groupes Algébriques, Hermann & Cie. Paris 1951. [3] F. R. Gantmacher,,,Matrizentheorie, Deutscher Verlag d. Wiss. Berlin 1986. [4] K. H. Hofmann, A short course on the Lie theory of semigroups I : The fundamental theorems. Seminar Sophus Lie 1 (1991), 33 40. [5] K. Newman, A Correspondence between Bi-ideals and Sub-Hopf Algebras in Cocommutative Hopf Algebras, Journal of Algebra 36 (1975), 1 15. [6] M. S. Putcha, Linear algebraic monoids, Cambridge Univ. Press 1988. Fachrichtungen Mathematik/Informatik Ernst Moritz Arndt Universität Greifswald Friedrich Ludwig Jahn-Straße 15a D-17487 Greifswald, Germany boseck@math-inf.uni-greifswald.dbp.de Received August 17, 1993