Lipschitz normal embeddings in the space of matrices

From MaRDI portal



Abstract: The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are bilipschitz equivalent. In this article we prove Lipschitz normal embeddedness of some algebraic subsets of the space of matrices. These include the space mimesn matrices, symmetric matrices and skew-symmetric matrices of rank equal to a given number and their closures, and the upper triangular matrices with determinant 0. We also make a short discussion about generalizing these results to determinantal varieties in real and complex spaces.


A semi-algebraic subset in $\mathbb{R}^n$ or $\mathbb{C}^n$ is called Lipschitz normally embedded if the inner metric and the outer metric are bilipschitz equivalent. The authors prove Lipschitz normal embeddedness for the connected components of the space $X_r$ of matrices of rank $r$ inside the space of rectangular matrices and also inside the space of (skew-)symmetric or hermitian square matrices, and Lipschitz normal embeddedness of the closure $\overline{X}_r$, with explicit bilipschitz constants. The proof is based on normal forms, giving a local description of the spaces involved. They show that for a linear subspace $V$ intersecting all $X_r$ transversally for all $r$ also the intersection $V\cap \overline{X}_r$ is Lipschitz normally embedded and give examples showing that this is no longer true under more general assumptions. They also discuss the case of determinantal varieties. An essentially isolated determinantal singularity (EIDS) defined by a matrix with linear entries is globally Lipschitz normally embedded, but such a result cannot be expected for general EIDS.











This page was built for publication: Lipschitz normal embeddings in the space of matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q667625)