Universal Polynomial Interpolation Need Not Be Hereditary
Manuscript 21 October 2026 · Online 23 October 2026
Abstract
A finite family of affine algebraic sets may allow polynomial interpolation of every pointwise-compatible tuple although a subfamily does not. For every integer m >= 2, this note constructs an irredundant family of three proper, reduced, pure curves in C^3 with this property, while the sum of two vanishing ideals has quotient C[x]/(x^m). An explicit formula interpolates all compatible data on the whole family. The construction disproves the necessity direction of the radical-chain criterion in Theorem 2.5 of McKinley, Shekhtman and Tuesink, arXiv:2208.12406v1, even after correcting its indexing. The note gives the precise hereditary replacement and proves that the full-family criterion is restored when all pairwise intersections are finite. Classical two-set interpolation and Chinese remainder methods are credited. This is an unrefereed preprint, not a claim to a new solution of the full general interpolation program or an absolute priority claim.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Scoped counterexample and a corrected hereditary criterion
- Categories
- math.AC · math.AG
- Manuscript
- 21 October 2026
- Online release
- 23 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Universal Polynomial Interpolation Need Not Be Hereditary,” EulerSolve Research Papers, OWR-9790358-009, 2026. https://doi.org/10.5281/zenodo.23586340.
BibTeX
@misc{ferudun2026owr9790358009,
author = {Ferudun, Alper},
title = {Universal Polynomial Interpolation Need Not Be Hereditary},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-9790358-009/},
doi = {10.5281/zenodo.23586340},
note = {OWR-9790358-009; unrefereed preprint}
}