Family Seiberg-Witten equation on Kahler surface and $\pi_i(\Symp)$ on multiple-point blow ups of Calabi-Yau surfaces

Yi Du

REVIEW 5 major objections 5 minor 37 references

Family Seiberg-Witten equation on Kahler surface and $\pi_i(\Symp)$ on multiple-point blow ups of Calabi-Yau surfaces

T0 review · 5 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper claims that n-point Kähler blowups of a 4-torus, a K3 surface, or an Enriques surface have infinitely generated kernels in higher symplectomorphism-group homotopy.

desk verdict A credible extension of Smirnov's q-invariant to higher homotopy groups, but the load-bearing blowup transversality formula is not proved and needs substantial revision before the main theorem is supported. read the letter →

arxiv 2412.19375 v3 pith:JHLZNJ27 submitted 2024-12-26 math.GT math.SG

Yi Du This is my paper · ORCID

classification math.GTmath.SG MSC 57R1753D3514J2814D15

keywords familySeiberg-WitteninvariantsymplectomorphismgroupshigherhomotopyKählerblowupsK3surfacesEnriquesspaceofsymplecticformsq-invariant

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that blowing up a Kähler surface of Calabi-Yau type at n points creates infinitely many independent higher homotopy classes in its symplectomorphism group. For n-point Kähler blowups of a 4-torus, a K3 surface, or an Enriques surface, the claimed conclusion is that, under a non-resonance condition on the Kähler class (and a density condition for Enriques), the kernel of the natural map from the homotopy groups of the symplectomorphism group to those of the identity component of the diffeomorphism group is infinitely generated, in a range of even degrees controlled by n. The proof extends a family Seiberg-Witten invariant to higher homotopy groups and uses it to build surjective homomorphisms onto infinite direct sums of Z/2. If the paper is right, these kernels contain an infinite independent family of classes in every even degree in the stated range, so the symplectomorphism groups themselves have infinitely generated higher homotopy.

What carries the argument

The load-bearing object is a blowup transversality formula (Theorem 3.9) for isolated regular solutions of the family Seiberg-Witten equation on Kähler families. The formula says that if a Kähler family over a disk has a unique regular solution represented by a holomorphic curve $C$, then blowing up the family along a holomorphic disk transverse to $C$ yields a new family whose unique regular solution is represented by the proper transform of $C$. This reduces the transversality check on the $n$-point blowup to the one-point base case, making the $q$-invariant evaluations inductive. The $q$-invariant itself is a homomorphism to $\mathbb{Z}/2$ defined by taking the difference of two counts of solutions of the family Seiberg-Witten equation, and it is evaluated on spherical families $S^\delta_\kappa(i_1,\dots,i_k)$ obtained as the boundaries of normal disk fibers to subvarieties of the parameter space of polarized complex structures.

What would settle it

A direct check would be to take a K3 surface with a smooth rational curve $C$ of self-intersection $-2$, blow up a family of such surfaces along a disk transverse to $C$, and compute the log-tangent cohomology before and after the blowup; if the equality $h^2(\tilde X,\Theta_{\tilde X}(-\log \tilde C)) = h^2(\tilde X,\Theta_{\tilde X})$ used in Lemma 3.10 fails, Theorem 3.9 collapses. A second quantitative check is whether the index set $\Delta_k$ is infinite for the chosen non-resonant $\kappa$; if some $\Delta_k$ were finite, the direct-sum image would have finite rank and infinite generation would not follow.

Watch

Extended reading notes

Core claim

