{"id":"26ff15d1-a3fb-4b66-b649-9c65372a7197","arxiv_id":"2607.29506","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Alessandrini–Bassanelli conjecture holds for nilmanifolds with nilpotent complex structures and for holomorphically parallelizable solvmanifolds, with low-degree classifications and new (n−2)-Kähler examples.","lead":"This paper proves a longstanding conjecture in complex geometry for two large families of spaces built from Lie groups: the conjecture says that if a space has a certain weak 'p-Kähler' structure, it automatically has all stronger structures up to balanced. The proof also classifies which of these spaces admit the weakest structures and constructs new examples.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.10 invokes Proposition 4.4's quasi-nilpotency hypothesis for nilpotent complex structures without proving it; the missing implication is true but must be stated and checked for the induction to be complete.","rationale":"The reader's weakest assumption identifies exactly the quasi-nilpotent step in Theorem 4.10, and that is also the most load-bearing point I find. The central claim of item 1 depends on Proposition 4.4 being applicable to every nilpotent complex structure. Since the paper does not spell out why a nilpotent complex structure is quasi-nilpotent, the proof as written has a gap. However, the gap is small and easily filled by the standard fact that the highest dual vector in a J-adapted basis is central and J-invariant. I therefore do not see a reason to change the reader's conditional verdict: the paper should add the missing justification, but I found no actual false step or counterexample. The other potential concerns, such as the cross-reference slips in Lemma 5.2 and the degree-counting in its proof, appear to be presentation typos rather than logical errors; the degree counts check out when the indices are read correctly. Thus my read keeps the verdict at CONDITIONAL, i.e., unchanged.","tokens_in":24262,"tokens_out":38446,"duration_ms":367106,"concrete_test":"Verify the missing lemma: for an arbitrary nilpotent complex structure basis satisfying (2.1), let e_n be dual to φ^n and compute [e_n, X] and [ē_n, X] for a basis X of g_C using dφ^j(X,e_n) = -φ^j([X,e_n]). Check that all brackets vanish, and that the quotient by span_R(e_n + ē_n, i(e_n - ē_n)) inherits a nilpotent complex structure satisfying (2.1). If both hold, Theorem 4.10's use of Proposition 4.4 is justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The nilmanifold half of the Main Theorem rests on Theorem 4.10, whose induction step applies Proposition 4.4. That proposition assumes the complex structure is quasi-nilpotent: the center has a nontrivial J-invariant subspace. The paper goes from 'J is nilpotent' (Definition 2.10) to 'J is quasi-nilpotent' without comment. This is the load-bearing step: without it, the a-extension reduction to a (p-1)-Kähler quotient cannot be made, and the induction does not start. The missing implication is in fact true: in a J-adapted basis satisfying (2.1), the vector e_n dual to φ^n has [e_n, X] = 0 for every X, because every dφ^j lacks φ^n; similarly ē_n is central, so span_R(e_n + ē_n, i(e_n - ē_n)) is a J-invariant central 2-plane. But this argument is absent from the manuscript, so Theorem 4.10 contains an unstated lemma. The imported base cases [14,22] are less concerning since they are published; the quasi-nilpotent step is the real load-bearing gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Alessandrini–Bassanelli conjecture, which predicts that a compact complex manifold admitting a p-Kähler structure admits q-Kähler structures for every q ≥ p. The authors prove the conjecture for nilmanifolds with nilpotent complex structures and for holomorphically parallelizable solvmanifolds; they also classify which such solvmanifolds admit p-Kähler structures for low p, and construct (n−2)-Kähler examples on quotients of reductive complex Lie groups. The proof strategy is Lie-algebraic: after a symmetrization step, the problem is reduced to invariant forms on Lie algebras, where nilpotent/quasi-nilpotent complex structures and structure equations are used to produce higher-degree transverse closed forms by wedging with closed (1,1)-terms.","tokens_in":24577,"tokens_out":16114,"duration_ms":160460,"significance":"If the main theorem is correct, it is a substantial advance on a longstanding conjecture: it gives the first evidence that arbitrary p-Kähler structures force the existence of balanced metrics in two broad classes of non-Kähler compact complex manifolds. The paper also contains useful algebraic tools (Lemma 3.5 for constructing transverse forms, Proposition 4.5 for dimensional reduction along central ideals) and explicit sharp examples. The main arguments are mostly self-contained and the algebraic reductions are clearly organized; the reliance on the authors' earlier results [14,22] is explicit and does not presuppose the conjecture. However, the proof of the solvmanifold part contains a bidegree error in Lemma 5.2 that is load-bearing, and the nilmanifold induction has an unproved quasi-nilpotency step; these must be repaired before the main claims are established.","major_comments":[{"comment":"The form β := d(φ1···φ̂u···φ̂v···φ̃p+1) is a (p̃−1,0)-form, not a (p̃,0)-form: it is the exterior derivative of a wedge of p̃−1 one-forms. Therefore Remark 2.8 / Proposition 2.15, which only forbid nonzero exact decomposable holomorphic (p̃,0)-forms on a p-Kähler algebra, cannot be used to conclude β=0. This conclusion is the step that forces the structure equations (5.3); without it Theorem 5.4 has no basis for constructing the (p+1)-Kähler form. The proof also refers to (5.3) before it is established, but the degree mismatch is the substantive gap.","section":"Lemma 5.2"},{"comment":"The induction step invokes Proposition 4.4, whose hypothesis requires J to be quasi-nilpotent. For a nilpotent complex structure in the sense of Definition 2.10 the implication is true: in a J-adapted basis satisfying (2.1), the dual basis element e_n is central because every dφ^j omits φ^n, and similarly ē_n is central, so their real J-span is a J-invariant central 2-plane. But this argument is not given. Without it, the reduction to a (p−1)-Kähler a-extension is not justified and the induction does not close.","section":"Theorem 4.10"},{"comment":"In the rank-1 obstruction, Lemma 2.14 is applied with k the complement of sl2C. This requires p > dim_C k, which holds for n ≥ 4 but not for the case g = sl2C (n = 3). The conclusion there would be that sl2C is 1-Kähler, i.e. Kähler; the needed contradiction is standard but not supplied. A separate sentence covering n = 3 is necessary.","section":"Theorem 5.15"},{"comment":"The form Ω is declared to be transverse without proof. A sum of squares of holomorphic (n−2,0)-forms need not be transverse: for example on C^4, ψ = φ1∧φ2 gives ψ∧ψ = 0 when evaluated with η = φ2∧φ3. One must show that the space used to define Ω is large enough that for every nonzero decomposable 2-form η some summand has nonzero wedge with η. In addition, the assertion that σ_j can be chosen of pure type (n−3,0) from ψ_j = dσ_j requires justification; exactness in the total complex does not by itself imply a representative of that bidegree.","section":"Proposition 5.16"}],"minor_comments":[{"comment":"The phrase 'because by (5.3)' appears before (5.3) has been derived; the argument should be reordered.","section":"Lemma 5.2"},{"comment":"In equation (4.2), the second line should read Vol_M ∧ \\tilde{Ω}_{n−2}, not Vol_M ∧ \\tilde{Ω}_{m−2}; the same typo appears in the surrounding text.","section":"Theorem 4.1"},{"comment":"The notation π* is ambiguous: it is not clear whether this is pullback, pushforward, or contraction followed by identification with the quotient. Please clarify the map being used.","section":"Proposition 4.5"},{"comment":"The sentence after (5.1) is incomplete: 'extends to an isomorphism (5.1) Λ^{k,0}g*_C ≃ Λ^k g*' has no closing period or continuation.","section":"Section 5.1"},{"comment":"There is a duplicated word: 'admitting admitting p-Kähler structures'.","section":"Example 2.16"},{"comment":"The proof uses Lemma 5.2, which is stated only for 1 < p < n−1. The case p = 1 is trivial because Kähler implies q-Kähler for all q, but it should be mentioned explicitly.","section":"Theorem 5.4"},{"comment":"Typo: 'grater' should be 'greater'.","section":"Proposition 5.16"}],"recommendation":"major_revision","confidential_remarks":"The key issue is Lemma 5.2: if the bidegree error cannot be repaired, the solvmanifold half of the Main Theorem may be false or require a substantially different proof. The nilmanifold gap is easy to fix. I recommend major revision so that the authors can supply a corrected proof of Lemma 5.2 and the missing quasi-nilpotency argument."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper does what it claims. It proves the Alessandrini–Bassanelli conjecture on all nilmanifolds with nilpotent complex structures and all holomorphically parallelizable solvmanifolds, plus a clean classification and new examples. The main argument is a Lie-algebra induction, and the biggest issue is one unstated step in that induction. I'd send it to review; a good referee can sort the gap.\n\nWhat's new: previously the conjecture was known only for a restrictive class of h.p. nilmanifolds and for examples. Here the symmetrization argument plus the a-extension reduction covers two broad families. The sharp bound p ≤ n/2 in the solvable case, the characterization of extremal cases, and the (n−2)-Kähler examples on reductive quotients with vanishing Bott–Chern class are solid additions. The product theorem in Section 4 is also a nice result, and Lemma 3.5 (wedging with a Kähler form preserves transversality) is simple and useful. The paper is organized, and the writing is mostly clear.\n\nSoft spots, in order:\n\n1. Theorem 4.10 is load-bearing. It applies Proposition 4.4, whose hypothesis is 'quasi-nilpotent complex structure.' The paper moves from 'nilpotent' to 'quasi-nilpotent' without comment. The implication is true — in a J-adapted basis, the dual vector to φ^n is central, so the center contains a J-invariant 2-plane — but the argument is absent. This is a missing lemma, not a fatal flaw. It must be stated and proved.\n\n2. Lemma 5.2 has presentation bugs. The form β is described as d of a (p̃−1,0)-form but treated as a (p̃,0)-form; and it cites (5.3) before (5.3) is proven. This is probably a degree typo and an ordering issue, but in the technical heart of the solvable case it needs to be cleaned up. Same for the cross-references around (5.5).\n\n3. Theorem 5.15's rank-1 factor argument is actually fine: applying Lemma 2.14 with the complement as the ideal reduces to sl2 admitting a Kähler metric, impossible. But the reduction could be written more explicitly; as written it strains the reader.\n\nThe references to the authors' own earlier work are appropriate; [14] and [22] cover base cases and the h.p. nilmanifold case. No circularity.\n\nBottom line: this is a substantial, believable piece of work. The missing quasi-nilpotent lemma and the presentation issues are fixable. Don't desk-reject. Send to a referee, and make sure the referee checks the induction in Theorem 4.10 carefully.","headline":"Proves the Alessandrini–Bassanelli conjecture on nilmanifolds with nilpotent complex structures and on holomorphically parallelizable solvmanifolds; the core argument is sound but one load-bearing step in the nilmanifold induction is unstated and must be fixed.","tokens_in":25055,"tokens_out":2808,"would_cite":true,"duration_ms":28277,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","22E25","22E46"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves the Alessandrini–Bassanelli conjecture on nilmanifolds with nilpotent complex structures and on holomorphically parallelizable solvmanifolds: any p-Kähler structure on these manifolds yields q-Kähler structures for all q ≥","keywords":["p-Kähler structures","Alessandrini-Bassanelli conjecture","nilmanifolds","nilpotent complex structures","holomorphically parallelizable manifolds","solvmanifolds","balanced metrics","reductive Lie groups"],"falsifier":"Search for a nilmanifold with nilpotent complex structure in the smallest dimension where the induction has not been checked—starting with 6 real dimensions—that admits a closed transverse $(2,2)$-form but no closed transverse $(3,3)$-form. Such a pair would be a counterexample to the main theorem; equivalently, check whether every 6-dimensional nilpotent Lie algebra with nilpotent $J$ and a $p$-Kähler form satisfies the quasi-nilpotent $a$-extension reduction of Proposition 4.4.","tokens_in":24160,"feed_emoji":"📐","tokens_out":9043,"duration_ms":89091,"temperature":0.7,"texified_at":"2026-08-05T21:56:38.570697+00:00","pith_summary":"This paper establishes the Alessandrini–Bassanelli conjecture for two large families of compact complex manifolds: nilmanifolds with nilpotent complex structures, and holomorphically parallelizable solvmanifolds. The conjecture says that a closed transverse $(p,p)$-form—a $p$-Kähler structure—forces closed transverse $(q,q)$-forms for every $q \\ge p$; if true in general, every $p$-Kähler manifold would admit a balanced metric. The authors prove it by passing to Lie algebras, where a structural induction shows the existence of enough closed $(1,0)$-forms to raise the degree of the form. Consequences include: no such solvmanifold can be $p$-Kähler for $p \\le n/2$, a classification at the threshold, and new $(n-2)$-Kähler examples on quotients of reductive complex Lie groups without rank-one simple factors.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":7989,"prompt_tokens":877,"completion_tokens":7112,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":877,"completion_tokens_details":{"reasoning_tokens":6280}},"feed_headline":"p-Kähler structures force balanced metrics on key classes","feed_subtitle":"The result settles the conjecture on two large classes and forces balanced metrics.","key_machinery":"The central mechanism is symmetrization plus degree-raising by wedging with closed $(1,0)$-forms. Lemma 2.9 lets a $p$-Kähler structure on a compact quotient $\\Gamma\\backslash G$ descend to the Lie algebra $g$. Proposition 4.4 then splits a $p$-Kähler nilpotent Lie algebra with quasi-nilpotent complex structure into an $a$-extension of a $(p-1)$-Kähler Lie algebra, driving the induction. In the solvable holomorphically parallelizable case, Lemma 5.2 produces a basis with enough closed $(1,0)$-forms, and Lemma 3.5 converts a transverse $p$-form plus those closed forms into a transverse $(p+1)$-form. In the reductive case, Lemma 5.14 shows exact decomposable 2-forms vanish when all simple factors have rank at least 2.","core_discovery":"The paper's central claim is that the Alessandrini–Bassanelli conjecture holds on nilmanifolds with nilpotent complex structures and on holomorphically parallelizable solvmanifolds: a $p$-Kähler structure on any such manifold forces $q$-Kähler structures for all $q \\ge p$, hence a balanced metric. The proof reduces to Lie algebras via symmetrization. In the nilpotent case it uses the fact that a $p$-Kähler nilpotent Lie algebra with quasi-nilpotent complex structure is an $a$-extension of a $(p-1)$-Kähler one, allowing induction; in the solvable case, structure equations force enough closed $(1,0)$-forms. Consequences include a sharp no-go bound $p \\le n/2$ on solvmanifolds and a characterization of reductive $q$","pith_inferences":["The algebraic mechanism suggests a testable generalization: if the a-extension induction works for any quasi-nilpotent complex structure, the conjecture would extend to larger classes of solvmanifolds than those explicitly covered.","The paper shows that squares of transverse (2,2)-forms are always transverse, but for p ≥ 3 there exist transverse (p,p)-forms whose squares are not transverse. Whether any such form can be closed on a compact manifold remains open, so powers of p-Kähler structures are not yet settled and could provide a subtle counterexample to the general conjecture.","The reductive characterization points to a root-system mechanism: the rank-1 obstruction appears tied to the existence of exact decomposable 2-forms, so one could compute the Bott-Chern cohomology of the new examples to see which balanced metrics arise and whether the vanishing class is a general feature."],"forward_implications":["On nilmanifolds with nilpotent complex structures and on holomorphically parallelizable solvmanifolds, the Alessandrini–Bassanelli conjecture holds: any p-Kähler structure implies balanced metrics.","Non-abelian holomorphically parallelizable solvmanifolds admit no p-Kähler structures for p ≤ n/2, and the bound is sharp; the lowest admissible degree is floor(n/2)+1.","The paper classifies which holomorphically parallelizable solvmanifolds with non-trivial center realize the lowest possible p-Kähler degree: in odd dimensions they are the complex Heisenberg-type algebras, and in even dimensions a two-derivation family with explicit structure equations.","Products of balanced manifolds that are (m−2)- and (n−2)-Kähler are (m+n−2)-Kähler and balanced, without the extra positivity assumptions previously needed.","Compact quotients of reductive complex Lie groups admit (n−2)-Kähler structures if and only if no simple factor has rank 1; in the semisimple rank at least 2 case, the structure can be chosen with vanishing Bott-Chern class."],"fun_headline_variants":["p-Kähler forces balanced on nilmanifolds and solvmanifolds","Conjecture proven: p-Kähler ⇒ balanced metrics","Balanced metrics forced by p-Kähler on key classes","p-Kähler settles Alessandrini–Bassanelli conjecture","p-Kähler implies balanced on two large classes"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof assumes that a $p$-Kähler nilpotent Lie algebra with a nilpotent complex structure can always be reduced to a $(p-1)$-Kähler one by dividing out a central complex line, and that the base cases of the induction are correct; if that reduction fails for some nilpotent complex structure, the nilmanifold half of the main theorem loses its support.","fun_headline_variants_meta":{"raw":{"variants":["p-Kähler forces balanced on nilmanifolds and solvmanifolds","Conjecture proven: p-Kähler ⇒ balanced metrics","Balanced metrics forced by p-Kähler on key classes","p-Kähler settles Alessandrini–Bassanelli conjecture","p-Kähler implies balanced on two large classes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001441,"raw_usage":{"total_tokens":5590,"prompt_tokens":634,"completion_tokens":4956,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":378,"completion_tokens_details":{"reasoning_tokens":4865}},"tokens_in":378,"tokens_out":4956,"duration_ms":38891,"temperature":1.0,"reasoning_tokens":4865,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T05:37:47.429770+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for a nilmanifold with nilpotent complex structure in the smallest dimension where the induction has not been checked—starting with 6 real dimensions—that admits a closed transverse $(2,2)$-form but no closed transverse $(3,3)$-form. Such a pair would be a counterexample to the main theorem; equivalently, check whether every 6-dimensional nilpotent Lie algebra with nilpotent $J$ and a $p$-Kähler form satisfies the quasi-nilpotent $a$-extension reduction of Proposition 4.4.","supporting_citations":[],"review_version":1}