The distribution of semi-integral points on a class of singular cubic hypersurfaces

Haruki Ito

arxiv: 2605.22371 · v1 · pith:NRIVSQA2new · submitted 2026-05-21 · 🧮 math.NT

The distribution of semi-integral points on a class of singular cubic hypersurfaces

Haruki Ito This is my paper

Pith reviewed 2026-05-22 03:36 UTC · model grok-4.3

classification 🧮 math.NT

keywords semi-integral pointscubic hypersurfaceManin's conjectureasymptotic formulasingular varietycounting functiona-invariantb-invariant

0 comments

The pith

Semi-integral points on the family of cubic hypersurfaces X_k admit an asymptotic counting formula that matches the a and b invariants from Manin's conjecture.

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

The paper derives an asymptotic formula for the number of semi-integral points on the cubic hypersurface X_k given by x cubed minus the sum of 4k y squares times z equals zero. This formula is shown to coincide with the predictions of Manin's conjecture applied to M-points, specifically matching the a-invariant and b-invariant without needing adjustments. A reader would care because it provides a concrete verification of how point distribution behaves on these singular varieties using semi-integral points, which generalize integral points in a controlled way. The result holds for any positive integer k and relies on the particular number of square terms in the defining equation.

Core claim

Let k be a positive integer and let X_k be the cubic hypersurface defined by the equation x^3 - (y_1^2 + ... + y_{4k}^2) z = 0. We give an asymptotic formula for the counting function of semi-integral points on X_k. We also prove that this asymptotic formula agrees with Manin's conjecture for M-points on the a-invariant and the b-invariant.

What carries the argument

The hypersurface X_k with its equation involving exactly 4k squares, which enables the independent derivation of the asymptotic for semi-integral points and direct identification with the geometric invariants.

If this is right

The count of semi-integral points grows like the predicted leading term from the a-invariant.
The secondary growth is controlled by the b-invariant as in the conjecture.
This agreement holds specifically for the semi-integral points on this class of singular cubics.
The formula can be derived directly from the equation without relying on general position assumptions.

Where Pith is reading between the lines

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

This approach might extend to counting other types of points like integral points on similar hypersurfaces.
Similar results could inform the behavior of Manin's conjecture on other singular varieties with quadratic terms.
Computational verification for small values of k could test the accuracy of the error terms in the asymptotic.

Load-bearing premise

The definition of semi-integral points together with the specific choice of 4k squares in the equation for X_k permits an independent derivation of the asymptotic whose leading constant can be identified with the geometrically defined a and b invariants without post-hoc adjustment.

What would settle it

Computing the exact count of semi-integral points on X_1 for a large height bound and comparing it to the predicted asymptotic to see if the main terms match.

read the original abstract

Let $k$ be a positive integer and let $X_k$ be the cubic hypersurface defined by the equation $x^3-(y_1^2+\cdots+y_{4k}^2)z=0$. In this paper, we give an asymptotic formula for the counting function of semi-integral points on $X_k$. We also prove that this asymptotic formula agrees with Manin's conjecture for $\mathcal{M}$-points \cite[Conjecture~1.4]{Moe26a} on the $a$-invariant and the $b$-invariant.

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

Ito derives an asymptotic for semi-integral points on the family X_k of singular cubics with 4k squares and checks agreement with Manin's a and b invariants.

read the letter

The main takeaway is that this paper produces an asymptotic formula for the number of semi-integral points on the cubic hypersurface X_k given by x^3 minus (sum of 4k squares) times z equals zero, and then shows that the leading constant lines up with the a and b invariants from Manin's conjecture for M-points. The family with exactly 4k squares is the new element; it lets the author control the singular locus and use representation properties of sums of squares in a way that earlier results on other singular cubics did not directly cover. The work follows standard circle-method or adelic techniques for these problems but applies them to this parametric setup to get an explicit main term. That explicit check for a concrete family is useful evidence inside arithmetic geometry. The soft spot is the leading constant. The abstract states that the asymptotic is derived first and then shown to agree with the geometric invariants, which would make the verification independent. Still, because the equation itself encodes the 4k squares, it is worth checking whether the local densities or the main term already incorporate the same data used to define a and b, or whether the constant is recovered purely from the geometry of the variety. If the derivation is fully independent, the agreement is a genuine data point; if not, the claim is weaker. This is the sort of paper that people working on Manin's conjecture for singular hypersurfaces or on counting integral points via analytic methods would want to see. A reader focused on explicit asymptotics or on testing the conjecture in controlled singular cases gets the most out of it. I would send it to referees because it supplies a new family with a verifiable asymptotic, even if revisions on the constant calculation might be needed.