The paper's central claim, stated as Theorem A, is the following. Let $(M,\omega)$ be a Kähler surface diffeomorphic to $T^4$, a K3 surface, or an Enriques surface, and let $(X_n,\tilde{\omega}_n)$ be its $n$-point Kähler blowup with equal exceptional sizes whose total is small; assume $\kappa=[\omega]$ is non-resonant, meaning $\langle\kappa,\delta\rangle\neq 0$ for every nonzero integral class $\delta$, with an additional density condition in the Enriques case. Then the kernel of $\iota_*:\pi_{2k}(\mathrm{Symp}_s(X_n,\tilde{\omega}_n))\to\pi_{2k}(\mathrm{Diff}_0(X_n))$ is infinitely generated for $k=1,\dots,n$, and for $T^4$ the same holds in degree $2k-2$. The proof constructs homomorphisms $q_{k,n}$ from the relevant homotopy group of the space of symplectic forms to a direct sum of $\mathbb{Z}/2$'s indexed by pairs $(\delta,i_1,\dots,i_k)$ with $\delta$ in the infinite set $\Delta_k$, and proves $q_{k,n}$ is surjective. Because $\ker(\iota_*)$ is the cokernel of the boundary map in the fibration, surjectivity of these homomorphisms forces the kernel to be infinitely generated.

Load-bearing premise

The proof rests on a blowup formula that says a unique regular family Seiberg-Witten solution stays unique and regular after blowing up the family along a transverse holomorphic disk; if that formula fails, the q-invariant evaluations have no basis.

Editorial extensions

If this is right

For any non-resonant Kähler class on a K3 surface, the kernel of $\iota_*$ in degree $2k$ is infinitely generated for every $k=1,\dots,n$.
For a 4-torus, the same conclusion holds in degree $2k-2$, so the $n$-point blowup of a torus has infinitely many independent higher homotopy classes in its symplectomorphism group.
For Enriques surfaces satisfying the density condition, the result gives an example of a symplectic 4-manifold with $b^+=1$ whose symplectomorphism group has infinitely generated higher homotopy.
Because $q_{k,n}$ vanishes on families induced by diffeomorphisms, the detected classes are genuine obstructions to lifting spheres in the symplectomorphism group to the diffeomorphism group.
Since each $\Delta_k$ is infinite, the proof gives not just one exotic class but an infinite independent family in the kernel.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper leaves implicit that the blowup formula should evaluate family Seiberg-Witten invariants on any iterated blowup of a Kähler surface along families of negative curves, not only on the tori, K3, and Enriques cases treated here.
A natural stress test is to weaken non-resonance to a generic condition on $\kappa$: the proof only needs $\Delta_k$ to be infinite and the chosen classes to stay away from the $(1,1)$ locus outside the central fiber.
All detected classes are $\mathbb{Z}/2$-valued, so the argument establishes 2-torsion in these kernels; an extension to integer or higher-order invariants on the same spherical families could reveal non-torsion classes.
In the Enriques case the proof works by lifting to a K3 family with a fixed-point-free involution; a direct invariant on the quotient could independently test the density-condition conclusion.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This one is a serious attempt with a genuine idea, but as written the main theorem is not proved. The paper extends Smirnov's q-invariant from π_0 to higher even homotopy groups of symplectomorphism groups of blowups of T^4, K3, and Enriques surfaces. The overall architecture—constructing spherical families from links of period-domain strata and evaluating a family Seiberg-Witten count—is sensible and worth taking seriously. The parameter-space construction in Section 4 is detailed and mostly solid.

The problem is Theorem 3.9, the blowup transversality formula, which carries every q-invariant computation. Its proof ends by asserting KS_0(T_0D^2) ≅ ker(γ) "by dimension reasons," but ker(γ) is never identified, and Lemma 3.10 does not supply the needed rank bound. The rank equations in Lemma 3.10 do not parse: from the long exact sequence (3.22) the correct relation is h^1(X,π_*Θ_\tilde X) = h^1(X,Θ_X)+c, not h^1 = (2−c)+h^1 as printed, and the derived 2−2c=2 does not follow from the Euler characteristic. The equality h^2(\tilde X,Θ_{\tilde X}(−log \tilde C)) = h^2(X,Θ_X(−log C)) is quoted before the inequality chain (3.20)–(3.23) finishes, so the induction is circular at that point.

There is also a structurally separate gap: the conclusion "infinitely generated" requires Δ_k to be infinite, and the paper never proves or cites that. For irrational non-resonant κ this is probably true, but it is not in the text. A smaller issue: the formal dimension expression (3.10) has a sign that should be checked, and (3.24) writes H^0 where h^0 belongs.

