OWR-9790358-009 · Scoped counterexample and a corrected hereditary criterion

Universal Polynomial Interpolation Need Not Be Hereditary

Manuscript 21 October 2026 · Online 23 October 2026

math.ACmath.AGUnrefereed preprint

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
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}
}

More research papers

Show all 401 other papers

All 402 research papers →