A ten-by-ten trace formula for the essential Hurwitz form
Authors/Creators
Description
Unrefereed candidate giving an explicit ten-by-ten trace-determinant formula for the essential Hurwitz form. The written proof supplies a uniform rank-ten algebra, cancellation of the Chow-boundary denominator, global degree-30 Pluecker identification and a symmetric rank-two corollary. Exact rational implementation includes boundary interpolation and adversarial controls, including the published Jiang–Sturmfels specialization at 194 and 195. Classical trace-discriminant antecedents and previous specialized computations are credited. Producer replay and internal AI editorial review are not unaffiliated whole-proof scrutiny, formal verification or historical-priority clearance. No expanded monomial list or practical camera-estimation improvement is claimed. Original prose and data CC0-1.0; original code MIT.
Files
essential-hurwitz-trace-formula-v0.1.0-candidate.zip
Additional details
Related works
- Is supplement to
- https://github.com/ipitchford/essential-hurwitz-trace-formula/releases/tag/v0.1.0-candidate (URL)