Morimoto–Nagano realization problem

For every real parameter t>1t>1, does there exist a real-analytic CR-embedding Ft:Mt3C3F_t:M_t^3\hookrightarrow\mathbb{C}^3 such that Ft(Mt3)F_t(M_t^3) is a compact real-analytic strongly pseudoconvex hypersurface of C3\mathbb{C}^3?

Sources & referencesView supporting material

Progress summary

Refreshed
Claimed solved

A new unrefereed preprint claims to finish the problem, but no independent verification has been found.

Morimoto and Nagano’s classification leaves the realization of the exceptional compact homogeneous hypersurfaces Mt3M_t^3 as the unresolved case; the n=7n=7 family is known not to embed. The problem asks whether the remaining Mt3M_t^3 can be realized throughout the full parameter range t>1t>1.

Known results

  • Isaev, 2013: real-analytic CR-embeddings exist for 1<t<(2+2)/31<t<\sqrt{(2+\sqrt{2})/3}; the complementary range was left open. [https://arxiv.org/abs/1309.0279]
  • Isaev, 2019: every Mt3M_t^3, t>1t>1, has a polynomial immersion into C3\mathbb{C}^3, and embeddings exist for 1<t<5/21<t<\sqrt{5/2}; the maps are noninjective for t2t\ge\sqrt{2}. [https://arxiv.org/abs/1904.05566]
  • Isaev, 2019: no Mt7M_t^7 is real-analytically CR-embeddable in C7\mathbb{C}^7. [https://arxiv.org/abs/1904.05566]

August 2026 full-range completion claim

A new preprint claims that explicit entire maps extend Isaev’s realization results to the full parameter range, thereby completing the Mt3M_t^3 case. This is an unrefereed claim, and the scan found no independent verification, objection, or withdrawal.

Current status (as of August 2026): Earlier partial embedding and immersion results are established, while the full Mt3M_t^3 realization is only claimed by the August 2026 preprint and remains unverified.

Sources

Solutions 0

No solutions have been posted yet.