Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces

Nicholas Lindsay; Weiyi Zhang

REVIEW 3 major objections 5 minor 44 references

Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces

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

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

Pith's one-line read The paper proves that on minimal irrational ruled 4-manifolds, symplectic cyclic actions of order $k>2$ extend to Hamiltonian circle actions, while certain symplectic involutions do not, even after changing the symplectic form.

desk verdict A significant, mostly sound paper with two repairable gaps: the S^1 fixed-point fact behind non-extendability is quoted rather than proved, and the circle-extension weight in Theorem 5.1 needs a unit correction. read the letter →

arxiv 2411.18580 v3 pith:FTQB5KPJ submitted 2024-11-27 math.SG math.GT

Nicholas Lindsay , Weiyi Zhang This is my paper · ORCID

classification math.SGmath.GT MSC 53D3557S1757R1753D20

keywords symplectic4-manifoldsirrationalruledsurfacesHamiltoniancircleactionsfinite-ordersymplectomorphismshomologicallytrivialfixedpointsetspseudoholomorphiccurves

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

The paper asks when finite-order symplectic symmetries of irrational ruled 4-manifolds—the symplectic blowups of $S^2$-bundles over Riemann surfaces of positive genus—extend to continuous Hamiltonian circle actions. Its central claim is that the answer depends sharply on the order of the symmetry: on minimal such manifolds with base genus at least two, homologically trivial (trivial on integral homology) symplectic $\mathbb{Z}_k$-actions with $k>2$ always extend to Hamiltonian $S^1$-actions, possibly after deforming the symplectic form, whereas homologically trivial symplectic involutions exist that cannot be extended even after any such modification. The mechanism is a fixed-point dichotomy: the higher-order actions force a fixed set made of two disjoint sections, while the constructed involutions have a single connected bisection as fixed set. If the paper is right, discrete-to-continuous symmetry extension fails precisely at order two in the minimal cyclic case, and it produces symplectic actions on Kähler surfaces that are not smoothly equivalent to any holomorphic action.

What carries the argument

The load-bearing object is the moduli map $f:(M,\omega)\to\Sigma$ produced by the existence theorem for pseudoholomorphic subvarieties: for every $\omega$-tamed almost complex structure $J$ on an irrational ruled symplectic 4-manifold, the fibers of $f$ are connected pseudoholomorphic curves in the fiber class, with smooth sphere fibers over all but finitely many base points and a continuous base of genus $g$; when $b_2(M)=2$ the fibration is a smooth $S^2$-bundle. Homologically trivial finite symplectomorphisms preserve this map and, for $g\ge2$, act fiberwise by Möbius transformations. The argument then turns on fixed-point weights: a $\mathbb{Z}_k$-action with $k>2$ has two fixed points per fiber with weights $a$ and $-a$ satisfying $a\not\equiv -a \pmod{k}$, forcing two disjoint sections; an involution has equal weights, permitting the connected bisection that blocks circle extension.

What would settle it

Take the involution $q$ on $\Sigma_g\times S^2$ from Theorem 4.1 for $g\ge2$ and search for any cohomologous symplectic form and any smooth $S^1$-action extending $q$; the paper predicts that the fixed set of any such circle action must contain two disjoint sections, whereas $q$ has a connected bisection, so producing one such extension would refute Theorem 1.2.

Watch

Extended reading notes

Core claim

The central discovery is a structural dichotomy for homologically trivial finite symplectic group actions on irrational ruled symplectic 4-manifolds with base genus $g\ge 2$. For any $\omega$-tamed almost complex structure, a moduli map fibers the manifold by pseudoholomorphic spheres in the fiber class; a homologically trivial finite symplectic group preserves this fibration, and when $g\ge 2$ it acts fiberwise. For a cyclic action of order $k>2$, each fiber carries a finite-order Möbius transformation with two fixed points of distinct weights, so the fixed point set splits into two disjoint sections; the authors extend the action to a circle by rotating every fiber through elliptic Möbius transformations with those fixed points, then average to produce an $S^1$-invariant symplectic form for which the action is Hamiltonian. For $k=2$ the distinct-weight argument collapses, and the paper constructs homologically trivial symplectic involutions on $\Sigma_g\times S^2$ whose fixed set is a connected bisection of genus $2g-1$; no symplectic circle action can have such a fixed set, so the involutions are non-extendable, and equivariant blowups spread the obstruction to every $b_2\ge 2$.

