REVIEW 3 major objections 4 minor 32 references
Deformations and BBF form on non-Kahler holomorphically symplectic manifolds
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that Bogomolov-Guan manifolds, despite being non-Kähler, behave like hyperkähler manifolds: their holomorphically symplectic deformations are unobstructed, their period map is locally a diffeomorphism, and their second…
desk verdict A real deformation-theoretic advance for non-Kähler holomorphically symplectic manifolds, with the advertised BBF form resting on a false algebraic proposition as stated; the gap is fixable but load-bearing. 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 argument runs on two mechanisms. First, a holomorphically symplectic version of the Tian-Todorov lemma: using the symplectic form Ω to identify vector-valued (0,1)-forms with (1,1)-forms, the Schouten bracket becomes [a,b]=δ(a∧b)-(δa)∧b-(-1)^{|a|}a∧δb with δ=[Λ_Ω,∂], so each Maurer-Cartan obstruction is expressed as a ∂-exact term. Under the cohomological hypotheses of Theorem 3.9 those obstructions vanish, giving unobstructedness of holomorphically symplectic deformations. Second, an algebraic proposition (Proposition 4.4): a polynomial Q invariant under a Lie group that rotates an open family of 2-planes in $H^{2}$(M,R) and fixes their complements must be proportional to q(η,η)^n for a quadratic form q. The paper obtains this open family of 2-planes from Corollary 3.12, which shows that the period map's image is open in the Grassmannian Gr(2,$H^{2}$(M,R)).
What would settle it
Compute ∫_Q $η^{{2n}}$ for a spanning set of classes η in $H^{2}$ of a Bogomolov-Guan manifold: if no symmetric bilinear form q satisfies ∫_Q $η^{{2n}}$=λq(η,η)^n for all η, or equivalently the polarized multi-linear Fujiki identity fails, then Theorem 4.3 is false. A simpler algebraic check would be to exhibit a polynomial on $R^{4}$ invariant under rotations on an open set of 2-planes that is not proportional to a power of a quadratic form.
Extended reading notes
Core claim
The central claim is Theorem 4.3: for a compact holomorphically symplectic manifold M of complex dimension 2n with Hodge decomposition on $H^{2}$(M), no ∂-exact holomorphic 3-forms, and $H^{{0,2}}$(M)=$H^{{2,0}}$(M)=C, there exists a symmetric bilinear form q on $H^{2}$(M) and a fixed constant λ such that ∫_M $η^{{2n}}$=λq(η,η)^n for every η∈$H^{2}$(M). Applied to a Bogomolov-Guan manifold Q, this gives a Beauville-Bogomolov-Fujiki form with λ=1, a smooth Kuranishi deformation space, and a period map that is a local diffeomorphism; all sufficiently small complex deformations of Q are again holomorphically symplectic. The paper thus claims that these non-Kähler manifolds reproduce two signature features of hyperkähler geometry: unobstructed deformations governed by a period map, and a quadratic form controlling top cup products of two-dimensional cohomology classes.
Load-bearing premise
The load-bearing premise is the algebraic lemma that a polynomial invariant under rotations on an open family of 2-planes must be the nth power of a quadratic form; the proof assumes the nth root is a well-defined polynomial on the whole space, and that step is only sketched.
Editorial extensions
If this is right
- Bogomolov-Guan manifolds have unobstructed holomorphically symplectic deformations, with the period map locally a diffeomorphism.
- Every sufficiently small complex deformation of a Bogomolov-Guan manifold remains holomorphically symplectic.
- The Fujiki formula ∫_Q η^{2n}=q(η,η)^n holds, so one quadratic form controls all top self-intersections of degree-2 classes.
- Polarizing the Fujiki formula expresses every integral of a product of 2n classes from H^2 in terms of q, exactly as in the hyperkähler case.
- The image of the period map is open in the Grassmannian of 2-planes in H^2(Q,R), making the local period domain explicit.
Reading between the lines
- The same cohomological hypotheses single out a general class: any compact holomorphically symplectic manifold satisfying them would inherit a Beauville-Bogomolov-Fujiki form, so the result is not tied to the details of the Bogomolov-Guan construction.
- If the conjectured non-degeneracy of q holds, the local period map would give the moduli space a natural analytic structure with a period domain of dimension b_2-2, close to the hyperkähler Teichmüller picture.
- A direct algebraic test of Proposition 4.4 could settle the paper's most delicate step independently of geometry: finding any G-invariant polynomial that is an nth power of a quadratic form on every plane in an open set but not globally would show the theorem needs repair.
- Guan's original nilmanifold-based examples could be checked against the same Fujiki formula; the paper treats Bogomolov's Hilbert-scheme construction, so the scope across all known non-Kähler holomorphically symplectic examples is not fully pinned down.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies compact non-Kähler holomorphically symplectic manifolds, focusing on Bogomolov–Guan (BG) manifolds. It proves unobstructedness of holomorphically symplectic deformations under hypotheses that hold for BG manifolds, establishes a local Torelli statement, and then uses the resulting openness of the period map to derive a Fujiki-type formula and a Beauville–Bogomolov–Fujiki (BBF) form on H^2 for a class of non-Kähler holomorphically symplectic manifolds (Theorem 4.3). Applied to BG manifolds, this yields a smooth deformation space and a BBF form (Corollary 5.10). The deformation-theoretic part largely follows and adapts the Kaledin–Verbitsky framework, while the BBF-form part relies on a new algebraic proposition about polynomial invariants of Lie groups.
Significance. If the proof of Proposition 4.4 can be completed, the paper gives a meaningful extension of hyperkähler deformation theory and of the Beauville–Bogomolov–Fujiki formalism to non-Kähler holomorphically symplectic manifolds. The deformation argument is mostly self-contained and follows the well-established [KV] approach; the BBF form is derived from the period map and the algebraic lemma rather than obtained by fitting constants, which is a genuine virtue. The main risk to the central claim is the algebraic invariant-theory lemma, whose proof as written is incomplete.
major comments (3)
- [§4.2, Proposition 4.4] Proposition 4.4 is false as stated. Take V=R^3, G=SO(3) with the standard representation, S=Gr(2,V), and Q(x)=||x||^4+||x||^2. For each P in S the subgroup of rotations about the normal axis acts by rotations on P and trivially on V/P, so the hypotheses hold, but Q is not proportional to q^n for any quadratic form q. The missing hypothesis is that Q is homogeneous of degree 2n, and the proposition also never defines n. Since Theorem 4.3 applies the proposition to Q(η)=∫_M η^{2n}, which is homogeneous of degree 2n, the statement is repairable by adding this hypothesis, but as written it is false.
- [§4.2, proof of Proposition 4.4] The proof of the homogeneous case is also incomplete. The assertion that any rotation-invariant polynomial on R^2 is a power of a quadratic form is only true for homogeneous polynomials. The function q:=n-th root of ±Q is not shown to be well defined: for even n the sign requires a global choice on the whole set US, the behavior at points where Q=0 is not analyzed, and no argument is given that the plane-by-plane quadratic functions q|_P glue to a single quadratic polynomial on V. The step 'this function is real algebraic, hence by analytic continuation d^2/dxdy q=0 everywhere' is not justified, because q is only defined on US and, for even n, only up to sign, not on V, and its regularity at Q=0 is not established. The possible variation of the constant λ(P) from plane to plane is precisely what must be controlled, and the proof does not address it.
- [§4.1, proof of Theorem 4.3] The first sentence of the proof asserts that after shrinking U all complex structures I in U satisfy the assumptions of Theorem 4.3. This is not automatic for non-Kähler deformations: it is not shown that Hodge decomposition on H^2, the equality h^{2,0}=h^{0,2}=1, or the vanishing of ∂-exact holomorphic 3-forms are open conditions in the holomorphically symplectic deformation space. In particular, Corollary 3.12 says the period map to Gr(2,H^2) has open image, but it does not by itself imply h^{2,0}(I)=1 for every nearby I; without that, the associated Hodge rotation ρ_I does not act trivially on V/P, and the hypotheses of Proposition 4.4 are not satisfied.
minor comments (4)
- [References] The reference key [G] is used for two different papers, one by P. Gauduchon and one by É. Ghys; these should have distinct keys.
- [§2.4 and §5.2] There are typos such as 'Clealry' in Claim 2.18, 'characterstic' in Section 5.2, and 'impliying' in the proof of Corollary 3.12.
- [Diagram (2.2)] The commutative diagram in (2.2) is difficult to parse; a clearer layout would help the reader follow the construction of the Bogomolov–Guan manifold.
- [Corollary 3.12] The differential of the period map to the Grassmannian is described only verbally; writing out the tangent map would make the openness argument easier to verify.
Circularity Check
No significant circularity: the BBF form is obtained from deformation-theoretic openness plus an invariant-polynomial lemma, not fitted by construction.
full rationale
The claimed derivation chain is: Theorem 3.9 proves unobstructedness of holomorphically symplectic deformations; Corollary 3.12 converts this into openness of the period map in the real 2-plane Grassmannian; Theorem 4.3 then uses Proposition 4.4 to conclude that the G-invariant homogeneous polynomial Q(eta)=∫eta^{2n} is proportional to q(eta,eta)^n for a quadratic form q; Corollary 5.10 applies this to Bogomolov-Guan manifolds. At no point is q introduced as a fitted or constructed input: q is the output of the invariant-polynomial lemma, and the Fujiki relation is the theorem's conclusion, not an assumption. The only self-citation that plays any structural role is [KV], co-authored by Verbitsky, for the period-map/formal-deformation framework; however, the present paper gives its own proof of Theorem 3.9 rather than merely importing the result, and [KV] is a published prior theorem with independent standing. No equation in the paper reduces by definition to another equation, and no fitted parameter is renamed as a prediction. The skeptic's objection to Proposition 4.4 is a correctness concern: the n-th-root and analytic-continuation step in Section 4.2 is indeed not fully justified, and the proposition may be false without homogeneity or additional hypotheses. But a gap or invalid lemma is not circularity; it does not make the theorem equivalent to its inputs by construction. Therefore the paper has no significant circularity, with only a minor non-load-bearing self-citation.
Assumptions & free parameters
assumptions (3)
- domain assumption The Bogomolov-Guan manifold Q exists as a smooth order n^2 covering of the leaf space W with the stated properties.
- domain assumption Guan's theorem gives Hodge decomposition on H^2(Q) for Bogomolov-Guan manifolds.
- standard math The cohomology ring of the Hilbert scheme S[n] is generated by pullbacks of the forms Ω and θ with relations as described in Proposition 5.7.
Cite this review
Pith. "Pith review of Deformations and BBF form on non-Kahler holomorphically symplectic manifolds." pith.science (2026). https://pith.science/paper/5ISTQUFD
@misc{pith2026190805258,
author = {Pith},
title = {Pith review of: Deformations and BBF form on non-Kahler holomorphically symplectic manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/5ISTQUFD}},
note = {Machine review of arXiv:1908.05258}
}
abstract
In 1995, Dan Guan constructed examples of non-Kahler, simply-connected holomorphically symplectic manifolds. An alternative construction, using the Hilbert scheme of Kodaira-Thurston surface, was given by F. Bogomolov. We investigate topology and deformation theory of Bogomolov-Guan manifolds and show that it is similar to that of hyperkahler manifolds. We prove the local Torelli theorem, showing that holomorphically symplectic deformations of BG-manifolds are unobstructed, and the corresponding period map is locally a diffeomorphism. Using the local Torelli theorem, we prove the Fujiki formula for a BG-manifold $M$, showing that there exists a symmetric form q on the second cohomology such that for any $w\in H^2(M)$ one has $\int_M w^{2n}=q(w,w)^n$. This form is a non-Kahler version of the Beauville-Bogomolov-Fujiki form known in hyperkahler geometry.
Reference graph
Works this paper leans on
-
[1]
L. C. de Andr\'es, M. Fern\'andez, J. Menc\`ia, Curvature and complex geometry on the Kodaira-Thurston manifold , Proceedings of the Workshop on Curvature Geometry (Lancaster, 1989), 95-105, ULDM Publ., Lancaster, 1989
work page 1989
-
[2]
D. Angella, Cohomological Aspects in Complex Non-K\"ahler Geometry , Lecture Notes in Mathematics 2095, Springer, 2014
work page 2014
- [3]
- [4]
-
[5]
S. Barannikov, M. Kontsevich, Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields , Int. Math. Res. Not., 1998 , no. 4, pp. 201--215
work page 1998
- [6]
-
[7]
Beauville, Varietes K\"ahleriennes dont la premi\`ere classe de Chern est nulle
A. Beauville, Varietes K\"ahleriennes dont la premi\`ere classe de Chern est nulle. , J. Diff. Geom., 18 (1983), pp. 755 -- 782
work page 1983
-
[8]
F. A. Bogomolov, On the decomposition of K\"ahler manifolds with trivial canonical class , Math. USSR-Sb., 22 (1974), pp. 580 -- 583
work page 1974
Show all 32 references
-
[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
-
[10]
Bogomolov, Hamiltonian K\"ahler manifolds , Dokl
F. Bogomolov, Hamiltonian K\"ahler manifolds , Dokl. Akad. Nauk SSSR 243 (1978), 1101--1104; Soviet Math. Dokl., 19, (1979), 1462--1465
1978
-
[11]
Gauduchon, La 1-forme de torsion d'une variete hermitienne compacte , Math.Ann., 1984
P. Gauduchon, La 1-forme de torsion d'une variete hermitienne compacte , Math.Ann., 1984
1984
-
[12]
Guan, Examples of compact holomorphic symplectic manifolds which admit no K\"ahler structure , Geometry and Analisys on Complex Manifolds—Festschrift for Professor Kobayashi S
D. Guan, Examples of compact holomorphic symplectic manifolds which admit no K\"ahler structure , Geometry and Analisys on Complex Manifolds—Festschrift for Professor Kobayashi S. 60th Birthday, World Scientific, Teaneck, NJ, 1994, pp. 63–74
1994
-
[13]
Guan, Examples of compact holomorphic symplectic manifolds which are not Kahlerian II , Invent
D. Guan, Examples of compact holomorphic symplectic manifolds which are not Kahlerian II , Invent. math., 121.1 (1995), pp. 135--146
1995
-
[14]
Guan, Examples of compact holomorphic symplectic manifolds which are not Kahlerian III , Int
D. Guan, Examples of compact holomorphic symplectic manifolds which are not Kahlerian III , Int. J. Math., 06, 5, pp. 709 -- 718 (1995)
1995
-
[15]
Calabi, Metriques k\"ahleriennes et fibr\`es holomorphes , Ann
E. Calabi, Metriques k\"ahleriennes et fibr\`es holomorphes , Ann. Ecol. Norm. Sup., 12 (1979), pp. 269--294
1979
-
[16]
Fujiki On the de Rham Cohomology Group of a Compact K\"ahler Symplectic Manifold , Adv
A. Fujiki On the de Rham Cohomology Group of a Compact K\"ahler Symplectic Manifold , Adv. Stud. Pure Math., 10 (1987), pp. 105--165
1987
-
[17]
Ghys, D\'eformations des structures complexes sur les espaces homog\`enes de SL(2,C), J
\'E. Ghys, D\'eformations des structures complexes sur les espaces homog\`enes de SL(2,C), J. Reine Angew. Math., 468 (1995), 113--138
1995
-
[18]
Iacono, On the abstract Bogomolov-Tian-Todorov Theorem , Rend
D. Iacono, On the abstract Bogomolov-Tian-Todorov Theorem , Rend. Mat. Appl. (7). Volume 38, (2017), pp. 175 -- 198
2017
-
[19]
Kaledin, M
D. Kaledin, M. Verbitsky Period map for non-compact holomorphically symplectic manifolds , GAFA, 12 (2002), no. 6, pp. 1265--1295
2002
-
[20]
Kirschner, Period mappings with applications to symplectic complex spaces, v
T. Kirschner, Period mappings with applications to symplectic complex spaces, v. 2140 of Lecture Notes in Mathematics, Springer, Cham, 2015
2015
-
[21]
On the structure of compact complex analytic surfaces
Kodaira, K. On the structure of compact complex analytic surfaces. I, Amer. J. Math. 86 (1964), 751-798
1964
-
[22]
Kontsevich, Topics in algebra: deformation theory , notes by Alan Weinstein, http://www1.mat.uniroma1.it/people/manetti/DT2011/Kontsevich.pdf
M. Kontsevich, Topics in algebra: deformation theory , notes by Alan Weinstein, http://www1.mat.uniroma1.it/people/manetti/DT2011/Kontsevich.pdf
-
[23]
de Le\'on, Sur une conjecture de Thurston, C
M. de Le\'on, Sur une conjecture de Thurston, C. R. Acad. Sci. Paris S'er. I Math. 301 (1985), no. 16, 771
1985
-
[24]
W. Li, Z. Qin, Q. Zhang, On the geometry of the Hilbert schemes of points in the projective plane , ArXiv: 0105213
-
[25]
Namikawa, On deformations of Q-factorial symplectic varieties , J
Y. Namikawa, On deformations of Q-factorial symplectic varieties , J. Reine Angew. Math. (Crelle Journ.), 599 (2006), pp. 97--110
2006
-
[26]
Namikawa
Y. Namikawa. Extension of 2-forms and symplectic varieties , J. Reine Angew. Math., 539 (2001), pp. 123--147
2001
-
[27]
Thurston, Some simple examples of symplectic manifolds , Proc
W. Thurston, Some simple examples of symplectic manifolds , Proc. Amer. Math. Soc. 55 (1976) 467-468
1976
-
[28]
Tian, Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric , in Math
G. Tian, Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric , in Math. Aspects of String Theory , S.-T. Yau, ed., Worlds Scientific, 1987, pp. 629--646
1987
-
[29]
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
-
[30]
Todorov, The Weil-Petersson geometry of the moduli space of SU(n 3) (Calabi-Yau) manifolds , Comm
A. Todorov, The Weil-Petersson geometry of the moduli space of SU(n 3) (Calabi-Yau) manifolds , Comm. Math. Phys., 126 (1989), pp. 325--346
1989
-
[31]
Verbitsky, Mirror Symmetry for hyperk\"ahler manifolds, alg-geom/9512195, Mirror symmetry, III (Montreal, PQ, 1995), pp
M. Verbitsky, Mirror Symmetry for hyperk\"ahler manifolds, alg-geom/9512195, Mirror symmetry, III (Montreal, PQ, 1995), pp. 115--156, AMS/IP Stud. Adv. Math., 10, Amer. Math. Soc., Providence, RI, 1999
1995
-
[32]
Yau, On the Ricci curvature of a compact K\"ahler manifold and the complex Monge-Amp\`ere equation I
S.T. Yau, On the Ricci curvature of a compact K\"ahler manifold and the complex Monge-Amp\`ere equation I. Comm. on Pure and Appl. Math., 31, pp. 339--411 (1978)
1978
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.