REVIEW 2 major objections 4 minor 38 references
Cohomologous symplectic forms with different Gromov widths
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Cohomologous symplectic forms can have different Gromov widths.
desk verdict A clean answer to two open problems via a clever transplant of a symplectic class from a rational model to an exotic 4-manifold, then stabilizing; the proof is sound and the main stress-test worry dissolves on close reading. 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
The construction is carried by three pieces working together. A classification theorem for simply-connected torsion-free 6-manifolds lets an intersection-form-preserving isomorphism $H^2(X')\to H^2(X)$ be realized by an orientation-preserving diffeomorphism $X\times S^2\to X'\times S^2$, so a form on the rational model $X'=\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$ can be pulled back to a cohomologous form on $X\times S^2$. On the exotic side, Corollary 2.4—a width formula from a ball-packing theorem in dimension 4—gives $w_G(X,\omega_X)=\sqrt{[\omega_X]^2}$ because $X$ is not of SW-simple type and not rational or ruled; once the $S^2$ factor has large area, the product form has width at least $\sqrt{[\omega']^2}$. The key point here is that every exceptional sphere class of the non-minimal $X$ has first Chern number 1, so blowing them down reaches the unique minimal model. On the rational side, the paper produces a uniruled class $A$ (a class with a non-trivial genus-zero Gromov-Witten invariant with a point constraint) with $A^2=0$ and $\omega'(A)<\sqrt{[\omega']^2}$; the standard width bound for uniruled classes plus the fact that $A$ lifts to the product gives the upper bound for the transported form. The strict inequality between these bounds is the width gap, and the Chern-class difference follows from the sign of $[\omega_X]\cdot K_{\omega_X}$ combined with a theorem that excludes such signs on non-rational, non-ruled 4-manifolds.
What would settle it
On a concrete candidate, say $X$ homeomorphic but not diffeomorphic to $\mathbb{CP}^2\#2\overline{\mathbb{CP}}^2$, compute the Gromov widths of the two forms on $X\times S^2$; a symplectic embedding of a 6-ball whose area exceeds the claimed upper bound, or an equality of the two widths, would refute the claim. More directly, exhibiting a non-rational, non-ruled symplectic 4-manifold with an exceptional sphere of Chern number not equal to 1 would break the width formula on which the lower bound rests.
Extended reading notes
Core claim
The central claim is Theorem 1.3: for any symplectic 4-manifold $X$ homeomorphic but not diffeomorphic to $\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$ with $k\geq 1$, there are symplectic forms $\omega_X$ on $X$ and $\omega_{S^2}$ on $S^2$ such that the 6-manifold $M=X\times S^2$ has a symplectic form cohomologous to $\omega_X\oplus\omega_{S^2}$ with strictly smaller Gromov width; the two cohomologous forms also have different first Chern classes (the characteristic class $c_1$ of the tangent bundle). Because explicit exotic 4-manifolds homeomorphic to $\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$ are known for every $k\geq 2$, all smooth 6-manifolds $(\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2)\times S^2$ admit such pairs, and taking further products with copies of $(S^2,\omega_{S^2})$ produces the same phenomenon in every dimension at least 6. The paper also points to a distinct route for the Chern-class question: forms on $K3\times S^2$ built from homotopy $K3$ surfaces have different first Chern classes among cohomologous forms, so the Chern-class failure is not tied only to the width construction.
Load-bearing premise
The load-bearing assumption is the exact width formula for these 4-manifolds: every exceptional sphere behaves like a standard blow-up class, so $w_G(X,\omega)=\sqrt{[\omega]^2}$; if some exceptional sphere behaved differently, the lower width bound could fail and the two widths could end up equal.
Editorial extensions
If this is right
- For every $k\geq 2$, the smooth 6-manifold $(\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2)\times S^2$ admits cohomologous symplectic forms with different Gromov widths and different first Chern classes.
- Taking further products with copies of $(S^2,\omega_{S^2})$ gives such pairs in every dimension at least 6.
- The open question about whether a closed manifold can carry cohomologous symplectic forms with different Gromov widths is settled: it can.
- The related first-Chern-class question is also settled: a fixed 6-manifold can carry cohomologous symplectic forms whose first Chern classes differ, and a separate $K3\times S^2$ construction reaches the same conclusion.
- Rational and ruled 4-manifolds do not exhibit the width phenomenon: cohomologous forms there are symplectomorphic, so the width difference is tied to the exotic or otherwise non-rational side.
Reading between the lines
- The theorem is stated for 4-manifolds homeomorphic to $\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$, but the width formula it uses is broader; a natural test is whether other non-rational, non-ruled 4-manifolds not of SW-simple type give the same stabilization phenomenon.
- The upper bound comes from a uniruled fiber class on the rational model, so replacing the $S^2$ factor by another symplectic manifold carrying a uniruled class is a plausible way to obtain analogous width gaps in other stabilized products.
- The proof does not compute the maximal possible width gap or the threshold on the area of the $S^2$ factor; determining how much smaller the second width can be made is a quantitative question left open.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies McDuff-Salamon's Problem 46 and Salamon's Discussion 4.6. The main result (Theorem 1.3) states that for any symplectic 4-manifold X homeomorphic but not diffeomorphic to CP^2#kCP^2 with k≥1, there is a symplectic form ωX on X and a form ωS2 on S2 such that the 6-manifold X×S2 carries two cohomologous symplectic forms ωX⊕ωS2 and f^*(ω'⊕ωS2) with different Gromov widths and different first Chern classes. The proof combines Li-Liu's symplectic cone theorem, Biran's ball-packing formula, a uniruled-class upper bound from Gromov, and Jupp's 6-manifold classification to transplant the comparison from a rational manifold. The paper also remarks that K3×S2 gives examples for the Chern-class question.
Significance. If the proof is correct, this appears to be the first affirmative answer to Problem 46 in dimension at least 6 and to Salamon's Chern-class question, both of which have been open for some time. The construction is elegant and largely assembles published theorems: Li-Liu's symplectic cone, Biran's packing theorem, Gromov's uniruled width bound, and Jupp's classification. The main new input, Proposition 2.9, is a period computation for rational 4-manifolds that is explicit and checkable. The width comparison is falsifiable and the examples are concrete. The paper is not machine-checked, but the cited tools are appropriate and the steps are standard; no circularity is apparent.
major comments (2)
- [Section 2.4, Proposition 2.9] The displayed identity in the proof of Proposition 2.9 is algebraically incorrect: from [ω]^2−(ω(A))^2 = a^2−Σ b_i^2−(a−b1)^2, the right-hand side is 2b1(a−b1)−Σ_{i=2}^k b_i^2, not 2b1(1−b1)−Σ_{i=2}^k b_i^2. As printed, the subsequent inequality and positivity claim do not follow. The intended computation is clear from the reduced condition a≥b1+b2+b3, and the proposition is salvageable, but the equation must be corrected.
- [Section 2.3, Corollary 2.4] The deduction that d'_ω=∞ for non-minimal non-rational or ruled manifolds is compressed and notationally delicate. Since E'_ω is defined as pr(E_tildeω)\setminus{0} with E_tildeω the set of symplectically exceptional classes, the one-point blowup contributes a new exceptional class whose projection is zero, while the projections of the old classes are exactly E_ω and each has c1(E)=1, so the denominator c1(B)−1 vanishes. If a reader instead reads E'_ω as coming from the smooth exceptional set E_tildeX, the classes −E_i would appear and d'_ω would be finite, destroying the lower bound in Theorem 1.3. The proof should state this explicitly to prevent the misreading, since this step is load-bearing.
minor comments (4)
- [Section 2.3, definition of d'_ω] In the definition of d'_ω, the case c1(B)=1 should be explicitly interpreted as +∞ so that the quotient ω(B)/(c1(B)−1) is unambiguous.
- [Section 4, lower bound step] The line 'Since ωS2 has large enough area, we see that wG(X×S2,ωX⊕ωS2) ≥ sqrt([ω']^2)' is terse; it would be clearer to say that a 4-ball in X of area arbitrarily close to sqrt([ω']^2) embeds, and its product with a sufficiently large 2-ball in S2 gives a 6-ball embedding into X×S2.
- [Throughout] There are several typos: 'Fianlly' in Section 4, 'J-holomoprhic' in Remark 2.11, and 'vanishi' in the final paragraph.
- [Section 2.2, discussion after Theorem 2.2] The invocation of the light cone lemma is implicit; adding a one-sentence statement of the lemma would help the reader verify that a∈C_{K+}∪C_{K-}.
Circularity Check
No significant circularity: the derivation chains through external published theorems (Li-Liu, Biran, Jupp, Gromov, Liu-Ohta-Ono) and does not fit parameters or define its conclusions into its hypotheses.
full rationale
The paper's central construction in Theorem 1.3 proceeds by applying externally proven results to a new product manifold X x S^2. The lower Gromov width bound uses Biran's ball-packing theorem (Theorem 2.3) together with Li's identity (1) for exceptional classes; the upper bound uses Gromov's uniruled class width bound and a lifting proposition from Li-Ruan. The diffeomorphism between X x S^2 and X' x S^2 is supplied by Jupp's classification and Wall's h-cobordism result. The final Chern-class contradiction invokes Liu-Ohta-Ono's theorem. None of these ingredients is defined in terms of the target conclusion, and no parameter is fitted to then be renamed as a prediction. The author's advisor Tian-Jun Li appears among the cited authors (e.g., Li-Liu, Li 99), but those cited results are independent published theorems with their own proofs; they are not outputs of this paper and are not invoked as unverified self-supplied assumptions. A possible concern that Biran's d'_omega may not be infinite for non-minimal non-rational/ruled manifolds is a correctness risk about the interpretation of exceptional classes, not a circularity: even if Corollary 2.4 were wrong, the error would be a misapplication of an external theorem rather than a reduction of the conclusion to an assumed equivalent statement. Therefore the derivation chain is self-contained against external benchmarks and no circular step is present.
Assumptions & free parameters
free parameters (1)
- Area of the S2 factor (and extra sphere factors) =
not fixed; chosen sufficiently large
assumptions (8)
- domain assumption Li and Liu's symplectic cone theorem [LL01, Theorem 2.2]: for b2+=1, C_K = {a in the forward cone with a·E > 0 for all E in E_K}, and membership in C_{K+} ∪ C_{K-} for classes positive on exceptional classes.
- domain assumption Biran's ball packing theorem [Bir97] and its Corollary 2.4: for 4-manifolds not of SW-simple type and not rational or ruled, wG(X,ω) = sqrt([ω]^2).
- domain assumption Li's exceptional sphere theorem [Li99, Cor 3]: for blowups of non-rational or ruled minimal 4-manifolds, symplectic exceptional classes are exactly the line classes.
- domain assumption Jupp's classification [Jup73] via Wall h-cobordism and Smale: an isometry φ extending to the product cohomology is realized by an orientation-preserving diffeomorphism of X times S2.
- domain assumption Gromov's uniruled bound [Gro85, Thm 2.8] and Li-Ruan lifting [LR13, Prop 2.10]: a uniruled class A caps the Gromov width and remains uniruled after product with S2.
- domain assumption Liu-Ohta-Ono theorem [Liu96, OO96]: a symplectic 4-manifold with b2+=1 and [ω]·K_ω < 0 is rational or ruled.
- domain assumption Existence of symplectic 4-manifolds X homeomorphic but not diffeomorphic to CP2#kCP2 for k at least 2, as cited from Kotschick, Park, Stipsicz-Szabo, Reyes-Urzua, Akhmedov-Park, Baldridge-Kirk.
- domain assumption Salamon's symplectic deformation results [Sal13, Examples 3.9 and 3.10] certify that the exceptional sphere areas b5,...,bk can be made arbitrarily small by deformation on CP2#kCP2.
Cite this review
Pith. "Pith review of Cohomologous symplectic forms with different Gromov widths." pith.science (2026). https://pith.science/paper/E6PVKCP7
@misc{pith2026250509550,
author = {Pith},
title = {Pith review of: Cohomologous symplectic forms with different Gromov widths},
year = {2026},
howpublished = {\url{https://pith.science/paper/E6PVKCP7}},
note = {Machine review of arXiv:2505.09550}
}
abstract
We study McDuff-Salamon's Problem 46 by showing that there exist closed manifolds of dimension $\geq 6$ admitting cohomologous symplectic forms with different Gromov widths. The examples are motivated by Ruan's early example of deformation inequivalent symplectic forms in dimension $6$ distinguished by Gromov-Witten invariants. To find cohomologous symplectic forms and compare their Gromov width, we make use of Li-Liu's theorem of symplectic cone for manifolds with $b_2^+=1$ and Biran's ball packing theorem in dimension $4$. Along the way, we also show that these cohomologous symplectic forms can have distinct first Chern classes, which answers another question by Salamon.
Reference graph
Works this paper leans on
-
[1]
Doug Park, Exotic smooth structures on small 4-manifolds, Invent
Anar Akhmedov and B. Doug Park, Exotic smooth structures on small 4-manifolds, Invent. Math. 173 (2008), no. 1, 209--223. 2403396
work page 2008
-
[2]
, Exotic smooth structures on small 4-manifolds with odd signatures, Invent. Math. 181 (2010), no. 3, 577--603. 2660453
work page 2010
-
[3]
Biran, Symplectic packing in dimension 4 , Geom
P. Biran, Symplectic packing in dimension 4 , Geom. Funct. Anal. 7 (1997), no. 3, 420--437. 1466333
work page 1997
-
[4]
Scott Baldridge and Paul Kirk, A symplectic manifold homeomorphic but not diffeomorphic to C P^2\#3 C P ^2 , Geom. Topol. 12 (2008), no. 2, 919--940. 2403801
work page 2008
-
[5]
Stern, Knots, links, and 4 -manifolds , Invent
Ronald Fintushel and Ronald J. Stern, Knots, links, and 4 -manifolds , Invent. Math. 134 (1998), no. 2, 363--400. 1650308
work page 1998
-
[6]
Gompf, A new construction of symplectic manifolds, Ann
Robert E. Gompf, A new construction of symplectic manifolds, Ann. of Math. (2) 142 (1995), no. 3, 527--595. 1356781
work page 1995
-
[7]
Gromov, Pseudo holomorphic curves in symplectic manifolds, Invent
M. Gromov, Pseudo holomorphic curves in symplectic manifolds, Invent. Math. 82 (1985), no. 2, 307--347. 809718
work page 1985
-
[8]
Haydee Herrera, Gromov invariants of S^2 -bundles over 4-manifolds , Proceedings of the 1999 G eorgia T opology C onference ( A thens, GA ), vol. 124, 2002, pp. 327--345. 1936210
work page 1999
Show all 38 references
-
[9]
Amanda Hirschi and Luya Wang, On D onaldson's 4-6 question , arXiv:2309.07041 (2023)
2023 arXiv
-
[10]
Parker, Gromov invariants and symplectic maps, Math
Eleny-Nicoleta Ionel and Thomas H. Parker, Gromov invariants and symplectic maps, Math. Ann. 314 (1999), no. 1, 127--158. 1689266
1999
-
[11]
P. E. Jupp, Classification of certain 6 -manifolds , Proc. Cambridge Philos. Soc. 73 (1973), 293--300. 314074
1973
-
[12]
Symplectic Geom
Yael Karshon and Liat Kessler, Distinguishing symplectic blowups of the complex projective plane, J. Symplectic Geom. 15 (2017), no. 4, 1089--1128. 3734610
2017
-
[13]
Dieter Kotschick, On manifolds homeomorphic to C P ^2\# 8 C P ^2 , Invent. Math. 95 (1989), no. 3, 591--600. 979367
1989
-
[14]
Tian-Jun Li, Smoothly embedded spheres in symplectic 4 -manifolds , Proc. Amer. Math. Soc. 127 (1999), no. 2, 609--613. 1459135
1999
-
[15]
P art 1, 2, AMS/IP Stud
, The space of symplectic structures on closed 4-manifolds, Third I nternational C ongress of C hinese M athematicians. P art 1, 2, AMS/IP Stud. Adv. Math., vol. 42, pt. 1, 2, Amer. Math. Soc., Providence, RI, 2008, pp. 259--277. 2409637
2008
-
[16]
Ai-Ko Liu, Some new applications of general wall crossing formula, G ompf's conjecture and its applications , Math. Res. Lett. 3 (1996), no. 5, 569--585. 1418572
1996
-
[17]
T. J. Li and A. Liu, Symplectic structure on ruled surfaces and a generalized adjunction formula, Math. Res. Lett. 2 (1995), no. 4, 453--471. 1355707
1995
-
[18]
Differential Geom
Tian-Jun Li and Ai-Ko Liu, Uniqueness of symplectic canonical class, surface cone and symplectic cone of 4-manifolds with B^+=1 , J. Differential Geom. 58 (2001), no. 2, 331--370. 1913946
2001
-
[19]
Tian-Jun Li and Yongbin Ruan, Uniruled symplectic divisors, Commun. Math. Stat. 1 (2013), no. 2, 163--212. 3197859
2013
-
[20]
Dusa McDuff, The structure of rational and ruled symplectic 4 -manifolds , J. Amer. Math. Soc. 3 (1990), no. 3, 679--712. 1049697
1990
-
[21]
, Immersed spheres in symplectic 4 -manifolds , Ann. Inst. Fourier (Grenoble) 42 (1992), no. 1-2, 369--392. 1162567
1992
-
[22]
Press Lect
, From symplectic deformation to isotopy, Topics in symplectic 4 -manifolds ( I rvine, CA , 1996), First Int. Press Lect. Ser., vol. I, Int. Press, Cambridge, MA, 1998, pp. 85--99. 1635697
1996
-
[23]
Dusa McDuff and Leonid Polterovich, Symplectic packings and algebraic geometry, Invent. Math. 115 (1994), no. 3, 405--434, With an appendix by Yael Karshon. 1262938
1994
-
[24]
52, American Mathematical Society, Providence, RI, 2012
Dusa McDuff and Dietmar Salamon, J -holomorphic curves and symplectic topology , second ed., American Mathematical Society Colloquium Publications, vol. 52, American Mathematical Society, Providence, RI, 2012. 2954391
2012
-
[25]
, Introduction to symplectic topology, third ed., Oxford Graduate Texts in Mathematics, Oxford University Press, Oxford, 2017. 3674984
2017
-
[26]
II , Internat
Hiroshi Ohta and Kaoru Ono, Notes on symplectic 4 -manifolds with b^+_2=1 . II , Internat. J. Math. 7 (1996), no. 6, 755--770. 1417784
1996
-
[27]
Jongil Park, Simply connected symplectic 4-manifolds with b^+_2=1 and c^2_1=2 , Invent. Math. 159 (2005), no. 3, 657--667. 2125736
2005
-
[28]
Stipsicz, and Zolt\'an Szab\'o, Exotic smooth structures on CP ^2\#5 CP ^2 , Math
Jongil Park, Andr\'as I. Stipsicz, and Zolt\'an Szab\'o, Exotic smooth structures on CP ^2\#5 CP ^2 , Math. Res. Lett. 12 (2005), no. 5-6, 701--712. 2189231
2005
-
[29]
Javier Reyes and Giancarlo Urz\'ua, Exotic surfaces, Math. Ann. 391 (2025), no. 1, 227--254. 4846782
2025
-
[30]
Differential Geom
Yongbin Ruan, Symplectic topology on algebraic 3 -folds , J. Differential Geom. 39 (1994), no. 1, 215--227. 1258920
1994
-
[31]
Dietmar Salamon, Uniqueness of symplectic structures, Acta Math. Vietnam. 38 (2013), no. 1, 123--144. 3098204
2013
-
[32]
Smale, On the structure of manifolds, Amer
S. Smale, On the structure of manifolds, Amer. J. Math. 84 (1962), 387--399. 153022
1962
-
[33]
Stipsicz and Zolt\'an Szab\'o, An exotic smooth structure on C P^2\#6 C P^2 , Geom
Andr\'as I. Stipsicz and Zolt\'an Szab\'o, An exotic smooth structure on C P^2\#6 C P^2 , Geom. Topol. 9 (2005), 813--832. 2140993
2005
-
[34]
Kyler Siegel and Yuan Yao, On symplectic packing problems in higher dimensions, arXiv:2312.13224 (2023)
2023 arXiv
-
[35]
Taubes, SW Gr : from the S eiberg- W itten equations to pseudo-holomorphic curves , J
Clifford H. Taubes, SW Gr : from the S eiberg- W itten equations to pseudo-holomorphic curves , J. Amer. Math. Soc. 9 (1996), no. 3, 845--918. 1362874
1996
-
[36]
Stefano Vidussi, Homotopy K3 's with several symplectic structures , Geom. Topol. 5 (2001), 267--285. 1825663
2001
-
[37]
C. T. C. Wall, On simply-connected 4 -manifolds , J. London Math. Soc. 39 (1964), 141--149. 163324
1964
-
[38]
2216, Springer, Cham, 2018, From symplectic ruled surfaces to planar contact manifolds
Chris Wendl, Holomorphic curves in low dimensions, Lecture Notes in Mathematics, vol. 2216, Springer, Cham, 2018, From symplectic ruled surfaces to planar contact manifolds. 3821526
2018
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.