pith. sign in

arxiv: 2509.07429 · v3 · pith:4COFGZKQnew · submitted 2025-09-09 · 🧮 math.SG · math.AG· math.CO· math.GT

Symplectic configurations: a homological and computer-aided approach

Weimin Chen This is my paper

Pith reviewed 2026-05-21 23:13 UTC · model grok-4.3

classification 🧮 math.SG math.AGmath.COmath.GT
keywords symplectic configurationsCremona transformationspseudoholomorphic curvesFano planesrational four-manifoldshomological methodscomputer-aided approach
0
0 comments X

The pith

Symplectic Cremona transformations combined with pseudoholomorphic curves show that Fano planes cannot exist in rational four-manifolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper formulates a general approach for studying unions of symplectic embedded surfaces in rational four-manifolds, which is computer-aided and builds on earlier work on symplectic Calabi-Yau four-manifolds. A main technical tool is the establishment of a symplectic analog of Cremona transformations from algebraic geometry. Using this, the authors provide a new proof that Fano planes, a certain line arrangement in CP squared, cannot exist in the symplectic category, independent of prior algebraic and topological proofs. The proof relies on reducing the configuration via the transformation and then applying Gromov's theory of pseudoholomorphic curves to obtain a contradiction.

Core claim

By combining the symplectic Cremona transformation technique with Gromov's theory of pseudoholomorphic curves, the authors give a new proof that Fano planes cannot exist in the symplectic category inside rational 4-manifolds. The nonexistence in the algebraic category follows from a theorem of Hirzebruch, while in the topological category, including the symplectic category, it was first proved by Ruberman and Starkston. Our proof for the symplectic category is independent to both.

What carries the argument

The symplectic analog of Cremona transformations, which preserves relevant symplectic and homological data to reduce configurations for analysis via pseudoholomorphic curves.

If this is right

  • The approach provides a systematic way to study unions of symplectic embedded surfaces in rational four-manifolds.
  • It addresses several fundamental theoretical questions concerning the computational aspect of the method.
  • The method may find applications in a broader range of problems involving symplectic configurations.
  • It extends technical results from the study of symplectic Calabi-Yau four-manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The computer-aided homological computations could scale to check existence of other complex surface configurations that resist manual analysis.
  • The symplectic Cremona transformation might apply to obstructions in related problems like symplectic fillings or embedding questions in four dimensions.
  • This reduction technique suggests a pathway to translate more algebraic geometry results on line arrangements into the symplectic setting.
  • It opens the possibility of software implementations that automate the homological checks after applying the transformations.

Load-bearing premise

The symplectic Cremona transformation preserves the relevant symplectic and homological data in a way that allows reduction of the Fano-plane configuration to a configuration ruled out by pseudoholomorphic curve theory.

What would settle it

An explicit symplectic embedding of a Fano plane configuration into a rational four-manifold, or a failure of the reduction under the Cremona transform to produce a ruled-out curve configuration, would disprove the nonexistence.

read the original abstract

Motivated by and extending the technical results in our earlier work on symplectic Calabi-Yau $4$-manifolds, a general and systematic approach for studying certain unions of symplectic embedded surfaces in a rational $4$-manifold $X=CP^2\# N\overline{CP^2}$ is formulated, which may find applications in a broader range of problems. A distinct feature of this method is that it is computer-aided. We address several fundamental theoretical questions concerning the computational aspect. On the other hand, we also establish a symplectic analog of Cremona transformations from algebraic geometry, which is another fundamental feature and a main technical tool of this method. For an illustration, we give a new proof that a certain line arrangement in $CP^2$, called Fano planes, cannot exist in the symplectic category. The nonexistence of Fano planes in the algebraic category follows from a theorem of Hirzebruch, while in the topological category, including the symplectic category, it was first proved by Ruberman and Starkston. Our proof for the symplectic category is independent to both, and is by combining the Cremona transformation technique with Gromov's theory of pseudoholomorphic curves.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript formulates a general, systematic, computer-aided homological approach to studying unions of symplectic embedded surfaces in rational 4-manifolds X = CP² # N CP²-bar. It establishes a symplectic analogue of Cremona transformations as a central technical tool and illustrates the method by giving a new proof that Fano-plane configurations cannot exist symplectically in these manifolds. The proof combines the symplectic Cremona technique with Gromov's theory of pseudoholomorphic curves and is presented as independent of both Hirzebruch's algebraic result and the Ruberman-Starkston topological result.

Significance. If the symplectic Cremona transformation is shown to preserve the necessary symplectic data, the work supplies a reusable methodological framework that may extend to other configuration problems in symplectic 4-manifolds. The explicit treatment of computational aspects and the independent symplectic proof constitute concrete strengths that could be cited in future studies.

major comments (1)
  1. [The section establishing the symplectic Cremona transformation] The section establishing the symplectic Cremona transformation: the manuscript must explicitly verify that the transformation maps symplectic surfaces to symplectic surfaces while preserving the symplectic cohomology class (or at least the existence of J-holomorphic representatives in the image classes). Without this, the reduction of a putative Fano-plane configuration to one ruled out by pseudoholomorphic curve theory is not guaranteed, and the contradiction step in the main illustration may fail to apply standard Gromov theory.
