Generic projection invariance of Euclidean distance degree for arbitrary varieties

About 1 year old · traced to

Let X⊆RnX\subseteq\mathbb{R}^n be an affine variety, let K⊆RnK\subseteq\mathbb{R}^n be a generic linear subspace with dim⁡K=k<n−d\dim K=k<n-d, where d=dim⁡Xd=\dim X, and let Y=cl⁡π(X)Y=\operatorname{cl}\pi(X), with π:Rn→K⊥\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.

References

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.