Convex-domain boundary rigidity conjecture

Let ΩCd\Omega \subset \mathbb{C}^d be a bounded convex domain and let ξ0Ω\xi_0\in\partial\Omega. A holomorphic self-map is a holomorphic map f:ΩΩf:\Omega\to\Omega. The tangent cone of Ω\overline{\Omega} at ξ0\xi_0 determines the proposed order m=m(ξ0)m=m(\xi_0). Convex-domain boundary rigidity conjecture. The number m=m(ξ0)m=m(\xi_0) depends only on the tangent cone of Ω\overline{\Omega} at ξ0\xi_0, and every holomorphic self-map satisfying

f(z)=z+o(zξ0m)f(z)=z+o\left(\left\|z-\xi_0\right\|^m\right)

must be the identity: f=idf=\operatorname{id}. This would extend the paper’s boundary Schwarz lemma for bounded convex domains with C2C^2 boundary to arbitrary bounded convex domains and clarify how the tangent-cone geometry controls the optimal error term; the conjecture is presented without a resolution.

Sources & referencesView supporting material

Primary source

Andrew Zimmer, “Two boundary rigidity results for holomorphic maps”, arXiv:1810.05669 (2018).

Additional references

2 papers in this index state this conjecture (2016–2018). The statement above is taken from the most recent of them; the others are arXiv:1610.07016.

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.