Skip to main content
Log in

Homogeneous almost complex structures in dimension 6 with semi-simple isotropy

  • Published:
Annals of Global Analysis and Geometry Aims and scope Submit manuscript

Abstract

We classify invariant almost complex structures on homogeneous manifolds of dimension 6 with semi-simple isotropy. Those with non-degenerate Nijenhuis tensor have the automorphism group of dimension either 14 or 9. An invariant almost complex structure with semi-simple isotropy is necessarily either of specified 6 homogeneous types or a left-invariant structure on a Lie group. For integrable invariant almost complex structures we classify all compatible invariant Hermitian structures on these homogeneous manifolds, indicate their integrability properties (Kähler, SNK, SKT) and mark the other interesting geometric properties (including the Gray-Hervella type).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. We denote the compact real form of \(G_2\) by \(G_2^c\subset SO(7)\) and the split real form with the trivial center by \(G_2^*\subset SO(3,4)\).

  2. Endomorphisms are \({\mathbb {R}}\)-linear and \(\mathfrak {h}\)-equivariant transformations of the module.

  3. Here and in what follows we adopt the convention that \(x,y\in V\) are arbitrary elements, but \( e \in \mathbb {C}\) is a fixed element, in particular \( e ,i e \) is a real basis of \(\mathbb {C}\).

  4. The central (“left”) extension and extension by derivations (“right”) \(\tilde{\mathfrak {g}}\) of the Lie algebra \(\mathfrak {g}\) (via \(\mathfrak {f}\)) are given respectively by the exact sequences

    $$\begin{aligned} 0\rightarrow \mathfrak {f}\rightarrow \tilde{\mathfrak {g}}\rightarrow \mathfrak {g}\rightarrow 0, \qquad 0\rightarrow \mathfrak {g}\rightarrow \tilde{\mathfrak {g}}\rightarrow \mathfrak {f}\rightarrow 0. \end{aligned}$$

    Then \(\mathfrak {g}\) is respectively the quotient/subalgebra of \(\tilde{\mathfrak {g}}\) and its bracket can/cannot change upon the extension.

  5. This means extension by derivations; terminology comes from Fuks [9], and is opposed to left=central extensions. For a Lie algebra \(\mathfrak {g}\) its “right extensions” are enumerated by the cohomology group \(H^1(\mathfrak {g},\mathfrak {g})\) and “left extensions” by \(H^2(\mathfrak {g})\).

  6. There are obvious pseudo-SNK analogs of signature \((2,4)\) of the last two entries in Bitruilles’ list, but we present here only the spaces \(G/H\) with semi-simple \(H\).

References

  1. Alexandrov, B., Friedrich, Th, Schoemann, N.: Almost Hermitian 6-manifolds revisited. J. Geom. Phys. 53, 1–30 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  2. Boothby, W.M., Kobayashi, S., Wang, H.C.: A note on mappings and automorphisms of almost complex manifolds. Ann. Math. 77, 329–334 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  3. Borel, A.: Linear algebraic groups, Graduate Texts in Mathematics 126. Springer, Berlin (1991)

    Book  Google Scholar 

  4. Bryant, R.: On the geometry of almost complex 6-manifolds. Asian J. Math. 10(3), 561–605 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  5. Butruille, J.-B.: Classification des variétés approximativement kähleriennes homogènes. Ann. Global Anal. Geom. 27(3), 201–225 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  6. Calabi, E., Eckmann, B.: A class of compact, complex manifolds wich are not algebraic. Ann. Math. 58, 494–500 (1953)

    Article  MATH  MathSciNet  Google Scholar 

  7. Cartan, É.: La théorie des groupes finis et continus et l’analysis situs, Mém. Soc. Math. 42. Gauthier-Villars, Paris (1930)

  8. Ehresmann, C.: Sur les variétés presque-complexes, Proceedings of the International Congress of Mathematicians 1950, II, Amer. Math. Society, 412–419 (1952)

  9. Fuks, D.B.: Cohomology of Infinite-Dimensional Lie Algebras. Contemporary Soviet Mathematics. Consultants Bureau, New York (1986)

    MATH  Google Scholar 

  10. Fino, A., Parton, M., Salamon, S.: Families of strong KT structures in six dimensions. Comm. Math. Helv. 79(2), 317–340 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  11. Gray, A.: Nearly Kähler manifolds. J. Differ. Geom. 4, 283–309 (1970)

    MATH  Google Scholar 

  12. Gray, A., Hervella, L.M.: The sixteen classes of almost Hermitian manifolds and their linear invariants. Ann. Mat. Pura Appl. 4(123), 35–58 (1980)

    Article  MathSciNet  Google Scholar 

  13. Gorbatsevich, V. V., Onishchik, A. L., Vinberg, E. B.: Structure of Lie groups and Lie algebras, in: Lie groups and Lie algebras III, VINITI (Russian), 41 (1990); Engl: Encyclopaedia Math. Sci. 41 Springer, Berlin (1994)

  14. Kath, I.: \(G^*_{2(2)}\)-structures on pseudo-Riemannian manifolds. J. Geom. Phys. 27(3–4), 155–177 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  15. Kobayashi, S.: Hyperbolic Complex Spaces. Springer, Berlin (1998)

    Book  MATH  Google Scholar 

  16. Kruglikov, B.: Non-existence of higher-dimensional pseudoholomorphic submanifolds. Manuscr. Math. 111, 51–69 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  17. Kruglikov, B.: Symmetries of almost complex structures and pseudoholomorphic foliations. Intern. J. Math. (to appear). arXiv:1103.4404 (2011)

  18. Kruglikov, B., Overholt, M.: The Kobayashi pseudodistance on almost complex manifolds. Differ. Geom. Appl. 11, 265–277 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  19. Nagy, P.-A.: Nearly Kähler geometry and Riemannian foliations. Asian J. Math. 6(3), 481–504 (2002)

    MATH  MathSciNet  Google Scholar 

  20. Nijenhuis, A., Woolf, W.: Some integration problems in almost-complex and complex manifolds. Ann. Math. 77, 424–489 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  21. Palais, R.: A global formulation of the Lie theory of transformation groups. Mem. Am. Math. Soc. 22 (1957)

  22. Schoemann, N.: Almost Hermitian structures with parallel torsion. J. Geom. Phys. 57, 2187–2212 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  23. Verbitsky, M.: An intrinsic volume functional on almost complex 6-manifolds and nearly Kähler geometry. Pacific J. Math. 235(2), 323–344 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  24. Vinberg, E. B., Onishchik, A. L.: Foundations of Lie Theory, VINITI (Russian), 20 (1988); Engl: Encyclopaedia Math. Sci. 20 Springer, Berlin (1993)

  25. Winther, H.: Almost complex homogeneous spaces with semi-simple isotropy. Master thesis. University of Tromsø (2012)

  26. Wolf, J.A.: The geometry and structure of isotropy irreducible homogeneous spaces, Acta Math. 120, 59–148 (1968); Correction: Acta Math. 152, 141–142 (1984)

  27. Wolf, J.A., Gray, A.: Homogeneous spaces defined by Lie group automorphisms. I, II. J. Differential Geometry 2 77–114, 115–159 (1968)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to B. S. Kruglikov.

