Pith. sign in

REVIEW 3 major objections 4 minor 25 references

Deformations of noncompact Calabi--Yau manifolds, families and diamonds

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For noncompact manifolds, a deformation family should be a holomorphic surjective submersion to a disc that is locally trivial in the smooth category; the paper's examples show this definition captures genuinely new families.

desk verdict A clear survey with a reasonable working definition for deformations of noncompact manifolds, but the advertised KKP diamond isn't yet an invariant because the tame compactification is unspecified. read the letter →

arxiv 1908.09045 v2 pith:X7XOHJIC submitted 2019-08-23 math.AG

E. Gasparim , F. Rubilar This is my paper · ORCID
classification math.AG MSC 32G05
keywords deformationsofcomplexstructuresnoncompactCalabi–YaumanifoldsadjointorbitsLandau–GinzburgmodelsKKPconjectureHodgediamondscotangentbundlesflaghyperkählerfamilies
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper argues that the classical deformation theory of compact complex manifolds is the wrong tool for noncompact ones: vanishing of $H^1(X,T_X)$ can coexist with nontrivial families, and the naive noncompact version lets the smooth type change. It proposes Definition 2.3, in which a deformation family of $X$ is a holomorphic surjective submersion $\pi:\widetilde X\to \mathbb{D}$ over a disc with $\pi^{-1}(0)=X$ and with the family locally trivial in the $C^\infty$ category. The supporting examples are concrete: the surfaces $Z_k=\mathrm{Tot}(\mathcal{O}_{\mathbb{P}^1}(-k))$ have semiuniversal deformation families whose nontrivial members are affine and contain no compact curves, and the threefold $W_2$ has an infinite-dimensional family with infinitely many isomorphism types. The paper then computes Hodge diamonds for these spaces and for $T^*\mathbb{P}^1$, $T^*\mathbb{P}^2$, and adjoint orbits, and displays KKP diamonds for the associated Landau–Ginzburg models, where the three KKP invariants coincide. A reader should care because a working deformation theory for noncompact Calabi–Yau manifolds would control how complex structure, moduli of bundles, and Hodge-theoretic invariants change in families.

What carries the argument

The load-bearing object is the paper's proposed Definition 2.3, which replaces compactness in the classical analytic-family definition by local triviality in the $C^\infty$ category: the smooth type of the manifold is fixed while the complex structure is allowed to vary, and pathological families such as Example 2.1 are excluded. For the adjoint-orbit examples, the engine is the paper's Theorem 3.4, which realizes $G^c/H^c$ as a family of complete hyperkähler metrics parametrized by triples $(\tau_1,\tau_2,\tau_3)$ in a Cartan subalgebra with common stabilizer; the corollary used here is that a complex adjoint orbit is a deformation of the cotangent bundle of a flag manifold. For the diamond calculations, the machinery is the triple of KKP invariants—$f^{p,q}$ from logarithmic forms adapted to the superpotential, $h^{p,q}$ from relative cohomology with its weight filtration, and $i^{p,q}$ from vanishing cycles—together with the KKP conjecture that these three numbers coincide; the paper displays cases, e.g. the minimal adjoint orbits of $\mathfrak{sl}(n,\mathbb{C})$, where they do.

What would settle it

For the LG model on the four-dimensional adjoint orbit of $\mathrm{Diag}(2,-1,-1)$ in $\mathfrak{sl}(3,\mathbb{C})$, compute $f^{p,q}$, $h^{p,q}$, and $i^{p,q}$ using two different ways of completing the model to a compact projective variety that satisfy the paper's Definition 5.1. If any entry of the resulting KKP diamond changes between the two completions, or if $f^{p,q}=h^{p,q}=i^{p,q}$ fails, then the diamond quoted for LG(3) is not an invariant of the model and the Hodge-theoretic claim would need revision.

Watch

Extended reading notes

Core claim

The paper's central claim is that Definition 2.3 is the right adaptation of the classical deformation theory of compact complex manifolds to noncompact manifolds. A deformation family of $X$ is a holomorphic surjective submersion $\pi:\widetilde X\to \mathbb{D}$ with $\pi^{-1}(0)=X$ and with $\widetilde X$ locally trivial in the $C^\infty$ category; the fibres $X_t=\pi^{-1}(t)$ are the deformations. In this sense, the paper shows that each $Z_k$ admits a $(k-1)$-dimensional semiuniversal family whose nontrivial deformations are affine and contain no compact complex analytic curves, that $W_2$ has an infinite-dimensional family of deformations with both affine and non-affine members and infinitely many isomorphism types, and that a complex adjoint orbit $\mathrm{Ad}(G)H_0$ is a deformation of the cotangent bundle of a flag manifold. On the Landau–Ginzburg side, using the potential $f_H(x)=\langle H,x\rangle$ on such an orbit, the paper records the Hodge diamonds of the orbits and cotangent bundles and the KKP diamonds of the LG models; for minimal adjoint orbits of $\mathfrak{sl}(n,\mathbb{C})$ the three KKP invariants $f$, $h$, $i$ coincide, so a KKP diamond is well defined there.

