Skip to main content

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

See other formats



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. 




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 

(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). 



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]). □ 


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- 



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 


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 



[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 

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 



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). 


[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 



(A. Altomani) Dipartimento di Matematica, II Universita di Roma "Tor Vergata", Via 

E-mail address: