Exact finite rigidity for Furter's R(3): all windows through n=299
Authors/Creators
Description
We prove, by exact computer-assisted certificates, that Furter's polynomial-composition rigidity assertion R(3,n) holds for every integer 1 ≤ n ≤ 299. Equivalently, the associated three-generator inverse-coefficient ideals have radical (x1,x2,x3) for every window d=2,...,300. The finite theorem is transferred from one exact same-prime GOOD special fibre per degree to characteristic zero by properness.
The release also proves a periodic Kummer-theoretic obstruction to any universal one-fixed-prime GOOD-fibre proof, publishes exact Euler-socle and normalized-resultant pilot data, and supplies a machine-readable Universal R(3) Challenge. Universal R(3), the unrestricted Strong Factorial Conjecture, and the general Polydegree Conjecture remain open.
This is an unrefereed candidate. The package has exact replay and internal cross-model adversarial review, but not specialist peer review or independent external reconstruction.
Notes
Files
exact-finite-rigidity-furter-r3-n1-299-v0.1.0.pdf
Files
(11.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:dba024cb3ff5de45f1670549fe06afd0
|
340.2 kB | Preview Download |
|
md5:69c7d5f4844f255ba8285721e5c44a53
|
7.6 MB | Preview Download |
|
md5:1d09bb54bfbf5c10aeb0d4de65cba224
|
27.0 kB | Preview Download |
|
md5:16746832ad6f590214d6a13c5ecca5b8
|
1.5 kB | Preview Download |
|
md5:3471ca68ae10807bd726f6b9776e0a99
|
3.7 MB | Preview Download |
|
md5:55644e854f360333c9d36e625e9fd2e3
|
5.7 kB | Preview Download |
Additional details
Related works
- Cites
- 10.5281/zenodo.21909085 (DOI)
- Is supplement to
- https://github.com/ipitchford/furter-r3-through-299/tree/v0.1.0 (URL)