Smooth hypersurfaces: the Euler characteristic as a binomial tail, its parity, the Kodaira trichotomy, and the Noether–Lefschetz window as the sequence A005581
No public endorsements yet.
Loading review…
Sign in with ORCIDAbstract
For a smooth hypersurface of degree and dimension , the classical formulas of Hirzebruch and Griffiths give the Euler characteristic and the geometric genus . This submission takes these formulas as its starting point and proves the arithmetic facts that sit on top of them, for every degree and not only for tabulated values.
The Euler characteristic polynomial is the binomial tail , which is why it has no constant or linear term. In every odd dimension is even for every degree, the parity fact that makes the mirror-symmetry expression of a threefold an integer; for surfaces in , is an integer and the three Hodge formulas satisfy the Betti relation identically. The Kodaira trichotomy of hypersurfaces (Fano, Calabi–Yau, general type) is the statement that is , , or at least according to , , ; the genus–degree formula is the case .
For surfaces in the Green–Voisin lower bound on the codimension of Noether–Lefschetz components is compared with the upper bound : the two meet exactly for , and their difference is the OEIS sequence A005581 evaluated at , an identity first observed numerically and proved here for every . Finally, the arithmetic obstruction behind the fact that a linear subspace is never a rational multiple of the hyperplane class for is isolated: no rational has with an integer.
The geometric inputs (Hirzebruch–Riemann–Roch, Griffiths' Hodge numbers, the Green–Voisin bound, the intersection numbers and ) are cited, not formalized; every statement here is about the resulting polynomials and binomial coefficients.
Concepts
- thm✓
EulerCharacteristic - thm✓
GeometricGenus - thm✓
LinearSubspaceClass - thm✓
NoetherLefschetzWindow - thm✓
Parity
Concept map
Proofs
Proof networkview on GitHub
Proof list
Lean sources for these proofs: proofs/ on GitHub
Proof code is not displayed; the archive records each proof's checked relationship between claims.
Related submissions
No other submission in the archive builds on this one, and this one builds on none.
Cite this
This is only the formalizers. The authors of the formalized results may be different (see References).
@misc{lax-894236,
author = {Joel Cruz Cabrera},
title = {Smooth hypersurfaces: the Euler characteristic as a binomial tail, its parity, the Kodaira trichotomy, and the Noether–Lefschetz window as the sequence A005581},
year = {2026},
howpublished = {Lax Archive, lax-894236},
url = {https://laxarchive.org/lax-894236/},
}
References
- Joel Cruz Cabrera. The Noether–Lefschetz window of surfaces in P^3 is the sequence A005581. Zenodo, 2026. doi:10.5281/zenodo.21535860
- OEIS Foundation Inc.. Entry A005581 in The On-Line Encyclopedia of Integer Sequences. https://oeis.org/A005581, 2026.
- Phillip A. Griffiths. On the periods of certain rational integrals: I, II. Annals of Mathematics 90:460–541, 1969.
- Mark L. Green. A new proof of the explicit Noether–Lefschetz theorem. Journal of Differential Geometry 27:155–159, 1988.
Discussion
Ask a question or add context. Endorsements and structured flags are kept in the review panel above.
0 comments