The Tangent Cone to the Real Determinantal Variety: Various Expressions and a Proof

Olikier, Guillaume;Mlinarić, Petar;Absil, Pierre-Antoine;Uschmajew, André
(2026) Set-Valued and Variational Analysis : theory and applications — Vol. 34, n° 8 (2026)

Files

2504.11382v3.pdf
  • Open Access
  • Adobe PDF
  • 556.42 KB

Details

Authors
  • Olikier, Guillaumeorcid-logo
    Author
  • Mlinarić, Petar
    Author
  • Author
  • Uschmajew, André
    Author
Abstract
The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM J. Optim., 25 (2015), pp. 622-646]. The present paper shows that the proof therein is incomplete and provides a proof. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.
Affiliations

Citations

Olikier, G., Mlinarić, P., Absil, P.-A., & Uschmajew, A. (2026). The Tangent Cone to the Real Determinantal Variety: Various Expressions and a Proof. Set-Valued and Variational Analysis : theory and applications, 34(8). https://doi.org/10.1007/s11228-026-00796-4 (Original work published 2026)