On the envelope of Poisson functional on almost complex manifolds

Basic Information

• Paper ID: 2311.04317
• Title: On the envelope of Poisson functional on almost complex manifolds
• Authors: Florian Bertrand (American University of Beirut), Uroš Kuzman (University of Ljubljana & University of Maribor)
• Classification: math.CV (Complex Variables)
• Publication Date: November 2023 (arXiv v2: October 2025)
• Paper Link: https://arxiv.org/abs/2311.04317

Abstract

This paper establishes the plurisubharmonicity of the envelope of the Poisson functional on almost complex manifolds (almost complex manifolds). This generalizes the corresponding results on complex manifolds and almost complex manifolds of complex dimension 2.

Research Background and Motivation

Research Problem

This paper investigates the plurisubharmonicity of the envelope of the Poisson functional on almost complex manifolds, which is one of the central problems in the theory of several complex variables.

Problem Significance

1. Theoretical Importance: Plurisubharmonic functions are fundamental tools in complex geometry and several complex variables theory, and their properties directly impact the understanding of manifold geometric structures.
2. Functional Envelope Theory: The envelope $E_{Pf}$ of the Poisson functional is the greatest J-plurisubharmonic lower bound of an upper semicontinuous function $f$, which plays an important role in potential theory and complex analysis.
3. Generalization Value: The generalization from integrable complex structures to almost complex structures is an important direction in modern geometric analysis.

Limitations of Existing Methods

• Complex Manifold Case: Poletsky 16,17, Bu and Schachermayer 2 proved the result on $\mathbb{C}^n$.
• Manifold Generalization: Lárusson and Sigurdsson 13,14, Rosay 20,21 extended the result to complex manifolds.
• Low-Dimensional Almost Complex Manifolds: Kuzman 12 proved the case for almost complex manifolds of complex dimension 2 (real dimension 4).
• High-Dimensional Obstacles: Lack of methods for attaching J-holomorphic disks to real tori (solution of the Riemann-Hilbert problem), which is the key technical barrier to generalization to higher dimensions.

Research Motivation

The core motivation of this paper is to overcome dimensional restrictions by developing new gluing techniques to solve the Riemann-Hilbert problem on almost complex manifolds of arbitrary dimension.

Core Contributions

1. Main Theorem: Proves the J-plurisubharmonicity of the Poisson functional envelope on almost complex manifolds of arbitrary dimension (Theorem 1).
2. Solution of the Riemann-Hilbert Problem: Provides a construction method for approximating the attachment of J-holomorphic disks to real tori on arbitrary dimensions based on gluing techniques (Theorem 5).
3. Technical Innovation: Establishes a multiple gluing version of the nonlinear Cousin problem (Theorem 4), applicable to non-compact families in $W^{1,p}$.
4. Application Results:
   • Regularization theorem for J-plurisubharmonic functions (Corollary 7)
   • Characterization of compact Psh_J-convex hulls via J-holomorphic disks (Corollary 8)
   • J-plurisubharmonicity of the Lelong functional envelope (Theorem 10)

Detailed Methodology

Task Definition

Core Concepts:

• Almost Complex Manifold $(M,J)$: $J$ is a $(1,1)$ tensor field satisfying $J^2 = -\text{Id}$
• J-holomorphic Disk: $v: D \to M$ satisfying $J(v(p)) \circ d_pv = d_pv \circ J_{st}(p)$
• Poisson Functional: For an upper semicontinuous function $f: M \to \mathbb{R} \cup \{-\infty\}$, $P_f(v) = \frac{1}{2\pi}\int_0^{2\pi} f(v(e^{it}))dt$
• Envelope: $E_{Pf}(p) = \inf\{P_f(v); v(0) = p\}$

Objective: Prove that $E_{Pf}$ is J-plurisubharmonic or identically $-\infty$.

Method Architecture

1. Local Newton-Type Iteration (§1.1)

In local coordinates, the J-holomorphicity equation is written as: $F(u) = u_{\bar{\zeta}} + A(u)u_\zeta = 0$

where $A(z)(w) = (J_{st} + J_{loc}(z))^{-1}(J_{loc}(z) - J_{st})(\bar{w})$ is a complex matrix.

Linearization Operator: Linearizing along a map $\phi \in W^{1,p}(\Delta, U)$ yields $D_\phi(V) = V_\zeta + A(\phi)V_\zeta + \sum_{j=1}^n \left(\frac{\partial A}{\partial z_j}(\phi)V_j + \frac{\partial A}{\partial \bar{z}_j}(\phi)\bar{V}_j\right)\phi_\zeta$

Key Properties:

• $D_\phi$ admits a bounded right inverse $Q_\phi$
• $D_\phi$ is locally Lipschitz continuous

