Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2504.11382 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918397476864000 |
|---|---|
| author | Olikier, Guillaume Mlinarić, Petar Absil, P. -A. Uschmajew, André |
| author_facet | Olikier, Guillaume Mlinarić, Petar Absil, P. -A. Uschmajew, André |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_11382 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The tangent cone to the real determinantal variety: various expressions and a proof Olikier, Guillaume Mlinarić, Petar Absil, P. -A. Uschmajew, André Optimization and Control Algebraic Geometry 14M12, 49J53 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. |
| title | The tangent cone to the real determinantal variety: various expressions and a proof |
| topic | Optimization and Control Algebraic Geometry 14M12, 49J53 |
| url | https://arxiv.org/abs/2504.11382 |