{"id":"749a7ac8-b62a-45b0-a071-728e90ced3e3","arxiv_id":"1908.08305","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Holomorphic bi-disks in 9-dimensional CR hypersurfaces with Levi signature (2,2) must satisfy two complex torsion equations, and a concrete hypersurface is shown to violate one of them.","lead":"This paper derives a necessary condition for a two-dimensional complex disk to sit inside certain nine-dimensional curved spaces, and shows the condition can fail in an explicit example. It matters because it extends Bryant's method from Lorentzian to balanced (2,2) Levi signature, giving new computable obstructions in CR geometry.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 6's obstruction example is invalid: the displayed dα1 formula gives a spurious E term; directly, dα1 has no α1∧α2 component, so T1=0 and the claimed bi-disk obstruction collapses.","rationale":"The most load-bearing concern is not Sommer's theorem, which is elementary and true: for a totally isotropic 2-plane in C^4 with form (++--), the top 2x2 block is invertible and the lower block divided by it is unitary. The real weak spot is the paper's only explicit obstruction example. The abstract and conclusion claim that a specific M^9 admits no holomorphic bi-disk because one of the torsions does not vanish. That claim is unsupported because the torsion E is computed from an erroneous formula for dα1 in §6.3. With the example's own adapted coframe (Q=0, R=1), a two-line direct computation shows dα1 has no α1∧α2 term, hence E=0 and T1=0. The reader's factor-2 comment about the value -2/(1+2z1+2\\bar z1) missed the more fundamental issue: the entire nonzero value is an artifact of a typo. Since no alternative example is supplied, the paper's central advertised result — an explicit 9-dimensional real hypersurface with Levi signature (2,2) through which no holomorphic bi-disk passes — is not established. The necessary-condition theorem (Theorem 3.20) may still be correct, but the paper's main application and the evidence that the obstruction is non-vacuous fail. This moves the verdict from CONDITIONAL to REJECT pending a corrected example or a substantially revised computation.","tokens_in":25243,"tokens_out":23650,"duration_ms":213943,"concrete_test":"Recompute dα1 and the torsion coefficients for the example in §6 with Q=0, R=1, P=sqrt(1+2(z1+\\bar z1)). Directly compute dα1 = dP∧dz1 and check whether the coefficient of α1∧α2 is zero (it is, since the only component is α1∧\\barα1). Then evaluate T1 = \\bar B + E - \\bar F: B = 1/P \\bar A2(P) = 0, F = 0, and E = 0, so T1 = 0. If this holds, the claimed nonvanishing value -2/(1+2z1+2\\bar z1) in the paper is an artifact of the typo in §6.3, and the example fails to establish an obstruction.","verdict_should_be":"REJECT","load_bearing_attack":"The paper's advertised non-existence result rests entirely on the computation in §6.4 that T1 = \\bar B + E - \\bar F = -2/(1+2z1+2\\bar z1) for the hypersurface u=|z1|^2+|z2|^2-|z3|^2-|z4|^2+G with G=|z1|^2(z1+\\bar z1). This value comes from E = -1/R A1(P) + Q/(PR)A1(R) + 1/P A2(P), read off from the displayed formula for dα1 in §6.3. For this example Q=0, R=1, P=sqrt(1+G_{z1\\bar z1}), so α1=P dz1 and α2=dz2, and P is independent of z2. A direct exterior derivative gives dα1 = dP∧dz1 = -(P_{\\bar z1}/(P\\bar P)) α1∧\\barα1, which has zero coefficient of α1∧α2. Hence the printed formula for dα1 is incorrect: the (2,0) coefficient should be -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). Consequently E=0, and since B=F=0, T1=0. The factor-2 discrepancy noted by the reader is a symptom of this spurious term. Thus the paper's only explicit hypersurface does not obstruct bi-disks according to the theorem, and the claimed application is unsupported.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":25561,"tokens_out":7732,"duration_ms":68523,"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":[{"comment":"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":"Section 6.3, displayed formula for dα1"},{"comment":"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":"Section 6.4, numerical value of \\bar B + E - \\bar F"},{"comment":"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.","section":"Section 5, equations (5.4)-(5.6)"},{"comment":"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.","section":"Theorem 2.5"}],"minor_comments":[{"comment":"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":"Section 6, defining equation"},{"comment":"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":"Section 3.1.2, equation before display (3.17)"},{"comment":"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":"Section 6.4, notation"},{"comment":"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":"Section 4, ideal in equation (4.7)"},{"comment":"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.","section":"Section 6.1, Levi form notation"}],"recommendation":"reject","confidential_remarks":"The decisive issue is the invalid example in Section 6, which is the paper's only advertised application. The self-citation pattern (reference [11] pointing to the same submission) and the reliance on unpublished manuscript [21] for Sommer's theorem are also worth editorial attention, but they are secondary to the computational error. The Section 3 derivation may be salvageable in a future version with a correct example, but as it stands the manuscript does not deliver its stated non-existence result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jo, quick take on Foo–Merker arXiv:1908.08305. The main theorem is a real extension of Bryant's Lorentzian disk obstruction to Levi signature (2,2): they show any holomorphic bi-disk lift must lie in the zero set of two complex functions T1, T2. The Cartan absorption in Section 3 looks correct; the skew-hermitian condition on U*dU forcing those two combinations is a clean argument. That part deserves attention.\n\nBut the paper's example is broken. The stress-test is right: for G=|z1|^2(z1+\\bar z1), Q=0, R=1, α1=P dz1, α2=dz2, and dα1 = dP∧dz1 = -(1/(P\\bar P)) α1∧\\bar α1, so the α1∧α2 coefficient is zero. The printed formula for dα1 in §6.3 includes spurious terms; consequently E=0, B=F=0, so T1=0. The hypersurface u=... does not obstruct bi-disks by their own criterion. The factor-2 discrepancy the reader noticed is a symptom of this same algebra error. So the only explicit example in the paper does not support the non-immersion claim.\n\nOther soft spots: Section 5 sends the reader to reference [11]—the same arXiv paper—for the remaining terms; that's not a substitute. Sommer's theorem is cited as proved in Merker's unpublished manuscript [21], which is a load-bearing dependency, though Sommer's result is known and the statement is plausible. There are also typos in the example's defining equation. These are minor relative to the example.\n\nOverall: the main theorem might be correct and is new, but the paper as written doesn't demonstrate that the obstructions are ever non-zero. That's a gap in the advertised application, not in the core derivation. I'd send it to referees—the theorem is worth checking carefully—but the referee should be told to focus on §6 and either fix the computation or find another example. Current version should not be accepted as is.\n\nI wouldn't cite it this year until the example is repaired. Bring it to reading group if you want to discuss the absorption trick; otherwise wait for revision.","headline":"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.","tokens_in":26112,"tokens_out":5561,"would_cite":false,"duration_ms":47191,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32V05","32V20","32V35"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two equations obstruct holomorphic bi-disks in (2,2)-CR hypersurfaces","keywords":["holomorphic immersions","bi-disks","CR manifolds","Levi signature (2,2)","Cartan equivalence method","exterior differential systems","isotropic planes","unitary group U(2)"],"falsifier":"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.","tokens_in":25034,"feed_emoji":"📐","tokens_out":9611,"duration_ms":79864,"temperature":0.7,"pith_summary":"This paper seeks a necessary condition for a holomorphic bi-disk $\\mathbb{D}^2$ to sit inside a real-analytic real hypersurface $M^9\\subset\\mathbb{C}^5$ whose Levi form has signature $(2,2)$ at every point. It establishes that if such an immersion exists and passes through the origin, then after lifting the image to the product space $M^9\\times U(2)$ the lifted image must lie in the zero set of two complex-valued torsion functions $T_1$ and $T_2$. Because each complex equation is two real equations, the existence of a bi-disk is an overdetermined problem, and generically the two functions block it. The paper demonstrates the obstruction concretely on the hypersurface $u=|z_1|^2+|z_2|^2-|z_3|^2-|z_4|^2+|z_1|^2(z_1+\\bar z_1)$, where $T_1$ does not vanish near the origin, so no holomorphic bi-disk passes through that point. A careful reader should care because this turns a transcendental existence question in CR geometry into a finite algebraic computation depending only on the defining function.","feed_headline":"Two equations obstruct holomorphic bi-disks in (2,2)-CR hypersurfaces","feed_subtitle":"Holomorphic bi-disks must satisfy four real conditions, and one explicit hypersurface already fails.","key_machinery":"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.","core_discovery":"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)$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"supplies the Lorentzian prototype of holomorphic disks in a CR hypersurface with Levi signature (1,1), which this paper adapts to signature (2,2).","marker":"[4]"},{"why":"original source of Sommer's theorem on totally isotropic planes and their parameterization by $U(n_-,n_+)$, used as Theorem 2.5.","marker":"[29]"},{"why":"proves the version of Sommer's theorem needed here, including invertibility of the positive block, making the U(2)-valued lift well defined.","marker":"[21]"},{"why":"provides the classical structural equations for real hypersurfaces and the associated S-tensor used to express the prolonged invariant dτ.","marker":"[8]"},{"why":"background reference for the equivalence method and the machinery of absorption, prolongation, and Cartan's lemma employed throughout.","marker":"[3]"}],"fun_headline_variants":["Two complex obstructions forbid holomorphic bi-disks in (2,2)-CR","Bi-disk immersions blocked by two torsion equations","Explicit (2,2) hypersurface with no holomorphic bi-disk","Four real conditions kill holomorphic bi-disks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Two complex obstructions forbid holomorphic bi-disks in (2,2)-CR","Bi-disk immersions blocked by two torsion equations","Explicit (2,2) hypersurface with no holomorphic bi-disk","Four real conditions kill holomorphic bi-disks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000624,"raw_usage":{"total_tokens":2922,"prompt_tokens":1013,"completion_tokens":1909,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":629,"completion_tokens_details":{"reasoning_tokens":1834}},"tokens_in":629,"tokens_out":1909,"duration_ms":12474,"temperature":1.0,"reasoning_tokens":1834,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:45:36.549814+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Lorentzian prototype of holomorphic disks in a CR hypersurface with Levi signature (1,1), which this paper adapts to signature (2,2)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"original source of Sommer's theorem on totally isotropic planes and their parameterization by $U(n_-,n_+)$, used as Theorem 2.5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"proves the version of Sommer's theorem needed here, including invertibility of the positive block, making the U(2)-valued lift well defined."},{"cited_title":"S.; M OSER , J","cited_arxiv_id":null,"evidence_quote":"provides the classical structural equations for real hypersurfaces and the associated S-tensor used to express the prolonged invariant dτ."},{"cited_title":"L.; C HERN , S","cited_arxiv_id":null,"evidence_quote":"background reference for the equivalence method and the machinery of absorption, prolongation, and Cartan's lemma employed throughout."}],"review_version":1}