Pith. sign in

REVIEW 2 minor 35 references

Projective subvarieties of Bogomolov-Guan manifolds and quasi-diagonals in products of elliptic curves

T0 review · 0 major / 2 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read In a general Bogomolov-Guan manifold, every projective subvariety is contained in a fiber of the Lagrangian fibration.

desk verdict The paper defines quasi-diagonals on E squared to classify Moishezon subvarieties of Bogomolov-Guan manifolds and concludes that projective ones lie in the fibers for a general such manifold. read the letter →

arxiv 2606.08599 v1 pith:IILICSBJ submitted 2026-06-07 math.AG math.CVmath.DG

Leila Abubakarova , Alexandra Kuznetsova , Misha Verbitsky This is my paper · ORCID
classification math.AGmath.CVmath.DG
keywords Bogomolov-Guanmanifoldsquasi-diagonalsLagrangianfibrationMoishezonsubvarietiesprojectiveellipticcurvesnon-Kahlerholomorphicsymplectic
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 defines quasi-diagonals as curves S in E squared where the line bundle p1 star L tensor p2 star L inverse is torsion, and proves there are at most countably many such curves. These objects classify the images under the Lagrangian fibration that allow a subvariety Z in the Bogomolov-Guan manifold to be Moishezon. The resulting criterion implies that for general such manifolds any projective subvariety must lie inside a fiber of pi.

What carries the argument

Quasi-diagonals on E squared, defined by the torsion condition on p1 star L tensor p2 star L inverse, which determine the allowable images under the Lagrangian fibration pi that make subvarieties Moishezon.

What would settle it

Finding a projective irreducible subvariety Z in a general Bogomolov-Guan manifold such that pi(Z) is neither a point nor a quasi-diagonal curve would falsify the claim.

Watch

Extended reading notes

Core claim

An irreducible complex subvariety Z subset X is Moishezon if and only if pi(Z) is a point or a certain complex curve described in terms of quasi-diagonals. This is used to prove that for a general Bogomolov-Guan manifold, any projective subvariety belongs to a fiber of pi.

Load-bearing premise

The Bogomolov-Guan manifold admits a Lagrangian fibration pi whose fibers allow the Moishezon criterion to depend only on the image pi(Z) and the quasi-diagonals.

Editorial extensions

If this is right

  • There are at most countably many quasi-diagonals for any fixed elliptic curve E and ample line bundle L.
  • The Moishezon property of Z is determined solely by whether pi(Z) is a point or a quasi-diagonal curve.
  • In a general Bogomolov-Guan manifold, every projective subvariety is contained inside some fiber of pi.

Reading between the lines

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

  • Projective geometry inside these manifolds is confined to the individual fibers.
  • Quasi-diagonals may mark the only directions in which algebraic subvarieties can extend across the base.
  • The countability of quasi-diagonals suggests that special subvarieties form a discrete set relative to the fibration.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper defines a quasi-diagonal in E² (E elliptic curve, L ample) as a curve S such that p₁^*L ⊗ p₂^*L^{-1} is torsion. It proves there are at most countably many quasi-diagonals. For a Bogomolov-Guan manifold X equipped with Lagrangian fibration π: X → ℂP^n, an irreducible subvariety Z ⊂ X is Moishezon if and only if π(Z) is a point or a curve described via quasi-diagonals; this implies that for general X any projective subvariety lies in a fiber of π.

Significance. If the results hold, the countability of quasi-diagonals supplies a genericity mechanism that yields a clean classification of projective subvarieties in these non-Kähler holomorphically symplectic manifolds. The work introduces a new technical notion and applies it to a concrete geometric question, potentially useful for further study of algebraic cycles on Bogomolov-Guan manifolds.

minor comments (2)
  1. The abstract states the Moishezon criterion in terms of π(Z) and quasi-diagonals but the introduction should include a brief reminder of the definition of Moishezon variety and how it interacts with the fibration π.
  2. Notation for the projections p₁, p₂ and the line bundle L should be fixed consistently in the first section where quasi-diagonals are defined.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation of minor revision. No specific major comments appear in the report, so we have no point-by-point responses to provide. We will make any appropriate minor revisions in the next version of the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper defines quasi-diagonals independently via the torsion condition on p1^*L ⊗ p2^*L^{-1}, proves their countability for any (E,L), then derives the Moishezon criterion for Z in terms of π(Z) and those quasi-diagonals, and deduces the fiber-membership statement for general X. All steps rest on the new definition and the stated countability result rather than on any fitted parameter, self-citation chain, or renaming of prior results. The derivation chain is self-contained against external benchmarks.

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

Only the abstract is available; no explicit free parameters, axioms, or invented entities are identifiable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Projective subvarieties of Bogomolov-Guan manifolds and quasi-diagonals in products of elliptic curves." pith.science (2026). https://pith.science/paper/IILICSBJ

