ON THE DISTANCE TO DISCRIMINANTS AND OSCULATING VARIETIES

Khazhgali Kozhasov; Bernard Mourrain; Adam Parusi{ń}ski

Home/Archive/arXiv

arXiv · 2610.06538

ON THE DISTANCE TO DISCRIMINANTS AND OSCULATING VARIETIES

Khazhgali Kozhasov·Bernard Mourrain·Adam Parusi{ń}ski

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the problem of finding the closest singular hypersurface to a given nonsingular one from algebro-geometric point of view. The set of singular hypersurfaces $Ξ$ of a given degree is a projective variety dual to the Veronese variety. However, as was shown by Raffalli [Raf14], the Bombieri-Weyl (also known as apolar) distance from a general real hypersurface to $Ξ$ could be minimized at a singular point of $Ξ$. We study the singular locus of $Ξ$ and its irreducible component, consisting of hypersurfaces with cuspidal singularities. This variety is projectively dual to the tangential variety of the Veronese variety. We compute its Euclidean Distance Degree using topological tools and deduce a formula for the number of critical points of the distance function to $Ξ$ from a general hypersurface. We also initiate the study of the analogous problem for higher osculating varieties to the Veronese variety. Furthermore, we establish a new extremal property of Chebyshev polynomials (conjectured in [Raf14]) by characterizing real-rooted binary forms that maximize the distance to $Ξ$.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Khazhgali Kozhasov, Bernard Mourrain, Adam Parusi{ń}ski. 2026-10-05. ON THE DISTANCE TO DISCRIMINANTS AND OSCULATING VARIETIES. https://arxiv.org/abs/2610.06538

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Les squelettes accessibles d'un espace de Berkovich

We define a class of skeletons on Berkovich analytic spaces, which we call "accessible", which contains the standard skeleton of the n-dimensional torus for every n and is preserved by G-glueing, by taking the inverse image along a morphism of relative dimension zero, and by taking the direct image along a morphism whose restriction to the involved skeleton is topologically proper.

math.AG↗

arXiv2026

Critical Points of Degenerate Metrics on Algebraic Varieties: A Tale of Overparametrization

We study the critical points over an algebraic variety of an optimization problem defined by a quadratic objective that is degenerate. This scenario arises in machine learning when the dataset size is small with respect to the model, and is typically referred to as overparametrization. Our main result relates the degenerate optimization problem to a nondegenerate one via a projection. In the highly-degenerate regime, we find that a central role is played by the ramification locus of the projection. Additionally, we provide tools for counting the number of critical points over projective varieties, and discuss specific cases arising from deep learning. Our work bridges tools from algebraic geometry with ideas from machine learning, and it extends the line of literature around the Euclidean distance degree to the degenerate setting.

math.AG↗

arXiv2026

On relative Ulrich bundles and generalized Clifford algebras

We give a Clifford-theoretic description of relatively Ulrich bundles on smooth families of hypersurfaces. A split projection centre produces an explicit monic Clifford algebra whose locally free representations are exactly the relatively Ulrich bundles. For quadric fibrations, the description is intrinsic and requires no projection centre; the even Clifford algebra gives exact formulas for the minimal relative Ulrich rank in terms of Brauer classes and monodromy. We also obtain applications to stability, moduli, and relative wildness.

math.AG↗