pith. sign in

arxiv: 2312.12761 · v5 · submitted 2023-12-20 · 🧮 math.DS · math.AT· math.SG

A Remark on the Topology of the Regular Loci of Some Complexified Hamiltonian Systems

Zhiyuan Liu This is my paper

Pith reviewed 2026-05-24 05:34 UTC · model grok-4.3

classification 🧮 math.DS math.ATmath.SG
keywords fundamental groupregular locuscomplexified Hamiltonian systemsZariski-van Kampen theoremplanar Kepler problemspherical pendulumHamiltonian monodromy
0
0 comments X

The pith

The regular locus of the complexified planar Kepler problem has fundamental group ℤ⊕ℤ while that of the complexified spherical pendulum has fundamental group ℤ.

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

The paper applies the Zariski-van Kampen theorem to determine the fundamental groups of the regular loci in two complexified integrable systems. For the planar Kepler problem this group is the free abelian group on two generators. For the spherical pendulum the group is the infinite cyclic group. These groups then give an explicit description of the complex Hamiltonian monodromy associated to each system.

Core claim

By applying the Zariski-van Kampen theorem to the regular loci of the complexified planar Kepler problem and spherical pendulum, the fundamental group of the former is ℤ⊕ℤ and of the latter is ℤ; these groups describe the complex Hamiltonian monodromy groups of the two systems.

What carries the argument

Zariski-van Kampen theorem applied to the complement of the discriminant divisor in each complexified phase space.

If this is right

  • The complex Hamiltonian monodromy group of the planar Kepler problem is generated by two commuting loops around the discriminant.
  • The complex Hamiltonian monodromy group of the spherical pendulum is generated by a single loop around the discriminant.
  • Any closed path in the base of the integrable fibration lifts to a monodromy transformation whose action on the fibers is determined by these abelian groups.

Where Pith is reading between the lines

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

  • The same method could be applied to other complexified integrable systems whose discriminant divisors satisfy the general-position hypothesis.
  • The abelian nature of the monodromy implies that the complexified systems admit no non-commuting monodromy relations of the sort sometimes seen in real integrable systems.

Load-bearing premise

The regular loci are smooth and the divisors at infinity or singularities lie in general position so the Zariski-van Kampen theorem applies without extra vanishing cycles.

What would settle it

An explicit loop in one of the regular loci whose homotopy class is not generated by the claimed abelian generators, or a direct topological computation showing the fundamental group has different rank or contains torsion.

Figures

Figures reproduced from arXiv: 2312.12761 by Zhiyuan Liu.