@misc{pith2026260608599,
  author       = {Pith},
  title        = {Pith review of: Projective subvarieties of Bogomolov-Guan manifolds and quasi-diagonals in products of elliptic curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IILICSBJ}},
  note         = {Machine review of arXiv:2606.08599}
}
abstract

We study complex subvarieties in certain non-Kahler holomorphically symplectic manifolds $X$, called the Bogomolov-Guan manifolds. Let $E$ be an elliptic curve, $L$ an ample line bundle on $E$, $S\subset E^2$ a complex curve, and $p_1, p_2$ the corresponding projections of $S$ to $E$. The curve $S$ is called a quasi-diagonal if $p_1^*L\otimes p_2^* L^{-1}$ is a torsion line bundle. We show that there are at most countably many quasi-diagonals for any $(E,L)$. Using the quasi-diagonals, we classify the projective subvarieties in the Bogomolov-Guan manifold. The Bogomolov-Guan manifold is equipped with a Lagrangian fibration $\pi:\; X \to {\Bbb C} P^n$. We show that an irreducible complex subvariety $Z\subset X$ is Moishezon if and only if $\pi(Z)$ is a point or a certain complex curve which is described in terms of quasi-diagonals. This is used to prove that for a general Bogomolov-Guan manifold, any projective subvariety belongs to a fiber of $\pi$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 3 canonical work pages

  1. [1]

    2024 (5), pp

    Renat Abugaliev, Characteristic Foliation on Hypersurfaces With Positive Beauville-Bogomolov-Fujiki Square , IMRN vol. 2024 (5), pp. 3690-3705

    2024

  2. [2]

    Amerik and F

    E. Amerik and F. Campana, Characteristic foliation on non-uniruled smooth divisors on projective hyperkaehler manifolds, Journal of the London Mathematical Society 95 2 (2017), 115-127

    2017

  3. [3]

    Amerik, L

    E. Amerik, L. Guseva, On the characteristic foliation on a smooth hypersurface in a holomorphic symplectic fourfold, Moscow Mathematical Journal, 2018, Volume 18, Number 2, Pages 193-204

    2018

  4. [4]

    Anella, Fabrizio; Huybrechts, Daniel, Characteristic foliations - a survey , Bull. Lond. Math. Soc. 56 (2024), no. 7, 2231-2249

    2024

  5. [5]

    Barlet, J

    D. Barlet, J. Magn\'usson, Complex analytic cycles. I--basic results on complex geometry and foundations for the study of cycles , Grundlehren Math. Wiss., 356, Springer, 2019

    2019

  6. [6]

    Vari\'et\'es K\"ahleriennes dont la premi\`ere classe de Chern est nulle

    Beauville, A. Vari\'et\'es K\"ahleriennes dont la premi\`ere classe de Chern est nulle. J. Diff. Geom. 18 , pp. 755-782 (1983)

    1983

  7. [7]

    el Bella\

    Jo\"el Bella\"iche, On self-correspondences on curves , Algebra Number Theory 17, no. 11, 1867--1899, 2023

    2023

  8. [8]

    Blanchard, Sur les vari\'et\'es analytiques complexes , Ann

    A. Blanchard, Sur les vari\'et\'es analytiques complexes , Ann. Sci. \'Ecole Norm. Sup. 73 , no. 3 (1956), 157-202

    1956