Load-bearing premise

The paper assumes the KKP diamonds it displays are properties of the Landau–Ginzburg model alone, unchanged by the choice of how the model is completed to a compact variety at infinity, even though the paper's own caveat reports that Hodge numbers of the same orbit can change drastically with that choice.

Editorial extensions

If this is right

  • Nontrivial deformations of the surfaces $Z_k$ are affine and contain no compact complex curves, and all holomorphic vector bundles on them split; moduli of instantons on the undeformed surface disappear after deformation.
  • The threefold $W_2$ has an infinite-dimensional, integrable deformation family with infinitely many pairwise non-isomorphic members, so noncompact Calabi–Yau threefolds can have very large deformation spaces even when related manifolds are formally rigid.
  • Every complex semisimple adjoint orbit is a deformation, in the new sense, of the cotangent bundle of a flag manifold, giving deformation families in every complex dimension.
  • For minimal adjoint orbits of $\mathfrak{sl}(n,\mathbb{C})$, the KKP equality $f^{p,q}=h^{p,q}=i^{p,q}$ holds, so the KKP conjecture is true in this family even though it is false in full generality.
  • Hodge diamonds can change between an orbit and the corresponding cotangent bundle (for example $O_3$ versus $T^*\mathbb{P}^2$), so the new deformation notion preserves smooth type but not Hodge-theoretic invariants.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step is to compute the KKP diamonds on nontrivial deformations of $W_2$ or on deformations of the adjoint orbits; the paper leaves open how these diamonds vary in a family, and that computation would test whether KKP diamonds are deformation-invariant.
  • The compactification caveat suggests checking the quoted LG(3) diamond against two different tame compactifications; if it changes, the diamond belongs to the compactification, not to the Landau–Ginzburg model alone.
  • The same definition could be applied to other noncompact Calabi–Yau threefolds, such as total spaces of rank-two bundles over higher-genus curves, to see whether the affine/non-affine and formal-rigidity phenomena seen for $W_k$ persist.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes a new definition of deformation of complex structure for noncompact complex manifolds: a holomorphic surjective submersion to a disc whose central fiber is the given manifold and which is locally trivial in the C-infinity category (Definition 2.3). It contrasts this with the classical Kodaira definition, gives an example showing that a naive noncompact extension is too permissive, and then presents examples including the local surfaces Z_k = Tot(O_{P^1}(-k)), the threefolds W_k = Tot(O(-k) ⊕ O(k-2)), and semisimple adjoint orbits viewed as deformations of cotangent bundles of flag manifolds. The paper also recalls the Katzarkov-Kontsevich-Pantev (KKP) invariants for Landau-Ginzburg models, states the KKP conjecture, and displays Hodge diamonds and KKP diamonds for minimal adjoint orbits of sl(2,C), sl(3,C), and sl(n,C), quoting the KKP computations from the authors' earlier work [BGRSM].

Significance. The proposed Definition 2.3 is coherent, and Example 2.1 does illustrate a genuine pathology of the naive noncompact version of Kodaira's definition; the examples in Sections 2 and 4 do show that the definition is satisfied by interesting families, including adjoint orbits as deformations of cotangent bundles. If the KKP diamonds were shown to be independent of the choice of tame compactification, the paper would provide a useful survey of Hodge-theoretic invariants for noncompact Calabi-Yau and Landau-Ginzburg models. However, the paper's main advertised computations, the KKP diamonds, are quoted from a preprint that is not independently verified here, and the paper's own Remark 5.2 acknowledges that Hodge-theoretic invariants of adjoint orbits can change drastically with the choice of compactification. The central invariant claim is therefore not yet supported as stated. The paper is also not self-contained as a deformation theory: no structural theorem (existence, versality, or completeness) is proved for Definition 2.3, so its claimed advantage over the naive definition rests on the examples alone.