Load-bearing premise

The load-bearing premise is the imported theorem that every $\omega$-tamed almost complex structure on an irrational ruled symplectic 4-manifold admits a continuous fibration by pseudoholomorphic spheres in the fiber class, together with the consequence that a homologically trivial finite symplectic group preserves that fibration; if either gave way, the fixed-point analysis and both the extension theorem for $k>2$ and the non-extension theorem for involutions would collapse.

Editorial extensions

If this is right

Every homologically trivial symplectic $\mathbb{Z}_k$-action with $k>2$ on a minimal irrational ruled 4-manifold with base genus $\ge2$ extends to a Hamiltonian $S^1$-action for some symplectic form (Theorem 1.6).
On $\Sigma_g\times S^2$ with $g\ge1$, any Hamiltonian diffeomorphism of finite order $k>2$ generates a Hamiltonian circle action under the standard embedding (Theorem 1.7).
Homologically trivial symplectic involutions exist on irrational ruled 4-manifolds with base genus $\ge2$ and every $b_2\ge2$ that do not extend to any symplectic circle action, whatever symplectic form is chosen (Theorem 1.2).
The same construction yields a symplectic involution on the Kähler surface $C\times\mathbb{P}^1$, for a projective curve $C$ of genus $\ge1$, that is not smoothly equivalent to any holomorphic action (Corollary 1.4).
Finite symplectic symmetry groups of these 4-manifolds are classified up to short exact sequences whose outer terms are finite subgroups of $\mathrm{SO}(3)$ and of $\mathrm{SL}_{2g}(\mathbb{Z})$ (or $\mathbb{Z}_p\times\mathbb{Z}_q$ in genus one) (Theorem 1.9).

Reading between the lines

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

The paper leaves implicit that order two is the only genuinely discrete cyclic case on these manifolds: every homologically trivial cyclic action of order $k>2$ is continuous in disguise, so exotic discrete symmetries must be searched among involutions or non-cyclic groups.
The construction in Proposition 4.3 gives a template likely to produce non-extendable involutions on other symplectic manifolds admitting a double cover with an equivariant retraction to a circle, not only on ruled surfaces.
The paper's open questions about $\mathbb{Z}_{2k}$-actions with $4\le b_2\le 2k$ suggest a natural next test: decide whether the non-extendability of involutions propagates to even-order cyclic actions of composite order in non-minimal cases.

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

The main story is real: homologically trivial symplectic Z_k-actions with k>2 on minimal irrational ruled surfaces extend to Hamiltonian circle actions, while involutions do not, even after changing the symplectic form. The minimal examples with connected bisection fixed sets are new, as are the Klein four-group actions, the finite group classification, and the answer to Weimin Chen's question. The constructions are clever and the paper is honest about what is imported, especially the moduli fibration from [44], which is a published, parameter-free theorem and not a self-citation problem.

There are two gaps that need fixing before this is referee-ready. First, Corollary 4.2 relies on the assertion that a homologically trivial symplectic circle action on an irrational ruled 4-manifold with base genus at least two has two disjoint sections, citing Proposition 3.7. But Proposition 3.7 is proved only for finite cyclic Z_k with k>2, and its weight argument uses k>2 essentially. The S^1 statement is probably true and can be proved by taking an S^1-invariant almost complex structure, using the moduli fibration, and noting that the induced action on the base is trivial because the base has genus at least two and S^1 is connected; then each fiber has an S^1 action with exactly two fixed points. The paper just says "known" and points to a proposition that does not cover it. This is load-bearing for non-extendability, so the proof must be added or a precise reference given.

