On the meagerness of the set of irregular bundles on Hopf surfaces
Pith reviewed 2026-05-07 15:32 UTC · model grok-4.3
The pith
The subset of irregular bundles is meager in the moduli space of stable bundles on a Hopf surface.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let M_{r,c} denote the moduli space of stable bundles with rank r and second Chern class c>0 on a Hopf surface. We prove that the subset of M_{r,c} formed by irregular bundles is meager.
What carries the argument
The Baire category theorem applied to the moduli space M_{r,c} to establish that the locus of irregular bundles is meager.
If this is right
- Regular bundles are dense in M_{r,c} in the Baire sense.
- The typical point of the moduli space corresponds to a regular bundle.
- Properties that hold for all regular bundles hold for a comeager collection of points in M_{r,c}.
- The geometry and invariants of the moduli space are governed by its regular locus.
Where Pith is reading between the lines
- Calculations or classifications that assume regularity will apply to the generic case without loss.
- The same meagerness technique could be tested on moduli spaces of bundles over other non-Kähler surfaces.
- One could look for explicit families of irregular bundles and check whether they lie in lower-dimensional strata.
Load-bearing premise
The definition of an irregular bundle combines with the topology on M_{r,c} in a way that lets the Baire category theorem apply directly.
What would settle it
An explicit non-empty open subset of M_{r,c} consisting only of irregular bundles would falsify the claim.
read the original abstract
Let $\mathcal M_{r,c}$ denote the moduli space of stable bundles with rank $r$ and second Chern class $c>0$ on a Hopf surface. We prove that the subset of $\mathcal M_{r,c}$ formed by irregular bundles is meager.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that the subset of irregular bundles in the moduli space M_{r,c} of stable rank-r bundles with fixed positive second Chern class c on a Hopf surface is meager in the Baire-category sense.
Significance. If the central claim holds, the result establishes a genericity statement: regular bundles are comeager in M_{r,c}. This is a non-trivial assertion about the distribution of cohomological or stability properties in families of bundles on non-Kähler surfaces and could inform further work on moduli spaces of bundles over Hopf surfaces.
major comments (1)
- [Main proof section] The Baire-category argument requires that the irregular locus be expressed as a countable union of closed nowhere-dense subsets of M_{r,c}. The manuscript does not explicitly verify closedness of the irregularity strata (e.g., via upper semicontinuity of cohomology or Ext groups) nor emptiness of interior in the topology on M_{r,c}; this verification is load-bearing for the main theorem.
minor comments (2)
- [Abstract] The abstract and introduction should include an explicit definition of 'irregular bundle' (e.g., in terms of a numerical or cohomological condition) before stating the result.
- Notation for the moduli space alternates between script M and plain M; a single consistent notation would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need for explicit verification of the topological properties required by the Baire-category argument. We have revised the manuscript to supply these details.
read point-by-point responses
-
Referee: [Main proof section] The Baire-category argument requires that the irregular locus be expressed as a countable union of closed nowhere-dense subsets of M_{r,c}. The manuscript does not explicitly verify closedness of the irregularity strata (e.g., via upper semicontinuity of cohomology or Ext groups) nor emptiness of interior in the topology on M_{r,c}; this verification is load-bearing for the main theorem.
Authors: We agree that the argument benefits from an explicit treatment. Closedness of each irregularity stratum follows from the upper semicontinuity of the function assigning to a bundle the dimension of the relevant cohomology group (or Ext group) that measures irregularity; this semicontinuity holds with respect to the analytic topology on the moduli space because the bundles are realized as fibers of a universal family over an open subset of a Hilbert scheme or Quot scheme. In the revised manuscript we have added a short subsection (now Section 3.2) that recalls the semicontinuity theorem for coherent sheaves on the universal family and applies it directly to the irregularity function, thereby proving each stratum is closed. For the nowhere-dense property, we show that no stratum contains a nonempty open set by constructing, inside any neighborhood of an irregular bundle, a deformation to a regular stable bundle; this is achieved by varying the extension class in a way that reduces the cohomology dimension while preserving stability, using the fact that the space of extensions is irreducible and the regular locus is Zariski-open in the deformation space. These additions render the countable-union argument fully rigorous without altering the main theorem. revision: yes
Circularity Check
No circularity; standard Baire-category proof on explicitly defined strata.
full rationale
The paper asserts that the irregular locus inside the moduli space M_{r,c} of stable bundles on a Hopf surface is meager. This is a direct existence claim proved by showing the locus is a countable union of closed nowhere-dense sets, which is the standard application of the Baire category theorem once the topology on M_{r,c} and the closedness/empty-interior properties of the irregularity strata are verified from the definitions. No step reduces a claimed prediction or uniqueness result to a fitted parameter, a self-referential definition, or a load-bearing self-citation; the derivation therefore remains self-contained against external topological and algebro-geometric inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Hopf surfaces carry a natural complex structure and admit a well-defined notion of stable holomorphic vector bundles.
- domain assumption The subset of irregular bundles is closed or has the topological properties needed for a Baire-category argument.
Reference graph
Works this paper leans on
-
[1]
M. F. Atiyah, Vector bundles over an elliptic curve , Proc. London MaThm. Soc. (3) 7 (1957) 414--452
work page 1957
-
[2]
E. Ballico, E. Gasparim, Irregular bundles on Hopf surfaces , Sigma-Mathematics MDPI 13 (20) (2025) 3356
work page 2025
-
[3]
E. Ballico, E. Gasparim, Higher rank bundles on Hopf surfaces ,arXiv:2602.06936
-
[4]
E. Ballico, E. Gasparim, F. Rubilar, B. Suzuki, The Kuranishi map for vector bundles on certain products of curves , Topolology Appl. 312 (2022) 108056, 12 pp
work page 2022
-
[5]
P. J. Braam and J. Hurtubise, Instantons on Hopf surfaces and monopoles on solid tori , J. Reine Angew. MaThm. 400 (1989) 146--172
work page 1989
-
[6]
Fischer, Complex Analytic Geometry , Lect
G. Fischer, Complex Analytic Geometry , Lect. Notes in MaThm. 538 Berlin--Heidelberg--New York (1976)
work page 1976
-
[7]
Friedman, Algebraic Surfaces and Holomorphic Vector Bundles , Springer, New York (2012)
R. Friedman, Algebraic Surfaces and Holomorphic Vector Bundles , Springer, New York (2012)
work page 2012
-
[8]
R. Friedman, J. Morgan, E. Witten, Vector bundles over elliptic fibrations , J. Algebraic Geom. 2 (1999) 279-401
work page 1999
-
[9]
Gasparim, Connected moduli of instantons on S^3 S^1 , arXiv:2508.19039
E. Gasparim, Connected moduli of instantons on S^3 S^1 , arXiv:2508.19039
-
[10]
Witten,Instantons and the largeN= 4algebra,J
E. Witten, Instantons and the large N=4 algebra , J. Phys. A: Math. Theor. 58 (2025) 035403, arXiv:2407.20964
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.