None of this makes the strategy wrong. Extending Smirnov's homomorphism to higher homotopy groups is a natural and valuable goal, and the author has clearly thought hard about the deformation theory. But the proof of the main new ingredient is a sketch with a load-bearing gap, so the central theorem is unsupported in the present text.

I would send it to a serious referee, expecting major revision. The referee should demand a complete proof of Theorem 3.9, a clean Lemma 3.10, and a proof or citation for the infinitude of Δ_k. Not a desk reject—there is real content here—but it needs substantial work before it is citable.

Referee Report

5 major / 5 minor

Summary. The paper claims that for multiple-point Kähler blowups of a torus T^4, a K3 surface, or (under a density assumption) an Enriques surface, certain even-dimensional homotopy kernels of the map from the symplectomorphism group to the identity component of the diffeomorphism group are infinitely generated. The proposed mechanism extends Kronheimer's family Seiberg-Witten invariant and Smirnov's q-invariant to higher homotopy groups, constructs spherical families from links of discriminant loci in period domains, and evaluates the invariants using a blowup transversality formula for isolated regular solutions of family Seiberg-Witten equations. The main theorem, Theorem A, asserts surjectivity of homomorphisms q_{k,n} onto infinite direct sums of Z/2, which would imply the claimed infinitely generated kernels.

Significance. If correct, the result would be a substantial extension of known techniques for detecting non-trivial higher homotopy groups of symplectomorphism groups, and would provide the first examples of infinitely generated higher homotopy groups for symplectic manifolds with b^+=1 (Remark 10). The paper honestly borrows the gauge-theoretic framework from Kronheimer and Smirnov and aims to add a deformation-theoretic blowup formula; this is a reasonable strategy, and the spherical-family construction in Sections 4.2 and 4.3 is a genuine attempt to turn period-domain geometry into concrete invariant evaluations. The machine-checkable parts are limited, but the paper does give explicit classes and index sets. However, the central load-bearing computation is not convincingly proved, and the paper's own arguments contain internal inconsistencies, so the claimed significance is not currently supported.

major comments (5)

[§3.4, proof of Theorem 3.9] The proof of Theorem 3.9 ends with the assertions 'KS_0(T_0D^2) ≅ ker(γ)' and 'because of the dimension reason, since we take disk intersecting C transversally, we can see KS_0(T_0B) ≅ ker(γ)'. The kernel ker(γ) is never identified, and no computation of its dimension or its intersection with the image of the Kodaira-Spencer map is supplied. Since every q-invariant evaluation in Sections 4.2 and 4.3 reduces to this statement, the surjectivity claim for q_{k,n} is unsupported.
[§3.4, Lemma 3.10, Eq. (3.24)] The proof of Lemma 3.10 contains an inconsistent rank computation. Equation (3.24) writes h^0(X,π_*Θ_{X~}) + c = h^0(X,Θ_X) and h^1(X,π_*Θ_{X~}) = (2−c) + h^1(X,Θ_X), then derives 2−2c = 2 from the Euler characteristic. The h^0 and h^1 terms are not tracked consistently: if c is the rank of the kernel of the connecting homomorphism, the claimed conclusion c=0 does not follow from the displayed equations without additional information about the h^0 and h^1 terms. This lemma is the support for the key rank bound in Theorem 3.9.
[§3.4, Lemma 3.11 and Eqs. (3.20)–(3.23)] The equality h^2(X~,Θ_{X~}(−log C~)) = h^2(X,Θ_X(−log C)) is quoted from Lemma 3.11, but the preceding inequality chain (3.20)–(3.23) forces this equality only by combining the very assertion to be proved with a dimension bound. The chain concludes h^2(X~,Θ_{X~}) ≥ h^2(X,Θ_X), and the proof then uses the converse inequality that is equivalent to the surjectivity being proved. The argument is therefore circular at this point.
[§4.2, proof of part 1 of Theorem A; §4.3, proof of part 2] The conclusion 'infinitely generated' requires the index sets Δ_k to be infinite, because the image is an infinite direct sum of Z/2. The paper never proves infinitude of Δ_k; it only states that Δ_k = {δ ∈ Δ | (k−1)λ < ⟨δ,κ⟩ < kλ}. Non-resonance of κ does not by itself guarantee that infinitely many such δ exist without a counting argument in the relevant indefinite lattice. The same gap appears for K3 in §4.3 and for Enriques in §4.4.
[§4.2, proof of part 1 of Theorem A, base case] The base case of the induction for T^4 relies on 'the result of Smirnov [32]' for transversality of FSW_{δ−e} over F^δ_κ(1). The cited result is not stated or restated in the paper, and no precise statement or proof is given, so the induction's foundation is not self-contained.