major comments (3)
  1. [§5.3.2, Remark 5.2] The displayed KKP diamond for LG(3) is not established as an invariant of the Landau-Ginzburg model (O_3, f_H). The paper asserts that 'LG(3) admits a tame compactification' and then quotes the diamond from [BGRSM, Sec. 7], but it does not specify which tame compactification is used, and Definition 5.1 does not imply uniqueness of a tame compactification. Remark 5.2 explicitly reports that for adjoint orbits, different homogenizations of the defining ideal can change Hodge-theoretic invariants drastically, giving h^{1,4}=h^{4,1}=16 in one compactification and h^{1,4}=h^{4,1}=1 in another. Consequently, the paper does not show that the f^{p,q}, h^{p,q}, and i^{p,q} numbers in the displayed diamond are independent of the compactification. Since the KKP diamond is a central advertised output of the paper, the authors must either specify the tame compactification used in [BGRSM], prove invariance of the diamond under all tame compactifications, or explicitly state that the diamond is a compactification-dependent computation rather than an invariant of the pair (O_3, f_H).
  2. [§2, Definition 2.3 and Remark 2.5] The paper claims that Definition 2.3 is an adaptation of Kodaira's theory 'better suited' to noncompact manifolds, but it proves no structural properties of this new notion. In particular, Remark 2.5 proposes to choose the dimension of the parameter space D to be h^1(X, T X) 'whenever possible', yet no theorem is proved or cited showing that this dimension is achievable or that the resulting family is complete or versal in the sense of Definition 2.3. The only demonstrated advantage over the naive definition is that Example 2.1 is excluded. The authors should state precisely which properties of Kodaira's theory are preserved by Definition 2.3 (for example, existence of semiuniversal families, the Kodaira-Spencer map, or unobstructedness) and either prove them or clearly mark them as open. Without such a statement, the claim that this is a deformation theory rather than a convenient class of examples is supported only by the examples, not by a general result.
  3. [§5.3.1, §5.3.2] The displayed Hodge diamonds for the noncompact manifolds contain entries labeled '∞', but the meaning of these entries is never defined. It is unclear whether they denote ordinary cohomology, compactly supported cohomology, Borel-Moore homology, or some other invariant. Since the paper uses these diamonds to compare O_2 with T^*P^1 and O_3 with T^*P^2, the lack of a convention makes it impossible for the reader to verify the comparisons. A sentence defining the cohomology theory used for the '∞' entries is needed.
minor comments (4)
  1. [Title and abstract] The running title in the header appears as 'famille s' with an unusual space; the abstract also contains several typographical inconsistencies. The paper would benefit from a careful proofreading pass.
  2. [Example 2.1] The parameter space D is described as 'any smooth manifold (even P1 or a disc)', while Definition 2.3 requires a complex disc; the example is meant to illustrate the naive definition, but the mismatch should be clarified explicitly.
  3. [§2.1] The same notation Z_k is used for the original surface and for a nontrivial deformation of it (e.g., 'Z_k contains no compact complex analytic curves'). This is confusing; a different symbol or a clear parenthetical clarification would help.
  4. [§3, Remark 3.2] The phrase 'these are then required to be integral' should presumably be 'integrable'; the intended meaning is clear but the typo should be corrected.

Circularity Check

1 steps flagged · score 4.0 of 10

KKP diamonds for LG(3) and LG(n) are quoted from the authors' prior [BGRSM] without fixing a tame compactification or proving independence, despite the paper's own compactification caveat.

  1. self citation load bearing [Section 5.3.2 (and Remark 5.2 in Section 5.2)]
    "LG(3) admits a tame compactification, and the corresponding KKP diamond calculated in [BGRSM, Sec. 7] is:"

    The displayed diamond is the load-bearing evidence that KKP diamonds are useful invariants of these LG models, but it is not computed or proved in this paper. It is imported from [BGRSM], whose author list includes both authors of this paper plus two usual collaborators. Moreover, Definition 5.1 does not ensure a unique tame compactification, and Remark 5.2 states that for adjoint orbits different homogenizations of the same ideal change Hodge-theoretic invariants drastically, giving h^{1,4}=h^{4,1}=16 in one compactification and h^{1,4}=h^{4,1}=1 in another. No specific tame compactification of LG(3) is fixed, and no independence from that choice is shown, so the displayed diamond is not established as an invariant of the Landau–Ginzburg model (O3, fH) by this paper.

full rationale

