On the $\mathcal{D}^+_J$ operator on higher-dimensional almost Kähler manifolds

This paper introduces the $\mathcal{D}^+_J$ operator on higher-dimensional almost Kähler manifolds to investigate the $\bar{\partial}$-problem and establish uniqueness and local existence results for a generalized Monge-Ampère equation, ultimately providing an elliptic system for the operator and reorganizing the work of Tosatti-Weinkove-Yau.

The Gist

Imagine you are an architect trying to design a building. In the world of Kähler manifolds (a very specific, "perfect" type of geometric space), you have a magical blueprint called the Monge-Ampère equation. This equation tells you exactly how to reshape the building's floor plan so that the total volume of the rooms matches a specific target, while keeping the building's structure perfectly balanced. This was solved by the famous mathematician Shing-Tung Yau decades ago.

However, most real-world geometric spaces aren't "perfect." They are Almost Kähler manifolds. Think of these as buildings where the floors are slightly warped, the walls don't quite meet at perfect right angles, and the geometry is a bit "jittery." In these messy spaces, the old magical blueprint (the standard Monge-Ampère equation) breaks down. It's like trying to use a ruler designed for a straight line to measure a squiggly worm; the math just doesn't add up.

This paper introduces a new tool to fix that mess. Here is the breakdown of what the authors did, using simple analogies:

1. The Problem: The "Broken" Compass

In the perfect world, mathematicians use a tool called the $\bar{\partial}$-operator to measure how things change. It's like a compass that always points North.
But in "Almost Kähler" spaces (the squiggly ones), the compass spins wildly. The standard way of measuring change fails because the geometry isn't "integrable" (it doesn't fit together smoothly).

• The Analogy: Imagine trying to walk in a straight line on a trampoline that is constantly shifting under your feet. You can't just walk forward; you need a new way to navigate.

2. The Solution: The $D^+_J$ Operator (The "Smart Compass")

The authors, led by Qiang Tan and colleagues, invented a new tool called $D^+_J$.

• What it is: Think of $D^+_J$ as a smart, self-correcting compass. It doesn't just measure change; it actively compensates for the "wobble" of the trampoline. It takes the messy, shifting geometry and filters out the noise, leaving you with a clean, usable measurement.
• How it works: In the old days, if the geometry was messy, the math would hit a dead end. This new operator finds a hidden "path" through the mess. It connects the messy reality to a clean, solvable equation.

3. The New Blueprint: The Generalized Monge-Ampère Equation

Once they had this new compass, they rewrote the blueprint for reshaping the building.

• The Goal: They wanted to prove that even in these messy, "squiggly" spaces, you can still reshape the geometry to match a specific volume target (just like Yau did for the perfect spaces).
• The Result: They proved that yes, you can do it!
  • Uniqueness: There is only one way to do it (up to adding a constant, which is like shifting the whole building up or down without changing its shape).
  • Existence: You can actually find the solution locally (in small patches of the building).

4. The "Elliptical System" (The Safety Net)

To make sure their new tool ($D^+_J$) is reliable, they showed it behaves like a well-behaved machine.

• The Analogy: In math, "elliptic" means the system is stable and predictable. If you push it a little, it responds smoothly. The authors proved that their new operator is a "stable machine," meaning you can trust the results it gives you. This allows them to use powerful mathematical techniques (like the $L^2$ method, which is like averaging out errors) to solve the puzzle.

5. Why Does This Matter? (The Big Picture)

Why should a non-mathematician care?

• Physics and String Theory: Many theories about the universe (like String Theory) rely on these "squiggly" geometric spaces. If we can't solve the equations on these spaces, we can't fully understand the physics of the universe.
• New Types of Shapes: The paper opens the door to finding "special" shapes (metrics) that have constant curvature or specific energy properties. It's like discovering new types of crystals or perfect lenses that we didn't know existed because we didn't have the right math to find them.
• Reorganizing Old Knowledge: They also showed that their new tool can reorganize and simplify results that other famous mathematicians (Tosatti, Weinkove, Yau) had already found, making the whole field clearer and more connected.

Summary in a Nutshell