minor comments (5)

[Abstract and Introduction] There are numerous typographical and grammatical issues, including 'gauge' consistently misspelled as 'guage', 'geometors', 'defiend', and incomplete sentences such as 'We take a smooth family {pXt, ωtq} of Kahler manifolds parametrized byF δ κpi1, ..., ikqs.t. rωts= ...' in the introduction; the paper would benefit from careful editing.
[§1, Theorem A] Theorem A is stated for 'n–point blow up' with 'the sizes of exceptional divisors are equal and their sum is small enough', but the precise dependence of the result on λ (the common size) and the exact smallness condition are not stated quantitatively; this makes the theorem difficult to verify.
[§2.4, Theorem 2.17] The proof of Theorem 2.17 cites Buse's theorem but does not explain how the tamed almost-complex structures on the blowup are obtained from those on the base manifold; the map S_{κ,λ_1,...,λ_n} → S_{κ,(λ_1−μ_1),...} is asserted up to homotopy equivalence without a complete argument.
[§3.3, Lemma 3.8] The proof of Lemma 3.8 asserts that 'F and F1 together define family Seiberg-Witten equation over a (2k+2)-dimensional closed chain F0' and that 'for the similar reason, FSW(F0, s_{K−ϵ}) = Q^−(F1, ϵ)'; the notation is confusing and the argument for identifying the two invariants is only sketched.
[§4.4] The density assumption for Enriques surfaces is stated as 'txπ˚κ, δy|δ is a root in E⊕2_8 ⊕ H⊕3u is a dense subset of some neighborhood of 0 ∈ R', but the meaning of τπ˚κ in the quotient and the exact role of the density condition in guaranteeing that Δ_{k,ρ} is infinite are not explained.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the q-invariant evaluations are genuine curve-counting computations, and the prior inputs are cited as external invariants rather than self-justifying premises.

full rationale

The derivation chain in the paper does not reduce to its inputs by construction. The homomorphisms q_{k,n} are defined from Kronheimer's Q-invariant and Smirnov's q-invariant, and the evaluations q_{\delta-e_{i_1}-\cdots-e_{i_k}} = 1 and 0 are obtained by counting holomorphic curves in the constructed families after showing the conjugate Q' term vanishes by an area constraint; this is a concrete computation, not a renamed definition or a fitted parameter. The load-bearing regularity statement, Theorem 3.9, is certainly fragile: its proof ends with the identification KS_0(T_0D^2) \cong \ker(\gamma) asserted by dimension counting, and Lemma 3.10's rank bookkeeping is internally inconsistent. However, a proof gap of this kind is a correctness risk, not a circularity: the conclusion is not made equivalent to the hypothesis by a definitional choice, and no equation in the proof is the target result restated as an input. The paper contains no self-citations: the invariants and regularity criteria of Kronheimer and Smirnov are cited as external prior results, not as unverified assertions unique to the present author. The infinitude of the index sets \Delta_k is asserted rather than proved, but that is a missing counting argument, not a definitional or statistical equivalence. Accordingly, the appropriate finding is no significant circularity, score 0.