minor comments (2)
  1. [Abstract] The abstract states that the method extends technical results from the authors' earlier work on symplectic Calabi-Yau 4-manifolds; a short sentence clarifying the precise extension would help readers assess novelty.
  2. [Introduction] Notation for the rational 4-manifold X = CP² # N CP²-bar is introduced without an immediate reminder of the standard basis for H₂; adding this would improve readability for non-specialists.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comment on the symplectic Cremona transformation. We address the major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: The section establishing the symplectic Cremona transformation: the manuscript must explicitly verify that the transformation maps symplectic surfaces to symplectic surfaces while preserving the symplectic cohomology class (or at least the existence of J-holomorphic representatives in the image classes). Without this, the reduction of a putative Fano-plane configuration to one ruled out by pseudoholomorphic curve theory is not guaranteed, and the contradiction step in the main illustration may fail to apply standard Gromov theory.

    Authors: We agree that an explicit verification strengthens the argument and will add it to the revised manuscript. The symplectic Cremona transformation is constructed in Section 3 as a composition of symplectic blow-ups and blow-downs along embedded symplectic spheres of square -1. By the standard symplectic blow-up construction (which preserves the symplectic form in a neighborhood of the exceptional divisor), any symplectic surface disjoint from or transverse to the blow-up locus remains symplectic after the operation, and its homology class transforms accordingly. We already note that the induced map on H_2 preserves the symplectic area of classes because the blow-up and blow-down are performed with respect to the same symplectic form ω. For the Fano-plane application, the transformed classes are shown to have positive ω-area and to lie in the region where the adjunction inequality and positivity of intersections apply, allowing direct invocation of Gromov’s existence theorem for J-holomorphic curves. To make this fully explicit, we will insert a short lemma stating: “Let φ be the symplectic Cremona transformation. If Σ is a symplectic surface in class α with ω(α) > 0, then φ(Σ) is symplectic in class φ(α) with ω(φ(α)) > 0, and any ω-compatible almost complex structure J can be chosen so that the image curve is J-holomorphic.” This lemma will be placed immediately before the Fano-plane reduction argument. We believe these additions address the referee’s concern while leaving the overall proof structure unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper formulates a computer-aided homological method for symplectic configurations in rational 4-manifolds and establishes a symplectic Cremona transformation as an internal technical tool. The illustrative result (nonexistence of symplectic Fano planes) is obtained by combining this tool with standard Gromov pseudoholomorphic curve theory and is explicitly stated to be independent of both the algebraic Hirzebruch theorem and the Ruberman-Starkston topological proof. Although the work is motivated by the authors' prior results on symplectic Calabi-Yau 4-manifolds, no load-bearing step reduces by definition, by fitted parameter, or by self-citation chain to those prior results; the central reduction and contradiction are presented as new and externally grounded in Gromov theory. No self-definitional, ansatz-smuggling, or renaming patterns appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The approach rests on standard properties of symplectic 4-manifolds, pseudoholomorphic curve theory, and homological invariants; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Symplectic embeddings and intersections behave compatibly with a symplectic analog of Cremona transformations that preserve relevant homological data.
    Invoked as the main technical tool for reducing configurations.
  • standard math Gromov theory of pseudoholomorphic curves can be applied to rule out reduced configurations after transformation.
    Used to obtain the contradiction for the Fano-plane case.

