arxiv: 2605.05665 · v1 · submitted 2026-05-07 · 🧮 math.AG

Recognition: unknown

Geography and Deformations of mathbb{Z}₂^s-Covers of General Type Over Weighted Projective Threefolds

Jayan Mukherjee, Patricio Gallardo

Pith reviewed 2026-05-08 06:31 UTC · model grok-4.3

classification 🧮 math.AG

keywords Z_2^s-coversweighted projective threefoldsthreefolds of general typedeformation theorymoduli spacespluricanonical mapsHunt conjectureinvariant ratios

0 comments

The pith

Z_2^s-covers of weighted projective threefolds have invariants expressible as functions of branch divisor degree ratios, which yields asymptotics, bounds, and a counterexample to Hunt's conjecture.

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

The paper shows how to write the ratios of volume to Euler characteristics for these covers directly in terms of the degree ratios of the branch divisors to the total degree. This functional dependence immediately gives their limiting behavior for large degrees and concrete bounds on possible values. It also supplies an explicit counterexample to the conjecture that smooth threefolds cannot occupy a certain region in the space of invariants. On the deformation side, the standard criterion for a cover to be general in its moduli is extended to bases with isolated singularities and to non-flat covers whose structure sheaf pushes forward as a sum of reflexive sheaves rather than line bundles. Fourier analysis on the group Z_2^s then classifies the cases where the cover is a flat pluricanonical map, producing exactly 32 deformation types when s is at least 2 and showing that non-flat canonical and bicanonical examples exist for every large s.

Core claim

Expressing the ratios of the volume to the topological and holomorphic Euler characteristics as functions of the ratios of the degree of the branch divisors with respect to the total degree allows derivation of asymptotic behavior, bounds, and a counterexample to Bruce Hunt's conjecture about the non-existence of smooth threefolds in a forbidden zone. The deformation criterion is extended to weighted projective threefolds with isolated singularities and non-flat covers. Fourier transforms on finite groups classify flat pluricanonical maps, yielding 32 deformation types for s >= 2 and non-flat canonical and bicanonical covers for arbitrarily large s.

What carries the argument

The Z_2^s-cover over a weighted projective threefold, together with the splitting of the pushforward of its structure sheaf into a direct sum of reflexive sheaves and the use of Fourier transforms on the group to determine when the cover is flat pluricanonical.

If this is right

The ratios of invariants are determined by degree ratios of branch divisors, giving explicit asymptotics and bounds.
A concrete counterexample exists to Hunt's conjecture on forbidden zones for smooth threefolds of general type.
The deformation criterion extends to non-flat covers and bases with isolated singularities, yielding new criteria for moduli components.
There are exactly 32 deformation types of such covers for s >= 2.
Non-flat canonical and bicanonical Z_2^s-covers exist for arbitrarily large s.

Where Pith is reading between the lines

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

The same degree-ratio method could be used to study invariants of covers by other finite groups over similar bases.
The existence of non-flat examples for large s suggests that flatness is not necessary for constructing many components in the moduli space.
Classification via group Fourier transforms may extend to pluricanonical maps for other group actions in higher dimensions.
The counterexample indicates that the geography of threefolds of general type allows more flexibility than the conjecture allowed.

Load-bearing premise

The branch divisors are chosen such that the Z_2^s-cover is of general type and the pushforward of the structure sheaf splits as a direct sum of reflexive sheaves.

What would settle it

An explicit Z_2^s-cover of a weighted projective threefold whose computed invariant ratios fail to equal the predicted functions of the branch degree ratios, despite satisfying the splitting condition.

Figures

Figures reproduced from arXiv: 2605.05665 by Jayan Mukherjee, Patricio Gallardo.

**Figure 1.** Figure 1: Asymptotic Chern ratios for Z s 2 -covers of WP3 Chern ratio of some surface [Som84]; and there is a subtle relationship between accumulation points of the ratios with the geometry of the surfaces [RU15]. In the case of threefolds, we need three invariants: the volume K3 X, the holomorphic Euler characteristic χ(OX), and the topological Euler characteristic e(X)—that is, their Chern numbers when X is smoot… view at source ↗