LQ_J Condition (Definition 2): A family $W \subset W^{1,p}(\Delta, U)$ satisfies:

• There exists a uniform Lipschitz constant $L > 0$
• There exists a uniform right inverse bound $Q > 0$ such that $\|Q_\phi\|_{op} < Q$

Approximation Theorem (Corollary 3): If $W$ satisfies the LQ_J condition, then there exist $\rho, C > 0$ such that for $\|F(\phi)\|_{L^p} < \rho$ with $\phi \in W$, there exists a J-holomorphic map $u$ satisfying $\|u - \phi\|_{W^{1,p}} < C\|F(\phi)\|_{L^p}$

2. Nonlinear Cousin Problem (§1.2)

Local Version: Given two J-holomorphic disks $u_1 \in O_J(\Delta_1, U)$, $u_2 \in O_J(\Delta_2, U)$ that are $W^{1,p}$-close on $\Delta_1 \cap \Delta_2$, construct a glued J-holomorphic map through the pre-gluing map $\phi = \chi u_1 + (1-\chi)u_2$ and Newton iteration.

Global Version (Theorem 4): When $m$ disk families $W_j \subset O_{J_j}(\Delta_j, U_j)$ in different coordinate charts satisfy the LQ_ condition, they can be simultaneously glued to obtain a global J-holomorphic map, with the key being to perform $m+1$ synchronized Newton-type iterations.

3. Solution of the Riemann-Hilbert Problem (§2, Theorem 5)

Problem Setup: Given an embedding $v \in O_J(D, M)$ and a family $G(z, \zeta) = v_z(\zeta)$ (where $v_z$ is a J-holomorphic disk centered at $v(z)$), find a disk $h$ centered at $v(0)$ whose boundary approximately attaches to the torus $G(\partial D \times \partial D)$.

Key Technical Innovation:

1. Special Coordinate System: Construct local coordinates $\phi_j: V_j \to U_j$ such that:
   • $v(\zeta)$ corresponds to $u_j^0(\zeta) = (\zeta, 0, \ldots, 0)$
   • $G(z, \zeta)$ corresponds to $(\zeta, 0, \ldots, \zeta)$ (for $z \in I_j$)
   • Core Property: The last column of the complex matrix $A_j$ is zero, i.e., the fiber $\zeta \mapsto (z', \zeta)$ is J_j-holomorphic
2. Approximate Map Family: Define $\phi_j^{c,N}(\zeta) = (\zeta, 0, \ldots, 0, c \cdot h_j^N(\zeta))$ where $h_j^N(\zeta) = (h_j(\zeta))^N$, and $h_j$ is the Riemann map.
3. Verification of LQ_ Condition (Lemma 6): Prove that the family $\{\phi_j^{c,N}\}$ satisfies the LQ_ condition, crucially using:
   • Both $\|\phi_j - u_j^0\|_{L^p}$ and $\|(\phi_j)' - (u_j^0)'\|_{W^{1,p}}$ are small
   • The special structure with zero last column makes the perturbation of the linearization operator controllable
4. Gluing Construction:
   • Decompose $D$ as $\Delta_0 \cup \bigcup_{j=1}^m \Delta_j$ (m good pairs)
   • For each $\phi_j^{c,N}$, perform J_j-holomorphic approximation to obtain $u_j^{c,N}$
   • Apply Theorem 4 to glue and obtain a global J-holomorphic disk $h$

Technical Innovation Points

1. Construction of Special Coordinate System: Constructing coordinates with zero last column using deformation theory is the key to breaking through the high-dimensional barrier, which enables:
   • Controllable derivatives of approximate map families (only the $n$-th component derivative grows)
   • Establishment of uniform LQ_J conditions
2. LQ Condition for Non-Compact Families: Unlike the compact family assumption in 10, this paper directly verifies the LQ condition for $W^{1,p}$ non-compact families, requiring delicate operator norm estimates.
3. Multiple Synchronized Gluing: Simultaneously handle gluing of $m$ good pairs through synchronized Newton iteration to ensure global consistency.
4. Partial Attachment Strategy: Allow a small measure set $E$ on the boundary to not attach to the torus, which is a technical necessity but sufficient for applications.

Proof Strategy of Main Theorems (§3)

Proof Framework of Theorem 1

Objective: For any $p \in M$ and embedding $v_p \in O_J(D, V)$ (centered at $p$), prove $E_{Pf}(p) \leq \frac{1}{2\pi}\int_0^{2\pi} E_{Pf} \circ v_p(e^{i\theta})d\theta$

Steps:

1. Construction of Extremal Disk Family: For each $z' \in \partial D$, select an embedding $v_{z'} \in O_J(D, M)$ centered at $v_p(z')$ satisfying $\int_0^{2\pi} f \circ v_{z'}(e^{it})\frac{dt}{2\pi} < E_{Pf}(v_p(z')) + \frac{\varepsilon}{4\pi}$
2. Establishment of Special Coordinate Charts: Using deformation theory, for a finite cover $\{I_{z'_j}\}_{j=1}^m$ of $\partial D$, construct coordinates $\phi_{z'_j}$ satisfying the requirements of Theorem 5.
3. Definition of Torus Map: $G(z, \zeta) = v_z^{z'_j}(\chi(z)\zeta), \quad z \in J_{z'_j}$ where $\chi$ is a cutoff function equal to 1 on $I_{z'_j}$. Key inequality: $\int_0^{2\pi}\int_0^{2\pi} f \circ G(e^{i\theta}, e^{it})\frac{it}{2\pi}\frac{d\theta}{2\pi} < \int_0^{2\pi} E_{Pf} \circ v_p(e^{i\theta})\frac{d\theta}{2\pi} + \frac{\varepsilon}{2}$
4. Application of Riemann-Hilbert Solution: By Theorem 5, obtain $h \in O_J(D, M)$, $h(0) = v_p(0)$, and on $\partial D \setminus E$ (where $|E| < \varepsilon$), $\text{dist}(h, G(\partial D \times \partial D)) < \varepsilon$
5. Poletsky Technique: Using parametrization $h_j^N(e^{i\theta}) = e^{i\beta_N(\theta)}$ on $I_{z'_j}$, define $I(t) = \int_0^{2\pi} f \circ G(e^{i\theta}, e^{i(t+\beta_N(\theta))})\frac{d\theta}{2\pi}$ By the mean value theorem, there exists $\nu$ such that $I(\nu) = \int_0^{2\pi}\int_0^{2\pi} f \circ G(e^{i\theta}, e^{it})\frac{dt}{2\pi}\frac{d\theta}{2\pi}$
6. Conclusion: $E_{Pf}(p) \leq \int_0^{2\pi} f \circ h(e^{i\theta})\frac{d\theta}{2\pi} < I(\nu) + \frac{\varepsilon}{2} < \int_0^{2\pi} E_{Pf} \circ v_p(e^{i\theta})\frac{d\theta}{2\pi} + \varepsilon$

Application Results (§4)

1. Regularization of J-Plurisubharmonic Functions (Corollary 7)

Combining with work by Plís 18,19, obtain that J-plurisubharmonic functions on arbitrary dimensions can be approximated from above by smooth J-plurisubharmonic functions.

2. Characterization of Psh_J-Convex Hulls (Corollary 8)

For the Psh_J-convex hull $\hat{K}$ of a compact set $K$: $p \in \hat{K} \Leftrightarrow \forall \varepsilon > 0, \exists v \in O_J(\Delta, M), v(0) = p, |E| < \varepsilon: v(\partial\Delta \setminus E) \subset U$ where $U$ is any neighborhood of $K$.

3. Lelong Functional Envelope (Theorem 10)

The Lelong functional is defined as $L_\alpha(v) = \sum_{\zeta \in D} \alpha(v(\zeta))\log|\zeta|$ Prove that its envelope $E_{L_\alpha}$ is J-plurisubharmonic and equals the extremal function $f_\alpha = \sup\{f \in \text{Psh}_J(M); f \leq 0, \nu_f \geq \alpha\}$

Related Work

Historical Development

1. Complex Euclidean Space:
   • Poletsky 16,17: Pioneering work introducing disk functional envelope theory
   • Bu & Schachermayer 2: Approximation of Jensen measures
2. Complex Manifolds:
   • Lárusson & Sigurdsson 13,14: Generalization to complex manifolds
   • Rosay 20,21: Independent proof and development of disk theory
   • Drinovec Drnovšek & Forstnerič 5: Generalization to locally irreducible complex spaces
3. Almost Complex Manifolds (Low Dimension):
   • Coupet, Sukhov & Tumanov 3,23: Riemann-Hilbert problem in real dimension 4 (based on elliptic PDE methods)
   • Kuzman 12: Main theorem for complex dimension 2
   • Drinovec Drnovšek & Kuzman 7: Lelong functional (low dimension)
4. Related Techniques:
   • Bertrand & Kuzman 1: Approximation of locally non-holomorphic maps
   • Kuzman 10: Nonlinear Cousin problem
   • Ivashkovich & Rosay 9: Coordinate chart construction for embedded disks

Advantages of This Paper

1. Dimensional Breakthrough: First to solve the case of almost complex manifolds of arbitrary dimension
2. Technical Innovation: Develops a gluing-based solution method for the Riemann-Hilbert problem, avoiding dimensional restrictions of elliptic PDE methods
3. Unified Framework: Provides a method for verifying LQ conditions for non-compact families

Conclusion and Discussion

Main Conclusions

1. Proves the J-plurisubharmonicity of the Poisson functional envelope on almost complex manifolds of arbitrary dimension
2. Establishes the solution of the Riemann-Hilbert problem in arbitrary dimensions
3. Derives several important applications, including regularization theorems and convex hull characterizations

Limitations

1. Partial Attachment: In Theorem 5, the disk boundary attaches to the torus only on $\partial D \setminus E$ (where $|E|$ is small), not complete attachment
2. Smoothness Assumption: Requires the almost complex structure $J$ to be smooth
3. Embedding Requirement: Some constructions require disks to be embedded (guaranteed by Whitney theorem when real dimension ≥ 6)
4. Technical Complexity: Construction of special coordinate systems relies on deformation theory, with relatively complex verification

Future Directions

1. Complete Attachment Problem: Can one obtain complete boundary attachment in higher dimensions?
2. Weak Smoothness: Can the result be generalized to lower regularity almost complex structures?
3. Quantitative Estimates: Can one provide explicit estimates for the envelope function?
4. Application Extensions: Further applications in almost complex Stein theory, construction of complete holomorphic maps, etc.

In-Depth Evaluation

Strengths

1. Major Theoretical Breakthrough:
   • Solves an open problem in the field for over a decade (generalization to arbitrary dimensions)
   • Significant technical innovation, clever construction of special coordinate systems
2. Methodological Contribution:
   • The method for verifying LQ conditions for non-compact families has independent value
   • Multiple gluing techniques applicable to other construction problems
3. Clear Structure:
   • Well-organized paper with progression from local to global
   • Complete structure: technical preparation (§1), core construction (§2), main theorem proof (§3), applications (§4)
4. Rich Applications:
   • Not only proves the main theorem but derives multiple important corollaries
   • Complements work by Harvey, Lawson, Plís, and others

Weaknesses

1. Technical Complexity:
   • Existence of special coordinate systems relies on deformation theory with incomplete details
   • Lemma 6's proof, though crucial, is relatively technical
2. Non-Optimality of Results:
   • Partial rather than complete attachment may limit some applications
   • Existence of small measure set $E$ is a technical compromise
3. Lack of Examples:
   • No concrete computational examples on specific almost complex manifolds
   • Feasibility of special coordinate system construction not verified in concrete cases
4. Incomplete Comparison with PDE Methods:
   • Insufficient discussion of why elliptic PDE methods fail in high dimensions
   • Inadequate comparison of advantages and disadvantages of the two approaches

Impact

1. Theoretical Impact:
   • Completes the generalization of Poletsky disk theory to almost complex manifolds
   • Establishes foundations for potential theory on almost complex geometry
   • Expected to be widely cited in subsequent research
2. Technical Impact:
   • Development of gluing techniques will facilitate solution of other construction problems
   • LQ condition handling method has methodological value
3. Application Prospects:
   • Regularization theorem important for almost complex geometric analysis
   • Lelong functional result meaningful for singularity theory
   • Potential applications in symplectic geometry, contact geometry, and related fields

Reproducibility

• Theoretical Results: Clear logical proof, strong verifiability
• Technical Details: Partially relies on results from references 1,10,22, requiring reading related literature
• Computational Examples: Lacks concrete calculations; practical applications require further work

Applicable Scenarios

1. Almost Complex Geometry: Any research involving J-plurisubharmonic functions
2. Symplectic Geometry: Potential theory on symplectic manifolds (natural almost complex structure)
3. Holomorphic Mapping Theory: Construction of proper and complete holomorphic maps
4. Value Distribution Theory: Study of Lelong numbers and divisors
5. Geometric Analysis: Scenarios requiring variational methods and extremal problems

Key References

1 Bertrand & Kuzman (2018): Foundational techniques for local non-holomorphic map approximation 10 Kuzman (2021): Solution of nonlinear Cousin problem 12 Kuzman (2014): Main theorem for complex dimension 2 13,14 Lárusson & Sigurdsson (1998, 2003): Disk functional theory on complex manifolds 16,17 Poletsky (1991, 1993): Pioneering work on holomorphic currents and disk functionals 22 Sukhov & Tumanov (2012): Deformation theory of pseudoholomorphic disks

Overall Assessment: This is a high-quality mathematical research paper solving an important problem in several complex variables geometry. The technical innovation is significant and the results have foundational importance. Although certain technical details are complex, the overall logic is clear and the arguments rigorous. It will have lasting impact on almost complex geometry and related fields.