Second, in Theorem 5.1 the constructed circle action is defined by requiring the tangent weight at one fixed section to be e^{2πiθ}. But the original Z_k action has some unit weight a mod k at that section, not necessarily 1. To agree with f under the standard embedding Z_k⊂S^1, the parameterization needs the weight aθ, or one must show a=1 can be assumed. This is a concrete fix, but as written the proof only works when a=1.

A smaller issue: Corollary 1.5 misuses Li's theorem [25], claiming each fixed component of a Hamiltonian circle action has π1 equal to π1(M). Li's theorem gives a surjection from π1 of some fixed component to π1(M), not equality, and the argument in the h=0 case assumes the components are surfaces of genus exactly g, which need not hold. This is a side corollary, but as written the proof is not correct.

One concern the reader raised is not real: the claim in Theorem 4.1 that [S0] and [F] span H2(S×S2,R) is fine, since H2(S×S2) has rank two with basis [S] and [F].

This paper is for symplectic topologists working on group actions and Hamiltonian circle actions. The main theorems are likely correct and the gaps are in written proofs, not in the overall vision. Send it to a serious referee; expect a revision before acceptance.

Referee Report

3 major / 5 minor

Summary. The paper studies finite-order symplectic and Hamiltonian diffeomorphisms on irrational ruled symplectic 4-manifolds, motivated by Kedra's question whether Hamiltonian cyclic actions extend to Hamiltonian circle actions. It constructs homologically trivial symplectic involutions with connected fixed bisection on Sigma x S^2 that do not extend to symplectic circle actions even after changing the symplectic form, and it extends this to b2 >= 2 via equivariant blow-ups. It also proves that homologically trivial Z_k-actions with k > 2 on minimal irrational ruled surfaces with base genus at least two extend to Hamiltonian S^1-actions after a possible change of symplectic form, and it classifies finite groups of symplectomorphisms acting on such manifolds.

Significance. If the technical gaps identified below are repaired, the paper makes a substantial contribution to the cyclic-to-circle extension problem in dimension four. The main new idea is to use the fixed point set as an obstruction: the authors produce explicit homologically trivial symplectic involutions whose connected fixed bisection cannot occur for a circle action, and contrast this with the k > 2 case where two fixed sections force an extension. The paper also gives a fairly complete classification of finite symplectic group actions on irrational ruled 4-manifolds and supplies algebraic examples via Maruyama's classification, including an answer to a question of Weimin Chen. The reliance on the second author's published moduli fibration theorem [44] is explicit and not circular; the main arguments are geometric and the proofs are plausible, but several load-bearing steps are missing or misstated.

major comments (3)

[Corollary 4.2 / Theorem 1.2] The non-extendability proof in Corollary 4.2 relies on the assertion that any homologically trivial symplectic S^1-action on an irrational ruled 4-manifold with base genus at least two has fixed point set consisting of two disjoint sections, and it cites Proposition 3.7 for this. Proposition 3.7, however, is stated and proved only for finite cyclic Z_k-actions with k > 2, and its weight argument uses k > 2 essentially. Since this fixed-point fact is exactly what rules out extension for every possible symplectic form, the proof needs a separate argument for circle actions. One can restrict an S^1-invariant almost complex structure (Lemma 2.11) to a finite subgroup Z_k with k > 2 and apply Proposition 3.7, but this is not written in the paper; the analogue for the blow-up case b2 > 2 also requires additional justification concerning singular fibers. Please supply this argument or give a precise reference.
[Theorem 5.1 / Key fact in Section 5] The extension constructed in Theorem 5.1 is defined by requiring the tangent action at the fixed section Sigma_1 to be multiplication by e^{2*pi*i*theta}. The original generator f, however, acts on a smooth fiber with weights a and -a mod k for some a coprime to k, and Proposition 3.7 does not guarantee a = 1. Consequently the equality phi((Sigma_1(p), Sigma_2(p)), 2*pi/k, p) = f claimed in the proof is generally false. The construction can be repaired by using the constant weight a along Sigma_1, as guaranteed by the weight-constancy statement in Section 2.3, and by requiring the tangent action at Sigma_1 to be e^{2*pi*i*a*theta}; the theorem statement should then clarify what 'standard embedding' means for this parametrization.
[Proposition 5.2] The blow-down step asserts that if S is a -1-sphere and f(S) has the same class, then positivity of intersections of J-holomorphic curves forces f(S) = S. This requires S to be J-holomorphic for the f-invariant almost complex structure J, which is not established for an arbitrary embedded symplectic -1-sphere. The standard fact that every exceptional class admits a unique J-holomorphic representative for any tamed J should be invoked, or the argument should be replaced by a direct equivariant blow-down argument. As written, the reduction from b2 > 2 to b2 = 2 is incomplete.

