Generic projection invariance of Euclidean distance degree for arbitrary varieties

Let XRnX\subseteq\mathbb{R}^n be an affine variety, let KRnK\subseteq\mathbb{R}^n be a generic linear subspace with dimK=k<nd\dim K=k<n-d, where d=dimXd=\dim X, and let Y=clπ(X)Y=\operatorname{cl}\pi(X), with π:RnK\pi:\mathbb{R}^n\to K^\perp the orthogonal projection. Generic projection invariance conjecture. Fact~ holds for arbitrary varieties; equivalently, the generic Euclidean distance degrees satisfy

gEDD(Y)=gEDD(X).\operatorname{gEDD}(Y)=\operatorname{gEDD}(X).

The stated fact is known when XX is an affine cone over a projective variety, but the authors are not aware of a proof for arbitrary varieties; establishing this would contribute fundamentally to the theory of Euclidean distance degrees.

Sources & referencesView supporting material

Primary source

Giovanni Luca Marchetti, Erin Connelly, Paul Breiding and Kathlén Kohn, “Critical Points of Degenerate Metrics on Algebraic Varieties: A Tale of Overparametrization”, arXiv:2512.21029 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.