Progress in Mathematics 306
Alan Huckleberry Ivan Penkov Gregg Zuckerman Editors Lie Groups: Structure, Actions, and Representations
In Honor of Joseph A. Wolf on the Occasion of his 75th Birthday
Progress in Mathematics Volume 306
Series Editors Hyman Bass Joseph Oesterle´ Yuri Tschinkel Alan Weinstein Alan Huckleberry • Ivan Penkov Gregg Zuckerman Editors
Lie Groups: Structure, Actions, and Representations
In Honor of Joseph A. Wolf on the Occasion of his 75th Birthday Editors Alan Huckleberry Ivan Penkov Faculty of Mathematics School of Science and Engineering Ruhr Universitat¨ Bochum Jacobs University Bochum, Germany Bremen, Germany School of Science and Engineering Jacobs University Bremen, Germany
Gregg Zuckerman Department of Mathematics Yale University New Haven, CT, USA
ISBN 978-1-4614-7192-9 ISBN 978-1-4614-7193-6 (eBook) DOI 10.1007/978-1-4614-7193-6 Springer New York Heidelberg Dordrecht London
Library of Congress Control Number: 2013941881
Mathematics Subject Classification (2010): 53C15, 53B15, 31B05, 32L25, 44A15, 22E46, 32M10, 32M05, 46E22, 32S55, 43A85, 21EXX, 14LXX, 16RXX, 16WXX, 22E65, 22E45, 32A25, 22E30, 58B99, 58J20, 58J40, 20F50, 19A31, 57R67, 32N10, 20G05, 13A50, 43A32, 43A90
© Springer Science+Business Media New York 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.birkhauser-science.com)
Joseph A. Wolf, Oberwolfach, 1984
Preface
This volume is dedicated to Joseph A. Wolf on the occasion of his 75th birthday. Participants at the conference in Bochum in Wolf’s honor, which took place in early January 2012, had the chance to express their respect and their thanks for Joe’s fundamental contributions to mathematics and to wish him continued good health and success for the coming years. We, the editors of this volume, would like to take this opportunity to put these wishes in writing. Almost 60 of Joe’s 75 years have been devoted to mathematics. At the age of 15, he was granted a Ford Foundation scholarship to begin his undergraduate studies at the University of Chicago. At first his parents were rather skeptical about this idea, but Adrian Albert, who had been a friend of Joe’s father in their undergraduate days, calmed their worries. Joe started out in a broad liberal arts program but stimulated by lectures from Lang, Kaplansky, Spanier, and Chern, and with the support of Adrian Albert in the background, he soon gravitated to a concentration in mathematics. Early on Joe became particularly interested in Riemannian geometry. As a result, with the support of an NSF Graduate Fellowship, he stayed on in Chicago to do his graduate work with Chern. Courses from Helgason, MacLane, Palais, Sternberg, Stone, and Weil, in addition to those mentioned above, broadened his foundation. When it became clear that he would direct his research toward Riemannian geometry and homogeneous spaces, he helped organize a seminar on Cartan’s work on symmetric spaces, the members of which included Chern, Helgason, Palais, and Sternberg. At that time, the late 1950s, the spirit of the theory of finite groups was invading Chicago. For example, John Thompson was one of Joe’s office mates. Maybe this contributed to Joe’s optimism to suggest to Chern to consider the Clifford–Klein spherical space form problem as a thesis project. Chern found a way to smoothly indicate that Joe didn’t yet know enough about finite groups. So Joe entered the area in a more realistic way by extending the results of Vincent for spheres to compact homogeneous spaces G=K where rk.G/ D rk.K/ C 1 and G satisfies a certain cohomological condition. Later, in his book Spaces of Constant Curvature,nowin its 6th edition, Joe gave the classification of complete Riemannian manifolds of constant positive curvature.
ix x Preface
During his formative years, working in the mix of Riemannian geometry and Lie groups, Joe was fortunate to have had close contact with Borel during the last period of his work on his thesis and then later during his stay in 1960–1962 at the Institute and with Ehresmann and Tits in Paris during his postdoc in 1959. In 1962 he took an Assistant Professorship at Berkeley, where he was quickly promoted, arriving at the rank of Full Professor in 1966. Spaces of constant curvature played an important role in his thinking during these early days in Berkeley. However, he was also branching out into nearby areas. For example, he initiated his work with Koranyi´ on Hermitian symmetric spaces during this time. At the current count Joe’s publication list has 167 entries. These works range from the analytic side of representation theory through contributions to classical Riemannian geometry to combinatorial and purely algebraic considerations. Length constraints do not allow us to even superficially discuss these works. However, we would like to at least underline the fact that one guiding theme in Joe’s research has been geometry and representation theory of actions of real forms of semisimple groups on their associated flag manifolds. His interest in this direction stemmed from numerous discussions with Kostant, who already had a clear view of this subject, at the 1965 Boulder Summer School organized by Borel and Mostow. A more recent guiding theme has been the development of the theory of direct limit Lie groups and their representations. There is no doubt that Joe Wolf will continue his productive work in mathematics in the years to come, and we wish him success in whatever endeavors he chooses.
Bremen, Germany Alan Huckleberry Bremen, Germany Ivan Penkov New Haven, USA Gregg Zuckerman Contents
Preface...... ix Real Group Orbits on Flag Manifolds ...... 1 Dmitri Akhiezer 1 Introduction ...... 1 2 Finiteness Theorem ...... 3 3 Embedding a Subgroup into a Parabolic One ...... 5 4 Factorizations of Reductive Groups...... 6 5 Real Forms of Inner Type ...... 9 6 Matsuki Correspondence ...... 14 7 Cycle Spaces ...... 15 8 Complex Geometric Properties of the Crown ...... 17 9 The Schubert Domain...... 19 10 Complex Geometric Properties of Flag Domains ...... 21 References ...... 23 Complex Connections with Trivial Holonomy ...... 25 Adrian Andrada, Maria Laura Barberis, and Isabel Dotti 1 Introduction ...... 25 2 Preliminaries ...... 27 3 Complex Connections with Trivial Holonomy ...... 29 4 Complete Complex Connections with Parallel Torsion and Trivial Holonomy ...... 33 References ...... 38 Indefinite Harmonic Theory and Harmonic Spinors ...... 41 Leticia Barchini and Roger Zierau 1 Introduction ...... 41 2 Comments on Indefinite Harmonic Theory ...... 43 3 Harmonic Spinors ...... 47 4TheL2-Theory ...... 49 References ...... 56
xi xii Contents
Twistor Theory and the Harmonic Hull ...... 59 Michael Eastwood and Feng Xu 1 Introduction ...... 59 2 Harmonic Hull in Dimension 2...... 62 3 Harmonic Hull in Dimension 4...... 62 4 Generalities on Double Fibrations ...... 70 5 Harmonic Hull in Higher Even Dimensions ...... 73 6 Harmonic Hull in Odd Dimensions ...... 77 References ...... 79 Nilpotent Gelfand Pairs and Spherical Transforms of Schwartz Functions II: Taylor Expansions on Singular Sets ...... 81 Veronique´ Fischer, Fulvio Ricci, and Oksana Yakimova 1 Outline and Formulation of the Problem ...... 82 2 Proof of Theorem 1.1 for NL Abelian ...... 87 3 NL Nonabelian: Structure of K-Invariant Polynomials on v ˚ z0 ...... 89 4 Fourier Analysis of K-Equivariant Functions on NL ...... 94 5 Proof of Proposition 4.3 ...... 105 6 Conclusion ...... 111 References ...... 112 Propagation of Multiplicity-Freeness Property for Holomorphic Vector Bundles ...... 113 Toshiyuki Kobayashi 1 Introduction ...... 114 2 Complex Geometry and Multiplicity-Free Theorem ...... 115 3 Proof of Theorem 2.2 ...... 118 4 Visible Actions on Complex Manifolds ...... 124 5 Multiplicity-Free Theorem for Associated Bundles...... 128 6 Proof of Proposition 5.2 ...... 133 7 Concluding Remarks...... 135 References ...... 138 Poisson Transforms for Line Bundles from the Shilov Boundary to Bounded Symmetric Domains...... 141 Adam Koranyi´ 1 Introduction ...... 141 2 General Poisson Transforms...... 142 3 Preliminaries on Symmetric Domains ...... 144 4 Poisson Transforms Between Line Bundles over S and D ...... 150 5 Trivializations and Explicit Poisson Kernels ...... 151 6 The Casimir Operator...... 154 7 Remarks on Hua-Type Equations ...... 159 References ...... 162 Contents xiii
Center U.n/, Cascade of Orthogonal Roots, and a Construction of LipsmanÐWolf ...... 163 Bertram Kostant 1 Introduction ...... 164 2 Lipsman–Wolf Construction ...... 164 References ...... 173 Weak Harmonic Maa§ Forms and the Principal Series for SL.2; R/ ...... 175 Peter Kostelec, Stephanie Treneer, and Dorothy Wallace 1 Introduction ...... 176 2 Preliminaries ...... 176 3 Some Examples of Functions Constructed from the Raising and Lowering Operators...... 178 4 Constructing Weak Harmonic Maaß Forms from the Principal Series .... 179 5 En, Fn and Gn ...... 181 6 Concluding Remarks...... 183 References ...... 184 Holomorphic Realization of Unitary Representations of BanachÐLie Groups ...... 185 Karl-Hermann Neeb 1 Introduction ...... 186 2 Holomorphic Banach Bundles ...... 189 3 Hilbert Spaces of Holomorphic Sections ...... 195 4 Realizing Positive Energy Representations ...... 207 A Equicontinuous Representations ...... 215 References ...... 221 The SegalÐBargmann Transform on Compact Symmetric Spaces and Their Direct Limits...... 225 Gestur Olafsson´ and Keng Wiboonton 1 Introduction ...... 226 2 Basic Notations ...... 228 3 L2 Fourier Analysis...... 229 4 The Fock Space Ht .MC/ ...... 234 5 Segal–Bargmann Transforms on L2.M / and L2.M /K ...... 242 6 Propagations of Compact Symmetric Spaces...... 244 2 7 The Segal–Bargman Transform on the Direct Limit of fL .Mn/gn ...... 247 2 Kn 8 The Segal–Bargman Transform on the Direct Limit of fL .Mn/ gn .... 249 References ...... 251 Analysis on Flag Manifolds and Sobolev Inequalities ...... 255 Bent Ørsted 1 Introduction ...... 255 2 Geometry of the Rank-1 Principal Series ...... 256 3 Logarithmic Sobolev Inequalities for Rank-1 Groups ...... 261 xiv Contents
4 Inequalities in the Noncompact Picture ...... 263 References ...... 270 Boundary Value Problems on Riemannian Symmetric Spaces of the Noncompact Type...... 273 Toshio Oshima and Nobukazu Shimeno 1 Introduction ...... 273 2 Representations on Symmetric Spaces...... 276 3 Construction of the Hua Type Operators ...... 287 4Examples...... 294 References ...... 306 One-Step Spherical Functions of the Pair .SU.nC1/; U.n// ...... 309 Ines´ Pacharoni and Juan Tirao 1 Spherical Functions ...... 310 2 The Differential Operators D and E ...... 314 3 Hypergeometrization ...... 328 4 The Eigenvalues of D and E ...... 333 5 The One-Step Spherical Functions ...... 336 6 Matrix Orthogonal Polynomials...... 345 References ...... 353 ChernÐWeil Theory for Certain Infinite-Dimensional Lie Groups ...... 355 Steven Rosenberg 1 Introduction ...... 355 2 General Comments on Chern–Weil Theory ...... 358 3 Mapping Spaces and Their Characteristic Classes ...... 361 4 Secondary Classes on ‰0 -Bundles...... 368 5 Characteristic Classes for Diffeomorphism Groups ...... 371 6 Characteristic Classes and the Families Index Theorem ...... 373 References ...... 379 On the Structure of Finite Groups with Periodic Cohomology ...... 381 C.T.C. Wall 1 Introduction ...... 382 2 Notation and Preliminaries ...... 384 3 Structure of P0-Groups ...... 387 4 Presentations of P-Groups ...... 389 5 Subgroups and Refinement of Type Classification ...... 392 6 Free Orthogonal Actions ...... 397 7 The Finiteness Obstruction ...... 401 8 Application to the Space-Form Problem ...... 407 9 Space-Forms: Classification ...... 409 References ...... 411 Real Group Orbits on Flag Manifolds
Dmitri Akhiezer
To Joseph Wolf on the occasion of his 75th birthday
Abstract We gather, partly with proofs, various results on the action of a real form of a complex semisimple group on its flag manifolds. In particular, we discuss the relationship between the cycle spaces of open orbits thereon and the crown of the symmetric space of non-compact type.
Keywords Reductive algebraic group • Real form • Flag manifold • Flag domain • Cycle space
Mathematics Subject Classification 2010: 14M15, 32M10
1 Introduction
The first systematic treatment of the orbit structure of a complex flag manifold X D G=P under the action of a real form G0 G is due to J. Wolf [38]. Forty years after his paper, these real group orbits and their cycle spaces are still an object of intensive research. We present here some results in this area, together with other related results on transitive and locally transitive actions of Lie groups on complex manifolds.
D. Akhiezer () Institute for Information Transmission Problems, 19 B.Karetny per., 127994 Moscow, Russia e-mail: [email protected]
A. Huckleberry et al. (eds.), Lie Groups: Structure, Actions, and Representations, 1 In Honor of Joseph A. Wolf on the Occasion of his 75th Birthday, Progress in Mathematics 306, DOI 10.1007/978-1-4614-7193-6 1, © Springer Science+Business Media New York 2013 2 D. Akhiezer
The paper is organized as follows. In Sect. 2 we prove the celebrated finiteness theorem for G0-orbits on X (Theorem 2.3). We also state a theorem characterizing open G0-orbits on X (Theorem 2.4). All results of Sect. 2 are taken from [38]. In Sect. 3 we recall for future use a theorem, due to B. Weisfeiler [36]and A. Borel and J. Tits [4]. Namely, let H be an algebraic subgroup of a connected reductive group G. Theorem 3.1 shows that one can find a parabolic subgroup P G containing H, such that the unipotent radical of H is contained in the unipotent radical of P . In Sect. 4 we consider the factorizations of reductive groups. The results of this section are due to A.L. Onishchik [30, 31]. We take for granted his list of factorizations G D H1 H2,whereG is a simple algebraic group over C and H1;H2 G are reductive complex subgroups (Theorem 4.1), and deduce from it his theorem on real forms. Namely, a real form G0 acting locally transitively on an affine homogeneous space G=H is either SO1;7 or SO3;5. Moreover, in that case G=H D SO8= Spin7 and the action of G0 is in fact transitive (Corollary 4.7). This very special homogeneous space of a complex group G has on open orbit of a real form G0, the situation being typical for flag manifolds. One can ask what homogeneous spaces share this property. It turns out that if a real form of inner type G0 G has an open orbit on a homogeneous space G=H with H algebraic, then H is in fact parabolic, and so G=H is a flag manifold. We prove this in Sect. 5 (see Corollary 5.2) and then retrieve the result of F.M. Malyshev of the same type in which the isotropy subgroup is not necessarily algebraic (Theorem 5.4). It should be noted that the other way around, the statement for algebraic homogeneous spaces can be deduced from his theorem. Our proof of both results is new. Let K be the complexification of a maximal compact subgroup K0 G0. In Sect. 6 we briefly recall the Matsuki correspondence between G0-andK-orbits on a flag manifold. In Sect. 7 we define, following the paper of S.G. Gindikin and the author [1], the crown „ of G0=K0 in G=K. We also introduce the cycle space of an open G0-orbit on X D G=P , first considered by R. Wells and J. Wolf [37], and state a theorem describing the cycle spaces in terms of the crown (Theorem 7.1). In fact, with some exceptions which are well-understood, the cycle space of an open G0-orbit on X agrees with „ and, therefore, is independent of the flag manifold. In Sects. 8 and 9, we give an outline of the original proof due to G. Fels, A. Huckleberry and J. Wolf [11], using the methods of complex analysis. One in- gredient of the proof is a theorem of G. Fels and A. Huckleberry [10], saying that „ is a maximal G0-invariant, Stein and Kobayashi hyperbolic domain in G=K (Theorem 8.4). Another ingredient is the construction of the Schubert domain, due to A. Huckleberry and J. Wolf [16] and explained in Sect. 9. Finally, in Sect. 10 we discuss complex geometric properties of flag domains. Namely, let q be the dimension of the compact K-orbit in an open G0-orbit. We consider measurable open G0-orbits and state the theorem of W. Schmid and J. Wolf [33] on the q-completeness of such flag domains. 0 Given a K-orbit O and the corresponding G0-orbit O on X, S.G. Gindikin and T. Matsuki suggested considering the subset C.O/ G of all g 2 G, such that gO \ O0 ¤;and gO \ O0 is compact, see [13]. If O is compact, then O0 is open and O O0. Furthermore, in this case C.O/ Dfg 2 G j gO O0g is Real Group Orbits on Flag Manifolds 3 precisely the set whose connected component C.O/ı at e 2 G is the cycle space of O0 lifted to G. This gives a natural way of generalizing the notion of a cycle space to lower-dimensional G0-orbits. Using this generalization, T. Matsuki carried over Theorem 7.1 to arbitrary G0-orbits on flag manifolds, see [27]andTheorem7.2. His proof is beyond the scope of our survey.
2 Finiteness Theorem
Let G be a connected complex semisimple Lie group, g the Lie algebra of G,andg0 a real form of g. The complex conjugation of g over g0 is denoted by .LetG0 be the connected real Lie subgroup of G with Lie algebra g0. We are interested in G0- orbits on flag manifolds of G. By definition, these manifolds are the quotients of the form G=P ,whereP G is a parabolic subgroup. It is known that the intersection of two parabolic subgroups in G contains a maximal torus of G. Equivalently, the intersection of two parabolic subalgebras in g contains a Cartan subalgebra of g. We want to prove a stronger statement in the case when the parabolic subalgebras are -conjugate. We will use the notion of a Cartan subalgebra for an arbitrary (and not just semisimple) Lie algebra l over any field k. Recall that a Lie subalgebra j l is called a Cartan subalgebra if j is nilpotent and equal to its own normalizer. Given a field extension k k0, it follows from that definition that j is a Cartan subalgebra 0 0 in l if and only if j ˝k k is a Cartan subalgebra in l ˝k k . We start with a simple general observation.
Lemma 2.1. Let g be any complex Lie algebra, g0 arealformofg, and W g ! g the complex conjugation of g over g0.Leth g be a complex Lie subalgebra. Then h \ g0 is a real form of h \ .h/. Proof. For any A 2 h \ .h/ one has 2A D .A C .A// C .A .A//,wherethe first summand is contained in h\g0 and the second one gets into that subspace after multiplication by i. The following corollary will be useful. Corollary 2.2. If p is a parabolic subalgebra of a semisimple algebra g,thenp \ .p/ contains a -stable Cartan subalgebra t of g.
Proof. Choose a Cartan subalgebra j of p \ g0. Its complexification t is a Cartan subalgebra of p\ .p/,whichis -stable. Now, p\ .p/ contains a Cartan subalgebra t0 of g.Sincet and t0 are conjugate as Cartan subalgebras of p \ .p/, it follows that t is itself a Cartan subalgebra of g. The number of conjugacy classes of Cartan subalgebras of a real semisimple Lie algebra is finite. This was proved independently by A. Borel and B. Kostant in the 1950s, see [18]. Somewhat later, M. Sugiura determined explicitly the number of conjugacy classes and found their representatives for each simple Lie algebra, see 4 D. Akhiezer
[34]. Let fj1;:::;jmg be a complete system of representatives of Cartan subalgebras of g0. For each k; k D 1;:::;m;the complexification tk of jk is a Cartan subalgebra of g. Theorem 2.3 (J. Wolf [38], Theorem 2.6). For any parabolic subgroup P G the number of G0-orbits on X D G=P is finite. Proof. Define a map W X !f1;:::;mg as follows. For any point x 2 X let px be the isotropy subalgebra of x in g. By Corollary 2.2, we can choose a Cartan subalgebra jx of g0 in px.Takeg 2 G0 so that Adg jx D jk for some k; k D 1;:::;m.Sincejk and jl are not conjugate for k ¤ l, the number k does not depend on g.Letk D .x/.Then .x/ is constant along the orbit G0.x/.Now,for .x/ fixed there exists g 2 G0 such that pgx contains tk with fixed k. Recall that a point of X is uniquely determined by its isotropy subgroup. Since there are only finitely many parabolic subgroups containing a given maximal torus, the fiber of has finitely many G0-orbits.
As a consequence of Theorem 2.3 , we see that at least one G0-orbit is open in X. We will need a description of open orbits in terms of isotropy subalgebras of their points. Fix a Cartan subalgebra t g.Let† D †.g; t/ be the root system, C C g˛ g;˛2 †, the root subspaces, † D † .g; t/ † a positive subsystem, C and … the set ofP simple roots corresponding to † .Every˛ 2 † has a unique expression ˛ D 2… n .˛/ ,wheren .˛/ are integers, all nonnegative for ˛ 2 †C and all nonpositive for ˛ 2 † D †C. For an arbitrary subset ˆ … we will use the notation
r u C r ˆ Df˛ 2 † j n .˛/ D 0 whenever 62 ˆg;ˆDf˛ 2 † j ˛ 62 ˆ g:
Then the standard parabolic subalgebra pˆ g is defined by
r u pˆ D pˆ C pˆ; where X r pˆ D t C g˛ ˛2ˆr is the standard reductive Levi subalgebra of pˆ and X u pˆ D g˛ ˛2ˆu is the unipotent radical of pˆ. In the sequel, we will also use the notation X u pˆ D g˛: ˛2ˆu Real Group Orbits on Flag Manifolds 5
Now, let k0 be a maximal compact subalgebra of g0. Then we have the Cartan involution W g0 ! g0 and the Cartan decomposition g0 D k0 C m0,wherek0 and m0 are the eigenspaces of with eigenvalues 1 and, respectively, 1.A - stable Cartan subalgebra j g0 is called fundamental (or maximally compact) if j \ k0 is a Cartan subalgebra of k0. More generally, a Cartan subalgebra j g0 is called fundamental if j is conjugate to a -stable fundamental Cartan subalgebra. It is known that any two fundamental Cartan subalgebras of g0 are conjugate under an inner automorphism of g0. We will assume that a Cartan subalgebra t g is C -stable. In other words, t D j ,wherej is a Cartan subalgebra in g0.Then acts on † by .˛/.A/ D ˛. A/,where˛ 2 †; A 2 t. Theorem 2.4 (J. Wolf [38], Theorem 4.5). Let X D G=P be a flag manifold. Then the G0-orbit of x0 D e P is open in X if and only if p D pˆ,where
(i) p \ g0 contains a fundamental Cartan subalgebra j g0; (ii) ˆ is a subset of simple roots for †C.g; t/; t D jC, such that †C D † . The proof can be also found in [11], Sect. 4.2.
3 Embedding a Subgroup into a Parabolic One
Let G be a group. The normalizer of a subgroup H G is denoted by NG .H/. For an algebraic group H the unipotent radical is denoted by Ru.H/. Let U be an algebraic unipotent subgroup of a complex semisimple group G.Set N1 D NG.U /, U1 D Ru.N1/, and continue inductively:
Nk D NG .Uk 1/; Uk D Ru.Nk/; k 2:
Then U U1 and Uk 1 Uk;Nk 1 Nk for all k 2. Therefore there exists an integer l, such that Ul D UlC1.ThismeansthatUl coincides with the unipotent radical of its normalizer. We now recall the following general theorem of fundamental importance. Theorem 3.1 (B. Weisfeiler [36], A. Borel and J. Tits [4], Corollary 3.2). Let k be an arbitrary field, G a connected reductive algebraic group defined over k, and U a unipotent algebraic subgroup of G. If the unipotent radical of the normalizer NG.U / coincides with U ,thenNG.U / is a parabolic subgroup of G. For k D C, which is the only case we need, the result goes back to a paper of V.V. Morozov, see [4], Remarque 3.4. In the above form, the theorem was conjectured by I.I. Piatetski–Shapiro, see [36]. For future references, we state the following corollary of Theorem 3.1.
Corollary 3.2. Let k D C and let G be as above. The normalizer NG.U / of a unipotent algebraic subgroup U G embeds into a parabolic subgroup P G in such a way that U Ru.P /. For any algebraic subgroup H G there exists an embedding into a parabolic subgroup P , such that Ru.H/ Ru.P /. 6 D. Akhiezer
Proof. Put P D NG.Ul / in the above construction. Then U Ul D Ru.P /.This proves the first assertion. To prove the second one, it suffices to take U D Ru.H/.
4 Factorizations of Reductive Groups
The results of this section are due to A.L. Onishchik. Let G be a group, H1;H2 G two subgroups. A triple .GI H1;H2/ is called a factorization of G if for any g 2 G there exist h1 2 H1 and h2 2 H2, such that g D h1 h2. In the Lie group case a factorization .GI H1;H2/ gives rise to the factorization .gI h1; h2/ of the Lie algebra g. By definition, this means that g D h1 C h2.Conversely,if.gI h1; h2/ is a factorization of g, then the product H1 H2 is an open subset in G containing the neutral element. In general, this open set does not coincide with G,andso a factorization .gI h1; h2/ is sometimes called a local factorization of G.But,if G; H1 and H2 are connected reductive (complex or real) Lie groups, then every local factorization is (induced by) a global one, see [31]. We will give a simple proof of this fact below, see Propositions 4.3 and 4.4. All factorizations of connected compact Lie groups are classified in [30], see also [32], Sect. 14. If G; H1 and H2 are connected reductive (complex or real) Lie groups, then the same problem is solved in [31]. The core of the classification is the complete list of factorizations for simple compact Lie groups. We prefer to state the result for simple algebraic groups over C. If both subgroups H1;H2 are reductive algebraic, then the list is the same as in the compact case. Theorem 4.1 (A.L. Onishchik [30, 31]). If G is a simple algebraic group over k D C and H1;H2 are proper reductive algebraic subgroups of G, then, up to a local isomorphism and renumbering of factors, the factorization .GI H1;H2/ is one of the following:
(1) .SL2nI Sp2n;SL2n 1/; n 2; (2) .SL2nI Sp2n;S.GL1 GL2n 1//; n 2; (3) .SO7I G2;SO6/; (4) .SO7I G2;SO5/; (5) .SO7I G2;SO3 SO2/; (6) .SO2nI SO2n 1;SLn/; n 4 (7) .SO2nI SO2n 1;GLn/; n 4; (8) .SO4nI SO4n 1;Sp2n/; n 2; (9) .SO4nI SO4n 1;Sp2n Sp2/; n 2; (10) .SO4nI SO4n 1;Sp2n k /; n 2; (11) .SO16I SO15; Spin9/; (12) .SO8I SO7; Spin7/. Although this result is algebraic by its nature, the only known proof uses topological methods. We want to show how Theorem 4.1 applies to factorizations of complex Lie algebras involving their real forms. Real Group Orbits on Flag Manifolds 7
Lemma 4.2. Let W g ! g be the complex conjugation of a complex Lie algebra over its real form g0.Leth g be a complex Lie subalgebra. Then g D g0 C h if and only if g D h C .h/.
Proof. Let g D g0 C h.ForanyX 2 g0 one has iX D Y C Z,whereY 2 g0 and Z 2 h. This implies
2X D iZ .iZ/ 2 h C .h/:
Conversely, if g D h C .h/, then for any X 2 g there exist Z1;Z2 2 h, such that
X D Z1 C .Z2/ D .Z1 Z2/ C .Z1 C .Z2//;
hence X 2 h C g0. Proposition 4.3. Let G be a connected reductive algebraic group over C and let H1;H2 G be two reductive algebraic subgroups. Then g D h1 C h2 if and only if G D H1 H2. Proof. It suffices to prove that the local factorization implies the global one. Let X D G=H2 and let n D dim.X/.IfL is a maximal compact subgroup of H2 and K is a maximal compact subgroup of G, such that L K,thenX is diffeomorphic to a real vector bundle over K=L. Therefore X is homotopically equivalent to a compact manifold of (real) dimension n. On the other hand, H1 has an open orbit on X.SinceX is an affine variety, closed H1-orbits are separated by H1-invariant regular functions. But such functions are constant, so there is only one closed orbit. Assume now that H1 is not transitive on X, so that the closed H1-orbit has dimension m
Proposition 4.4. Let G; H1 and H2 be real forms of complex reductive algebraic C C C groups G ;H1 and H2 .ForG connected one has g D h1 C h2 if and only if G D H1 H2. C C C C C C Proof. If g D h1Ch2 then g D h1 Ch2 . Thus G D H1 H2 by Proposition 4.3. C C C The action of H1 H2 on G ,definedby