Pith. sign in

REVIEW 3 major objections 4 minor 52 references

Classification of Smooth Minimal K\"ahler Fourfolds Without Effective Divisors and Surfaces

T0 review · 3 major / 4 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Compact Kähler fourfolds with no divisors or surfaces and pseudo-effective canonical bundle must have torsion canonical bundle, hence are torus quotients or irreducible holomorphic symplectic manifolds.

desk verdict Solid fourfold classification under a natural minimal-model hypothesis; the recursion is delicate but holds under the stated support bounds. read the letter →

arxiv 2607.04536 v1 pith:Z2QHYS5S submitted 2026-07-05 math.AG

Pisya Vikash This is my paper · ORCID
classification math.AG MSC 32J2732Q1532Q5714E30
keywords compactKählerfourfoldspseudo-effectivecanonicalbundletorsionlinenocodimension-onesubvarietiescodimension-twoBeauville–BogomolovdecompositionHardLefschetzwithmultiplieridealssimplemanifolds
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

The paper classifies smooth compact Kähler fourfolds that contain no analytic divisors and no analytic surfaces, under the hypothesis that the canonical bundle is pseudo-effective. It proves that the canonical bundle must then be torsion. Once the canonical bundle is torsion, the Beauville–Bogomolov decomposition theorem reduces the manifold to a finite quotient of a complex torus or to an irreducible holomorphic symplectic manifold. The result therefore settles a four-dimensional case of the expectation that simple Kähler manifolds are built from tori and hyperkähler pieces, while still allowing curves. The argument proceeds by first proving that the canonical bundle is automatically nef, then by constructing infinitely many sections of twisted cotangent bundles via Hard Lefschetz with multiplier ideals and recursive non-split extension classes; those sections force the canonical bundle to be torsion.

What carries the argument

Recursive non-split extension classes in Ext^{1}(I_Z,K_X^{-m}) together with the Hard Lefschetz theorem for pseudo-effective line bundles with multiplier ideals; absence of codimension-2 subvarieties collapses the relevant cohomology groups to these Ext groups, producing infinitely many sections of Ω^{1}_X⊗K_X^m that force torsion.

What would settle it

A compact Kähler fourfold with pseudo-effective but non-torsion canonical bundle that contains no analytic divisors and no analytic surfaces would falsify the main theorem; equivalently, an explicit fourfold whose multiplier ideals for powers of a singular metric on K_X have two-dimensional support would break the key isomorphism step.

Watch

Extended reading notes

Core claim

If X is a compact Kähler fourfold whose canonical bundle K_X is pseudo-effective and which contains no irreducible analytic subvarieties of codimension 1 or 2, then K_X is a torsion line bundle. Consequently X is, up to finite étale cover, a complex torus or an irreducible holomorphic symplectic manifold.

Load-bearing premise

The whole recursion collapses if the multiplier ideals or the ideal sheaves arising from rank-one quotients of reflexive sheaves can have two-dimensional support even when the manifold has no surfaces.

Share X Bluesky LinkedIn Reddit HN

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 proves that a compact Kähler fourfold X with pseudo-effective canonical bundle and no analytic subvarieties of codimension 1 or 2 has torsion canonical bundle (Theorem 4). By Beauville–Bogomolov this implies X is a torus quotient or an irreducible holomorphic symplectic manifold. The argument proceeds by reducing to the nef case (Lemma 11, via Cao–Höring rational curves, Horikawa deformations, and Demailly regularisation), establishing the irregularity dichotomy q(X) ∈ {0,4} (Lemma 9), and then treating the nef case by a recursive construction of nonzero classes in Ext^{1}(I_Z, K^{-m}) that, via Hard Lefschetz with multiplier ideals, produces infinitely many sections of Ω^{1}_X ⊗ K^m and forces torsion by Anella–Huybrechts (Lemma 8 and Lemma 10). Supporting examples of elliptic fibrations without divisors or surfaces are given in §3.3.

