arxiv: 2605.09166 · v1 · submitted 2026-05-09 · 🧮 math.NT · math.AG

Recognition: 2 theorem links

· Lean Theorem

Rational points on smooth surfaces in mathbb{P}³ over finite fields

Jos\'e Felipe Voloch, Yves Aubry

Pith reviewed 2026-05-12 02:39 UTC · model grok-4.3

classification 🧮 math.NT math.AG

keywords rational pointssmooth surfacesprojective three-spacefinite fieldsupper boundspoint countingalgebraic surfacesextremal families

0 comments

The pith

An improved upper bound governs the number of rational points on smooth surfaces in projective three-space over finite fields, with some families attaining it exactly.

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

This paper refines an earlier upper bound on how many rational points a smooth surface inside three-dimensional projective space can have when the surface is defined over a finite field. It then identifies families of surfaces that meet or come close to the new limit and calculates the precise number of rational points on each such family. These calculations are presented in detail and noted to have interest apart from the bound itself. A reader would care because the problem of counting points with coordinates in a finite field on algebraic surfaces is a basic question whose answers constrain what geometric constructions are possible.

Core claim

We improve a bound due to the second author on the number of rational points on smooth surfaces in P^3 over finite fields and look at families of surfaces that achieve or nearly achieve this bound, for which we compute their exact number of rational points. These computations may have independent interest.

What carries the argument

The refined upper bound on the number of F_q-rational points, together with the explicit enumeration formulas for the extremal and near-extremal families of surfaces.

If this is right

The number of rational points on any such surface is at most the value given by the improved expression.
The families that attain the bound have a precisely determined number of rational points that can be written down explicitly.
The exact counts remain valid for all finite fields as long as the surfaces remain smooth under the stated geometric hypotheses.
The point-count formulas for the families stand independently of whether the bound itself is later sharpened further.

Where Pith is reading between the lines

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

The same families could be used to test whether the bound remains sharp when the surfaces are allowed to acquire controlled singularities.
Exact counts obtained here might be compared with point counts on curves that lie on these surfaces to reveal distribution patterns.
The methods for computing exact counts on these families could extend to analogous families of surfaces in higher-dimensional projective spaces.

Load-bearing premise

The new bound applies to every smooth surface in projective three-space over every finite field, and the studied families satisfy the smoothness and geometric conditions needed for the exact point counts.

What would settle it

A smooth surface in P^3 over a finite field with more rational points than the improved bound allows, or an incorrect exact count for any of the example families.

read the original abstract

We improve a bound due to the second author on number of rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields and look at families of surfaces that achieve or nearly achieve this bound, for which we compute their exact number of rational points. These computations may have independent interest.

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

Aubry and Voloch tighten Voloch's prior bound on F_q-points of smooth surfaces in P^3 and give explicit families with exact counts via refined intersection analysis.

read the letter

This paper improves a bound that Voloch had earlier on the number of rational points over finite fields on smooth surfaces in projective 3-space. It also constructs families that meet or nearly meet the new bound and computes their exact point counts directly. The improvement comes from a more careful treatment of linear systems and intersection multiplicities on the surface. The families are given explicitly as hypersurfaces or complete intersections, smoothness is checked by the Jacobian criterion, and the counts use residue sums or the Weil conjectures on the zeta function. Those steps are standard and independently verifiable. The work is incremental. It refines the second author's own earlier estimate without a new framework or first-principles derivation, so the main addition is the sharper constant plus the concrete examples. No hidden restrictions appear that would limit the bound to a subclass of surfaces, and the argument does not rely on fitted parameters or self-reference. The abstract alone leaves the derivation out, but the full proof as described holds together without circularity. This is for arithmetic geometers who track point-count bounds over finite fields and might use the families for further examples or coding-theory links. A reader already working in that area gets the most from the explicit computations. The result is concrete enough and the methods checkable enough that it deserves referee time.

Referee Report

0 major / 2 minor