Imagine you are trying to bake a cake (the geometry) but your oven is broken and the temperature is fluctuating wildly (the non-integrable structure).

• Old Math: Said, "You can't bake this cake because the oven is broken."
• This Paper: Said, "Actually, we built a new thermostat ($D^+_J$) that ignores the fluctuations and stabilizes the heat. Now, we can prove that you can bake the perfect cake (solve the Monge-Ampère equation) even in that broken oven."

They have given mathematicians a new, robust way to navigate the messy, beautiful, and complex geometry of our universe.

Technical Summary

Here is a detailed technical summary of the paper "On the $D^+_J$ operator on higher-dimensional almost Kähler manifolds" by Qiang Tan, Hongyu Wang, Ken Wang, and Zuyi Zhang.

1. Problem Statement and Motivation

The paper addresses the extension of fundamental results from Kähler geometry to the realm of almost Kähler manifolds, where the almost complex structure $J$ is not necessarily integrable.

• The Core Challenge: In classical Kähler geometry, Yau's Theorem solves the complex Monge-Ampère equation $(\omega + i\partial\bar{\partial}\phi)^n = e^F \omega^n$, allowing the prescription of volume forms within a Kähler class. However, when $J$ is non-integrable, the operator $d_J d\phi$ (where $d_J = d \circ J$) generally produces a 2-form with $(2,0)$ and $(0,2)$ components, not just the $(1,1)$ component required for the Monge-Ampère equation.
• Gromov's Problem: Gromov posed the question of whether one can find a potential $\phi$ such that $\omega + d_J d\phi$ remains a symplectic form taming $J$ and satisfies a volume constraint. Previous work (Delanoë, Wang-Zhu) showed this fails in general because the $(2,0)+(0,2)$ part of $d_J d\phi$ can be strictly positive, pushing the form out of the desired cone.
• The Gap: While the operator $D^+_J$ was introduced by Tan et al. [43] for 4-dimensional tamed manifolds to resolve the Donaldson tameness problem, a generalization to higher-dimensional ($2n$) almost Kähler manifolds was missing. Specifically, the ellipticity of the underlying operators and the solvability of the associated Monge-Ampère equation in higher dimensions needed to be established.

2. Methodology

The authors develop a rigorous analytical framework based on Hodge theory and elliptic PDEs on almost Kähler manifolds.

A. Definition of the $D^+_J$ Operator

The authors generalize the 4-dimensional operator to higher dimensions.

1. Decomposition: They utilize the decomposition of 2-forms into $J$-invariant ($\Omega^+_J$) and $J$-anti-invariant ($\Omega^-_J$) parts.
2. The Auxiliary Operator: They analyze the operator $d^-_J d^*$ acting on $\Omega^-_J$. In 4D, this is elliptic; in higher dimensions, it is not strictly elliptic in the standard sense, but the authors prove via direct calculation that its principal symbol matches that of $\partial_J \partial^*_J + \bar{\partial}_J \bar{\partial}^*_J$.
3. Invertibility: They establish that $d^-_J d^*$ is an invertible, formal self-adjoint, non-negative operator on the orthogonal complement of its kernel (which consists of forms $\alpha$ where $d^*\alpha=0$).
4. Construction: For any smooth function $f$, they define a unique $\sigma(f) \in \Omega^-_J$ such that $d^-_J d^* \sigma(f) = d^-_J J df$.
5. Definition: The operator $D^+_J$ is defined as:
   $$D^+_J(f) = d_J df + dd^*\sigma(f) = dd^*(f\omega) + dd^*\sigma(f)$$
   This operator maps functions to $J$-invariant 2-forms. When $J$ is integrable, $D^+_J(f) = 2i\partial_J \bar{\partial}_J f$.

B. Solving the $(W_J, d^-_J)$-Problem

To utilize $D^+_J$, the authors introduce an auxiliary 1-form $W_J(f) = d^*(f\omega + \sigma(f))$. They prove that the system:
$$\begin{cases} dW_J(f) = D^+_J(f) \\ d^-_J W_J(f) = 0 \end{cases}$$
is an elliptic system. Using $L^2$-methods and the Riesz Representation Theorem, they prove that for any $A$ satisfying $d^-_J A = 0$, there exists a solution to $W_J(f) = A$. This establishes that the image of $D^+_J$ covers all exact $J$-invariant 2-forms.