Referee Report

2 major / 2 minor

Summary. The manuscript considers the singular cubic hypersurface X_k defined by x^3 - (sum_{i=1 to 4k} y_i^2) z = 0. It establishes an asymptotic formula for the counting function of semi-integral points of bounded height and proves that the leading constant in this asymptotic agrees with the a-invariant and b-invariant predicted by Manin's conjecture for M-points.

Significance. If the derivation holds, the result supplies an explicit asymptotic count in a singular cubic setting with a controlled number of squares, furnishing concrete evidence for a variant of Manin's conjecture on semi-integral points and illustrating how geometric invariants can be recovered from arithmetic data on this family.

major comments (2)

[Theorem 1.2 / §4] Theorem 1.2 (or the main asymptotic statement): the leading constant is asserted to match the geometrically defined a- and b-invariants without post-hoc fitting, yet the local-density computations rely on the specific choice of 4k squares to control the singular locus and representation numbers; an explicit separation between the arithmetic derivation of the constant (via circle method or adelic integrals) and the independent geometric computation of the invariants is needed to confirm the agreement is non-circular.
[§2] Definition of semi-integral points and height function (§2): the precise notion of semi-integral points (likely involving denominators controlled by the 4k squares) must be shown to be compatible with the M-points in the cited conjecture without implicitly encoding the same geometric data used for the b-invariant; otherwise the verification reduces to a consistency check rather than an independent test.

minor comments (2)

[Introduction] The introduction should include a brief comparison with existing results on point counts for singular cubics (e.g., works using the circle method on similar equations) to clarify the novelty.
[§1] Notation for the height function and the precise range of summation in the counting function could be made more explicit to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and have revised the manuscript to improve the clarity of the separation between the geometric and arithmetic parts of the argument.

read point-by-point responses

Referee: [Theorem 1.2 / §4] Theorem 1.2 (or the main asymptotic statement): the leading constant is asserted to match the geometrically defined a- and b-invariants without post-hoc fitting, yet the local-density computations rely on the specific choice of 4k squares to control the singular locus and representation numbers; an explicit separation between the arithmetic derivation of the constant (via circle method or adelic integrals) and the independent geometric computation of the invariants is needed to confirm the agreement is non-circular.

Authors: We appreciate the referee's observation on the need for a clearer separation. In the revised version we have inserted a new subsection 4.1 that first recalls the purely geometric definitions of the a-invariant (via the anticanonical class) and the b-invariant (via the rank of the relevant Picard group for M-points, following the cited conjecture) without any reference to local densities or the circle method. Only after this geometric computation do we turn, in subsection 4.2, to the analytic derivation of the leading constant via the circle method. The local densities are computed directly from the defining equation of X_k and the fixed number 4k of square variables; these computations make no use of the previously obtained geometric invariants. The final comparison in 4.3 then verifies the agreement. This explicit ordering removes any appearance of circularity while preserving the original proofs. revision: yes
Referee: [§2] Definition of semi-integral points and height function (§2): the precise notion of semi-integral points (likely involving denominators controlled by the 4k squares) must be shown to be compatible with the M-points in the cited conjecture without implicitly encoding the same geometric data used for the b-invariant; otherwise the verification reduces to a consistency check rather than an independent test.