minor comments (5)

[Theorem 4.1] The text says 'the Z2-action generated by h' but the involution is denoted q; please fix the notation.
[Section 6.2] The statement that 'every non-trivial element of S3 induces a non-trivial automorphism of C, so H1 is the trivial group' is inconsistent with the subsequent exact sequence 1 -> Z3 -> G -> Z2 -> 1; the notation H1 should be clarified.
[Section 5, 'Key fact'] The 'Key fact' would benefit from an explicit statement of how the identification of each fiber with CP^1 is chosen to depend smoothly on the base point, since the global smoothness of the resulting S^1-action depends on this choice.
[Theorem 5.3] In the proof, the step 'since f^k = id we have f'^n = id' contains a typo (n should be k), and the decomposition of H_t into base and fiber parts should be justified more carefully.
[Proposition 3.9] The proof cites [21] for the self-intersection of the fixed point set; a brief statement of the exact formula used would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: the central construction is built on [44], a parameter-free prior theorem, not on the paper's own conclusions.

full rationale

Walking the derivation chain, the main external input is Theorem 2.7, imported from [44]. That theorem asserts the existence of a continuous fibration by J-holomorphic spheres in the fiber class for any ω-tamed almost complex structure on an irrational ruled symplectic 4-manifold. It is a published, parameter-free geometric statement whose assumptions do not include the target results of this paper, so the self-citation is legitimate independent support under the stated rules. Proposition 3.1 is a one-way reduction: from homological triviality of the group action, a G-invariant J, and the fibration theorem, it deduces that the action preserves fibers. Proposition 3.7 proves the two-section fixed point statement for Z_k-actions with k>2 internally from weights, positivity of intersections, and Lemma 2.11; no fitted parameter is renamed as a prediction. The exotic involution in Theorem 4.1 is constructed explicitly from a double cover and an equivariant retraction, and its homological triviality is checked directly, not assumed. The non-extendability in Corollary 4.2 relies on the fixed-point shape of homologically trivial symplectic circle actions; the paper says this is 'known (see Proposition 3.7)' even though Proposition 3.7 is stated and proved only for finite Z_k with k>2. That is a correctness gap or a missing reference, not circularity: no equation or construction in the paper reduces the S^1 claim to its own input, and the finite-order proof can plausibly be adapted by a separate weight argument for real circle weights. The extension proof in Theorem 5.1 builds the S^1 action explicitly from the two fixed sections and a smooth family of elliptic Möbius transformations, then invokes a standard criterion for Hamiltonicity. No step in the claimed derivation is equivalent by definition to its inputs, and no load-bearing conclusion is obtained merely by citing the authors' own unproved assumption. The score of 1 acknowledges the heavy but legitimate reliance on the second author's prior theorem, without treating that reliance as circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

Pure mathematics paper: no free parameters fitted to data and no invented particles, forces, or dimensions. The central claim rests on substantial prior theorems, especially the second author's J-holomorphic moduli theorem, Maruyama's classification, and standard results on periodic surface diffeomorphisms.

assumptions (4)

