On Lipschitz rigidity of complex analytic sets (Q2303813)

A (path connected) subset \(X\) of \(\mathbb{C}^n\) is called \textit{Lipschitz normally embedded} if there exists a real number \(\lambda > 0\) such that \[d_X (x, y) \le \lambda \|x - y \|\] for all \(x, y \in X,\) where \(d_X (x, y)\) is the infimum of the lengths of paths on \(X\) connecting \(x\) to \(y.\) A subset \(X \subset \mathbb{C}^n\) is called \textit{Lipschitz normally embedded at infinity} if there exists a compact set \(K \subset X\) such that \(X \setminus K\) is Lipschitz normally embedded. The main result of the paper under review is the following. Theorem 1.1. Let \(X \subset \mathbb{C}^n\) be a closed and pure \(d\)-dimensional analytic set. Suppose \(X\) has a unique tangent cone at infinity and this cone is a \(d\)-dimensional complex linear subspace of \(\mathbb{C}^n.\) If \(X\) is Lipschitz normally embedded at infinity, then \(X\) is an affine linear subspace of \(\mathbb{C}^n.\) As a consequence of the above result, the authors get the following two statements: (1) Complex algebraic subsets of \(\mathbb{C}^n\) which are Lipschitz regular at infinity are affine linear subspaces of \(\mathbb{C}^n;\) and (2) Pure dimension complex algebraic subsets of \(\mathbb{C}^n\) which are Lipschitz regular at infinity are affine linear subspaces of \(\mathbb{C}^n.\) Here, two sets \(X \subset \mathbb{C}^n\) and \(Y \subset \mathbb{C}^m\) are called \textit{bi-Lipschitz homeomorphic at infinity}, if there exist compact sets \(K \subset \mathbb{C}^n\) and \(\widetilde{K} \subset \mathbb{C}^m\) and a bi-Lipschitz homeomorphism \(\phi \colon X \setminus K \to Y \setminus \widetilde{K}.\) A subset \(X \subset \mathbb{C}^n\) is called \textit{Lipschitz regular at infinity} if \(X\) and \(\mathbb{C}^k\) are bi-Lipschitz homeomorphic at infinity, for some integer \(k \ge 1.\) The paper is very clear, well written and quite interesting.