Significance. If correct, the result settles the four-dimensional pseudo-effective case of the Campana–Demailly–Verbitsky conjectures on simple Kähler manifolds under the natural minimal-model hypothesis that excludes only low-codimension subvarieties (allowing curves). The method—Hard Lefschetz with multiplier ideals, reflexive extension classes, and foliation positivity—is elementary relative to the surrounding literature and is presented as the first complete instance of a technique intended for higher dimensions. The elliptic-fibration examples of §3.3 usefully separate the “no divisors or surfaces” hypothesis from the stricter “no positive-dimensional subvarieties” condition, showing that the statement is not vacuous.

major comments (3)
  1. The load-bearing step is the recursive production of nonzero classes in Ext^{1}(I_Z, K^{-m}) inside the proof of Lemma 8 (pp. 20–25). The chain H^{3}(K^{m+1} ⊗ I(h^m)) ≅ H^{1}(K^{-m}) ≅ Ext^{1}(I_Z, K^{-m}) rests on Lemmas 20–22. Lemma 20 correctly uses that any proper analytic support has codimension ≥3 (hence dimension ≤1) under the standing hypotheses; the same bound applies to cosupports of multiplier ideals. Lemma 22’s local depth vanishing (depth_J R ≥3) is standard on a regular local ring of dimension 4. The recursion (Cases A/B after the initial non-split extension (7)) never re-introduces higher-dimensional supports, because each new ideal again arises as a rank-1 torsion-free quotient of a reflexive sheaf. Thus the infinite supply of sections of Ω^{1} ⊗ K^m and the appeal to [1, Prop. 2.6] go through. No independent gap appears, but the argument is delicate and would benefit fr
  2. Lemma 11 (nef reduction) invokes Cao–Höring [20, Cor. 1.4] for a rational curve with K_X · C < 0, Horikawa’s deformation estimate, and Demailly regularisation of the class c_{1}(K_X) + ε[ω]. The claim that the singular locus S of the resulting Kähler current has dim S ≤ 1 follows immediately from the absence of divisors and surfaces, and the subsequent contradiction with a positive-dimensional family of cycles supported on S is clean. The step is therefore sound, but the paper should record that the family of cycles is obtained after quotienting by Aut(P^{1}) and that the germ is chosen so that the cycles are not all equal; a one-sentence clarification would remove any residual ambiguity.
  3. In the positive-Euler-characteristic case of Lemma 10 / Lemma 46 the appeal to the Miyaoka–Yau inequality of Liu [37, Thm. 1.1] for nef canonical bundles on compact Kähler fourfolds is essential for the sign of c_{1}(K)^{2} · c_{2}. The inequality is cited correctly, yet the paper does not spell out the elementary rearrangement that yields c_{1}(K)^{2} · c_{2} ≥ (2/5)c_{1}(K)^{4} ≥ 0. Inserting this short calculation would make the numerical hypothesis of Proposition 45 completely self-contained.
minor comments (4)
  1. Several typographical slips: “setp” for “step” (p. 4), “albanese” uncapitalised (p. 12), “cosupport” sometimes written “co-support”, and occasional missing spaces after punctuation.
  2. Notation for the multiplier ideals I(h^m) versus I_m is not entirely uniform; a single convention would improve readability.
  3. The reference list contains a few incomplete or future-dated entries (e.g., [13], [39], [43]); standard arXiv identifiers or DOIs should be supplied where available.
  4. In Example 39 the Baire-category argument that a generic A yields NS(X_A)=0 is correct but slightly terse; a sentence recalling that the exceptional sets S_Q are proper closed algebraic subsets would help non-specialists.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: torsion of K_X is derived from Hard Lefschetz, reflexive extensions and support-dimension control; self-citation to [43] is only for the post-torsion Beauville–Bogomolov classification.

  1. self citation load bearing [§1.2 item 3 and Cor. 36 / proof of Conjecture 2]
    "If K_X is torsion, then the Beauville–Bogomolov decomposition theorem implies that, after passing to a finite étale cover, X decomposes as a product of a complex torus and simply connected Calabi–Yau or irreducible holomorphic symplectic factors. … See, [43, Theorem 2.8]."

    The classification statement that follows torsion relies on the author’s own preprint [43] rather than a classical external reference. The circularity is mild: the main theorem only claims torsion, and [43] is used only for the subsequent geometric conclusion; it does not feed back into the proof that K_X is torsion.

full rationale

