{"id":"bb0b1b4b-d08f-4bae-b5e5-f3a339b009d0","arxiv_id":"2506.03987","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A negative transverse first Chern class implies a unique transverse Kähler-Einstein metric on homologically orientable transversally Kähler foliations.","lead":"This paper proves a foliated version of the Aubin-Yau theorem: on a homologically orientable transversally Kähler foliation with negative transverse first Chern class, there is a unique transverse Kähler-Einstein metric. It is a detailed adaptation of the classical proof and yields a simpler proof of the known Vaisman Aubin-Yau theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.1 omits compactness, but its proof (Thm 4.7, Prop 4.13) requires a finite atlas, compact embedding, and a maximum principle on compact M; as stated the main theorem is unproven.","rationale":"The reader's weakest assumption was the external d-bar lemma, Lemma 3.3, cited to [10, Proposition 3.5.1]. That is a legitimate concern, but the paper does not prove the lemma and its hypotheses are not independently verified. The present stress-test focuses on a different, more easily checkable gap: the main theorem's statement omits compactness although its proof relies on compactness at multiple essential points. The reader's rationale mentions an assumption mismatch between Theorems 4.7 and 5.1, which is the same family of issues, but the reader did not elevate it to the weakest assumption. In good faith, the missing compactness is the most load-bearing because it affects the theorem as stated, not merely a repair of a displayed identity: without compactness, the a priori estimates are only local, the compactness argument for the continuity method does not produce a global limit, and the maximum principle in the uniqueness step may fail. The uniqueness proof also contains a plainly false determinant identity (Eq. 11 is not log det(g+h) - log det g), but that error is repairable by the standard maximum principle once compactness and the correct determinant formula are used. The central intended theorem is plausible and likely becomes correct after adding compactness and correcting the signs/determinant identities; the reader's CONDITIONAL verdict is therefore not changed by this analysis. No ad hominem or theatrical language is intended; the critique is confined to the argument's stated assumptions.","tokens_in":20622,"tokens_out":16779,"duration_ms":164864,"concrete_test":"Add the explicit hypothesis 'M compact' to Theorem 5.1 and check that every analytic result invoked in its proof (Theorem 4.7, Proposition 4.5, Proposition 4.13, and the maximum principles in Step 2) either states the same compactness hypothesis or is re-proved with it. Then test whether the original noncompact statement can hold: construct a homologically orientable, transversally Kähler foliation with noncompact M and a basic function that does not attain a maximum (e.g. a basic function pulled back from a noncompact leaf space), and check the maximum-principle step in the proof of Theorem 5.1; if the argument fails for such a function, the compactness hypothesis is necessary and the theorem as stated is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The statement of Theorem 5.1 assumes only that (M,F) is a homologically orientable, transversally Kähler foliation with negative c1(νF); it does not assume M compact. Yet the proof of the main theorem depends on analytic results that explicitly or implicitly require compactness. Theorem 4.7 is stated without a compactness hypothesis, but its proof begins 'Since M is compact', uses the Rellich-Kondrachov compact embedding (via [11, Proposition 4.5]), and invokes the Fredholm alternative on the Hilbert space L2_bas(M;F); all of these require compactness. Proposition 4.5, used in the closedness argument, is explicitly stated only for compact manifolds. Proposition 4.13 applies Theorem 4.12 in each foliated chart and then forms the maximum over the atlas to conclude a uniform C^{2,α}_bas bound; this only makes sense for a finite atlas, i.e. compact M. Step 2 of Theorem 5.1 uses the maximum principle for basic functions, which requires that basic functions attain their extrema; on a noncompact M (or noncompact leaf space) this can fail. Thus the main theorem as written is not proven: the missing compactness hypothesis is load-bearing, since without it the a priori estimates cannot be glued, the compactness argument for the continuity method collapses, and uniqueness is not justified. The reader's rationale notes an assumption mismatch between Theorems 4.7 and 5.1; the present concern makes that mismatch precise. Adding 'M compact' to Theorem 5.1 would likely make the intended argument valid, but the theorem is not acceptable as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proves a transverse Aubin-Yau theorem: on a homologically orientable, transversally Kähler foliation with negative basic first Chern class, it claims existence and uniqueness of a transversally Kähler, transversally Einstein metric with Einstein constant -1. The proof reduces the geometric problem to a complex Monge-Ampère equation for basic functions, solves this equation by the continuity method using classical a priori estimates imported from Blocki's exposition, and then applies the result to obtain a new proof of the Vaisman Aubin-Yau theorem. Sections 2-4 develop the needed foliation theory, basic Hölder/Sobolev spaces, and elliptic regularity for the transverse Laplacian.","tokens_in":20936,"tokens_out":15717,"duration_ms":147565,"significance":"If the theorem is correct after adding the necessary hypotheses, it fills a genuine gap: the literature appears to contain only brief claims of a transverse Calabi-Yau theorem, not a full Aubin-Yau theorem for transversally Kähler foliations. The explicit reduction to a Monge-Ampère equation for basic functions and the Vaisman application are useful and well-motivated. The paper is also honest about which estimates are imported and which steps are local. However, the main theorem as stated omits a compactness hypothesis that is used essentially in the proof, and the uniqueness proof contains a false algebraic identity. These issues are load-bearing, though both appear repairable.","major_comments":[{"comment":"The statement of Theorem 5.1 does not assume M compact, but the proof requires compactness at several essential points. Theorem 4.7 is stated without a compactness hypothesis, yet its proof begins \"Since M is compact\" and uses the Rellich-Kondrachov compact embedding and the Fredholm alternative for L^2_bas(M;F). Proposition 4.5, used in the closedness argument, is stated only for compact manifolds, and Proposition 4.13 obtains a uniform constant by taking the maximum of local estimates over the foliated atlas, which only gives a finite constant if the atlas is finite. The maximum principle for basic functions used in Step 2 of Theorem 5.1 also requires that basic functions attain their extrema, which need not hold on a noncompact M or noncompact leaf space. As written, the main theorem is unproven. Adding \"M compact\" to Theorem 5.1, Theorem 4.8, and Theorem 4.7 would likely repair the argument, but this is a substantive missing hypothesis that should be stated explicitly from the beginning.","section":"§5, Theorem 5.1 and §4, Theorems 4.7-4.8, Proposition 4.13"},{"comment":"The uniqueness proof contains a false algebraic identity. Equation (11) rewrites the left-hand side of (10) as log(det(g_x) + det(h_x)) - log(det(g_x)), but det(g+h) is not equal to det(g) + det(h) in dimension greater than one. Equation (12) then replaces the logarithm by the sum of the eigenvalues of h_x; the correct identity after diagonalization is log det(I+H) = sum_i log(1 + lambda_i), not sum_i lambda_i. Consequently, the displayed derivation of max_M u ≤ 0 from (12) is invalid. The intended maximum-principle argument is repairable: at a maximum point h_x has nonpositive eigenvalues, so each log(1 + lambda_i) is nonpositive and the equation gives u(x_max) ≤ 0. But the equations printed in the proof must be corrected.","section":"§5, Step 2, Eqs. (10)-(12)"},{"comment":"In the Fréchet derivative computation, the paper invokes the Kähler identity Delta_d^omega = 2 Delta_∂bar^omega and then replaces -Delta_∂bar - Id by -Delta_d - Id. With the identity as stated, the correct replacement is -(1/2)Delta_d - Id. The conclusion that the derivative is an isomorphism can still be obtained by applying Theorem 4.7 to the operator Delta_T + 2 Id instead of Delta_T + Id, but the displayed formula in the proof is not correct and the application as written is not justified.","section":"§4.3, Proposition 4.10"}],"minor_comments":[{"comment":"After deriving ∂bar∂bar(Cal_T(u) - f) = 0, the text states that it suffices to solve Cal_T(u) = f. One should justify that the additive constant can be removed by adding a constant to u, and note that this normalization uses compactness or a basic maximum principle.","section":"§5, Step 1"},{"comment":"The statement \"Let (M,F) be a transversally Kähler\" is incomplete; it should read \"transversally Kähler foliation.\" The same statement also appears to need a compactness hypothesis, as discussed in the major comments.","section":"§4.3, Theorem 4.8"},{"comment":"In the last line of the proof, the operator is written as Cal_B(u); this should be Cal_T(u).","section":"§4.3, Proposition 4.13"},{"comment":"The notation c1(νF) ∈ H^2_bas(M;F) is imprecise, since c1(νF) is naturally a class in H^2(M). Please clarify the choice of lift in the basic cohomology group and state explicitly that the representative ω is closed and basic.","section":"Definition 3.8"},{"comment":"The abstract and introduction describe the proof as self-contained, but the key C0, C2, and C^{2,α} a priori estimates are imported from [4], specifically Theorems 4.12 and the estimates preceding it. This is acceptable if framed clearly as using classical local estimates, but the wording \"self-contained\" is stronger than what the proof delivers.","section":"§4.3 and Section 5"},{"comment":"In the uniqueness proof, the step \"dd^c u = 0, whence from the maximum principle u must be constant\" requires M to be compact; if Theorem 5.1 is amended with a compactness hypothesis, this should be stated explicitly here as well.","section":"Section 6.2, Theorem 6.12"}],"recommendation":"major_revision","confidential_remarks":"The two decisive issues are the missing compactness hypothesis in the main theorem and the incorrect algebraic identities in the uniqueness proof. Both are repairable: adding \"M compact\" to the relevant statements and reworking the uniqueness and Fréchet-derivative calculations should make the proof sound in outline. I therefore recommend major revision rather than rejection. The editor may also wish to ask the author to verify the exact hypotheses of Lemma 3.3 in [10], since that lemma is load-bearing for the reduction to the Monge-Ampère equation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, the main theorem as stated is unproven because compactness of M is dropped from the hypotheses even though the proof uses it everywhere. Second, the uniqueness proof has a false displayed identity. Both are repairable, and the paper has real content, so it deserves a serious referee rather than a desk reject.\n\nWhat is new: the statement of Theorem 5.1 is absent from the papers it cites—[10] only claims a Calabi-Yau theorem and [13] handles the Vaisman special case. The paper constructs Hölder and Sobolev spaces of basic functions, proves the compact embedding, derives an isomorphism statement for ΔT+Id, and reduces the geometric problem to a complex Monge-Ampère equation on local leaf spaces. The Vaisman application gives an alternative route to Istrati's theorem. If the theorem can be patched, the paper fills a real gap.\n\nThe soft spots are real. Theorem 5.1 assumes only a homologically orientable, transversally Kähler foliation with negative c1; it never says M is compact. Theorem 4.7 is stated without compactness but its proof starts \"Since M is compact\" and uses Rellich-Kondrachov, the Fredholm alternative, and a maximum principle. Proposition 4.13 needs a finite atlas to take a uniform maximum of the local estimates, and Step 2 of Theorem 5.1 needs basic functions to attain extrema. On a noncompact M these steps fail. Adding \"M compact\" to Theorem 5.1 and Theorem 4.7 would likely make the argument valid, but the theorem as written is not proven.\n\nThe uniqueness proof: (11) writes log(det g + det h) − log(det g) = u, then (12) replaces the determinant ratio with the trace of h. det(g+h) is not det g + det h in general. The correct quantity is log det(Id+g^{-1}h) = Σ log(1+λ_i). The intended maximum principle can be repaired using the signs of the λ_i at an extremum, but as written (11) and (12) are false. The C0 bound in Section 4.3 inherits the same defect because it refers back to the uniqueness argument. The introduction also overstates things: it says a ∂∂bar-lemma is \"arrived at in this paper\", but Lemma 3.3 is cited to [10, Proposition 3.5.1] and not proved here. If that d-bar lemma needs stronger orientability, the reduction to (9) is in trouble; the paper should state the hypothesis it actually relies on.\n\nFor whom: readers working on transversally Kähler foliations or Vaisman manifolds will find the analytic setup and the reduction useful, and the flaws are instructive rather than fatal.\n\nI would send it to peer review, but I would not accept it as is. The compactness hypothesis must be added and the uniqueness proof corrected.","headline":"A plausible foliated Aubin-Yau theorem that is not ready as stated: compactness is missing from the hypotheses and the uniqueness proof contains a false determinant identity, but the core approach is sound and worth refereeing after revision.","tokens_in":21491,"tokens_out":6145,"would_cite":false,"duration_ms":53265,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","32J27","58J05","32M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"A transversally Kähler foliation with negative basic first Chern class admits a unique transversally Kähler, transversally Einstein metric with Einstein constant -1.","keywords":["transversally Kähler foliation","Aubin-Yau theorem","basic cohomology","homological orientability","complex Monge-Ampère equation","transversally Einstein metric","Vaisman manifold","transverse ∂∂̄-lemma"],"falsifier":"Find a compact homologically orientable transversally Kähler foliation with negative basic first Chern class for which the transverse Monge-Ampère equation has no smooth basic solution, or two distinct solutions; alternatively, exhibit cohomologous basic (1,1)-forms on such a foliation that do not differ by $i\\partial\\bar{\\partial}$ of a basic function, which would refute Lemma 3.3 and the proof's bridge to the equation.","tokens_in":20398,"feed_emoji":"🍃","tokens_out":12194,"duration_ms":104028,"temperature":0.7,"pith_summary":"This paper establishes a transverse version of the Aubin-Yau theorem for foliations: on a homologically orientable, transversally Kähler foliation whose basic first Chern class is negative, there exists a unique transversally Kähler metric that is also transversally Einstein with constant -1. The proof follows the classical continuity-method strategy, reducing the geometric problem to solving a complex Monge-Ampère equation for basic functions. A transverse version of the $\\partial\\bar{\\partial}$-lemma is the key that turns the cohomological condition into a differential equation. As an application, the author gives a shorter proof of the known Aubin-Yau theorem for Vaisman manifolds.","feed_headline":"Unique Einstein metric exists if first Chern class is negative","feed_subtitle":"Transverse Kähler foliations now have the same rigidity as Kähler manifolds, and Vaisman manifolds get a simpler proof.","key_machinery":"The central object is the transverse complex Monge-Ampère operator $\\mathrm{Cal}_T^-(u)=\\log\\left(\\frac{(\\omega_0+i\\partial\\bar{\\partial}u)^q}{\\omega_0^q}\\right)-u$ on basic functions, where $\\omega_0$ is a transversally Kähler form and $q$ is the transverse complex dimension. The paper also relies on a transverse $\\partial\\bar{\\partial}$-lemma (Lemma 3.3, cited to [10, Prop. 3.5.1]): on a homologically orientable transversally Kähler foliation, any two cohomologous basic $(1,1)$-forms differ by $i\\partial\\bar{\\partial}$ of a basic function. This lemma converts the cohomological hypothesis on $c_1(\\nu\\mathcal{F})$ into the equation $\\mathrm{Cal}_T^-(u)=f$. The analytic machinery consists of basic Hölder spaces, a transversally elliptic Laplacian $\\Delta_T$, and the isomorphism property of $\\Delta_T+\\mathrm{Id}$, which supplies the linearized invertibility needed for the continuity method.","core_discovery":"The central claim is Theorem 5.1: if $(M,\\mathcal{F})$ is a homologically orientable, transversally Kähler foliation and the basic first Chern class $c_1(\\nu\\mathcal{F})\\in H^2_{\\mathrm{bas}}(M;\\mathcal{F})$ is negative, then there exists a unique transversally Kähler metric whose transverse Ricci form equals minus the metric form, i.e., a transversally Einstein metric with Einstein constant $-1$. The paper proves this by showing that the problem is equivalent to the existence and uniqueness of a basic function $u$ solving the complex Monge-Ampère equation $\\mathrm{Cal}_T^-(u)=f$ for any given basic $f$, where $\\mathrm{Cal}_T^-(u)=\\log\\left(\\frac{(\\omega_0+i\\partial\\bar{\\partial}u)^q}{\\omega_0^q}\\right)-u$. Existence is obtained via the Schauder continuity method with a priori estimates adapted from the classical proofs; uniqueness follows from the maximum principle applied to the linearized equation. The application to Vaisman manifolds yields a new, simpler proof of a known result on special Vaisman metrics.","pith_inferences":["The same continuity-method framework may extend to transversally Kähler foliations with zero basic first Chern class, yielding a transverse Calabi–Yau theorem, provided the transverse $\\partial\\bar{\\partial}$-lemma and estimates adapt; the paper does not address this.","Because the a priori estimates are local, the proof may carry over to non-compact or even singular foliations under suitable growth conditions, although the compactness and finite atlas arguments would need modification.","The proof indirectly highlights the transverse $\\partial\\bar{\\partial}$-lemma as the main obstruction: testing Lemma 3.3 on explicit foliations (e.g., non-quasi-regular Vaisman manifolds) could reveal how much homological orientability can be relaxed."],"forward_implications":["Establishes existence and uniqueness of transversally Kähler–Einstein metrics with constant $-1$ for negative basic first Chern class, generalizing the classical Aubin–Yau theorem to foliated geometry.","Provides a self-contained analytic toolkit (basic Hölder spaces, transverse Laplacian, a priori estimates) that can be reused for other transverse geometric PDEs.","Gives a new, simpler proof of the Aubin–Yau theorem for Vaisman manifolds, replacing a Weitzenböck-type argument with the foliated theorem.","Clarifies that homological orientability is the structural condition under which the transverse $\\partial\\bar{\\partial}$-lemma holds, thereby identifying a natural hypothesis for future transverse Calabi–Yau theorems."],"supporting_citations":[{"why":"Supplies Proposition 3.5.1, the transverse $\\partial\\bar{\\partial}$-lemma that converts cohomologous basic (1,1)-forms into $i\\partial\\bar{\\partial}$ of a basic function, the essential bridge to the Monge-Ampère equation.","marker":"[10]"},{"why":"Supplies the classical a priori estimates for the complex Monge-Ampère equation used to prove closedness in the continuity method.","marker":"[25]"},{"why":"Provides the simplified treatment of Yau's a priori estimates that the paper reproduces locally as Theorem 4.12.","marker":"[4]"},{"why":"States the original Aubin theorem on unique Kähler-Einstein metrics with negative first Chern class, which this paper generalizes to foliations.","marker":"[2]"},{"why":"Gives the elliptic regularity results used to bootstrap weak solutions to smooth basic functions.","marker":"[12]"},{"why":"Proves the Aubin-Yau theorem for Vaisman manifolds via a Weitzenböck formula; the paper reproves it more simply, providing the application and comparison.","marker":"[13]"},{"why":"Supplies the basic Sobolev theory and compact embedding for basic functions used in the weak-solvability argument for $\\Delta_T+\\mathrm{Id}$.","marker":"[11]"},{"why":"Establishes the basic projection and properties of the basic Laplacian used to set up the analytic framework on foliations.","marker":"[20]"}],"fun_headline_variants":["Aubin-Yau theorem generalized to transversally Kähler foliations","Unique transverse Einstein metric under negative basic Chern class","Transversally Kähler foliations get Aubin-Yau rigidity","Aubin-Yau method extends to foliations with negative Chern class"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the transverse $\\partial\\bar{\\partial}$-lemma for homologically orientable transversally Kähler foliations: any two cohomologous basic (1,1)-forms must differ by $i\\partial\\bar{\\partial}$ of a basic function; if that lemma fails or needs extra hypotheses, the reduction of the geometric problem to the complex Monge-Ampère equation collapses.","fun_headline_variants_meta":{"raw":{"variants":["Aubin-Yau theorem generalized to transversally Kähler foliations","Unique transverse Einstein metric under negative basic Chern class","Transversally Kähler foliations get Aubin-Yau rigidity","Aubin-Yau method extends to foliations with negative Chern class"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000694,"raw_usage":{"total_tokens":3098,"prompt_tokens":860,"completion_tokens":2238,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":476,"completion_tokens_details":{"reasoning_tokens":2165}},"tokens_in":476,"tokens_out":2238,"duration_ms":16426,"temperature":1.0,"reasoning_tokens":2165,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:50:21.137209+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a compact homologically orientable transversally Kähler foliation with negative basic first Chern class for which the transverse Monge-Ampère equation has no smooth basic solution, or two distinct solutions; alternatively, exhibit cohomologous basic (1,1)-forms on such a foliation that do not differ by $i\\partial\\bar{\\partial}$ of a basic function, which would refute Lemma 3.3 and the proof's bridge to the equation.","supporting_citations":[{"cited_title":"El Kacimi-Alaoui, Op´ erateurs transversalement elliptiques sur un feuilletage riemannien et applications , Compositio Math","cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 3.5.1, the transverse $\\partial\\bar{\\partial}$-lemma that converts cohomologous basic (1,1)-forms into $i\\partial\\bar{\\partial}$ of a basic function, the essential bridge to the Monge-Ampère equation."},{"cited_title":"Yau, On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp´ ere equation, Com","cited_arxiv_id":null,"evidence_quote":"Supplies the classical a priori estimates for the complex Monge-Ampère equation used to prove closedness in the continuity method."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the simplified treatment of Yau's a priori estimates that the paper reproduces locally as Theorem 4.12."},{"cited_title":"Aubin, ´Equations du type Monge-Amp` ere sur les vari´ et´ es Riemanni- ennes compactes, C.R","cited_arxiv_id":null,"evidence_quote":"States the original Aubin theorem on unique Kähler-Einstein metrics with negative first Chern class, which this paper generalizes to foliations."},{"cited_title":"Gilbarg, N","cited_arxiv_id":null,"evidence_quote":"Gives the elliptic regularity results used to bootstrap weak solutions to smooth basic functions."},{"cited_title":"Istrati, Vaisman manifolds with vanishing first Chern class , J","cited_arxiv_id":null,"evidence_quote":"Proves the Aubin-Yau theorem for Vaisman manifolds via a Weitzenböck formula; the paper reproves it more simply, providing the application and comparison."},{"cited_title":"Kamber, Ph","cited_arxiv_id":null,"evidence_quote":"Supplies the basic Sobolev theory and compact embedding for basic functions used in the weak-solvability argument for $\\Delta_T+\\mathrm{Id}$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the basic projection and properties of the basic Laplacian used to set up the analytic framework on foliations."}],"review_version":1}