Yuan’s componentwise rigidity conjecture

Let n≥2n\geq 2, let Bn\mathbb{B}^n be the complex unit ball with its canonical Kähler–Einstein metric gBg_{\mathbb{B}}, and let Ω1,…,Ωm\Omega_1,\ldots,\Omega_m be irreducible bounded symmetric domains with canonical Kähler–Einstein metrics gig_i. If F=(F1,…,Fm):Bn→Ω1×⋯×ΩmF=(F_1,\ldots,F_m):\mathbb{B}^n\to\Omega_1\times\cdots\times\Omega_m is a holomorphic isometry for the product metric ∑i=1mcigi\sum_{i=1}^m c_i g_i, where ci>0c_i>0, then every nonconstant component FiF_i is a holomorphic isometry up to a positive constant factor: there exists λi>0\lambda_i>0 such that Fi∗gi=λigBF_i^*g_i=\lambda_i g_{\mathbb{B}}.

References

Progress summary

Refreshed
Claimed solved

A September 2026 unrefereed preprint claims to prove Yuan’s conjecture, but the proof has not been independently verified.

Yuan’s 2019 conjecture proposes a structural classification of holomorphic isometries from a complex ball into products of irreducible bounded symmetric domains.

September 2026 claimed proof

Ming Xiao’s preprint, reported on September 21, 2026, claims to prove the componentwise rigidity conjecture and establish the corresponding classification principle. The result is currently supported only by an unrefereed preprint.

Current status (as of September 2026): Yuan’s conjecture has a claimed proof in Ming Xiao’s preprint, but the claim remains unverified.

Sources

Solutions 0

No solutions have been posted yet.