Appendix: Tables of the structure of \((\mathfrak {g},\mathfrak {h},\mathfrak {m},J,\omega )\)

Appendix: Tables of the structure of \((\mathfrak {g},\mathfrak {h},\mathfrak {m},J,\omega )\)

Here we list the data for Theorems 1, 3 and indicate some integrability properties for the structures. These completely encode all non-flat homogeneous almost complex manifolds with semi-simple isotropy, only excluding the special cases \(G_2^c/SU(3)=S^6\) and \(G_2^*/SU(2,1)=S^{2,4}\).

Imaginary quaternions are generated by anti-commuting \(i,j,k=ij\), which satisfy \(i^2=-1,j^2=-1\), \(k^2=-1\). In Tables 1 and 2 we identify \(\mathfrak {h}={ \mathtt Im }(\mathbb {H})\).

Table 4 isotropy \(\mathfrak {h}=\mathfrak {su}(1,1)\), representation \(\mathfrak {ad}^\mathbb {C}\)

Imaginary split quaternions are generated by anti-commuting \(i,j,k=ij\), with \(i^2=-1,j^2=1\), \(k^2=1\). In Tables 3 and 4 we identify \(\mathfrak {h}={ \mathtt Im }(\mathbb {H}_s)\).

The brackets \([\mathfrak {h},\mathfrak {h}]\) and \([\mathfrak {h},\mathfrak {m}]\) are straightforward and are not included into the tables. We include only the non-trivial brackets \([\mathfrak {m},\mathfrak {m}]\).

The almost complex structure \(J\) is indicated in terms of its 2 parameters for Tables 1, 2, 3 and 4 (beware that the parameter \(r\) has different meaning in different tables). \(J\) has no parameters in Tables 5 and 6. In the case of representation \(\mathfrak {ad}^\mathbb {C}\) we use formula (1) for \(J\).

Table 5 isotropy \(\mathfrak {h}=\mathfrak {sl}_2(\mathbb {C})\), representation \(V+\mathbb {C}\)
Table 6 isotropy \(\mathfrak {h}=\mathfrak {sl}_2(\mathbb {C})\), representation \(\mathfrak {ad}\)

We list only non-trivial values of the Nijenhuis tensor in the minimal amount due to the identity \(N_J(Jx,y)=N_J(x,Jy)=-JN_J(x,y)\).

We write NDG to indicate that the tensor \(N_J\) is non-degenerate; DG\(_2\) indicates that the image of \(N_J:\Lambda ^2_\mathbb {C}TM\rightarrow TM\) is a real rank 2 subdistribution of \(TM\), DG\(_1\) means it is a real rank 4 subdistribution (in DG\(_k\) the number \(k\) is the complex codimension of \(\mathrm{Im}(N_J)\), see [16]).

The Hermitian metric is given by \(g(\xi ,\eta )=\omega (\xi ,J\eta )\) as in Section 5. Thus we describe only the almost symplectic form \(\omega \) and its differential.

Recall that \(V\) stands for the standard representation, \(\mathbb {C}\) for the trivial complex and \(\mathfrak {ad}\) for the adjoint representation.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alekseevsky, D.V., Kruglikov, B.S. & Winther, H. Homogeneous almost complex structures in dimension 6 with semi-simple isotropy. Ann Glob Anal Geom 46, 361–387 (2014). https://doi.org/10.1007/s10455-014-9428-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10455-014-9428-y

Keywords

Navigation