domain assumption Existence and structure of a fibration by J-holomorphic spheres for any tamed almost complex structure on an irrational ruled symplectic 4-manifold (Theorem 2.7, from [44]).
This is the main external input; all fixed point set arguments and the extension in Section 5 use the moduli map and its properties.
domain assumption A homologically trivial symplectic circle action on a minimal irrational ruled 4-manifold with base genus at least two has fixed point set equal to two disjoint sections.
Used in Corollary 4.2 and Proposition 3.9; cited as known.
standard math Finite subgroups of the Möbius group are conjugate into SO(3), and finite order Möbius transformations are elliptic with two fixed points.
Used in Proposition 3.7 and Corollary 3.2 to analyze actions on each fiber CP^1.
domain assumption Maruyama's classification of automorphism groups of geometrically ruled surfaces, including the structure of Aut_C(S) and the fixed point behavior of non-fiber-preserving automorphisms.
Used in Section 6 for algebraic examples and to characterize holomorphic actions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces." pith.science (2026). https://pith.science/paper/FTQB5KPJ

@misc{pith2026241118580,
  author       = {Pith},
  title        = {Pith review of: Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FTQB5KPJ}},
  note         = {Machine review of arXiv:2411.18580}
}

abstract

We investigate when finite-order Hamiltonian diffeomorphisms extend to Hamiltonian circle actions, probing the transition from discrete to continuous symmetry in symplectic topology. Focusing on irrational ruled symplectic $4$-manifolds, we show that homologically trivial symplectic cyclic actions of order $k>2$ always extend to Hamiltonian $S^1$-actions, possibly after modifying the symplectic form. In contrast, we construct explicit symplectic involutions that cannot be so extended, even on minimal irrational ruled surfaces. These examples reveal geometric obstructions to extending discrete symmetries and highlight new exotic symplectic actions not equivalent to holomorphic ones. Our results also apply to higher-dimensional and non-cyclic group actions, and we establish several structural results on the isomorphism types of finite groups that can act on irrational ruled symplectic $4$-manifolds.

Figures

Figures reproduced from arXiv: 2411.18580 by the authors.

**Figure 1.** The complete root system of Lagrangian spheres with the induced homological action □ The classifications given in Theorem 1.9 and in Proposition 3.6 are independent of each other. Indeed, for a finite group G acts effectively by symplectomorphisms, the induced action on H2(M,Z) is a subgroup of SG(l) and can contribute to any component of the triple {H′ , H1, H2}. However, when we restrict to homologically trivial… view at source ↗

**Figure 2.** The involution on S˜ and the invariant circle C. Define a map µ : S˜ → S × S 2 , µ(X) = (Π(X), R(X)), [PITH_FULL_IMAGE:figures/full_fig_p024_2.png] view at source ↗

**Figure 3.** The geometric construction of the embeddings i1, i2 and i3. implies that the involutions {id, q1, q2, q3} forms a Klein 4-group acting on Σg × S 2 . To construct a symplectic form invariant under this group action, we average the standard product symplectic form ω over the group: α = 1 4 (ω + q ∗ 1ω + q ∗ 2ω + q ∗ 3ω). Since each qj is a symplectomorphism on fibers and acts trivially on the base, α is closed and non… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 42 canonical work pages

[44]

Zhang,Moduli space ofJ-holomorphic subvarieties, Selecta Mathematica

