{"id":"1b7a88a2-32c4-4d3e-af5c-c3c7056109ee","arxiv_id":"2501.03032","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Chen-Nie conjecture for canonical metric connections is verified for complex nilmanifolds with nilpotent J and for Bismut torsion-parallel manifolds.","lead":"An open conjecture about when a Hermitian manifold has constant holomorphic sectional curvature is proven for two special classes of manifolds. The result limits which of the infinitely many canonical metric connections can have this constant curvature property.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Non-balanced BTP proof's key contraction does not follow: under the stated admissible-frame torsion constraints, the |a_i|^2 term in the displayed equation vanishes, so the argument for (r,s)∈Γ is unsupported as written.","rationale":"The paper contains a substantial amount of correct-looking structure: the curvature identity (5) is the main new tool, the nilmanifold proof is internally coherent and checkable, and the balanced BTP threefold argument would follow if the classification and curvature matrices from [26] are correct. However, the most load-bearing concern is not the external dependence on [26] and [27], which the reader already flagged, but an internal algebraic inconsistency in the non-balanced BTP proof. Under the stated admissible-frame torsion conditions, the contraction the authors use to extract |a_i|^2 gives zero identically. This is a concrete, self-contained issue: it can be checked from equations (4), (5), and the admissible-frame properties in the paper itself, without trusting the external preprints. If the contraction can be corrected to yield the same conclusion, the paper's central claim for non-balanced BTP manifolds is restored; if not, that part of Theorem 7 is unproved. I therefore recommend keeping a conditional verdict, now conditioned on repairing or verifying this computation rather than only on the external classification results.","tokens_in":17642,"tokens_out":25503,"duration_ms":223161,"concrete_test":"Recompute the symmetrized v-term in equation (5) from definitions (4) for the index choice i=j, k=ℓ=n, using the admissible-frame relations T^n_{ij}=0 and T^j_{in}=δ_{ij}a_i. Evaluate explicitly 4\\hat v = v^i_i+v^n_n+v^i_n+v^n_i; if the result is 0, the displayed equation in the non-balanced BTP proof is false, and one must either identify the correct index contraction that produces |a_i|^2/4 while keeping the left-hand side zero, or conclude that part (2) is unproved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In the proof of Theorem 7(2), the authors invoke admissible frames with T^n_{ij}=0 and T^j_{in}=δ_{ij}a_i, then set i=j and k=ℓ=n in equation (12). However, using definitions (4) and (5), the symmetrized v-term for this index choice is identically zero: 4\\hat v = v^i_i+v^n_n+v^i_n+v^n_i, and each summand contains a factor T^n_{ab}=0 (even before conjugation). Thus (12) reduces to 0 = c/2(1+δ_{in}), which gives c=0 but gives no information about t^2+s^2/4. The displayed equation with the term (t^2+s^2/4−1)|a_i|^2/4 is not a consequence of the definitions stated in the paper. If a different index contraction was intended, it must be written out explicitly; in particular, a diagonal contraction would involve Rb_{i\\bar i i\\bar i}, which is not controlled by the admissible-frame curvature vanishing conditions. As written, the proof of part (2), and therefore the paper's announced verification for non-balanced BTP manifolds, has an internal gap independent of the reliance on the external BTP classification.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Chen–Nie conjecture (Conjecture 5) for the two-parameter family of canonical metric connections D^r_s on compact Hermitian manifolds. The authors derive an identity (5) that expresses the symmetrized curvature of D^r_s in terms of the Bismut curvature and a torsion-quadratic form \\hat v. Using this identity, they prove Theorem 7: (1) for complex nilmanifolds with nilpotent J, constant holomorphic sectional curvature forces c=0 and, unless the connection is the Chern connection, the manifold is a finite cover of a flat complex torus; (2) for non-balanced Bismut torsion-parallel (BTP) manifolds, c=0 and the parameter (r,s) lies on the Chen–Nie curve Γ; (3) for balanced BTP threefolds, the manifold is either Kähler or Chern flat with D^r_s equal to the Chern connection. The paper also verifies the expected behavior on standard Hopf manifolds. The main novelty is the unified identity (5) and its application to nilmanifolds, which is largely self-contained, while the BTP parts rely on structural results from the authors' preprints [26] and [27].","tokens_in":17874,"tokens_out":13396,"duration_ms":109525,"significance":"If the main theorem is correct, it gives the first substantial confirmation of the Chen–Nie conjecture in arbitrary dimension for two natural families of Hermitian manifolds, and it clarifies the role of the exceptional curve Γ. The identity (5) is an elegant and potentially useful tool, and the nilmanifold proof is explicit and computationally verifiable. However, the proof of part (2) currently contains an internal gap that blocks the claimed conclusion (r,s)∈Γ, and parts (2)–(3) are conditional on unpublished classification results. The paper therefore represents a promising contribution whose current form needs repair.","major_comments":[{"comment":"The displayed equation obtained by setting i=j and k=ℓ=n in (12) does not follow from the definitions. With admissible frames satisfying T^n_{ij}=0 and T^j_{in}=δ_{ij}a_i, take i=j=m and k=ℓ=n. Then 4\\hat v = v^m_m+v^n_n+v^m_n+v^n_m, and each of these terms is a sum over r of products in which at least one factor is T^n_{ab}=0. Hence \\hat v=0, not |a_i|^2/4. Consequently (12) reduces to 0 = c/2(1+δ_{mn}), giving only c=0 and no information about t^2+s^2/4. The claimed equality (t^2+s^2/4−1)|a_i|^2=0 is therefore unsupported, and the conclusion (r,s)∈Γ is not established by the written argument. A different index contraction or a separate argument controlling, for instance, \\sum_r|T^i_{ir}|^2 is needed.","section":"§4, proof of Theorem 7(2)"},{"comment":"The proof of part (2) relies on the existence and torsion-normal form of admissible frames quoted from Proposition 1.7 of the preprint [27], and part (3) relies on the classification of compact balanced BTP threefolds from the preprint [26], including the explicit Bismut curvature matrices (15) and (16). These are load-bearing inputs and are not reproduced in the paper. Since the admissible-frame normal form is also involved in the gap described above, the authors should state precisely which properties of admissible frames are used and either prove them or give a complete reference, so that the conditional status of the theorem is explicit and verifiable.","section":"§4, proof of Theorem 7(2)–(3)"},{"comment":"The induction in the nilmanifold proof is concise and mostly clear, but the step 'D^2_{*1}=D^1_{*2}=0' after setting k=2 appears to use the vanishing of the right-hand side \\sum_{r<2}|D^r_{2i}|^2. This is correct only if the index conventions in (9) and the identity preceding it are aligned; for completeness, the authors should spell out the index ranges (e.g., i<k, r<k) in the displayed identity so that the induction is unambiguous. This is a minor presentation issue, but it affects a central proof.","section":"§4, proof of Theorem 7(1)"}],"minor_comments":[{"comment":"The phrase '(a finite undercover of) a flat complex torus' should be '(a finite cover of) a flat complex torus'.","section":"Theorem 7(1)"},{"comment":"The notation φ^{i\\bar j} for φ^i∧\\overline{φ^j} is used without definition; it should be introduced before the curvature matrices are displayed.","section":"§3, equations (15)–(16)"},{"comment":"The text contains many typographical errors (e.g., 'const ant', 'cur vature', 'conmnections', 'strutures'). A careful proofread is needed before publication.","section":"Throughout"},{"comment":"The line 'Since the metric is assumed to be non-balanced, we have a_1+⋯+a_{n−1}=λ>0' would benefit from the explicit observation that a_n=0 follows from T^n_{nn}=0, so the sum over i=1,…,n−1 is the correct non-zero quantity.","section":"§4, non-balanced BTP proof"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on two preprints ([26] and [27]) by the same group, and the gap in the non-balanced BTP proof may stem from an incomplete recollection of the admissible-frame theorem. I recommend asking the authors to either prove the needed admissible-frame normal form or quote it verbatim, and to fix the index contraction in the proof of Theorem 7(2). If the gap persists, the theorem's second part should be downgraded to a conditional statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a real advance, and the suspected gap in Theorem 7(2) is not there. The stress-test note misreads the index placement in definition (4). When you set i=j and k=l=n in equation (12), the surviving v-term is v^i_n = sum_r |T^i_{nr}|^2, which equals |a_i|^2 under the admissible-frame conditions. The other three v-terms do carry a T^n factor and vanish. So the contraction is legitimate and the conclusion (r,s) in Gamma follows. That part of the proof is sound.\n\nWhat is actually new: the paper handles the full two-parameter family of canonical connections D^r_s, not just the Bismut connection or dimension 2. Identity (5) is a clean unifying tool that packages the curvature symmetrization for all these connections at once. The nilmanifold theorem genuinely extends the authors' earlier work on Strominger space forms, and the balanced BTP threefold result, while dependent on the classification in [26], is a substantial step.\n\nSoft spots, in proportion: the BTP parts (2) and (3) rest on two unrefereed preprints from the same group, [26] and [27]. That is an external dependency, not an internal circularity, but it means the conditional verdict is appropriate. A referee should check whether the classification of balanced BTP threefolds is complete and whether the curvature matrices (15) and (16) are correct. The nilmanifold induction is compressed; it works, but a few more lines would help the reader. Minor mismatch: the abstract advertises two cases, but the theorem also covers balanced BTP threefolds.\n\nI agree with the reader's conditional verdict, but condition the condition on the external preprints, not on any internal algebra. The central derivation is coherent and the paper does not oversell itself.\n\nWho this is for: differential geometers working on non-Kahler Hermitian geometry, especially those interested in holomorphic sectional curvature and the Chern-Nie conjecture. It deserves a serious referee; I would send it out.","headline":"A genuine advance on the Chen-Nie conjecture that is in better shape than the stress-test note suggests, though its BTP parts lean on unrefereed preprints.","tokens_in":18420,"tokens_out":8441,"would_cite":true,"duration_ms":68207,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","53C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For nilmanifolds and BTP manifolds, constant holomorphic sectional curvature forces flatness or Kähler.","keywords":["holomorphic sectional curvature","Hermitian space forms","canonical metric connections","Bismut torsion-parallel manifolds","complex nilmanifolds","balanced BTP threefolds","Chen-Nie curve"],"falsifier":"The theorem would be refuted by a compact non-abelian complex nilmanifold with nilpotent $J$ whose $D^r_s$ connection (not the Chern connection) has constant holomorphic sectional curvature $c\\neq0$, or by a balanced BTP threefold of a type not appearing in the three-type classification whose $D^r_s$ connection has constant holomorphic sectional curvature. A direct computation of the Bismut curvature of the Wallach and middle-type threefolds that disagrees with (15) or (16) would also settle part (3).","tokens_in":17430,"feed_emoji":"📐","tokens_out":10469,"duration_ms":84524,"temperature":0.7,"pith_summary":"The paper attacks the space-form question for Hermitian manifolds: if a canonical metric connection $D^r_s$ (a two-parameter family interpolating between Chern, Bismut, and Levi-Civita connections) has constant holomorphic sectional curvature, must the manifold be Kähler or flat? The authors confirm the conjecture in three settings: complex nilmanifolds with nilpotent complex structure, non-balanced Bismut torsion-parallel (BTP) manifolds, and balanced BTP threefolds. In each case the constant curvature collapses to either a Kähler complex space form, a flat torus (for nilmanifolds), or a Chern-flat quotient of $SO(3,\\mathbb{C})$, with the curve $\\Gamma$ as the only parameter locus where zero-curvature exotic examples can survive. This matters because it pins down the boundary of the classical space-form rigidity once Kähler symmetry is lost.","feed_headline":"Constant curvature forces flatness on nilmanifolds and BTP","feed_subtitle":"A new proof confirms the space-form conjecture for canonical metric connections in these families.","key_machinery":"The engine is an identity for the symmetrized curvature of any canonical metric connection $D^r_s$ (equation (5)): $\\hat{R}^D_{i\\bar{j}k\\bar{\\ell}} = \\hat{R}^c_{i\\bar{j}k\\bar{\\ell}} - (t^2 + s^2/4)\\hat{v}$, where $t=\\frac12(1-r+rs)$ and $\\hat{v}$ is a symmetric quadratic form built from the Chern torsion components. Constant holomorphic sectional curvature is exactly the condition $\\hat{R}^D_{i\\bar{j}k\\bar{\\ell}} = \\frac{c}{2}(\\delta_{ij}\\delta_{k\\ell}+\\delta_{i\\ell}\\delta_{kj})$, so the identity turns the geometric condition into algebraic equations on torsion and curvature. The curve $\\Gamma=\\{(r,s): t^2+s^2/4=1\\}$ is precisely where the torsion contribution vanishes, making it the only parameter locus where a non-flat connection can have zero holomorphic sectional curvature. The proofs then feed in structural input: a canonical coframe for nilpotent Lie groups with nilpotent $J$ (Theorem 12), admissible frames for non-balanced BTP manifolds, and the classification of balanced BTP threefolds from the authors' earlier work.","core_discovery":"The central claim is that the space-form conjecture holds for three classes of compact Hermitian manifolds. For a complex nilmanifold with nilpotent $J$, if any canonical metric connection $D^r_s$ other than the Chern connection has constant holomorphic sectional curvature $c$, then $c=0$, the underlying Lie group is abelian, and the manifold is a finite cover of a flat complex torus; if the connection is the Chern connection, $c=0$ and the manifold is Chern flat. For any non-balanced BTP manifold, constant holomorphic sectional curvature forces $c=0$ and the parameter $(r,s)$ to lie on the curve $\\Gamma$. For a balanced BTP threefold, the manifold is either Kähler or Chern flat with $c=0$ and $(r,s)=(1,0)$ (the Chern connection), the Chern-flat case being a compact quotient of the simple complex Lie group $SO(3,\\mathbb{C})$.","pith_inferences":["Editorial extension: the curvature identity (5) suggests a general mechanism for any compact Hermitian manifold with constant $D^r_s$ holomorphic sectional curvature: the parameter either avoids $\\Gamma$ and forces flatness, or lies on $\\Gamma$ where torsion can partially hide; one could hunt for new $\\Gamma$-examples among solvmanifolds with torsion.","Editorial inference: the admissible-frame method used here for non-balanced BTP manifolds may generalize to all BTP manifolds once the balanced classification is extended to higher dimensions.","Editorial inference: the nilmanifold proof leaves open the case of arbitrary (non-nilpotent) complex structures; testing the conjecture on a nilmanifold with non-nilpotent $J$ would isolate exactly where the triangular structure constants (9) are needed."],"forward_implications":["Every complex nilmanifold with nilpotent $J$ satisfies the conjecture: a constant-curvature $D^r_s$ is either Chern flat (Chern case) or a flat torus (any other case).","Non-balanced BTP manifolds with constant holomorphic sectional curvature must have $c=0$ and $(r,s)\\in\\Gamma$, so non-Kähler Bismut Kähler-like and Vaisman manifolds are included.","Among balanced BTP threefolds, the Wallach threefold and middle-type examples are ruled out as possible constant-curvature space forms; only Kähler or the Chern-flat $SO(3,\\mathbb{C})$ quotient survives.","The conjecture is now verified across complex dimension 2 and these higher-dimensional families, and the standard Hopf manifolds show that the curve $\\Gamma$ cannot be removed from the statement."],"supporting_citations":[{"why":"Introduces the curve $\\Gamma$ and proves the conjecture for compact Hermitian surfaces, providing the target statement and the surface case.","marker":"[6]"},{"why":"Earlier work by the authors on Strominger space forms; supplies the curvature-torsion formulas and the Bismut-case results that the present proof extends.","marker":"[7]"},{"why":"Defines nilpotent complex structures and the triangular form of structure constants used in the nilmanifold proof.","marker":"[10]"},{"why":"Provides the canonical coframe for nilpotent Lie groups with a left-invariant complex structure, used to normalize the structure constants.","marker":"[17]"},{"why":"Gives formula (1) for the difference $\\gamma$ between Bismut and Chern connections and the connection matrices used throughout the curvature computations.","marker":"[22]"},{"why":"Classifies compact balanced BTP threefolds and lists their Bismut curvature matrices (15) and (16), which the balanced threefold proof relies on.","marker":"[26]"},{"why":"Establishes the admissible-frame theorem and the constants $a_i$ for non-balanced BTP manifolds, used in part (2).","marker":"[27]"}],"fun_headline_variants":["Space-form conjecture proven for nilmanifolds and BTP","Constant curvature forces flatness on nilmanifolds and BTP","Nilmanifolds with constant curvature are flat complex tori","Chen-Nie conjecture verified for two Hermitian classes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the classification of compact balanced non-Kähler BTP threefolds into exactly the three types listed in [26] is complete and that the Bismut curvature matrices displayed in (15) and (16) are correct; part (3) of Theorem 7 is contradiction arguments run on those matrices. In part (1) the similarly essential assumption is that the complex structure is nilpotent in the sense of [10], which is needed to put the structure constants in the triangular form (9).","fun_headline_variants_meta":{"raw":{"variants":["Space-form conjecture proven for nilmanifolds and BTP","Constant curvature forces flatness on nilmanifolds and BTP","Nilmanifolds with constant curvature are flat complex tori","Chen-Nie conjecture verified for two Hermitian classes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00097,"raw_usage":{"total_tokens":4035,"prompt_tokens":767,"completion_tokens":3268,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":383,"completion_tokens_details":{"reasoning_tokens":3198}},"tokens_in":383,"tokens_out":3268,"duration_ms":26312,"temperature":1.0,"reasoning_tokens":3198,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:58:32.927356+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The theorem would be refuted by a compact non-abelian complex nilmanifold with nilpotent $J$ whose $D^r_s$ connection (not the Chern connection) has constant holomorphic sectional curvature $c\\neq0$, or by a balanced BTP threefold of a type not appearing in the three-type classification whose $D^r_s$ connection has constant holomorphic sectional curvature. A direct computation of the Bismut curvature of the Wallach and middle-type threefolds that disagrees with (15) or (16) would also settle part (3).","supporting_citations":[{"cited_title":"Chen and X","cited_arxiv_id":null,"evidence_quote":"Introduces the curve $\\Gamma$ and proves the conjecture for compact Hermitian surfaces, providing the target statement and the surface case."},{"cited_title":"Chen and F","cited_arxiv_id":null,"evidence_quote":"Earlier work by the authors on Strominger space forms; supplies the curvature-torsion formulas and the Bismut-case results that the present proof extends."},{"cited_title":"Cordero, M","cited_arxiv_id":null,"evidence_quote":"Defines nilpotent complex structures and the triangular form of structure constants used in the nilmanifold proof."},{"cited_title":"Salamon, Complex structures on nilpotent Lie algebras, J","cited_arxiv_id":null,"evidence_quote":"Provides the canonical coframe for nilpotent Lie groups with a left-invariant complex structure, used to normalize the structure constants."},{"cited_title":"Yang and F","cited_arxiv_id":null,"evidence_quote":"Gives formula (1) for the difference $\\gamma$ between Bismut and Chern connections and the connection matrices used throughout the curvature computations."}],"review_version":1}