arXiv:2611.14543v1 Announce Type: new Abstract: We present a fast modular interpolation method for computing the hypersurface components of algebraic Kippenhahn varieties over number fields. Starting from Hermitian matrices, we factor their determinantal polynomial and use Katz's test to identify the factors whose duals are hypersurfaces. For each such factor, we sample smooth points over finite fields and compute their tangent hyperplanes. These give points on the dual hypersurface, from which we interpolate its defining equation. For number-field coefficients, we use primes at which the defining polynomial of the field factors completely into distinct linear factors. Interpolation across all its roots recovers the residues of the coefficients in a fixed number-field basis. Chinese remaindering and rational reconstruction then recover an equation over the original number field from the computations at different primes. An exact polynomial divisibility test and an irreducibility check certify each reconstructed equation. Four determinantal quartics arising from matrix examples in the literature yield certified dual surfaces of degrees $12$, $18$, $24$ and $34$. We give implementations in Magma and Singular and compare their running times with Gr\"obner basis elimination.
Continue to arXiv Mathematics →You are being forwarded in 6s — stay on this page