Definition 2.3 is a genuine, self-contained proposal: it replaces compactness and Kodaira–Spencer integrability by C∞ local triviality, and the examples involving Z_k, W_k, cotangent bundles, and adjoint orbits are bibliographic results (Kovalev, [BG1], [R], [GS]) rather than consequences of this paper's definitions. Those citations are not circular because the cited theorems have independent statements and are not redefined in terms of the target claim. The main defect is the KKP diamond material: the diamonds displayed for LG(3) and LG(n) are imported from [BGRSM], authored by Ballico, Gasparim, Rubilar, and San Martin; this paper does not reproduce the computation, fix a tame compactification, or prove independence from that choice. Since Remark 5.2 explicitly warns that different compactifications of adjoint orbits give different Hodge numbers, the displayed 'invariant' cannot be taken as a derived invariant of the LG model on the basis of this paper alone. This is partial, load-bearing self-citation rather than a fitted prediction, so it does not invalidate the deformation-theoretic definition itself.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper's new definition is simple; its main results are imported from the authors' previous papers and from Kovalev, Kronheimer, and KKP. The most fragile imported ingredients are the tame compactification and the [BGRSM] proof of the KKP conjecture.

assumptions (6)
  • standard math Kodaira-Spencer theory: infinitesimal deformations of a compact complex manifold are parametrized by H^1(M, TM), with obstructions in H^2(M, TM).
    Used in Section 1.1 to discuss projective spaces, curves, and Hirzebruch surfaces, and as the background for the noncompact adaptation.
  • domain assumption Kovalev's Theorem 3.4: adjoint orbits G^c/H^c carry families of complete hyperkahler metrics with parameter space determined by triples in a Cartan subalgebra.
    This is the basis for viewing adjoint orbits as deformations of cotangent bundles of flag manifolds in Section 3.
  • domain assumption Kronheimer's theorem: nilpotent adjoint orbits are hyperkahler manifolds.
    Used in Corollary 3.8 to extend the hyperkahler picture to nilpotent orbits.
  • domain assumption The KKP conjecture holds for minimal adjoint orbits of sl(n, C), as proved in [BGRSM].
    This is load-bearing for the KKP diamonds in Section 5.3.3; the proof is not reproduced in this paper.
  • domain assumption A tame compactification exists for LG(3) and the KKP invariants are independent of the chosen tame compactification.
    Section 5.3.2 asserts existence; Remark 5.2 shows compactification choice can change Hodge diamonds, so this is a real assumption.
  • standard math Semisimple Lie algebra Jordan decomposition and conjugacy of semisimple elements into a Cartan subalgebra.
    Used in Remark 3.7 to apply Theorem 3.6 to all adjoint orbits.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Deformations of noncompact Calabi--Yau manifolds, families and diamonds." pith.science (2026). https://pith.science/paper/X7XOHJIC

@misc{pith2026190809045,
  author       = {Pith},
  title        = {Pith review of: Deformations of noncompact Calabi--Yau manifolds, families and diamonds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X7XOHJIC}},
  note         = {Machine review of arXiv:1908.09045}
}
read the original abstract

We introduce a new notion of deformation of complex structure, which we use as an adaptation of Kodaira's theory of deformations, but that is better suited to the study of noncompact manifolds. We present several families of deformations illustrating this new approach. Our examples include toric Calabi--Yau threefolds, cotangent bundles of flag manifolds, and semisimple adjoint orbits, and we describe their Hodge theoretical invariants, depicting Hodge diamonds and KKP diamonds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Balaji, P.A

    V. Balaji, P.A. Vishwanath, On the deformations of certain moduli spaces of vector bundles, Amer. J. Math. 115 (1993) 279–303

    work page 1993

  2. [2]

    Ballico, S

    E. Ballico, S. Barmeier, E. Gasparim, L. Grama, L. A. B. San Martin, A Lie theoretical construction of a Landau--Ginzburg model without projective mirrors, Manuscripta Math. 158 n.1-2 (2019) 85--101

    work page 2019

  3. [3]

    Ballico, B

    E. Ballico, B. Callander, E. Gasparim,Compactifications of adjoint orbits and their Hodge diamonds, J. Algebra Appl. 16 (2017) 1--17

    work page 2017

  4. [4]

    Ballico, E

    E. Ballico, E. Gasparim, T. K\"oppe, Vector bundles near negative curves: moduli and local Euler characteristic, Comm. Algebra 37 (2009) 2688–2713

    work page 2009

  5. [5]

    Barmeier, E

    S. Barmeier, E. Gasparim, Classical deformations of local surfaces and their moduli of instantons, J. Pure Appl. Algebra 223 n.6 (2019) 2543--2561

    work page 2019

  6. [6]

    Barmeier, E

    S. Barmeier, E. Gasparim, Quantizations of local surfaces and rebel instantons, to appear in J. Noncommut. Geom. (2021)

    work page 2021

  7. [7]

    Katzarkov-Kontsevich-Pantev conjecture for minimal adjoint orbits

    E. Ballico, E. Gasparim, F. Rubilar, L. A. B. San Martin, KKP conjecture for minimal adjoint orbits, arXiv:1901.07939

    work page Pith review arXiv 1901

  8. [8]

    Biquard, Sur les \'equations de Nahm et la structure de Poisson des alg\`ebres de Lie semi-simples complexes, Math

    O. Biquard, Sur les \'equations de Nahm et la structure de Poisson des alg\`ebres de Lie semi-simples complexes, Math. Ann. 304 (1996) 253--276

    work page 1996

