# Full text of "A note on the CR cohomology of Levi-Flat minimal orbits in complex flag manifolds"

## See other formats

A NOTE ON THE CR COHOMOLOGY OF LEVI-FLAT MINIMAL ORBITS IN COMPLEX FLAG MANIFOLDS ANDREA ALTOMANI Abstract. We prove a relation between the Bm cohomology of a minimal orbit M of a real form Go of a complex semisimple Lie group G in a flag manifold G/Q and the Dolbeault cohomology of the Matsuki dual open orbit X of the complexification K of a maximal compact subgroup Kq of Go, under the assumption that M is Levi-flat. 1. Introduction Many authors have studied the 3m cohomology of CR manifolds (see e. g. [SI El 111) and references therein). In particular, since Andreotti and Fredricks 2, proved that every real analytic CR manifold M can be embedded in a complex manifold X, it is natural to try to find relations between the 3m cohomology of M and the Dolbeault cohomology of X. In this paper we examine this problem for a specific class of homogeneous CR manifolds, namely minimal orbits in complex flag manifolds that are Levi-flat. Given a (generalized) flag manifold Y = G/Q, with G a complex semisimple Lie group and Q a parabolic subgroup of G, a real form Go of G acts on Y with finitely many orbits. Among these there is exactly one orbit that is compact, the minimal orbit M = Go • o. Let Ko be a maximal compact subgroup of Go, and K its complexification. Then X — K ■ o is an open dense complex submanifold of G/Q and contains M as an embedded submanifold. It is known that M is a deformation retract of X, so iP(M,C) = HP(X,C) (g), 0). Let E be a K-homogeneous complex vector bundle on X and E\m its restriction to M. Under the additional assumption that M is Levi-flat we prove that the restriction map from the Dolbeault cohomology H p ' q (X, E) to the 3m cohomology H p ' q (M, E\m) is continuous, injective and has a dense range. More precisely we show that H^(M,E\ M ) = O m (M) ® 0x (x) H™{X,E) where Om(M) (resp. Ox{X)) is the space of CR (resp. holomorphic) functions on M (resp. X), and that the restriction map from Ox(X) to Om(M) is injective, continuous and has a dense range. 2. Preliminaries on minimal orbits in complex flag manifolds Let G be a complex connected semisimple Lie group, with Lie algebra g, and let Q be a parabolic subgroup of G, with Lie algebra q. Then Q is the normalizer of q, Q = Nc(q) and is connected. The coset space Y = G/Q is a compact complex manifold, called a flag manifold (it is a complex smooth projective variety). It is not restrictive to assume that q does not contain any simple ideal of g. Date: February 28, 2006. 2000 Mathematics Subject Classification. Primary: 32L10; Secondary: 14M15, 32V30, 57T15. Key words and phrases, cohomology, Cauchy-Riemann complex, Levi-flat, homogeneous CR manifold, minimal orbit in a flag manifold. 1 2 ANDREA ALTOMANI Let cr be an anti-holomorphic involution of G; we will also denote by a its differential at the identity and we will write x = o~(x). A real form of G is an open subgroup Go of G CT . It is a Lie subgroup and its Lie algebra go satisfies go = CT and g = C <£> g . Let Ko be a maximal compact subgroup of Go, and 9 the corresponding Car- tan involution: Ko = Gq. Still denoting by 9 the complexification of 9, there is exactly one open subgroup K of G e such that K n Go = Ko. Let t and to be the corresponding Lie subalgebras. The groups Go and K act on Y via left multiplication. There is exactly one closed Go-orbit M E|) an d it is contained in the unique open K orbit X ([3 EI]), we denote by j: M — > X the inclusion. The open orbit X is dense in Y and is the dual orbit of M, in the terminology of |13|. The manifolds M and X do not depend on the choice of G and Go, but only on go and q ([HE]). So there is no loss of generality assuming that G is simply connected, that Go is connected and that M and X are the orbits through the point o — eQ. We will write M = M(g , q). The isotropy subgroups at o of the actions of Go and K are G+ = Go fl Q and L = K (~i Q, with Lie algebras g + = go n q and [ = { n q. Since M is compact, the action on M of maximal compact subgroup Ko is transitive: M = Ko/K + , where K+ = K n Q = G n L and Lie(K + ) = t + = E n q = flo H I. In the language of [I] the pair (g , q) is an effective parabolic minimal CR algebra and M is the associated minimal orbit. On M there is a natural CR structure induced by the inclusion into X. We recall that M is totally real if the partial complex structure is trivial. We give a more complete characterization of totally real minimal orbits: Theorem 2.1. The following are equivalent: (1) M is totally real. (2) q = q- (3) [=fiC. (4) X is a Stein manifold. (5) X is a smooth affine algebraic variety defined over K and M is the set of its real points. Proof. (5) =>• (4) because every closed complex submanifold of a complex vector space is Stein. (4) =*> (3) Since X is Stein, its covering X = K/L° is also Stein ([T3]). Fur- thermore K is a linear algebraic group that is the complexification of a maximal compact subgroup Ko; the result then follows from Theorem 3 of |14| and Remark 2 thereafter. (3) =>• (5) If [ is the complexification of {+, then L is the complexification of K + . Hence X — K/L is the complexification of M = Ko/K + in the sense of UJ, and (5) follows from Theorem 3 of the same paper. (1) <^ (2) is easy, and proved in p. (5) => (1) is obvious. (2) => (3) We have that I = t, thus t n q = (t n q n g ) c = □ We denote by On the sheaf of smooth CR functions on a CR manifold N. If N is complex or real, then On is the usual sheaf of holomorphic or smooth (complex valued) functions. For every open set U C N, the space On(U) is a Frechet space (with the topology of uniform convergence of all derivatives on compact sets) . Corollary 2.2. If M is totally real then j* (O x (X)) is dense m O m (M) = C°°(M). COHOMOLOGY OF LEVI-FLAT MINIMAL ORBITS 3 Proof. Let IcC^be an embedding as in (5) of TheoremO so that M = XCM. N . The restrictions of complex polynomials in are contained in Ox(X) and dense in O m (M) (see e.g. HE]). □ 3. LEVI-FLAT ORBITS AND THE FUNDAMENTAL REDUCTION In this paper we consider Levi-flat minimal orbits. They are orbits M = M (go, l), where q' = q + q is a subalgebra (necessarily parabolic) of g. Let Q' = Nc(q'), Y' = G/Q', G^ = GnQ', M' = M( flo ,q') = G /G^, = K nQ', V = KnQ' and X' = K/L'. From Theorem 12. II we have that M 1 is totally real and X 1 is Stein. The inclusion Q > Q' induces a fibration (3.1) 7r:r = G/Q — > G/Q' = Y' with complex fiber F ~ Q'/Q. This fibration is classically referred to as the Levi foliation, and is a special case of the fundamental reduction of pp. In fact Levi-flat minimal orbits are characterized by the property that the fibers of the fundamental reduction are totally complex. We identify F with 7r _1 (eQ). Lemma 3.1. tt (M') = M . n (X f ) = X and F is a compact connected complex flag manifold. Proof. First we observe that F is connected because Q' is connected. Let F' be the fiber of the restriction tt\m '■ M — » M' . Then F 1 is totally complex and CR generic in F, hence an open subset of F. Proposition 7.3 and Theorem 7.4 of show that there exists a connected real semisimple Lie group Gq acting on F' with an open orbit, and that the Lie algebra of the isotropy is a i-subalgebra (i. e. contains a maximal triangular subalgebra) of g '. Hence a maximal compact subgroup K ' of Gq has an open orbit, which is also closed. Since F' is open in F and F is connected, K ' is transitive on F, and F' = F, proving the first two statements. Furthermore the isotropy subgroup G" for the action of G ' on F and the ho- mogeneous complex structure are exactly those of a totally complex minimal orbit, hence by § 10] F is a complex flag manifold. □ The total space M is locally isomorphic to an open subset of M' x F, hence to U x M fc , where U is open in C™, for some integers n and k. For a Levi flat CR manifold N and a nonnegative integer p, let be the sheaf of p- forms that are CR (see [7] for precise definitions). They are 0Ar-modules and Let A 1 ^ 9 be the sheaf of (complex valued) smooth (p, g)-forms on N, On the tagential Cauchy-Riemann operator and Z^ q , (resp. B p ^ q ) the sheaf of closed (resp. exact) (p, £?)-forms. As usual we denote by H M (N) = Zfj q (N) / B p ^ q (N) the coho- mology groups of the 8m complex on smooth forms. The Poincare lemma is valid for Bn (see ^01), thus the complex: n __. o p A p '° 5jv , zip. i ® N . JV N ' ' ' ' ' ' is a fine resolution of (l p N . This implies that HP^(N) ~ H^(n p N ). Let £^at be a homogeneous Ci? vector bundle on N (i. e. a complex vector bundle with transition functions that are CR) with fiber E, and let £m be the sheaf of its CR sections. We denote by E N the bundle of CR, -EN-valued, p-forms, with associated sheaf of CR sections £ N — Q P N ®o N £n- 4 ANDREA ALTOMANI Let A p N q EN = A p ^ q <8>e>jv £n, denote by 8e n the tangential Cauchy-Riemann operator on En and let Z N ,q EN (resp. B x q En ) be the sheaf of Be n -closed (resp. exact) smooth forms with values in En. Then H™{N,E N ) = Z™ EN {N)/B p N q EN {N), but we also have: H P,9 (N, Eff) = H%S N ) = H°' q (N,E%) = Z N q E AN)/B° N q E AN). For any open set U C N, the spaces A p N q E (U) and Zfj q EN (U) are Frechet spaces with the topology of uniform convergence of all derivatives on compact sets. If B p f EN (N) is closed in 2^}% N (N), then H™(N, E N ), with the quotient topology, is also a Frechet space. 4. Statements and proofs Let Ep be a L'-homogeneous holomorphic vector bundle on F. The L' action induces a natural L' action on A p F q Ep , hence on H p ' q (F,Ep), because the action of L' preserves closed and exact forms. Since F is a compact complex manifold, H p ' q (F, Ep) is finite dimensional and we can construct the K-homogeneous holo- morphic vector bundle on X': H P x q (F,E F ) = K x L , H P >"(F,E F ). In a similar way we define a Ko-homogeneous complex vector bundle on M': H p M q {FE F ) = K x K - H p ' g (F, Ep). The following thorem has been proved by Le Potier (|T2], see also [5]): Theorem 4.1. Lei X , X' and F be as above, Ex a 'K.-homogeneous holomorphic vector bundle on X and Ex\p its restriction to F. Then there exists a spectral sequence p Ep , converging to H pq {X, Ex), with P E f = ®H i > s - i (X',H p c - i ' t+i (F ) E x \ F )). D i For p = the spectral sequence collapses at r = 2 and, recalling that X' is a Stein manifold, we obtain: H°«(X, E X ) = H°<°(X', H° x q (F, E X \ F )) . Recalling that H p ' q (X,E x ) = H°' q (X,E x ) we finally obtain: Proposition 4.2. Let X , X' and F be as above, Ex a K-homogeneous holomor- phic vector bundle on X and Ex\p its restriction to F. Then: H p > q (X,Ex) = H > (X',H x 1(F,E p x \ F )) as Frechet spaces. □ A statement analogous to the last proposition holds for M: Proposition 4.3. Let M , M' and F be as above, Em a 'Ko-homogeneous CR vector bundle on M and Em\ f its restriction to F. Then: H p ' q (M, Em ) = H '°(M', H M q ,(F, E P M \ F )) as Frechet spaces. Proof. Fixp, q, let Zm> = 7T *(Z^\ q lr p ), Bm' — 7t*(S?V 9 p p ) and Hm' be the sheaf of sections of H° M q (F, E P M \ F ) We already know that H p q (M, E M ) ^ Z M > (M f ) /B M ' (M'). We now define a map (f>: Zm 1 — > Ti-M' as follows. Let U C M', x 6 U, x = gK' + , g £ K and £ 6 Z M ,{U). Let £ g = (g- 1 ■ £)\ F . This is a closed E M -valued (0, g)-form on F, that determines a cohomology class COHOMOLOGY OF LEVI-FLAT MINIMAL ORBITS 5 [Q in H°'*(F, E P M \ F ). Then the class of (g, [Q) in H A f, (F, E P M \ F ) does not depend on the particular choice of g, but only on x, hence it defines a section = 4>(£) of %' on U. The sheaves Zm 1 , Bur, Hm'> ker^> are Om' -modules and is a morphism of OAf-modules. Since Om' is fine, to prove that <p(M') is continuous, surjective and that its kernel is exactly Bm'(M') it sufices to check that this is true locally, and this reduces to a straightforward verification. □ We prove now the main theorem of this paper: Theorem 4.4. Let M and X be as above, Ex a ^-homogeneous holomorphic vector bundle over X . Then: H™(M,E X \ M ) * O m (M) ® 0x(x) H™(X,E X ). Proof. Define M' and X' as above, fix integers p, q > Oandletii^ = H^-f(F,E x \ F ), H M > = H°f,(F,E x \ F ) = Hx<\ M >- B y Propositions IP and IP we have that H*<*{M,E X \ M ) = T(M',H M >) and H™{X,E X ) = T(X'.H X ,). Since dim^ M' — dimc(X'), a global section of Hx' that is zero on M' must be zero on X', i. e. the restriction map T(X' .Hx 1 ) T(M',Hm') is injective. On the other hand, X' is Stein, thus H X i is generated at every point by its global sections. Together with the fact that Hm 1 = Hx'\m' this implies that T{M',H M -) = Om>(M') ® 0x ,(x>) T(X',H x >), where in the right hand side wc implicitly identify global holomorphic sections on X' with their restrictions to M' . The theorem follows from the observation that O m (M) ~ O m > (M 1 ) and O x {X) ~ Ox> (X 1 ) because the fiber F of ir is a compact connected complex manifold. □ This, together with Corollary 12. 21 implies the following. Corollary 4.5. With the same assumptions, the inclusion j: M map: f:H^{X,E x ) — H^(M,E X \ M ) that is continuous, injective and has a dense range. 5. An example Let G = SL(4, C), and Q be the parabolic subgroup of upper triangular ma- trices. We consider the real form Go = SU(1,3), identified with the group of linear trasformations of C 4 that leave invariant the Hermitian form associated to the matrix /O o o l\ R- 0100 13 ~ I 10 I ■ \ 1 0/ Then G/Q is the set of complete flags {t C^ 2 C< 3 cC 4 } and M = G • eQ is the submanifold {i 1 c I 2 C £ 3 c C 4 \ £ 3 = Let Q' be the set of block upper triangular matrices of the form {/**** \ ^ .9= (om) l56G|, so that M' is the totally real manifold {I 1 C P C C 4 \ £ 3 = (f 1 )- 1 } and M fibers over M' with typical fiber F isomorphic to CP 1 . The fibration is given by (*) {£\£ 2 j 3 ) .— » (i\e 3 ). Choose K to be the stabilizer in G of the subspaces V = Span(ei — 64) and W = Span(ei +64,62,63) so that K is isomorphic to S(GL(1,C) x GL(3,C)) and K to S(U(1) x U(3)). Then X is the set of flags {i 1 C £ 2 C I 3 C C 4 } in a X induces a □ 6 ANDREA ALTOMANI generic position with respect to the subspaces V and W, and X' is the set of flags {I 1 C £ 3 C C 4 } in a generic position with respect to V and W. The map from X to X' given by Q is a fibration with typical fiber isomorphic to CP 1 and X' is a Stein manifold. Finally let E = X x C be the trivial line bundle. According to Propositions 14. 21 and !4.3l the cohomology of M and X is given by H p > q {X) = H M {X,E) = H°> Q (X',H } $(F,E p \ F )), H™(M) = H™(M,E\ M ) = H°'°(M',H^%F,E p \ F )). Recalling that H p,q (F) ~Cifp = q = Oorp = q = l and otherwise, we obtain: (h™(X) ~ O x (X) ~ 0x'(*') if p = q = or p = q = 1; |jJP'«(X)=0 otherwise; and analogously: (HP'«(M) ~ O m (M) ~ Om'(M') if p = q = Q or p = q = I; \HP'i(M) = otherwise; and it is clear that JP'O(M) = O m (M) ® 0x(x) H™(X). References [1] A. Altomani, C. Medori, and M. Nacinovich, The CR structure of minimal orbits in complex flag manifolds, to appear on J. of Lie Theory, arXiv:math.CV/0507272 [2] A. Andrcotti and G. A. Fredricks, Embeddability of real analytic Cauchy-Riemann manifolds, Ann. Scuola Norm. Sup. Pisa CI. Sci. (4) 6 (1979), no. 2, 285-304. lMR. 5414501 [3] R. Bremigan and J. Lorch, Orbit duality for flag manifolds, Mamiscripta Math. 109 (2002), no. 2, 233-261. lMR. 19350321 [4] L. Casian and R. J. Stanton, Schubert cells and representation theory, Invent. Math. 137 (1999), no. 3, 461-539. lMR 17098741 [5] H. R. Fischer and F. L. Williams, Borel-LePotier diagrams. Calculus of their cohomology bundles, Tohoku Math. J. (2) 36 (1984), no. 2, 233-251. IMR. 7425971 [6] C. D. Hill and M. Nacinovich, A weak pseudoconcavity condition for abstract almost CR manifolds, Invent. Math. 142 (2000), no. 2, 251-283. IMR. 17940631 [7] , On the failure of the Poincare lemma for the 8m complex, Math. Ann. 324 (2002), no. 2, 213-224. ICTR 19338561 [8] A. T. Huckleberry and J. A. Wolf, Schubert varieties and cycle spaces, Duke Math. J. 120 (2003), no. 2, 229-249. ICTR 20199751 [9] N. Iwahori and M. Sugiura, A duality theorem for homogeneous manifolds of compact Lie groups, Osaka J. Math. 3 (1966), 139-153. MR 0228622 [10] M. Jurchcscu, The Cauchy-Riemann complex on a mixed manifold, Rev. Roumaine Math. Pures Appl. 39 (1994), no. 10, 951—971, Travaux de la Conference Internationale d'Analyse Complexe et du 7e Seminaire Roumano-Finlandais (1993). MR 1406111 [11] C. Laurent-Thiebaut and J. Leiterer, Dolbeault isomorphism for CR manifolds, Math. Ann. 325 (2003), no. 1, 165-185. IMR. 19572691 [12] J. Le Potier, Annulation de la cohomologie a valeurs dans un fibre vectoriel holomorphe positif de rang quelconque, Math. Ann. 218 (1975), no. 1, 35-53. MR0385179 [13] T. Matsuki, Orbits on affine symmetric spaces under the action of parabolic subgroups, Hi- roshima Math. J. 12 (1982), no. 2, 307-320. MR665498 [14] Y. Matsushima, Espaces homogenes de Stein des groupes de Lie complexes, Nagoya Math. J 16 (1960), 205-218. MR0109854 [15] K. Stein, Uberlagerungen holomorph-vollstdndiger komplexer Raume, Arch. Math. 7 (1956), 354-361. MR 0084836 [16] F. Treves, Topological vector spaces, distributions and kernels, Academic Press, New York, 1967. MR0225131 [17] J. A. Wolf, The action of a real semisimple group on a complex flag manifold. I. Orbit structure and holomorphic arc components, Bull. Amer. Math. Soc. 75 (1969), 1121-1237. MR 0251246 COHOMOLOGY OF LEVI-FLAT MINIMAL ORBITS 7 (A. Altomani) Dipartimento di Matematica, II Universita di Roma "Tor Vergata", Via DELLA RlCERCA SCIENTIFICA, 00133 ROMA (ITALY) E-mail address: altomaniamat.uniroma2.it