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

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