Show all 25 references
  1. [9]

    F. A. Bogomolov, On the decomposition of K\"ahler manifolds with trivial canonical class, Mat. Sb. (N.S.), 93(135) n.4 (1974) 573--575

    1974

  2. [10]

    Cheltsov, V

    I. Cheltsov, V. Przyjalkowski, Katzarkov--Kontsevich--Pantev Conjecture for Fano threefolds , arxiv:1809.09218

  3. [11]

    Gasparim, L

    E. Gasparim, L. Grama, L. A. B. San Martin, Symplectic Lefschetz fibrations on adjoint orbits, Forum Math. 28 n.5 (2016) 967--980

    2016

  4. [12]

    Gasparim, L

    E. Gasparim, L. Grama, L. A. B. San Martin, Adjoint orbits of semisimple Lie groups and Lagrangian submanifolds, Proc. Edinburgh Math. Soc. 60 (2) (2017) 361--385

    2017

  5. [13]

    Gasparim, T

    E. Gasparim, T. K\"oppe, F. Rubilar, B. Suzuki, Deformations of noncompact Calabi--Yau threefolds, Rev. Colombiana de Matem\'aticas 52 n.1 (2018) 41--57

    2018

  6. [14]

    Gasparim, B

    E. Gasparim, B. Suzuki, Infinite dimensionality of deformation families for noncompact threefolds, arXiv:1909.01842v2

    1909 arXiv

  7. [15]

    J. E. Humphreys, Introduction to Lie algebras and representation theory, Springer-Verlag, New York, (1980)

    1980

  8. [16]

    Katzarkov, M

    L. Katzarkov, M. Kontsevich, T. Pantev, Bogomolov--Tian--Todorov theorems for Landau--Ginzburg models, J. Differential Geom. 105 (1) (2017) 55--117

    2017

  9. [17]

    Kodaira, Complex manifolds and deformations of complex structures, Grundlehren der mathematischen Wissenschaften 283 , Berlin: Springer (1986)

    K. Kodaira, Complex manifolds and deformations of complex structures, Grundlehren der mathematischen Wissenschaften 283 , Berlin: Springer (1986)

    1986

  10. [18]

    A. G. Kovalev, Nahm's equations and complex adjoint orbits, Q. J. Math. 47 (1996) 41--58

    1996

  11. [19]

    P. B. Kronheimer, A hyper-k\"ahlerian structure on adjoint orbits of a semisimple complex group, J. Lond. Math. Soc. (2) 42 (1990) 193--208

    1990

  12. [20]

    P. B. Kronheimer, Instantons and the geometry of nilpotent variety, J. Differential Geom. , 32 (1990) 473--490

    1990

  13. [21]

    Lunts, V

    V. Lunts, V. Przyjalkowski, Landau--Ginzburg Hodge numbers for mirrors of del Pezzo surfaces, Adv. Math. 329 (2018) 189--216

    2018

  14. [22]

    Manetti, Lectures on deformations of complex manifolds (deformations from differential graded viewpoint) , Rend

    M. Manetti, Lectures on deformations of complex manifolds (deformations from differential graded viewpoint) , Rend. Mat. Appl. (7) 24 n.1 (2004) 1--183

    2004

  15. [23]

    Narasimhan, S

    M.S. Narasimhan, S. Ramanan, Deformations of the moduli space of vector bundles over an algebraic curve, Ann. of Math. (2) 101 n.3 (1975) 391–417

    1975

  16. [24]

    Rubilar, Deformaciones de estructuras complejas de 3-variedades Calabi--Yau, Master Thesis, Universidad Cat\'olica del Norte, Chile (2017)

    F. Rubilar, Deformaciones de estructuras complejas de 3-variedades Calabi--Yau, Master Thesis, Universidad Cat\'olica del Norte, Chile (2017)

    2017

  17. [25]

    L. A. B. San Martin, \'Algebras de Lie, Segunda edi c \ ao, Editora Unicamp, ISBN 978-85-268-0876-8 (2010), 454 pp

    2010

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.