W. Zhang,Moduli space ofJ-holomorphic subvarieties, Selecta Mathematica. Volume 27, article number 29, (2021). Departamento di Mathematica e Informatica “U. Dini”, Universit`a Di Firenze. Email address:nicholas.lindsay@unifi.it. Mathematics Institute, University of W arwick, Coventry, CV4 7AL, United Kingdom Email address:Weiyi.Zhang@warwick.ac.uk

work page 2021
[25]

Li,π 1 of HamiltonianS 1 manifolds, Proc

H. Li,π 1 of HamiltonianS 1 manifolds, Proc. Amer. Math. Soc. 131 (2003), no. 11, 3579–3582

work page 2003
[1]

M. S. Atallah,Remarks on symplectic circle actions, torsion and loops, Algebr. Geom. Topol. 24 (2024), no. 4, 2367–2384

work page 2024
[2]

M. S. Atallah, E. Shelukhin,Hamiltonian no-torsion, Geom. Topol. 27 (2023), no. 7, 2833–2897

work page 2023
[3]

Russian Journal of Nonlinear Dynamics, 2023, vol

D.A.Baranov, V.Z.Grines, O.V.Pochinka, E.E.Chilina,On a Classification of Periodic Maps on the 2-Torus. Russian Journal of Nonlinear Dynamics, 2023, vol. 19, no. 1, pp. 91–110

work page 2023
[4]

O. Buse, J. Li,Symplectic isotopy on non-minimal ruled surfaces, Math. Z. 304 (2023), no. 3, Paper No. 44, 24 pp

work page 2023
[5]

Chen,Group actions on4-manifolds: some recent results and open questions, Proceedings of the G¨ okova Geometry-Topology Conference 2009, 1–21, Int

W. Chen,Group actions on4-manifolds: some recent results and open questions, Proceedings of the G¨ okova Geometry-Topology Conference 2009, 1–21, Int. Press, Somerville, MA, 2010

work page 2009
[6]

Chen,Finite symmetry in dimension4: ten open questions,https://people

W. Chen,Finite symmetry in dimension4: ten open questions,https://people. math.umass.edu/~wchen/10-open-problems.pdf

work page

Show all 44 references

[7]

W. Chen, S. Kwasik,Symplectic symmetries of4-manifolds, Topology 46 (2007) 103– 128

2007
[8]

Chen, T.J

W. Chen, T.J. Li, W. Wu,Symplectic rationalG-surfaces and equivariant symplectic cones, J. Differential Geom. 119 (2021), no. 2, 221–260

2021
[9]

Chiang and L

R. Chiang and L. Kessler,Cyclic actions on rational ruled symplectic four-manifolds, Transform. Groups 24 (2019), no. 4, 987–1000

2019
[10]

Chiang and L

R. Chiang and L. Kessler,Homologically trivial symplectic cyclic actions need not extend to Hamiltonian circle actions, J. Topol. Anal. 12 (2020), no. 4, 1047–1071

2020
[11]

Constantin, B

A. Constantin, B. Kolev,The theorem of K´ er´ ekjart` o on periodic homeomorphisms of the disc and the sphere, Enseign. Math. (2) 40 (1994), no. 3-4, 193–204

1994
[12]

Dydak,An addendum to the Vietoris-Begle Theorem, Topology and its applications

J. Dydak,An addendum to the Vietoris-Begle Theorem, Topology and its applications. 23 75–86 (1986). 40 NICHOLAS LINDSAY AND WEIYI ZHANG

1986
[13]

Farb and D

B. Farb and D. Margalit,A Primer on Mapping Class Groups, Princeton Mathemat- ical Series. PRINCETON UNIVERSITY PRESS (2012)

2012
[14]

Franks, M

J. Franks, M. Handel,Periodic points of Hamiltonian surface diffeomorphisms, Geom. Topol. 7 (2003), 713–756

2003
[15]

V. L. Ginzburg, B. G¨ urel,The Conley conjecture and beyond, Arnold Math J., 1 (2015), 299–337

2015
[16]

R. E. Gompf,A New Construction of Symplectic Manifolds, Annals of Mathematics, Vol. 142, No. 3 (Nov., 1995), pp. 527–595

1995
[17]

Grothendieck,G´ eom´ etrie formelle et g´ eom´ etrie alg´ ebrique, S´ eminaire Bourbaki : ann´ ees 1958/59 - 1959/60, expos´ es 169–204, S´ eminaire Bourbaki, no

A. Grothendieck,G´ eom´ etrie formelle et g´ eom´ etrie alg´ ebrique, S´ eminaire Bourbaki : ann´ ees 1958/59 - 1959/60, expos´ es 169–204, S´ eminaire Bourbaki, no. 5 (1960), Talk no. 182, 28 p