Assumptions & free parameters 1 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard gauge-theoretic and deformation-theoretic inputs, on Smirnov's q-invariant, and on the unstated infinitude of Δ_k. No new particles, forces, or entities are introduced. The main hidden cost is the lattice-theoretic density/infinitude assumption for the K3 and torus index sets, plus the partially sketched blowup transversality theorem.

free parameters (1)

λ, the common size of each exceptional divisor = unspecified sufficiently small positive number
The theorem assumes equal exceptional sizes and nλ small. The index sets Δ_k and the dimensions of the constructed spheres depend on λ, but no value is fitted to data; it is a scale parameter in the statement.

assumptions (6)

domain assumption Kronheimer's family Seiberg-Witten invariant and its homomorphism from π_{2k-1}(S_{[ω]}) to Z2 are well-defined and satisfy the stated properties.
Invoked throughout Section 3.3 to define Q, Q', and the q-invariant, following [20,33,34].
standard math Li-Liu's theorem gives well-defined family Seiberg-Witten invariants in chambers for 0 < b+ ≤ dim B + 1.
Used in Section 3.1 to justify invariance and chamber structure, cited as Theorem 3.1 from [24].
domain assumption Taubes' correspondence identifies solutions of the perturbed Seiberg-Witten equation on a Kahler surface with effective divisors in the relevant class.
Used to count curves instead of gauge-theoretic solutions in the computation of Kronheimer invariants, citing [7,20,32,36,35].
standard math Kodaira-Spencer stability and Demailly-Paun numerical characterization of the Kahler cone hold for the families constructed.
Used in Section 4 to extend Kahler forms from the boundary sphere to the disk F^δ, citing [11,18].
ad hoc to paper For non-resonant κ on T^4 and K3, the index sets Δ_k are infinite; for Enriques, the set {⟨π^*κ,δ⟩} is dense in a neighborhood of 0.
The conclusion 'infinitely generated' requires the target ⊕_{δ∈Δ_k} Z2 to be infinite. The paper states the density condition for Enriques but never proves or cites infinitude of Δ_k for T^4 and K3, an unstated lattice-theoretic fact.
domain assumption The holomorphic automorphism group of each fiber in the relevant blowup families is discrete.
Invoked in Theorem 3.9 and Lemma 3.12 to ensure Kodaira-Spencer injectivity, and proved separately in Lemma 4.3 and Proposition 4.4.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Family Seiberg-Witten equation on Kahler surface and $\pi_i(\Symp)$ on multiple-point blow ups of Calabi-Yau surfaces." pith.science (2026). https://pith.science/paper/JHLZNJ27

@misc{pith2026241219375,
  author       = {Pith},
  title        = {Pith review of: Family Seiberg-Witten equation on Kahler surface and $\pi_i(\Symp)$ on multiple-point blow ups of Calabi-Yau surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JHLZNJ27}},
  note         = {Machine review of arXiv:2412.19375}
}

abstract

Let $\omega$ be a Kahler form on $M$, which is a torus $T^4$, a $K3$ surface or an Enriques surface, let $M\#n\overline{\mathbb{CP}^2}$ be $n-$point Kahler blowup of $M$. Suppose that $\kappa=[\omega]$ satisfies certain irrationality condition. Applying techniques related to deformation of complex objects, we extend the guage-theoretic invariant on closed Kahler suraces developed by Kronheimer\cite{Kronheimer1998} and Smirnov\cite{Smirnov2022}\cite{Smirnov2023}. As a result, we show that even dimensional higher homotopy groups of $\Symp(M\#n\overline{\mathbb{CP}^2},\omega)$ are infinitely generated.

Figures

Figures reproduced from arXiv: 2412.19375 by the authors.

**Figure 1.** Naturality between deformation of complex manifolds and pair of complex manifolds((2.3)) 2.4. Negative inflation. Let pX, ωq be a closed symplectic manifold and let κ “ rωs, and π : pX, ˜ ω˜q Ñ pX, ωq is an n´point blow up of it, and the sizes of exceptional curves E1, ..., En are λ1, ..., λn respectively. Let Srωs be the space of symplectic forms deformation equivalent to ω in class κ and let Sκ,λ1,...,λn be the sp… view at source ↗

