REVIEW 1 major objections 6 minor 17 references
On the Anti-Invariant Cohomology of Almost Complex Manifolds
T0 review · 1 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper constructs almost complex structures whose spaces of closed anti-invariant 2-forms range from infinite-dimensional to zero-dimensional on R^4, and maximal or arbitrarily large on compact manifolds.
desk verdict Two open questions in anti-invariant cohomology answered by elementary explicit constructions; the paper is correct and worth a serious referee. 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 machine that drives the noncompact examples is the family $J_f$ on $\mathbb{C}^2$, defined by twisting the standard complex structure through an angle controlled by a smooth function $f$; a $J$-anti-invariant form is a real 2-form $\alpha$ satisfying $\alpha(JX,JY) = -\alpha(X,Y)$. In the global coframe attached to $J_f$, every anti-invariant 2-form is $a\beta + b\gamma$, and closedness is equivalent to a linear system of PDEs in $a,b$, rewritten as a perturbed Cauchy-Riemann equation for $w = a - ib$. Choosing $f$ switches this PDE from a regime admitting infinitely many independent exponential solutions ($f = x_2$) to a regime where harmonic-function arguments force $a = 0$ and $b$ constant (compactly supported $f$). In the compact arguments the load-bearing identity is the inequality $h^-_J(M) \leq b_+(M)$ for compact almost complex 4-manifolds, matched with two explicit closed forms $\theta_1$ and $e^{\lambda(x_4)}\theta_2$ on the Kodaira-Thurston manifold, and the product structure on $\Sigma_g \times \Sigma_g \times \mathbb{T}^2$ for the large-dimensional examples.
What would settle it
On the Kodaira-Thurston manifold with $J_{\lambda,\mu}$, compute the de Rham cohomology classes of $\theta_1$ and $e^{\lambda(x_4)}\theta_2$; if these two classes are linearly dependent, the argument for $h^-_J = 2$ would need a third independent closed anti-invariant form to reach dimension 2, and the asserted maximality would fail without one. Alternatively, for any compactly supported $f$, solve the PDE system (7) and look for a nonzero solution $a$; the proof of Theorem 3.8 asserts $a = 0$, so a single nonzero solution would disprove that theorem.
Extended reading notes
Core claim
The central discovery is that the size of the space of closed $J$-anti-invariant 2-forms is governed by the global behavior of a function $f$ used to define the almost complex structure, not merely by integrability. For the explicit family $J_f$ on $\mathbb{C}^2$, closed anti-invariant forms correspond to solutions of a linear PDE system; choosing $f(x_1,x_2,y_1,y_2) = x_2$ yields infinitely many linearly independent exponential solutions, giving an infinite-dimensional space, while choosing $f$ with compact support forces the coefficient $a$ to vanish and leaves only constant multiples of one form, giving $h^-_{J_f} = 1$; a glueing construction then gives $h^-_{J} = 0$. On compact manifolds the paper proves that the Kodaira-Thurston manifold carries non-integrable almost complex structures with $h^-_J = 2$, the maximum allowed by the bound $h^-_J \leq b_+$, and that products $\Sigma_g \times \Sigma_g \times \mathbb{T}^2$ carry non-integrable structures with $h^-_J \geq 2g^2$, so the anti-invariant cohomology can be made arbitrarily large in dimension six.
Load-bearing premise
The load-bearing premise is an external inequality stating that in dimension four the anti-invariant cohomology cannot exceed the number of self-dual harmonic 2-forms; the maximality result for the Kodaira-Thurston manifold collapses to a lower bound if that inequality is false.
Editorial extensions
If this is right
- On $\mathbb{R}^4$, non-integrable almost complex structures can admit infinitely many linearly independent closed $J$-anti-invariant forms, so the finiteness of $Z^-_J$ on compact manifolds does not extend to the noncompact setting.
- A compactly supported perturbation of the standard complex structure on $\mathbb{C}^2$ can cut the space of closed anti-invariant forms from infinite-dimensional to exactly one-dimensional, supporting the picture that anti-invariant forms typically vanish under non-integrable perturbation.
- The Kodaira-Thurston manifold carries non-integrable almost complex structures with $h^-_J = 2$, giving an affirmative answer to the question whether the previously known family of examples with $h^-_J = 2$ is exhaustive.
- In dimension six there are compact non-integrable almost complex manifolds with $h^-_J \geq 2g^2$, so the four-dimensional maximality bound is genuinely special to dimension four.
- The constructed structures are almost Kähler, compatible with symplectic forms, so these extremes occur within symplectic geometry rather than in exotic non-symplectic settings.
Reading between the lines
- An implication the paper leaves implicit is that the exponential solutions for $f = x_2$ are almost Kähler local models; transplanting them into compact symplectic manifolds might force lower bounds on anti-invariant cohomology in wider families, a testable extension.
- The contrast between infinite-dimensional and one-dimensional regimes suggests that growth conditions on $f$ control the dimension of $Z^-_J$; testing intermediate polynomial-growth functions could interpolate between the two extremes.
- Since the six-dimensional examples can make $h^-_J$ arbitrarily large, a natural question the paper does not address is whether any upper bound in terms of Betti numbers exists for $h^-_J$ in dimensions above four.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the space of closed J-anti-invariant 2-forms on almost complex manifolds, with attention to both noncompact and compact settings. The main results are: on R^4, a non-integrable almost complex structure with infinite-dimensional space of closed anti-invariant forms (Theorem 3.7); compactly supported perturbations of the standard complex structure yielding h^-_J = 1 or h^-_J = 0 (Theorem 3.8 and Corollary 3.9); a two-parameter family of non-integrable almost complex structures on the Kodaira-Thurston manifold attaining the maximal value h^-_J = 2 (Proposition 4.2); and, in dimension 6, compact examples with h^-_J >= 2g^2 (Proposition 5.1). The paper also observes that these examples show compactness and dimension 4 are essential hypotheses in the Drăghici-Li-Zhang conjecture that h^-_J >= 3 forces integrability on compact 4-manifolds.
Significance. If the results stand, the paper makes a solid contribution to the study of anti-invariant cohomology. The constructions are explicit and self-contained: closed anti-invariant forms are exhibited directly, and the non-integrability checks are computable. The noncompact examples clarify why compactness is needed in the conjectures, and the Kodaira-Thurston example affirmatively answers Question 3.23 from Drăghici-Li-Zhang. The 6-dimensional examples show that the special behavior in dimension 4 is not shared in higher dimensions, which is a useful counterpoint to existing expectations. The paper is not overly reliant on external machinery; its main PDE computations are verifiable by direct substitution.
major comments (1)
- [Section 3, proof of Theorem 3.7] The sequence (s_n, t_n) = (sqrt((n-1)/n), -1/n) does not satisfy the defining condition s_n^2 + t_n^2 + t_n = 0. For n > 1 the left-hand side equals (n-1)^2/n^2, which is nonzero, so the forms alpha_n = t_n e^{s_n x_1 + t_n y_1} beta - s_n e^{s_n x_1 + t_n y_1} gamma are not closed as written. The theorem is nevertheless correct: the condition is satisfied by s_n = sqrt(n-1)/n (equivalently s_n^2 = (n-1)/n^2), and with this replacement the exponential factors are distinct and the linear-independence argument goes through. This correction is load-bearing because the infinite-dimensionality claim of Theorem 3.7 depends on the existence of such a sequence.
minor comments (6)
- [Section 2] The displayed inclusion chain 'Z^-_J(M) subset H^+_{g_J} subset H^-_J(M)' is misstated: self-dual harmonic forms are not generally J-anti-invariant, and the space H^-_J(M) of anti-invariant harmonic forms is a subspace of H^+_{g_J}, not a superspace. The intended and correct statement is Z^-_J(M) subset H^-_J(M) subset H^+_{g_J}. Since the inequality h^-_J <= b_+ is used essentially in Proposition 4.2, this passage should be rewritten for accuracy.
- [Section 3, equations (6) and (8)] The complex operators in the display of the perturbed Cauchy-Riemann system are missing conjugation bars: the system derived from (5) should read partial_{\bar z_1} w + (i/2) partial_{z_2}(f(w+\bar w)) = 0 and partial_{\bar z_2} w = 0. As printed, with unbarred operators, the equations are not equivalent to (5), and the solution in Theorem 3.7 does not satisfy the printed system unless the barred operators are intended.
- [Section 3, proof of Theorem 3.7] The displayed formula for the solution w in terms of z_1 and \bar z_1 has an incorrect sign: the exponent should be s ((z_1 + \bar z_1)/2) + t ((z_1 - \bar z_1)/(2i)), not s ((z_1 - \bar z_1)/2) + t ((z_1 - \bar z_1)/(2i)). The subsequent forms alpha_{s,t} use the correct exponent e^{s x_1 + t y_1}, so this is a typographical error.
- [Section 4, Lemma 4.1] The Nijenhuis computation gives N_J(E_1,E_3) = -e^{lambda+mu} lambda' E_2, with a factor e^{mu} that is missing in the displayed formula. The conclusion that J is non-integrable for nonconstant lambda is unaffected because e^{lambda+mu} is nonzero.
- [Section 5, Proposition 5.1] In the displayed Nijenhuis computation, 'partial/partial t_t' is a typo for 'partial/partial t_1', and the coefficients appear to omit factors of 1/f. The conclusion that J is non-integrable for nonconstant f is correct, as can be verified by a direct computation, but the displayed intermediate expression should be corrected.
- [Throughout] There are several minor typographical errors, including 'strcuture' in Lemma 3.4, 'Lapacian' in the Introduction, and 'aswer' in Remark 5.2. These do not affect the mathematics.
Circularity Check
No circularity: all central constructions are explicit forms and PDE solutions; upper bounds come from external theorems.
full rationale
The paper's derivations are self-contained: the lower bounds are produced by explicit closed anti-invariant forms rather than by definitional manipulation. In Theorem 3.7 the forms α_{s,t} are obtained by direct substitution into the linear PDE system (8); in Theorem 3.8 the compact-support argument solves system (7) and forces a=0 using harmonicity and unique continuation; Corollary 3.9 glues two local models and uses Aronszajn's external unique continuation theorem; Proposition 4.2 exhibits θ1 and e^λθ2 explicitly and invokes the external bound h^-_J≤b+ from Drăghici–Li–Zhang [5] to sharpen 2≤h^-_J≤b+(KT)=2; Proposition 5.1 pulls back holomorphic (2,0)-forms γ_r∧γ'_s from Σ_g×Σ_g to obtain 2g^2 independent closed forms. The only external inputs (b+(KT)=2, h^-≤b+, unique continuation) are standard or from non-overlapping authors and are not fitted to the target quantities. Self-citations [10] and [3] are background or motivational and do not carry the central claims. Minor displayed sign/scaling typos do not affect the reductions. I find no circular step.
Assumptions & free parameters
assumptions (6)
- standard math Newlander-Nirenberg theorem: an almost complex structure is integrable if and only if its Nijenhuis tensor vanishes.
- standard math Aronszajn's unique continuation theorem for second-order elliptic operators.
- domain assumption For a compact almost complex 4-manifold, h^-_J(M) <= b+(M) (Drăghici-Li-Zhang, [5]).
- domain assumption The Kodaira-Thurston manifold has b+ = 2.
- standard math Yau's solution of the Calabi conjecture: a complex structure on C^2 which agrees with the standard one outside a compact set is biholomorphic to C^2.
- standard math Gromov's pseudoholomorphic curve theory and Taubes' tamed-to-compatible theorem imply a tamed almost complex structure on a symplectic 4-manifold is compatible with some symplectic form.
Cite this review
Pith. "Pith review of On the Anti-Invariant Cohomology of Almost Complex Manifolds." pith.science (2026). https://pith.science/paper/EEYG7FHY
@misc{pith2026190803016,
author = {Pith},
title = {Pith review of: On the Anti-Invariant Cohomology of Almost Complex Manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/EEYG7FHY}},
note = {Machine review of arXiv:1908.03016}
}
abstract
We study the space of closed anti-invariant forms on an almost complex manifold, possibly non compact. We construct families of (non integrable) almost complex structures on $\R^4$, such that the space of closed $J$-anti-invariant forms is infinite dimensional, and also $0$- or $1$-dimensional. In the compact case, we construct $6$-dimensional almost complex manifolds with arbitrary large anti-invariant cohomology and a $2$-parameter family of almost complex structures on the Kodaira-Thurston manifold whose anti-invariant cohomology group has maximum dimension.
Reference graph
Works this paper leans on
-
[1]
N. Aronszajn, A unique continuation theorem for solutio ns of elliptic partial dif- ferential equations or inequalities of second order, J. Math. Pure Appl. 36 (1957), 235–249
work page 1957
-
[2]
D. Angella, A. Tomassini, On cohomological decompositi on of almost-complex man- ifolds and deformations, J. Symplectic Geom. 9 (2011), no. 3, 1–26
work page 2011
-
[3]
D. Angella, A. Tomassini, W. Zhang, On decomposablity of almost-K¨ ahler structures, Proc. Amer. Math. Soc. 142 (2014), 3615–3630
work page 2014
-
[4]
$J$-holomorphic curves from closed $J$-anti-invariant forms
L. Bonthrone, W. Zhang, J-holomorphic curves from close d J-anti-invariant forms, arXiv:1808.09356v1 [math.DG]
-
[5]
T. Drˇ aghici, T.-J. Li, W. Zhang, Symplectic form and coh omology decomposition of almost complex four-manifolds, Int. Math. Res. Not. 2010 (2010), no. 1, 1–17
work page 2010
-
[6]
T. Drˇ aghici, T.-J. Li, W. Zhang, On the J-anti-invariant cohomology of almost com- plex 4-manifolds, Quarterly J. Math. 64, 83–111
-
[7]
T. Drˇ aghici, T.-J. Li, W. Zhang, Geometry of tamed almos t complex structures on 4-dimensional manifolds, Fifth International Congress of Chinese Mathematicians. Part1, 2, 233–251, AMS/IP Stud. Adv. Math. , 51, pt. 1, 2, Amer. Math. Soc. , Prov- idence, RI, 2012
work page 2012
-
[8]
Gromov, Pseudo holomorphic curves in symplectic mani folds, Invent
M. Gromov, Pseudo holomorphic curves in symplectic mani folds, Invent. Math. 82 (1985), 307–347
work page 1985
Show all 17 references
-
[9]
R. Hind, C. Medori, A. Tomassini, On non-pure forms on alm ost complex manifolds, Proc. Amer. Math. Soc. 142 (2014), 3909–3922
2014
-
[10]
R. Hind, C. Medori, A. Tomassini, On taming and compatib le symplectic forms, J. Geom. Anal. 25 (2015), 2360–2374
2015
-
[11]
Latorre, L
A. Latorre, L. Ugarte, Cohomological Decomposition of Compact Complex Manifolds and Holomorphic Deformations, Proc. Amer. Math. Soc. 145 (2017), 335–353
2017
-
[12]
T.-J., Li, Quaternionic bundles and Betti numbers of sy mplectic 4-manifolds with Kodaira dimension zero, Int. Math. Res. Not. 2006 (2010), 1–28
2010
-
[13]
T.-J. Li, W. Zhang, Comparing tamed and compatible symp lectic cones and cohomo- logical properties of almost complex manifolds, Comm. Anal. and Geom. 17 (2009), 651–684. ON THE ANTI-INV ARIANT COHOMOLOGY OF ALMOST COMPLEX MANIFOL DS 15
2009
-
[14]
Moser, On the volume elements on a manifold, Trans
J. Moser, On the volume elements on a manifold, Trans. Amer. Math. Soc. 120 (1965), 286–294
1965
-
[15]
Q. Tan, H. Wang, Y. Zhang, P. Zhu, On cohomology of almost complex 4-manifolds, J. Geom. Anal. 25 (2015), 1431–1443
2015
-
[16]
C. H. Taubes, Tamed to compatible: symplectic forms via moduli space integration, J. Symp. Geom. 9 (2011), 161–250
2011
-
[17]
S. T. Yau, Calabi’s conjecture and some new results in al gebraic geometry, Proc. Nat. Acad. Sci. 74 (1977), 1798–1799. Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556 E-mail address : hind.1@nd.edu Dipartimento di Scienze Matematiche, Fisiche e Infor...
1977
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.