pith. sign in

arxiv: 2604.17044 · v1 · submitted 2026-04-18 · 🧮 math.DG

Deformation rigidity for Z/2 eigensections

Andriy Haydys , Siqi He , Willem Adriaan Salm This is my paper

Pith reviewed 2026-05-10 06:37 UTC · model grok-4.3

classification 🧮 math.DG
keywords deformation rigidityZ/2 eigensectionsLaplacian on S^2flat real line bundlebranch-point configurationminimal critical sectionsSO(3) rotations
0
0 comments X

The pith

Every minimal non-degenerate critical Z/2 eigensection is deformation rigid: small changes to its branch-point configuration that preserve criticality must arise from an SO(3) rotation.

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

The paper proves that certain critical eigensections of the Laplacian on the two-sphere, linked to branch-point configurations defining a flat real line bundle, cannot be deformed freely while remaining critical. When the eigensection is minimal and non-degenerate, any sufficiently small change in the configuration that still supports a critical eigensection must come from rotating the sphere via an element of SO(3). This extends earlier observations of the same rigidity in specially symmetric examples. A reader cares because the result limits how these eigensections can vary locally, shaping the structure of the space of admissible configurations. It supplies a general mechanism that forces deformations to respect the sphere's rotational symmetry rather than allowing arbitrary shifts.

Core claim

We prove a rigidity result for certain critical Z/2 eigensections of the Laplacian on S^2 associated to a flat real line bundle determined by a branch-point configuration. More precisely, we show that every minimal non-degenerate critical eigensection is deformation rigid: any sufficiently small deformation of the configuration that still admits a critical eigensection must come from an SO(3)-rotation. This generalizes the rigidity phenomenon previously discovered in symmetric examples of Taubes-Wu.

What carries the argument

The minimal non-degenerate critical Z/2 eigensection of the Laplacian on S^2, tied to the flat real line bundle fixed by a branch-point configuration, which enforces that preserving deformations are only those induced by SO(3) rotations.

Load-bearing premise

The eigensection must be minimal and non-degenerate, and the deformations must remain within configurations that continue to admit a critical eigensection.

What would settle it

Exhibit an explicit minimal non-degenerate critical Z/2 eigensection together with a small non-rotational change to its branch-point configuration such that the deformed configuration still admits a critical eigensection.

read the original abstract

We prove a rigidity result for certain critical Z/2 eigensections of the Laplacian on S^2 associated to a flat real line bundle determined by a branch-point configuration. More precisely, we show that every minimal non-degenerate critical eigensection is deformation rigid: any sufficiently small deformation of the configuration that still admits a critical eigensection must come from an SO(3)-rotation. This generalizes the rigidity phenomenon previously discovered in symmetric examples of Taubes-Wu.

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

0 major / 2 minor

Summary. The manuscript proves a deformation rigidity theorem for minimal non-degenerate critical Z/2 eigensections of the Laplacian on S^2. These are associated to flat real line bundles determined by branch-point configurations. The central claim is that any sufficiently small deformation of the configuration that continues to admit a critical eigensection must arise from an SO(3) rotation. The result generalizes the rigidity previously found by Taubes and Wu in symmetric examples.

Significance. If the result holds, it strengthens the analytic understanding of rigidity phenomena for critical eigensections with Z/2 symmetry on the sphere. The generalization beyond symmetric cases, under the standard assumptions of minimality and non-degeneracy, is a clear advance. The approach relies on direct analytic arguments without free parameters, ad-hoc axioms, or circular reductions, which is a strength for a result in this area of geometric analysis.

minor comments (2)
  1. The introduction could include a short paragraph recalling the precise definition of a branch-point configuration and the associated flat real line bundle, to make the setup self-contained for readers who have not studied the Taubes-Wu examples in detail.
  2. Notation for the eigensection space and the deformation parameter space is introduced gradually; a single consolidated notation table or diagram in §2 would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No major comments were raised in the report, so we have no specific points to address point-by-point. We will make any minor editorial or presentational adjustments as needed in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims a deformation rigidity result for minimal non-degenerate critical Z/2 eigensections of the Laplacian on S^2, where the flat line bundle is fixed by a branch-point configuration. The abstract states that any sufficiently small deformation preserving the existence of a critical eigensection must arise from an SO(3) rotation, generalizing symmetric examples from Taubes-Wu. No equations, linearized operators, or proof steps are supplied that reduce the rigidity statement to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation is presented as resting on direct analytic arguments (implicit function theorem, spectral gaps, non-degeneracy), which remain independent of the target conclusion and do not collapse to the input data by construction. This is the expected self-contained case for a rigidity theorem in geometric analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts from differential geometry and analysis that are not derived in the paper; no free parameters or invented entities are visible from the abstract.

axioms (2)
  • standard math The Laplacian on sections of a flat real line bundle over S^2 determined by branch points is well-defined and self-adjoint.
    Invoked implicitly by the setup of critical eigensections.
  • standard math SO(3) acts on configurations and eigensections by rotations.
    Used to identify the trivial deformations.