pith-pipeline@v0.9.0 · 5735 in / 1428 out tokens · 31067 ms · 2026-05-21T23:13:49.135308+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Alberich-Carrami˜ nana,Geometry of the Plane Cremona Maps, Lecture Notes in Mathematics, 1769, Springer-Verlag, Berlin, 2002

    M. Alberich-Carrami˜ nana,Geometry of the Plane Cremona Maps, Lecture Notes in Mathematics, 1769, Springer-Verlag, Berlin, 2002

    work page 2002

  2. [2]

    Barrand,Nodal symplectic spheres inCP 2 with positive self-intersection, Intern

    J.-F. Barrand,Nodal symplectic spheres inCP 2 with positive self-intersection, Intern. Math. Res. Notice9(1999), 495-508

    work page 1999

  3. [3]

    Beauville,Complex Algebraic Surfaces, London Mathematical Society Student Texts34, Cam- bridge University Press, 1996

    A. Beauville,Complex Algebraic Surfaces, London Mathematical Society Student Texts34, Cam- bridge University Press, 1996

    work page 1996

  4. [4]

    Buse and M

    O. Buse and M. Pinsonnault.Packing numbers of rational ruled four-manifolds, Journal of Sym- plectic Geometry11(2013), 269-316

    work page 2013

  5. [5]

    Cavalcanti, M

    G. Cavalcanti, M. Fern´ andez, and V. Mu˜ noz,Symplectic resolutions, Lefschetz property and for- mality, Adv. Math.218(2) (2008), 576-599

    work page 2008

  6. [6]

    Chen,G-minimality and invariant negative spheres inG-Hirzebruch surfaces, Journal of Topol- ogy8no

    W. Chen,G-minimality and invariant negative spheres inG-Hirzebruch surfaces, Journal of Topol- ogy8no. 3 (2015), 621-650

    work page 2015

  7. [7]

    Chen,Resolving symplectic orbifolds with applications to finite group actions, Journal of G¨ okova Geometry Topology12(2018), 1-39

    W. Chen,Resolving symplectic orbifolds with applications to finite group actions, Journal of G¨ okova Geometry Topology12(2018), 1-39

    work page 2018

  8. [8]

    Chen,Finite group actions on symplectic Calabi-Yau4-manifolds withb 1 >0, Journal of G¨ okova Geometry Topology14(2020), 1-54

    W. Chen,Finite group actions on symplectic Calabi-Yau4-manifolds withb 1 >0, Journal of G¨ okova Geometry Topology14(2020), 1-54

    work page 2020

  9. [9]

    Chen,On a class of symplectic4-orbifolds with vanishing canonical class, Journal of G¨ okova Geometry Topology14(2020), 55-90

    W. Chen,On a class of symplectic4-orbifolds with vanishing canonical class, Journal of G¨ okova Geometry Topology14(2020), 55-90

    work page 2020

  10. [10]

    W. Chen, Y. Grinspan, and H. Morin,Symplectic cuspidal curves inCP 2: a computer-aided study, in preparation

    work page

  11. [11]

    Chen, T.-J

    W. Chen, T.-J. Li and W. Wu,Symplectic rationalG-surfaces and equivariant symplectic cones, Journal of Differential Geometry119no.2 (2021), 221-260. SYMPLECTIC CONFIGURATIONS: A HOMOLOGICAL AND COMPUTER-AIDED APPROACH 47

    work page 2021

  12. [12]

    Gromov,Pseudoholomorphic curves in symplectic manifolds, Invent

    M. Gromov,Pseudoholomorphic curves in symplectic manifolds, Invent. Math.82no.2 (1985), 307-347

    work page 1985

  13. [13]

    Hirzebruch,Arrangements of lines and algebraic surfaces, In: Arithmetic and Geometry, Progress in Mathematics, II (36)

    F. Hirzebruch,Arrangements of lines and algebraic surfaces, In: Arithmetic and Geometry, Progress in Mathematics, II (36). Birkh¨ auser, Boston, pp. 113-140

    work page

  14. [14]

    Hofer, V

    H. Hofer, V. Lizan, and J.-C. Sikorav,On genericity for holomorphic curves in4-dimensional almost complex manifolds, J. Geom. Anal.7(1998), 149-159

    work page 1998

  15. [15]

    Ivashkovich and V

    S. Ivashkovich and V. Shevchishin,Structure of the moduli space in a neighborhood of a cusp-curve and meromorphic hulls, Invent. Math.136(1999), 571-602

    work page 1999

  16. [16]

    Karshon and L

    Y. Karshon and L. Kessler,Distinguishing symplectic blowups of the complex projective plane, Journal of Symplectic Geometry15(2017), no.4, 1089-1128

    work page 2017

  17. [17]

    Li and T.-J

    B.-H. Li and T.-J. Li,On the diffeomorphism groups of rational and ruled4-manifolds, J. Math. Kyoto Univ.46(2006), no. 3, 583-593

    work page 2006

  18. [18]

    Li and C.-Y

    T.-J. Li and C.-Y. Mak,Symplectic divisorial capping in dimension4, Journal of Symplectic Geometry17(2019), no.6, 1835-1852

    work page 2019

  19. [19]

    Li and W

    T.-J. Li and W. Wu,Lagrangian spheres, symplectic surfaces and the symplectic mapping class group, Geometry and Topology16no. 2 (2012), 1121-1169

    work page 2012

  20. [20]

    Moe,Rational cuspidal curves, Master Thesis, University of Oslo, 2008

    T.K. Moe,Rational cuspidal curves, Master Thesis, University of Oslo, 2008

    work page 2008

  21. [21]

    Ruberman and L

    D. Ruberman and L. Starkston,Topological realizations of line arrangements, International Math- ematics Research Notices, 2019, no.8, 2295-2331

    work page 2019

  22. [22]

    Symplectic 4-manifolds and algebraic surfaces

    P. Seidel,Lectures on four-dimensional Dehn twists, from: “Symplectic 4-manifolds and algebraic surfaces” (F. Catanese, G. Tian, editors), Lecture Notes in Mathematics1938, pp. 231-268, Springer- Verlag, Berlin, 2008

    work page 2008

  23. [23]

    Pseudoholomorphic curves and the symplectic isotopy problem

    V.V. Shevchishin,Pseudoholomorphic curves and the symplectic isotopy problem, arXiv: math/0010262v1 [math.SG] 27 Oct 2000. University of Massachusetts, Amherst. E-mail:wch@umass.edu

    work page internal anchor Pith review Pith/arXiv arXiv 2000