read the original abstract

We study threefolds of general type constructed as $\mathbb{Z}_2^s$-covers of weighted projective spaces with a particular focus on their invariants, deformation theory, and the behavior of the $m$-canonical map. For the invariants, we write the ratios of the volume to the topological and holomorphic Euler characteristics as functions of the ratios of the degree of the branch divisors with respect to the total degree. From this expression, we obtain their asymptotic behavior, bounds, and a counterexample to a conjecture made by Bruce Hunt about the non-existence of smooth threefolds in a forbidden zone. From the perspective of deformation theory, we extend the criterion for such covers to be general in their moduli to the case when the weighted projective threefold has isolated singularities and the cover is non-flat, i.e., the pushforward of the structure sheaf splits as a direct sum of reflexive sheaves as opposed to line bundles. As an application, we present new numerical criteria for constructing components of the moduli spaces of stable threefolds and give concrete examples illustrating their application. Finally, we introduce techniques from Fourier transforms on finite groups to completely classify when a $\mathbb{Z}_2^s$-cover is a flat pluricanonical map. For $s \geq 2$, there are $32$ deformation types. We also show that there exist non-flat canonical and bicanonical $\mathbb{Z}_2^s$-covers for arbitrarily large values of $s$.

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.

Desk Editor's Note private letter to a colleague

The paper gives concrete formulas for the invariants and a counterexample to Hunt's conjecture, plus a clean classification of 32 deformation types, but the extension of the deformation criterion to non-flat covers over singular bases looks like the part that needs the most checking.

read the letter

The punchline is that this work turns the invariants of Z_2^s-covers into explicit functions of the branch divisor degree ratios. That lets them read off asymptotics, bounds, and a counterexample to Hunt's conjecture on the forbidden zone for smooth threefolds of general type. They also classify the flat pluricanonical maps into 32 deformation types for s at least 2 using Fourier analysis on the group, and they show non-flat canonical and bicanonical examples exist for arbitrarily large s. Those are the parts that feel like actual progress on the geography side and on the moduli construction side. The numerical criteria for stable threefold components and the concrete examples are practical bonuses that follow directly from the formulas. The deformation extension to non-flat covers over weighted projective threefolds with isolated singularities is the other main claim. They replace the usual line-bundle splitting with reflexive sheaves and argue the same numerical conditions on the branch divisors still make the cover general in its moduli. The stress-test note is right to flag this: when the base is singular and the cover is non-flat, the local Ext groups and the equivariant deformation functor can pick up extra terms that flatness normally kills. If the paper only invokes the splitting without controlling those local contributions or the spectral sequence adjustments at the singular points, the extension does not automatically carry over. I would want to see the explicit local calculation or the vanishing argument before treating the criterion as settled. The paper is written for people who already work on moduli of threefolds of general type and on covers of weighted projective spaces. A reader who cares about explicit geography or about building components of the moduli space will get usable formulas and examples out of it. The classification via Fourier transforms is a nice technical tool that others might borrow. It deserves a serious referee. The results are specific enough that a referee can check the formulas and the counterexample directly, and the deformation claim is important enough to test carefully rather than desk-reject. I would send it out, but with a note to the referees to focus on the singular non-flat case.

Referee Report

2 major / 2 minor

Summary. The manuscript studies threefolds of general type obtained as Z_2^s-covers of weighted projective threefolds. It expresses the ratios of volume to topological and holomorphic Euler characteristics as functions of the ratios of the degrees of the branch divisors, derives their asymptotic behavior and bounds, and provides a counterexample to Bruce Hunt's conjecture on the non-existence of smooth threefolds in a forbidden zone. It extends the deformation-theoretic criterion for such covers to be general in their moduli to the setting of isolated singularities on the base when the cover is non-flat (i.e., when π_*O_X decomposes as a direct sum of reflexive sheaves). The paper supplies new numerical criteria for constructing components of the moduli space of stable threefolds, classifies flat pluricanonical maps via Fourier analysis on finite groups (yielding 32 deformation types for s ≥ 2), and shows that non-flat canonical and bicanonical Z_2^s-covers exist for arbitrarily large s.