1960
[18]

Guelman, I

N. Guelman, I. Liousse,Burnside problem for groups of homeomorphisms of compact surfaces, Bull. Braz. Math. Soc. (N.S.) 48 (2017), no. 3, 389–397

2017
[19]

Hatcher,Algebraic Topology, Cambridge University Press (2002)

A. Hatcher,Algebraic Topology, Cambridge University Press (2002)

2002
[20]

Jaco and P.B

W. Jaco and P.B. Shalen,Surface homeomorphisms and periodicity, Topology Volume 16, Issue 4, 1977, Pages 347–367

1977
[21]

J¨ annich, E

K. J¨ annich, E. Ossa,On the signature of an involution, Topology Volume 8, Issue 1, January 1969, Pages 27–30

1969
[22]

Karshon,Periodic Hamiltonian flows on four dimensional manifolds, Memoirs of the Amer

Y. Karshon,Periodic Hamiltonian flows on four dimensional manifolds, Memoirs of the Amer. Math. Soc. 672 (1999)

1999
[23]

Kwasik, R

S. Kwasik, R. Schultz,Homological properties of periodic homeomorphisms of 4- manifolds, Duke Math. J. 58 (1989), no. 1, 241–250

1989
[24]

J. M. Lee,Introduction to Smooth Manifolds(Second Edition), Graduate Texts in Mathematics, 218, Springer
[26]

J. Li, T. J. Li, W. Wu,Symplectic Torelli groups of rational surfaces, arXiv:2212.01873

arXiv
[27]

T. J. Li, A.-K. Liu,Uniqueness of symplectic canonical class, surface cone and sym- plectic cone of 4-manifolds withB + = 1, J. Differential Geom. 58 (2001), no. 2, 331–370

2001
[28]

T. J. Li, W. Wu,Lagrangian spheres, symplectic surfaces and the symplectic mapping class group, Geom. Topol. 16 (2012), no. 2, 1121–1169

2012
[29]

Zhang,J-holomorphic curves in a nef class, Int

T.J., Li, W. Zhang,J-holomorphic curves in a nef class, Int. Math. Res. Not. 2015, 12070–12104 (2015)

2015
[30]

Maruyama,On automorphism groups of ruled surfaces, J

M. Maruyama,On automorphism groups of ruled surfaces, J. Math. Kyoto Univ. (JMKYAZ) 11-1 (1971) 89–112

1971
[31]

McDuff,From symplectic deformation to isotopy, First Int

D. McDuff,From symplectic deformation to isotopy, First Int. Press Lect. Ser., I International Press, Cambridge, MA, 1998, 85–99

1998
[32]

McDuff,Symplectomorphism groups and almost complex structures, Monogr

D. McDuff,Symplectomorphism groups and almost complex structures, Monogr. En- seign. Math., 38[Monographs of L’Enseignement Math´ ematique] L’Enseignement Math´ ematique, Geneva, 2001, 527–556

2001
[33]

McDuff,HamiltonianS 1–manifolds are uniruled, Duke Math

D. McDuff,HamiltonianS 1–manifolds are uniruled, Duke Math. J. 146 (2009), no. 3, 449–507

2009
[34]

McDuff, D

D. McDuff, D. Salamon,Introduction to Symplectic Topology, Third Edition. Oxf. Grad. Texts Math. Oxford University Press, Oxford, 2017, xi+623 pp

2017
[35]

Mukai and Y

S. Mukai and Y. Namikawa,Automorphisms of Enriques surfaces which act trivially on the cohomology groups, Invent. Math. 77 (1984), 383–398

1984
[36]

Palais,On the existence of slices for actions of noncompact Lie groups, Ann

R.S. Palais,On the existence of slices for actions of noncompact Lie groups, Ann. of Math. (2) 73 (1961)295–323

1961
[37]

L Polterovich,Growth of maps, distortion in groups and symplectic geometry, Invent. Math. 150 (2002) 655–686. PERIODIC SYMPLECTIC AND HAMILTONIAN DIFFEOMORPHISMS 41

