{"id":"194eac64-df8d-4a5b-8e88-cb1bcb71ba4f","arxiv_id":"2506.06369","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":0.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An explicitly labeled survey of astheno-Kähler manifolds that reproduces known theorems and examples and contributes no new results.","lead":"A survey paper that compiles what is known about astheno-Kähler manifolds, a class of complex spaces with a weakened Kähler condition. It is a reference map of results and examples for a niche subfield, with no new theorems of its own.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.2 in Section 5.2 is not merely missing a symbol: the displayed 'Monge-Ampère' result is an incomplete linear equation with F′ and b′ unused, so a reader cannot reconstruct the quoted Tosatti–Weinkove theorem.","rationale":"I evaluated the paper as a survey; with no original theorem, correctness reduces to fidelity of transcription. The main uncertainty is whether quoted statements are faithful, and the Reader is right that this is visibly violated. I focused on the most consequential instance: Theorem 5.2's statement is internally incomplete, with F′ and b′ unused and a displayed relation that is linear rather than Monge-Ampère. This is a concrete, checkable failure in the section that is supposed to summarize PDE developments. Other cited theorems show no internal contradiction from the text alone, and many examples are accompanied by enough structure to be checked; I do not claim fraud or systematic dishonesty. The fix is straightforward: compare with [47] and correct the statement. The Reader's CONDITIONAL verdict therefore stands; my concern does not move it, but it makes the conditional nature concrete and specific.","tokens_in":15207,"tokens_out":6291,"duration_ms":58060,"concrete_test":"Retrieve Tosatti–Weinkove [47] (J. reine angew. Math. 755 (2019), 67–101), find the theorem corresponding to the survey's Theorem 5.2 (likely Theorem 1.1 or 1.2), and compare the displayed equation. If the original conclusion is of the form (Ω+i∂∂̄u)^{m-1}=e^{F+b}Ω0^{m-1} (or with F′/b′ in an exponent), the survey has dropped the exponential and the normalization; rewrite Theorem 5.2 to match the source and check that Ω_u is then properly defined. If the original equation is actually the linear one printed, the error shifts to the surrounding prose; either way, the theorem must be corrected before the survey is usable as a reference.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim, as a survey, is that quoted results are faithfully transcribed. The weakest load-bearing condition is that each cited theorem is stated accurately enough to be used. Section 5.2, Theorem 5.2 violates this: after summarizing Tosatti–Weinkove's Monge-Ampère theorem, the displayed statement introduces a smooth function F′ and a unique constant b′, yet neither appears in the conclusion; the only equation is Ω_u^{m-1}=Ω_0^{m-1}+i∂∂̄u∧Ω^{m-2}. This is not a Monge-Ampère equation: there is no exponential, no normalization, and no role for F′ or b′, and it does not determine u or Ω_u as a metric in the way the preceding paragraph describes. Since the paper is a chain of transcriptions, this is a substantive fidelity failure, not a cosmetic typo: a reader cannot tell what theorem is being attributed to [47]. It is the same class of defect the Reader identified, but sharper because it sits in the paper's main PDE section and leaves the section's headline result unusable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is a survey of astheno-Kähler manifolds. Sections 2 and 3 collect definitions and cited results, including cohomological inequalities, criteria for astheno-Kähler metrics to be Kähler, nilmanifold constructions, and theorems on vector bundles. Section 4 presents examples drawn from Matsuo–Takahashi, Fino–Tomassini, Fino–Grantcharov–Vezzoni, Matsuo, and Chiose–Rasdeaconu. Section 5 reports PDE results on the Fu–Yau equation, the complex Monge–Ampère equation, and the Hermitian–Yang–Mills flow. The authors state no original theorems; the paper's value depends entirely on the fidelity of its transcriptions and references.","tokens_in":15356,"tokens_out":8823,"duration_ms":86151,"significance":"If the transcriptions are accurate, the paper is a useful reference map of a mature subfield, and the worked examples in Section 4 provide a convenient, mostly reproducible collection of computations. The paper has no original derivation, machine-checked proof, parameter-free construction, or falsifiable prediction, so its significance is that of a survey rather than a research contribution. Its strengths are the breadth of the bibliography and the explicit presentation of several known examples. However, because the manuscript is nothing but transcriptions, accuracy of quotation is load-bearing, and the defects noted below prevent a reader from using the text as a reliable reference at present.","major_comments":[{"comment":"The statement introduces a smooth function F′ and a unique constant b′, but neither appears in the displayed conclusion. The displayed equation Ω_u^{m−1} = Ω_0^{m−1} + i∂∂̄u ∧ Ω^{m−2} is a linear equation in u, not a Monge–Ampère equation; it does not determine b′, does not use F′, and does not state the normalization condition needed for uniqueness. As printed, the theorem cannot be used, and it does not faithfully report the result of [47] described in the preceding paragraph.","section":"§5.2, Theorem 5.2"},{"comment":"The opening sentence, 'Any product manifold of curves and surfaces is astheno-Kähler', is false under Definition 2.2 if the surface factor is an arbitrary Hermitian surface: for M = C × S with Ω = ω_C + ω_S and m = 3, we have ∂∂̄Ω = ∂∂̄ω_S, which need not vanish on a compact complex surface. If the intended statement assumes Kähler factors, that hypothesis is missing. The almost-contact construction that follows is unrelated to the initial claim, so the example is internally inconsistent as written.","section":"§4, Example 1"},{"comment":"The exclusion 'with s ≥ 2 and s = 1' is impossible for any integer s, so the class of manifolds being discussed is empty and the sentence has no determinate content. Since the survey's purpose is to report [9, Corollary 5.3] accurately, this is not merely a cosmetic typo but a fidelity failure that makes the cited result unusable.","section":"§4, Example 7"},{"comment":"The hypothesis 'compact almost-Calabi-Yau manifold with torsion form ≥ 3' is not meaningful in the notation of Definitions 2.10 and 2.11; no object called a torsion form is defined, and the inequality '≥ 3' is attached to no quantity. The disjunction 'either almost-pluriclosed (Gauduchon) or almost-astheno-Kähler' is followed by a conclusion that does not specify which of the alternative conditions is being used. The theorem cannot be checked as printed and should be compared line-by-line with [24, Theorem 1.1, 1.2].","section":"§2.1, Theorem 2.13"}],"minor_comments":[{"comment":"The text 'Figure 1: flow chart' appears after Definition 2.2, but no figure is included in the manuscript, and there is no caption explaining the chart's content.","section":"§2, Figure 1"},{"comment":"The names 'Grantcherov' and 'Weincove' are misspelled; they should be 'Grantcharov' (as in [12]) and 'Weinkove' (as in [47]).","section":"§2.1 and §5.2"},{"comment":"The Fu–Yau equation is attributed to '[37, 17]', but [37] is Phong–Picard–Zhang and [17] is Garcia-Fernandez; the original references [14,15] should be cited for the introduction of the equation.","section":"§5.1, Eq. (5.1)"},{"comment":"The word 'Hessain' should be 'Hessian', and the phrase 'trace of the Hessian ∇²f' should be punctuated so that it reads as a definition of the tension field rather than of the Laplacian.","section":"§2, Definition 2.11"}],"recommendation":"major_revision","confidential_remarks":"Because the paper is entirely a survey, acceptance should hinge on the authors verifying every quoted theorem and example against the cited sources. I recommend asking for a source-by-source check, not merely a rewording of Theorem 5.2, since the errors in Examples 1 and 7 and Theorem 2.13 indicate a broader fidelity problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague — quick take: this is an explicitly labeled survey of astheno-Kähler geometry, and it contains no new theorems. That is not a flaw by itself; the value of a survey is in accurate selection and transcription. The problem is that the transcription breaks in a load-bearing place.\n\nWhat the paper does well: it collects a broad set of results and examples—Jost–Yau's rigidity work, Fino–Tomassini's examples, Chiose–Rasdeaconu's cohomology inequalities, recent bundle and PDE papers—and organizes them into sections. I spot-checked Example 2's computation (dd^cΩ = 2(Φ1^2+Φ2^2) = 0) and it is correct. For a newcomer who wants a bibliography and a sense of the landscape, the survey could be genuinely useful.\n\nThe soft spots, in proportion. The main one is Theorem 5.2, which is supposed to state the Tosatti–Weinkove Monge–Ampère result. It introduces a smooth function F′ and a constant b′ that never appear in the conclusion, and the displayed equation (Ω_u^{m−1} = Ω_0^{m−1} + i∂∂̄u ∧ Ω^{m−2}) is a linear identity, not a Monge–Ampère equation. A reader cannot tell from this statement what theorem is being attributed to [47]. That is a substantive fidelity failure, not a typo. There are smaller ones with the same root cause: Figure 1 is referenced but missing, and author names are misspelled ('Grantcherov', 'Weincove'). Since the paper is a chain of transcriptions, these are not cosmetic; each error erodes the survey's raison d'être.\n\nI am not counting novelty against it—it says it is a survey. But the central PDE section currently misstates its headline result, and that is load-bearing.\n\nBottom line: this could serve as an orientation for a graduate student or a non-expert entering the astheno-Kähler literature, but only after substantial correction. I would not cite it in its current form, and no one should use it as a reference without checking the sources.\n\nRecommendation: send it to peer review with a strong mandate to verify every quoted theorem against the original papers and to rewrite Theorem 5.2 so it actually states the Tosatti–Weinkove result. The organizational material is there; the fidelity needs a serious pass. So: major revision, not desk reject.","headline":"A survey of astheno-Kähler geometry with no new results, whose usefulness depends on transcription fidelity—and the fidelity breaks in its headline Theorem 5.2.","tokens_in":15977,"tokens_out":4247,"would_cite":false,"duration_ms":37262,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","32C35"],"pacs":[],"model":"deepseek-v4-flash","headline":"Astheno-Kähler metrics, defined by a weak Kähler identity, are the subject of a survey that compiles known rigidity theorems, cohomology bounds, examples, and PDE existence results.","keywords":["Complex manifolds","astheno-Kähler metrics","cohomology","strong KT metric","Gauduchon metrics","Fu-Yau equation","Monge-Ampère equation","nilmanifolds"],"falsifier":"Take any load-bearing quotation, such as Theorem 5.2, and compare it line-by-line with the cited original; the claim that the survey is a reliable map fails if the original has no role for the function $F'$ or if another core statement is materially altered.","tokens_in":14918,"feed_emoji":"📐","tokens_out":9949,"duration_ms":100155,"temperature":0.7,"pith_summary":"Astheno-Kähler manifolds are Hermitian manifolds whose Kähler form $\\Omega$ obeys $\\partial\\bar\\partial\\Omega^{m-2}=0$, a weak Kähler condition that is automatic in complex dimension 2 and reduces to the strong Kähler-with-torsion condition in dimension 3. The paper is a survey: it collects the classical rigidity theorems, cohomological bounds, bundle results, and PDE existence statements known for this class, and it assembles a catalogue of examples and counterexamples, including products of Sasakian manifolds, Calabi-Eckmann manifolds, nilmanifolds, and torus fibrations. The authors' claim is that this map is accurate and useful, and that the examples and PDE pointers are faithfully transcribed from the cited literature. A reader would care because astheno-Kähler metrics sit at the boundary between Kähler and non-Kähler geometry, and the survey makes that boundary visible in one place.","feed_headline":"Survey maps the weak-Kähler world of astheno-Kähler manifolds","feed_subtitle":"A single differential condition on the Kähler form organizes rigidity, cohomology, examples, and PDE results.","key_machinery":"The load-bearing object is the differential identity $\\partial\\bar\\partial\\Omega^{m-2}=0$, where $\\Omega$ is the fundamental 2-form of a Hermitian metric on a complex manifold of complex dimension $m$. The exponent $m-2$ is what makes the condition weak: it is vacuous for $m=2$, it is the strong Kähler-with-torsion condition for $m=3$, and when paired with the strong Kähler-with-torsion condition for $m=4$ it forces the Gauduchon condition. Almost every result in the survey is reached by checking this identity or combining it with another structural condition such as balance, Gauduchon, conformal balance, or k-Gauduchon, so the identity acts as the switchboard connecting rigidity, cohomology, bundle theory, and PDE estimates.","core_discovery":"On the paper's own terms, the contribution is synthesis, not new mathematics. The authors set out to show that the single condition $\\partial\\bar\\partial\\Omega^{m-2}=0$ organizes a wide body of results: rigidity theorems for harmonic maps and homotopy-equivalent manifolds, the conclusion that compact balanced astheno-Kähler manifolds are Kähler, an inequality between Bott-Chern and Aeppli cohomology, finiteness and numerical flatness results for vector bundles, and existence theorems for the Fu-Yau and Monge-Ampère equations. The examples range across products of low-dimensional Sasakian and cosymplectic manifolds, Calabi-Eckmann manifolds, nilmanifolds with rational structure constants, and torus bundles over Kähler bases; the counterexamples include compact Vaisman manifolds, the complex-parallelizable Nakamura manifold, and Oeljeklaus-Toma manifolds. If the survey is right, it gives a trustworthy entry point and reference map for the subfield.","pith_inferences":["A natural extension the paper leaves implicit is to treat the family of conditions $\\partial\\bar\\partial\\Omega^k=0$ as a ladder interpolating between strong Kähler with torsion and Gauduchon metrics; the survey's examples suggest the existence theory changes sharply near $k=m-2$.","Because the condition is automatic in complex dimension 2, the first genuinely constrained dimension is 3, and the survey suggests that the rigidity lemmas quoted for astheno-Kähler manifolds should apply verbatim to strong Kähler-with-torsion threefolds.","The survey's cohomological inequality can be used as a quick obstruction test: a compact complex manifold with $h^{0,1}_{A}(M)>h^{0,1}_{BC}(M)+1$ cannot carry an astheno-Kähler metric, even if other geometric candidates look plausible."],"forward_implications":["Every compact balanced astheno-Kähler manifold is Kähler, so genuinely non-Kähler examples must violate balance; this is a sharp separation line.","Any compact Vaisman manifold of dimension at least three carries no astheno-Kähler metric, which rules out the standard Hopf-type candidates.","Products of two compact complex surfaces admit an astheno-Kähler metric exactly when at least one factor is Kähler, and blow-ups preserve the condition only under extra assumptions such as $\\partial\\bar\\partial\\Omega=0$ and $\\partial\\bar\\partial\\Omega^2=0$.","The cohomological inequality $h^{0,1}_{BC}(M)\\le h^{0,1}_{A}(M)\\le h^{0,1}_{BC}(M)+1$ holds on compact astheno-Kähler manifolds, and the equality cases detect obstructions, including the failure of invariance under modifications.","The Fu-Yau equation has a unique solution on compact astheno-Kähler manifolds for sufficiently small normalization constant $A$, giving a PDE foothold on these non-Kähler spaces."],"supporting_citations":[{"why":"Supplies the rigidity lemma that holomorphic 1-forms on compact astheno-Kähler manifolds are closed, and the homotopy-rigidity theorem that anchors the first results section.","marker":"[22]"},{"why":"Source for the conformally balanced astheno-Kähler-to-Kähler theorem, the counterexample with closed holomorphic 1-forms, and several blow-up and nilmanifold examples.","marker":"[13]"},{"why":"Source for the Bott-Chern/Aeppli cohomology inequalities, the Vaisman non-existence result, and the non-invariance of the class under modifications.","marker":"[9]"},{"why":"Source for the theorem that compact balanced astheno-Kähler manifolds are Kähler and for the Sasakian and cosymplectic product examples.","marker":"[32]"},{"why":"Source for the Monge-Ampère existence theorem quoted as Theorem 5.2 on Gauduchon and strongly Gauduchon metrics.","marker":"[47]"},{"why":"Source for the Fu-Yau equation existence theorem on compact astheno-Kähler manifolds with the stated a priori estimates.","marker":"[10]"},{"why":"Source for the characterization of finite vector bundles on compact Gauduchon-astheno-Kähler manifolds.","marker":"[4]"},{"why":"Source for the k-Gauduchon results and the construction of balanced plus astheno-Kähler examples in every complex dimension at least 4.","marker":"[27]"},{"why":"Source for families of compact astheno-Kähler nilmanifolds and for the failure of blow-up to preserve the metric under extra differential conditions.","marker":"[45]"},{"why":"Source for the twistor-space non-existence result, the principal torus-bundle example, and the flag-manifold example admitting balanced and astheno-Kähler metrics but no SKT metric.","marker":"[12]"}],"fun_headline_variants":["Astheno-Kähler manifolds: one condition, many theorems","Survey spans rigidity, cohomology, and PDEs in astheno-Kähler geometry","A single PDE organizes astheno-Kähler manifolds: a survey","From examples to existence: survey of astheno-Kähler manifolds","Weak Kähler, strong results: astheno-Kähler manifolds surveyed"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The survey's usefulness as a reference map depends on every quoted theorem and example being transcribed faithfully from its cited source, and visible slips such as a smooth function $F'$ introduced in Theorem 5.2 but never used in its conclusion, two misspelled author names, and an absent Figure 1 make that fidelity the point to check.","fun_headline_variants_meta":{"raw":{"variants":["Astheno-Kähler manifolds: one condition, many theorems","Survey spans rigidity, cohomology, and PDEs in astheno-Kähler geometry","A single PDE organizes astheno-Kähler manifolds: a survey","From examples to existence: survey of astheno-Kähler manifolds","Weak Kähler, strong results: astheno-Kähler manifolds surveyed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000881,"raw_usage":{"total_tokens":3723,"prompt_tokens":779,"completion_tokens":2944,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":395,"completion_tokens_details":{"reasoning_tokens":2838}},"tokens_in":395,"tokens_out":2944,"duration_ms":21550,"temperature":1.0,"reasoning_tokens":2838,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:55:14.786996+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any load-bearing quotation, such as Theorem 5.2, and compare it line-by-line with the cited original; the claim that the survey is a reliable map fails if the original has no role for the function $F'$ or if another core statement is materially altered.","supporting_citations":[{"cited_title":"Jost and S.-T","cited_arxiv_id":null,"evidence_quote":"Supplies the rigidity lemma that holomorphic 1-forms on compact astheno-Kähler manifolds are closed, and the homotopy-rigidity theorem that anchors the first results section."},{"cited_title":"Fino and A","cited_arxiv_id":null,"evidence_quote":"Source for the conformally balanced astheno-Kähler-to-Kähler theorem, the counterexample with closed holomorphic 1-forms, and several blow-up and nilmanifold examples."},{"cited_title":"Chiose and R","cited_arxiv_id":null,"evidence_quote":"Source for the Bott-Chern/Aeppli cohomology inequalities, the Vaisman non-existence result, and the non-invariance of the class under modifications."},{"cited_title":"Matsuo and T","cited_arxiv_id":null,"evidence_quote":"Source for the theorem that compact balanced astheno-Kähler manifolds are Kähler and for the Sasakian and cosymplectic product examples."},{"cited_title":"Tosatti and B","cited_arxiv_id":null,"evidence_quote":"Source for the Monge-Ampère existence theorem quoted as Theorem 5.2 on Gauduchon and strongly Gauduchon metrics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source for the Fu-Yau equation existence theorem on compact astheno-Kähler manifolds with the stated a priori estimates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source for the characterization of finite vector bundles on compact Gauduchon-astheno-Kähler manifolds."},{"cited_title":"Latorre and L","cited_arxiv_id":null,"evidence_quote":"Source for the k-Gauduchon results and the construction of balanced plus astheno-Kähler examples in every complex dimension at least 4."},{"cited_title":"Sferruzza and A","cited_arxiv_id":null,"evidence_quote":"Source for families of compact astheno-Kähler nilmanifolds and for the failure of blow-up to preserve the metric under extra differential conditions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source for the twistor-space non-existence result, the principal torus-bundle example, and the flag-manifold example admitting balanced and astheno-Kähler metrics but no SKT metric."}],"review_version":1}