Figure 1
Figure 1. Figure 1: Toric fibration determined by Liouville-Arnold theorem [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: geometric braids Let Π1, Π2 be two parallel planes in R 3 , in particular, we assume they both parallel to the xOy-plane, and Π2 is above Π1 in the sense that Π2 has larger z−component. There are n marked ordered positions on each plane Πi , namely 1, 2, ..., n, we assume the lines joining the corresponding positions are all vertical to the both planes Πi , see figure 2. 3 [PITH_FULL_IMAGE:figures/full_fi… view at source ↗
Figure 3
Figure 3. Figure 3: composition of two braids Although braids can be complicated, they can be write as the products of a sequel of simple braids, denoted σi . σi is the braid with just the i−th and the (i+ 1)−th position interchange and only once, see figure 4. These σi forms the generators in the braid group Bn, and the generation is given by [20] Bn = * σ1, ..., σn−1 [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: simple braid σi Remark 2.2 (Pure Braids). If we request every arc βi in the n-string braid (β1, ..., βn) to having same starting￾end position, then such a braid will be called the pure braid, the group formed by all pure braids are called pure braid group, denoted by Pn, it is clearly that we have the group exact sequence 1 −→ Pn −→ Bn −→ Sn −→ 1 . ♣ There are some classical models of braid groups Bn which… view at source ↗
Figure 5
Figure 5. Figure 5: projection onto the first component Proposition 2.1 ( [11]). The restriction of the projection p: p : C 2 \ (C ∪ L) −→ C \ S is a fibration with fiber F = C \ {n points}. The structure group of this fiber bundle is precisely the braid group Bn. Choose a base point x0 ∈ C \ S and y0 ∈ F, the fundamental groups of the base manifold and the fiber are simply: π1(C \ S, x0) ∼= Fs, π1 (F, y0) ∼= Fn The fundament… view at source ↗
Figure 6
Figure 6. Figure 6: generators Example 2.4 (The Riemann surface of √ z). As a simple example, let’s consider the fundamental group of the complement of the curve X√ z : y 2 = x, which is the Riemann surface of the square root function. Observe that the curve X√ z has only one branched point (0, 0) in projecting onto the first component, hence π1(C\S) ∼= Z, and braid monodromy will be given in B2. Now choose γ(t) = e 2π √ −1 t… view at source ↗
Figure 7
Figure 7. Figure 7: the curve y(2x 2 + y 3 ) = 0 Hence the singular set S is just one point, and the fundamental group π1(C \ S, x0) is just Z. For each x ∈ C \ S, since the curve has degree 4, the fundamental group of the fiber is just π1(C \ {4 points}) ∼= F4 Their generators will be denoted by g1, g2, g3, and g4. Choose γ(t) = e 2π √ −1t ∈ π1(C \ S, x0), the generator (see figure 7), the change on the fiber will give the b… view at source ↗
Figure 8
Figure 8. Figure 8: the braids Now, We can compute by (1): g1 = σ1σ3σ2σ1(g1) = g4 g2 = σ1σ3σ2σ1(g2) = g1g2g −1 1 ⇒ g1g2 = g2g1 g3 = σ1σ3σ2σ1(g3) = g4 g4 = σ1σ3σ2σ1(g4) = g3g4g −1 3 By theorem 2.2, we finally know that π1 [PITH_FULL_IMAGE:figures/full_fig_p013_8.png] view at source ↗
read the original abstract

We study the topology of the regular loci of two complexified Hamiltonian integrable systems using the Zariski-van Kampen method. In particular, we show that the fundamental group of the regular locus for the complexified planar Kepler problem is the free Abelian group $\mathbb{Z}\oplus \mathbb{Z}$, whereas that for the complexified spherical pendulum is $\mathbb{Z}$. These results further provide a description of the complex Hamiltonian monodromy group associated to these systems.

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

2 major / 2 minor

Summary. The manuscript applies the Zariski-van Kampen theorem to the complements of the discriminant divisors arising from the complexified planar Kepler problem and the spherical pendulum. It concludes that the fundamental group of the regular locus is ℤ⊕ℤ in the Kepler case and ℤ in the pendulum case, and uses these groups to describe the associated complex Hamiltonian monodromy.

Significance. If the transversality hypotheses required by Zariski-van Kampen are satisfied, the explicit computation of these fundamental groups supplies concrete topological data on the regular loci of two classical integrable systems. Such data can serve as a reference point for broader questions about complex monodromy in Hamiltonian systems.

major comments (2)
  1. [Zariski-van Kampen applications (Kepler and pendulum sections)] The central application of the Zariski-van Kampen theorem (in the sections treating the Kepler problem and the spherical pendulum) proceeds by identifying the regular locus with the complement of an algebraic divisor and invoking the theorem on a generic pencil, yet supplies no separate verification—such as a resultant computation, local normal-form analysis, or explicit check of intersection multiplicities—that every singular fiber is transverse to the pencil lines and that the divisor at infinity introduces no additional relations or vanishing cycles. This verification is load-bearing for the claimed groups ℤ⊕ℤ and ℤ.
  2. [Monodromy discussion] The manuscript states that the results describe the complex Hamiltonian monodromy group but does not spell out the precise relation between the computed fundamental group of the regular locus and the monodromy representation; an explicit diagram or short argument linking the two would be needed to make the claim fully rigorous.
minor comments (2)
  1. [Setup and notation] Notation for the base spaces (C² versus CP² minus infinity) is used without a single consolidated table or diagram showing the coordinates chosen for each system.
  2. [Introduction] A few sentences in the introduction repeat the abstract almost verbatim; a brief comparison with existing real monodromy results would improve context.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable suggestions. We address each major comment below and will revise the manuscript accordingly to strengthen the arguments.

read point-by-point responses

  1. Referee: [Zariski-van Kampen applications (Kepler and pendulum sections)] The central application of the Zariski-van Kampen theorem (in the sections treating the Kepler problem and the spherical pendulum) proceeds by identifying the regular locus with the complement of an algebraic divisor and invoking the theorem on a generic pencil, yet supplies no separate verification—such as a resultant computation, local normal-form analysis, or explicit check of intersection multiplicities—that every singular fiber is transverse to the pencil lines and that the divisor at infinity introduces no additional relations or vanishing cycles. This verification is load-bearing for the claimed groups ℤ⊕ℤ and ℤ.

    Authors: We agree that an explicit verification of the transversality hypotheses is necessary to rigorously apply the Zariski-van Kampen theorem. The original manuscript relies on the standard assumptions for these classical systems but does not provide the detailed checks. In the revised manuscript, we will include an appendix with the required verifications, such as checking intersection multiplicities via resultants and confirming that the divisor at infinity does not introduce extra vanishing cycles for both systems. revision: yes

  2. Referee: [Monodromy discussion] The manuscript states that the results describe the complex Hamiltonian monodromy group but does not spell out the precise relation between the computed fundamental group of the regular locus and the monodromy representation; an explicit diagram or short argument linking the two would be needed to make the claim fully rigorous.

    Authors: We acknowledge that the link between the fundamental group and the monodromy representation could be clarified. The fundamental group of the regular locus is precisely the group that acts as the monodromy group via the representation induced by the fibration. In the revision, we will add a brief paragraph or diagram explaining this connection explicitly, referencing the standard theory of monodromy in integrable systems. revision: yes

Circularity Check

0 steps flagged

No circularity; direct application of Zariski-van Kampen to explicit divisors

full rationale

The derivation computes fundamental groups of regular loci by identifying them with complements of algebraic divisors in C^2 or CP^2 and invoking the Zariski-van Kampen theorem on a generic pencil. This is a standard, externally verifiable topological procedure whose inputs are the explicit equations of the Kepler and pendulum Hamiltonians; no parameter is fitted and then relabeled as a prediction, no self-citation supplies a uniqueness theorem, and no ansatz is smuggled in. The result (Z⊕Z or Z) follows from the theorem once the transversality hypotheses are granted, but those hypotheses are independent of the output groups themselves. The paper therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated. The computation relies on standard properties of the Zariski-van Kampen theorem and the definition of regular loci in the complexified systems, but these cannot be audited from the given text.

pith-pipeline@v0.9.0 · 5594 in / 1105 out tokens · 19662 ms · 2026-05-24T05:34:54.226902+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    On global action-angle coordinates

    Johannes J Duistermaat. On global action-angle coordinates. Communications on pure and applied mathematics , 33(6):687–706, 1980

    work page 1980

  2. [2]

    Lectures on Riemann surfaces, volume 81

    Otto Forster. Lectures on Riemann surfaces, volume 81. Springer Science & Business Media, 2012

    work page 2012

  3. [3]

    Global aspects of classical integrable systems , volume 94

    Richard H Cushman and Larry M Bates. Global aspects of classical integrable systems , volume 94. Springer, 1997

    work page 1997

  4. [4]

    Lectures on the two-body problem, 2002

    Alain Albouy. Lectures on the two-body problem, 2002

    work page 2002

  5. [5]

    The Kepler Problem: Group Theotretical Aspects, Regularization and Quantization, with Application to the Study of Perturbations , volume 29

    Bruno Cordani. The Kepler Problem: Group Theotretical Aspects, Regularization and Quantization, with Application to the Study of Perturbations , volume 29. Springer Science & Business Media, 2003

    work page 2003

  6. [6]

    Quantum monodromy and molecular spectroscopy

    MS Child. Quantum monodromy and molecular spectroscopy. Contemporary Physics, 55(3):212–221, 2014

    work page 2014

  7. [7]

    CO 2 molecule as a quantum realization of the 1:1:2 resonant swing-spring with monodromy

    RH Cushman, HR Dullin, A Giacobbe, DD Holm, M Joyeux, P Lynch, DA Sadovski´ ı, and BI Zhilinski´ ı. CO 2 molecule as a quantum realization of the 1:1:2 resonant swing-spring with monodromy. Physical review letters , 93(2):024302, 2004

    work page 2004

  8. [8]

    Finiteness of central configurations of five bodies in the plane

    Alain Albouy and Vadim Kaloshin. Finiteness of central configurations of five bodies in the plane. Annals of mathematics, pages 535–588, 2012

    work page 2012

  9. [9]

    The complex geometry of the spherical pendulum

    Frits Beukers and Richard Cushman. The complex geometry of the spherical pendulum. Contemporary mathematics, 292:47–70, 2002

    work page 2002

  10. [10]

    Monodromy of complexified planar kepler problem

    Shanzhong Sun and Peng You. Monodromy of complexified planar kepler problem. arXiv preprint arXiv:2209.00146, 2022

    work page arXiv 2022

  11. [11]

    The braid monodromy of plane algebraic curves and hyperplane arrange- ments

    Daniel C Cohen and Alexander I Suciu. The braid monodromy of plane algebraic curves and hyperplane arrange- ments. Commentarii Mathematici Helvetici , 72:285–315, 1997

    work page 1997

  12. [12]

    Braid monodromy and topology of plane curves

    Enrique Artal Bartolo, Jorge Carmona Ruber, and Jos´ e Ignacio Cogolludo-Agust´ ın. Braid monodromy and topology of plane curves. Duke Mathematical Journal , 118(2):261–278, 2003

    work page 2003

  13. [13]

    Principles of algebraic geometry

    Phillip Griffiths and Joseph Harris. Principles of algebraic geometry . John Wiley & Sons, 2014

    work page 2014

  14. [14]

    Tata Lectures on Theta II: Jacobian theta functions and differential equations

    David Mumford. Tata Lectures on Theta II: Jacobian theta functions and differential equations . Springer, 2007

    work page 2007

  15. [15]

    Integrable Systems in the Realm of Algebraic Geometry

    P Vanhaecke. Integrable Systems in the Realm of Algebraic Geometry . Springer, 2001

    work page 2001

  16. [16]

    Holomorphic symplectic geometry: a problem list

    Arnaud Beauville. Holomorphic symplectic geometry: a problem list. In Complex and Differential Geometry: Conference held at Leibniz Universit¨ at Hannover, September 14–18, 2009, pages 49–63. Springer, 2011

    work page 2009

  17. [17]

    Hyperkaehler and holomorphic symplectic geometry

    Misha Verbitsky. Hyperkaehler and holomorphic symplectic geometry. arXiv preprint alg-geom/9307009, 1993

    work page internal anchor Pith review Pith/arXiv arXiv 1993

  18. [18]

    The self-duality equations on a riemann surface

    Nigel J Hitchin. The self-duality equations on a riemann surface. Proceedings of the London Mathematical Society, 3(1):59–126, 1987

    work page 1987

  19. [19]

    Braid monodromy of algebraic curves

    Jos´ e Ignacio Cogolludo-Agust´ ın. Braid monodromy of algebraic curves. In Annales math´ ematiques Blaise Pascal, volume 18, pages 141–209, 2011

    work page 2011

  20. [20]

    Braids and Coverings: Selected Topics

    V Hansen. Braids and Coverings: Selected Topics . Cambridge University Press, 1989

    work page 1989

  21. [21]

    Mapping class groups and their relationship to braid groups

    Joan S Birman. Mapping class groups and their relationship to braid groups. Communications on Pure and Applied Mathematics, 22(2):213–238, 1969

    work page 1969

  22. [22]

    Hamiltonian monodromy via picard-lefschetz theory

    Michele Audin. Hamiltonian monodromy via picard-lefschetz theory. Communications in mathematical physics , 229:459–489, 2002

    work page 2002

  23. [23]

    Toward abel-jacobi theory for higher dimensional varieties

    Igor Reider. Toward abel-jacobi theory for higher dimensional varieties. In Algebraic Geometry: Proceedings of the International Conference held in L’Aquila, Italy, May 30–June 4, 1988 , pages 287–300. Springer, 2006. 14

    work page 1988