2002
[38]

Rong,Degree one maps between geometric3-manifolds, Trans

Y. Rong,Degree one maps between geometric3-manifolds, Trans. Amer. Math. Soc. 332 (1992), no. 1, 411–436

1992
[39]

Sheridan, I

N. Sheridan, I. Smith,Symplectic topology of K3 surfaces via mirror symmetry, J. Amer. Math. Soc. 33 (2020), no.3, 875–915

2020
[40]

Shevchishin, G

V. Shevchishin, G. Smirnov,Elliptic diffeomorphisms of symplectic4-manifolds, J. Symplectic Geom. 18 (2020), no. 5, 1247–1283

2020
[41]

Thurston,On the geometry and dynamics of diffeomorphisms of surfaces, Amer- ican Mathematical Society

W.P. Thurston,On the geometry and dynamics of diffeomorphisms of surfaces, Amer- ican Mathematical Society. Bulletin. New Series, 19(2) 417–431, (1988)

1988
[42]

Volovikov and Nguen Le Anh,On the Vietoris-Begle Theorem, Vestnik Moskov

A.Ju. Volovikov and Nguen Le Anh,On the Vietoris-Begle Theorem, Vestnik Moskov. Univ. Ser. I Math. Mekh. 1984 no. 3, 70–71

1984
[43]

Walczak,Existence of Symplectic Structures on Torus Bundles Over Surfaces, Annals of Global Analysis and Geometry

R. Walczak,Existence of Symplectic Structures on Torus Bundles Over Surfaces, Annals of Global Analysis and Geometry. Volume 28, pages 211–231, (2005)

2005

Pith tools

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

[1] [44]

Zhang,Moduli space ofJ-holomorphic subvarieties, Selecta Mathematica

W. Zhang,Moduli space ofJ-holomorphic subvarieties, Selecta Mathematica. Volume 27, article number 29, (2021). Departamento di Mathematica e Informatica “U. Dini”, Universit`a Di Firenze. Email address:nicholas.lindsay@unifi.it. Mathematics Institute, University of W arwick, Coventry, CV4 7AL, United Kingdom Email address:Weiyi.Zhang@warwick.ac.uk

work page 2021

[2] [25]

Li,π 1 of HamiltonianS 1 manifolds, Proc

H. Li,π 1 of HamiltonianS 1 manifolds, Proc. Amer. Math. Soc. 131 (2003), no. 11, 3579–3582

work page 2003

[3] [1]

M. S. Atallah,Remarks on symplectic circle actions, torsion and loops, Algebr. Geom. Topol. 24 (2024), no. 4, 2367–2384

work page 2024

[4] [2]

M. S. Atallah, E. Shelukhin,Hamiltonian no-torsion, Geom. Topol. 27 (2023), no. 7, 2833–2897

work page 2023

[5] [3]

Russian Journal of Nonlinear Dynamics, 2023, vol

D.A.Baranov, V.Z.Grines, O.V.Pochinka, E.E.Chilina,On a Classification of Periodic Maps on the 2-Torus. Russian Journal of Nonlinear Dynamics, 2023, vol. 19, no. 1, pp. 91–110

work page 2023

[6] [4]

O. Buse, J. Li,Symplectic isotopy on non-minimal ruled surfaces, Math. Z. 304 (2023), no. 3, Paper No. 44, 24 pp

work page 2023

[7] [5]

Chen,Group actions on4-manifolds: some recent results and open questions, Proceedings of the G¨ okova Geometry-Topology Conference 2009, 1–21, Int

W. Chen,Group actions on4-manifolds: some recent results and open questions, Proceedings of the G¨ okova Geometry-Topology Conference 2009, 1–21, Int. Press, Somerville, MA, 2010

work page 2009

[8] [6]

Chen,Finite symmetry in dimension4: ten open questions,https://people

W. Chen,Finite symmetry in dimension4: ten open questions,https://people. math.umass.edu/~wchen/10-open-problems.pdf

work page