1: \documentclass{article}
2: %[11pt]
3: \title{Algebraic reduction of certain almost K\"ahler manifolds
4: %A class of Einstein, almost K\"ahler manifolds
5: \footnote{MSC 2000 : 53B20, 53C25 \newline
6: Keywords : Almost K\"ahler manifold, curvature, torsion }}
7: \author{Paul-Andi Nagy}
8: \date{\today}
9: \oddsidemargin 0cm
10: \evensidemargin 0cm
11: \textwidth 17cm
12: %4.7inches
13: \textheight 22cm
14: %7.5inches
15: \usepackage{amsfonts,amssymb}
16: %\usepackage[backref]{hyperref}
17: \usepackage{minitoc_href}
18: \newtheorem{tabel}{}[section]
19: \newtheorem{teo}{Theorem}[section]
20: \newtheorem{lema}{Lemma}[section]
21: \newtheorem{pro}{Proposition}[section]
22: \newtheorem{defi}{Definition}[section]
23: \newtheorem{rema}{Remark}[section]
24: \newtheorem{coro}{Corollary}[section]
25: \newtheorem{nr}{}[section]
26: \begin{document}
27: \maketitle
28: \abstract{\normalsize We study almost K\"ahler manifolds whose curvature tensor satisfies the third
29: curvature condition of Gray. We show that the study of manifolds within this class reduces to the study
30: of a subclass having the property that the torsion of the first canonical Hermitian connection
31: has the simplest possible algebraic form.
32: This allows to understand the structure of the K\"ahler nullity of an almost K\"ahler manifold with parallel torsion.
33: \large
34: \tableofcontents
35: \section{Introduction}
36: An almost K\"ahler manifold (shortly ${\cal{AK}}$) is a Riemannian manifold $(M^{2n},g)$, together with a compatible almost complex structure
37: $J$, such that the K\"ahler form $\omega=g(J \cdot, \cdot)$ is closed. Hence, almost K\"ahler geometry is nothing else that symplectic
38: geometry with a prefered metric and almost complex structure. Since symplectic manifolds often arise in this way is rather
39: natural to ask under which conditions on the metric we get integrability of the almost complex $J$. In this direction,
40: a famous (still open) conjecture of S. I. Golberg asserts that every compact, Einstein, almost K\"ahler
41: manifold is, in fact, K\"ahler. Nevertheless, they are a certain number of partial results, supporting this
42: conjecture. First of all, K. Sekigawa proved \cite{Seki1} that
43: the Goldberg conjecture is true when the scalar curvature is positive.
44: We have to note that the Golberg conjecture is definitively not true with the compacity assumption removed
45: by the examples of \cite{Apo2} in complex dimension $n \ge 3$ and those of
46: \cite{Apo, arm2,Nur} in (real) dimension $4$.
47: In \cite{Apo2}, a potential source of compact almost K\"ahler, Einstein manifolds is considered,
48: namely those compact K\"ahler manifolds whose Ricci tensor admits two distinct, constant eigenvalues; integrability
49: is proven under certain positivity conditions.
50: The rest of known results, most of them
51: enforcing or replacing the Einstein condition with some other natural curvature assumption are mainly
52: in dimension $4$. To cite only a few of them, we mention the beautiful series of papers \cite{Apo1, Apo3, Apo4} giving
53: a complete local and global classfication of almost K\"ahler manifolds of $4$ dimensions satisfying the second and third
54: Gray condition on the Riemannian curvature tensor. Other recent results, again in $4$-dimensions, are concerned with the study of local obstructions
55: to the existence of Einstein metrics \cite{arm2}, $\star$-Einstein metrics \cite{Seki2}, etc. As for the class of
56: almost K\"ahler manifolds satisfying the second curvature condition of Gray it was established recently
57: \cite{Nagy, Nagy3} that the it coincides with the class of almost K\"ahler manifolds whom torsion of
58: the first canonical connection is parallel. In view of the known twistorial examples
59: \cite{Davidov, Ivanov}, we have therefore a strong ressemblence between this class and that of nearly K\"ahler
60: manifolds.
61: \par
62: In this paper our main object of study will be the class of almost K\"ahler manifolds satisfying the third curvature
63: condition of Gray (shortly ${\cal{AK}}_3$).
64: To the best of our knowledge, in dimension greater than $6$ almost nothing is known about the structure
65: of this class of manifolds.
66: Our approach to the study of the class ${\cal{AK}}_3$-manifolds will be directed from the point
67: of view of the canonical Hermitian
68: connection. Actually, we are going to study the geometric as well as the algebraic effects of the third curvature
69: condition of Gray over the torsion of the last mentioned connection.
70: \begin{teo}
71: Let $(M^{2n},g,J)$ belong to the class ${\cal{AK}}_3$. Then, over some dense open subset, the manifold $M$ is locally the
72: Riemannian product of a strict
73: almost K\"ahler manifold with parallel torsion and a special ${\cal{AK}}_3$-manifold.
74: \end{teo}
75: The precise definition of special ${\cal{AK}}_3$ is given in section 4. They are caracterized by an algebraic feature of
76: their K\"ahler nullity which generalizes, to some extent, properties of almost K\"ahler $4$-manifolds. Finally,
77: theorem 1.1 enables us to give a first structure result concerning almost K\"ahler manifolds with parallel torsion.
78: \begin{coro}
79: Let $(M^{2n},g,J)$ be almost K\"ahler with parallel torsion. Then $M$ is locally the Riemannian product of a
80: K\"ahler manifold, a strict ${\cal{AK}}$-manifold with parallel torsion and
81: a locally $3$-symmetric space of type $I$.
82: \end{coro}
83: Here, and in view of further progress on the classification of almost K\"ahler manifolds with parallel torsion,
84: we regrouped in the class I those special almost K\"ahler manifolds with parallel torsion. \par
85: The paper is organised as follows. In section 2 we review some classical facts and definitions
86: from almost Hermitian geometry, mainly related to the first canonical Hermitian connection and
87: Gray's curvature conditions. The main differential geometry properties of the torsion of the canonical connnection,
88: such as the parallelism in directions orthogonal to the K\"ahler nullity are established in section 3. The last section
89: is devoted to the proof of theorem 1.1. We start from a result used in the ${\cal{AK}}_2$-context (see \cite{Nagy})
90: and observe that it continues to hold in the present setting. Then, due the to more flexibility of
91: ${\cal{AK}}_3$ we need a finer analysis in order to produce the proof of theorem 1.1. One of main ingredients
92: consists in using a suitablly defined Hermitian Ricci tensor in order to eliminate those parts of the
93: tangent bundle of the manifold obstructing the decomposition in theorem 1.1.
94: \section{Preliminaries}
95: Let $(M^{2n},g,J)$ be an almost Hermitian manifold. Let $\nabla$ be the Levi-Civita connection of the metric $g$. Then for all $X$ in $TM$ we have that
96: $\nabla_XJ$ is a skew-symmetric, $J$-anti-invariant endomorphism of $TM$. Imposing further algebraic constraints to the tensor $\nabla J$ leads to
97: the introduction of several classes of almost Hermitian manifolds. We will recall the definition of those that will be significant for this paper.\par
98: For instance, $(M^{2n},g,J)$ is quasi-K\"ahler iff for all $X,Y$ in $TM$ we have :
99: $$ (\nabla_{JX}J)JY=-(\nabla_XJ)Y.$$
100: If $\omega=g(J \cdot, \cdot)$ is the K\"ahler form of $(g,J)$ then we are in presence of an almost K\"ahler structure iff $d \omega=0$. It should
101: be noted that almost K\"ahler structures are always quasi-K\"ahler. \par
102: An important object related to the almost Hermitian structure $(g,J)$ is the first canonical Hermitian connection defined
103: by
104: $$ \overline{\nabla}_XY=\nabla_XY+\eta_XY$$
105: whenever $X,Y$ are vector fields on $M$ where,
106: to save space, we setted $\eta_XY=\frac{1}{2}(\nabla_XJ)JY$. We obtained a metric Hermitian connection on
107: $M$, that is $\overline{\nabla}g=0$ and $\overline{\nabla}J=0$.
108: The torsion tensor of the canonical Hermitian canonical connection, to be denoted by $T$ is given by
109: $$T_XY=\eta_XY-\eta_YX$$
110: for all $X,Y$ in $TM$. Then by the {\bf{torsion}} of the almost Hermitian manifold $(M^{2n},g,J)$ we will mean
111: simply the torsion tensor of the canonical Hermitian connection. Note that among connections respecting both
112: the metric $g$ and the almost complex structure $J$ the first canonical Hermitian connection is the one
113: whose torsion has minimal possible norm \cite{Gaud}.
114: \par
115: For the almost Hermitian $(M^{2n},g,J)$ be almost K\"ahler one requires that the K\"ahler form
116: $\omega(X,Y)=<JX, Y>$ be closed. In our notations, this is equivalent to have
117: \begin{nr} \hfill
118: $<T_XY,Z>=-<\eta_ZX,Y> \hfill $
119: \end{nr}
120: for all $X,Y,Z$ in $TM$. When dealing with almost K\"ahler manifolds, this relation will be used almost implicitely in
121: this paper. \par
122: We denote by $R$ resp. $\overline{R}$ the curvature tensor of the Levi-Civita connection $\nabla$ resp. of the
123: canonical Hermitian connection $\overline{\nabla}$ with the convention that
124: $\overline{R}(X,Y)=-[\overline{\nabla}_X,
125: \overline{\nabla}_Y]+\overline{\nabla}_{[X,Y]}$ for all vector fields $X,Y$ on $M$.
126: Now a standard calculation involving the definitions yields to
127: \begin{nr} \hfill
128: $ \overline{R}(X,Y)Z=R(X,Y)Z+[\eta_X,\eta_Y]Z-\biggr [ d_{\overline{\nabla}}u(X,Y) \biggl ] Z \hfill $
129: \end{nr}
130: where
131: $$ \biggl [ d_{\overline{\nabla}}u(X,Y) \biggr ] Z =(\overline{\nabla}_X\eta)(Y,Z)-(\overline{\nabla}_Y\eta)(X,Z)+
132: \eta_{T_XY}Z$$
133: for all vector fields $X,Y,Z$ on $M$. Note that $d_{\overline{\nabla}}u(X,Y)$ is a $J$-anticommuting endomorphism
134: of $TM$, whenever $X,Y$ are tangent vectors to $M$.
135: \begin{rema}
136: In the formula (2.2), the notation $u$ stands for the tensor $\eta$, considered as a $1$-form with values in the
137: bundle $\Omega^2(M)$. Then $d_{\overline{\nabla}}$, with its expression given below, is the twisted differential
138: acting on twisted one forms, when considering the tangent bundle of $M$ endowed with the connection
139: $\overline{\nabla}$. Since our discussion is intended to be self-contained and at the elementary level, we will
140: keep things at the level of the notation after (2.2).
141: \end{rema}
142: The fact that $\overline{\nabla}$ is a Hermitian connection implies that $\overline{R}(X,Y,JZ,JU)=\overline{R}(X,Y,Z,U)$. Using this in formula (2.2), together with
143: the skew-symmetry of the $J$-anticommuting endomorphism $\eta_X$ gives us :
144: \begin{nr} \hfill
145: $ \begin{array}{lr}
146: R(X,Y,Z,U)-R(X,Y,JZ,JU)=2\biggl [ (d_{\overline{\nabla}}u)(X,Y) \biggr ](Z,U).
147: \end{array}
148: \hfill $
149: \end{nr}
150: Using the symmetry property of the Riemannian curvature we also deduce that
151: \begin{nr} \hfill
152: $ \begin{array}{lr}
153: R(X,Y,Z,U)-R(JX,JY,Z, U)=2\biggl [ (d_{\overline{\nabla}}u)(Z,U) \biggr ](X,Y)
154: \end{array}
155: \hfill $
156: \end{nr}
157: whenever $X,Y,Z,U$ are in $TM$. We are going to make an intensive use of the two formulas below in the next section.
158: \par
159: The rest of the present section is destinated to present some classes of almost Hermitian manifolds, the third of which will be the object
160: of our attention in this paper.
161: We begin by recalling how one
162: can distinguish several classes of almost Hermitian manifolds by "the degree of ressemblance" of their
163: Riemannian curvature tensor with the curvature tensor of a K\"ahler manifold \cite{Gray1, Tri2}: \\
164: $\begin{array}{lr}
165: (G_1) : \ R(X,Y,JZ,JU)=R(X,Y,Z,U) \\
166: (G_2) : \ R(X,Y,Z,U)-R(JX,JY,Z,U)=R(JX,Y,JZ,U)+R(JX,Y,Z,JU) \\
167: (G_3) : \ R(JX,JY,JZ,JU)=R(X,Y,Z,U)
168: \end{array} $
169: $\\$
170: Using the first Bianchi identity it is a simple exercise to see that $G_1 \Rightarrow G_2 \Rightarrow G_3$. It is also clear that a K\"ahler
171: structure satisfies all the three conditions. Let us set now some notations. \par
172: Following \cite{Gray1}, let ${\cal{AK}}$ be the class of almost K\"ahler manifolds. Then the class ${\cal{AK}}_i, 1 \le i \le 3$ contains those
173: almost K\"ahler manifolds whose curvature tensor satisfies the condition $(G_i)$. Obviously, we have the inclusions :
174: $$ {\cal{AK}}_1 \subseteq {\cal{AK}}_2 \subseteq {\cal{AK}}_3. $$
175: Note that it was shown in \cite{Golberg} that locally $ {\cal{AK}}_1={\cal{K}}$, where ${\cal{K}}$ denotes the class of K\"ahler manifolds. Let us give
176: a very simple proof of this result.
177: \begin{pro}Any almost K\"ahler manifold $(M^{2n},g,J)$ satisfying condition $(G_1)$ is K\"ahler.
178: \end{pro}
179: {\bf{Proof}} : \\
180: From (2.3) we obtain that condition $(G_1)$ is equivalent with
181: $$ (\overline{\nabla}_X\eta)(Y,Z)- (\overline{\nabla}_Y\eta)(X,Z)+\eta_{T_XY}Z=0$$
182: for all $X,Y,Z$ in $TM$. Using the quasi-K\"ahler condition, one notices that the second term of this equation is $J$-anti-invariant in $X,Z$ whilst
183: the last term is $J$-invariant in the same variables. Therefore we obtain
184: $$ (\overline{\nabla}_{JX}\eta)(Y,JZ)+(\overline{\nabla}_X\eta)(Y,Z)=-2\eta_{T_XY}Z.$$
185: Using again the quasi-K\"ahler condition we find that left hand side of the equation below is
186: $J$-invariant in $X,Y$ whilst the right hand one is $J$-anti-invariant in the same variables. We conclude that $\eta_{T_XY}Z=0$ for all $X,Y,Z$ in
187: $TM$ and then the almost K\"ahler condition (2.1) implies the vanishing of $T$, and hence that of $\eta$.
188: $\blacksquare$ \\ \par
189: The other inclusions between the previously defined classes are strict in dimensions $2n \ge 6$, as shows the examples of
190: \cite{Davidov}, multiplied by K\"ahler manifolds. In the same spirit, the class ${\cal{AH}}_i, 1 \le i \le 3$ contains
191: those almost Hermitian manifolds whose Riemannian curvature tensor satisfies condition $(G_i)$. By contrast
192: with the almost K\"ahler case, note that they are classes of almost complex manifolds where conditions
193: $(G_2)$ and $(G_3)$ are known to be equivalent, such as the class of Hermitian manifolds \cite{Gray1} and the
194: class of locally conformally K\"ahler manifolds \cite{Ornea}.
195: \\ \par
196: To give a very simple interpretation of the third Gray condition on curvature, let us recall
197: that we have a decomposition of the bundle of (real valued ) two forms :
198: \begin{nr} \hfill
199: $ \Lambda^2(M)=\Lambda^{1,1}(M) \oplus [[ \Lambda^{2,0}(M)]] \hfill $
200: \end{nr}
201: into $J$-invariant and $J$-anti-invariant parts, where the action of $J$ on a two form $\alpha$ is given by
202: $(J\alpha)(X,Y)=\alpha(JX,JY)$ for all $X,Y$ in $TM$.
203: It is easily checked that $(g,J)$ belongs to the class ${\cal{AH}}_3$ iff
204: the Riemannian curvature operator of $g$ preserves the decomposition (2.5). \\
205: \section{The third Gray condition}
206: \input{gthree.tex}
207: \section{An algebraic decomposition}
208: \input{algak4f.tex}
209: \normalsize
210: \begin{thebibliography}{99}
211: \bibitem{Ivanov}
212: ALEXANDROV. B, GRANTCHAROV. G, IVANOV. S, \textit{Curvature properties of twistor spaces of quaternionic K\"ahler manifolds},
213: J. Geom. {\bf{69}} (1998), 1-12.
214: \bibitem{Apo3}
215: V. APOSTOLOV, T. DRAGHICI, KOTSCHICK, D. \textit{An integrability theorem for almost K\"ahler $4$-manifolds}, C.R.Acad.Sci. Paris{\bf{329}},
216: s\'er. I (1999), 413-418.
217: \bibitem{Apo}
218: APOSTOLOV, V., CALDERBANK, D., GAUDUCHON, P., \textit{The geometry of weakly
219: selfdual K\"ahler surface }, Compositio Math. {\bf{135}} (2003), 279-322.
220: \bibitem{Apo2}
221: V. APOSTOLOV, T. DRAGHICI, A. MOROIANU, \textit{A splitting theorem for K\"ahler manifolds with constant eigenvalues
222: of the Ricci tensor}, Int. J. Math. {\bf{12}} (2001), 769-789.
223: \bibitem{Apo1}
224: V. APOSTOLOV, J. ARMSTRONG, T. DRAGHICI
225: \textit{Local rigidity of certain classes of almost K\"ahler $4$-manifolds}, Ann. Glob. Anal. Geom. {\bf{21}} (2002), 151-176.
226: \bibitem{Apo4}
227: V. APOSTOLOV, J. ARMSTRONG, T. DRAGHICI,
228: \textit{Locals models and integrability of certain almost K\"ahler $4$-manifolds}, Math. Ann. {\bf{323}} (2002), 633-666.
229: \bibitem{survey}
230: V. APOSTOLOV, T. DRAGHICI, \textit{The curvature and the integrability of almost-K\"ahler manifolds: a survey.}, {\bf{ArXiv:math.DG/0302152}}.
231: \bibitem{arm1}
232: ARMSTRONG, J. \textit{ On four-dimensional almost K\"ahler manifolds}, Quart. J. Math. Oxford Ser. (2) {\bf{48}} (1997), 405-415.
233: \bibitem{arm2}
234: ARMSTRONG, J. \textit{An Ansatz for Almost-K\"ahler, Einstein $4$-manifolds }, J. reine angew. Math. {\bf{542}} (2002), 53-84.
235: \bibitem{Besse}
236: A. L. BESSE, \textit{Einstein manifolds}, Springer Verlag, 1986.
237: \bibitem{Davidov}
238: J. DAVIDOV, O. MUSKAROV, \textit{Twistor spaces with Hermitian Ricci tensor}, Proc. Amer. Math. Soc. {\bf{109}} (1990), no.4, 1115-1120.
239: %\bibitem{DN}
240: %DRAGHICI. T, P-A. NAGY, \textit{Parallel torsion in almost K\"ahler geometry }, in preparation, 2002.
241: \bibitem{Ornea}
242: S. DRAGOMIR, L. ORNEA, \textit{Locally conformally K\"ahler geometry}, Birkh\"auser Verlag, 1998.
243: %\bibitem{Kowalski}
244: %O. KOWALSKI, \textit{Generalized Symmetric spaces}, LNM {\bf{805}}, 1980.
245: \bibitem{Gaud}
246: P. GAUDUCHON, \textit{Hermitian connections and Dirac operators}, Boll. U.M.I (7) {\bf{11}}-B (1997),
247: Suppl. fasc. 2, 257-288.
248: \bibitem{Golberg}
249: S. I. GOLDBERG, \textit{Integrability of almost K\"ahler manifolds}, Proc. Amer. Math. Soc. {\bf{21}} (1969), 96-100.
250: \bibitem{Gray1}
251: A. GRAY, \textit{Curvature identities for Hermitian and almost Hermitian manifolds}, T\^ohoku Math. J.
252: {\bf{28}} (1976), 601-612.
253: \bibitem{Gray2}
254: A. GRAY, \textit{The structure of Nearly K\"ahler manifolds}, Math. Ann. {\bf{223}} (1976), 233-248.
255: \bibitem{LeBrun}
256: C. LEBRUN, \textit{Ricci curvature, minimal volumes, and Seiberg-Witten theory}, Invent. Math. {\bf{145}} (2001),
257: 279-316.
258: \bibitem{Nagy2}
259: P-A. NAGY, \textit{Nearly K\"ahler geometry and Riemannian foliations }, Asian J. Math. {\bf{6}}, no.3 (2002), 481-504.
260: \bibitem{Nagy}
261: P-A.NAGY, \textit{Torsion in almost K\"ahler geometry}, {\bf{ArXiv:math.DG/0301069}}
262: \bibitem{Nagy3}
263: P-A. NAGY, \textit{The structure of ${\cal{AK}}_2$-manifolds}, {\bf{ArXiv:math.DG/0301228}}
264: \bibitem{Nur}
265: NUROWSKI, P., PRZANOWSKI, M, \textit{A four-dimensional example of Ricci flat metric
266: admitting K\"ahler non-K\"ahler structure }, Classical Quantum Gravity {\bf{16}} (1999), no.3, L9-L13.
267: \bibitem{Seki2}
268: OGURO. T, SEKIGAWA, K. \textit{Four dimensional almost K\"ahler Einstein and $\star$-
269: Einstein manifolds}, Geom. Dedicata {\bf{69}} (1998), no.1, 91-112.
270: \bibitem{Tri2}
271: F. TRICERRI, L. VANHECKE, \textit{Curvature tensors on almost Hermitian manifolds}, Trans. Amer.
272: math. Soc. {\bf{267}} (1981), 365-398.
273: \bibitem{Oguro}
274: OGURO, T, SEKIGAWA, K \textit{Almost K\"ahler structures on the Riemannian product of
275: a $3$-dimensional hyperbolic space and a real line}, Tsukuba J. Math. {\bf{20}} (1986), 151-161.
276: \bibitem{Olszak}
277: Z. OLSZAK, \textit{A note on almost K\"ahler manifolds}, Bull. Acad. Polon. Sci. {\bf{XXVI}} (1978), 199-206.
278: \bibitem{Seki1}
279: SEKIGAWA, K, \textit{on some compact Einstein almost K\"ahler manifolds}, J. Math. Soc. Japan {\bf{36}}
280: (1987), 677-684.
281: \end{thebibliography}
282: \begin{flushright}
283: Paul-Andi Nagy \\
284: Institut de Math\'ematiques \\
285: rue E. Argand 11, CH-2007, Neuch\^atel \\
286: email : Paul.Nagy@unine.ch
287: \end{flushright}
288: \end{document}