The load-bearing chain for Theorem 4 (and Lemmas 8–11) constructs nonzero sections of Ω^{1}_X ⊗ K^m_X for infinitely many m via Hard Lefschetz with multiplier ideals (Thm 15), the isomorphisms H^{3}(K^{m+1} ⊗ I) ≅ H^{1}(K^{-m}) ≅ Ext^{1}(I_Z, K^{-m}) forced by the codim-≥3 support hypothesis (Lems 20–22), and a recursive non-split extension starting from a holomorphic 2-form plus two 3-forms (exact sequence (7) and Cases A/B). These steps are internal and do not redefine the target (torsion of K_X) in terms of itself, nor do they fit parameters. The only self-citation that appears is [43, Thm 2.8], invoked solely after torsion is already established, to recover the torus-quotient / IHS conclusion from Beauville–Bogomolov; that citation is therefore auxiliary rather than load-bearing for the main claim. No fitted-input-as-prediction, uniqueness-imported-from-authors, or ansatz-smuggling patterns are present. The argument is a classical existence proof under the stated geometric hypotheses and scores at most 1.

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

The paper is a pure-existence theorem in complex geometry. It imports a collection of standard theorems (Hard Lefschetz with multiplier ideals, Beauville–Bogomolov, Miyaoka–Yau for nef Kähler manifolds, Demailly regularisation, Cao–Höring rational curves, Pereira–Rousseau–Touzet abundance) and works under the geometric hypotheses of the statement. No free parameters are fitted; the only “invented” objects are the auxiliary reflexive sheaves and extension classes constructed inside the proof, which are ordinary coherent sheaves rather than new physical entities.

assumptions (7)
  • standard math Demailly–Peternell–Schneider Hard Lefschetz theorem with multiplier ideals for pseudo-effective line bundles (Theorem 15).
    Used repeatedly to produce sections of Ω^{1} ⨯ K^m from nonzero H^{3} classes.
  • standard math Beauville–Bogomolov decomposition for compact Kähler manifolds with torsion canonical bundle ([43, Thm 2.8]).
    Converts torsion of K_X into the geometric classification (torus quotient or IHS).
  • standard math Miyaoka–Yau inequality for compact Kähler manifolds with nef canonical bundle (Liu [37]).
    Supplies c_{1}(K)^{2}·c_{2} ≥ 0 needed for χ(K^m) ≥ χ(O) > 0 in the positive Euler-characteristic case.
  • standard math Cao–Höring existence of a rational curve with K·C < 0 when K is pseudo-effective but not nef ([20]).
    Starting point of the nef-reduction argument (Lemma 11).
  • standard math Pereira–Rousseau–Touzet structure theorem for codimension-one foliations with non-abundant pseudo-effective conormal ([40]).
    Used in Proposition 25 to force abundance of the conormal and obtain a contradiction unless K is torsion.
  • domain assumption Absence of codimension-1 and codimension-2 analytic subvarieties forces multiplier ideals and ideal sheaves of rank-1 quotients of reflexive sheaves to have support of dimension ≤ 1.
    Load-bearing geometric hypothesis that produces the isomorphisms of Lemmas 20–22 and keeps the recursion alive.
  • domain assumption Uniruledness of compact Kähler manifolds with non-pseudo-effective canonical bundle (Ou [39], preprint).
    Used only for the conditional reduction to the pseudo-effective case; the main theorem is stated unconditionally under the pseudo-effective hypothesis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classification of Smooth Minimal K\"ahler Fourfolds Without Effective Divisors and Surfaces." pith.science (2026). https://pith.science/paper/Z2QHYS5S

