Immersed Adjunction Inequality in 4-Manifolds

• Immersed adjunction inequality is a topological bound linking the Euler characteristics of ramified tangent and normal bundles with the first Chern number of the pull-back complex structure.
• It employs the canonical Weyl connection and twistor geometry to extend classical minimal surface theory from Kähler to almost-Hermitian manifolds.
• The inequality characterizes equality cases via holomorphic immersions, revealing deep connections between surface topology and the complex geometry of the ambient space.

The immersed adjunction inequality provides a topological bound for branched Weyl-minimal immersions of closed oriented surfaces into conformal $4$–manifolds equipped with an almost-Hermitian structure and their canonical Weyl connection. Generalizing classical results for minimal surfaces in Kähler manifolds, this inequality establishes a precise relationship between the topological invariants of immersed surfaces and the complex geometry of the ambient manifold, with fine structure induced by the choice of the almost-complex structure.

1. Statement and Interpretation of the Inequality

Let $f:\Sigma\to M$ denote a weakly-conformal branched Weyl-minimal immersion of a closed oriented surface $\Sigma$ into a conformal $4$–manifold $(M,c,J)$ equipped with the canonical Weyl connection $D$. The immersed adjunction inequality asserts: $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$ where $\chi(\cdot)$ is the topological Euler characteristic of the (ramified) tangent bundle $T_f\Sigma$ and its orthogonal complement $N_f\Sigma$; $f:\Sigma\to M$0 is the pull-back of the $f:\Sigma\to M$1-holomorphic tangent distribution of $f:\Sigma\to M$2, and $f:\Sigma\to M$3 refers to its first Chern number. The sign is determined by the orientation choice: the "+" sign for the almost-complex structure $f:\Sigma\to M$4, and "–" for its conjugate $f:\Sigma\to M$5.

Branch points—isolated singularities where $f:\Sigma\to M$6 drops rank—are intrinsic to the branched setting, and the inequality remains valid for immersions with such singularities. The inequality provides a conformally invariant analogue of classical adjunction bounds for minimal immersions in standard Hermitian geometry (Ream, 2019).

2. Fundamental Definitions and Structures

The surface $f:\Sigma\to M$7 inherits the induced conformal class $f:\Sigma\to M$8, ramified tangent bundle $f:\Sigma\to M$9, and orthogonal normal bundle $\Sigma$0. The ambient manifold $\Sigma$1 is almost-Hermitian: $\Sigma$2 a conformal class of metrics, $\Sigma$3 an almost-complex structure. The canonical Weyl connection $\Sigma$4 is a torsion-free connection preserving $\Sigma$5, equivalent to a connection on the density bundle $\Sigma$6.

Given a local metric $\Sigma$7, the Weyl connection is realized as: $\Sigma$8 where $\Sigma$9 is the Lee form capturing the deviation of $4$0 from the Levi-Civita connection. The Weyl second fundamental form $4$1 for an immersion $4$2 is given by: $4$3 with $4$4 the classical second fundamental form; $4$5 is Weyl-minimal if $4$6. This condition is conformally invariant and specializes to classical minimality if $4$7 is exact.

The $4$8–holomorphic tangent bundle $4$9 is the subbundle of $(M,c,J)$0 spanned by vectors of type $(M,c,J)$1 for the almost-complex structure $(M,c,J)$2. Pulling this back via $(M,c,J)$3 yields a complex line bundle on $(M,c,J)$4 whose first Chern number is a key term in the inequality.

3. Twistor Geometry and Weyl-Minimality

The weightless twistor space $(M,c,J)$5 consists of the $(M,c,J)$6–bundle of self-dual ($(M,c,J)$7) or anti-self-dual ($(M,c,J)$8) 2-forms of unit length in the conformal metric. Using the Weyl connection $(M,c,J)$9, one constructs almost-complex structures $D$0 on $D$1. The Eells–Salamon-type correspondence furnishes a geometric representation:

"A weakly-conformal map $D$2 is Weyl-harmonic (i.e., Weyl-minimal and branched at isolated points) if and only if its twistor lift $D$3 is a non-vertical $D$4–holomorphic curve." (Ream, 2019)

This correspondence bridges the analytic properties of Weyl-minimal surfaces with holomorphic curve theory in twistor spaces, thus exporting topological inequalities into the twistor framework.

4. Sketch of Proof and Combinatorial Structure

Fixing a local holomorphic coordinate $D$5 on $D$6, with $D$7 spanning the antiholomorphic tangent, one expands: $D$8 with $D$9. The Weyl-harmonic equation $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$0 and properties of the canonical Weyl connection ($$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$1, $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$2 $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$3–anti-linear) yield: $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$4 where $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$5 and $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$6 involve the Nijenhuis tensor $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$7 of $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$8.

Applying the Bers–Vekua similarity principle, zeros of $$\chi\bigl(T_f\Sigma\bigr) + \chi\bigl(N_f\Sigma\bigr) \leq \pm c_1\bigl(f^*T^{(1,0)}M\bigr)$$9 and $\chi(\cdot)$0 have positive integer order; the total ramification $\chi(\cdot)$1, the number of anti-complex points $\chi(\cdot)$2, and complex points $\chi(\cdot)$3 are thus well-defined non-negative integers. The Riemann–Roch theorem and Koszul–Malgrange formulas provide

$\chi(\cdot)$4

Since $\chi(\cdot)$5, the adjunction bound follows.

5. Characterization of Equality and Holomorphic Cases

The inequality becomes an equality precisely when either $\chi(\cdot)$6 or $\chi(\cdot)$7 vanishes. $\chi(\cdot)$8 (respectively $\chi(\cdot)$9) indicates absence of positively oriented complex points (respectively anti-complex points), so $T_f\Sigma$0 is $T_f\Sigma$1–holomorphic (respectively $T_f\Sigma$2-holomorphic). These $T_f\Sigma$3–holomorphic curves are Weyl-minimal for the canonical Weyl connection and realize the adjunction bound with equality.

Such holomorphic curves are thus extremal for the immersed adjunction inequality, and their existence is tightly linked to the underlying complex and conformal geometry of $T_f\Sigma$4.

6. Relation to Classical Theory and Generalizations

If $T_f\Sigma$5 is exact—i.e., $T_f\Sigma$6 has a globally defined metric within the conformal class—Weyl-minimality reduces to classical minimality. The immersed adjunction inequality then recovers the well-known bounds of Eells–Salamon and Webster for minimal surfaces in Kähler $T_f\Sigma$7–manifolds.

In the almost-Kähler regime (closed Lee form, so $T_f\Sigma$8 exact on the universal cover), the result extends prior work by Chen–Tian, Ville, and Ma to the context of branched immersions. More generally, the inequality establishes that topological constraints on immersed minimal surfaces in $T_f\Sigma$9–manifolds admit a conformally invariant form by substituting Weyl-minimality and leveraging the canonical Weyl connection of an almost-Hermitian structure.

A plausible implication is the broader applicability of these topological bounds to settings beyond globally Kähler manifolds, hinging on conformal and almost-complex structures rather than strict integrability or metric exactness.

7. Topological and Geometric Consequences

The immersed adjunction inequality yields immediate global restrictions on the topology of Weyl-minimal surfaces in $N_f\Sigma$0–manifolds:

• It constrains the possible values of the Euler characteristic of ramified tangent and normal bundles relative to the geometry of the ambient manifold via its complex Chern numbers.
• The bound is sharp for holomorphic immersions, echoing adjunction-type results elsewhere in complex geometry.
• This suggests new avenues of inquiry in conformally invariant surface theory and opens connections to the study of holomorphic curves in generalized twistor spaces.

The established correspondence between branched Weyl-minimal surfaces and twistor holomorphic curves provides a geometric mechanism for translating analytic conditions into topological inequalities, generalizing the reach of adjunction principles across the broader category of almost-Hermitian $N_f\Sigma$1–manifolds (Ream, 2019).