Significance. If the derivations and the extension of the deformation criterion hold, the work contributes concrete parameter-dependent expressions for invariants of general type threefolds and a counterexample to an existing conjecture. The classification of 32 deformation types via Fourier transforms on groups is a methodological contribution that could apply more broadly. The numerical criteria for moduli components are potentially useful for constructing examples, provided the non-flat extension is rigorously justified.

major comments (2)

[§4] §4 (extension of deformation criterion): The central extension from the flat case to non-flat covers over bases with isolated singularities assumes that the splitting of π_*O_X into reflexive sheaves suffices to ensure the cover is general in its moduli without additional obstruction terms. The manuscript does not appear to include explicit local computations of Ext groups at the singular points or a verification that the local-to-global spectral sequence introduces no extra terms beyond those controlled by the numerical conditions on branch divisor degrees; this is load-bearing for the claim that the same numerical criteria continue to apply.
[§5] §5 (classification of flat pluricanonical maps): The statement that there are exactly 32 deformation types for s ≥ 2 is presented as a complete classification obtained via Fourier transforms, but the text does not clarify whether this enumeration assumes a fixed action or covers all possible equivariant structures; an explicit count or generating function would make the result easier to verify.

minor comments (2)

The notation for the degree ratios of the branch divisors is introduced in the invariants section but could be defined once in the introduction or preliminaries to improve readability.
A brief comparison table of the new numerical criteria with those in the flat case would help readers see the precise extension.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, providing clarifications and indicating revisions where they strengthen the exposition without altering the core results.

read point-by-point responses

Referee: [§4] §4 (extension of deformation criterion): The central extension from the flat case to non-flat covers over bases with isolated singularities assumes that the splitting of π_*O_X into reflexive sheaves suffices to ensure the cover is general in its moduli without additional obstruction terms. The manuscript does not appear to include explicit local computations of Ext groups at the singular points or a verification that the local-to-global spectral sequence introduces no extra terms beyond those controlled by the numerical conditions on branch divisor degrees; this is load-bearing for the claim that the same numerical criteria continue to apply.

Authors: We agree that the justification for the non-flat extension would benefit from greater explicitness. The argument relies on the isolated nature of the singularities and the reflexive sheaf decomposition ensuring that local obstructions at singular points are governed by the same numerical conditions on branch divisor degrees as in the smooth case, with the local-to-global spectral sequence contributing no additional terms. To address the concern directly, we will add a short subsection containing the local Ext computations at the singular points, verifying the absence of extra obstruction terms. This will make the extension fully rigorous while preserving the numerical criteria. revision: yes
Referee: [§5] §5 (classification of flat pluricanonical maps): The statement that there are exactly 32 deformation types for s ≥ 2 is presented as a complete classification obtained via Fourier transforms, but the text does not clarify whether this enumeration assumes a fixed action or covers all possible equivariant structures; an explicit count or generating function would make the result easier to verify.

Authors: The classification enumerates all possible equivariant structures for Z_2^s-covers via the Fourier analysis on the group, without restricting to a fixed action. The count of 32 arises from admissible combinations of characters satisfying the pluricanonical condition for s ≥ 2. We will revise §5 to include an explicit generating function (or a tabulated breakdown of the character combinations) that yields the total of 32, thereby making the enumeration transparent and readily verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations are direct computations from construction

full rationale