@misc{pith2026260704536,
  author       = {Pith},
  title        = {Pith review of: Classification of Smooth Minimal K\"ahler Fourfolds Without Effective Divisors and Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z2QHYS5S}},
  note         = {Machine review of arXiv:2607.04536}
}
abstract

We prove that if \(X\) is a compact K\"ahler fourfold with pseudo--effective canonical bundle and no subvarieties of codimension one or two, then \(K_X\) is a torsion line bundle. By the Beauville--Bogomolov decomposition theorem, it follows that \(X\) is either a quotient of a complex torus or an irreducible holomorphic symplectic manifold.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

52 extracted references · 4 linked inside Pith

  1. [1]

    Anella and D

    F. Anella and D. Huybrechts,Effectivity of semi-positive line bundles, Milan J. Math.90 (2022), no. 2, 389–401

    2022

  2. [2]

    Amerik and F

    E. Amerik and F. Campana,Characteristic foliation on non-uniruled smooth divisors on projective hyperkähler manifolds, J. London Math. Soc. (2)95(2017), no. 1, 115–127

    2017

  3. [3]

    Bandman and Y

    T. Bandman and Y. G. Zarhin,Simple complex tori of algebraic dimension0, Proc. Steklov Inst. Math.320(2023), no. 1, 21–38

    2023

  4. [4]

    Bers,Spaces of Riemann surfaces as bounded domains, Bull

    L. Bers,Spaces of Riemann surfaces as bounded domains, Bull. Amer. Math. Soc.66 (1960), no. 2, 98–103

    1960

  5. [5]

    Birkenhake and H

    C. Birkenhake and H. Lange,Complex Tori, Progress in Mathematics, vol. 177, Birkhäuser, Boston, 1999

    1999

  6. [6]

    Birkenhake and H

    C. Birkenhake and H. Lange,Complex Abelian Varieties, second edition, Grundlehren der mathematischen Wissenschaften, vol. 302, Springer-Verlag, Berlin, 2004

    2004

  7. [7]

    Boucksom, J.-P

    S. Boucksom, J.-P. Demailly, M. Păun and T. Peternell,The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension, J. Algebraic Geom. 22(2013), no. 2, 201–248

    2013

  8. [8]

    Bruns and J

    W. Bruns and J. Herzog,Cohen–Macaulay Rings, Cambridge Studies in Advanced Math- ematics, vol. 39, revised edition, Cambridge University Press, Cambridge, 1998

    1998

Show all 52 references
  1. [9]

    Campana,Densité des variétés hamiltoniennes primitives projectives, C

    F. Campana,Densité des variétés hamiltoniennes primitives projectives, C. R. Acad. Sci. Paris Sér. I Math.297(1983), 413–416

    1983

  2. [10]

    Campana,Orbifolds, special varieties and classification theory, Ann

    F. Campana,Orbifolds, special varieties and classification theory, Ann. Inst. Fourier (Grenoble)54(2004), no. 3, 499–630. 43

    2004

  3. [11]

    Campana,Isotrivialité de certaines familles kählériennes de variétés non projectives, Math

    F. Campana,Isotrivialité de certaines familles kählériennes de variétés non projectives, Math. Z.252(2006), no. 1, 147–156

    2006

  4. [12]

    Campana,Orbifoldes géométriques spéciales et classification biméromorphe des variétés kählériennes compactes, J

    F. Campana,Orbifoldes géométriques spéciales et classification biméromorphe des variétés kählériennes compactes, J. Inst. Math. Jussieu10(2011), no. 4, 809–934

    2011

  5. [13]

    Campana,Bogomolov decomposition and compact Kähler manifolds of algebraic dimen- sion zero, arXiv:2605.19713, 2026

    F. Campana,Bogomolov decomposition and compact Kähler manifolds of algebraic dimen- sion zero, arXiv:2605.19713, 2026

    2026 arXiv

  6. [14]

    Campana, J.-P

    F. Campana, J.-P. Demailly and M. Verbitsky,Compact Kähler3-manifolds without non- trivial subvarieties, Algebraic Geometry1(2014), no. 2, 131–139

    2014

  7. [15]

    Campana, A

    F. Campana, A. Höring and T. Peternell,Abundance for Kähler threefolds, Ann. Sci. Éc. Norm. Supér. (4)49(2016), no. 4, 971–1025

    2016

  8. [16]

    Campana, A

    F. Campana, A. Höring and T. Peternell,Erratum and addendum to the paper: Abundance for Kähler threefolds, arXiv:2304.10161, 2023

    2023 arXiv

  9. [17]

    Campana and T

    F. Campana and T. Peternell,Towards a Mori theory on compact Kähler threefolds. I, Math. Nachr.187(1997), 29–59

    1997

  10. [18]

    Campana and T

    F. Campana and T. Peternell,Holomorphic2-forms on complex threefolds, J. Algebraic Geom.9(2000), no. 2, 223–264

    2000

  11. [19]

    Campana and T

    F. Campana and T. Peternell,Appendix to the article of T. Peternell: the Kodaira dimen- sion of Kummer threefolds, Bull. Soc. Math. France129(2001), no. 3, 357–359

    2001

  12. [20]

    Cao and A

    J. Cao and A. Höring,Rational curves on compact Kähler manifolds, J. Differential Geom. 114(2020), no. 1, 1–39

    2020

  13. [21]

    Demailly,Multiplier ideal sheaves and analytic methods in algebraic geometry, in School on Vanishing Theorems and Effective Results in Algebraic Geometry, ICTP Lecture Notes, vol

    J.-P. Demailly,Multiplier ideal sheaves and analytic methods in algebraic geometry, in School on Vanishing Theorems and Effective Results in Algebraic Geometry, ICTP Lecture Notes, vol. 6, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2001, 1–148

    2001

  14. [22]

    Demailly,On the Frobenius integrability of certain holomorphicp-forms, inComplex Geometry, 93–98, Springer, 2002

    J.-P. Demailly,On the Frobenius integrability of certain holomorphicp-forms, inComplex Geometry, 93–98, Springer, 2002

    2002

  15. [23]

    Demailly, T

    J.-P. Demailly, T. Peternell and M. Schneider,Pseudo-effective line bundles on compact Kähler manifolds, Internat. J. Math.12(2001), no. 6, 689–741

    2001

  16. [24]

    Demailly,Regularization of closed positive currents and intersection theory, J

    J.-P. Demailly,Regularization of closed positive currents and intersection theory, J. Alge- braic Geom.1(1992), no. 3, 361–409

    1992

  17. [25]

    Demailly and M

    J.-P. Demailly and M. Păun,Numerical characterization of the Kähler cone of a compact Kähler manifold, Ann. of Math. (2)159(2004), no. 3, 1247–1274

    2004

  18. [26]

    Fischer and H

    W. Fischer and H. Grauert,Lokal-triviale Familien kompakter komplexer Mannig- faltigkeiten, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II1965, 89–94

  19. [27]

    Fulton,Intersection Theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebi- ete

    W. Fulton,Intersection Theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebi- ete. 3. Folge, vol. 2, Springer-Verlag, Berlin, 1998. 44

    1998

  20. [28]

    R. Godement,Topologie algébrique et théorie des faisceaux, Publications de l’Institut de Mathématique de l’Université de Strasbourg, XIII, Actualités Scientifiques et Industrielles, no. 1252, Hermann, Paris, 1958

    1958

  21. [29]

    Grauert and R

    H. Grauert and R. Remmert,Coherent Analytic Sheaves, Grundlehren der mathematischen Wissenschaften, vol. 265, Springer-Verlag, Berlin, 1984

    1984

  22. [30]

    Hartshorne,Stable reflexive sheaves, Math

    R. Hartshorne,Stable reflexive sheaves, Math. Ann.254(1980), 121–176

    1980

  23. [31]

    Höfer,Remarks on torus principal bundles, J

    T. Höfer,Remarks on torus principal bundles, J. Math. Kyoto Univ.33(1993), no. 1, 227–259

    1993

  24. [32]

    Höring and T

    A. Höring and T. Peternell,Minimal models for Kähler threefolds, Invent. Math.203 (2016), no. 1, 217–264

    2016

  25. [33]

    Höring, T

    A. Höring, T. Peternell and I. Radloff,Uniformisation in dimension four: towards a con- jecture of Iitaka, Math. Z.274(2013), no. 1–2, 483–497

    2013

  26. [34]

    Horikawa,On deformations of holomorphic maps

    E. Horikawa,On deformations of holomorphic maps. I, J. Math. Soc. Japan25(1973), no. 3, 372–396

    1973

  27. [35]

    Huybrechts,Complex Geometry: An Introduction, Universitext, Springer-Verlag, Berlin, 2005

    D. Huybrechts,Complex Geometry: An Introduction, Universitext, Springer-Verlag, Berlin, 2005

    2005

  28. [36]

    Kodaira,On Kähler varieties of restricted type, Ann

    K. Kodaira,On Kähler varieties of restricted type, Ann. of Math. (2)60(1954), no. 1, 28–48

    1954

  29. [37]

    Liu,The Miyaoka–Yau inequality on smooth minimal models, arXiv:2012.14096, 2020

    W. Liu,The Miyaoka–Yau inequality on smooth minimal models, arXiv:2012.14096, 2020

    2012 arXiv

  30. [38]

    Okonek, M

    C. Okonek, M. Schneider and H. Spindler,Vector Bundles on Complex Projective Spaces, Progress in Mathematics, vol. 3, Birkhäuser, Boston, 1980

    1980

  31. [39]

    Ou,A characterization of uniruled compact Kähler manifolds, arXiv:2501.18088, 2025

    W. Ou,A characterization of uniruled compact Kähler manifolds, arXiv:2501.18088, 2025

    2025 arXiv

  32. [40]

    J. V. Pereira, E. Rousseau and F. Touzet,Numerically nonspecial varieties, Compos. Math. 158(2022), no. 6, 1428–1447

    2022

  33. [41]

    Peternell,Towards a Mori theory on compact Kähler threefolds

    T. Peternell,Towards a Mori theory on compact Kähler threefolds. II, Math. Ann.311 (1998), 729–764

    1998

  34. [42]

    Peternell,Towards a Mori theory on compact Kähler threefolds

    T. Peternell,Towards a Mori theory on compact Kähler threefolds. III, Bull. Soc. Math. France129(2001), no. 3, 339–356

    2001

  35. [43]

    Pisya,Classification of poor manifolds in low dimensions, preprint, 2026

    V. Pisya,Classification of poor manifolds in low dimensions, preprint, 2026

    2026

  36. [44]

    The Stacks Project Authors,The Stacks Project, Tag 00NN: Regular local rings,https: //stacks.math.columbia.edu/tag/00NN

  37. [45]

    The Stacks Project Authors,The Stacks Project, Tag 065U: Regular rings and global di- mension,https://stacks.math.columbia.edu/tag/065U

  38. [46]

    The Stacks Project Authors,The Stacks Project, Tag 0AUY: Reflexive modules,https: //stacks.math.columbia.edu/tag/0AUY. 45

  39. [47]

    The Stacks Project Authors,The Stacks Project, Tag 0AVZ: Lemma 47.11.1,https:// stacks.math.columbia.edu/tag/0AVZ

  40. [48]

    F. Touzet,On the structure of codimension one foliations with pseudo-effective conormal bundle, inFoliation Theory in Algebraic Geometry, Simons Symposia, Springer, Cham, 2016, 157–216

    2016

  41. [49]

    Ueno,Classification Theory of Algebraic Varieties and Compact Complex Spaces, Lec- ture Notes in Mathematics, vol

    K. Ueno,Classification Theory of Algebraic Varieties and Compact Complex Spaces, Lec- ture Notes in Mathematics, vol. 439, Springer-Verlag, Berlin–New York, 1975

    1975

  42. [50]

    Verbitsky,Trianalytic subvarieties of the Hilbert scheme of points on a K3 surface, Geom

    M. Verbitsky,Trianalytic subvarieties of the Hilbert scheme of points on a K3 surface, Geom. Funct. Anal.8(1998), no. 4, 732–782

    1998

  43. [51]

    Voisin,Hodge Structures and Polarisations, Cambridge Studies in Advanced Mathemat- ics, Cambridge University Press, Cambridge, 2002

    C. Voisin,Hodge Structures and Polarisations, Cambridge Studies in Advanced Mathemat- ics, Cambridge University Press, Cambridge, 2002

    2002

  44. [52]

    Voisin,Hodge Theory and Complex Algebraic Geometry I, Cambridge Studies in Ad- vanced Mathematics, vol

    C. Voisin,Hodge Theory and Complex Algebraic Geometry I, Cambridge Studies in Ad- vanced Mathematics, vol. 76, Cambridge University Press, Cambridge, 2002. Pisya Vikash Department of Mathematics The Pennsylvania State University Email address:pmv5172@psu.edu. 46

    2002

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.