Summary. The manuscript improves a bound due to the second author on the number of F_q-rational points on smooth surfaces in P^3 over finite fields F_q. It constructs explicit families of such surfaces (hypersurfaces or complete intersections) that attain or nearly attain the new bound, verifies their smoothness via the Jacobian criterion, and computes exact point counts via standard methods such as summation over residue classes or application of the Weil conjectures to the zeta function.

Significance. The refined bound sharpens existing estimates in the arithmetic geometry of surfaces over finite fields and supplies concrete, verifiable examples that may be of independent interest for testing conjectures or for applications in finite geometry. The explicit constructions and use of standard verification techniques strengthen the contribution when the refinement is correct.

minor comments (2)

The introduction should cite the precise reference for the bound due to the second author to allow readers to compare the statements directly.
Notation for the improved bound (e.g., any new constants or functions introduced in the refinement) would benefit from a dedicated display equation or table for quick reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, including the summary of our improved bound and the explicit constructions, as well as the recommendation for minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper improves a prior bound due to the second author by supplying an independent refinement via more careful analysis of linear systems and intersection multiplicities. The new bound is derived from geometric properties of smooth surfaces in P^3 rather than by re-using the old bound as a definitional input. Explicit families are constructed directly as hypersurfaces whose smoothness is verified by Jacobian criteria, and point counts are obtained by standard residue-class summation or Weil zeta-function methods that do not reduce to the bound itself. No self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations that collapse the central claim appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5335 in / 996 out tokens · 49252 ms · 2026-05-12T02:39:03.764377+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
We improve a bound due to the second author on number of rational points on smooth surfaces in P^3 over finite fields... ♯S(Fp) ≤ d(d+p−1)(d+2p−2)/6 − 3m(d+p−1)−m(m+1)/6 + m(p+1)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Lemma 2.1... deg Γ = (d1H−(L1+⋯+Lm))·(d2H−(L1+⋯+Lm)) with L_i^2 = 2−d

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Sally Andria, Jacqueline Rojas and W´ allace Mangueira, Maximal number of skew lines in Fermat surfaces, Port. Math. 83, (2026), 145–165. 3

work page 2026
[2]

Thomas Bauer and Slawomir Rams, Counting lines on projective spaces,Ann. Sc. Norm. Sup. Pisa Cl. Sci. (5)24, (2023) no. 3, 1285–1299. 2

work page 2023
[3]

Pierre Deligne, La conjecture de Weil I,Publ. Math. IHES43, (1974), 273–307. 1

work page 1974
[4]

Masaaki Homma and Seon Jeong Kim, An elementary bound for the number of points of a hypersurface over a finite fieldFinite Fields and their Applications20, (2013) 76–83. 1

work page 2013
[5]

Masaaki Homma and Seon Jeong Kim, Number of points of a nonsingular hypersurface in an odd- dimensional projective spaceFinite Fields and their Applications48, (2017) 395–419. 1

work page 2017
[6]

Yu. I. Manin, Cubic forms,Algebra, geometry, arithmetic., North-Holland Publishing Co., Amsterdam,

work page
[7]

Ann.,362(2015), no

Slawomir Rams and Matthias Sch¨ utt, 64 lines on smooth quartic surfaces,Math. Ann.,362(2015), no. 1-2, 679–698. 2.5

work page 2015
[8]

Karl-Otto St¨ ohr and Jos´ e Felipe Voloch, Weierstrass points and curves over finite fields. Proc. London Math. Soc. (30) 52(1986), 1-19. 1

work page 1986
[9]

Peter Swinnerton-Dyer, Cubic surfaces over finite fields,Math. Proc. Camb. Phil. Soc.,149, 385–388. 2.5 9

work page
[10]

324, Amer

Jos´ e Felipe Voloch, Surfaces inP3 over finite fields,Topics in algebraic and noncommutative geometry., Contemporary Math. 324, Amer. Math. Soc., Providence, RI (2003), 219–226. 1, 2, 2, 5 (Aubry)Institut de Math ´ematiques de Toulon - IMATH, Universit´e de Toulon, France Email address:yves.aubry@univ-tln.fr (Aubry)Institut de Math ´ematiques de Marseill...

work page 2003