The paper derives invariant ratios explicitly as functions of branch divisor degree ratios from the Z_2^s-cover construction, obtains asymptotics and bounds by direct analysis of those expressions, and produces the counterexample to Hunt's conjecture from the same formulas. The deformation criterion is extended using standard techniques for reflexive sheaves and equivariant deformations on singular bases, without reducing the tangent space or obstruction vanishing to a fitted parameter or prior self-result by construction. The classification of 32 deformation types and non-flat pluricanonical maps employs Fourier analysis on finite groups as an independent tool. No load-bearing step equates a prediction to its input by definition, and all claims rest on explicit algebraic computations and external group-theoretic methods rather than self-referential closure.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms from algebraic geometry regarding sheaves, covers, and moduli spaces. No new free parameters or invented entities are apparent from the abstract; the results are derived from the geometry of the covers.

axioms (2)

domain assumption Standard assumptions in algebraic geometry that the branch divisors are chosen so that the cover is of general type and has the required positivity.
Invoked to ensure the constructed objects are threefolds of general type.
domain assumption The weighted projective space has isolated singularities and the cover pushforward splits into reflexive sheaves.
Used in the extension of the deformation criterion to non-flat cases.

pith-pipeline@v0.9.0 · 5568 in / 1799 out tokens · 59471 ms · 2026-05-08T06:31:08.584375+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 2 canonical work pages

[1]

Explicit compactifications of moduli spaces of campedelli and burniat surfaces.arXiv preprint arXiv:0901.4431,

[AP09] Valery Alexeev and Rita Pardini. Explicit compactifications of moduli spaces of campedelli and burniat surfaces.arXiv preprint arXiv:0901.4431,

work page arXiv
[2]

Chen, Meng Chen, and Chen Jiang

[CCJ07] Jungkai A. Chen, Meng Chen, and Chen Jiang. The noether inequality for algebraic 3-folds.Duke Math. J. 169 (2020), 9:1603–1645,

2020
[3]

The noether inequality for 3-folds and three moduli spaces with minimal volumes.Proceedings of the London Mathematical Society 131 (2025), 131,

[CHJ25] Meng Chen, Yong Hu, and Chen Jiang. The noether inequality for 3-folds and three moduli spaces with minimal volumes.Proceedings of the London Mathematical Society 131 (2025), 131,

2025
[4]

A linear bound on the euler number of threefolds of calabi-yau and of general type.Manuscripta Math

[CL01] Mei-Chu Chang and Angelo Felice Lopez. A linear bound on the euler number of threefolds of calabi-yau and of general type.Manuscripta Math. 105 (2001), 1:47–67,

2001
[5]

On the canonical degrees of gorenstein threefolds of general type.Geom

[DG16] Rong Du and Yun Gao. On the canonical degrees of gorenstein threefolds of general type.Geom. Dedicata 185 (2016),

2016
[6]

Grothendieck, given at Harvard 1963/64, With an appendix by P

Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, With an appendix by P. Deligne. [HH90] Friedrich Hirzebruch and Thomas H¨ ofer. On the Euler number of an orbifold.Mathematische An- nalen, 286:255–260,

1963
[7]

Complex manifold geography in dimension 2 and 3.J

[Hun06] Bruce Hunt. Complex manifold geography in dimension 2 and 3.J. Differential Geom. 30 (1989), 1:51–153,

1989
[8]

[IF00] A. R. Iano-Fletcher.Working with weighted complete intersections. Explicit birational geometry of 3- folds, 101–173.London Math. Soc. Lecture Note Ser., 281, Cambridge University Press, Cambridge, 2000 ISBN:0-521-63641-8,

2000
[9]

On the moduli space of diffeomorphic algebraic surfaces.Invent

[Man95] Marco Manetti. On the moduli space of diffeomorphic algebraic surfaces.Invent. Math. 143 (2001), no. 1, 29–76.,

2001
[10]

Non-normal abelian covers.Compositio Mathematica

[VR12] Alexeev V and Pardini R. Non-normal abelian covers.Compositio Mathematica. 2012;148(4):1051-

2012
[11]

doi:10.1112/S0010437X11007482,

work page doi:10.1112/s0010437x11007482
[12]

Cyclic coverings: deformation and torelli theorem.Math

[Weh86] Joachim Wehler. Cyclic coverings: deformation and torelli theorem.Math. Ann.274(1986), no.3, 443–472.,

1986