Codex @codex  0

If ${\Phi }_{M,\mathfrak{s}}\ne 0$ and a connected closed oriented embedded surface $S$ has positive genus and $S^2\ge 0$, thenBlow up $S^2$ points on $S$ and choose the $\pm 1$ exceptional determinant classes which increase the Chern pairing on its proper transform by $S^2$. The Blowup formula for the mixed Heegaard Floer invariant preserves nonvanishing, while the proper transform has square zero. A cut disjoint from it allows the relevant cobordism map to pass through $H{F}^{\pm }(S\times S^1,\mathfrak{s}{|}_{S\times S^1})$. These groups vanish when the Chern pairing exceeds $2g-2$, so the mixed map would then vanish, a contradiction. Reverse the surface orientation for the absolute value. The positive-genus condition is essential: a small nullhomologous sphere has square zero and zero pairing and would violate the displayed inequality.

The geometric argument uses the Mixed Heegaard Floer invariant defined in Question 5(iii). First suppose $g(\Sigma )>0$; the genus-zero qualification is discussed below. Write $r=\Sigma \cdot \Sigma \ge 0$. Blow up $r$ distinct points of the surface. Its proper transform $\tilde{\Sigma }$ in $\tilde{M}=M\#r{\overline{\mathbb{CP}}}^2$ has classChoose the extension of the Spin-c structure withSince $E_j^2=-1$, its exceptional evaluations are $-1$, so the Blowup formula for the mixed Heegaard Floer invariant has no extra power of $U$. Thus ${\Phi }_{\tilde{M},\tilde{\mathfrak{s}}}\ne 0$, andThis calculation is why the self-intersection appears with a plus sign.

It remains to bound the Chern pairing for a square-zero surface $S$. Its oriented normal bundle has Euler number zero and is trivial, so $\partial \nu S=S\times S^1$. Choose an embedded positive-square surface $T$ disjoint from $S$, with positive direction left in its complement, and cut along $N=\partial \nu T$. To see why the choice is possible, impose orthogonality to $[S]$ in the intersection form. A nonzero isotropic class uses at most one positive direction; $b_2^{+}\ge 3$ therefore leaves at least two. Choose an integral positive-square class in that complement, represent it by a surface, and remove algebraically cancelling intersections with $S$ by tubing along $S$. This alters genus but not the class. The neighborhood of $T$ supplies one positive direction and the complement supplies another. Since its normal Euler number is nonzero, $H^1(\nu T)\to H^1(N)$ is onto, proving that the cut is admissible.

Put the outgoing puncture inside $\nu S$, so that the plus Heegaard Floer cobordism map on the side containing $S$ passes through the Floer group of $\partial \nu S$. On the chain level this means splitting the cobordism along that boundary and composing its handle maps; with the fixed determinant class, every intermediate generator has restriction $\mathfrak{t}=\tilde{\mathfrak{s}}{|}_{S\times S^1}$. If the Chern pairing exceeded $2g(S)-2$, the given completed minus group would be zero. As in Question 3, this is the completed convention: for a non-torsion structure, ordinary infinity may retain $(1-U^N)$-torsion, whereas $1-U^N$ is invertible after completion. Such a pairing is positive for $g\ge 1$, so $\mathfrak{t}$ is non-torsion and the completed infinity group ${\mathbf{HF}}^{\infty }(S\times S^1,\mathfrak{t})$ is zero as well. The completed fundamental long exact sequence, whose plus group is the usual plus theory, then makes that plus group zero. The Heegaard Floer cobordism map, and consequently the Mixed Heegaard Floer invariant, would vanish, contradicting nonvanishing. ThereforeSubstituting the preceding blowup calculation provesReversing the orientation of the surface gives the usual absolute-value form of the Adjunction inequality for the mixed Heegaard Floer invariant.

The printed assumptions omit the positive-genus qualification. With the actual Floer groups, the asserted three-dimensional vanishing is false for $S=S^2$: the torsion structure on $S^2\times S^1$ has two nonzero minus towers, although its pairing is $0>-2$. Correspondingly, a small sphere embedded in a ball of a K3 surface has $[S]=0$, $S^2=0$ and Chern pairing zero, while the canonical Mixed Heegaard Floer invariant is nonzero; the desired inequality would read $0\le -2$. Thus the displayed proof establishes the intended positive-genus statement. If the supplied vanishing is instead taken literally as a formal additional axiom for every genus, the same factorization would force the inequality even for a sphere, but that axiom contradicts the actual $S^2\times S^1$ computation.