Show all 35 references
  1. [9]

    Bogomolov, On Guan's examples of simply connected non-K\"ahler compact complex manifolds , Amer

    F. Bogomolov, On Guan's examples of simply connected non-K\"ahler compact complex manifolds , Amer. Journ. of Math., 118, Number 5 (1996), pp. 1037--1046

    1996

  2. [10]

    12302-12341

    Fedor Bogomolov, Nikon Kurnosov, Alexandra Kuznetsova, Egor Yasinsky, Geometry and Automorphisms of Non-K\"ahler Holomorphic Symplectic Manifolds, IMRN 2022 (16), pp. 12302-12341

    2022

  3. [11]

    Campana F., Coreduction algebraique d'un espace analytique faiblement K\"ahlerian compact , Invent. Math. (1981) 63 , pp. 187-223

    1981

  4. [12]

    Campana, F., Peternell, T. (1994). Cycle Spaces. In: Grauert, H., Peternell, T., Remmert, R. (eds) Several Complex Variables VII. Encyclopaedia of Mathematical Sciences, vol 74. Springer, Berlin, Heidelberg

    1994

  5. [13]

    de Cataldo, M. A. A., Migliorini, L., The Douady space of a complex surface , Adv. Math. 151 (2000), no. 2, pp. 283--312

    2000

  6. [14]

    Corwin, F

    L. Corwin, F. P. Greenleaf, Representations of Nilpotent Lie Groups and Their Applications. Part I, Basic Theory and Examples, Cambridge Univ. Press, Cambridge, UK, 1990

    1990

  7. [15]

    Fischer, H

    W. Fischer, H. Grauert, Lokal-triviale familien kompakter komplexer Mannigfaltigkeiten, Nachr. Akad. Wiss. Goettingen II, Math. Phys. Kl (1965), 89--94

    1965

  8. [16]

    Gauduchon, La 1-forme de torsion d'une vari\'et\'e hermitienne compacte , Math

    P. Gauduchon, La 1-forme de torsion d'une vari\'et\'e hermitienne compacte , Math. Ann., 267 (1984), 495--518

    1984

  9. [17]

    Gilbarg, N

    D. Gilbarg, N. S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer-Verlag, 1983

    1983

  10. [18]

    Guan, Examples of compact holomorphic symplectic manifolds which admit no K\"ahler structure , Geometry and Analysis on Complex Manifolds Festschrift for Professor Kobayashi S

    D. Guan, Examples of compact holomorphic symplectic manifolds which admit no K\"ahler structure , Geometry and Analysis on Complex Manifolds Festschrift for Professor Kobayashi S. 60th Birthday, World Scientific, Teaneck, NJ, 1994, pp. 63-74

    1994

  11. [19]

    Guan, Examples of compact holomorphic symplectic manifolds which are not K\"ahlerian II , Invent

    D. Guan, Examples of compact holomorphic symplectic manifolds which are not K\"ahlerian II , Invent. math., 121.1 (1995), pp. 135--146

    1995

  12. [20]

    Guan, Examples of compact holomorphic symplectic manifolds which are not K\"ahlerian III , Int

    D. Guan, Examples of compact holomorphic symplectic manifolds which are not K\"ahlerian III , Int. J. Math., 06, 5, pp. 709 -- 718 (1995)

    1995

  13. [21]

    Hasegawa, Complex and K\"ahler structures on compact solvmanifolds, J

    K. Hasegawa, Complex and K\"ahler structures on compact solvmanifolds, J. Symplectic Geom., Vol. 3, No. 4, 2005

    2005

  14. [22]

    H\"ofer, Thomas, Remarks on torus principal bundles , J. Math. Kyoto Univ. 33 (1993), no. 1, 227--259

    1993

  15. [23]

    Koll\' a r, J\' a nos, Rational curves on algebraic varieties , Springer-Verlag, Berlin, 1996

    1996

  16. [24]

    Nikon Kurnosov, Misha Verbitsky, Deformations and BBF-form of non-K\"ahler irreducible holomorphically symplectic manifolds , arXiv:1908.05258, 2019

    1908

  17. [25]

    J.\ Magn\'usson, Lectures on Cycle Spaces, Schriftenreihe des Graduiertenkollegs Geometrie und Mathematische Physik, 2005

    2005

  18. [26]

    I., On a class of homogeneous spaces, Izv

    Maltsev, A. I., On a class of homogeneous spaces, Izv. Akad. Nauk. Armyan. SSSR Ser. Mat. 13 (1949), 201-212

    1949

  19. [27]

    Nakajima, Lectures on Hilbert schemes of points on surfaces , Providence: American Mathematical Society, 1999

    H. Nakajima, Lectures on Hilbert schemes of points on surfaces , Providence: American Mathematical Society, 1999

    1999

  20. [28]

    ahler Geometry , Birkh\

    Ornea, L., Verbitsky, M., Principles of Locally Conformally K\"ahler Geometry , Birkh\"auser Progress in Mathematics 354, arXiv:2208.07188

  21. [29]

    Ornea and M

    L. Ornea and M. Verbitsky. Oeljeklaus-Toma manifolds admitting no complex subvarieties . Math. Res. Lett. 18 (2011), no. 4, 747--754

    2011

  22. [30]

    Liviu Ornea, Misha Verbitsky, Victor Vuletescu Flat affine subvarieties in Oeljeklaus-Toma manifolds , Mathematische Zeitschrift, volume 292, pages 839-847 (2019)

    2019

  23. [31]

    Taras Panov, Yury Ustinovskiy, Misha Verbitsky, Complex geometry of moment-angle manifolds , Mathematische Zeitschrift, 2016, Volume 284, Issue 1, Pages 309-333

    2016

  24. [32]

    Todorov Every holomorphic symplectic manifold admits a K\"ahler metric , MPIM preprint 1985-43, https://www.mpim-bonn.mpg.de/preblob/5418

    A. Todorov Every holomorphic symplectic manifold admits a K\"ahler metric , MPIM preprint 1985-43, https://www.mpim-bonn.mpg.de/preblob/5418

    1985

  25. [33]

    Misha Verbitsky, Pseudoholomorphic curves on nearly K\"ahler manifolds , arXiv:1208.6321, Communications in Mathematical Physics, June 2013, DOI 10.1007/s00220-013-1751-9

    2013 doi arXiv

  26. [34]

    Misha Verbitsky, Rational curves and special metrics on twistor spaces , Geom. Topol. 18 (2014), no. 2, 897--909

    2014

  27. [35]

    Press, Cambridge, 2002

    Voisin, C., Hodge theory and complex algebraic geometry I , Cambridge Univ. Press, Cambridge, 2002

    2002

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.