Authors: We agree that the compatibility must be made fully explicit. In the revised Section 2 we have added a new paragraph that defines semi-integral points strictly in terms of the integrality and valuation conditions imposed by the equation x^3 - (sum y_i^2) z = 0, together with the standard anticanonical height. We then state, without computing any invariants, that these points coincide with the M-points of the cited conjecture by the geometric setup of X_k. The b-invariant itself is computed later in Section 3 from the geometry alone. The definition in Section 2 therefore does not presuppose or encode the numerical value of b; it only identifies the set of points to which the conjecture applies. We believe this establishes an independent verification, but we welcome any further suggestions for additional clarification. revision: yes

Circularity Check

0 steps flagged

No significant circularity: asymptotic derived from hypersurface equation then compared to external geometric invariants

full rationale

The paper defines the hypersurface X_k via the equation x^3 - (sum of 4k squares) z = 0 and states that it derives an asymptotic formula for the counting function of semi-integral points on this variety. It then proves agreement of the leading constant in this asymptotic with the a-invariant and b-invariant from Manin's conjecture as formulated in the cited external reference [Moe26a]. No quoted step shows the leading constant being fitted to the invariants, the derivation reducing to the geometric definitions by construction, or the 4k choice being used to smuggle in the same data used for a/b. The specific number of squares is part of the input variety definition that enables the arithmetic analysis (e.g., control of singular locus and local densities), but the subsequent identification with geometrically computed invariants constitutes an independent verification rather than a tautology. Self-citation is limited to the conjecture statement itself and is not load-bearing for the derivation of the asymptotic.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, ad-hoc axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5613 in / 1158 out tokens · 44910 ms · 2026-05-22T03:36:09.766541+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1. The asymptotic formula N(B) = 4k G_S(1,2k-1) / ((3k-1)(4k-1) |B_{2k}| zeta(4k-1)) B^{4k-1} log B + O(B^{4k-1})
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proposition 3.7. a((fX_k,M), pi^*O(1)) = 4k-1 and b(Q,(fX_k,M),pi^*O(1)) = 2

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Abramovich, Birational geometry for number theorists , Arithmetic geometry, Clay Math

[Abr09] D. Abramovich, Birational geometry for number theorists , Arithmetic geometry, Clay Math. Proc., vol. 8, Amer. Math. Soc., Providence, RI, 2009, pp. 335–373. MR2498065 ↑1.2 [AP25] S. Arango-Piñeros, Counting primitive integral solutions to spherical generalized Fermat equations , arXiv preprint arXiv:2508.13093 (2025). ↑1.2 [A V A18] D. Abramovich...

work page doi:10.1007/978-3-031-52163-8_3 2009
[2]

Faltings plus epsilon, Wiles plus epsilon, and the generalized Fermat equation

Nombre et répartition de points de hauteur bornée (Paris, 1996). MR1679843 ↑1.2 [BVV12] T. D. Browning and K. Van Valckenborgh, Sums of three squareful numbers , Exp. Math. 21 (2012), no. 2, 204–211, DOI 10.1080/10586458.2011.605733. MR2931315 ↑1.2 [BY21] T. Browning and S. Yamagishi, Arithmetic of higher-dimensional orbifolds and a mixed Waring problem ,...

work page doi:10.1080/10586458.2011.605733 1996
[3]

de la Bretèche, Sur le nombre de points de hauteur bornée d’une certaine surface cubique singulière , Astérisque 251 (1998), 51–77 (French, with French summary)

MR1491995 ↑1.2 [dlB98] R. de la Bretèche, Sur le nombre de points de hauteur bornée d’une certaine surface cubique singulière , Astérisque 251 (1998), 51–77 (French, with French summary). Nombre et répartition de points de hauteur bornée (Paris, 1996). MR1679839 ↑1.2, 1.4, 4, 4, 4, 4.22 [FMT89] J. Franke, Y. I. Manin, and Y. Tschinkel, Rational points of ...

work page doi:10.1007/bf01393904 1998
[4]

Jiang, T

