Critical associated metrics on a symplectic manifold (Q1921789): Difference between revisions

Let \(M\) be an \(n\)-dimensional smooth, compact, connected, orientable manifold without boundary, and let \(\omega\) be a symplectic 2-form on \(M\). For an almost complex structure \(J\) on \(M\) satisfying (1) \(\omega(JX, JY)= \omega(X, Y)\), (2) \(\omega(JX, Y)> 0\) for all vector fields \(X\), \(Y\), the tensor \(g\), defined by \(g(X, Y)= \omega(JX, Y)\), is a Riemannian metric and is called an associated metric to \(\omega\) on \(M\). Let \(M\) be the set of all Riemannian metrics on \(M\), and let \(AM\) be the set of metrics associated to \(\omega\) on \(M\). Define the functional \(R\) on \(AM\) by \(R(g)= \int_M r(g) d\mu(g)\), where \(r(g)\) is the scalar curvature of a metric \(g\) and \(d\mu(g)\) is the volume element. Let \(CAM_c\) be the set of all associated metrics critical for the functional \(R\) with respect to a constant scalar curvature \(r= c\). In this paper, the author proves that the factor space \(CAM_c/D\) is finite-dimensional, where \(D\) is the group of symplectic diffeomorphisms on \(M\).