[Paper Review] Symplectic critical surfaces in Kähler surfaces

Xiaoli Han, Jiayu Li|ArXiv.org|Nov 14, 2007

Geometry and complex manifolds4 references7 citations

TL;DR

This paper introduces symplectic critical surfaces in Kähler surfaces as critical points of the functional $ L = \int_\Sigma \frac{1}{\cos\alpha} \, d\mu $, where $ \alpha $ is the Kähler angle. It derives the Euler-Lagrange equation $ \cos^3\alpha \, H = (J(J\nabla\cos\alpha)^\top)^\bot $, proves it is elliptic, and establishes that in Kähler-Einstein surfaces with nonnegative scalar curvature, such surfaces must be holomorphic. This resolves a conjecture on symplectic minimality and reveals deep topological constraints via curvature and characteristic class identities.

ABSTRACT

Let $M$ be a Kähler surface and $Σ$ be a closed symplectic surface which is smoothly immersed in $M$. Let $α$ be the Kähler angle of $Σ$ in $M$. We first deduce the Euler-Lagrange equation of the functional $L=\int_Σ\frac{1}{\cosα}dμ$ in the class of symplectic surfaces. It is $\cos^3αH=(J(J abla\cosα)^ op)^\bot$, where $H$ is the mean curvature vector of $Σ$ in $M$, $J$ is the complex structure compatible with the Kähler form $ω$ in $M$, which is an elliptic equation. We then study the properties of the equation.

Motivation & Objective

• To define and study symplectic critical surfaces as critical points of the functional $ L = \int_\Sigma \frac{1}{\cos\alpha} \, d\mu $ in Kähler surfaces.
• To derive the Euler-Lagrange equation for this functional and prove it is elliptic.
• To analyze the geometric and topological properties of symplectic critical surfaces, especially in Kähler-Einstein manifolds.
• To investigate the relationship between the Kähler angle, mean curvature, and curvature invariants.
• To establish global topological constraints via characteristic classes and curvature integrals.

Proposed method

• Derives the first variation of the functional $ L = \int_\Sigma \frac{1}{\cos\alpha} \, d\mu $ using a 1-parameter family of immersions and computes the variation of the Kähler angle $ \alpha $.
• Computes the variation of the area and the variation of $ \cos\alpha $ using orthonormal frames and curvature decompositions.
• Expresses the variation of $ \cos\alpha $ in terms of the mean curvature vector $ H $, the normal and tangential components of $ \nabla\cos\alpha $, and curvature terms.
• Derives the Euler-Lagrange equation $ \cos^3\alpha \, H = (J(J\nabla\cos\alpha)^\top)^\bot $, showing it is elliptic.
• Analyzes the evolution of $ \cos\alpha $ under a gradient flow, proving symplecticity is preserved.
• Derives the evolution equation $ (\frac{d}{dt} - \Delta)\cos\alpha = \cos^3\alpha(|h^{3}_{1k}-h^{4}_{2k}|^2 + |h^{3}_{2k}+h^{4}_{1k}|^2) + R\cos^3\alpha\sin^2\alpha + \cos\alpha\sin^2\alpha|H|^2 - \cos\alpha\sin^2\alpha|V+H|^2 $ in Kähler-Einstein surfaces.

Experimental results

Research questions

• RQ1 What is the Euler-Lagrange equation for the functional $ L = \int_\Sigma \frac{1}{\cos\alpha} \, d\mu $ in the space of symplectic surfaces in a Kähler surface?
• RQ2 Under what conditions does a symplectic critical surface in a Kähler-Einstein surface become holomorphic?
• RQ3 How do the topology of the surface and its normal bundle constrain the Kähler angle and curvature?
• RQ4 What is the evolution of the Kähler angle $ \cos\alpha $ under the gradient flow of $ L $, and does symplecticity persist?
• RQ5 What global topological invariants, such as Euler characteristics and Chern classes, are related to the energy and curvature of symplectic critical surfaces?

Key findings

• The Euler-Lagrange equation for the functional $ L $ is $ \cos^3\alpha \, H = (J(J\nabla\cos\alpha)^\top)^\bot $, which is an elliptic PDE.
• In a Kähler-Einstein surface with nonnegative scalar curvature $ R \geq 0 $, any symplectic critical surface must be holomorphic.
• The Kähler angle satisfies the equation $ \Delta\cos\alpha = \frac{3\sin^2\alpha - 2}{\cos\alpha}|\nabla\alpha|^2 - R\cos^3\alpha\sin^2\alpha $ on symplectic critical surfaces.
• A non-holomorphic symplectic critical surface has at most finitely many complex tangent points.
• The identity $ \chi(\Sigma) + \chi(\nu) = -P - \frac{1}{2\pi}\int_\Sigma \frac{|\nabla\alpha|^2}{\cos^2\alpha} \, d\mu $ holds, where $ P $ is the number of complex points.
• The first Chern class satisfies $ c_1(M)([\Sigma]) = -P - \frac{1}{2\pi}\int_\Sigma \frac{|\nabla\alpha|^2}{\cos^3\alpha} \, d\mu $, linking topology to curvature energy.