↑4 [JWZ25] Y. Jiang, T. Wen, and W. Zhao, Rational points on a class of cubic hypersurfaces , Forum Math. 37 (2025), no. 4, 1009–1034, DOI 10.1515/forum-2023-0394. MR4915556 ↑1.2 [LST22] B. Lehmann, A. K. Sengupta, and S. Tanimoto, Geometric consistency of Manin ’s conjecture, Compos. Math. 158 (2022), no. 6, 1375–1427, DOI 10.1112/s0010437x22007588. MR44...

work page doi:10.1515/forum-2023-0394 2025
[5]

Edited and with a preface by D. R. Heath-Brown. MR0882550 ↑4 [VV12] K. Van Valckenborgh, Squareful numbers in hyperplanes , Algebra Number Theory 6 (2012), no. 5, 1019–1041, DOI 10.2140/ant.2012.6.1019. MR2968632 ↑1.2 [Xia22] H. Xiao, Campana points on biequivariant compactifications of the Heisenberg group , Eur. J. Math. 8 (2022), no. 1, 205–246, DOI 10...

work page doi:10.2140/ant.2012.6.1019 2012

[1] [1]

Abramovich, Birational geometry for number theorists , Arithmetic geometry, Clay Math

[Abr09] D. Abramovich, Birational geometry for number theorists , Arithmetic geometry, Clay Math. Proc., vol. 8, Amer. Math. Soc., Providence, RI, 2009, pp. 335–373. MR2498065 ↑1.2 [AP25] S. Arango-Piñeros, Counting primitive integral solutions to spherical generalized Fermat equations , arXiv preprint arXiv:2508.13093 (2025). ↑1.2 [A V A18] D. Abramovich...

work page doi:10.1007/978-3-031-52163-8_3 2009

[2] [2]

Faltings plus epsilon, Wiles plus epsilon, and the generalized Fermat equation

Nombre et répartition de points de hauteur bornée (Paris, 1996). MR1679843 ↑1.2 [BVV12] T. D. Browning and K. Van Valckenborgh, Sums of three squareful numbers , Exp. Math. 21 (2012), no. 2, 204–211, DOI 10.1080/10586458.2011.605733. MR2931315 ↑1.2 [BY21] T. Browning and S. Yamagishi, Arithmetic of higher-dimensional orbifolds and a mixed Waring problem ,...

work page doi:10.1080/10586458.2011.605733 1996

[3] [3]

de la Bretèche, Sur le nombre de points de hauteur bornée d’une certaine surface cubique singulière , Astérisque 251 (1998), 51–77 (French, with French summary)

MR1491995 ↑1.2 [dlB98] R. de la Bretèche, Sur le nombre de points de hauteur bornée d’une certaine surface cubique singulière , Astérisque 251 (1998), 51–77 (French, with French summary). Nombre et répartition de points de hauteur bornée (Paris, 1996). MR1679839 ↑1.2, 1.4, 4, 4, 4, 4.22 [FMT89] J. Franke, Y. I. Manin, and Y. Tschinkel, Rational points of ...

work page doi:10.1007/bf01393904 1998

[4] [4]

Jiang, T

↑4 [JWZ25] Y. Jiang, T. Wen, and W. Zhao, Rational points on a class of cubic hypersurfaces , Forum Math. 37 (2025), no. 4, 1009–1034, DOI 10.1515/forum-2023-0394. MR4915556 ↑1.2 [LST22] B. Lehmann, A. K. Sengupta, and S. Tanimoto, Geometric consistency of Manin ’s conjecture, Compos. Math. 158 (2022), no. 6, 1375–1427, DOI 10.1112/s0010437x22007588. MR44...

work page doi:10.1515/forum-2023-0394 2025

[5] [5]

Edited and with a preface by D. R. Heath-Brown. MR0882550 ↑4 [VV12] K. Van Valckenborgh, Squareful numbers in hyperplanes , Algebra Number Theory 6 (2012), no. 5, 1019–1041, DOI 10.2140/ant.2012.6.1019. MR2968632 ↑1.2 [Xia22] H. Xiao, Campana points on biequivariant compactifications of the Heisenberg group , Eur. J. Math. 8 (2022), no. 1, 205–246, DOI 10...

work page doi:10.2140/ant.2012.6.1019 2012