Abstract:We show that the parabolic quaternionic Monge-Ampère equation on a compact hyperkähler manifold has always a long-time solution which once normalized converges smoothly to a solution of the quaternionic Monge-Ampère equation. This is the same setting in which Dinew and Sroka prove the conjecture of Alesker and Verbitsky. We also introduce an analogue of the Chern-Ricci flow in hyperhermitian manifolds.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence and convergence of long - time solutions of the quaternionic Monge - Ampère equation on compact hyper - Kähler manifolds. Specifically, the authors show that on compact hyper - Kähler manifolds, the parabolic quaternionic Monge - Ampère equation always has a long - time solution, and after normalization, this solution converges smoothly to a solution of the quaternionic Monge - Ampère equation.
### Background and Problem Description of the Paper
1. **Hypercomplex Manifolds and Hyper - Hermitian Metrics**
- A hypercomplex manifold is a real 4n - dimensional smooth manifold equipped with three complex structures \(I, J, K\) that satisfy the quaternionic relations \(IJ=-JI = K\).
- The hyper - Hermitian metric \(g\) can be determined by the forms \(\Omega\) or \(\omega\), where \(\Omega\) is a (2, 0)-type form with respect to \(I\), \(\omega\) is a positive real (1, 1)-type form with respect to \(I\), and satisfies \(J\omega =-\omega\).
2. **Quaternionic Monge - Ampère Equation**
- Alesker and Verbitsky introduced the quaternionic Monge - Ampère equation on hyper - Hermitian manifolds:
\[
(\Omega+\partial\partial_J\phi)^n = e^{f + b}\Omega^n,\quad\Omega+\partial\partial_J\phi>0,\quad\sup_M\phi = 0,
\]
where \(\phi\) is a real - valued function and \(b\) is a constant.
3. **Main Problem**
- Prove that the above quaternionic Monge - Ampère equation is always solvable on compact hyper - Kähler manifolds, especially under additional assumptions, such as when the canonical bundle \((M, I)\) is holomorphically trivial.
### Main Contributions
1. **Existence of Long - Time Solutions**
- The authors prove that on compact hyper - Hermitian manifolds, the parabolic quaternionic Monge - Ampère equation:
\[
\dot{\phi}=2\log\frac{(\Omega+\partial\partial_J\phi)^n}{\Omega^n}-2f,\quad\Omega+\partial\partial_J\phi>0,\quad\phi(0) = 0,
\]
always has a long - time solution \(\phi(t)\), and \(t\in[0,\infty)\).
2. **Convergence of Normalized Solutions**
- The normalized solution \(\tilde{\phi}\) is defined as:
\[
\tilde{\phi}:=\phi-\frac{1}{\int_M\Omega^n\wedge\bar{\Omega}^n}\int_M\phi\Omega^n\wedge\bar{\Omega}^n,
\]
This solution converges smoothly to a solution of the quaternionic Monge - Ampère equation, that is:
\[
(\Omega+\partial\partial_J\phi_\infty)^n = e^{f + b}\Omega^n,
\]
where \(b\) is determined by integration.
### Methods and Techniques
1. **A Priori Estimates**
- The authors obtain estimates of high - order derivatives through a series of a priori estimates, especially the upper - bound estimates of the Laplace operator.
- These estimates allow them to simplify the proof of Dinew and Sroka and further generalize to more general cases.
2. **Geometric Flows**