Press release · 7 September 2026 · version 0.1.0-candidate
Reducedness of the Hilbert scheme of eight points in affine four-space
A computer-assisted proof candidate claims reducedness of the Hilbert scheme of eight points in affine four-space over algebraically closed characteristic-zero fields.
Summary
Eight points can collide in ways that ordinary pictures cannot distinguish. The Hilbert scheme records not only their positions but also algebraic structure at collisions. This unrefereed proof candidate claims that, for eight points in four-dimensional affine space over a characteristic-zero algebraically closed field, the Hilbert scheme has no hidden nilpotent structure. It remains singular and reducible: reduced does not mean smooth.
Summary for specialists
The claimed theorem is reducedness of $\operatorname{Hilb}^{8}(\mathbb A^4_k)$ for algebraically closed $k$ of characteristic zero. The candidate reduces the question to two monomial local rings, separates the translated homogeneous component by exact annihilator identities, and identifies the full associated graded algebras of their Pfaffian quotients. No positive-characteristic or general-length assertion is included.
Technical account
The closed support of the nilradical, a Borel fixed-point argument and sixteen explicit triangular coordinate frames reduce the global question to B15 and B16. Original commutator identities and an ambient equivariant Grassmannian projection establish local component separation.
For B16, an integral open chart and a rank-1907 finite-module comparison produce an integral core. B15 requires two open charts and the corrected parameter $\ell_1=c_7+c_{79}$. A zero fiber modulo 32003 gives an upper bound; a Cohen–Macaulay, flat comparison fiber modulo 65521 and its completion give the matching lower bound 9923. Regularity of that parameter closes the remaining tangent-cone kernel in every degree. This is not an inference from the last computed degree.
The antecedent component and Pfaffian descriptions are due to Cartwright, Erman, Velasco and Viray. Hu supplies important local-structure and reduction methods. Their results are inputs; the candidate's claimed contribution is the source-specific reducedness argument, not rediscovery of those inputs.
Evidence, assurance and limitations
The complete package includes exact ring presentations, parameter forms, coordinate maps, written proof modules, all four finite bases, native software-diverse counterparts and direct coefficient-comparison records. Those records cover 55,557,191 terms. The public aggregate replay checks saved receipts and their exact dependencies; it does not silently recompute all large bases. Original code, deeper replay instructions and complete outputs allow inspection beyond the aggregate.
The supplied review saw the overview and elementary checks, not the full archive, owing to an upload limit. Internal model editorial review is a different, producer-coordinated process. Neither establishes unaffiliated whole-proof validation. Formal verification, exhaustive novelty clearance and independent external reproduction remain unestablished.
Who should care, and why
| Audience | Potential use | Required caution |
|---|---|---|
| Hilbert-scheme specialists | Inspect a proposed answer to a scheme-structure question beyond component classification. | Scrutinize the source-specific identifications and all-degree argument. |
| Computational algebraists | Reproduce large finite fibers and inspect a mixed-prime finite-module bridge. | Software agreement and hashes do not replace the source-to-claim argument. |
| Research-tool builders | Reuse explicit replay levels and semantic corruption controls. | Workflow assurance is not mathematical truth or measured productivity. |
Why the problem matters
Knowing the irreducible components of a space does not determine its scheme structure. Nilpotents can record infinitesimal information invisible in its underlying set. This candidate targets that distinction in a small but already reducible Hilbert scheme. Its proposed finite-to-global method may also be useful elsewhere, provided every hypothesis is proved anew.
How to inspect or reproduce the recorded checks
Download and extract the full versioned archive. Read the manuscript and README, then run python3 verify_release.py. Use --manifest-only for a byte-integrity check. The wrapper keeps assertions enabled in its legacy children even if invoked with python -O. Follow the detailed instructions in a disposable copy for new direct comparisons or native Gröbner runs; those runs regenerate timed receipts and must not overwrite the frozen record.
The most valuable next projects
- Obtain unaffiliated scrutiny of the ambient Pfaffian transport and the B15 purity/open-coverage argument.
- Independently rebuild the source-to-fiber encoding and recompute the full bases in a documented environment.
- Explore other applications of the mixed-prime lemma without transferring its flatness or dimension hypotheses by analogy.
What is in the evidence package
The manuscript, original proof modules, exact source code and full finite outputs are accompanied by structured claims, an assurance map, a review response, internal editorial reports, environment instructions, negative controls, licences and a complete hash manifest. Immutable GitHub and Zenodo assets are the reference versions; the page and audio are communication aids.
Media
The audio briefing is provided in the header above. Download the MP3 briefing · read the transcript.
Open directions for follow-up research
Also available in machine-readable form for research agents and follow-up projects.
- Unaffiliated scrutiny of ambient Pfaffian transport and B15 purity/open coverage.
- Independent reconstruction of source encodings and full native computations.
- Investigate positive characteristic or other lengths only as new problems with their hypotheses checked anew.
Verification status
Unrefereed, author-claimed complete computer-assisted proof in characteristic zero only. No external whole-proof validation, formal verification, exhaustive novelty clearance or priority determination.
Cite
BibTeX
@misc{hilberteightpointsreducedness2026,
title = {Reducedness of the Hilbert scheme of eight points in affine four-space},
author = {Anonymous},
year = {2026},
doi = {10.5281/zenodo.22643443},
url = {https://doi.org/10.5281/zenodo.22643443},
version = {0.1.0-candidate},
howpublished = {Zenodo},
note = {Unrefereed; internally replayed evidence package. Press page: https://evidencepress.org/releases/hilbert-eight-points-reducedness/}
}Also: cite.bib · paper.json · this page as Markdown