{"id":"4b2f7a7d-5619-418a-8a9c-b52803c2a9f0","arxiv_id":"1909.02469","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The total Hessian mass is monotone in singularity type, and Hessian equations H_m(u)=µ have unique solutions in prescribed singularity classes on compact Kähler manifolds.","lead":"This paper proves that the total mass of complex Hessian measures is monotone with respect to singularity type, and uses this to solve Hessian equations with prescribed singularities on compact Kähler manifolds. The result extends the Monge-Ampère theory to all m between 1 and n, which matters for Fu-Yau and related geometric equations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.4 reduces the general case of Theorem 1.2 to μ ≤ A H_m(ψ_0) by a 'Cegrell projection' that is not proved and that the text itself says breaks down for m<n.","rationale":"The reader's verdict CONDITIONAL is appropriate, but the weakest point is not primarily the completeness of d. The proof of Theorem 4.10 is sketched in the text with the relevant estimates, whereas the passage from dominated measures to arbitrary non-m-polar μ is a single unsupported sentence. Moreover, the paper contains an explicit warning that Cegrell's method breaks down in the Hessian setting, so importing [39,21] is not safe. A secondary internal step also deserves scrutiny: in the first part of Theorem 5.4 the displayed inequalities and Lemma 3.9 appear to give P[ũ_k]≥(1-b^{-1})φ rather than P[ũ_k]≥φ; if so, the claim P[u_c]≥φ needs an additional argument even in the dominated case. Both issues are addressable and do not by themselves show the theorem false; they show the central theorem is not fully established by the written text. Hence no change to the reader's CONDITIONAL verdict, with the condition made more specific: provide the missing Hessian Cegrell projection (or an alternative reduction), and repair/clarify the P[ũ_k]≥φ step.","tokens_in":27978,"tokens_out":20741,"duration_ms":212620,"concrete_test":"Write out the missing projection for m<n: for a non-m-polar μ with μ(X)=∫H_m(φ), construct bounded ω-m-sh ψ_j and constants C_j such that the truncated measures μ_j=1_{E_j}μ satisfy μ_j≤C_jH_m(ψ_j), solve H_m(u_j)=μ_j in E_φ, and prove the sequence converges to the desired solution. A sharp check: take μ=fω^n with f∈L^1 but f∉L^p for any p>n/m (possible since m<n), and try to run the proof of the 'claim' in Theorem 5.4. If the estimate ∫|v_k|H_m(v_k)≤C needed for Theorem 4.11 cannot be established, the reduction is not 'well-known' in this setting; if it can, the missing paragraph should be added and checked.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5.2, proof of Theorem 5.4, opens with: 'It suffices to treat the case when µ ≤ AHm(ψ0)... The general case will follow by a well-known projection argument due to Cegrell as shown in [39,21].' No statement or proof of this projection in the Hessian setting is given. The reduction is load-bearing: every later estimate in Theorem 5.4 invokes Theorem 4.11, whose hypothesis is H_m(v_j) ≤ A H_m(ψ_0) for a bounded ψ_0; for arbitrary non-m-polar μ such a domination need not be available, so the supersolution construction cannot be started. The paper itself concedes in Section 5 (before §5.1): 'In the general case of non-m-polar measures the approach in [20] using Cegrell's method [11] also breaks down in the Hessian setting.' Citing [39] and [21], both Monge-Ampère papers, to perform the same reduction is an unsubstantiated and internally tensioned step. The missing argument is not a routine modification: Cegrell's method needs the relative L∞ estimate, which the authors state fails for m<n, and their alternative (the complete metric d) only applies after the dominated-measure reduction is in force. Hence the written proof of Theorem 5.4 covers only μ ≤ A H_m(ψ_0), not the stated class of all non-m-polar μ.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies complex Hessian equations (ω + ddc u)^m ∧ ω^{n-m} = μ on a compact Kähler manifold, with a prescribed singularity type encoded by a model potential φ satisfying P[φ]=φ. The three main claims are: (i) Theorem 1.1, monotonicity of the total mass of the non-m-polar Hessian product under singularity ordering; (ii) Theorem 1.2, existence and uniqueness of a solution u ∈ E_φ for any positive measure μ vanishing on m-polar sets with μ(X)=∫ H_m(φ); (iii) Theorem 1.3, a Hodge-index type inequality for positive currents. The proof of Theorem 1.1 is based on a slope formula (Lemma 3.1) and energy monotonicity; Theorem 1.2 is approached via the supersolution method, with a metric d on the Hessian finite-energy class E^1 and a subextension theorem (Theorem 4.11); Theorem 1.3 is derived from Theorems 1.1 and 1.2 and the mixed Hessian inequality.","tokens_in":28238,"tokens_out":17112,"duration_ms":153948,"significance":"If the main theorems are correct, the paper would be a substantial contribution: it would establish a Hessian analogue of the Monge-Ampère theory of prescribed singularity, including solvability for the natural class of non-m-polar measures, and a Hodge-index inequality. The proof of Theorem 1.1 appears convincing and is a worthwhile new step, avoiding geodesic methods. The construction of the complete metric d on E^1 and the subextension theorem are valuable tools, and the envelope-based uniqueness proof is a genuine novelty. However, the current written proof of Theorem 1.2 contains a load-bearing gap in the reduction to dominated measures and a further gap in the construction of supersolutions; until these are fixed, the main existence theorem is established only conditionally.","major_comments":[{"comment":"The proof begins with the claim \"It suffices to treat the case when μ ≤ A H_m(ψ_0)\", followed by \"The general case will follow by a well-known projection argument due to Cegrell as shown in [39,21]\". No proof of this projection in the Hessian setting is given, and both [39] and [21] concern the Monge-Ampère case m=n. This is not a routine modification: the paper's own introduction to Section 5 states that \"In the general case of non-m-polar measures the approach in [20] using Cegrell's method [11] also breaks down in the Hessian setting.\" Since the rest of the proof, including the use of Theorem 4.11, requires the domination hypothesis H_m(v_j) ≤ A H_m(ψ_0) with ψ_0 bounded, the written proof establishes Theorem 1.2 only for μ of the dominated form, not for arbitrary non-m-polar μ.","section":"Section 5.2, Theorem 5.4"},{"comment":"After defining v_k := P(b u_k - (b-1) max(φ,-k)), the paper states \"Since 0 = P[u_k], it follows from Corollary 3.20 (with u,v ∈ E hence P[u]=P[v]=0) that v_k ∈ E.\" This application is not justified: v = max(φ,-k) is not necessarily an element of E, and P[max(φ,-k)] is not generally 0 for a model potential φ with P[φ]=φ. The conclusion v_k ∈ E is essential, as the subsequent use of Theorem 4.11 requires a sequence in E with sup_X = 0. The argument needs to be repaired, for instance by using a different reduction or by proving directly that v_k has full Hessian mass.","section":"Section 5.2, proof of the claim in Theorem 5.4"},{"comment":"The completeness of the metric space (E^1, d) is asserted via references to Darvas [15,16] and [19], with phrases such as \"The argument is due to Darvas\" and \"As in the proof of [16, Theorem 9.2]\". While the outline is plausible, the proof depends on results that have not been fully verified in the Hessian setting m<n, namely the energy monotonicity and convergence properties summarized in Proposition 2.14 and the comparison between d and I_1 (Theorem 4.8). Since Theorem 4.11 and, through it, the lower bounds in Theorem 5.4 rely on this completeness, the authors should either provide a complete and self-contained proof or state the Hessian analogue as a precise theorem with an exact reference.","section":"Section 4.3, Theorem 4.10"}],"minor_comments":[{"comment":"Several foundational results are justified as \"obvious modifications\" of the Monge-Ampère case. Given that these results are used repeatedly in the proofs of Theorems 3.3, 4.8 and 4.10, a brief indication of what must be modified would improve verifiability.","section":"Section 2.2, Theorem 2.6 and Section 2.3, Propositions 2.13 and 2.14"},{"comment":"The sentence \"The proof of [16, Theorem 3.6], applied to the Hessian setting, shows that P(u,v) ∈ E^1\" states a non-trivial fact without giving the adaptation. This point is used in the definition of d and should be elaborated or explicitly referenced.","section":"Section 4.1"},{"comment":"Theorem 5.6 (the Aubin-Yau type equation) is stated without proof, with the reader referred to [21,20]. Since the introduction suggests this is a direct consequence of Theorem 1.2, it would be clearer to label it as a corollary or to provide a short proof.","section":"Section 5.4, Theorem 5.6"},{"comment":"The terminology could be made precise: the abstract and Theorem 1.2 speak of \"non-m-polar\" measures, while Theorem 5.4 speaks of measures \"vanishing on m-polar sets\". These are not identical notions, and the intended meaning should be stated consistently.","section":"Theorem 1.2 and Theorem 5.4"},{"comment":"There is a typo: \"assume\" is spelled \"ssume\" in the statement of Proposition 3.2.","section":"Proposition 3.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is serious and well-written, and the central strategy is credible. The two technical gaps in Section 5.2 are real and block the proof of the main existence theorem in its stated generality, but they appear fixable within the scope of the manuscript. The reliance on self-citations is transparent, and the result, if repaired, would be a strong contribution to complex Hessian equations."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Lu and Nguyen have written the paper that extends the Darvas–Di Nezza–Lu prescribed-singularity program from Monge–Ampère to complex Hessian equations for all 1≤m≤n. The genuinely new material is Theorem 1.1, monotonicity of Hessian mass in singularity type, proved via a slope formula and energy monotonicity rather than geodesics; plus the d-metric/subextension machinery in Section 4, with Theorem 4.11 claimed new even for m=n. The uniqueness proof in Section 5.3 is also a fresh argument using the contact-set property of envelopes. If the main existence theorem is right, this is an important paper: it unifies the MA and Hessian cases and gives tools for Fu–Yau and HKT problems.\n\nThe soft spots are real, though. The proof of Theorem 5.4, the core existence result, starts by reducing to measures μ ≤ A H_m(ψ_0) via “a well-known projection argument due to Cegrell as shown in [39,21]”. No statement or proof of that projection is given for the Hessian setting. Worse, the paper itself says, just before Section 5.1, that in the general non-m-polar case the approach in [20] using Cegrell’s method “also breaks down in the Hessian setting.” Those two statements sit in direct tension. The missing reduction is load-bearing: every later estimate in Theorem 5.4 invokes Theorem 4.11, whose hypothesis is exactly the dominated-measure condition. So as written, Theorem 5.4 proves existence for dominated non-m-polar measures, not for all non-m-polar μ. That is not a cosmetic gap; it is the main theorem. It may be fixable, perhaps by a different projection or by using the completeness of d more aggressively, but it needs to be written.\n\nThere are also smaller issues of the same kind: Theorem 5.6 is stated and then the proof is omitted with a pointer to [21,20]; several supporting statements are “obvious modifications” of the Monge–Ampère case. Some of those are harmless; the Cegrell reduction is not obviously harmless.\n\nThe citation pattern is honest. The paper relies heavily on [21,20,19], which is natural because it is extending those methods; the self-citations are to the original proofs of the imported machinery. I don’t see any attempt to hide dependencies.\n\nWho this is for: anyone working on complex Hessian equations, degenerate Monge–Ampère, or the Calabi problem on HKT manifolds. It deserves a serious referee, and the referee should be asked specifically to verify the Cegrell reduction or to require the authors to supply it. I would not desk-reject it. My own verdict would be: revise, with the missing projection argument as the make-or-break point.","headline":"Genuinely new monotonicity and subextension results for complex Hessian equations, but Theorem 1.2 rests on an unproved Cegrell reduction that the text itself contradicts.","tokens_in":28878,"tokens_out":3104,"would_cite":true,"duration_ms":30926,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32W20","32U05","32Q15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves complex Hessian equations with prescribed singularity are solvable for every non-m-polar measure of the right total mass, with a unique normalized solution.","keywords":["compact Kähler manifold","complex Hessian equation","prescribed singularity","ω-m-subharmonic functions","Hessian measure","finite energy class","model potential","Hodge index inequality"],"falsifier":"Let $1\\le m<n$ be fixed. Construct a sequence $u_j\\in E^1$ that is Cauchy in $d$ but whose pointwise limit does not belong to $E^1$, for instance because its Hessian energy is infinite or its total Hessian mass is not $1$. Such a sequence would falsify the completeness theorem and remove the lower bound used in the existence proof; alternatively, an explicit model potential $\\varphi$ and non-$m$-polar measure $\\mu$ with $\\mu(X)=\\int_X H_m(\\varphi)>0$ but no normalized $u\\in E_\\varphi$ solving $H_m(u)=\\mu$ would directly disprove the main existence theorem.","tokens_in":27716,"feed_emoji":"📐","tokens_out":8271,"duration_ms":80852,"temperature":0.7,"pith_summary":"This paper brings the theory of complex Hessian equations on compact Kähler manifolds from the full-mass class to classes with prescribed singularities. The first main theorem states that the total mass of the mixed Hessian measure is monotone under singularity type: if each $u_p$ is more singular than $v_p$, then $\\int_X H_m(u_1,\\ldots,u_m) \\le \\int_X H_m(v_1,\\ldots,v_m)$. The second main theorem solves $H_m(u)=\\mu$ in the relative finite-energy class $E_\\varphi$ under the natural conditions that $\\varphi$ is a model potential, $\\mu$ does not charge $m$-polar sets, and the total masses agree. The third gives a Hodge-index type inequality for mixed Hessian masses. If correct, the paper provides a relative potential theory for Hessian operators, parallel to the classical theory in big cohomology classes, and opens the same equations to measures with heavy singularities.","feed_headline":"Hessian equations solved with prescribed singularities","feed_subtitle":"Any non-m-polar measure of the right total mass is the Hessian measure of a unique normalized solution.","key_machinery":"The load-bearing object is the mixed complex Hessian measure $H_m(u_1,\\ldots,u_m)=(\\omega+dd^c u_1)\\wedge\\cdots\\wedge(\\omega+dd^c u_m)\\wedge\\omega^{n-m}$, defined by the non-$m$-polar product for unbounded $\\omega$-$m$-subharmonic functions. The argument proceeds through four interconnected tools: a slope formula for the Hessian energy $E(\\max(u,-s))$ that yields the mass monotonicity theorem; relative potential theory in which the envelope $P[\\varphi]$ defines model potentials and the class $E_\\varphi$; a metric $d$ on the finite-energy class $E^1$, defined through the rooftop envelope $P(u,v)$, with the key property that $d$ is complete and comparable to $I_1(u,v)=\\int_X |u-v|(H_m(u)+H_m(v))$; and a supersolution method where solutions to approximate problems are glued by envelopes. Metric completeness supplies the lower bound for supersolutions, replacing the relative $L^\\infty$ estimate that is not available in the Hessian setting.","core_discovery":"The central discovery is that the obstacle to solving Hessian equations with prescribed singularity is only the total mass of the Hessian measure, not the shape or concentration of the measure. For a model potential $\\varphi$, meaning an $\\omega$-$m$-subharmonic function with $P[\\varphi]=\\varphi$, and for any positive measure $\\mu$ that vanishes on $m$-polar sets and satisfies $\\mu(X)=\\int_X H_m(\\varphi)>0$, the equation $H_m(u)=\\mu$ has a unique solution $u\\in E_\\varphi$ normalized by $\\sup_X u=0$. This is proved by first establishing mass monotonicity with respect to singularity, then building envelopes, comparison and domination principles, and then constructing solutions as lower envelopes of approximate supersolutions. A byproduct is the inequality $\\int_X H_m(u_1,\\ldots,u_m)\\ge \\prod_{k=1}^m \\left(\\int_X H_m(u_k)\\right)^{1/m}$ for any $\\omega$-$m$-subharmonic functions $u_1,\\ldots,u_m$.","pith_inferences":["I infer that the same supersolution plus metric-completeness strategy should solve Hessian equations in big cohomology classes, provided the $d\\approx I_1$ comparison can be re-derived without a Kähler reference form.","I infer that if metric completeness is the true bottleneck, a self-contained proof of completeness for the Hessian $E^1$ would remove the paper's main imported assumption; until then the existence theorem inherits that assumption.","The uniqueness proof via contact sets does not rely on geodesics, so I expect it to generalize to equations of Monge–Ampère type on non-Kähler manifolds where geodesic methods are unavailable.","The mass monotonicity might yield a full Brunn–Minkowski-type inequality for mixed Hessian measures, extending the Hodge-index bound."],"forward_implications":["For every model potential $\\varphi$, the normalized solution map $\\mu\\mapsto u\\in E_\\varphi$ is a bijection from non-$m$-polar measures of mass $\\int_X H_m(\\varphi)$ onto $E_\\varphi$.","The Hodge-index type inequality gives log-concavity-type control on mixed Hessian masses, so products of Hessian measures obey the predicted lower bound.","The Aubin–Yau type equation $H_m(u)=e^u\\mu$ is solvable under the same assumptions on $\\mu$ and $\\varphi$.","The relative potential theory developed here makes the comparison and domination principles available in the Hessian category, so further equations with prescribed singularity can be treated by the same envelope machinery."],"supporting_citations":[{"why":"It establishes the global potential theory and solves complex Hessian equations in the full-mass class $E(X,\\omega,m)$, which is the base case this paper extends to prescribed singularity classes.","marker":"[52]"},{"why":"It proves monotonicity of non-pluripolar Monge–Ampère masses and solves equations with prescribed singularity in the $m=n$ case, serving as the template for the relative potential theory.","marker":"[21]"},{"why":"It introduces the supersolution method and the Hodge-index inequality for Monge–Ampère equations with prescribed singularity, which this paper adapts to the Hessian setting.","marker":"[20]"},{"why":"It supplies the $L^1$-metric geometry of finite-energy classes, including the completeness and comparison arguments used to build the metric $d$ on $E^1$.","marker":"[19]"},{"why":"It develops the complete metric geometry of finite-energy classes that underlies the completeness theorems this paper imports for the Hessian setting.","marker":"[16]"},{"why":"It provides the supersolution and envelope method used to construct solutions, here adapted for Hessian equations.","marker":"[37]"},{"why":"It proves the monotonicity of non-pluripolar Monge–Ampère masses that Theorem 1.1 generalizes to the Hessian case.","marker":"[63]"}],"fun_headline_variants":["Hessian equations solved for any prescribed singularity","Total mass is the only barrier to Hessian solutions","Mass monotonicity yields Hessian existence and uniqueness","Any measure vanishing on polar sets with correct mass works","Prescribed singularity Hessian equations: mass condition suffices"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the completeness of the metric $d$ on the Hessian finite-energy class $E^1$ and on the two-sided estimate $d\\approx I_1$, facts imported from the $m=n$ setting by analogy; if they fail for $m<n$, the subextension step and the existence proof collapse.","fun_headline_variants_meta":{"raw":{"variants":["Hessian equations solved for any prescribed singularity","Total mass is the only barrier to Hessian solutions","Mass monotonicity yields Hessian existence and uniqueness","Any measure vanishing on polar sets with correct mass works","Prescribed singularity Hessian equations: mass condition suffices"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000473,"raw_usage":{"total_tokens":2286,"prompt_tokens":814,"completion_tokens":1472,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":1396}},"tokens_in":430,"tokens_out":1472,"duration_ms":13133,"temperature":1.0,"reasoning_tokens":1396,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:49:38.590021+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Let $1\\le m<n$ be fixed. Construct a sequence $u_j\\in E^1$ that is Cauchy in $d$ but whose pointwise limit does not belong to $E^1$, for instance because its Hessian energy is infinite or its total Hessian mass is not $1$. Such a sequence would falsify the completeness theorem and remove the lower bound used in the existence proof; alternatively, an explicit model potential $\\varphi$ and non-$m$-polar measure $\\mu$ with $\\mu(X)=\\int_X H_m(\\varphi)>0$ but no normalized $u\\in E_\\varphi$ solving $H_m(u)=\\mu$ would directly disprove the main existence theorem.","supporting_citations":[{"cited_title":"Lu and Van-Dong Nguyen, Degenerate complex Hessian equations on compact K¨ ahler manifolds, Indiana Univ","cited_arxiv_id":null,"evidence_quote":"It establishes the global potential theory and solves complex Hessian equations in the full-mass class $E(X,\\omega,m)$, which is the base case this paper extends to prescribed singularity classes."},{"cited_title":"Lu, Monotonicity of nonpluripo- lar products and complex Monge-Amp` ere equations with pres cribed singularity, Anal","cited_arxiv_id":null,"evidence_quote":"It proves monotonicity of non-pluripolar Monge–Ampère masses and solves equations with prescribed singularity in the $m=n$ case, serving as the template for the relative potential theory."},{"cited_title":"Lu, Log-concavity of volume and complex Monge-Amp` ere equations with prescribed singular ity, arXiv:072018 (2018)","cited_arxiv_id":null,"evidence_quote":"It introduces the supersolution method and the Hodge-index inequality for Monge–Ampère equations with prescribed singularity, which this paper adapts to the Hessian setting."},{"cited_title":"Lu, L1 metric geometry of big cohomology classes , Ann","cited_arxiv_id":null,"evidence_quote":"It supplies the $L^1$-metric geometry of finite-energy classes, including the completeness and comparison arguments used to build the metric $d$ on $E^1$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It develops the complete metric geometry of finite-energy classes that underlies the completeness theorems this paper imports for the Hessian setting."},{"cited_title":"2, 579–591","cited_arxiv_id":null,"evidence_quote":"It proves the monotonicity of non-pluripolar Monge–Ampère masses that Theorem 1.1 generalizes to the Hessian case."}],"review_version":1}