REVIEW 5 major objections 6 minor 36 references
On a Class of Singular Complex Manifolds
T0 review · 5 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read A new class of singular complex manifolds is shown to carry a full degenerate Kodaira–Hodge theory, including Hodge decomposition, vanishing, and projective embedding away from the divisor.
desk verdict A genuinely new program for L² Hodge theory on singular complex structures, but inequality (33) is asserted rather than proved, and the whole paper leans on it. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the degenerate complex structure $J'$: inside the twistor sphere of the hyperkähler structure on $X\setminus D$, it is the member orthogonal to the original complex structure, compatible with the degenerate Kähler form $\Re\Omega$ and the degenerate Ricci-flat metric $g'$, and it is singular exactly along the canonical divisor $D$. The argument is carried by the axiomatic class of Definition 2, whose asymptotic conditions—boundedness of the metric and Ricci tensor, the coordinate model $\det g' = |r|^a + O(r^a)$, the normal decay $\|dr\|_{g'}= r^b + O(r^b)$, and the inequality $2n-k+a-2>3b$—are chosen so that the weighted Sobolev embedding is compact, integration by parts holds, and the fundamental inequality for $\Delta_{g'}$ is available. The key local mechanism is Theorem 8, solvability of $\bar\partial_{J'}$ in a neighborhood of $D$: a plurisubharmonic exhaustion built from $-|\sigma|^4$ and $-\log F$ plus the weighted estimate (33) produces solutions, and this solvability converts the weak $L^2$ Hodge decomposition into the strong Hodge and Kodaira theorems.
What would settle it
Work out the flat local model of Section 3, the pullback $J'_0$ of the quaternionic structure under $(z,w)\mapsto(z,w^2)$, and compute the weighted estimate (33) for that model's degenerate $\bar\partial_{J'}$-operator: the inequality is stated without proof, and if it fails in the model, the local solvability theorem and everything it feeds collapses. A second decisive check is to compute the $L^2$ harmonic $(1,1)$-forms of the model and test whether the claimed Hodge decomposition and positive-degree vanishing hold for the trivial line bundle.
Extended reading notes
Core claim
The paper's central claim is that for the singular complex manifolds of Definition 2—built from the degenerate hyperkähler structure and satisfying four asymptotic conditions on the metric, the Ricci curvature, and the rate of degeneration along the divisor $D$—the full $L^2$ Hodge package holds for the degenerate structure $J'$. Specifically, Theorem 4 gives Hodge decomposition for $\bar\partial_{J'}$-closed forms, Theorem 5 states that $\Delta_{g'}$-harmonic forms are smooth on all of $X$ and are both $\bar\partial_{J'}$- and $\bar\partial_{J'}^*$-closed, Lemma 4 gives the singular $\partial\bar\partial$ lemma, Theorem 6 gives vanishing of harmonic forms of bidegree $(p,q)$ with $p+q>n$ for $J'$-positive line bundles, and Theorem 7 embeds $X\setminus U_\varepsilon$, the complement of an arbitrarily small tubular neighborhood of $D$, into a projective space using holomorphic sections of a high power of a $J'$-positive line bundle. The proof route goes through a weak $L^2$ Hodge theory modeled on the theory for spaces with non-isolated conical singularities, a local $\bar\partial_{J'}$-solvability theorem near $D$ (Theorem 8), and a degenerate Poincaré lemma, with the final corollary that the $L^2$ de Rham cohomology of the singular space is isomorphic to the ordinary de Rham cohomology of $X$.
Load-bearing premise
The load-bearing premise is the author's earlier existence theorem—stated without proof here—that a degenerate complex Monge–Ampère equation on a Kähler surface with canonical divisor has a smooth solution producing the degenerate Kähler form $\omega'$ with the stated asymptotic behavior; on top of that, the local $\bar\partial_{J'}$-solvability proof leans on a weighted estimate, inequality (33), that is asserted but not demonstrated.
Editorial extensions
If this is right
- For a Kähler surface of general type with canonical divisor $D$, the complement $X\setminus U_\varepsilon$ embeds holomorphically into a projective space for arbitrarily small $\varepsilon$, even though a generic CR structure on its three-dimensional boundary is not embeddable.
- The degenerate $L^2$ cohomology $H^{p,q}_{(2)}(X)$ is finite-dimensional and isomorphic to the space of $L^2$ harmonic forms, and every harmonic form is smooth across the singular divisor.
- A $d$-closed $(p,q)$-form orthogonal to harmonic forms is $\partial_{J'}\bar\partial_{J'}$-exact, so cohomology classes on the singular manifold admit $\partial\bar\partial$-type potentials.
- For a $J'$-positive line bundle, all harmonic forms of degree greater than half the real dimension vanish, giving the Kodaira vanishing half of the embedding theorem.
Reading between the lines
- The introduction's mirror-symmetry motivation suggests that the $J'$-holomorphic sections whose zero sets are produced by the Kodaira embedding could yield Lagrangian cycles Poincaré dual to classes orthogonal to $c_1$; the paper does not construct those cycles, but the embedding theorem makes the search concrete.
- The flat branched-cover model of Section 3 is the natural test case: if inequality (33) can be verified there by an explicit calculation, the local solvability theorem would stand on much firmer ground.
- A quantitative version of the smoothness theorem might follow from identifying $|\sigma|^2\Delta_{g'}$ as a Grushin-type operator: the degeneration is subelliptic, with a controlled loss of derivatives in the normal directions, rather than elliptic in the usual sense.
- The class of Definition 2 may also cover the higher-dimensional branched covers constructed from the maps $\pi_{n,k}$ in Section 3; the paper does not check the asymptotic conditions there, so whether the full Hodge package extends to those examples remains open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a class of singular complex manifolds (Definition 2) modeled on degenerations obtained from solutions of degenerate complex Monge-Ampère equations, and claims a full L2 Hodge package for the degenerate complex structure J': Hodge decomposition for the ∂̄_{J'}-complex (Theorem 4), smoothness of harmonic forms (Theorem 5), a singular ∂∂̄ lemma (Lemma 4), vanishing of positive-degree harmonic forms for J'-positive line bundles (Theorem 6), and a Kodaira embedding theorem for X\U_ε (Theorem 7). The local analytic engine is Theorem 8, a local ∂̄_{J'}-solvability statement whose proof is sketched in Section 9.3 and depends on the unproved weighted inequality (33). The proof of Theorem 4 uses (33) through inequality (20) to bound the sequence {φ_b} and to obtain an L2 solution. Section 2 imports from the author's previous work [1] the existence of the degenerate Kähler form ω' and the smooth solution of the DCMA equation. The paper also contains a degenerate Poincaré lemma in Appendix A.
Significance. If the main theorems were fully established, this would be a substantial extension of Hodge and Kodaira theory to spaces whose complex structure itself degenerates along a divisor; such a theory would be of real interest, particularly in connection with the twistor construction in Section 2. The explicit local model in Section 3, the careful formulation of Definition 2, and the attempt to prove a degenerate Poincaré lemma in Appendix A are genuine strengths. However, the central results currently rest on unproved analytic estimates and on existence assertions imported from the author's earlier papers. The contribution is therefore a promising framework rather than a completed proof, and the significance can only be assessed after the missing analytic core is supplied.
major comments (5)
- [§9.3, Eq. (33)] The weighted estimate (33) is asserted without proof, and it is load-bearing: in the proof of Theorem 4 it is invoked as inequality (20) to bound the sequence {φ_b}, and without that bound the L2 solution of ∂̄_{J'}u = α − α_0 is not obtained. The sentence that one can prove (33) 'by the same arguments as in [8] and ([23])' is not a derivation, especially because J' degrades along D and Definition 2 only assumes bounded Ricci curvature; the curvature, connection, and coercivity controls needed for a weighted ∂̄-estimate are not shown to follow from the stated hypotheses. A complete derivation of (33) from Definition 2, or an explicit additional assumption that yields it, is required before Theorem 4 can be accepted.
- [Theorem 8 and §9.1–9.2] The local solvability theorem is the analytic foundation for Theorem 4, but its proof is only a sketch. In Lemma 5 the computation of ∂_{J'}∂̄_{J'}ψ_0 is carried out for the flat model and the general case is compared up to O(|(x,y)|), yet the error term is not estimated with respect to the degenerate metric. Lemma 6 is dismissed as 'a simple computation' whose claimed cancellation of singularities is not written out. The density statement for D_{p,q+1}(U) is imported from [8] and [23] without verifying the necessary hypotheses in the degenerate setting. Theorem 8 needs a complete proof, including the verification that the operators T and S are well-defined closed operators with the stated domains.
- [Theorem 7, §8.2] The proof of the Kodaira embedding theorem assumes a special covering V = {U_α} of the blown-up manifold with the properties that exactly one open set meets D and all higher intersections have trivial cohomology. The existence of such a covering is not demonstrated. The subsequent Čech-type argument for extending holomorphic sections depends on this covering, so without a construction or a reference for it, the embedding theorem is unsupported. The same issue affects the claim that the blow-up of the degenerate manifold again belongs to the class of Definition 2.
- [Definition 2(4)] The asymptotic inequality 2n−k+a−2>3b is imposed as part of the definition of the class, but the paper verifies it only for the Monge-Ampère example, where a=2 and b=1. Lemma 1 and Lemma 2, and hence the L2 decomposition and Hodge theory, depend essentially on this inequality. The manuscript should either prove that the inequality holds for all examples in the class or state it as a hypothesis whose verification is supplied for each application.
- [Section 2 and [1]] The existence of the degenerate Kähler form ω' with properties (i)–(iii) and the smooth solution of the degenerate complex Monge-Ampère equation are imported from the author's preprint [1]. The manuscript does not state the precise theorem from [1] that is being used, nor does it list the regularity estimates at D that the subsequent arguments require. Since every example and the entire class in Definition 2 depend on this input, the dependence should be made explicit, and the needed estimates should be stated either as theorems with proofs or as clearly identified assumptions.
minor comments (6)
- [Abstract and Introduction] There are numerous typographical errors and misspellings ('strudy', 'whcih', 'forht', 'sequaent', 'harmonique', 'pluisubharmonic', 'dergative'); the manuscript needs a careful proofreading pass.
- [Definition 2] The relation between the real submanifold D of dimension k and the complex divisor in the main example (real codimension 2) should be stated explicitly, since k is also used elsewhere to denote the number of branched factors in Section 3.
- [§3, Eq. (3)] The map Φ:S^2→Ω^2(M) in equation (3) uses E_1,E_2,E_3, but the text then writes J' without explaining how J' corresponds to a point of the twistor sphere; the notation should be made consistent.
- [Lemma 2 proof] In the proof of Lemma 2, the phrase 'forht and fifth line' is a typo, and the constants in the Cauchy–Schwarz argument are not tracked; a cleaner presentation with named constants would improve readability.
- [Corollary 5] The statement that 'the same argument holds' for d and d* is not immediate, because the decomposition d=∂+∂̄ is only available away from D and the boundary terms require separate treatment; this needs to be spelled out or referenced.
- [Appendix A] The homotopy formula in the degenerate Poincaré lemma is classical, but the claim that the resulting forms lie in L^2 with respect to the degenerate metric is not fully justified, and the Čech correction step would benefit from explicit L^2 estimates on the intersections.
Circularity Check
The central Hodge decomposition and Kodaira theory depend on the author's prior DCMA existence theorem [1] and on an unproved weighted estimate (33) attributed to the author's own [8], making the foundational chain self-citation load-bearing rather than definitionally circular.
-
self citation load bearing
[Section 2; Section 4.2 after Definition 2]
"In ([1]) we have proved that there exists a (1,1)-form ω′ ∈ Ω^{1,1}(B) with the following properties ... ii) ω′ is a Kähler form on B\D. iii) i∗_D ω′ is a Kähler metric on D and ω′ degenerates transversally along D. ... It is clear that for the degenerate complex manifolds obtained through degenerate Monge Ampère equation we have a=2 and b=1 and it satisfies the conditions of the above definition."
The existence of the degenerate structure ω′ is taken wholesale from the author's own preprint [1]; the paper gives no proof or independent verification. Definition 2 and all later theorems concern manifolds obtained this way, so every claimed Hodge/Kodaira result inherits an unproved self-cited premise. This is load-bearing self-citation rather than a definitional equivalence, but it is the foundation of the derivation chain.
-
self citation load bearing
[Section 9.3, inequality (33); Section 5, proof of Theorem 4, inequality (20)]
"Thus by the same arguments as in [8] and ([23]) one can prove that ... One then can prove the inequality ... (33) for appropriate constants from which theorem 8 can be deduced. ... From the inequality (33) we have ... (20)."
The proof of the main Hodge decomposition (Theorem 4) invokes (33) as the decisive weighted estimate to bound the approximating sequence {φ_b} in L²_{J'} and complete the ∂̄_{J'}-solution. The paper never derives (33) from the metric assumptions of Definition 2; it asserts it 'by the same arguments as in [8]', where [8] is the author's own earlier paper. Thus the central Hodge decomposition is supported by a self-cited, unproved estimate rather than by a computation included in this paper.
1 more flagged steps
-
self citation load bearing
[Section 9.1, proof of Lemma 5]
"Using the canonical coordinates given by lemma 30 in the appendix A4 of [1] we can assume that dE and dF both vanish at p."
The local psh function φ0 and the bounded moving frame of Lemma 6 rely on a coordinate normalization stated to be in the author's own [1] (Appendix A4, Lemma 30). Lemma 30 is not reproduced or proved here, so the local solvability theorem, and hence Theorem 4, depend on another self-cited result. This compounds the dependence of the paper's central claims on unverified prior work of the same author.
full rationale
The paper is not circular in the strict self-definitional sense: it does not define J' or the degenerate class in terms of its Hodge decomposition, and no fitted parameter is relabeled as a prediction. The main theorems are, however, not self-contained. The entire class of examples is imported from the author's own preprint [1] ('In ([1]) we have proved...'), and the key local ∂̄_{J'}-solvability is made to rest on inequality (33), which is asserted rather than proved and attributed to 'the same arguments as in [8]' — again the author's own prior work. Because Theorem 4's proof explicitly uses (33) to bound the approximating sequence and complete the Hodge decomposition, the central claim reduces to a self-cited unproved estimate. The paper also leans on Lemma 30 of [1] for coordinate normalizations in Lemmas 5 and 6. That is load-bearing self-citation rather than definitional equivalence, so the score is 4 rather than higher.
Assumptions & free parameters
free parameters (1)
- Asymptotic exponents a and b in Definition 2 =
a=2 and b=1 for the DCMA examples; otherwise constrained by 2n-k+a-2 > 3b
assumptions (4)
- ad hoc to paper The prior result from [1] that the degenerate complex Monge-Ampère equation admits a smooth solution and yields a Kähler form ω' on X\D with transversal degeneracy along D.
- ad hoc to paper The asymptotic inequality 2n-k+a-2 > 3b in Definition 2(4) holds for all manifolds in the class.
- domain assumption Standard L2 theory and ∂̄-solvability on Stein domains can be transplanted to the degenerate operator ∂̄_{J'} with weighted estimates, including inequality (33).
- domain assumption The Cheeger-Dai L2 cohomology framework for non-isolated conical singularities applies to the present singular metrics.
Cite this review
Pith. "Pith review of On a Class of Singular Complex Manifolds." pith.science (2026). https://pith.science/paper/2JMQAYFL
@misc{pith2026241116764,
author = {Pith},
title = {Pith review of: On a Class of Singular Complex Manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/2JMQAYFL}},
note = {Machine review of arXiv:2411.16764}
}
read the original abstract
We introduce a new class of singular complex manifolds and we develop a degenerate Kodaira-Hodge theory for this class of singular manifolds.
Reference graph
Works this paper leans on
-
[8]
A note on the solvability of ̄/u1D715in a class of hypo-anlytic manifolds
Bahraini, A. A note on the solvability of ̄/u1D715in a class of hypo-anlytic manifolds. Scientia Iranica, 2009,
work page 2009
-
[23]
Hörmander, Lars The analysis of linear partial differen tial operators III pseudodiffer- ential operators.Grundlehren der Mathematischen Wissens chaften 274 Springer-Verlag, Berlin,1983
work page 1983
-
[1]
Bahraini, A., Degenerate Monge-Ampère equations, arXi v:2302.14106
-
[2]
V .Guillemin, E. Miranda, A.R. Pires, Symplectic and Poi sson geometry on b-manifolds, Adv. Math. 264, pp. 864-896 (2014)
work page 2014
-
[3]
V . Apostolov, P . Gauduchon, and G. Grantcharov. Bihermitian structures on complex sur- faces. Proc. London Math. Soc., 79(3):414-428, 1999
work page 1999
-
[4]
Nonlinear analysis on manifolds
Aubin, T. Nonlinear analysis on manifolds. Monge-Ampèr e equations.Grundlehren der Mathematischen Wissenschaften, 252.Springer-Verlage, New York-Berlin, 1982
work page 1982
-
[5]
Barth, W., Peters C., van de VEN A., Compact complex surfa ces, Berlin: Springer-Verlag, 1984.(Ergebnisse der Mathematik)
work page 1984
-
[6]
Variété kählerienne dont la première clas se de Chern est nulle
Beauville, A. Variété kählerienne dont la première clas se de Chern est nulle. J.Differential Geom. 18 (1983), no 4., 755-782, (1984)
work page 1983
Show all 36 references
-
[7]
Super-symétrie et Géometrie Complexe, Thè se de Doctorat, ł’Université Paris 7, 2004
Bahraini, A. Super-symétrie et Géometrie Complexe, Thè se de Doctorat, ł’Université Paris 7, 2004
2004
-
[9]
Bahraini, A., On the deformation theory of Calabi-Yau st ructures in strongly pseudo- convex manifolds , Bull Braz Math Soc, New Series, 2010, 41(3 ), 409-420
2010
-
[10]
Lê, T.T., Representants lagrangiens de l ’homologie des surfaces projectives complexes, arXiv:0903.4490,
Bennequin, D. Lê, T.T., Representants lagrangiens de l ’homologie des surfaces projectives complexes, arXiv:0903.4490,
-
[11]
Largrangian barriers and symplectic embeddi ngs, Geometric and Functional Analysis, 2001, 11, 407-464
Biran, P . Largrangian barriers and symplectic embeddi ngs, Geometric and Functional Analysis, 2001, 11, 407-464
2001
-
[12]
Complex manifolds without potential theor y
Chern,S.S. Complex manifolds without potential theor y. Van Nostrand Mathematical Stud- ies, No.15 1967
1967
-
[13]
Quantum Fields and Strings: A c ourse for Mathematicians,A.M.S
Deligne,P .,Etingof,P . Quantum Fields and Strings: A c ourse for Mathematicians,A.M.S. Institute for Advanced Study 1999
1999
-
[14]
Differentiable manifolds , Springer-Verlag , 1984
de Rham, G. Differentiable manifolds , Springer-Verlag , 1984
1984
-
[15]
The geometry of four manifolds.the Clarendon Press, Oxford University Press, New York 1990 29
Donaldson,S.K.; Kronheimer,P .B. The geometry of four manifolds.the Clarendon Press, Oxford University Press, New York 1990 29
1990
-
[16]
Gilbarg, D., and Trudinger, N.S., Elliptic Partial Diff erential Equations of Second Order, Springer-Verlag, Berlin-Heidelberg-New York, 2d ed., 1984
1984
-
[17]
A certain class of elliptic pseudodifferen tial operators degenerate on a sub- manifold, Mat.Sb.(N.S.)84(126) 1971 163-195
Grusin, V .V . A certain class of elliptic pseudodifferen tial operators degenerate on a sub- manifold, Mat.Sb.(N.S.)84(126) 1971 163-195
1971
-
[18]
A certain class of hypoelliptic operators ,Mat
Grusin, V .V . A certain class of hypoelliptic operators ,Mat. Sb. (N.S.) 83 (125) 1970 456- 473
1970
-
[19]
On a class of elliptic pseudodifferential operators degenerate on a submani- fold, Mathematics of the USSR-Sbornik, 1971, Vol 13, No
Grusin,.V .V . On a class of elliptic pseudodifferential operators degenerate on a submani- fold, Mathematics of the USSR-Sbornik, 1971, Vol 13, No. 2, 1 55-185
1971
-
[20]
Generalized Complex Geometry, PhD
Gualtieri, M. Generalized Complex Geometry, PhD. Thes is, 2003
2003
-
[21]
Algebraic Geometry, Graduate Texts 49, S pringer, Heidelberg (1977)
Hartshorn, R. Algebraic Geometry, Graduate Texts 49, S pringer, Heidelberg (1977)
1977
-
[22]
Hitchin, N. Lectures on special Lagrangien submanifol ds, Winter school on mirror sym- metry, Vector bundles and Lagrangien submanifolds (Cambri dge, MA, 1999),151-182, AMS/IP Stud.Adv.Math.,23 , Amer.Math.Soc., Providencs,RI, 2001
1999
-
[24]
Blaine, Calibrated geometri es, Acta Mathematica, Vol
Harvey, Reese, Lawson, H. Blaine, Calibrated geometri es, Acta Mathematica, Vol. 148, 1982, No. 1, 47-157
1982
-
[25]
Princeton University Press, Princeton , NJ, 198 9
Lawson, H.Blaine, Jr.; Michelson, Marie-Louise Spin g eometry Princeton Mathematical Series, 38. Princeton University Press, Princeton , NJ, 198 9
-
[26]
Kontsevich: Homological algebra of mirror symmetry , Proceedings of the International Congress of Mathematicians, Vol
M. Kontsevich: Homological algebra of mirror symmetry , Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z¨urich, 1994), 120–139, Birkh¨auser, Basel, 1995
1994
-
[27]
Zaslow, E, Mirror Symmetry i s T-Duality, Nuclear Physics B, 479 (1996), 243-259
Strominger, A., Yau, S.-T. Zaslow, E, Mirror Symmetry i s T-Duality, Nuclear Physics B, 479 (1996), 243-259
1996
-
[28]
Hypo-analytic structures, a local theory, P riceton University Press, 1992
Trèves,F. Hypo-analytic structures, a local theory, P riceton University Press, 1992
1992
-
[29]
Cheeger,J., On the spectral geometry of spaces with con e-like singlarities, Proc. Nat. Acad. Sci. U.S.A. 76 no.5 (1979), 2103-2106
1979
-
[30]
Cheeger, J., On the Hodge theory of Riemannian pseudoma nifolds, Geometry of the Laplace operator, pp.91-146, 1980, 30
1980
-
[31]
, Cheeger, J., Dai, X., L2 -cohomology of Spaces with Non -isolated Conical Singularities and Non-multiplicativity of the Signature
-
[32]
Cheeger, M
J. Cheeger, M. Goresky, and R. MacPherson. L2-cohomolo gy and intersection homology of singular algebraic varieties. Seminar on Di erential Geometry, Ann. of Math. Stud., 102, Princeton Univ. Press, Princeton, N.J. pages 303340, 1982
1982
-
[33]
Math 31, 339-411 (1978 )
Yau S.T., On the Ricci curvature of a compact Kähler mani fold and the complex Monge- Ampère equationI, Com.Pure and Appl. Math 31, 339-411 (1978 )
1978
-
[34]
Henkin, G,M
Epstein, C,L. Henkin, G,M. Embeddings for 3-dimension al CR-manifolds, Complex Anal- ysis and Geometry pp 223-236, 2000
2000
-
[35]
and Guillemin, V
Golubitsky, M. and Guillemin, V . (1973). Stable Mappin gs and Their Singularities. New York: SpringerVerlag.r
1973
-
[36]
Stability of /u1D436∞ mappings
John Norman Mather. Stability of /u1D436∞ mappings. VI. The nice dimensions. Proceedings of Liverpool Singularities-Symposium, I. Lecture Notes in Ma th., 192:207–253, 1971. 31
1971
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.