**Figure 2.** Action on homotopy groups of the space of symplectic structures induced by negative inflation((2.17)) In the diagram (2.17), the horizontal maps are defined as an evaluation map in Kronheimer’s fibration. 10 [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗

**Figure 3.** Commutative diagram: Sympπ s and Diffπ 0 S π rωs :“ tπ ˚ω 1 |ω 1 P Srωsu (4.26) It is not hard to see that both Sympπ s and Diffπ 0 are groups, and S π rωs can be identified with Srωs , the chosen component of the space of symplectic forms on M¯ . Consider the natural projections psymp : Sympπ pM, ωq Ñ SymppM, ¯ ω¯q X Diff0pM¯ q, pdif f : Diffπ 0 pMq Ñ Diff0pM¯ q Lemma 4.5. Sympπ s pM, ωq and Diffπ 0 pMq are both su… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 34 canonical work pages

[32]

From flops to diffeomorphism groups

Gleb Smirnov. From flops to diffeomorphism groups.arXiv preprint arXiv:2002.01233 , 2020

work page Pith review arXiv 2002
[1]

Topology of symplectomorphism groups of rational ruled surfaces

Miguel Abreu and Dusa McDuff. Topology of symplectomorphism groups of rational ruled surfaces. Journal of the American Mathematical Society , 13(4):971–1009, 2000

work page 2000
[2]

Embeddings of symplectic balls into the complex projective plane

Silvia Anjos, Jarek Kedra, and Martin Pinsonnault. Embeddings of symplectic balls into the complex projective plane. arXiv preprint arXiv:2307.00556 , 2023

arXiv 2023
[3]

Stability of the symplectomorphism groups of rational surfaces.Mathematische Annalen, 389(1):85–119, 2024

Sílvia Anjos, Jun Li, Tian-Jun Li, and Martin Pinsonnault. Stability of the symplectomorphism groups of rational surfaces.Mathematische Annalen, 389(1):85–119, 2024

work page 2024
[4]

A gluing formula for families seiberg–witten invariants.Geometry & Topology, 24(3):1381–1456, 2020

David Baraglia and Hokuto Konno. A gluing formula for families seiberg–witten invariants.Geometry & Topology, 24(3):1381–1456, 2020

work page 2020
[5]

Compact complex surfaces, volume4

WolfBarth, KlausHulek, ChrisPeters, andAntoniusVandeVen. Compact complex surfaces, volume4. Springer, 2015

work page 2015
[6]

Kähler manifolds with trivial canonical class.Mathematics of the USSR-Izvestiya , 8(1):9, 1974

Fedor A Bogomolov. Kähler manifolds with trivial canonical class.Mathematics of the USSR-Izvestiya , 8(1):9, 1974

work page 1974
[7]

Vortices in holomorphic line bundles over closed kähler manifolds.Communications in mathematical physics , 135:1–17, 1990

Steven B Bradlow. Vortices in holomorphic line bundles over closed kähler manifolds.Communications in mathematical physics , 135:1–17, 1990

work page 1990

Show all 37 references

[8]

On compact kähler surfaces

Nicholas Buchdahl. On compact kähler surfaces. InAnnales de l’institut Fourier , volume 49, pages 287–302, 1999

1999
[9]

Local contributions to global deformations of surfaces

Daniel M Burns Jr and Jonathan M Wahl. Local contributions to global deformations of surfaces. Inventiones mathematicae, 26(1):67–88, 1974

1974
[10]

Negative inflation and stability in symplectomorphism groups of ruled surfaces

Olguţa Buşe. Negative inflation and stability in symplectomorphism groups of ruled surfaces. 2011

2011
[11]

Numerical characterization of the kähler cone of a compact kähler manifold

Jean-Pierre Demailly and Mihai Paun. Numerical characterization of the kähler cone of a compact kähler manifold. Annals of mathematics , pages 1247–1274, 2004

2004
[12]

Q-acyclic surfaces and their deformations.Contemporary Mathematics, 162:143–143, 1994

Hubert Flenner and Mikhail Zaidenberg. Q-acyclic surfaces and their deformations.Contemporary Mathematics, 162:143–143, 1994

1994
[13]

Obstruction bundles, semiregularity, and seiberg–witten in- variants

Robert Friedman and John W Morgan. Obstruction bundles, semiregularity, and seiberg–witten in- variants. Communications in Analysis and Geometry , 7(3):451–495, 1999

1999
[14]

Pseudo holomorphic curves in symplectic manifolds

Mikhael Gromov. Pseudo holomorphic curves in symplectic manifolds. Inventiones mathematicae , 82(2):307–347, 1985

1985
[15]

On the periods of enriques surfaces

Eiji Horikawa. On the periods of enriques surfaces. i.Proceedings of the Japan Academy, 53(3):124–127, 1977. 29

1977
[16]

Evaluation fibrations and topology of symplectomorphisms.Proceedings of the Amer- ican Mathematical Society, 133(1):305–312, 2005

Jaroslaw Kedra. Evaluation fibrations and topology of symplectomorphisms.Proceedings of the Amer- ican Mathematical Society, 133(1):305–312, 2005

2005
[17]

Complex manifolds and deformation of complex structures , volume 283

Kunihiko Kodaira. Complex manifolds and deformation of complex structures , volume 283. Springer Science & Business Media, 2012

2012
[18]

On deformations of complex analytic structures, iii

Kunihiko Kodaira and Donald Clayton Spencer. On deformations of complex analytic structures, iii. stability theorems for complex structures.Annals of Mathematics , 71:43, 1960

1960
[19]

Negative spheres and higher homotopy groups of diffeomor- phism groups of 4-manifolds.In preparation

Hokuto Konno, Jun Li, and Weiwei Wu. Negative spheres and higher homotopy groups of diffeomor- phism groups of 4-manifolds.In preparation
[20]

Some non-trivial families of symplectic structures.(1997)

P Kronheimer. Some non-trivial families of symplectic structures.(1997)

1997
[21]

Monopoles and three-manifolds.(No Title), 2007

Peter Kronheimer and Tomasz Mrowka. Monopoles and three-manifolds.(No Title), 2007

2007
[22]

The topology of the space of symplectic balls in rational 4-manifolds

François Lalonde and Martin Pinsonnault. The topology of the space of symplectic balls in rational 4-manifolds. Duke Mathematical Journal , 122:347–397, 2002

2002
[23]

The gromov width of 4–dimensional tori.Geometry & Topology, 17(5):2813–2853, 2013

Janko Latschev, Dusa McDuff, and Felix Schlenk. The gromov width of 4–dimensional tori.Geometry & Topology, 17(5):2813–2853, 2013

2013
[24]

arXiv preprint math/0107211, 2001

Tian-JunLiandAi-KoLiu.Familyseiberg-witteninvariantsandwallcrossingformulas. arXiv preprint math/0107211, 2001

2001 arXiv
[25]

The family seiberg-witten invariant and nonsymplectic loops of diffeomorphisms.arXiv preprint arXiv:2208.12082, 2022

Jianfeng Lin. The family seiberg-witten invariant and nonsymplectic loops of diffeomorphisms.arXiv preprint arXiv:2208.12082, 2022

2022 arXiv
[26]

Lectures on deformations of complex manifolds.Rend

Marco Manetti et al. Lectures on deformations of complex manifolds.Rend. Mat. Appl.(7) , 24:1–183, 2004

2004
[27]

Springer, 2022

Marco Manetti et al.Lie methods in deformation theory . Springer, 2022

2022
[28]

Almost complex structures onS2ˆ S2

Dusa Mcduff. Almost complex structures onS2ˆ S2. arXiv: Symplectic Geometry , 1998

1998
[29]

Symplectomorphism groups and almost complex structures

Dusa McDuff. Symplectomorphism groups and almost complex structures. arXiv preprint math/0010274, 2000

2000 arXiv
[30]

Symplectomorphism groups and embeddings of balls into rational ruled 4- manifolds

Martin Pinsonnault. Symplectomorphism groups and embeddings of balls into rational ruled 4- manifolds. Compositio Mathematica, 144(3):787–810, 2008

2008
[31]

The period map of abelian surfaces.J

Tetsuji Shioda. The period map of abelian surfaces.J. Fac. Sci. Univ. Tokyo , 25:47–59, 1978

1978
[33]

Symplectic mapping class groups of K3 surfaces and seiberg–witten invariants.Geo- metric and Functional Analysis , 32(2):280–301, 2022

Gleb Smirnov. Symplectic mapping class groups of K3 surfaces and seiberg–witten invariants.Geo- metric and Functional Analysis , 32(2):280–301, 2022

2022
[34]

Symplectic mapping class groups of blowups of tori.Journal of Topology, 16(3):877–898, 2023

Gleb Smirnov. Symplectic mapping class groups of blowups of tori.Journal of Topology, 16(3):877–898, 2023

2023
[35]

Clifford H. Taubes. Sw ùñ gr: From the seiberg-witten equations to pseudo-holomorphic curves. Journal of the American Mathematical Society , 9:845–918, 1996

1996
[36]

More constraints on symplectic forms from seiberg-witten invariants.Mathe- matical Research Letters, 2(1):9–13, 1995

Clifford Henry Taubes. More constraints on symplectic forms from seiberg-witten invariants.Mathe- matical Research Letters, 2(1):9–13, 1995

1995
[37]

The rising sea: Foundations of algebraic geometry

Ravi Vikal. The rising sea: Foundations of algebraic geometry. 2024. School of Mathematics, University of Minnesota, Minneapolis, MN, US Email address: du000187@umn.edu 30

2024

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [32]

From flops to diffeomorphism groups

Gleb Smirnov. From flops to diffeomorphism groups.arXiv preprint arXiv:2002.01233 , 2020

work page Pith review arXiv 2002

[2] [1]

Topology of symplectomorphism groups of rational ruled surfaces

Miguel Abreu and Dusa McDuff. Topology of symplectomorphism groups of rational ruled surfaces. Journal of the American Mathematical Society , 13(4):971–1009, 2000

work page 2000

[3] [2]

Embeddings of symplectic balls into the complex projective plane

Silvia Anjos, Jarek Kedra, and Martin Pinsonnault. Embeddings of symplectic balls into the complex projective plane. arXiv preprint arXiv:2307.00556 , 2023

arXiv 2023

[4] [3]

Stability of the symplectomorphism groups of rational surfaces.Mathematische Annalen, 389(1):85–119, 2024

Sílvia Anjos, Jun Li, Tian-Jun Li, and Martin Pinsonnault. Stability of the symplectomorphism groups of rational surfaces.Mathematische Annalen, 389(1):85–119, 2024

work page 2024

[5] [4]

A gluing formula for families seiberg–witten invariants.Geometry & Topology, 24(3):1381–1456, 2020

David Baraglia and Hokuto Konno. A gluing formula for families seiberg–witten invariants.Geometry & Topology, 24(3):1381–1456, 2020

work page 2020

[6] [5]

Compact complex surfaces, volume4

WolfBarth, KlausHulek, ChrisPeters, andAntoniusVandeVen. Compact complex surfaces, volume4. Springer, 2015

work page 2015

[7] [6]

Kähler manifolds with trivial canonical class.Mathematics of the USSR-Izvestiya , 8(1):9, 1974

Fedor A Bogomolov. Kähler manifolds with trivial canonical class.Mathematics of the USSR-Izvestiya , 8(1):9, 1974

work page 1974

[8] [7]

Vortices in holomorphic line bundles over closed kähler manifolds.Communications in mathematical physics , 135:1–17, 1990

Steven B Bradlow. Vortices in holomorphic line bundles over closed kähler manifolds.Communications in mathematical physics , 135:1–17, 1990

work page 1990