REVIEW 3 major objections 5 minor 22 references
An adjunction inequality for Real embedded surfaces
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper proves that on 4-manifolds with a nonzero Real Seiberg-Witten invariant, Real embedded surfaces of nonnegative square satisfy the adjunction inequality $2g-2\geq |\langle c(s), [\Sigma]\rangle|+[\Sigma]^2$, and shows this can…
desk verdict Genuinely new representability theorem and important adjunction inequalities, but the analytic neck-stretching step is asserted rather than proved and the paper leans on a companion preprint; repairable and worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two pieces of machinery carry the argument. The first is the Real Seiberg-Witten moduli space: the usual Seiberg-Witten equations restricted to configurations fixed by an anti-linear lift of $\sigma$ to the spinor bundles, with a mod-2 invariant $SW_R(X,s)$ and an integral refinement $SW_{R,\mathbb{Z}}(X,s)$. The second is a neck-stretching limit: after blowing up repeatedly to reduce a Real surface $\Sigma$ to zero self-intersection, one stretches a long tubular neck around $\Sigma$; in the infinite-length limit a non-vanishing Real invariant produces a solution of the Seiberg-Witten equations on the unit circle bundle $Y$ of the normal bundle, where the spinor bundle has the form $\pi^*(E\otimes (N_\Sigma \oplus K_\Sigma^{-1}))$ and a solution is a circle-invariant tuple $(B,\alpha,\beta)$ satisfying $2F_B - F_{K_\Sigma} = i(|\alpha|^2-|\beta|^2)\mathrm{vol}_\Sigma$ together with holomorphic-type equations. Analysing these equations gives $0 \leq \deg E \leq 2g-2$, and translating back yields the adjunction bound.
What would settle it
Find a compact oriented Real 4-manifold with $b^+(X)^{-\sigma}>1$ and $SW_R(X,s)\neq 0$ that contains a Real embedded sphere $\Sigma$ with $[\Sigma]^2>0$, or a positive-genus Real surface with $2g-2<|\langle c(s),[\Sigma]\rangle|+[\Sigma]^2$; either would directly contradict Theorem 4.1. Concretely, on one of the explicit manifolds of Theorem 6.7, represent a class $u$ with $u^2=0$ by a Real sphere; the theorem predicts this is impossible, since every Real representative must have genus at least $1$.
Extended reading notes
Core claim
The paper's central claim is that non-vanishing of the Real Seiberg-Witten invariant is enough to impose the same kind of adjunction inequality that the ordinary invariant imposes, but in the equivariant context of surfaces reversed by an involution. Precisely, Theorem 4.1 states that if $b^+(X)^{-\sigma}>1$ and $SW_R(X,s)\neq 0$, then for any Real embedded surface $\Sigma$ of genus $g>0$ with $[\Sigma]^2\geq 0$, one has $2g-2 \geq |\langle c(s),[\Sigma]\rangle| + [\Sigma]^2$, and for genus zero one has $[\Sigma]^2\leq 0$. Theorem 5.1 gives the variant $2g\geq |\langle c(s),[\Sigma]\rangle|+[\Sigma]^2$ when the integral Real invariant is defined and non-zero and $\sigma$ does not act freely on $\Sigma$. The constructive part shows the bound is sharp enough to separate Real from ordinary minimal genus: on $\#_a \mathbb{CP}^2 \#_b \overline{\mathbb{CP}}^2$ (with $a\geq 4$, $b\geq a+17$) and on $\#_a(S^2\times S^2)\#_b K3$ (with $a,b\geq 1$) there is an involution such that every class of non-negative square is represented by an ordinary surface of genus at most $u^2/2$, whereas every Real surface representing it has genus at least $u^2/2+1$.
Load-bearing premise
The load-bearing assumption is that as the cylindrical neck around the surface is stretched to infinite length, a sequence of solutions to the Real Seiberg-Witten equations converges to a genuine solution on the unit circle bundle of the normal bundle, with no bubbling singularities and with the same circle-invariant spinor structure that the model uses.
Editorial extensions
If this is right
- A class of non-negative square in a Real 4-manifold with non-vanishing Real Seiberg-Witten invariant cannot be represented by a Real sphere; if the involution is non-free and the class is non-torsion, its square must actually be negative.
- The inequality gives a universal lower bound $g_{\mathrm{min}}^R(u)\geq u^2/2+1$ for non-torsion classes with $u^2\geq 0$ on the manifolds covered by Theorem 6.2.
- On the specific connected sums of Theorem 6.7, the Real minimal genus is at least one larger than the ordinary minimal genus for every admissible class of non-negative square.
- The lift criterion answers the representability question completely: classes in the image of $H^2_{\mathbb{Z}_2}(X;\mathbb{Z}_-)\to H^2(X;\mathbb{Z})$ are exactly the Real-representable classes, and when $b_1(X)=0$ with non-free $\sigma$ this is the anti-invariant lattice $\{\alpha \mid \sigma^*\alpha=-\alpha\}$.
- For negative self-intersection, the integral Real invariant yields $2g\geq |\langle c(s), [\Sigma]\rangle|+[\Sigma]^2$ without assuming simple type, so the bound is uniform across all self-intersection signs.
Reading between the lines
- Read as a constraint on the quotient orbifold $X/\sigma$, the inequality should bound the genus of surfaces in the quotient by the same formula with effective divisors; verifying this on real algebraic surfaces would give a check outside gauge theory.
- The connected-sum non-vanishing suggests that the Real invariant can behave like a Floer-theoretic input for families; one could try to derive analogous bounds for surfaces in $S^1$-family or equivariant settings by replacing $H^2_{\mathbb{Z}_2}$ with higher Borel-equivariant classes.
- Because the existence criterion is a pure cohomological lift, one can compute Real representability algorithmically from the Borel spectral sequence; a natural test is to tabulate the Real minimal genus for the explicit manifolds of Theorem 6.7 and compare with the adjunction bound.
- The sharp gap of exactly one genus unit in Theorem 6.7 may be inherited by stabilisations, so blowing up repeatedly should keep the Real bound one above the ordinary bound for the same class; this would be a direct check of the blowup formula.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Real embedded surfaces in an oriented 4-manifold with an orientation-preserving involution sigma. Its first main result, Theorem 2.3, characterizes the cohomology classes representable by Real surfaces as exactly the image of the forgetful map from equivariant cohomology H^2_{Z_2}(X;Z_-), with a concrete description in Theorem 2.6 when b_1(X)=0. The second main result, Theorem 4.1, asserts an adjunction inequality for Real surfaces under a non-vanishing Real Seiberg-Witten invariant: for genus g>0 and non-negative self-intersection, 2g-2 >= |<c(s),[Sigma]>| + [Sigma]^2, with a genus-zero version. Theorem 5.1 gives a version for arbitrary self-intersection using the integral Real invariant and a connected-sum trick with a real algebraic hypersurface. Section 6 constructs explicit 4-manifolds, such as #a CP^2 # b CP^2-bar and #a(S^2 x S^2) # b K3, on which the Real minimal genus is shown to be strictly larger than the ordinary minimal genus. The proof of Theorem 4.1 proceeds by stretching the neck around the surface and studying the limiting Seiberg-Witten solution on the unit circle bundle of the normal bundle, following the Mrowka-Ozsvath-Yu vortex analysis.
Significance. If the gauge-theoretic steps can be supplied, this would be a valuable contribution: it gives a clean algebraic criterion for Real representability, a new adjunction inequality that can apply on connected sums where ordinary Seiberg-Witten invariants vanish, and explicit examples separating Real minimal genus from ordinary minimal genus. Section 2 is the strongest part of the paper: Theorem 2.3, Theorem 2.6, and Proposition 2.9 are coherent and essentially self-contained, and the Borel spectral sequence computations are transparent. The paper also makes honest, explicit use of its main external input, the author's preprint [3], rather than hiding it. However, the central analytic step in Theorem 4.1, the equivariant neck-stretching limit, is asserted rather than proved, and the displayed vortex equations in that passage have sign and bundle-convention inconsistencies. These issues are load-bearing for the adjunction inequality.
major comments (3)
- [Section 4, proof of Theorem 4.1] The proof contains the assertion that, because SW_R(X,s) is non-zero, there is a solution to the Real Seiberg-Witten equations for every stretched metric g(L), connection nabla(L), and zero perturbation, and that letting L tend to infinity a 'standard neck-stretching argument [9,17]' produces a solution on the unit circle bundle Y satisfying the Mrowka-Ozsvath-Yu vortex equations. This is not established. The invariant SW_R(X,s) is defined in Section 3 using a generic sigma-anti-invariant self-dual perturbation eta; zero perturbation is not generic, so non-vanishing of SW_R(X,s) does not by itself imply existence of solutions at zero perturbation for every L. Furthermore, [9] and [17] are ordinary, non-equivariant compactness results; citing [17, Section 4] for compactness in the Real setting does not supply an equivariant compactness theorem. One needs a proof that a sequence of Real solutions subconverges to a sigma_Y-invariant solution on Y, and that the limit satisfies the appropriate Real version of the vortex equations from [14, Section 5]. Without such a result, the bounds 0 <= e <= 2g-2, and hence the adjunction inequality, are unsupported.
- [Section 4, vortex equation passage] The displayed vortex equation '2F_B - F_{K_Sigma} = i(|alpha|^2 - |beta|^2) vol_Sigma' is inconsistent with the inequalities drawn from it. Integrating this equation in the case alpha=0 gives e < g-1, not the claimed g-1 < e <= 2g-2. Moreover, beta was previously described as a section of E tensor N_Sigma tensor K^*_Sigma, while the asserted upper bound e <= 2g-2 would require beta to be a holomorphic section of K_Sigma tensor N^*_Sigma tensor E^*. The sign convention and the bundle conventions in this passage must be corrected before the derived bounds 0 <= e <= 2g-2 can be accepted; as written, the key upper bound does not follow from the displayed system.
- [Section 3 and Section 6] Several results that are load-bearing for the paper's main theorems are quoted from the author's own preprint [3] (arXiv:2504.00281) without proof or a published reference: the blowup formula (Proposition 3.1), the non-vanishing criterion from odd ordinary Seiberg-Witten invariants (Proposition 3.2), the connected sum formula (Proposition 3.3), and the admissibility/non-vanishing input used in Theorem 6.2 and Propositions 6.4 and 6.5. Since [3] is a preprint rather than a refereed publication, the present paper's main applications rest on an external dependency. The author should either provide proofs of these statements here, or the paper should be revised to cite refereed sources and to state precisely which parts of [3] are being used.
minor comments (5)
- [Title] The title appears as 'SURF ACES' in the running header; this typographical artifact should be fixed.
- [Section 3, before Proposition 3.3] The text has 'Seibeg-Witten' where 'Seiberg-Witten' is intended.
- [Section 4, proof of Theorem 4.1] The phrase 'if sigma acts non-freely on sigma' should read 'if sigma acts non-freely on Sigma'.
- [Proposition 3.1 proof] In the non-fixed blowup case, the symbol g is used in |deg(f')| = |deg(f)| |deg(g)| without definition; this should presumably be h, the Bauer-Furuta invariant introduced earlier in the proof.
- [Section 6, Proposition 6.8 proof] The word 'exsits' should be 'exists'.
Circularity Check
No circularity found: the adjunction inequality is derived from non-vanishing Real Seiberg-Witten invariants via an external vortex-equation analysis, not from its own conclusion.
full rationale
The central derivation in Theorem 4.1 is not equivalent to its inputs. The proof begins with SW_R(X,s) nonzero and, after stretching the neck, invokes the Mrowka-Ozsvath-Yu vortex system on the circle bundle Y, quoting equations from [14, Section 5]. The bound 0 <= e <= 2g-2 is then obtained from those equations and the identity <c(s),[Sigma]> = 2e + 2 - 2g. This is a genuine reduction from the gauge-theoretic input to the adjunction inequality, not a renaming or a fitted parameter relabeled as a prediction. The blowup reduction for positive self-intersection uses Proposition 3.1, which is imported from the author's earlier work [3]; that is a self-citation, but it is ordinary cited mathematics and is not used to define the target inequality. Similarly, the nonvanishing results used in the examples (Theorem 6.2 and Propositions 3.2-3.3) cite [3] for the Real Seiberg-Witten blowup and connected sum formulas; even if those citations were disputed, the failure would be an unsupported auxiliary result, not circularity. The only substantial gap is the assertion in Section 4 that 'a standard neck-stretching argument [9,17] implies' convergence to a solution on Y, and that the limiting solution has the stated form; this is an omitted analytic compactness proof and a correctness risk, not a circular step, because the limiting vortex system is not the adjunction inequality and the paper does not assume the inequality to obtain it. No equation in the paper is defined in terms of the conclusion it is used to prove, and no fitted quantity is renamed as a prediction. Accordingly, the paper is not circular.
Assumptions & free parameters
assumptions (6)
- domain assumption The Real Seiberg-Witten invariants SW_R and SW_{R,Z} exist and satisfy the blowup formula, the connected sum formula, and the admissible-pair non-vanishing criteria as quoted from the author's companion preprint [3] and prior literature [16, 20].
- domain assumption The neck-stretching limit for the Real Seiberg-Witten equations produces a limit solution on the circle bundle Y whose Reeb-invariant form matches Mrowka-Ozsvath-Yu [14, Section 5].
- domain assumption Finiteness of Real basic classes: for a fixed Real 4-manifold W', SW_R(W', t) is non-zero for only finitely many Real spinc-structures t.
- standard math Wall's theorems: the natural map from the diffeomorphism group to the automorphism group of the intersection form is surjective, and the orbit of a class is determined by divisibility, norm, and ordinary/characteristic type.
- standard math Gross-Harris classification of orientation-reversing involutions on a closed surface by the pair (n, a) with the stated parity conditions.
- standard math Borel spectral sequence computations for H^*_{Z2}(X; Z_-): the description of the image in H^2(X; Z), the vanishing of differentials into the q=0 row when sigma has a fixed point, and the computation of H^2_{Z2}(Sigma; Z_-) in Proposition 2.9.
Cite this review
Pith. "Pith review of An adjunction inequality for Real embedded surfaces." pith.science (2026). https://pith.science/paper/S5C5NFSU
@misc{pith2026250705667,
author = {Pith},
title = {Pith review of: An adjunction inequality for Real embedded surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/S5C5NFSU}},
note = {Machine review of arXiv:2507.05667}
}
abstract
A Real structure on a $4$-manifold $X$ is an orientation preserving smooth involution $\sigma$. We say that an embedded surface $\Sigma \subset X$ is Real if $\sigma$ maps $\Sigma$ to itself orientation reversingly. We prove that a cohomology class $u \in H^2(X ; \mathbb{Z})$ can be represented by a Real embedded surface if and only if $u$ can be lifted to a class in equivariant cohomology $H^2_{\mathbb{Z}_2}(X ; \mathbb{Z}_-)$. We prove that if the Real Seiberg--Witten invariants of $X$ are non-zero then the genus of Real embedded surfaces in $X$ satisfy an adjunction inequality. We prove two versions of the adjunction inequality, one for non-negative self-intersection and one for arbitrary self-intersection. We show with examples that the minimal genus of Real embedded surfaces can be larger than the minimal genus of arbitrary embedded surfaces.
Reference graph
Works this paper leans on
-
[3]
Baraglia, Exotic embedded surfaces and involutions from Real Seiberg–Witten theory
D. Baraglia, Exotic embedded surfaces and involutions from Real Seiberg–Witten theory. arXiv:2504.00281 (2025)
arXiv 2025
-
[9]
P. B. Kronheimer, T. S. Mrowka, The genus of embedded surfaces in the projective plane. Math. Res. Lett.1(1994), no. 6, 797-808
work page 1994
-
[17]
P. Ozsv´ ath, Z. Szab´ o, The symplectic Thom conjecture.Ann. of Math.(2)151(2000), no. 1, 93-124
work page 2000
-
[1]
M. F. Atiyah, R. Bott, A Lefschetz fixed point formula for elliptic complexes. II. Applications. Ann. of Math.(2)88(1968), 451-491
work page 1968
-
[2]
Baraglia, Constraints on families of smooth 4-manifolds from Bauer-Furuta invariants
D. Baraglia, Constraints on families of smooth 4-manifolds from Bauer-Furuta invariants. Algebr. Geom. Topol.21(2021) 317-349
2021
-
[4]
New invariants of involutions from Seiberg-Witten Floer theory
D. Baraglia, P. Hekmati, New invariants of involutions from Seiberg–Witten Floer theory. arXiv:2403.00203 (2024)
work page Pith review arXiv 2024
-
[5]
R. Fintushel, R. Stern, Immersed spheres in 4-manifolds and the immersed Thom conjecture. Turkish J. Math.19(1995), no. 2, 145-157
work page 1995
-
[6]
B. H. Gross, J. Harris, Real algebraic curves.Ann. Sci. ´Ecole Norm. Sup.(4)14(1981), no. 2, 157-182
work page 1981
Show all 22 references
-
[7]
Kato, Nonsmoothable actions ofZ 2 ×Z2 on spin four-manifolds.Topology Appl.307(2022), Paper No
Y. Kato, Nonsmoothable actions ofZ 2 ×Z2 on spin four-manifolds.Topology Appl.307(2022), Paper No. 107868, 13 pp
2022
-
[8]
Konno, J
H. Konno, J. Miyazawa, M. Taniguchi, Involutions, links, and Floer cohomologies.J. Topol. 17(2024), no. 2, Paper No. e12340, 47 pp
2024
-
[10]
Lawson, The minimal genus problem.Exposition
T. Lawson, The minimal genus problem.Exposition. Math.15(1997), no. 5, 385-431
1997
-
[11]
Li, Monopole Floer homology and real structures
J. Li, Monopole Floer homology and real structures. arXiv:2211.10768 (2022)
2022 arXiv
-
[12]
Miyazawa, A gauge theoretic invariant of embedded surfaces in 4-manifolds and exotic P 2-knots
J. Miyazawa, A gauge theoretic invariant of embedded surfaces in 4-manifolds and exotic P 2-knots. arXiv:2312.02041 (2023)
2023 arXiv
-
[13]
Miyazawa, J
J. Miyazawa, J. Park, M. Taniguchi, A satellite formula for real Seiberg-Witten Floer homo- topy types. arXiv:2504.03270 (2025)
2025 arXiv
-
[14]
Mrowka, P
T. Mrowka, P. Ozsv´ ath, B. Yu, Seiberg-Witten monopoles on Seifert fibered spaces.Comm. Anal. Geom.5(1997), no. 4, 685-791
1997
-
[15]
Nakamura,P in −(2)-monopole equations and intersection forms with local coefficients of four-manifolds.Math
N. Nakamura,P in −(2)-monopole equations and intersection forms with local coefficients of four-manifolds.Math. Ann.357(2013), no. 3, 915-939. AN ADJUNCTION INEQUALITY FOR REAL EMBEDDED SURF ACES 25
2013
-
[16]
Nakamura,P in−(2)-monopole invariants.J
N. Nakamura,P in−(2)-monopole invariants.J. Differential Geom.101(2015), no. 3, 507-549
2015
-
[18]
Stieglitz, Equivariant sheaf cohomology.Manuscripta Math.26(1978/79), no
A. Stieglitz, Equivariant sheaf cohomology.Manuscripta Math.26(1978/79), no. 1-2, 201-221
1978
-
[19]
Ruberman, The minimal genus of an embedded surface of non-negative square in a rational surface.Turkish J
D. Ruberman, The minimal genus of an embedded surface of non-negative square in a rational surface.Turkish J. Math.20(1996), no. 1, 129-133
1996
-
[20]
G. Tian, S. Wang, Orientability and real Seiberg-Witten invariants.Internat. J. Math.20 (2009), no. 5, 573-604
2009
-
[21]
C. T. C. Wall, On the orthogonal groups of unimodular quadratic forms.Math. Ann.147 (1962), 328-338
1962
-
[22]
C. T. C. Wall, Diffeomorphisms of 4-manifolds,J. London Math. Soc.39(1964) 131-140. School of Mathematical Sciences, The University of Adelaide, Adelaide SA 5005, Australia Email address:david.baraglia@adelaide.edu.au
1964
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.