REVIEW 4 major objections 5 minor 31 references
Holomorphic immersions of bi-disks into $9$ dimensional real hypersurfaces with Levi signature $(2, 2)$
T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Two equations obstruct holomorphic bi-disks in (2,2)-CR hypersurfaces
desk verdict Main torsion obstruction theorem is plausible and new, but the paper's advertised example is invalid—for their hypersurface T1 actually vanishes, so the non-immersion claim collapses. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is a Pfaffian system on $M^9\times U(2)$ built from an adapted coframe $\{\alpha_0,\alpha_1,\alpha_2,\alpha_3,\alpha_4\}$ that diagonalizes the Levi form as $d\theta\equiv \sqrt{-1}(\alpha_1\wedge\bar\alpha_1+\alpha_2\wedge\bar\alpha_2-\alpha_3\wedge\bar\alpha_3-\alpha_4\wedge\bar\alpha_4)\mod\theta$. Sommer's theorem identifies every totally isotropic complex 2-plane, i.e. a two-dimensional complex tangent plane on which the Levi form vanishes, with a unique matrix $\left(\begin{smallmatrix}P&Q\\R&S\end{smallmatrix}\right)\in U(2)$; this provides the lift and guarantees the positive $2\times2$ block is invertible. The adapted 1-forms $\omega_3=\alpha_3-P\alpha_1-Q\alpha_2$ and $\omega_4=\alpha_4-R\alpha_1-S\alpha_2$ vanish on the pushed-forward tangent bundle of the bi-disk. Exterior differentiation, absorption of torsion, Cartan's lemma, and the skew-hermitian identity $(U^*dU)^*=-U^*dU$ for the Maurer-Cartan form force the two compatibility equations $T_1=T_2=0$; under those equations the resulting skew-hermitian matrix $\tau$ of 1-forms pulls back to zero and satisfies the structure equation $d\tau\equiv d\Sigma+\Sigma\wedge\Sigma\mod I+\langle\tau\rangle$, so the process continues by the standard structure equations of real hypersurfaces.
What would settle it
For any explicit real-analytic hypersurface $M^{9}$ with Levi signature (2,2), choose an adapted coframe and compute the torsion functions T1 and T2; if either is nonzero at the origin, the theorem forbids a holomorphic bi-disk through the origin, and the example gives T1=-2/(1+2z1+2\bar z1)\neq0 there. The theorem would be falsified by finding a smooth φ:$D^{2}$→$M^{9}$ with φ(0)=0, φ*ω0=φ*ω3=φ*ω4=0 and φ*(α1∧\barα1∧α2∧\barα2)≠0 whose lift has T1 or T2 nonzero; the paper's calculation says this cannot happen because skew-hermiticity forces the compatibility equations. A finite symbolic computation of T1 and T2 on families of defining functions would settle which nearby hypersurfaces admit bi-disks and would test the obstruction's sharpness.
Extended reading notes
Core claim
The central claim is Theorem 3.20. Let $M^9\subset\mathbb{C}^5$ be real-analytic, pass through the origin, and have Levi form of signature $(2,2)$ at each point. If $\varphi:\mathbb{D}^2\to M^9$ is a holomorphic immersion with $\varphi(0)=0$, then its uniquely determined lift $\tilde\varphi:\mathbb{D}^2\to M^9\times U(2)$ has image inside the simultaneous zero set of $T_1:=\bar B+E-\bar F$ and $T_2:=\bar D+J-\bar H$, where $B,D,E,F,H,J$ are torsion coefficients appearing in the exterior derivatives of the adapted coframe. Hence if either function is not identically zero on $M^9\times U(2)$, no such bi-disk exists. For the explicit hypersurface $u=|z_1|^2+|z_2|^2-|z_3|^2-|z_4|^2+|z_1|^2(z_1+\bar z_1)$, the first obstruction equals $-2/(1+2z_1+2\bar z_1)$, which is nonzero near the origin, so this hypersurface contains no holomorphic bi-disk through the origin. Thus the paper's main discovery is a computable pair of complex obstructions, equivalently four real obstructions, to the existence of holomorphic bi-disks in Levi-indefinite CR manifolds of signature $(2,2)$.
Load-bearing premise
The argument rests on Sommer's theorem (stated as Theorem 2.5, with proof attributed to the unpublished manuscript [21]) that every totally isotropic complex 2-plane for the Levi form of signature (2,2) is represented by a unique U(2) matrix and that its positive 2x2 block is invertible; if that parameterization broke down, the lift to $M^{9}$×U(2) would not exist and the entire torsion computation would collapse.
Editorial extensions
If this is right
- Any holomorphic bi-disk in a $(2,2)$-signature real-analytic hypersurface must satisfy four real equations on the lifted space $M^9\times U(2)$, so existence is generically overdetermined.
- If $T_1$ or $T_2$ is nonzero at some point of $M^9\times U(2)$, no holomorphic immersion of $\mathbb{D}^2$ through that point exists.
- The explicit hypersurface $u=|z_1|^2+|z_2|^2-|z_3|^2-|z_4|^2+|z_1|^2(z_1+\bar z_1)$ has $T_1=-2/(1+2z_1+2\bar z_1)\neq0$ near the origin, exhibiting a concrete instance where the obstruction is effective.
- When $T_1=T_2\equiv0$, the paper's prolongation provides the skew-hermitian 1-form matrix $\tau$ and the structure equation $d\tau\equiv d\Sigma+\Sigma\wedge\Sigma\mod I+\langle\tau\rangle$, so the Cartan process can be continued and eventually expressed through the S-tensor of the classical structure equations.
- The same computation gives a direct algorithm: starting from any defining function of $M^9$, compute an adapted coframe and the torsion coefficients, then check whether $T_1$ and $T_2$ vanish identically.
Reading between the lines
- Editorial extension: for signature $(p,p)$ hypersurfaces in $\mathbb{C}^{2p+1}$ the same argument should replace $U(2)$ by $U(p)$ and should yield a skew-hermitian matrix of obstructions; the two functions proved here are the $p=2$ instance of that pattern.
- Editorial extension: a testable project is to symbolically compute $T_1$ and $T_2$ for families of small perturbations of the flat model $u=|z_1|^2+|z_2|^2-|z_3|^2-|z_4|^2$; the loci where they vanish should describe the hypersurfaces that admit bi-disks, in analogy with rigidity results for Levi-indefinite models.
- Editorial extension: although the paper computes the obstructions in a chosen adapted coframe, the theorem's conclusion that they must vanish on any holomorphic bi-disk implies $T_1$ and $T_2$ transform equivariantly under coframe changes; identifying their invariant geometric meaning would likely connect them to curvature or torsion invariants of the CR structure.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper applies Cartan's equivalence method / exterior differential systems to the question of whether a 9-dimensional real-analytic CR hypersurface M^9 ⊂ C^5 with Levi signature (2,2) contains a holomorphically immersed bi-disk through a given point. The main theoretical result, Theorem 3.20, states that for any such immersion the unique lift to M^9 × U(2) must lie in the zero set of two complex-valued functions T1 = \bar B + E - \bar F and T2 = \bar D + J - \bar H, where A,...,J are torsion coefficients arising from the exterior derivatives dα1, dα2. The paper then claims, in Section 6, that the explicit hypersurface u = |z1|^2 + |z2|^2 - |z3|^2 - |z4|^2 + |z1|^2(z1 + \bar z1) has T1 = -2/(1+2z1+2\bar z1), which is nonzero, and therefore contains no holomorphic bi-disk through the origin. The abstract and introduction advertise this as the main application of the necessary-condition theorem.
Significance. If Theorem 3.20 is correct, it provides a new necessary condition for the existence of holomorphic bi-disks in CR hypersurfaces of signature (2,2), and the two complex obstructions are a natural analog of Bryant's Lorentzian disk obstruction. The derivation in Section 3 is detailed and the skew-Hermitian absorption algebra appears internally consistent, which is a genuine strength. However, the advertised example in Section 6 is invalid: a direct exterior derivative computation shows that for the given hypersurface the torsion coefficient E vanishes, and hence T1 = T2 = 0. The paper therefore does not establish any concrete non-existence result, and the central application claimed in the abstract is unsupported. The manuscript also defers a key calculation in Section 5 to a self-reference [11] and relies for the lift on Sommer's theorem as proved in an unpublished manuscript [21]; these gaps further reduce the completeness of the paper. No machine-checked proofs or reproducible code accompany the manuscript.
major comments (4)
- [Section 6.3, displayed formula for dα1] The coefficient of α1∧α2 in the printed formula for dα1 is incorrect. Directly, α1 = P dz1 + Q dz2, so dα1 = dP∧dz1 + dQ∧dz2. Substituting dz1 = (1/P)α1 - (Q/(PR))α2 and dz2 = (1/R)α2 gives the (2,0) coefficient as -Q/(PR)A1(P) - (1/P)A2(P) + (1/R)A1(Q), not (1/R)A1(P) - Q/(PR)A1(R) - (1/P)A2(P). For the example in Section 6, Q=0, R=1, and P is independent of z2, so this correct coefficient is 0. Hence E = 0, and since B = F = 0 as well, T1 = \bar B + E - \bar F = 0; similarly T2 = 0. The claimed nonzero value -2/(1+2z1+2\bar z1) is spurious, and the hypersurface u = |z1|^2+|z2|^2-|z3|^2-|z4|^2+|z1|^2(z1+\bar z1) does not obstruct holomorphic bi-disks according to the paper's own theorem.
- [Section 6.4, numerical value of \bar B + E - \bar F] Even if one uses the paper's printed (incorrect) formulas in Section 6.4, the numerical evaluation is inconsistent with those formulae. With Q=0, R=1, and A2(P)=0, the displayed expression \bar B + E - \bar F = -1/R A1(P) + Q/(PR) A1(R) + 2/P A2(P) reduces to -A1(P) = -1/(1+2z1+2\bar z1), not -2/(1+2z1+2\bar z1). The factor-of-two discrepancy is a separate internal inconsistency in the example computation.
- [Section 5, equations (5.4)-(5.6)] The passage from the displayed formulas for d\check M_{ij} to the coefficients D_{ij}, E_{ij}, F_{ij}, G_{ij} in the expression for dτ is deferred to reference [11], which is the same arXiv submission (arXiv:1908.08305). This self-reference makes the Chern-Moser formulation in Section 5 and the claimed structural equation dτ ≡ dΣ + Σ∧Σ in Theorem 4.9 unverifiable from the manuscript itself. Since this is part of the paper's advertised equivalence-method program, the omission is load-bearing.
- [Theorem 2.5] The lift into M^9 × U(2) and all subsequent torsion derivations depend on Sommer's theorem, which the paper states as Theorem 2.5 but credits as proved in Merker's unpublished manuscript [21]. No proof or published reference is provided in the present paper. If the theorem were unavailable, the uniqueness of the lift and the invertibility of the 2×2 positive block would fail, collapsing the derivation. The manuscript should either include a proof or cite a publicly available source for this statement.
minor comments (5)
- [Section 6, defining equation] The displayed hypersurface equation in the introduction to Section 6 contains a duplicated term: 'u = |z1|^2 + |z2|^2 - |z2|^2 - |z3|^2 + G' should presumably read 'u = |z1|^2 + |z2|^2 - |z3|^2 - |z4|^2 + G'.
- [Section 3.1.2, equation before display (3.17)] In the line after equation (3.16), the first 2-form is written as 'd\tilde\omega_3 = \tilde M_{31} ∧ α1 + \tilde M_{31} ∧ α2'; the second occurrence of \tilde M_{31} should be \tilde M_{32}.
- [Section 6.4, notation] The notation in Section 6.4 uses θ both for the contact form and for a matrix entry in the U(2) matrix, which is confusing; the matrix entry should be renamed (for example, τ or σ).
- [Section 4, ideal in equation (4.7)] The displayed differential ideal in equation (4.7) lists 'ω 3, ω 4' without bars in the second group; these should presumably be \bar\omega_3 and \bar\omega_4 to match the conjugate generators of the ideal.
- [Section 6.1, Levi form notation] Equation (6.1) writes the Levi form as dα0 = α1∧\barα1 + α2∧\barα2 - α3∧\barα3 - α4∧\barα4, omitting the factor √-1 that appears in the earlier structural equations; this is likely an omitted constant but should be made consistent.
Circularity Check
No significant circularity: the derivation of T1 and T2 is self-contained, and the self-references are not load-bearing.
full rationale
The paper's derivation of the two complex torsion obstructions T1 = \bar B + E - \bar F and T2 = \bar D + J - \bar H is self-contained: it starts from the Pfaffian system (3.1), differentiates d\omega_3 and d\omega_4 modulo the ideal I, absorbs torsion into the Maurer-Cartan matrix U* dU, and then uses only the skew-hermitian property of U* dU together with Cartan's lemma to force the compatibility conditions (3.19). No parameter is fitted to a subset of data, and no target quantity is inserted as an assumption. The only self-references are Theorem 2.5's proof deferred to Merker's unpublished manuscript [21] and the pointer in Section 5 to [11] for omitted Chern-Moser terms; neither carries the argument. Sommer's theorem is attributed to the published reference [29] and is a parameter-free linear-algebra fact about isotropic planes for the form (++--), independent of the bi-disk existence claim, so under the review rules it does not raise the circularity score. The separate objection that the Section 6 computation of d\alpha_1 may be algebraically wrong is a correctness issue, not a circularity: an erroneous evaluation of E would affect the example's conclusion without making the derivation equivalent to its inputs.
Assumptions & free parameters
assumptions (5)
- domain assumption Real analytic CR hypersurface M^9 in C^5 with Levi non-degenerate form of signature (2,2) admits a local adapted coframe diagonalizing dtheta with signs (++--).
- standard math Sommer's theorem (Theorem 2.5): every totally isotropic complex p-plane is parameterized uniquely by a matrix in U(n_-,n_+), and the leading p by p block is invertible.
- standard math Cartan's lemma: if phi^*tilde M31 wedge delta plus phi^*tilde M32 wedge epsilon = 0 with delta and epsilon independent, then the pulled-back 1-forms are linear combinations of delta and epsilon with symmetric coefficients.
- domain assumption Chern-Moser structure equations (1.6) and the S-tensor expansion apply to the non-positive-definite signature (2,2) case.
- domain assumption The example hypersurface's Levi matrix has a positive definite 2 by 2 minor near the origin, so the signature is (2,2) in a neighborhood of the origin.
Cite this review
Pith. "Pith review of Holomorphic immersions of bi-disks into $9$ dimensional real hypersurfaces with Levi signature $(2, 2)$." pith.science (2026). https://pith.science/paper/TYMIGXD6
@misc{pith2026190808305,
author = {Pith},
title = {Pith review of: Holomorphic immersions of bi-disks into $9$ dimensional real hypersurfaces with Levi signature $(2, 2)$},
year = {2026},
howpublished = {\url{https://pith.science/paper/TYMIGXD6}},
note = {Machine review of arXiv:1908.08305}
}
abstract
Inspired by an article of R. Bryant on holomorphic immersions of unit disks into Lorentzian CR manifolds, we discuss the application of Cartan's method to the question of the existence of bi-disk $\mathbb{D}^{2}$ in a smooth $9$-dimensional real analytic real hypersurface $M^{9}\subset\mathbb{C}^{5}$ with Levi signature $(2,2)$ passing through a fixed point. The result is that the lift to $M^{9}\times U(2)$ of the image of the bi-disk in $M^{9}$ must lie in the zero set of two complex-valued functions in $M^{9}\times U(2)$. We then provide an example where one of the functions does not identically vanish, thus obstructing holomorphic immersions.
Reference graph
Works this paper leans on
-
[11]
FOO, W .G., MERKER , J.: Holomorphic Immersions of bi-disks into 9 dimensional real hypersurfaces with Levi signature (2, 2). arXiv: 1908.08305
work page Pith review arXiv 1908
-
[21]
MERKER , J.: Holomorphic Curves in Lorentzian CR Manifolds: Effective aspects, written manuscript
-
[1]
BELOSHAPKA , V .K., E ZHOV , V ., S CHMALZ , G.: Canonical Cartan connection and holomorphic invariants on Engel CR manifolds . Russ. J. Math. Phys. 14(2), 121–133 (2007)
work page 2007
-
[2]
BLUMAN , G.W .; K UMEI , S.: Symmetries and differential equations , Springer-V erlag, Berlin, 1989, xiv+412 pp
work page 1989
-
[3]
BRYANT, R. L.; C HERN , S. S.; G ARDNER , R. B.; G OLDSCHMIDT , H. L.; G RIFFITHS , P . A.: Exterior differential systems. Mathematical Sciences Research Institute Publications, 1 8. Springer-V erlag, New Y ork, 1991. viii+475 pp. ISBN: 0-387-97411-3
work page 1991
-
[4]
BRYANT, Robert L.: Holomorphic curves in Lorentzian CR-manifolds . Trans. Amer. Math. Soc. 272 (1982), no. 1, 203–221
work page 1982
-
[5]
CARTAN, É.: Sur la géométrie pseudo-conforme des hypersurfaces de l’es pace de deux variables com- plexes, I. Ann. Math. Pura Appl. 11, 17–90 (1932)
work page 1932
-
[6]
CARTAN, É.: Sur la géométrie pseudo-conforme des hypersurfaces de l’es pace de deux variables com- plexes, II. Ann. Scuola Norm. Sup. Pisa 1, 333–354 (1932)
work page 1932
Show all 31 references
-
[7]
AMS/IP Studies in Advanced Mathematics , 19
CHEN , So-Chin; S HAW, Mei-Chi: Partial differential equations in several complex variables. AMS/IP Studies in Advanced Mathematics , 19. American Mathematical Society, Providence, RI; Inter national Press, Boston, MA, 2001. xii+380 pp. ISBN: 0-8218-1062-6
2001
-
[8]
S.; M OSER , J
CHERN , S. S.; M OSER , J. K.: Real hypersurfaces in complex manifolds . Acta Math. 133 (1974), 219–271
1974
-
[9]
EZHOV , V .; ISAEV , A.V .; SCHMALZ ,G.: Invariants of elliptic and hyperbolic CR-structures of cod i- mension 2. Int. J. Math. 10(1), 1–52 (1999)
1999
-
[10]
EZHOV , V ., MCLAUGHLIN , B., S CHMALZ , G.: From Cartan to T anaka: getting real in the complex world. Not. Am. Math. Soc. 58(1), 20–27 (2011)
2011
-
[12]
Mathematical Surveys and Monographs, 32
JACOBOWITZ , Howard: An introduction to CR structures. Mathematical Surveys and Monographs, 32. American Mathematical Society, Providence, RI, 1990. x+23 7 pp. ISBN: 0-8218-1533-4
1990
-
[13]
ISAEV , A., Z AITSEV , D.: Reduction of five-dimensional uniformly Levi degenerate CR structures to absolute parallelisms. J. Geom. Anal. 23(3), 1571–1605 (2013)
2013
-
[14]
Cartan for beginners.: Differential geometry via mov- ing frames and exterior differential systems
IVEY , Thomas A.; L ANDSBERG , Joseph M. Cartan for beginners.: Differential geometry via mov- ing frames and exterior differential systems . Second edition [of MR2003610]. Graduate Studies in Mathematics, 175. American Mathematical Society, Provide nce, RI, 2016. xviii + 453 ...
2016
-
[15]
MEDORI , C.; S PIRO , A.: The equivalence problem for five-dimensional Levi degenera te CR manifolds. Int. Math. Res. Not. IMRN 20, 5602–5647 (2014). 28
2014
-
[16]
Mathematical Sciences, 154 (2008), no
MERKER , J.: Lie symmetries and CR geometry, J. Mathematical Sciences, 154 (2008), no. 6, 817–922
2008
-
[17]
arXiv:1311.7522
MERKER , J.: Equivalences of 5-dimensional CRmanifolds,III: Six model s and (very) elementary nor- malizations. arXiv:1311.7522
-
[18]
arXiv:1312.1084
MERKER , J.: Equivalences of 5-dimensional CR manifolds, IV: Six ambigu ity matrix groups (Initial G-structures). arXiv:1312.1084
-
[19]
arXiv:1312.5688
MERKER , J.: Equivalences of 5-dimensional CR-manifolds V: Six initial frames and coframes; Explic- itness obstacles. arXiv:1312.5688
-
[20]
(Editor); L IE, S
MERKER , J. (Editor); L IE, S. (Author): Theory of Transformation Groups I. General Properties of Continuous Transformation Groups. A Contemporary Approac h and Translation , Springer-V erlag, Berlin, Heidelberg, 2015, xv+643 pp
2015
-
[22]
Explicit Absolute Parallelism for 2-Nondegenerate Real Hy persurfaces M 5 ⊂ C3 of Constant Levi Rank 1
MERKER , J.; P OCCHIOLA S. Explicit Absolute Parallelism for 2-Nondegenerate Real Hy persurfaces M 5 ⊂ C3 of Constant Levi Rank 1 . The Journal of Geometric Analysis (Feb 2018), pp 1-42
2018
-
[23]
Izvestiya Math
MERKER , J.; S ABZEVARI , M.: The Cartan equivalence problem for Levi-non-degenerate re al hyper- surfaces M 3 ⊂ C2. Izvestiya Math. 78, 1158–1194 (2014)
2014
-
[24]
MERKER , J.; S ABZEVARI , M.: Cartan equivalences for 5-dimensional CR-manifolds in C4. J. Geom. Anal. 26 (2016), no. 4, 3194–3251
2016
-
[25]
Cambridge, Cambridge University Press, 1995, xvi+525 pp
OLVER, P .J.:Equivalence, Invariance and Symmetries. Cambridge, Cambridge University Press, 1995, xvi+525 pp
1995
-
[26]
arXiv:1405.1341
POCCHIOLA , S.: Canonical Cartan connection for 4-dimensional CR-manifol ds belonging to general class II. arXiv:1405.1341
-
[27]
arXiv:1405.1342
POCCHIOLA , S.: Canonical Cartan connection for 5-dimensional CR-manifol ds belonging to general class III2. arXiv:1405.1342
-
[28]
SCHMALZ , G.; S PIRO , A.: Explicit construction of a Chern-Moser connection for CR ma nifolds of codimension two. Ann. Mat. Pura Appl. 4 185(3), 337–379 (2006)
2006
-
[29]
SOMMER , F.: Komplexe-analytische Blätterung reeller Hyperflächen im Cn, Math. Ann. 137 (1959), S392-411
1959
-
[30]
Part II: Several Complex V ariables.Translations of Mathematical Monographs, Amer
SHABAT , B.V .:Introduction to Complex Analysis. Part II: Several Complex V ariables.Translations of Mathematical Monographs, Amer. Math. Soc., vol. 110, 1992, x+371 pp
1992
-
[31]
TANAKA , N.: On the pseudo-conformal geometry of hypersurfaces of the space of n complex variables. J. Math. Soc. Jpn. 14, 397–429 (1962). WEI GUO FOO . H UA LOO -K ENG CENTER FOR MATHEMATICAL SCIENCES , A CADEMY OF MATHEMATICS AND SYSTEMS SCIENCE , C HINESE ACADEMY OF SCIENCE...
1962
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.