pith-pipeline@v0.9.0 · 5370 in / 1334 out tokens · 55960 ms · 2026-05-10T06:37:52.249498+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

16 extracted references · 16 canonical work pages

  1. [1]

    On the existence and rigidity of criticalZ/2 eigenvalues.arXiv preprint arXiv:2404.05387, 2024

    Jiahuang Chen and Siqi He. On the existence and rigidity of criticalZ/2 eigenvalues.arXiv preprint arXiv:2404.05387, 2024

    work page arXiv 2024

  2. [2]

    Adiabatic limits of co-associative Kovalev-Lefschetz fibrations

    Simon Donaldson. Adiabatic limits of co-associative Kovalev-Lefschetz fibrations. InAlgebra, geometry, and physics in the 21st century, volume 324 ofProgr. Math., pages 1–29. Birkh¨ auser/Springer, Cham, 2017

    work page 2017

  3. [3]

    Deformations of multivalued harmonic functions.Q

    Simon Donaldson. Deformations of multivalued harmonic functions.Q. J. Math., 72(1-2):199–235, 2021

    work page 2021

  4. [4]

    arXiv preprint arXiv:2603.27168 , year=

    Federico Franceschini, Rafe Mazzeo, and Paul Minter. Minimal surfaces with stratified branching sets. arXiv preprint arXiv:2603.27168, 2026

    work page arXiv 2026

  5. [5]

    An index theorem forZ/2-harmonic spinors branching along a graph.arXiv preprint arXiv:2310.15295, 2023

    Andriy Haydys, Rafe Mazzeo, and Ryosuke Takahashi. An index theorem forZ/2-harmonic spinors branching along a graph.arXiv preprint arXiv:2310.15295, 2023. Version 2, 2025

    work page arXiv 2023

  6. [6]

    Search forZ/2 eigenfunctions on the sphere using machine learning.arXiv preprint arXiv:2507.13122, 2025

    Andriy Haydys and Willem Adriaan Salm. Search forZ/2 eigenfunctions on the sphere using machine learning.arXiv preprint arXiv:2507.13122, 2025

    work page arXiv 2025

  7. [7]

    A compactness theorem for the Seiberg–Witten equation with multiple spinors in dimension three.Geom

    Andriy Haydys and Thomas Walpuski. A compactness theorem for the Seiberg–Witten equation with multiple spinors in dimension three.Geom. Funct. Anal., 25(6):1799–1821, 2015

    work page 2015

  8. [8]

    The branched deformations of the special Lagrangian submanifolds.Geom

    Siqi He. The branched deformations of the special Lagrangian submanifolds.Geom. Funct. Anal., 33(5):1266–1321, 2023

    work page 2023

  9. [9]

    Parker.Z 2-harmonic spinors and 1-forms on connected sums and torus sums of 3-manifolds.arXiv preprint arXiv:2407.10922, 2024

    Siqi He and Gregory J. Parker.Z 2-harmonic spinors and 1-forms on connected sums and torus sums of 3-manifolds.arXiv preprint arXiv:2407.10922, 2024

    work page arXiv 2024

  10. [10]

    Gregory J. Parker. Deformations ofZ 2-harmonic spinors on 3-manifolds.Geom. Funct. Anal., 2026

    work page 2026

  11. [11]

    Clifford H. Taubes. Compactness theorems for SL(2;C) generalizations of the 4-dimensional anti-self dual equations.arXiv preprint arXiv:1307.6447, 2013. Version 5, 2020

    work page arXiv 2013

  12. [12]

    Clifford H. Taubes. PSL(2;C) connections on 3-manifolds with L 2 bounds on curvature.Camb. J. Math., 1(2):239–397, 2013. Corrigendum: Camb. J. Math. 3 (2015), no. 4, 619–631

    work page 2013

  13. [13]

    Clifford H. Taubes. The zero loci ofZ/2 harmonic spinors in dimension 2, 3 and 4.arXiv preprint arXiv:1407.6206, 2014

    work page Pith review arXiv 2014

  14. [14]

    Taubes and Yingying Wu

    Clifford H. Taubes and Yingying Wu. Examples of singularity models forZ/2 harmonic 1-forms and spinors in dimension three. InProceedings of the G¨ okova Geometry-Topology Conferences 2018/2019, pages 37–66. International Press, Somerville, MA, 2020

    work page 2018

  15. [15]

    Taubes and Yingying Wu

    Clifford H. Taubes and Yingying Wu. Topological aspects ofZ/2Zeigenfunctions for the Laplacian on S2.J. Differential Geom., 128:379–462, 2024

    work page 2024

  16. [16]

    On the compactness problem for a family of generalized Seiberg– Witten equations in dimension three.Duke Math

    Thomas Walpuski and Boyu Zhang. On the compactness problem for a family of generalized Seiberg– Witten equations in dimension three.Duke Math. J., 170(17):3891–3934, 2021

    work page 2021