C. The Generalized Monge-Ampère Equation

The authors formulate the equation:
$$(\omega + D^+_J(f))^n = e^F \omega^n$$
subject to $\omega + D^+_J(f) > 0$ and the volume normalization $\int e^F \omega^n = \int \omega^n$.

3. Key Contributions and Results

1. Uniqueness and Local Existence

• Uniqueness: The authors prove that the solution to the generalized Monge-Ampère equation is unique up to the addition of a constant (specifically, up to the kernel of the operator $W_J$, which reduces to constants in many cases). The proof relies on the injectivity of the linearized operator $L(u)$, which is shown to be an elliptic system with a trivial kernel.
• Local Existence: Using the continuity method and the implicit function theorem on Banach spaces, they establish a local existence theorem. They show that the operator mapping potentials to volume forms is a diffeomorphism on a specific open set of admissible potentials.

2. Elliptic System for $D^+_J$

The paper derives an explicit elliptic system relating the potential $f$ to the geometry of the manifold. By introducing a family of symplectic forms $\omega_t = t\omega_1 + (1-t)\omega$, they derive a decomposition:
$$\omega_1 - \omega = d_J df_t + da(f_t)$$
where $a(f_t)$ satisfies specific orthogonality conditions ($d^*_t a(f_t)=0$, $d^-_J a(f_t) = -d^-_J J df_t$, etc.). This reorganizes the problem into a system amenable to standard elliptic regularity theory.

3. Reorganization of Tosatti-Weinkove-Yau Results

The authors apply their framework to reorganize and generalize the results of Tosatti, Weinkove, and Yau [46]. They derive a priori estimates (specifically $C^0$ bounds) for the potential $f$ depending on the geometry of the background metric and the function $F$. This provides a unified approach to studying the equation in the almost Kähler setting.

4. Geometric Applications

The paper raises existence questions for four types of special metrics on compact almost Kähler manifolds, analogous to the Kähler case:

1. Extremal almost Kähler metrics: Critical points of the Calabi functional.
2. Constant Hermitian Scalar Curvature (CHSC) metrics.
3. Hermite-Einstein almost Kähler metrics: Relating to the first Chern class ($c_1 = 0, <0, >0$). The authors show that finding these metrics is equivalent to solving specific variants of the generalized Monge-Ampère equation.
4. Generalized almost Kähler-Ricci Solitons (GeAKRS): Extending the moment map formulation of Ricci solitons to the non-integrable setting.

4. Significance

• Theoretical Advancement: This work successfully bridges the gap between 4-dimensional almost Kähler geometry and higher dimensions. It provides the necessary analytical tools (the $D^+_J$ operator and its associated elliptic systems) to treat non-integrable complex structures with the same rigor as integrable ones.
• Resolution of Structural Issues: By isolating the $(1,1)$ part of the deformation via $D^+_J$, the authors circumvent the obstruction caused by the $(2,0)+(0,2)$ components that plagued earlier attempts to generalize Yau's theorem (like Gromov's proposal).
• Foundation for Future Research: The paper sets the stage for solving the global existence problem for the generalized Monge-Ampère equation in higher dimensions. It also provides a framework for investigating the existence of canonical metrics (Extremal, CHSC, HEAK, Solitons) in the almost Kähler category, which is crucial for understanding the moduli space of symplectic manifolds.
• Connection to Physics: Given the importance of Kähler geometry in string theory and mathematical physics, extending these results to almost Kähler manifolds (which appear in various physical contexts where integrability is broken) is of significant interest.

In summary, the paper introduces a robust operator $D^+_J$ that acts as the "correct" generalization of $\partial\bar{\partial}$ for almost Kähler manifolds, establishes the uniqueness and local existence of the associated Monge-Ampère equation, and lays the groundwork for a comprehensive theory of canonical metrics in higher-dimensional almost Kähler geometry.