1 Introduction
Well-formulated algebraic conditions can reveal deep connections within geometry and topology. This is epitomized in the work of Deligne et al. [Reference Deligne, Griffiths, Morgan and SullivanDGMS75], which introduces the
$d d^c$
-condition for complex manifolds. This seemingly simple algebraic condition is a versatile tool in the study of compact complex manifolds for at least the following reasons:
-
(1) It admits characterizations of rather distinct nature (using elements, indecomposable bicomplexes, the Frölicher spectral sequence and pure Hodge structures, numerical inequalities).
-
(2) It passes to other manifolds in many geometric situations, such as holomorphic domination, projective bundles, small deformations, blow-ups (along
$dd^c$
-centres), etc. -
(3) It holds on a fairly large class of manifolds, in particular, on compact Kähler manifolds.
-
(4) It implies topological restrictions on the underlying manifold: odd Betti numbers are even, and formality holds, in the sense of rational homotopy theory.
In this paper, we present a generalization of the
$dd^c$
-condition, termed the
$dd^c+3$
-condition, for which we obtain full analogues of Conditions
$(1)$
–
$(3)$
above. In the last section, we broaden our scope and provide a general framework for studying the real homotopy type of complex manifolds. This yields topological obstructions to the existence of complex structures satisfying a low-degree variant of the
$dd^c+3$
-condition.
Definition and equivalent characterizations
Let M be a compact complex manifold and
${\mathcal A}:={\mathcal A}(M)$
its bicomplex of
$\mathbb {C}$
-valued differential forms. One knows from [Reference Deligne, Griffiths, Morgan and SullivanDGMS75] that the
$dd^c$
-condition has several equivalent formulations (c.f. Theorem 3.1 below). One such statement is that the following diagram induces an isomorphism in cohomology:
We perform a pushout on this diagram to reveal a new long exact sequence, valid for all complex manifolds, which is used in one formulation of our first main result:
Theorem A (The
$dd^c + 3$
-condition)
Let
$(M,J)$
be a compact complex manifold. The following are equivalent:
-
(1) If
$x \in {\mathcal A}$
with
$x = dy$
, and
$x= d^c z$
, then
$x = dw$
with
$w \in \mathrm{Ker}\, d^c$
. -
(2) The bicomplex
$({\mathcal A}, \partial , {\bar \partial })$
decomposes as a direct sum of dots, squares, and length
$3$
zigzags, that is: -
(3) The Frölicher spectral sequence degenerates at
$E_1$
, and the total purity defect is at most
$1$
. -
(4) The connecting homomorphism in the long exact sequence
is zero for all k. -
(5) The following numerical equality holds:
$$\begin{align*}\sum_k \dim H^k(\mathrm{Ker}\, d^c) + \dim H^k({\mathcal A}/ \mathrm{Im} \, d^c) = 2 \sum_k \dim H^k_{\mathrm{dR}}(M). \end{align*}$$
Every property above has a more restrictive counterpart that characterizes the usual
$dd^c$
-condition. In view of Condition
$(2)$
, we call a complex manifold satisfying these conditions a
$dd^c+3$
-manifold. To make Condition
$(3)$
above precise, we introduce a nonnegative integer that measures the extent to which the pure Hodge condition fails, called the purity defect. While it can be defined in terms of filtrations, as in Definition 3.15, it is easily (and equivalently) understood in terms of lengths of the odd zigzags appearing in any decomposition of
$({\mathcal A},\partial ,{\bar \partial })$
into indecomposable bicomplexes, Proposition 3.18. The Conditions
$(2)$
and
$(3)$
have a natural generalization to higher length odd zigzags (respectively, higher purity defect), and some of the results in this paper will hold for the resulting more general classes of manifolds. The spaces
$H^* ( \mathrm{Ker}\, d^c )$
and
$H^* ( {\mathcal A} / \mathrm {Im} \, d^c)$
in condition
$(4)$
are closely related to the well-studied Bott-Chern and Aeppli groups,
$H^*_{BC}(M)$
and
$H^*_A(M)$
, respectively. In fact, these are pairwise isomorphic if and only if
$H^*_\mathrm{{dR}}(M)$
inherits a pure Hodge structure, Theorem 3.28. This is deduced from a natural diagram, respecting Poincaré duality, that contains all these groups, the long exact sequence, and certain purity obstruction groups (see Section 3.4).
The numerical characterization in Condition
$(5)$
follows from a more general set of inequalities
$$\begin{align*}h_{BC} + h_A \geq h_{\mathrm{Ker}\, d^c} + h_{{\mathcal A} / \mathrm{Im}\,d^c} \geq h_{\bar \partial} + h_{\partial} \geq 2 \sum_k b_k, \end{align*}$$
where
$b_k = \dim H^k_\mathrm{{dR}}(M)$
, and the suggestive notation
$h_{BC} = \dim H_{BC}$
,
$h_{\bar \partial } = \dim H_{\bar \partial }$
, etc., is used. This includes the case considered in [Reference Angella and TomassiniAT13]. All possible equalities above are characterized in Proposition 3.29 in terms of various degeneration and purity conditions, including the
$d d^c + 3$
condition.
Inheritance of the
$dd^c+3$
-condition
Just as for the
$dd^c$
-condition, the validity of the
$dd^c+3$
-condition is quite robust under many geometric constructions. In fact:
Theorem B. The
$dd^c+3$
-condition satisfies:
-
(1) A blow-up of a manifold M along a smooth centre
$Z\subseteq M$
is
$dd^c+3$
if and only if both M and Z are
$dd^c+3$
. -
(2) A product is
$dd^c+3$
if and only if one factor is a
$dd^c+3$
-manifold and one is a
$dd^c$
-manifold. -
(3) The target of a holomorphic surjection
$f:M\to N$
with M a
$dd^c+3$
-manifold and
$\dim M=\dim N$
is, again, a
$dd^c+3$
-manifold. -
(4) Projectivized holomorphic vector bundles are
$dd^c+3$
-manifolds if and only if the base of the bundle is a
$dd^c+3$
-manifold. -
(5) Any sufficiently small deformation of a
$dd^c+3$
-manifold is, again, a
$dd^c+3$
-manifold.
All of these statements have exact analogues replacing
$dd^c+3$
by
$dd^c$
. Note, however, that
$dd^c+3$
-manifolds behave like a module over
$dd^c$
-manifolds, rather than as a ring themselves. In fact, the purity defect behaves additively under products.
By means of the weak factorization theorem, one can extract statements about bimeromorphic invariants from Condition
$(1)$
. For example:
Corollary B.1. The
$dd^c+3$
-condition is a bimeromorphism invariant of compact complex manifolds in complex dimension at most four.
The deformation property in Condition
$(5)$
above is a consequence of the following more general statement:
Theorem C. The condition “
$E_1$
-degeneration and purity defect at most k” is preserved under small deformations of compact complex manifolds.
In the
$dd^c$
-case, small deformations have exactly the same cohomological invariants (Hodge numbers, Bott-Chern numbers, etc.). This is, in general, not true in the setting of Theorem C. However, under a slight technical strengthening of the
$dd^c+3$
-condition on the central fibre, satisfied by compact surfaces and Vaisman manifolds, the
$E_1$
-isomorphism type of the bicomplex of forms is constant under small deformations (see Corollary 5.10). In particular, under this condition, the Hodge and Bott-Chern numbers of nearby fibres agree with that of the central one.
Vaisman manifolds and the
$dd^c+3$
-condition
Beyond
$d d^c$
-manifolds, there is an abundance of complex manifolds satisfying the
$d d^c+3$
-condition of Theorem 3.9, including all compact complex surfaces (Corollary 4.1), certain twistor spaces (Proposition 4.2), and many nilmanifolds. Our main examples, however, are compact Vaisman manifolds [Reference VaismanVai79], [Reference VaismanVai82]. Recall that a complex manifold is called Vaisman if it carries a Hermitian metric, such that the fundamental form satisfies
${d \omega = \theta \wedge \omega }$
, with
$\theta $
parallel. These form a large class of manifolds. For instance, given any projective manifold M embedded as the zero section into a negative line bundle L, the quotient of
$L\setminus M$
by the cyclic group generated by any complex number
$\lambda \in \mathbb {C}^{\times }\setminus S^1$
acting by translation in the fibres, carries a Vaisman metric [Reference VaismanVai80]. This construction generalizes the familiar examples of the Hopf manifolds.
Theorem D. Compact Vaisman manifolds satisfy the
$dd^c+3$
-condition.
It was previously known for Vaisman manifolds that the Frölicher spectral sequence degenerates at
$E_1$
, [Reference TsukadaTsu94, Theorem 3.5], so in view of Theorem A, the new contribution here is the control over the lack of purity in the cohomology. In fact, the theorem as stated is a consequence of a more general computation that precisely identifies which zigzags appear in which positions within the bicomplex of forms of a Vaisman manifold, Theorem 5.3.
This complete calculation allows one to draw many other conclusions, some of them yielding new and simple proofs of known results, like the fact that no Oeljeklaus-Toma manifold of type
$(s,t)$
with
$s\geq 2$
can be Vaisman [Reference KasuyaKas13], or the very recent calculation of the Bott-Chern cohomology of a Vaisman manifold [Reference Istrati and OtimanIO23]. Others are, to the best of our knowledge, new:
Corollary D.1. The middle cohomology of a compact Vaisman manifold of complex dimension
$n+1$
carries a pure Hodge structure of weight
$n+1$
.
Corollary D.2. Every small deformation
$V_t$
of a compact Vaisman manifold
$V_0$
has the same
$E_1$
-isomorphism type, that is for all t sufficiently small:
-
(1) the bicomplex
${\mathcal A}(V_t)$
has the same zigzag multiplicities as
${\mathcal A}(V_0)$
, -
(2) for any cohomological functor H (e.g.
$H_{BC},H_A,H_{{\bar \partial }},..$
),
$H(V_t)\cong H(V_0)$
.
In Section 5.2, we record some results on the vanishing of higher operations and Massey products on Vaisman manifolds, in analogy with the case of Sasakian manifolds, established in [Reference Biswas, Fernández, Muñoz and TralleBFMnT16]. Together with the formality of
$dd^c$
-manifolds, this suggests a further study of the interplay between the
$dd^c$
-type conditions and the real homotopy type, which is carried out in the last section of the paper.
Homotopical restrictions imposed by
$dd^c$
-type conditions
There are two ways to prove formality for
$dd^c$
-manifolds [Reference Deligne, Griffiths, Morgan and SullivanDGMS75]: One consists in building a highly structured minimal model having a certain compatibility with the bigrading. The other, very quick one, consists in noting that the diagram
$A\leftarrow \mathrm{Ker}\, d^c\rightarrow H(A)$
connects A to its cohomology by quasi-isomorphisms. The second approach may at first seem to be very particular to the
$dd^c$
-setting. However, in the last section of the article, we turn it into a general technique to study the homotopy type of a complex manifold. Namely, we observe that the existence of a diagram
$A\leftarrow B\rightarrow H(A)$
with certain extra properties (e.g. fixed ranks of the induced maps in cohomology) only depends on the homotopy type of A. On the other hand, for any complex manifold M, one obtains such a diagram for
$A={\mathcal A}(M)$
, and cohomological conditions on M translate into conditions on the ranks of the induced maps in cohomology. Applying this kind of reasoning, we obtain:
Theorem E. Let M be a compact manifold of dimension
$2n$
, with j-minimal model
$\psi : {\mathcal M}^j\to {\mathcal A}(M)$
, such that
-
(1) the map
$H^{2n}(\psi )$
is surjective (i.e. the j-minimal model sees the fundamental class), -
(2) the algebra
$\langle H^{\leq j}(M)\rangle $
generated by cohomology classes in degree
$\leq j$
has trivial intersection with
$H^{j+1}(M)$
and
$H^{2n}(M)$
.
If there is a complex manifold N in the homotopy type of M, such that
-
(3) the natural map
$\mathrm{Ker}\, d^c\to {\mathcal A}(N)$
induces isomorphisms in
$H^{s}$
for
$s \leq j$
, and -
(4) the natural map
$\mathrm{Ker}\, d^c\to {\mathcal A}(N)\oplus H(N)$
induces an injection in
$H^{j+1}$
,
then
$n=0$
.
The last condition is the
$dd^c+3$
-condition in degree
$j+1$
. The combination of the last two conditions can be recast in terms of which indecomposable bicomplexes can occur in
${\mathcal A}(M)$
, and also in terms of classical invariants like Hodge numbers and Hodge filtrations. The result as stated above is a less general (and less technical) version of the result in the main body of the text, which gives a topological lower bound on the complexity of the bicomplex of complex structures satisfying these
$dd^c$
-type conditions in low degrees, Theorem 6.18. That inequality is combined with a complex-analytic refinement of Poincaré duality, allowing one to relax the top-degree conditions above, Corollary 6.20. Applying the Theorem with
$j=1$
, one obtains
Corollary E.1. The filiform nilmanifolds
$G/\Gamma $
, associated with the cdga of left invariant forms given by
$\eta ^1,...,\eta ^{2n}$
, such that
$d\eta ^k=\eta ^1\wedge \eta ^{k-1}$
cannot support a complex structure which satisfies the
$dd^c+3$
-condition with pure
$H^1$
.
It is known that the filiform nilmanifolds cannot admit left-invariant complex structures, and it is unknown whether they admit any complex structures at all (for
$n\geq 3$
). We stress that the conclusion of the Corollary holds for any manifold rationally homotopy equivalent (or even
$\mathbb {R}$
-homotopy equivalent) to a filiform nilmanifold, and for connected sums of these with any
$1$
-connected manifold. Further, since the conditions are only in very low degree, the result rules out many complex structures, including many which are not
$dd^c+3$
. On the other hand, we give examples of
$6$
-dimensional manifolds which are complex but are never
$dd^c+3$
with pure
$H^1$
. We also give many nonnilmanifold examples, in particular, rationally highly connected ones.
In the almost half-century since its appearance, the pioneering work of Deligne, Griffiths, Morgan, and Sullivan, has inspired a great number of applications related to Kähler geometry and rational homotopy theory. As we hope to demonstrate in this article, a return to these ideas sheds further light on complex geometry and its interaction with homotopy theory, far beyond the Kähler realm.
2 Preliminaries
We recall some definitions and results that will be used below.
A bicomplex (or double complex) is a bigraded
$\mathbb {C}$
-vector space,
$A=\bigoplus _{p,q \in \mathbb {Z}}A^{p,q}$
, together with endomorphisms
$\partial $
and
${\bar \partial }$
, of bidegrees
$(1,0)$
and
$(0,1)$
, respectively, such that
$d=\partial +{\bar \partial }$
satisfies
$d^2=0$
. Most of our bicomplexes will have a real structure, that is a complex antilinear involution
$\sigma :A\to A$
, such that
$\sigma (A^{p,q})=A^{q,p}$
and
$\sigma d \sigma =d$
, hence, we use the suggestive overline notation, but in general, no real structure is stipulated. Unless explicitly stated otherwise, we will always deal with bounded bicomplexes, that is those satisfying
$A^{p,q}=0$
for all but finitely many
$p,q \in \mathbb {Z}$
.
Our principal example is the space
${\mathcal A}={\mathcal A}(M)$
of complex-valued forms on a complex manifold M, which further carries the structure of a graded-commutative differential graded algebra (cdga) and a real structure because it is the complexification of the space of real forms. For any bicomplex A, one can form the column and row cohomology, known as the Dolbeault and conjugate Dolbeault cohomologies, defined by
$H_{{\bar \partial }}=\frac {\mathrm{Ker}\,{\bar \partial }}{\mathrm{Im}\,{\bar \partial }}$
and
$H_{\partial }=\frac {\mathrm{Ker}\,{\partial }}{\mathrm{Im}\,\partial }$
. The column and row filtrations
$F^pA=\bigoplus _{r\geq p} A^{r,s}$
and
$\bar F^q=\bigoplus _{s\geq q}A^{r,s}$
induce spectral sequences converging from these to the total cohomology
$H_d= \frac {\mathrm{Ker}\, d}{\mathrm{Im}\, d}$
. The total cohomology has an induced pure Hodge structure (of weight k in degree k) if the two induced filtrations
$$\begin{align*}F^pH^k_d(A)=\{[a]\mid a\in F^p A^k\} \quad \textrm{and} \quad \bar F^q H^k_d(A)=\{[a]\mid a\in \bar F^q A^k\} \end{align*}$$
on
$H^k$
are k-opposed, that is satisfy
$$\begin{align*}H^k_d(A)=\bigoplus_{p+q=k}F^pH^k_d(A)\cap \bar F^q H^k_d(A). \end{align*}$$
This is equivalent to the condition that, for all k,
$$\begin{align*}F^pH^k_d(A)\cap \bar F^{k+1-p} H^k_d(A) =H^k_d(A) \end{align*}$$
for all p, c.f. [Reference DeligneDel71].
A bicomplex is called indecomposable if it cannot be written as a direct sum of two nontrivial subbicomplexes. Every indecomposable subcomplex is isomorphic to either a square or a zigzag. The structures of these are recalled and indicated in diagrams below, when first needed in the proof of Theorem 3.9. The length of a zigzag is its dimension as a vector space (i.e. the number of nonzero corners). Zigzags of length
$1$
or
$2$
will be called ‘dots’ and ‘lines’, respectively. Zigzags of length
$3$
with outgoing arrows will be called ‘L’s’, zigzags of length
$3$
with incoming arrows will be called ‘reverse L’s’. Any bicomplex can be written as a direct sum of indecomposable subcomplexes
$$\begin{align*}A=\bigoplus_I I^{\oplus\operatorname{mult}_I(A)}, \end{align*}$$
where I runs over all squares and zigzags, and the multiplicity
$\operatorname {mult}_I(A)$
of every isomorphism type of indecomposable bicomplex is the same in any such decomposition (c.f. [Reference Khovanov and QiKQ20], [Reference StelzigSte21b]).
A map
$f:A\to B$
of bounded bicomplexes is called an
$E_1$
-isomorphism, or bigraded weak equivalence, if it induces an isomorphism in both row and column cohomology. If both A and B have real structures,
$\sigma _A$
and
$\sigma _B$
, and
$\sigma _B f=f\sigma _A$
, then f is an
$E_1$
-isomorphism if and only if it induces an isomorphism in Dolbeault cohomology. This is the case, for example, for
$A={\mathcal A}(M), B={\mathcal A}(N)$
for complex manifolds
$M,N$
and
$f=\varphi ^*$
for some holomorphic map
$\varphi : N \to M$
. We write
$A\simeq _1 B$
if there exists a chain of
$E_1$
-isomorphisms connecting A and B. One has
$\operatorname {mult}_Z(A)=\operatorname {mult}_Z(B)$
for any zigzag if and only if
$A\simeq _1 B$
(c.f. [Reference StelzigSte21b]). For any bicomplex, one can introduce the operator
$d^c= \mathbb {I}^{-1} \, d \, \mathbb {I}$
, where
$ \mathbb {I}$
acts on
$A^{p,q}$
as multiplication by
$i^{p-q}$
. If
$\left ({\mathcal A}(M),d \right )$
are the differential forms of a complex manifold
$(M,J)$
, then
$ \mathbb {I}$
equals the extension of J as an algebra automorphism, and
$d^c = i ({\bar \partial } - \partial ) $
is also a derivation. Let
$H_{d^c}= \frac {\mathrm{Ker}\, d^c}{\mathrm{Im}\, d^c}$
denote the cohomology of
$\left ({\mathcal A}(M), d^c\right )$
, which is isomorphic to de Rham cohomology. Unless explicitly stated otherwise, we will assume all manifolds to be compact and connected.
3 The
$d d^c+3$
-condition
The results of this section are primarily algebraic and apply to any bounded bicomplex, while the main example of interest is the complex of
$\mathbb {C}$
-valued smooth differential forms on a complex manifold. We’ll use the abbreviated notation
${\mathcal A}$
for either case and highlight certain cases as appropriate.
3.1 A long exact sequence
In this subsection, we derive a new long exact sequence and observe that the vanishing of the connecting homomorphism in this sequence is a mild weakening of the so-called
$d d^c$
-condition. First we recall:
Theorem 3.1 (The
$d d^c$
-condition, [Reference Deligne, Griffiths, Morgan and SullivanDGMS75], Theorem 5.7)
For any bounded bicomplex
$({\mathcal A},\partial , {\bar \partial })$
, the following are equivalent:
-
(1) For all
$x \in {\mathcal A}$
, if
$d^c x = 0$
and
$x= d z$
, then
$x = d d^c w $
for some w. -
(2) The spectral sequences induced by the row and column filtrations both degenerate at
$E_1$
, and for each k, there is an induced pure Hodge structure of weight k on
$H^k({\mathcal A})$
. -
(3) The bicomplex
$({\mathcal A},\partial , {\bar \partial })$
is a direct sum of-
(a) bicomplexes with only a single component, and
$\partial = {\bar \partial } =0$
, -
(b) bicomplexes which are a square of isomorphisms.
-
Condition
$(3)$
above can be equivalently stated as
$\operatorname {mult}_I({\mathcal A})=0$
, unless I is a dot or a square, and there are concise proofs now of the above theorem by checking the validity of Conditions
$(1)$
and
$(2)$
on every indecomposable complex (c.f. [Reference Khovanov and QiKQ20, Section 2.3], [Reference StelzigSte21b, Corollary 7].
Deligne et al. [Reference Deligne, Griffiths, Morgan and SullivanDGMS75] show that all Kähler manifolds satisfy the
$d d^c$
-condition, and that the
$d d^c$
-condition has strong implications for the topology of the underlying manifold. To obtain the latter, one method is to show the following diagram
is defined whenever
$(M,J)$
satisfies the
$d d^c$
-condition, and that it induces an isomorphism in cohomology. From this, it follows that M is formal, that is the differential graded algebra of differential forms on M is connected by a chain of quasi-isomorphisms of differential graded algebras to its cohomology (equipped with zero differential). According to Sullivan’s theory of rational homotopy, the rational homotopy groups are then a formal consequence of the cohomology groups, that is can be computed directly by a relatively simple procedure [Reference SullivanSul77].
Our first new observation is that the above diagram is well-defined for all complex manifolds, even if the
$d d^c$
-condition does not hold. Let
$(M,J)$
be an almost complex manifold, and define
$d^c= \mathbb {I}^{-1} \, d \, \mathbb {I}$
as before. It is well known that J is integrable if and only if d and
$d^c$
commute in the graded sense, that is
$[d,d^c]=0$
. This implies the existence of a diagram of cdga’s as above, but what is not obvious is that
$d=0$
on
$H_{d^c}$
. This follows from a more fundamental algebraic relation expressed in the proposition below.
Proposition 3.2. An almost complex structure J is integrable if and only if:
$$ \begin{align*} [d, \mathbb{J}] &= d^c \\ [d^c , \mathbb{J}] &= - d , \end{align*} $$
where
$ \mathbb {J}$
denotes the extension of J as a derivation.
The equations imply
$[d,d^c]=0$
. The two above equations are in fact equivalent, as can be seen by conjugating either by
$ \mathbb {I}$
. Indeed,
$ \mathbb {J}$
and
$ \mathbb {I}$
commute, since
$ \mathbb {J}$
acts on
$(p,q)$
-forms by
$i(p-q)$
, which also gives the following beautiful formula:
$$\begin{align*}e^{\frac \pi 2 \mathbb{J}} = \mathbb{I}. \end{align*}$$
Proof. On complex valued forms,
$d= {\bar \mu } + {\bar \partial } +\partial + \mu $
with components of bidegrees
$(-1,2)$
,
$(0,1)$
,
$(1,0)$
, and
$(2,-1)$
, respectively. In bidgree
$(p,q)$
,
$ \mathbb {I}^{-1} = (-1)^{p-q} \mathbb {I}$
, so that conjugating an operator of bidegree
$(r,s)$
by
$ \mathbb {I}$
acts by multiplication by
$(-i)^{r-s}$
. As operators on forms of bidegree
$(p,q)$
,
$$\begin{align*}[d, \mathbb{J}] = 3i {\bar \mu} + i {\bar \partial} - i \partial - 3i \mu , \end{align*}$$
whereas
$$\begin{align*}\mathbb{I}^{-1} \, d \, \mathbb{I} = -i {\bar \mu} + i{\bar \partial} - i \partial + i \mu, \end{align*}$$
so that
$$\begin{align*}[d, \mathbb{J}] - \mathbb{I}^{-1} \, d \, \mathbb{I} = 4 i( {\bar \mu} - \mu). \end{align*}$$
This vanishes if and only if J is integrable.
Remark 3.3. Working with an arbitrary bigraded complex (not necessarily with multiplicative structure) one can define
$ \mathbb {J}$
as multiplication by
$i(p-q)$
in bidegree
$(p,q)$
, and a similar argument shows an analogous characterization in the purely algebraic setting.
Corollary 3.4. For any complex manifold (respectively, any bicomplex), there is a commutative diagram of complexes
This is both a pullback and a pushout in the category of complexes.
Proof. Proposition 3.2 implies that d passes to
$H_{d^c}$
with
$d = 0 $
, and that the two right maps respect the differentials. The last statement is immediate to check.
Remark 3.5. The
$dd^c$
-condition holds in degree k if and only if
$$\begin{align*}H^k( \mathrm{Im} \, d^c,d) = 0 \quad \textrm{for all } k. \end{align*}$$
Thus, the
$d d^c$
-condition holds if and only if one (and every) map in the diagram of Corollary 3.4 is an isomorphism in cohomology. To see this, one inserts the complex
$( \mathrm {Im} \, d^c,d)$
as the kernel or cokernel in all places, and passes to any of the long exact sequences in cohomology.
A square of complexes
is both a pullback and a pushout if and only if there is a short exact sequence
This gives the following:
Theorem 3.6. For any complex manifold (respectively, any bicomplex), there is a short exact sequence of complexes:
and therefore a long exact sequence in cohomology:
Remark 3.7. For
${\mathcal A}={\mathcal A}(M)$
of a compact complex manifold M, the vector spaces appearing in this long exact sequence are all finite dimensional when the manifold is compact. One way to establish this is to relate them to the Bott-Chern and Aeppli cohomology groups, as is done in Section 3.4.
The isomorphism type of this long exact sequence, and all things algebraically derived from it, are invariants of the biholomorphism type of complex manifolds. In particular, this holds for the rank of the connecting map
$\delta $
. We will later see that this rank is even a bimeromorphism invariant in complex dimension at most four (see Remark 4.7).
Finally, we relate the
$d d^c$
-condition to the long exact sequence from Theorem 3.6.
Lemma 3.8. If
${\mathcal A}$
satisfies the
$d d^c$
-condition, then the connecting homomorphism from Theorem 3.6 is zero in all degrees.
Proof. Consider
The
$d d^c$
-condition implies the first map, being the sum of two surjective maps, is surjective. Alternatively, the
$d d^c$
-condition implies the last map, being the sum of two injective maps, is injective. By either argument,
$\delta _k=0$
.
3.2 Equivalent characterizations of
$d d^c+3$
The vanishing of the connecting homomorphism
$\delta $
does not quite imply the
$d d^c$
-condition. In fact, we have:
Theorem 3.9 (The
$dd^c + 3$
-condition)
For any bounded bicomplex
${\mathcal A}$
, the following are equivalent:
-
(1) The connecting homomorphism
in the long exact sequence
$$\begin{align*}\delta_k: H^k \left( {\mathcal A}/ \mathrm{Im} \, d^c \right) \to H^{k+1} \left( \mathrm{Ker}\, d^c \right) \end{align*}$$
is zero for all k. -
(2) For all
$k \geq 0$
, the diagram is both a pullback and a pushout in the category of vector spaces. -
(3) The following holds, for all
$k\geq 0$
:For all
$x \in {\mathcal A}^{k+1}$
, if
$x = dy$
and
$x= d^c z$
, then
$x = dw$
with
$w \in \mathrm{Ker}\, d^c$
. -
(4) The following numerical equality holds:
(here, we make the additional assumption on
$$\begin{align*}\sum_k \dim H^k(\mathrm{Ker}\, d^c) + \dim H^k({\mathcal A}/ \mathrm{Im} \, d^c) = 2 \sum_k b_k. \end{align*}$$
${\mathcal A}$
that all involved quantities are finite).
-
(5) The bicomplex
$({\mathcal A}, \partial , {\bar \partial })$
decomposes as a direct sum of dots, squares, and length
$3$
zigzags. -
(6) The Frölicher (row- and column-) spectral sequences degenerate at
$E_1$
, and the total purity defect is equal to
$1$
.
The purity defect will be introduced in Section 3.3, where the equivalence of Condition
$(6)$
will be proved.
Remark 3.10. If
${\mathcal A}$
is equipped with a real structure
$\sigma $
(e.g. if
${\mathcal A}={\mathcal A}(M)$
), then d and
$d^c$
are real operators and one may replace
${\mathcal A}$
by the fixed points of
$\sigma $
(the real forms) in Conditions
$(1)$
–
$(4)$
. In that setting, also, the two spectral sequences in Condition
$(6)$
are conjugate to each other, so it suffices to consider one.
Proof. The sequence in Condition
$(1)$
has a vanishing connecting homomorphism if and only if the long exact sequence splits into short exact sequences
which holds if and only if the diagram in Condition
$(2)$
is a pushout and pullback for all
$k \geq 0$
. To see the equivalence of the third condition, note that from the definitions we have
$$\begin{align*}H( {\mathcal A} / \mathrm{Im} \,d^c) = \frac{d^{-1}(\mathrm{Im} \,d^c)}{\mathrm{Im} \, d + \mathrm{Im} \,d^c} \quad \textrm{and} \quad H(\mathrm{Ker}\, \, d^c) = \frac{\mathrm{Ker}\, \, d \cap \mathrm{Ker}\, \, d^c}{ d( \mathrm{Ker}\, \,d^c)}. \end{align*}$$
Condition
$(3)$
expresses that the connecting homomorphism
$\delta $
has image zero.
The equivalence of Conditions
$(4)$
to
$(1)$
can be seen as follows. For any compact complex manifold, the long exact sequence of Theorem 3.6 implies:
$$\begin{align*}\dim \left( H^k(\mathrm{Ker}\, d^c) / \mathrm{Im} \, \delta_{k-1} \right) + \dim \left( \mathrm{Ker}\, \delta_k \right)= 2 b_k. \end{align*}$$
Then the equality in Condition
$(4)$
holds if and only if Condition
$(1)$
holds.
Proving that Condition
$(5)$
is equivalent to Condition
$(1)$
will require several steps. First, the diagram
$$\begin{align*}\delta_k: H^k ( {\mathcal A} / \mathrm{Im} \, d^c ) \to H^{k+1} ( \mathrm{Ker}\, d^c ) \end{align*}$$
can be understood as a functor on the category of bicomplexes over
$\mathbb {C}$
, with values in the (linear) category of diagrams of two vector spaces and a linear map between them. Namely, for any bicomplex
$(\mathcal {B}, \partial , \bar \partial )$
, we let
$d = \partial + \bar \partial $
, and
$d^c = i ( \bar \partial - \partial )$
, and consider the diagram above. The map
$\delta _k$
is readily seen to be induced by d. This functor is linear, and it takes direct sums of bicomplexes to direct sums of vector spaces and maps between them, since
$\mathrm{Ker}\, d^c$
and
$\mathcal {B}/\mathrm {Im} \, d^c$
are compatible with direct sums.
From [Reference Khovanov and QiKQ20], [Reference StelzigSte21b], every (bounded) bicomplex
$(\mathcal {B}, \partial , \bar \partial )$
decomposes as a direct sum of dots, squares, and zigzags, the definition of which we recall below.
To complete the proof of the claim, it suffices to check that the map
$$\begin{align*}\delta_j: H^j ( {\mathcal A} / \mathrm{Im} \, d^c ) \to H^{j+1} ( \mathrm{Ker}\, d^c ) \end{align*}$$
is zero, for all j, on all bicomplexes which contain only dots, squares, and length
$3$
zigzags, and that
$\delta _j$
is nonzero for some j on any bicomplex that contains an even-length zigzag, or an odd zigzag of length
$5$
or higher. We summarize these groups and the map
$\delta _k$
in Figure 1 below, which can be checked on a case-by-case basis, and explains the case of each row in the diagram.
Figure 1 Zigzag contributions for the connecting map
${\delta _k: H^k({\mathcal A} / \mathrm {Im} \, d^c ,d) \to H^{k+1}(\mathrm{Ker}\, d^c ,d).}$
(Dot) The case of a dot is a single vector space
$\mathbb {C}$
, in some bidegree
$(p,q)$
with
$k=p+q$
, and zeroes elsewhere with vanishing differentials
$\partial $
and
${\bar \partial }$
. We compute that
${\mathcal A} / \mathrm {Im} \, d^c = \mathrm{Ker}\, d^c = \mathbb {C}$
in degree k, with zero in all other degrees, so that
$\delta _j : H^j ( {\mathcal A} / \mathrm {Im} \, d^c ) \to H^{j+1}( \mathrm{Ker}\, d^c )$
is the zero map for all j.
(Square) A square is a bicomplex whose only nonzero entries are as follows, with maps that are isomorphisms:
Let
$k = p+q$
. Computing the total complexes
$ ({\mathcal A} / \mathrm {Im} \, d^c ,d)$
in total degrees
$k,k+1,k+2$
, we have
$\mathbb {C} {\stackrel {\sim }{\smash {\longrightarrow }\rule {0pt}{0.4ex}}} \mathbb {C} \to 0$
. Similarly, the complex
$(\mathrm{Ker}\, d^c, d) $
in degrees
$k,k+1,k+2$
is
$0 \to \mathbb {C} {\stackrel {\sim }{\smash {\longrightarrow }\rule {0pt}{0.4ex}}} \mathbb {C}$
. This shows the functors
$H ( {\mathcal A} / \mathrm {Im} \, d^c )$
and
$H( \mathrm{Ker}\, d^c )$
vanish on squares, and clearly,
$\delta _j=0$
for all j.
(Odd length
$3$
zigzag) Consider an ‘L’, that is a length
$3$
zigzag with outgoing differentials that are isomorphisms:
In this case, the total complex
$ ({\mathcal A} / \mathrm {Im} \, d^c ,d)$
in degrees
$k,k+1$
is
$\mathbb {C} {\stackrel {\sim }{\smash {\longrightarrow }\rule {0pt}{0.4ex}}} \mathbb {C}$
, so the cohomology
$ H ({\mathcal A} / \mathrm {Im} \, d^c ,d)$
is zero in all degrees. Similarly, the complex
$(\mathrm{Ker}\, d^c, d) $
in total degrees
$(k,k+1)$
is
$0 \to \mathbb {C}^2$
and the cohomology
$H(\mathrm{Ker}\, d^c, d) $
is
$(0,\mathbb {C}^2)$
in degrees k and
$k+1$
, respectively. Thus,
$\delta _j=0$
for all j.
Next, we consider a ‘reverse L’, that is a length
$3$
zigzag with incoming differentials that are isomorphisms:
In this case, the total complex
$ ({\mathcal A} / \mathrm {Im} \, d^c ,d)$
in total degrees
$(k+1,k+2)$
is
$\mathbb {C}^2 \to 0$
, so the cohomology
$ H ({\mathcal A} / \mathrm {Im} \, d^c ,d)$
is
$(\mathbb {C}^2,0)$
in total degrees
$k+1$
and
$k+2$
, respectively. Similarly, the complex
$(\mathrm{Ker}\, d^c, d) $
in total degrees
$(k+1,k+2)$
is
$\mathbb {C}{\stackrel {\sim }{\smash {\longrightarrow }\rule {0pt}{0.4ex}}} \mathbb {C}$
and the cohomology
$H(\mathrm{Ker}\, d^c, d) $
is
$(0,0)$
in degrees
$k+1$
and
$k+2$
, respectively. Thus,
$\delta _j=0$
for all j.
(General odd-length zigzag) For general odd-length zigzags, we have two cases, outgoing and incoming:
Consider the first case, which is in total degrees k and
$k+1$
, with vector spaces
$\mathbb {C}^m$
and
$\mathbb {C}^{m+1}$
, respectively. The total complex
$ ({\mathcal A} / \mathrm {Im} \, d^c ,d)$
is
$\mathbb {C}^m$
in degree k, and
$\mathbb {C}$
in degree
$k+1$
, since
$d^c$
is injective on each copy of
$\mathbb {C}$
in degree k but not onto. The differential
$d: \mathbb {C}^m \to \mathbb {C}$
is onto, so the total cohomology of
$H({\mathcal A} / \mathrm {Im} \, d^c ,d)$
is
$\mathbb {C}^{m-1}$
, and
$0$
, in total degrees k and
$k+1$
, respectively.
Continuing with this odd-length outgoing case, the total complex
$ (\mathrm{Ker}\, d^c ,d)$
is
$0$
in degree k, and
$\mathbb {C}^{m+1}$
in degree
$k+1$
. So the total cohomology of
$H(\mathrm{Ker}\, d^c ,d)$
is
$0$
and
$\mathbb {C}^{m+1}$
, in total degrees k and
$k+1$
, respectively. Finally, the differential
$\delta _k:H^k({\mathcal A} / \mathrm {Im} \, d^c ,d)\to H^{k+1}(\mathrm{Ker}\, d^c ,d)$
is the injection
$\mathbb {C}^{m-1} \to \mathbb {C}^{m+1}$
.
The case of odd-length incoming is computed similarly. The results are in Figure 1 and yield that
$\delta _k :H^k({\mathcal A} / \mathrm {Im} \, d^c ,d)\to H^{k+1}(\mathrm{Ker}\, d^c ,d)$
is the surjection
$\mathbb {C}^{m+1} \twoheadrightarrow \mathbb {C}^{m-1}$
, which is nonzero for
$m> 1$
.
(Even-length zigzags) For general odd-length zigzags, we again have two cases, where the top-leftmost space has an outgoing or incoming map:
Suppose each complex has
$\mathbb {C}^m$
in total degrees k and
$k+1$
. Here, the two cases yield the same complexes in total degree. Namely, in either case, the complex
$({\mathcal A} / \mathrm {Im} \, d^c ,d)$
is
$\mathbb {C}^m \to 0$
with the same cohomology, and the complex
$(\mathrm{Ker}\, d^c ,d)$
is
$0 \to \mathbb {C}^m$
, with the same cohomology. The differential
$\delta _k: H^k({\mathcal A} / \mathrm {Im} \, d^c ,d) \to H^{k+1}(\mathrm{Ker}\, d^c ,d)$
is the isomorphism
$\mathbb {C}^m {\stackrel {\sim }{\smash {\longrightarrow }\rule {0pt}{0.4ex}}} \mathbb {C}^m$
, which is a nonzero for
$m>0$
, that is length at least
$2$
.
Definition 3.11. The equivalent conditions in Theorem 3.9 will be referred to as the
$d d^c+3$
-condition. A complex manifold M will be said to be
$d d^c+3$
if the bicomplex of differential forms on M satisfies the
$d d^c+3$
-condition.
Example 3.12. For
$M=S^1\times S^3$
with the complex structure of a Hopf manifold, the Frölicher spectral sequence degenerates and
$b_0=b_1=1$
,
$b_2=0$
. Hence, one has (see e.g. [Reference StelzigSte21b, Chapter 4])
Hence, it is
$dd^c+3$
. We will generalize this below in two ways (to all complex surfaces and to all Vaisman manifolds).
The
$d d^c + 3$
-condition fails in general in complex dimension greater than
$2$
, as the following example shows.
Example 3.13. For
$M=S^3 \times S^3$
with the Calabi-Eckmann complex structure,
$h^{0,1}(M)\neq 0$
by [Reference BorelBor66], so the Frölicher spectral sequence does not degenerate. Thus, M is not
$dd^c+3$
. One can analyse this failure more precisely. In fact, one may extract from the calculations in [Reference Angella and TomassiniAT15, Section 3.3] that
By inspecting Figure 1, one sees that the connecting homomorphism
$$\begin{align*}\delta_k: H^k \left( {\mathcal A} / \mathrm{Im} \, d^c \right) \to H^{k+1} \left( \mathrm{Ker}\, d^c \right) \end{align*}$$
is an isomorphism for
$k=1,\ 4$
, and the source and target are nonzero (in fact 2-dimensional) in this case.
We end this section with a remark concerning the other potential extremity of the connecting homomorphism.
Remark 3.14. The connecting homomorphism
$\delta $
is an isomorphism (away from the top and bottom degrees) if and only if M is a rational homology sphere. Note that beyond the standard sphere
$S^6$
, there are numerous rational homology
$6$
-spheres that are almost complex. In fact, as shown by ([Reference Albanese and MilivojevićAM19], p.5), performing surgery on the first factor of
$S^1 \times N$
preserves the condition of being spin
$^c$
, which in dimension
$6$
is equivalent to being almost complex. Applying this construction to those
$5$
-dimensional lens spaces which are spin
$^c$
yields infinitely many topologically distinct examples. It is not known if any posses a complex structure.
3.3 Purity defect
We relate the
$d d^c +3$
-condition to a modest failure of the pure Hodge condition. To do this, we introduce a definition that measures the extent to which a complex manifold fails to have a pure Hodge structure, namely a nonnegative integer, called the purity defect, defined in terms of the Hodge filtration. Proposition 3.18 shows that this number simply measures the longest odd-length zigzag in the bicomplex
$({\mathcal A},\partial , {\bar \partial })$
. It will follow that a manifold satisfies the
$d d^c +3$
-condition if and only if there is first page degeneration and purity defect at most
$1$
, Corollary 3.20. Again, the definition and the last mentioned corollary work just as well for any (bounded) bicomplex, but for ease of language and because we show some specifically geometric results, we work with the complex of differential forms in this subsection.
Recall that for any complex manifold
$(M,J)$
, the Hodge-filtration,
$$\begin{align*}F^p {\mathcal A}^k(M) := \bigoplus_{j\geq p} {\mathcal A}^{j,k-j} (M), \end{align*}$$
induces a filtration on the de Rham cohomology, via
$$\begin{align*}F^p H^k_{d R}(M;\mathbb{C}) := \mathrm{Im}\left(F^p {\mathcal A}^k(M) \cap \mathrm{Ker}\, d\longrightarrow H_{\mathrm{dR}}^k(M;\mathbb{C})\right), \end{align*}$$
as the space of de Rham classes that are representable by forms with holomorphic bidegree greater than or equal to p. We let
$\bar F$
denote the conjugate filtration, and we say that
$H^k_{d R}(M)$
inherits a pure Hodge structure (of weight k in degree k) if
$$\begin{align*}H^k_{d R}(M ;\mathbb{C}) = \bigoplus_{p+q=k} F^p H^k_{d R}(M;\mathbb{C}) \cap \bar F^q H^k_{d R}(M;\mathbb{C}). \end{align*}$$
Definition 3.15. Let
$(M,J)$
be a complex manifold.
-
(1) The total filtration is the descending filtration defined by
$$\begin{align*}F_{tot}^rH_{\mathrm{dR}}^k(M):=\sum_{p+q=r}F^pH^k_{\mathrm{dR}}(M;\mathbb{C})\cap \bar{F}^qH^k_{\mathrm{dR}}(M;\mathbb{C}). \end{align*}$$
-
(2) The purity defect in degree k is defined to be:
where we understand the maximum to be
$$\begin{align*}\mathrm{pdef}_k(M):=\max \bigg\{ |d| \, \bigg| \, d\in\mathbb{Z} \,\, \text{and} \,\, \operatorname{gr}_{F_{tot}}^{k+d}\! H_{\mathrm{dR}}^k(M;\mathbb{C})\neq 0 \bigg\}, \end{align*}$$
$0$
if
$H_\mathrm{{dR}}^k(M;\mathbb {C})=0$
.
-
(3) The (total) purity defect is the nonnegative integer
$$\begin{align*}\mathrm{pdef}(M):=\max_k \mathrm{pdef}_k(M). \end{align*}$$
Note that
$F_{tot}^r=0$
for r sufficiently large. In particular,
$$\begin{align*}F^p H^k_{d R}(M;\mathbb{C}) \cap \bar F^q H^k_{d R}(M;\mathbb{C}) =0 \end{align*}$$
whenever
$p+q-k$
is greater than the purity defect in degree k. This observation admits a sort of converse. As a consequence of Serre duality, on any connected compact complex manifold, one has nondegenerate pairings (cf. [Reference StelzigSte22a])
$$\begin{align*}\operatorname{gr}^{k+d}_{F_{tot}}H_{\mathrm{dR}}^k(M;\mathbb{C})\times\operatorname{gr}_{F_{tot}}^{2n-k-d} H_{\mathrm{dR}}^{2n-k}(M;\mathbb{C})\to\mathbb{C}. \end{align*}$$
Thus, we have:
Lemma 3.16. On a connected compact complex manifold M, the purity defect
$\mathrm {pdef}(M)$
is the absolute value of the maximal number
$p+q-k$
, such that
$$\begin{align*}F^pH_{\mathrm{dR}}^k(M;\mathbb{C})\cap \bar F^qH_{\mathrm{dR}}^k(M;\mathbb{C})\neq 0. \end{align*}$$
Example 3.17. We list some low degree examples and a bound of
$\mathrm {pdef}(M)$
in terms of the dimension of M. Let
$H^k = H^k_{d R}(M;\mathbb {C})$
.
-
(1) The purity defect is
$0$
in degree k if and only if and
$$\begin{align*}F^p H^k \cap \bar F^q H^k = 0 \quad \quad \textrm{for } p+q>k, \end{align*}$$
Equivalently, this holds if and only if there is a pure Hodge structure of weight k in degree k, that is the bicomplex
$$\begin{align*}\sum_{p+q=k} F^p H^k\cap\bar F^p H^k=H^k. \end{align*}$$
$({\mathcal A}, \partial ,{\bar \partial })$
has no odd zigzags of length greater than
$1$
(c.f. [Reference Deligne, Griffiths, Morgan and SullivanDGMS75] [Reference StelzigSte21b]).
-
(2) The purity defect is at most
$1$
in degree k if and only if and
$$\begin{align*}F^p H^k \cap \bar F^q H^k = 0 \quad \quad \textrm{for } p+q> k+ 1, \end{align*}$$
Thus, if a nonzero class
$$\begin{align*}\sum_{p+q=k-1} F^p H^k\cap\bar F^p H^k=H^k. \end{align*}$$
$[\omega ^{p,q}]=[\omega ^{r,s}]$
has two pure representatives of types
$(p,q)$
and
$(r,s)$
, then
$|p-r|\leq 1$
, and additionally, every class
$\mathfrak {c}\in H^k$
can be written as a sum of classes
$\mathfrak {c}=\sum \mathfrak {c}_i$
, where each
$\mathfrak {c}_i=[\omega ^{p_i,q_i}+\omega ^{p_i+1,q_i-1}]$
is representable by a closed form with at most two neighbouring components. In particular, for any n-dimensional complex manifold M, one has
$\mathrm {pdef}_1(M)=\mathrm {pdef}_{2n-1}\leq 1$
. As we see in the proposition below, a purity defect of at most
$1$
implies all odd zigzags are length at most
$3$
.
-
(3) On any compact complex manifold of complex dimension n, Serre duality and bidegree reasons imply
In particular,
$$\begin{align*}\mathrm{pdef}_k(M)=\mathrm{pdef}_{2n-k}(M)\leq k. \end{align*}$$
$\mathrm {pdef}(M)\leq n$
. The inequality will be improved in Corollary 3.19 below to
$\mathrm {pdef}(M)\leq n-1$
.
Proposition 3.18. A complex manifold
$(M,J)$
has
$\mathrm {pdef}(M)\leq \ell $
if and only if there are no zigzags of odd length greater than
$2\ell +1$
, in any decomposition of
${\mathcal A}(M)$
into indecomposables.
This follows because the multiplicity of odd-length zigzags with length
$2|p+q-k|+1$
are measured by the refined Betti-numbers
$$\begin{align*}b_k^{p,q}(M)= \dim \frac{F^pH^k\cap \bar F^qH^k}{F^{p+1}H^k\cap \bar F^qH^k+F^pH^k\cap \bar F^{q+1}H^k}, \end{align*}$$
where
$H^k:=H^k_\mathrm{{dR}}(M;\mathbb {C})$
(see [Reference StelzigSte21b]). We recall the simple idea behind this formula, which also explains Proposition 3.18. Consider an odd zigzag of the form
The total cohomology is
$1$
-dimensional and represented both by a generator for the top left corner and by the cohomologous generator for the bottom right corner. So, the longer such a zigzag is, the greater the possible value
$r=p+q$
, such that
$F^pH^k_\mathrm{{dR}}(M;\mathbb {C})\cap \bar {F}^qH^k_\mathrm{{dR}}(M;\mathbb {C}) \neq 0$
, and the greater is the purity defect. A similar calculation can be done for odd zigzags with incoming arrows.
Corollary 3.19. For any compact complex manifold of complex dimension n, the inequality
$\mathrm {pdef}(M)\leq n-1$
holds.
Proof. By Proposition 3.18,
$\mathrm {pdef}(M)=n$
implies that there is a zigzag of length
$2n+1$
, which, for space reasons, would have to have a nonzero component in bidegree
$(n,0)$
. However, by an application of Stokes’ theorem, one may see that the only indecomposable complexes with nonzero components in degree
$(n,0)$
are dots and squares (c.f. [Reference StelzigSte21b, Chapter 4]).
The following corollary completes the proof of Theorem 3.9, showing Condition
$(5)$
is equivalent to Condition
$(6)$
.
Corollary 3.20. The
$d d^c + 3$
-condition holds if and only if the Frölicher spectral sequence degenerates at
$E_1$
and the purity defect is at most
$1$
.
Proof. Degeneration at
$E_1$
occurs if and only if there are no even zigzags, and purity defect at most
$1$
occurs if and only if there are no odd zigzags of length greater than
$3$
. The two together are equivalent to the condition that a bicomplex
$({\mathcal A},\partial ,{\bar \partial })$
decomposes into a direct sum of dots, squares, and length
$3$
zigzags.
Corollary 3.21. The
$dd^c$
-condition holds if and only if the
$dd^c + 3$
condition holds and
$H_{d R}(M;\mathbb {C})$
has a pure Hodge structure in all degrees, that is purity defect is
$0$
.
Remark 3.22. The last two corollaries suggest a natural generalization of the
$dd^c+3$
condition: Consider those manifolds with degenerate Frölicher spectral sequence and a fixed bound on the purity defect (i.e. no even zigzags and bounded length of odd zigzags). This type of condition will also naturally reappear in later sections.
Proposition 3.23. For any compact complex manifolds, M and N,
$$\begin{align*}\mathrm{pdef}(M\times N)=\mathrm{pdef}(M)+\mathrm{pdef}(N). \end{align*}$$
Proof. Let
$Z_M$
be an odd zigzag of maximal length
$2m+1$
in
${\mathcal A}(M)$
and
$Z_N$
an odd zigzag of maximal length
$2n+1$
in
${\mathcal A}(N)$
. By Serre duality, we may assume they both have incoming outermost arrows. Now, there is an
$E_1$
-isomorphism
${\mathcal A}(M\times N)\simeq _1 {\mathcal A}(N)\otimes {\mathcal A}(M)$
, and so
$Z_M\otimes Z_N$
is a direct summand in
${\mathcal A}(M\times N)$
. But
$Z_M\otimes Z_N\simeq _1 Z_{M\times N}$
, where
$Z_{M\times N}$
is an odd zigzag of length
$2(n+m)+1$
. Thus,
$\mathrm {pdef}(M)+\mathrm {pdef}(N)\leq \mathrm {pdef}(M\times N)$
. The argument also works the other way, since a tensor product of an even-length zigzag with any other bicomplex does not contain odd zigzags ([Reference StelzigSte21b, Chapter 3]).
We conclude with the following curious observation:
Proposition 3.24. If
$\mathrm {pdef}(M)\leq 1$
, the cohomology algebra
$H(\mathrm{Ker}\, d^c)$
carries a multiplicative Hodge structure, that is, the cohomology groups
$H^k(\mathrm{Ker}\, \, d^c)$
admit a real Hodge structure of weight k, such that the cup product restricts to maps
$H^{p,q}(\mathrm{Ker}\, d^c)\otimes H^{p',q'}(\mathrm{Ker}\, d^c)\longrightarrow H^{p+p',q+q'}(\mathrm{Ker}\, d^c)$
(c.f. [Reference VoisinVoi08]).
Proof. First note that the Hodge filtrations on
$\mathrm{Ker}\, d^c$
(induced by row and column filtration on
${\mathcal A}(M)$
) are compatible with the wedge product, since they are on
${\mathcal A}(M)$
. In particular, the cup product on cohomology respects these filtrations, that is
$F^pH^r(\mathrm{Ker}\, d^c)\cup F^qH^s(\mathrm{Ker}\, d^c)\subseteq F^{p+q}H^{r+s}(\mathrm{Ker}\, d^c)$
and similarly for
$\bar F$
. Now we argue via indecomposable bicomplexes: For I any square, or reverse L,
$\mathrm{Ker}\, d^c (I)$
is contractible. For I any even-length zigzag, dot, or L, the bicomplex structure on I induces a bicomplex structure on
$\mathrm{Ker}\, d^c(I)$
, which is then a direct sum of dots. Thus, in all cases that have
$\mathrm {pdef}(I)\leq 1$
, the Hodge filtrations induce a pure Hodge structure on
$H^k(\mathrm{Ker}\, d^c)$
.
As noted in [Reference VoisinVoi08], the existence of a multiplicative Hodge structure on an algebra H imposes further conditions beyond
$b_{2k+1}$
are even. For example, the image of the cup product maps
$\mathrm {Im}(\cup :H^k\otimes H^{l}\to H^{l+k})$
are sub-Hodge structures, and thus have even rank whenever
$l+k$
is odd.
3.4 Relation to Bott-Chern and Aeppli cohomologies
Recall the Bott-Chern and Aeppli cohomologies are defined as follows:
$$\begin{align*}H^k_{BC}({\mathcal A}) = \frac{\mathrm{Ker}\, d \cap \mathrm{Ker}\, d^c}{ \mathrm{Im} \,d d^c} \cap {\mathcal A}^k \quad \quad H^k_A ({\mathcal A}) = \frac{\mathrm{Ker}\, d d^c}{\mathrm{Im} \,d + \mathrm{Im} \,d^c} \cap {\mathcal A}^k. \end{align*}$$
It is well known that these are finite dimensional, that
$H_{BC}$
is a bigraded algebra, that
$H_A$
is a bigraded module over
$H_{BC}$
, and that for any choice of metric,
$\star : H_{BC} \to H_A$
is an isomorphism on complementary degrees. Moreover, there is a well-defined natural transformation,
$$\begin{align*}d: H^*_A \to H^{*+1}_{BC}. \end{align*}$$
Proposition 3.25. For any complex manifold (respectively, any bicomplex), there is a natural surjection
$$\begin{align*}\phi: H^*_{BC} ({\mathcal A}) \twoheadrightarrow H^*(\mathrm{Ker}\, d^c) \quad \textrm{with} \quad \mathrm{Ker}\,(\phi) = \frac{d(\mathrm{Ker}\, d^c)}{\mathrm{Im} \, d d^c}, \end{align*}$$
and injection
$$\begin{align*}\psi: H^* ( {\mathcal A} / \mathrm{Im} \, d^c ) \hookrightarrow H^*_A ({\mathcal A}) \quad \textrm{with} \quad \mathrm{Coker}\,(\psi) = \frac{\mathrm{Ker}\, d d^c}{d^{-1} \mathrm{Im} \,d^c}, \end{align*}$$
induced by the identity map.
In particular, for any compact complex manifold, the groups
$H^k ( \mathrm{Ker}\, d^c )$
and
$H^k ( {\mathcal A} / \mathrm {Im} d^c )$
, as well as
$ \mathrm{Ker}\,(\phi ) $
and
$ \mathrm{Coker}\,(\psi )$
, are finite dimensional for all k.
Proof. This follows since
$$\begin{align*}H^*(\mathrm{Ker}\, d^c) = \frac{\mathrm{Ker}\, d \cap \mathrm{Ker}\, d^c}{ d( \mathrm{Ker}\, \,d^c)} \quad \quad H^*({\mathcal A}/ \mathrm{Im} \,d^c) = \frac{d^{-1} \mathrm{Im} \, d^c}{\mathrm{Im} \,d + \mathrm{Im} \, d^c}.\\[-42pt] \end{align*}$$
Definition 3.26. For any bicomplex
${\mathcal A}$
, define the obstruction to purity groups
$$\begin{align*}H^k_{\urcorner} ({\mathcal A}) = \frac{d(\mathrm{Ker}\, d^c)}{\mathrm{Im} \, d d^c} \, \cap \, {\mathcal A}^k \quad \quad \quad \quad H^k_{\llcorner} ({\mathcal A}) = \frac{\mathrm{Ker}\, d d^c}{d^{-1} \mathrm{Im} \, d^c} \, \cap \,{\mathcal A}^k \quad \quad. \end{align*}$$
In summary, we have a diagram
Proposition 3.27. On a compact connected n-dimensional complex manifold M, the integration pairing
$\omega \mapsto \int _M \omega \wedge -$
induces a duality between the vertical short exact sequences, in that
$$\begin{align*}H^k (\mathrm{Ker}\, d^c) \cong (H^{2n-k} ({\mathcal A}/ \mathrm{Im} \, d^c))^{\vee} \quad \textrm{and} \quad H^k_{\urcorner} (M)\cong (H^{2n-k}_{\llcorner} (M))^{\vee}, \textrm{ for all }k. \end{align*}$$
Proof. This follows from a general duality statement for cohomological functors. We do the first case in detail. The linear functor sending a bicomplex
$(A,\partial ,{\bar \partial })$
to
$H^k(\mathrm{Ker}\, d^c(A))$
sends squares to zero and commutes with arbitrary direct sums, and so defines a cohomological functor. Denote by
$D{\mathcal A}$
the dual bicomplex as a bigraded vector space given by
$(D{\mathcal A})^{p,q}=(A^{n-p,n-q})^{\vee }$
with differential
$d_{D{\mathcal A}}=(\varphi \mapsto (-1)^{|\varphi |-1}\varphi \circ d)$
. Since M is compact and oriented, the duality map
${\mathcal A}\to D{\mathcal A}$
given by
$\omega \mapsto \int _M \omega \wedge -$
induces an isomorphism on all cohomological functors [Reference StelzigSte21b, Corollary 20], so, in particular
$$\begin{align*}H^k(\mathrm{Ker}\, d^c({\mathcal A}))\cong H^k(\mathrm{Ker}\, d^c(D{\mathcal A})). \end{align*}$$
Now it is a linear algebra calculation to show that
$$\begin{align*}H^k(\mathrm{Ker}\, d^c(D{\mathcal A}))\cong (H^{2n-k}({\mathcal A}/\mathrm{Im} \, d^c))^{\vee}. \end{align*}$$
In fact, since over fields cohomology commutes with duals, this follows from the identification
$$\begin{align*}[\mathrm{Ker}\, d^c(D{\mathcal A})]^k=\{\varphi\in [{\mathcal A}^{2n-k}]^{\vee} \mid \varphi\circ d^c=0\}\cong ([{\mathcal A}/\mathrm{Im} \, d^c]^{2n-k})^{\vee}.\\[-37pt] \end{align*}$$
The following result will characterize the case in which
$\phi $
and
$\psi $
are isomorphisms, in terms of the existence of a pure Hodge structure.
Theorem 3.28. Let
${\mathcal A}$
be a bicomplex. The following are equivalent:
-
(1)
$\mathrm {pdef}({\mathcal A})=0$
. -
(2) The de Rham cohomology
$H^k_{d R}({\mathcal A})$
inherits a pure Hodge structure in all degrees k. -
(3) The purity obstruction groups vanish for all k,
$$\begin{align*}H^k_{\urcorner} ({\mathcal A}) =0 \quad \textrm{and} \quad H^k_{\llcorner} ({\mathcal A}) = 0. \end{align*}$$
-
(4) The natural maps induced by the identity,
are isomorphisms for all k.
$$\begin{align*}\phi: H^k_{BC} ({\mathcal A}) \to H^k(\mathrm{Ker}\, d^c) \quad \textrm{and} \quad \psi: H^k \left( {\mathcal A} / \mathrm{Im} \,d^c \right) \to H^k_A ({\mathcal A}) , \end{align*}$$
Proof. It remains only to show Condition
$(3)$
is equivalent to Condition
$(2)$
. Let us focus on the groups
$H_{\urcorner }$
first, where a similar calculation can be done for
$H_{\llcorner }$
, or, if
${\mathcal A}={\mathcal A}(M)$
for a compact manifold, one may appeal to Serre duality as in Proposition 3.27.
Figure 2 Zigzag contributions for the short exact sequence
${0\to H_{\urcorner } ({\mathcal A}) \to H_{BC}({\mathcal A}) \to H(\mathrm{Ker}\, \, d^c)\to 0.}$
Recall that
$H_\mathrm{{dR}}({\mathcal A}) $
has a pure Hodge structure if and only if there are only squares, even zigzags, and dots, with no odd zigzags of length greater than
$1$
[Reference StelzigSte21b]. The proof then proceeds by computing either
$H_{\urcorner }({\mathcal A}) $
or
$\phi $
on every type of indecomposable complex. The results are summarized in Figure 2.
3.5 Numeric inequalities and characterizations
In Theorem 3.9, we gave a numeric characterization of the
$dd^c+3$
condition as an equality of cohomology dimensions. In this section, we characterize this as the extremal case of an inequality valid for all compact complex manifolds, and derive some related numerical inequalities. These should be compared to the result of [Reference Angella and TomassiniAT13], that for any compact complex manifold
$$\begin{align*}\sum_k \dim H^k_A(M)+ \dim H^k_{BC}(M) \geq 2 \sum_k b_k. \end{align*}$$
Here,
$b_k:=\dim H^k(M)$
denotes the dimension of the de Rham cohomology, and equality holds if and only if the
$dd^c$
-condition holds. This will also follow from the results below. Again, all results remain valid if we let
${\mathcal A}$
be an arbitrary bicomplex for which all quantities considered here are finite.
For any compact complex manifold, define the following numbers:
$$ \begin{align*} h_{BC} &= \sum_k \dim H^k_{BC} & h_A &=\sum_k \dim H^k_{A} \\ h_{\mathrm{Ker}\, d^c} &= \sum_k \dim H^k(\mathrm{Ker}\, d^c) & h_{{\mathcal A} / \mathrm{Im}\,d^c} &= \sum_k \dim H^k({\mathcal A} / \mathrm{Im} \, d^c) \\ h_{\bar \partial} &= \sum_{\stackrel{p+q=k}{k\geq0}} \dim H^{p,q}_{\bar \partial} & h_{\partial} &= \sum_{\stackrel{p+q=k}{k\geq0}}\dim H^{p,q}_{\partial}. \end{align*} $$
Proposition 3.29. For any compact complex manifold
$(M,J)$
,
$$\begin{align*}h_{BC} + h_A \geq h_{\mathrm{Ker}\, d^c} + h_{{\mathcal A} / \mathrm{Im}\,d^c} \geq h_{\bar \partial} + h_{\partial} \geq 2 \sum_k b_k. \end{align*}$$
-
(1) The first inequality is equality if and only if there is a pure Hodge structure.
-
(2) The middle inequality is equality if and only if
$E_2$
-degeneration and purity defect
$1$
, that is only zigzags of length at most
$3$
. -
(3) The last inequality is equality if and only if
$E_1$
-degeneration. -
(4) The first two inequalities are both equality if and only if pure Hodge and
$E_2$
-degeneration. -
(5) The last two inequalities are both equality if and only if
$d d^c + 3$
.
Remark 3.30. A characterization of the outermost equality
$h_{BC}+h_A=2\sum b_k$
was also obtained in [Reference Popovici, Stelzig and UgartePSU20].
Proof. Claim
$(1)$
is in Theorem 3.28, while Claim
$(3)$
is immediate. Claim
$(4)$
follows from Claims
$(1)$
and
$(2)$
, while Claim
$(5)$
follows from Claims
$(2)$
,
$(3)$
, and Theorem 3.9. It remains to show Claim
$(2)$
. This follows from an inspection of Figure 1 and the observation that the expression
$h_{{\bar \partial }}+h_{\partial }$
vanishes on squares and is equal to two on every zigzag, regardless of its length.
Remark 3.31. On a compact complex manifold, by duality and real structure, one may replace the chain of inequalities by
$$\begin{align*}h_{BC}\geq h_{\mathrm{Ker}\, d^c}\geq h_{{\bar \partial}}\geq \sum b_k, \end{align*}$$
with the same characterizations of equalities.
4 First examples of
$dd^c+3$
manifolds and construction methods
In addition to all
$d d^c$
-manifolds, there are numerous examples of
$dd^c+3$
-manifolds.
4.1 Complex surfaces
For every compact complex surface S, the Frölicher spectral sequence degenerates at the first page [Reference Barth, Hulek, Peters and Van de VenBHPVdV04] and, by Corollary 3.19, one has
$\mathrm {pdef}(S)\leq 1$
. Thus:
Corollary 4.1. Any compact complex surface satisfies the
$dd^c+3$
-condition.
One may also describe the entire bicomplex in detail: Let us assume S to be connected.
$E_1$
-degeneration implies that there can be no even zigzags.
$H^0_\mathrm{{dR}}(S)$
,
$H^2_\mathrm{{dR}}(S)$
,
$H^4_\mathrm{{dR}}(S)$
have a pure Hodge decomposition, [Reference Barth, Hulek, Peters and Van de VenBHPVdV04], so there are no odd-length zigzags (other than dots) contributing to
$b_0,b_2,b_4$
. On the other hand,
$H^1_\mathrm{{dR}}(S)$
(and by duality
$H^3_\mathrm{{dR}}(S)$
) admit a pure Hodge structure if and only if
$b_1$
is even, which coincides with the Kähler case. If
$b_1$
is odd, then
$h^{0,1}=h^{1,0}+1$
, and the first and third cohomologies have purity defect
$1$
, in the sense of Definition 3.15.
In fact, the decomposition of the complex valued differential forms
${\mathcal A}(S)$
into indecomposables is as follows:
Here,
$\varepsilon =0$
if and only if S satisfies the
$d d^c$
-condition, and
$\varepsilon =1$
otherwise.
We remark that the entire long exact sequence from Theorem 3.6, as well as the various groups considered here, can all be deduced from the decomposition into indecomposables above. Therefore, they are determined by the oriented topology of S.
4.2 Twistor spaces
Let M be a compact four-manifold with a self-dual Riemannian metric and denote by
$Z(M)$
its twistor space. In [Reference Eastwood and SingerES93], it is shown that the Frölicher spectral sequence of
$Z(M)$
always degenerates at the second page. Furthermore, this second page
$E_2$
is computed in terms of metric data on the base as follows:
Here,
$H^2_{\pm }(M;\mathbb {C})$
denote the spaces of (anti)self-dual classes, and the definition of
$H, K$
need not concern us.
Due to the lack of symmetry in the
$E_2^{1,0}$
and
$E_2^{0,1}$
, we see that as soon as
$b_1(M)\neq 0$
, or
$b_2^-(M)\neq 0$
, the twistor space does not satisfy the
$d d^c$
-condition. However:
Proposition 4.2. Whenever
$E_1(Z(M))=E_2(Z(M))$
and
$b_2^-(M)=0$
, the twistor space
$Z(M)$
is
$dd^c+3$
.
Proof. By the degeneration assumption, there are no even zigzags in any decomposition of
${\mathcal A}(Z(M))$
into indecomposables. It remains to rule out the possibility of odd zigzags of length greater than
$3$
, which, for dimension reasons, must have length
$5$
or
$7$
. Length
$7$
zigzags do not occur by Corollary 3.19. There are two possibilities for a length
$5$
zigzag on a three-fold:
Any complex having one of these as a direct summand would have
$E_2^{0,2}\neq 0$
, and
$E_2^{2,0}\neq 0$
, respectively, both of which are prohibited here.
In [Reference Eastwood and SingerES93, Theorem 5.6], Eastwood and Singer construct, for any
$g\geq 0$
, conformally flat metrics on
$M=\#_g(S^1\times S^3)$
, such that
$E_1(Z(M))=E_2(Z(M))$
. Since
$b_2(S^1\times S^3)=0$
, this implies:
Corollary 4.3. For any
$g\geq 0$
, there are metrics on
$M=\#_g(S^1\times S^3)$
, such that the associated twistor space
$Z(M)$
is a
$dd^c+3$
-manifold.
4.3 Construction methods of
$dd^c+3$
-manifolds
The behaviour of the bicomplex of differential forms, up to
$E_1$
-isomorphism, is known for several standard operations [Reference StelzigSte21a]. From this, we deduce many constructions which preserve the
$dd^c+3$
-condition.
Proposition 4.4. The
$dd^c+3$
condition has the following behaviour under geometric constructions:
-
(1) A blow-up of a manifold M along a smooth centre
$Z\subseteq M$
is
$dd^c+3$
if and only if both M and Z are
$dd^c+3$
. -
(2) A product is
$dd^c+3$
if and only if one factor is a
$dd^c+3$
-manifold and one is a
$dd^c$
-manifold. -
(3) The target of a holomorphic surjection
$f:M\to N$
with
$M \ dd^c+3$
and
$\dim M=\dim N$
is, again,
$dd^c+3$
. -
(4) Projectivized holomorphic vector bundles are
$dd^c+3$
-manifolds if and only if the base of the bundle is a
$dd^c+3$
-manifold.
Proof. Let M be a complex manifold. Denote by
$\tilde {M}$
the blow-up of M in some smooth centre Z of codimension
$d\geq 2$
. Let
${\mathcal V}$
be a holomorphic vector bundle of rank r over M. Let
$f:M\to N$
be a holomorphic surjection. In [Reference StelzigSte21a], it was shown that there are (chains of)
$E_1$
-isomorphisms
$$ \begin{align*} {\mathcal A}(\tilde{M})&\simeq_1 {\mathcal A}(M)\oplus_{i=1}^{d-1} {\mathcal A}(Z)[i]\\ {\mathcal A}(\mathbb{P}({\mathcal V}))&\simeq_1 \sum_{i=0}^{r-1} {\mathcal A}(M)[i]\\ {\mathcal A}(M)&\simeq_1 {\mathcal A}(N)\oplus {\mathcal A}(M)/p^*{\mathcal A}(N). \end{align*} $$
Here,
${\mathcal A}(Z)[i]$
denotes the complex shifted by degree
$(i,i)$
, that is
${\mathcal A}(Z)[i]^{p,q}={\mathcal A}(Z)^{p-i,q-i}$
. Since two bounded bicomplexes are
$E_1$
-isomorphic if and only if all zigzags have the same multiplicity, Conditions 1, 3, and 4 follow. For Condition 2, note that by the Künneth formula, there is an
$E_1$
-isomorphism
${\mathcal A}(M\times N)\simeq {\mathcal A}(M)\otimes {\mathcal A}(N)$
. If M satisfies the
$d d^c$
-condition, we have
${\mathcal A}(M)\simeq _1 D$
, where D has a trivial differential, that is it is a direct sum of dots
$D=\bigoplus D^{p,q}$
. Then
${\mathcal A}(M\times N)\simeq _1 \bigoplus _{p,q} D^{p,q}\otimes {\mathcal A}(N)$
, and the result follows because the tensor product of any bicomplex with a dot is isomorphic to a shift of the original bicomplex. Conversely, the purity defect is additive under products by Proposition 3.23, so
$\mathrm {pdef}(M\times N)\leq 1$
implies that
$\mathrm {pdef}(M)\leq 1$
and
$\mathrm {pdef}(N)=0$
, or vice versa. Furthermore, the Frölicher spectral sequence of both M and N is a direct summand in that of
$M\times N$
, so, if it degenerates on the product, it does on both factors.
Remark 4.5. Using results of Meng, one can generalize Conditions 3 and 4 (with a similar proof):
Condition 3 holds more generally whenever there exists a closed current T on M of bidegree
$(r,r)$
for
$r=\dim M-\dim N$
, such that
$f_*T\neq 0$
. This is the case, for example, for any map that admits a holomorphic section (c.f. [Reference MengMen22, Section 3]).
Condition 4 holds more generally for relative flag varieties and any bundle the cohomology of which looks additively like a product with a
$dd^c$
-manifold (i.e. which satisfies a Leray-Hirsch type theorem) (c.f. [Reference MengMen22, Proposition 3.3]).
In particular, Condition 2 holds when the centre is any curve or surface. Because the equivalence relation determined by ‘bimeromorphism’ is generated by blow-ups in smooth centres [Reference Abramovich, Karu, Matsuki and WłodarczykAKMW02], [Reference WłodarczykWł03], we obtain:
Corollary 4.6. The
$dd^c+3$
-property is a bimeromorphism invariant of compact complex manifolds in complex dimension at most four.
Similarly, the
$dd^c+3$
condition is a bimeromorphism invariant in any dimension if and only if submanifolds of
$dd^c+3$
-manifolds are, again,
$dd^c+3$
-manifolds.
Remark 4.7. Since the connecting map
$\delta _k$
in the long exact sequence vanishes on a
$dd^c+3$
-manifold, one can generalize the last corollary to the statement that the rank of
$\delta _k$
is a bimeromorphism invariant in complex dimension at most four.
4.4 Stability under deformations
In this subsection, we show that the purity defect behaves upper semicontinuously, so that the
$dd^c+3$
-condition is stable under small deformations. Under slightly stronger assumptions, which include the cases of compact surfaces and Vaisman manifolds, then the entire bicomplex is unchanged under small deformations, up to
$E_1$
-isomorphism, Proposition 4.15.
Theorem 4.8. Let M be a compact complex manifold with degenerate Frölicher spectral sequence
$E_1(M)=E_{\infty }(M)$
. For any small deformation
$\pi :\mathcal {M}\to \Delta _{\epsilon }(0)=:B$
with
${M=M_0=\pi ^{-1}(0)}$
, the dimension
$$\begin{align*}f^{p,q}_k(t):=\dim F^pH_{\mathrm{dR}}^k(M_t)\cap \bar{F}^qH_{\mathrm{dR}}^k(M_t) \end{align*}$$
behaves upper semicontinuously, that is for any t sufficiently close to
$0$
, one has:
$$\begin{align*}f^{p,q}_k(0)\geq f^{p,q}_k(t). \end{align*}$$
We learned an essential part of the argument below, namely, treating
$F^pH_\mathrm{{dR}}^k \cap \bar {F}^qH_\mathrm{{dR}}^k$
as the intersection of vector bundles, from a talk of Chi Li, c.f. [Reference LiLi23], following Voisin [Reference VoisinVoi07].
Proof. First, we recall the well known argument (see, e.g. [Reference VoisinVoi07]) that for t sufficiently close to
$0$
, the Frölicher spectral sequence of
$M_t$
degenerates and the Hodge numbers are the same as those of
$M_0$
: Choosing a smooth family of Hermitian metrics on the fibres
$M_t$
, the Hodge numbers may be computed via the
${\bar \partial }$
-Laplacian which is an elliptic operator that varies smoothly in t. Therefore, the eigenvalues vary continuously and, in particular, the dimension of the kernel (i.e. the Hodge numbers) can only drop when passing from
$M_0$
to a nearby fibre:
$$\begin{align*}h^{p,q}_{\bar \partial}(M_0)\geq h^{p,q}(M_t). \end{align*}$$
On the other hand,
$$\begin{align*}b_k(M_0)=\sum_{p+q=k}h^{p,q}(M_0)\geq \sum_{p+q=k}h^{p,q}(M_t)\geq b_k(M_t)=b_k(M_0) \end{align*}$$
so equality holds everywhere. Now, for any t, consider the inclusion of complexes
$F^p{\mathcal A}(M_t)\subseteq {\mathcal A}(M_t)$
defined by
$F^p{\mathcal A}(M_t)=\bigoplus _{r\geq p} {\mathcal A}^{r,s}(M_t)$
. The induced map on cohomology has image
$F^pH_\mathrm{{dR}}^k(M_t)$
and kernel
$$\begin{align*}\frac{\operatorname{\mathrm{Im}\,} d\cap F^p{\mathcal A}^k_{M_t}}{d(F^p{\mathcal A}^k_{M_t})}. \end{align*}$$
Thus, the induced map on cohomology is injective if and only if the differential d is strict, which in turn is known to be equivalent to degeneration of the Frölicher spectral sequence [Reference DeligneDel71, Proposition 1.3.2]. Therefore, for small t, we have an identification
$F^pH_\mathrm{{dR}}^k(M_t)=H^k(F^p{\mathcal A}(M_t))$
.
Now, because
$F^p{\mathcal A}(M_t)$
is an elliptic complex (see, e.g. [Reference StelzigSte22b]), or because their collection over all t forms a resolution of the truncated complex of coherent sheaves of relative holomorphic forms
$$\begin{align*}0\to\Omega^p_{{\mathcal M}/B}\to\Omega_{{\mathcal M}/B}^{p+1}\to\cdots,\end{align*}$$
the cohomology groups
$H^k(F^p{\mathcal A}(M_t))$
form a vector bundle on the base as soon as their dimensions are constant. On the other hand, because the dimension of a filtred vector space is the same as that of its associated graded, we find that
$$\begin{align*}\dim F^pH^k_{\mathrm{dR}}({\mathcal A}(M_t))=\sum_{r+s=k, r\geq p} h^{r,s}(M_t) \end{align*}$$
is constant indeed.
In summary, for sufficiently small t, we have proved that
$\{F^pH_\mathrm{{dR}}^k(M_t)\}$
form a complex vector subbundle of the vector bundle
$\{H_\mathrm{{dR}}^k(M_t)\}$
. The same holds for the conjugate filtration
$\bar {F}^qH_\mathrm{{dR}}^k(M_t)$
. But the dimension of an intersection of two vector subbundles behaves upper semicontinuously.
Corollary 4.9. For any n-dimensional compact complex manifold M with
$E_1(M)=E_{\infty }(M)$
, the dimension of the spaces in the
$3$
-space decomposition [Reference StelzigSte21a, Theorem 4.8]
$$\begin{align*}H_{\mathrm{dR}}^n(M)=H^{n,0}(M)\oplus \left(F^{1}H^n_{\mathrm{dR}}(M)\cap\bar F^1H^n_{\mathrm{dR}}(M)\right)\oplus H^{0,n}(M) \end{align*}$$
is constant under small deformations.
Corollary 4.10. Under the assumptions of Theorem 4.8, that is a small deformation with
$E_1$
-degeneration of the central fibre, the purity defect is upper semicontinuous: for t sufficiently close to
$0$
,
$$\begin{align*}\mathrm{pdef}(M_0)\leq k \quad \Longrightarrow \quad \mathrm{pdef}(M_t)\leq k. \end{align*}$$
Remark 4.11. Degeneration of the Frölicher spectral sequence in the central fibre is necessary to obtain the conclusion of Corollary 4.10. In fact, the Iwasawa manifold has purity defect
$0$
, but it admits small deformation with purity defect
$1$
and
$2$
(see [Reference StelzigSte22a, Section 9.1]).
Corollary 4.12. The
$dd^c+3$
-condition is stable under small deformations.
Remark 4.13. The
$dd^c+3$
-condition introduced here should be compared with the page-
$1$
-
$\partial {\bar \partial }$
-condition introduced in [Reference Popovici, Stelzig and UgartePSU21], [Reference Popovici, Stelzig and UgartePSU20]. For the latter, one keeps purity but relaxes the degeneration step of the Frölicher spectral sequence. That condition, too, enjoys some stability under geometric constructions, as in Proposition 4.4. However, it is in general not stable under small deformations.
Given the fact that the dimensions of
$H_\mathrm{{dR}}^k$
are constant under small deformation, a natural question is whether, given degeneration at
$E_1$
, the dimensions of the spaces
$F^pH^k_\mathrm{{dR}}\cap \bar F^q H^k_\mathrm{{dR}}$
may actually change under small deformations. In general, the answer is yes.
Example 4.14. Consider a family of complex manifolds
$\{M_t\}$
, such that the central fibre is a type
$(iii.a)$
deformation of the Iwasawa manifold and the nearby fibres are type
$(iii.b)$
deformations (see [Reference AngellaAng14, Section 3.2.1.2] for the definition of these deformations). Then the central fibre has purity defect
$2$
and degenerate Frölicher spectral sequence, but the nearby fibres have purity defect
$1$
(see [Reference StelzigSte22a, Section 9.1]
However, in certain situations, the spaces
$F^pH_\mathrm{{dR}}^k\cap \bar F^qH_\mathrm{{dR}}^k$
actually do have constant dimension:
Proposition 4.15. Let M be a compact complex manifold with
$E_1(M)=E_{\infty }(M)$
, such that
-
(
$\ast $
) for any k, there exists an
$r(k)$
, such that
$\operatorname {gr}_{F_{tot}}^{d}H^k(M)=0$
unless
$d=r(k), r(k)-1$
.
Then, any sufficiently small deformation
$M_t$
of
$M=M_0$
has the same
$E_1$
-isomorphism type as M, that is for all t sufficiently small:
-
(1) The bicomplex
${\mathcal A}(M_t)$
has the same zigzag multiplicities as
${\mathcal A}(M_0)$
. -
(2) For any cohomological functor H (e.g.
$H_{BC},H_A,H_{{\bar \partial }},..$
)
$H(M_t)\cong H(M_0)$
.
The condition
$(\ast )$
visually says that the odd-length zigzags appearing in the bicomplex are ‘not too distinct’ in the following sense: Order the odd-length zigzags (up to translation) in an ascending way by their length, where we associate negative length to zigzags with incoming outermost arrows, that is
$$\begin{align*}...\leq\text{reverse L's}\leq \text{dots}\leq \text{L's}\leq... .\end{align*}$$
Then the condition
$(\ast )$
says that at most two directly adjacent zigzags types may contribute to de Rham cohomology in any given degree. For example, if the purity defect is
$1$
, it says there are (at most) only dots and L’s or (at most) only dots and reverse L’s in any given degree.
Remark 4.16. This condition
$(*)$
is satisfied for compact complex surfaces as can be seen from the explicit description of their bicomplexes above, and is also satisfied for Vaisman manifolds, as will follow from Theorem 5.3 below (c.f. Corollary 5.10). One may also prove an analogue of Proposition 4.4 for condition
$(\ast )$
instead of the
$dd^c+3$
-condition.
Proof. It suffices to show the multiplicities of all zigzags are constant for t close to
$0$
. There are no even zigzags on
$M_0$
or nearby fibres by degeneration of the Frölicher spectral sequence, as in the first part of the proof of Theorem 4.8. The odd zigzags are counted by the refined Betti numbers
$b_k^{p,q}(M_t)$
. Thus, we have to show that the numbers
$b_k^{p,q}(M_t)$
are constant for t close to
$0$
.
First, we note that condition (
$\ast $
) has to hold for nearby fibres as well. In fact, when
$F_{tot}^rH^k(M_0)=0$
for some r, then also
$F_{tot}^rH^k(M_t)=0$
for all nearby fibres by Theorem 4.8. By duality, the same implication holds for the condition
$F_{tot}^rH^k=H^k$
.
When
$p+q=r(k)$
, we have
$$\begin{align*}b_k^{p,q}=\dim F^pH^k\cap \bar F^q H^k \end{align*}$$
by assumption, and we have seen that this number varies upper semicontinuously in Theorem 4.8. On the other hand,
$b_k^{p,q}(M)=b_{2n-k}^{n-p,n-q}(M)$
and so also the numbers for
$p+q-k=r(k)-1$
vary upper semicontinuously. Finally,
$$\begin{align*}b_k(M_t)=\sum_{p+q\in\{r(k),r(k)+1\}}b_k^{p,q}(M_t)\leq \sum_{p+q\in\{r(k),r(k)+1\}}b_k^{p,q}.(M_0)=b_k(M_0)=b_k(M_t). \end{align*}$$
5 Vaisman manifolds
A Vaisman manifold will mean a compact complex manifold with Hermitian metric which is locally conformally Kähler (LCK) and has parallel Lee form [Reference VaismanVai79], [Reference VaismanVai82]. Recall the locally conformal Kähler condition is equivalent to the fundamental form
$\omega $
satisfying
$d\omega =\theta \wedge \omega $
for a closed real
$1$
-form, called the Lee form, and the parallel condition is that
$\nabla \theta =0$
with respect to the Levi-Civita connection. As is customary, we will assume
$\theta \neq 0$
in the following to exclude the Kähler case from the discussion.
Example 5.1. The Hopf manifold
$(\mathbb {C}^{n+1}\setminus \{0\})/\lambda ^{\mathbb {Z}}$
for some
$\lambda \in \mathbb {C}^{\ast }\setminus S^1$
carries the Vaisman metric
$\frac 1{\|z\|^2}\sum _{i=1}^{n+1}dz_id\bar z_i$
. More generally, take any projective manifold with a negative line bundle L and consider
$V:=(L\setminus \{s_0\})/\lambda ^{\mathbb {Z}}$
, where
$s_0$
denotes the zero section. Then V carries a Vaisman metric [Reference VaismanVai80].
In fact, this example gives a good (local) picture of the complex structure of a general Vaisman manifold. We refer to [Reference Ornea and VerbitskyOV03] and [Reference Ornea and VerbitskyOV16] for a general discussion of the structure of compact Vaisman manifolds.
5.1 The
$E_1$
-isomorphism type of a Vaisman manifold
Denote the bigraded components of the closed Lee form by
$\theta =\theta ^{1,0}+\theta ^{0,1}$
. Then
$d\theta ^{1,0}={\bar \partial }\theta ^{1,0}=-d\theta ^{0,1}=-\partial \theta ^{0,1}$
, and setting
$\omega _0:=d^c\theta =-2i\partial \theta ^{0,1}$
, we have
$\omega _0=\omega -\theta \wedge J\theta $
.
The dual vector fields
$X_{\theta }$
and
$X_{J\theta }$
are holomorphic, Killing, and generate a group that acts by holomorphic isometries. Let
${\mathcal A}^{inv}(M)$
denote the complex of invariant forms under the group action, with subcomplex the basic forms
${\mathcal A}_B(M)$
, that is those in the kernel of
$\iota _{X_{\theta }}$
and
$\iota _{X_{J\theta }}$
, as well as the kernel of the Lie derivatives
$\mathcal {L}_{X_{\theta }}$
and
$\mathcal {L}_{X_{J\theta }}$
. The subspace of d-harmonic basic forms,
${\mathcal H}_B$
, behave in much that same way as the forms on a Kähler manifold, having a Lefschetz decomposition given by the operator L given by wedging with
$\omega _0$
. We refer to [Reference Ornea and VerbitskyOV22] for a more thorough review of the operators mentioned here and their relations.
Proposition 5.2. ([Reference TsukadaTsu94],[Reference Ishida and KasuyaIK19]) With notations as above, the subspace
$$\begin{align*}{\mathcal H}_B\otimes \Lambda\langle \theta^{0,1},\theta^{1,0}\rangle\subseteq {\mathcal A}(V) \end{align*}$$
is a d-subcomplex and the inclusion is an
$E_1$
-isomorphism.
Our goal is to describe the structure of the bicomplex
${\mathcal H}_B\otimes \Lambda \langle \theta ^{0,1},\theta ^{1,0}\rangle $
in terms of indecomposables. We will reduce it to an algebraic computation below in the following way. For any
$p+q\leq n$
, denote by
$$\begin{align*}P_{p,q}:=\mathrm{Ker}\, L^{n-p-q+1}\subseteq {\mathcal H}_B \end{align*}$$
the space of primitive harmonic
$(p,q)$
-forms. Consider
${\mathcal H}_B$
as a
$\mathbb {C}[L]$
-module, and let
$D_{p,q}$
be the
$\mathbb {C}[L]$
-submodule generated by
$P_{p,q}$
, that is
$D_{p,q}:=P_{p,q}[\omega _0]/\omega _0^{n-p-q+1}$
. Writing
$S_{p,q}:=D_{p,q}\otimes \Lambda \langle \theta ^{1,0},\theta ^{0,1}\rangle $
, we have
$$\begin{align*}{\mathcal H}_B\otimes \Lambda\langle \theta^{0,1},\theta^{1,0}\rangle=\bigoplus_{p+q\leq n} S_{p,q}. \end{align*}$$
Theorem 5.3 (The bicomplex of a Vaisman manifold)
Let V be a compact Vaisman manifold of dimension
$n+1$
. The inclusion of bicomplexes
$$\begin{align*}\bigoplus_{p+q\leq n} S_{p,q}\subseteq {\mathcal A}(V) \end{align*}$$
is an
$E_1$
-isomorphism. Every
$S_{p,q}$
is, as a bicomplex, a tensor product of the form
$$\begin{align*}S_{p,q}=P_{p,q}\otimes \Lambda\langle\theta^{1,0},\theta^{0,1},\omega_0\rangle/(\omega^{n-p-q+1}_0). \end{align*}$$
The space of primitive basic harmonic forms
$P_{p,q}$
has zero differential, that is it is a direct sum of dots. The second factor decomposes as follows into indecomposable bicomplexes:
-
(1) If
$k=n$
, there are four dots, with no nonzero differentials: -
(2) If
$k<n$
, there are two dots, two length three zigzags, and (if
$k<n-2$
) several squares:
Proof. Only the statement about the second factor of
$S_{p,q}$
still requires proof. For the first claim, with
$k=n$
, the bicomplex is
$$\begin{align*}\Lambda\langle\theta^{1,0},\theta^{0,1},\omega_0\rangle/(\omega_0)= \Lambda\langle\theta^{1,0},\theta^{0,1}\rangle, \end{align*}$$
and the relation
$\partial \theta ^{0,1}=-{\bar \partial }\theta ^{1,0}=\frac i 2 \omega _0$
implies all differentials are zero.
For the general case,
$k<n$
, we have
$\partial \theta ^{0,1}=-{\bar \partial }\theta ^{1,0}=\frac i 2 \omega _0$
and
${\bar \partial }\theta ^{0,1}=\partial \theta ^{1,0}=0$
, giving the length three zigzag
in total degrees
$1$
and
$2$
. The same relations also give the squares in the statement, with all other differentials on these spaces zero, again, since
${\bar \partial }\theta ^{0,1}=\partial \theta ^{1,0}=0$
. Finally, the length
$3$
zigzag
follows from the same relations and the fact that
$\omega _0^{n-k+1}=0$
, which also implies that
$\partial \theta ^{0,1}\theta ^{1,0}\omega _0^{n-k} = {\bar \partial } \theta ^{0,1}\theta ^{1,0}\omega _0^{n-k}=0$
.
Since the bicomplex of a Vaisman manifold satisfies Condition
$(5)$
of Theorem 3.9, we have:
Corollary 5.4. If a compact complex manifold admits a Vaisman metric, then it satisfies the
$dd^c+3$
-condition.
In particular, the Frölicher spectral sequence degenerates at the first page, which was also shown in [Reference TsukadaTsu94]. By results from section 3.3, we also have:
Corollary 5.5. If a compact complex manifold admits a Vaisman metric, then it has purity defect
$1$
.
Corollary 5.6. The middle cohomology of a compact Vaisman manifold carries a pure Hodge structure.
Corollary 5.7. For any compact Vaisman-manifold V of dimension
$n+1$
, the Bott-Chern and Aeppli cohomologies up to middle degree can be computed as follows:
$$\begin{align*}H_{BC}^{p,q}(V)\cong \begin{cases} P_{p,q}\oplus \omega_0P_{p-1,q-1} & \text{if }p+q\leq n\\ \theta^{1,0} P_{p-1,q}\oplus \theta^{0,1} P_{p,q-1} &\text{if } p+q=n+1 \end{cases} \end{align*}$$
$$\begin{align*}H_A^{p,q}(V)\cong \begin{cases} P_{p,q}\oplus \theta^{1,0}P_{p-1,q}\oplus \theta^{0,1}P_{p,q-1}&\text{if }p+q\leq n\\ \theta^{1,0}P_{p-1,q}\oplus \theta^{0,1} P_{p,q-1}&\text{if }p+q=n+1. \end{cases} \end{align*}$$
Note that the groups above middle degree are determined by duality. They can also be written down explicitly using the same method of proof.
Proof. Using the notation introduced before Theorem 5.3, we have:
$$\begin{align*}{\mathcal A}(V) \simeq_1 \bigoplus_{r,s\in\mathbb{Z}}S_{r,s} \end{align*}$$
by Proposition 5.2. Now, [Reference StelzigSte21b, Corollary 13] states that an
$E_1$
-isomorphism induces an isomorphism on
$H_{BC}$
, so by the Definition of
$S_{r,s}$
and the fact that
$P_{r,s}$
is a complex with trivial differentials, we have:
$$\begin{align*}H^{p,q}_{BC}(V)=\bigoplus_{r,s} P_{r,s}\otimes H^{p,q}_{BC}\left(\Lambda\langle \theta^{0,1},\theta^{1,0},\omega_0\rangle/(\omega_0^{n-(r+s)+1})\right). \end{align*}$$
The result now follows by Theorem 5.3, as the groups
$H_{BC}$
on any zigzag are known to be computed by the dots (here, P) and the ‘tips’, that is the spaces X, U, and T in diagrams such as those below:
The proof for the Aeppli cohomology is the same, except
$H_{A}$
is computed by the dots (again, P) and the spaces W, Y, and Z in the diagrams above.
Oeljeklaus-Toma (OT) manifolds are manifolds associated with number fields that have
$s\geq 1$
real and
$t\geq 1$
pairs of distinct conjugate complex embeddings, together with the choice of appropriate subgroups of the group of totally real units. We refer to [Reference Oeljeklaus and TomaOT05] for their definition and more details.
Remark 5.8. (LCK does not imply
$dd^c+3$
) OT manifolds of type
$(s,1)$
with
$s\geq 2$
are LCK [Reference Oeljeklaus and TomaOT05, p.169], but not
$dd^c+3$
. In fact, in the computation in [Reference StelzigSte22a, Corollary 9.6], their bicomplex always contains zigzags of length
$2s+1$
. For example, for M an OT manifold of type
$(2,1)$
, one has
Generalizing the calculation in the previous remark, one obtains the following corollary. It was previously proved by Hisashi Kasuya [Reference KasuyaKas13] via a different route, and as we learned from Nicolina Istrati, it also follows from the nonexistence of homolomorphic vector fields on OT manifolds (c.f. [Reference Oeljeklaus and TomaOT05, Proposition 2.5]).
Corollary 5.9. Oeljeklaus-Toma manifolds of type
$(s,t)$
with
$s\geq 2$
are never Vaisman.
Proof. According to [Reference Otiman and TomaOT21], the Frölicher spectral sequence degenerates on all Oeljeklaus-Toma manifolds and the purity defect of an OT manifold of type
$(s,t)$
is equal to s (this follows from [Reference Angella, Dubickas, Otiman and StelzigADOS22, Theorem 9]).
Along a small deformation of a compact complex manifold with degenerate Frölicher spectral sequence, the Hodge numbers remain constant. In the case of Hopf manifolds, the Hodge numbers determine the multiplicities of all zigzags combinatorially (see [Reference StelzigSte21b]. Therefore, the multiplicities of all zigzags stay the same under small deformations. The following corollary is a generalization of this fact to all Vaisman manifolds and all cohomological functors, which follows directly from Remark 4.16 and Proposition 4.15:
Corollary 5.10. Every small deformation
$V_t$
of a compact Vaisman manifold
$V_0$
has the same
$E_1$
-isomorphism type, that is for all t sufficiently small:
-
(1) The bicomplex
${\mathcal A}(V_t)$
has the same zigzag multiplicities as
${\mathcal A}(V_0)$
. -
(2) For any cohomological functor H (e.g.
$H_{BC},H_A,H_{{\bar \partial }},..$
),
$H(V_t)\cong H(V_0)$
.
5.2 Vanishing of higher multiplicative operations
In this section, we record a Vaisman analogue of the formality result of [Reference Deligne, Griffiths, Morgan and SullivanDGMS75] for Kähler manifolds. Namely, we show the vanishing of certain higher cohomology operations on compact Vaisman manifolds. This is to be expected by the close relationship between Vaisman and Sasakian manifolds, and the results of [Reference Biswas, Fernández, Muñoz and TralleBFMnT16, Proposition 4.4] showing that compact Sasakian manifolds have vanishing quadruple and higher Massey products. The latter follows from an algebraic statement proved in [Reference Biswas, Fernández, Muñoz and TralleBFMnT16, Proposition 4.5], and essentially the same argument shows:
Lemma 5.11. Let
$B=(\bigoplus _{i=0}^{2n+1}B^i,d=0)$
be a (connected) cdga with trivial differential,
$\omega \in H$
of degree
$2$
, and consider an elementary extension
$A=(B\otimes \Lambda (y),d)$
, with
$dy=\omega $
. Assume that any cohomology class in
$H(A)$
of degree at most n has a representative in B, and that any cohomology class in degree at least
$n+2$
has a representative in
$By$
. Then all Massey products
$\langle a_1,...,a_k\rangle \in H(A)$
with
$k\geq 4$
and no
$a_i$
of degree
$n+1$
contain
$0$
.
Corollary 5.12. On a compact Vaisman manifold V of dimension
$n+1$
, a Massey product
$\langle a_1,...,a_k\rangle \in H(V)$
with
$k\geq 4$
contains
$0$
, provided that no
$a_i$
has degree
$n+1$
.
We do not know whether there exists a compact Vaisman manifold with a nontrivial quadruple (or higher) Massey product.
Proof. As seen before, Vaisman manifolds V have a model
$B\otimes \Lambda (J\theta )$
, with
$B=H\otimes \Lambda (\theta )$
, where
$H=H_B(V)$
denotes the basic cohomology. This satisfies the required conditions by the explicit formulae for the cohomology of Vaisman manifolds: In fact, denoting by
$P_B^k\subseteq H^k $
the primitive part of the basic cohomology, one has
$$\begin{align*}H_{\mathrm{dR}}^k(V)=\begin{cases} P_B^k\oplus P_B^{k-1}\theta&\text{if }k\leq n\\ P_B^n\theta\oplus P_B^nJ\theta&\text{if }k=n+1\\ (P_B^{n-l}\omega_0^{l}\oplus P_B^{n-(l-1)}\omega_0^{l-1}\theta)J\theta&\text{if }k=n+1+l\geq n+2 \end{cases} \end{align*}$$
(see, for instance [Reference KashiwadaKas80], [Reference VaismanVai82], [Reference Ornea and VerbitskyOV22], or Theorem 5.3).
To establish the second vanishing result in this section, Proposition 5.14, we review some background material on
$C_{\infty }$
-algebras,
$C_n$
-algebras, and their morphisms, which are due to Kadeishvili [Reference KadeishviliKad88]. These are commutative analogues of
$A_{\infty }$
-algebras, etc., due to [Reference StasheffSta63]. We use the unshifted sign conventions, for example, of [Reference MarklMar06], and the Koszul rule for signs is implicit.
An
$A_{\infty }$
-algebra on a graded vector space
$A = \{A^n\}_{n \in \mathbb {Z}}$
is a collection of linear maps
$m_k: A^{\otimes k} \to A$
of degree
$2-k$
, for
$k \geq 1$
, such that
$$\begin{align*}[d, m_k] = \sum_{\stackrel{ j+\ell =k+1; \, j,l\geq 2}{1 \leq i \leq j}} (-1)^{i(\ell +1)+k} m_j \left( \mathrm{id}^{\otimes i-1} \otimes m_{\ell} \otimes \mathrm{id}^{\otimes j-i} \right), \end{align*}$$
where the left-hand side uses a differential in the complex
$Hom(A^{\otimes k},A)$
. The equations imply
$d := m_1$
satisfies
$d^2=0$
, and that d is a derivation of the product
$m_2$
. Also,
$m_3$
is a chain homotopy for the associativity condition.
A
$C_{\infty }$
-algebra is an
$A_{\infty }$
-algebra for which each
$m_k \in Hom(A^{\otimes k},A)$
vanishes on the image of the shuffle product of the tensor coalgebra of A shifted down by
$1$
. We refer the reader to [Reference MarklMar92] for the precise definition of these, which will not be needed here. By definition, a
$C_n$
-algebra is a
$C_{\infty }$
-algebra, such that
$m_k=0$
for all
$k>n$
. A cdga is precisely a
$C_2$
-algebra. A
$C_{\infty }$
-algebra is called minimal if
$m_1=0$
.
If
$(A, m_k)$
and
$(A',m_k^{\prime })$
are
$A_{\infty }$
-algebras, an
$A_{\infty }$
-morphism from A to
$A'$
is a collection of linear maps
$f_k:A^{\otimes k} \to A'$
of degree
$1-k$
, such that for every
$k \geq 1$
$$\begin{align*}[d,f_k] + \sum_B (-1)^{\epsilon} m^{\prime}_j( f_{r_1} \otimes \cdots \otimes f_{r_j}) = \sum_{\stackrel{ j+\ell =k+1; \, j,l\geq 2}{1 \leq i \leq j}} (-1)^{i(\ell +1) + k} f_j (\mathrm{id}^{\otimes i-1} \otimes m_{\ell} \otimes \mathrm{id}^{\otimes j-i}), \end{align*}$$
where
$$\begin{align*}B= \{j,r_1,\ldots,r_j| 2 \leq j \leq k, r_1,\ldots, r_j \geq 1, r_1 +\ldots + r_j=k\}, \end{align*}$$
$$\begin{align*}\epsilon:= \epsilon(r_1,\ldots,r_j) = \sum_{1 \leq \alpha < \beta \leq s} r_{\alpha}( r_{\beta} +1). \end{align*}$$
A
$C_{\infty }$
-morphism is a morphism
$\{f_k\}$
of
$A_{\infty }$
-algebras, such that each map
$f_k$
vanishes on shuffles. An
$A_{\infty }$
or
$C_{\infty }$
-morphism is a quasi-isomorphism if
$f_1: A \to A'$
induces an isomorphism in cohomology of the complexes
$(A, m_1)$
and
$(A', m^{\prime }_1)$
.
A
$C_{\infty }$
-structure is called unital if there’s an
$m_1$
-closed element
$1 \in A^0$
which is a unit for the product
$m_2$
, and
$m_k$
vanishes for
$k>2$
whenever
$1$
is inputted. A morphism
$\{f_k\}$
of unital
$C_{\infty }$
algebras means
$f_1$
preserves units, and
$f_k$
vanishes for
$k>2$
whenever
$1$
is inputted.
We now come to the main transfer theorem for transfer of
$C_{\infty }$
-structures [Reference Cheng and GetzlerCG08]. This result has a long list of antecedents, for example [Reference MarklMar06], [Reference Kontsevich and SoibelmanKS00], [Reference MerkulovMer99], [Reference KadeishviliKad93], [Reference MarklMar92], [Reference KadeishviliKad80], which vary in their level of generality and explicitness of formulas and signs.
We restrict to the case where
$(A,d)$
is a unital cdga, and suppose we have a contraction, namely, chain maps
$\pi : A \to H$
,
$i: H \to A$
, with
$\pi \circ i = \mathrm {id}_H$
and
$i \circ \pi - id = [d,h]$
for some homotopy
$h: A^* \to A^{*-1}$
on the complex
$(A,d)$
. We assume the follow side conditions hold
$$\begin{align*}h^2=0, \quad \quad h \circ i =0, \quad \quad \pi \circ h = 0, \end{align*}$$
which can always be arranged, and will hold in the applications below.
Theorem 5.13 [Reference Cheng and GetzlerCG08]
For any unital cdga
$(A,d,m)$
with a contraction
$(A,H^*(A),\pi ,i)$
satisfying the above side conditions, there is a minimal unital
$C_{\infty }$
-algebra
$(H^*(A),m_k)$
given inductively, for
$k \geq 2$
, by
$$\begin{align*}m_k = \pi \circ p_k \quad \textrm{where} \quad p_k = m \left (\sum_{j=1}^{k-1} (-1)^{k} h p_j \otimes h p_{k-j} \right), \end{align*}$$
where
$h p_1:= i$
. Furthermore, there is a unital
$C_{\infty }$
-quasi-isomorphism
$f_k:A^{\otimes k} \to H^*(A)$
given by
$f_k = h \circ p_k$
, for
$k\geq 1$
.
Note that
$m_2 = \pi \circ m \circ (i \otimes i)$
is simply the transport of the product by the chain equivalence, and on elements
$x=i(a), y= i(b), z=i(w)$
,
$$\begin{align*}m_3(x,y,z) = -\pi ( h(xy)z + (-1)^{|x|} xh(yz)). \end{align*}$$
The recursive formulas in the statement above can also be expressed as ‘sum over trees’ formulas, which are perhaps easier to visualize. The following lemma gives sufficient conditions for the induced
$C_{\infty }$
-algebra on
$H^*(A)$
to be a
$C_3$
-algebra.
Proposition 5.14. Let
$(A,d)$
be a unital cdga, such that
$$\begin{align*}A \cong B \otimes \Lambda x \end{align*}$$
as unital algebras, where B has a trivial differential,
$\mathrm {deg}(x)$
is odd, and
$dx \in B$
. Then
$(A,d)$
is quasi-isomorphic to a minimal unital
$C_3$
-algebra, via a unital
$C_{\infty }$
-quasi-isomorphism
$f_k:A^{\otimes k} \to H^*(A)$
satisfying
$f_k = 0$
for
$k \geq 4$
.
Proof. Using the notation of Theorem 5.13, it suffices to show that
$p_k = 0$
for all
$k \geq 4$
.
As complexes, we have
$A= B\oplus Bx$
, and
$Bx$
is an ideal in A satisfying
$(Bx)^2=0$
. Note that,
$\mathrm{Im}\, d\subseteq B$
and
$\mathrm{Ker}\, d=B\oplus \mathrm{Ker}\, d\cap Bx$
. This allows to choose a splitting
$A=\mathrm{Im}\, d \oplus L\oplus H$
, where
$L\subseteq Bx$
,
$d:L\to \mathrm{Im}\, d$
is an isomorphism, and
$d|_H=0$
. Choose
$i: H \to A$
to be the inclusion, that represents the cohomology of A, with projection
$\pi : A \to H$
, and define a contracting homotopy
$h: A \to A$
to be a projection onto
$\mathrm{Im}\,(d)$
, followed by
$d^{-1}:\mathrm{Im}\, d\to L$
. By construction,
$\mathrm{Im}\, h$
is contained in the ideal
$Bx$
, and satisfies
$h(Bx) = (\mathrm{Im}\, h)^2 = 0$
.
Therefore, for
$k=3$
, we have
$$\begin{align*}p_3 = m \left (i \otimes h p_2 \right) + m \left ( h p_2 \otimes i \right) \subseteq Bx, \end{align*}$$
so that
$p_4=0$
, since
$$\begin{align*}m(i \otimes h p_3) = m(h p_2 \otimes h p_2 ) = m( h p_3 \otimes i )=0. \end{align*}$$
Similarly, for all
$k \geq 4$
and every
$1 \leq j <k$
,
$m \left ( h p_j \otimes h p_{k-j} \right ) =0$
, so
$p_k = 0$
.
According to [Reference TievskyTie08], the differential forms of a compact Sasakian manifold have a model which satisfies the condition of Proposition 5.14.
Corollary 5.15. For any compact Sasakian manifold, the differential forms are
$C_{\infty }$
-quasi-isomorphic to a minimal unital
$C_3$
-algebra.
Additionally, we have:
Corollary 5.16. For any compact Vaisman manifold, the differential forms are
$C_{\infty }$
-quasi-isomorphic to a minimal unital
$C_3$
-algebra.
Proof. A real model of the complex
$({\mathcal A}(V), d)$
is given by
$$\begin{align*}H \otimes \Lambda\langle \theta^{0,1},\theta^{1,0}\rangle = \left( H \otimes \Lambda \theta \right) \otimes \Lambda ( J\theta), \end{align*}$$
where H is the basic cohomology,
$d \theta =0$
, and
$d (J \theta )= J\omega _0 \in H \otimes \Lambda \theta $
[Reference Ishida and KasuyaIK19]. Now apply Proposition 5.14 with
$B = H \otimes \Lambda \theta $
and
$x=J \theta $
.
Remark 5.17. The operations in a
$C_{\infty }$
-algebra are strongly related to Massey products, [Reference Buijs, Moreno-Fernández and MurilloBMFM20], and one might view Corollary 5.16 as a uniform version of Corollary 5.12. As far as we know, there is in general no implication between these properties (even if one had Corollary 5.12 without degree restrictions).
Allowing for a moment the case
$d\omega =0$
in the Vaisman condition, we have the following suggestive diagram of implications, which includes formality in the Kähler case:
This suggests that
$dd^c$
-type conditions are incompatible with having a highly complex homotopy type. In the next section, such a statement will be made concrete.
6 Rational homotopy obstructions to
$d d^c$
-type conditions
In this section, we show that the existence of a complex structure satisfying a variant of the
$dd^c+3$
-condition imposes nontrivial restrictions on the underlying real homotopy type. We begin with the most basic form of the argument, which already has interesting applications, and provide a generalization below.
First, we need some elementary concepts from rational homotopy theory. All cdga’s will be concentrated in nonnegative degrees and connected, that is
$\dim A^0=1$
. A cdga
$(A,d)$
is called minimal if it is free as a graded-commutative algebra,
$A=\Lambda V$
, and there is a well-ordered basis
$\{x_i\}$
of V, with
$x_i < x_j$
if
$deg(x_i) < deg(x_j)$
, such that
$dx_i$
is a sum of products of lower order generators. A minimal model for a cdga A is a map of cdga’s,
$\psi : {\mathcal M}\to A$
, such that
${\mathcal M}$
is minimal and
$\psi $
is a quasi-isomorphism. A k-minimal model for a cdga A is a map of cdga’s,
$\psi : {\mathcal M}^k \to A$
, such that
${\mathcal M}^k $
is minimal, generated by degrees less than or equal to k, and
$H^s(\psi )$
is an isomorphism for
$s \leq k$
while
$H^{k+1}(\psi )$
is injective. Minimal models and k-minimal models always exist and are unique up to isomorphism. There is a simple algorithm for their construction [Reference SullivanSul77]. If a k-minimal model is already a minimal model for A, we call
$A\ k$
-minimal. Typical examples of
$1$
-minimal cdga’s are provided by the differential forms on nilmanifolds.
Question 6.1. Consider a filiform nilmanifold
$M=G/\Gamma $
, where
$\Gamma $
is a lattice in the simply connected Lie group G associated with the (1-minimal) cdga of left-invariant forms
$$\begin{align*}\Lambda(\eta^1,...,\eta^6)\quad d\eta^1=d\eta^2=0,~d\eta^k=\eta^1\eta^{k-1}\text{ for }k=3,...,6. \end{align*}$$
Like any even-dimensional nilmanifold, M admits an almost complex structure (e.g. put
$J\eta ^{2k}=\eta ^{2k-1}$
). It is known that M does not admit left-invariant complex structures [Reference Goze and RemmGR02], and it is unknown whether it admits any complex structures. As a possibly simpler question, we may ask: Is it possible that M admits a complex structure which has a fixed
$E_1$
-isomorphism type for the bicomplex of forms
$({\mathcal A}(M), \partial ,{\bar \partial })$
? For example, is the following bicomplex possible?
Note that this would yield the correct Betti numbers, satisfy the
$dd^c+3$
condition, and have a pure Hodge structure on
$H^1$
.
The following theorem, a prototype for the results in these sections, shows that the bicomplex depicted above (and many others) cannot occur as those of a hypothetical complex structure on M.
Theorem 6.2. Let M be a compact manifold of real dimension
$2n$
, such that
-
(1) the cdga of forms
$({\mathcal A}(M),d,\wedge )$
is
$1$
-minimal, -
(2) the cup product map
$\cup :H^1(M)\times H^1(M)\to H^2(M)$
vanishes identically.
Assume there exists a complex structure on M, such that
-
(3) the map
$H^1(\mathrm{Ker}\, d^c)\to H^1(M)$
is an isomorphism, -
(4) the map
$H^2(\mathrm{Ker}\, d^c)\to H^2(M)\oplus H^2(M)$
is injective.
Then,
$n=0$
.
Here, the maps alluded to in Conditions
$(3)$
and
$(4)$
refer to those induced from the left inclusion map i, and the direct sum map
$(i, \mathbb {I} \circ \pi )$
, where
$ \mathbb {I}=i^{p-q}$
, in the following diagram:
The example in Question 6.1 satisfies Conditions
$(3)$
and
$(4)$
of Theorem 6.2. These conditions will be discussed in more depth below.
Proof. Take a
$1$
-minimal model
$\psi : {\mathcal M}^1(\mathrm{Ker}\, d^c)=\Lambda V\to \mathrm{Ker}\, d^c$
. We show
$i\circ \psi $
is a
$1$
-minimal model for
${\mathcal A}(M)$
, and therefore, a minimal model for
${\mathcal A}(M)$
, since
${\mathcal A}(M)$
is
$1$
-minimal.
Firstly,
$H^1(i\circ \psi )$
is an isomorphism by assumption, so it suffices to show that
$H^2(i\circ \psi )$
is injective. For the latter, observe that
$H^k( \mathbb {I} \circ \pi \circ \psi )$
vanishes for
$k\geq 2$
. Indeed, given any class
$\mathfrak {c}\in H^k(M^1(\mathrm{Ker}\, d^c))$
, we may write
$\mathfrak {c}=[\sum _i v^1_iv^2_i...v^k_i]$
for some
$v_i^j\in V$
. Then, using that everything in the image of
$ \mathbb {I} \circ \pi $
is closed, we compute
$$\begin{align*}H^k( \mathbb{I} \circ\pi\circ \psi) (\mathfrak c)=\sum_i[( \mathbb{I} \circ\pi\circ\psi) (v_i^1)]\cup...\cup[( \mathbb{I} \circ\pi\circ\psi)(v_i^k)]=0. \end{align*}$$
Since
$H^k(i \circ \psi , \mathbb {I} \circ \pi \circ \psi ):H^k({\mathcal M}^1(\mathrm{Ker}\, d^c))\to H^k({\mathcal A}(M))\oplus H^k({\mathcal A}(M))$
is injective, we get that
$H^k(i\circ \psi )$
is injective for
$k=2$
.
Since
$i\circ \psi $
is a minimal model for
${\mathcal A}(M)$
,
$H^{2n}(i\circ \psi )$
is an isomorphism, so the generator of
$H^{2n}(\mathrm{Ker}\, d^c)$
lies in the image of
$H^{2n}(\psi )$
. On the other hand, we have seen that
$\operatorname {rank}H^k( \mathbb {I} \circ \pi \circ \psi )=0$
for all
$k\geq 2$
. Since for any compact complex
$2n$
-manifold
$\operatorname {rank} H^{2n}( \mathbb {I} \circ \pi )=1$
, this implies
$2n \leq 1$
, so
$n=0$
.
In what follows, we generalize this result in several directions. Instead of ruling out certain complex structures only on M itself, we will rule out complex structures on any manifold with the real homotopy type of M. Furthermore, we will relax the vanishing of the cup product on first degree cohomology, and drop the hypothesis of
$1$
-minimality.
6.1 Additional structure on the real homotopy type of complex manifolds
We first abstract some homotopy-theoretic properties of the diagram
for compact complex manifolds. All cdgas will be connected and concentrated in nonnegative degrees.
Recall that for a map of complexes
$\varphi :B\to A$
, the cone of
$\varphi $
is defined by
$$\begin{align*}cone(\varphi):= \bigoplus_{n \in \mathbb{Z}} B[-1]^n \oplus A^n \quad \quad d_{cone(\varphi)}(b,a)=(-d_Bb, d_Aa -\varphi(b)), \end{align*}$$
with
$B[-1]^n=B^{n+1}$
, and the differential of
$B[-1]$
is
$-d_B$
. The inclusion
$\nu : A \to cone(\varphi )$
and projection
$\delta : cone(\varphi ) \to B[-1]$
given by
$\delta (b,a)=-b$
yield an exact sequence
whose long exact sequence in cohomology is isomorphic to that of
$0 \to B \to A \to Coker \to 0$
in the case of an inclusion
$\varphi : B \to A$
.
We will use the following two lemmas; the proof of the first is left to the reader.
Lemma 6.3. For any map of cdga’s
$\varphi :B\to A$
,
$cone(\varphi )$
is a differential graded module over B, via the formula
$$ \begin{align*} B\otimes cone(\varphi)&\longrightarrow cone(\varphi)\\ (b,(b',a))&\longmapsto ((-1)^{|b|}bb',\varphi(b)a). \end{align*} $$
In particular,
$H(cone(\varphi ))$
is a graded module over
$H(B)$
via the same formula.
Lemma 6.4. For any map of cdga’s,
$\varphi :B\to A$
, the
$H(B)$
-module structure on
$H(cone(\varphi ))$
is functorial in the sense that, for a homotopy commutative diagram of cdga’s
there is a map
$H(cone(\varphi ))\to H(cone(\varphi '))$
that intertwines the module structures over the respective cohomology algebras, and is an isomorphism if
$f_A$
and
$f_B$
are quasi-isomorphisms.
Proof. First, note that the statement is clear if the diagram strictly commutes. Thus, in the above setting, we obtain a morphism of
$H(B)$
-modules
$H(cone(\varphi ))\to H(cone(f_A \circ \varphi ))$
and also a morphism
$H(cone (\varphi '\circ f_B))\to H(cone(\varphi '))$
which intertwines the
$H(B)$
, respectively,
$H(B')$
module structures. Next, pick a homotopy
$K:B\to A'\langle t, dt\rangle $
, such that
$\epsilon _0\circ K=\varphi '\circ f_B$
and
$\epsilon _1\circ K=f_A\circ \varphi $
, where
$\epsilon _i$
sends
$t\mapsto i, dt\mapsto 0$
, we obtain isomorphisms of
$H(B)$
-modules
$H(cone(f_A\circ \varphi ))\leftarrow H(cone(K))\to H(cone(\varphi '\circ f_B))$
.
In what follows, A will denote a connected cdga over the reals with finite-dimensional cohomology satisfying
$2n$
-dimensional Poincaré duality, that is
$H^{2n}(A)\cong \mathbb {R}$
and the pairing
$H^k(A)\times H^{2n-k}(A)\to H^{2n}(A)$
is nondegenerate.
Definition 6.5. A
$d^c$
-diagram for A is a triple
$(B,\varphi _A,\varphi _H)$
of a connected, cohomologically finite dimensional cdga B, and cdga maps
such that the following conditions hold:
-
(1) Symmetry: The long exact sequences associated with
$\varphi _A$
and
$\varphi _H$
are isomorphic. -
(2) Connectivity:
$H^0(\varphi _A)$
is an isomorphism and
$H^1(\varphi _A)$
is injective. -
(3) Duality: Denoting
$\varphi :=(\varphi _A,\varphi _H): B\to A\oplus H(A)$
, one has
$H^{2n}(cone(\varphi ))\cong \mathbb {R}$
and the pairing
$H^k(B)\otimes H^{2n-k}(cone(\varphi ))\to H^{2n}(cone(\varphi ))$
is nondegenerate for every k.
Example 6.6. Consider a cdga A with minimal model
$\varphi _A: {\mathcal M}_A\to A$
. If A is formal, there exists a quasi-isomorphism
$\varphi _H: {\mathcal M}_A\to H(A)$
and the diagram
is a
$d^c$
-diagram. In this case, the
$H({\mathcal M}_A)$
-module structure on
$cone(\varphi )$
is isomorphic to the module structure of
$H(A)$
on itself, and so the duality isomorphism
$H^k({\mathcal M}_A) \to H^{2n-k}(cone(\varphi ))^{\vee }$
simply recovers duality of
$H(A)$
.
Example 6.7. For every compact complex manifold M, the diagram
is a
$d^c$
-diagram, which we will call a standard
$d^c$
-diagram.
Proof. Since the two long exact sequences have the same underlying spaces, they are isomorphic only if the maps
$\varphi _A$
and
$\varphi _H$
have the same rank on cohomology. So, the symmetry condition follows from a case-by-case inspection of every indecomposable bicomplex, for which we refer to Figure 3.
Figure 3 Ranks of maps in standard
$d^c$
-diagram.
The connectivity property follows from the long exact sequence associated to the short exact sequence
$$\begin{align*}0 \to \mathrm{Ker}\, \, d^c \to {\mathcal A} \to {\mathcal A}/\mathrm{Ker}\, \, d^c \to 0 \end{align*}$$
since
$H^0({\mathcal A}/\mathrm{Ker}\, \, d^c)=0$
for any complex manifold.
For the duality property, since
$\varphi :=(i, \mathbb {I} \circ \pi ):\mathrm{Ker}\, d^c\to {\mathcal A}(M) \oplus H(M)$
is injective, the natural projection
$\pi : cone(\varphi )\to \operatorname {Coker}(\varphi )$
, given by
$$\begin{align*}\pi(b,a) = \varphi(b) + \left( {\mathcal A}(M) \oplus H(M) \right) / \mathrm{Im}( \varphi), \end{align*}$$
induces an isomorphism
$H(\pi ) : H(cone(\varphi )) \to H(\operatorname {Coker}(\varphi ))$
. By Lemma 6.4, the projection
$\pi $
is compatible with the
$H(\mathrm{Ker}\, d^c)$
-module-structure on cohomologies, and
$\operatorname {Coker}(\varphi ) = {\mathcal A}/ \mathrm {Im} \, d^c$
, by Theorem 3.6, so the duality property follows from Proposition 3.27.
The importance of the concept of
$d^c$
-diagram comes from the following observation, which shows it is a property of the real homotopy type of A to admit a
$d^c$
-diagram with given invariants (e.g. cohomology long exact sequences, pairings, etc.).
Proposition 6.8. Let
$f:A\to A'$
be a quasi-isomorphism of cdga’s.
-
(1) Let
$(B,\varphi _A,\varphi _{H})$
be a
$d^c$
-diagram for A. The pushforward diagram
$f_*(B,\varphi _A,\varphi _H):=(B,f\circ \varphi _A,H(f)\circ \varphi _H)$
is a
$d^c$
-diagram for
$A'$
. -
(2) Let
$(B',\varphi _{A'},\varphi _H^{\prime })$
be a
$d^c$
-diagram for
$A'$
. Denote by
$\psi :B\to B'$
a minimal model for
$B'$
and by
$\varphi _A:B\to A$
a cdga map, such that
$f\circ \varphi _A$
is homotopic to
$\varphi _{A'}\circ \psi $
(which exists, unique up to homotopy). Then the pullback diagram
$f^*(B',\varphi _{A'},\varphi _H^{\prime }):=(B, \varphi _A,H(f)^{-1}\circ \varphi _H^{\prime }\circ \psi )$
is a
$d^c$
-diagram of A.
In both cases, there is a (homotopy) commutative diagram with vertical quasi-isomorphisms:
In particular, the number
$\operatorname {rank}{\varphi _A}=\operatorname {rank}{\varphi _H}$
and the number
$\dim \mathrm{Ker}\, (\varphi _A,\varphi _H)$
are invariant under pullback and pushforward.
Let us now draw some easy consequences from the definition of
$d^c$
-diagrams and the long exact sequence in cohomology associated to
$0 \to A\oplus H(A)\to cone(\varphi ) \to B[-1] \to 0$
, which will highlight common features with a standard
$d^c$
-diagram.
Proposition 6.9. Given a
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
, the cdga B has the following properties:
-
(1) The cohomology of B is concentrated in degrees
$0,...,2n$
. -
(2) There is an inequality
$b_k(B)+b_{2n-k}(B)\geq 2b_k(A)$
. -
(3) There is an equality of Euler characteristics
$\chi (B)=\chi (A)$
.
Further, denoting by
$\psi _A:A\to cone(\varphi )$
and
$\psi _H:H(A)\to cone(\varphi )$
the maps induced by the inclusion
$A\oplus H(A)\to cone(\varphi )$
, we have:
-
(4) The duality pairings induce an isomorphism between the long exact sequences
and the dual of
$$\begin{align*}...\longrightarrow H^k(B)\overset{H^k(\varphi_H)}{\longrightarrow} H^k(A)\longrightarrow H^k(cone(\varphi_H))\longrightarrow... \end{align*}$$
(and similarly for
$$\begin{align*}...\longrightarrow H^{2n-k-1}(cone(\psi_H))\longrightarrow H^{2n-k}(A)\overset{H^{2n-k}(\psi_H)}{\longrightarrow} H^{2n-k}(cone(\varphi))\longrightarrow... \end{align*}$$
$\varphi _A,\psi _A$
).
-
(5)
$Cone(\varphi _A) \cong cone(\psi _H)$
and
$cone(\varphi _H) \cong cone(\psi _A)$
(degree preserving).
Proof. First,
$H^k(B)=0$
for
$k>2n$
by duality, since the cone is nonnegatively graded. The second claim follows from the long exact sequence
again, by duality
$H^k(cone(\varphi )) \cong H^{2n-k}(B)$
, using exactness at
$H^k(A) \oplus H^k(A)$
. The third claim follows similarly from exactness and duality, since the Euler characteristic is additive along long exact sequences.
For the fourth claim, note that the choice of a representative for a fundamental class induces a commutative diagram
where
$D_{2n}$
denotes the dualization functor, defined for any complex C as
$(D_{2n}C)^k=(C^{2n-k})^{\vee }$
, with differential given (up to sign) by pullback. Thus, we obtain an isomorphism of the associated long exact sequences involving the cones of
$\varphi _H$
and
$D_{2n}\psi _H$
.
Finally, for the last claim, we note that from the definitions there is a short exact sequence
$$\begin{align*}0\longrightarrow H\overset{\psi_H}{\longrightarrow} cone(\varphi)\longrightarrow cone(\varphi_A)\longrightarrow 0. \end{align*}$$
Thus, comparing this long exact sequence with that induced by
$$\begin{align*}0\longrightarrow cone(\varphi)\longrightarrow cone(\psi_H)\longrightarrow H[-1]\longrightarrow 0, \end{align*}$$
we see that the natural map
$cone(\varphi _A)\to cone(\psi _H)$
has to be a quasi-isomorphism. The case of
$\varphi _H$
and
$\psi _A$
is analogous.
Remark 6.10. A
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
which is quasi-isomorphic (as in Proposition 6.8) to a standard
$d^c$
-diagram has certain additional properties:
-
(1) The odd Betti numbers,
$b_{2k+1}(B)$
, and the sums of complementary Betti numbers,
$b_k(B)+b_{2n-k}(B)$
, are all even. -
(2) If A comes from a complex manifold M, with
$\mathrm {pdef}(M)\leq 1$
, then
$H(B)$
inherits a multiplicative Hodge structure by Proposition 3.24.
6.2 Main result and applications
The main result in this section gives a topological lower bound on the complexity of the bicomplex of complex structures satisfying a
$dd^c$
-type condition in low degrees, Theorem 6.18. We begin with a lemma that gives several equivalent formulations of this
$dd^c$
-type condition.
Lemma 6.11. Let A be a Poincaré duality cdga with
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
with
$\varphi = (\varphi _A,\varphi _H)$
. The following conditions are equivalent, for any fixed
$j\geq 0$
.
-
(1)
$H^s(\varphi _A)$
is an isomorphism for all
$s \leq j$
, and
$H^{j+1}(\varphi )$
is injective. -
(2)
$H^s(\varphi _A)$
is an isomorphism for all
$s\geq 2n-j$
, and
$H^{2n-j-1}(\psi )$
is surjective, where
$\psi =\psi _A+\psi _H$
denotes the map:
$A\oplus H(A)\to cone(\varphi )$
. -
(3) All maps
$H^s(\varphi _A)$
,
$H^s(\varphi _H)$
,
$H^{s}(\psi _A)$
,
$H^s(\psi _H)$
are isomorphisms for
$s\leq j$
. -
(4) All maps
$H^s(\varphi _A)$
,
$H^s(\varphi _H)$
,
$H^{s}(\psi _A)$
,
$H^s(\psi _H)$
are isomorphisms for
$s\geq 2n-j$
.
For a standard
$d^c$
-diagram
$(\mathrm{Ker}\,\, d^c, i , \mathbb {I} \circ \pi )$
coming from a complex manifold M, the above conditions are equivalent to
-
(5) For degrees
$s\leq j$
, we have
$E_1$
-degeneration,
$b_s=\sum _{p+q=s}h^{p,q}$
, and pure Hodge structure,
$\mathrm {pdef}_s(M)=0$
. In degree
$j+1$
, we have
$F^pH^{j+1}(M)\cap \bar {F}^qH^{j+1}(M)=0$
whenever
$p+q>j+2$
. -
(6) For any decomposition of
${\mathcal A}(M)$
into indecomposables, there are no even zigzags and no odd zigzags of length
$\geq 3$
in bidegrees
$s,s+1$
for
$s\leq j$
, except possibly L-shaped zigzags in degrees
$j,j+1$
.
We emphasize that the condition “
$H^{j+1}(\varphi )$
is injective” in Condition 1, cannot be dropped, and is equivalent to the vanishing of the connecting homomorphism
$\delta : H^j(cone(\varphi )) \to H^{j+1}(B)$
, that is the
$dd^c+3$
-condition (in degree
$j+1$
) when
$B = \mathrm{Ker}\, \, d^c$
.
For clarity, we illustrate Condition 6 explicitly assuming
$j=1$
(in total complex dimension
$3$
, but the low-degree part is the same in any total dimension). The following zigzags cannot occur:
while modulo duality, all zigzags in degrees
$\geq 2$
are allowed, and the following zigzags in smaller degrees are allowed:
Proof. The equivalence of Conditions 3 and 4 follows by duality: In fact, by Proposition 6.9 Condition (4),
$H^s(\varphi _A)$
(respectively,
$H^s(\varphi _H)$
) is an isomorphism if and only if
$H^{2n-s}(\psi _A)$
(respectively,
$H^{2n-s}(\psi _H)$
) is an isomorphism.
Next, we show Conditions 1
$\Rightarrow $
3. By the symmetry axiom,
$H^s(\varphi _A)$
is an isomorphism if and only if
$H^s(\varphi _H)$
is as well. Whenever
$H^s(\varphi _A)$
and
$H^{s+1}(\varphi _A)$
are isomorphisms,
$H^s(cone (\varphi _A))=0$
, so by Proposition 6.9 Condition (5),
$H^s(\psi _H)$
is also an isomorphism. Similarly, whenever
$H^s(\varphi _H)$
and
$H^{s+1}(\varphi _H)$
are isomorphisms,
$H^s(\psi _A)$
is also an isomorphism. Therefore, Condition 1 implies
$H^s(\varphi _A)$
and
$H^s(\varphi _H)$
are isomorphisms for
$s\leq j$
and
$H^s(\psi _A)$
and
$H^s(\psi _H)$
are isomorphisms for
$s<j$
and injective for
$j=s$
. In degree
$j=s$
, we thus have a diagram:
where we know in addition, from the long exact sequence for
$\varphi =(\varphi _A,\varphi _H)$
, that the sum of the two bottom maps:
$H^j(\psi _A)+H^j(\psi _H):H^j(A)\oplus H^j(A)\to H^j(cone(\varphi ))$
is surjective. Then a simple diagram chase yields that both bottom maps are surjective individually. This shows Condition 3. Conversely, if Condition 3 holds,
$H^s(\varphi _A)$
is an isomorphism for
$s\leq j$
by assumption and the map
$H^j(\psi _A)+H^j(\psi _H)$
has to be surjective since each summand is an isomorphism. Again, by the long exact sequence, this implies
$H^{j+1}(\varphi )$
is injective, so Condition 1 holds.
The equivalence between Conditions 2 and 4 follows analogously.
For the equivalence with Condition 6, we refer the reader to Figures 3, and 1, and for Condition 5, the origin is [Reference StelzigSte21a, Chapter 2], while the argument is a single-degree version of the proof of Corollary 3.20.
Remark 6.12. As this lemma illustrates, there are many (inequivalent) ways of truncating
$dd^c$
-type conditions. For instance, in view of Conditions 1 and 5, one may call the equivalent conditions of this lemma as ‘
$dd^c$
in degrees
$\leq j$
and
$dd^c+3$
in degree
$j+1$
’. On the other hand, given Condition 3, one might call them simply ‘
$dd^c$
in degrees
$\leq j$
’. Finally, Condition 6 suggests neither name would be accurate. To avoid all confusion, we choose a neutral name below.
Definition 6.13. A
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
which satisfies any of the equivalent conditions in Lemma 6.11 will be called j-controlled. A complex structure on a manifold M will be called j-controlled if its standard
$d^c$
-diagram is j-controlled.
Given a j-controlled
$d^c$
-diagram, we can relate the j-minimal model of B to the j-minimal model of A, at least if all cup products into degree
$j+1$
are trivial. Namely, for any graded ring R, denote by
$\langle R^{\leq j}\rangle $
the subring generated in degrees
$\leq j$
. Then:
Lemma 6.14. Fix an integer
$j\geq 1$
. Let A be a Poincaré duality cdga, such that
$$\begin{align*}\langle H^{\leq j}(A) \rangle \cap H^{j+1}(A) = 0. \end{align*}$$
If A admits a j-controlled
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
, then any j-minimal model
$\psi :{\mathcal M}^j \to B$
induces a j-minimal model
$\varphi _A \circ \psi : {\mathcal M}^j \to A$
for A.
Proof. The map
$H^s(\varphi _A\circ \psi )= H^s(\varphi _A) \circ H^s(\psi )$
is an isomorphism for all
$s \leq j$
by assumption. Also,
$$\begin{align*}H^{j+1}(\varphi \circ\psi) = (H^{j+1}(\varphi_A \circ\psi ), H^{j+1}(\varphi_H \circ\psi) ) \end{align*}$$
is injective by assumption, but the right factor
$H^{j+1}(\varphi _H \circ \psi )$
is
$0$
by freeness of the j-minimal model for B and the assumption
$\langle H^{\leq j}(A) \rangle \cap H^{j+1}(A) = 0$
. Therefore, the left factor
$H^{j+1}(\varphi _A\circ \psi ) $
is injective.
Now we introduce some topological invariants that will be used in the main theorem below.
Definition 6.15. For any cdga A and
$k> j \geq 1$
, let
$$ \begin{align*} r_j^k (A) &= \operatorname{rank} \left( H^k({\mathcal M}^j) \to H^k(A) \right) \\ d_j^k (A) &= \dim \left( \langle H^{\leq j}(A) \rangle \cap H^k(A) \right), \end{align*} $$
where
${\mathcal M}^j \to A$
is a j-minimal model of A.
We note
$r_j^k$
is well-defined for any j by uniqueness of the j-minimal model, up to isomorphism. For any
$j>k$
,
$d_j^k (A) \leq r_j^k(A)$
, by definition of the j-minimal model. If A is j-minimal, then
$r_j^k(A)= b_k(A)$
, the
$k^{th}$
Betti number of A, for all k. If A is j-minimal and formal, then
$r_j^k(A)= d_j^k(A)$
for all k.
The example of interest is
$A = {\mathcal A}(M)$
, and we make the following observation:
Remark 6.16. For any
$1 \leq j\leq k<n$
, the numbers
$r_j^k({\mathcal A}(M))$
and
$d_j^k({\mathcal A}(M))$
are both additive with respect to the connected sum of n-manifolds, namely
$$ \begin{align*} r_j^k({\mathcal A}(M \# N))) &= r_j^k({\mathcal A}(M)) + r_j^k({\mathcal A}(N)) \\ d_j^k({\mathcal A}(M \# N))) &= d_j^k({\mathcal A}(M)) + d_j^k({\mathcal A}(N)). \end{align*} $$
For the case
$k=n$
, we have
$$ \begin{align*} r_j^{n}({\mathcal A}(M \# N))) &= \max\{r_j^{n}({\mathcal A}(M)) , r_j^{n}({\mathcal A}(N))\} \\ d_j^{n}({\mathcal A}(M \# N))) &= \max\{d_j^{n}({\mathcal A}(M)) , d_j^{n}({\mathcal A}(N))\}, \end{align*} $$
and the left side numbers are either
$0$
or
$1$
, depending on whether the top class is realized in either case. All these follow from the behaviour of cohomology rings, and j-minimal models, under connected sums.
Next we introduce an ‘analytic’ invariant of
$d^c$
-diagrams, which the main theorem will show is bounded below by the nonnegative numbers
$r_j^k-d_j^k$
, under appropriate hypotheses.
Definition 6.17. For any
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
of A, let
$$\begin{align*}\ell_k = \dim \mathrm{Ker}\, H^k(\varphi_A) = \dim \mathrm{Ker}\, H^k(\varphi_H). \end{align*}$$
Note that
$\ell _0=\ell _{2n} = 0$
by the definition of
$d^c$
-diagram, and that
$\ell _k=0$
for
$k\leq j$
, for a j-controlled
$d^c$
-diagram, and therefore also
$\ell _{2n-k}=0$
for
$0 \leq k \leq j$
by the equivalence of Conditions 1 and 2 in Corollary 6.11. One can infer from Table 3 how to compute
$\ell _k$
for various zigzag types. The explicit count involves lengths of zigzags and will not be given here, but could be useful in applications.
Theorem 6.18. Let A be a Poincaré duality cdga. If for some
$j\geq 1$
, we have
$$\begin{align*}\langle H^{\leq j}(A) \rangle \cap H^{j+1}(A) = 0, \end{align*}$$
and A admits a j-controlled
$d^c$
-diagram
$(B,\varphi _A,\varphi _H)$
, then
$$\begin{align*}0 \leq r_j^k -d_j^k \leq \ell_k \end{align*}$$
for all
$k> j$
.
In the inequality above, the term
$r_j^k -d_j^k $
is purely topological, and the right-hand side is complex-analytic for a standard
$d^c$
-diagram. In examples below, we show the condition
$\langle H^{\leq j}(A) \rangle \cap H^{j+1}(A) = 0$
cannot be dropped.
Proof. Fix
$k>j\geq 1$
, consider a
$d^c$
-diagram with j-minimal model
$\psi : {\mathcal M}^j \to B$
of B,
and define
$$\begin{align*}\nu_j^k = \operatorname{rank} \left( H^k(\psi): H^k({\mathcal M}^j) \to H^k(B) \right) = \dim (V), \end{align*}$$
where
$V = \mathrm {Im} \left (H^k(\psi ): H^k({\mathcal M}^j) \to H^k(B)\right )$
. By the assumptions and Lemma 6.14,
$\psi : {\mathcal M}^j \to B$
, induces a j-minimal model
$\varphi _A \circ \psi : {\mathcal M}^j \to A$
for A, therefore for all
$k>j$
, we have
$$\begin{align*}r_j^k = \operatorname{rank} \left( H^k(\varphi_A \circ \psi ) \right) \leq \nu_j^k. \end{align*}$$
The map
$H^k(\varphi _H) \big |_V : V \to H^k(A)$
factors through
$ \langle H^{\leq j}(A) \rangle \cap H^k(A)$
, since
${\mathcal M}^j$
is generated by degrees j and lower, and this factoring
$$\begin{align*}H^k(\varphi_H) \big|_V : V \to \langle H^{\leq j}(A) \rangle \cap H^k(A) \end{align*}$$
is surjective since
$H^s( \varphi _H \circ \psi )$
is an isomorphism for
$s \leq j$
, by the assumption that the
$d^c$
-diagram is j-controlled. Then,
$$ \begin{align*} r_j^k \leq \nu_j^k &= \dim \left( \mathrm{Im} \, H^k(\varphi_H) \big|_V \right) + \dim \left( \mathrm{Ker}\, H^k(\varphi_H) \big|_V \right) \\ &\leq \dim\left( H^{\leq j}(A) \cap H^k(A) \right) + \dim \left( \mathrm{Ker}\, H^k(\varphi_H) \right) \\ &=d_j^k + \ell_k. \\[-37pt]\end{align*} $$
Remark 6.19. Under the same hypotheses as the previous theorem, we have a topological lower bound
$$\begin{align*}2r_j^k-d_j^k \leq b_k(B), \end{align*}$$
for all
$k> j$
since
$$\begin{align*}b_k(B) = \operatorname{rank} \left(H^k(\varphi_A) \right) + \ell_k \geq r_j^k + \ell_k \geq 2r_j^k-d_j^k. \end{align*}$$
Duality gives us the following corollary
Corollary 6.20. Let A be a Poincaré duality cdga of formal dimension
$2n$
. If for some
$j\geq 1$
, we have
$$\begin{align*}\langle H^{\leq j}(A) \rangle \cap H^{j+1}(A) = 0, \end{align*}$$
and for some k, with
$2n-j \leq k \leq 2n$
, we have
$r_j^k> d_j^k$
, that is
$$\begin{align*}\operatorname{rank} \left( H^k( {\mathcal M}^j(A) \to A) \right)> \dim \left( \langle H^{\leq j}(A) \rangle \cap H^k(A) \right), \end{align*}$$
then there is no compact complex manifold in the real homotopy type of A with a j-controlled complex structure.
Proof. If we have a j-controlled
$d^c$
-diagram, then by the equivalences of Lemma 6.11,
$\ell _k=\ell _{2n-k}=0$
, so Theorem 6.18 gives
$r_j^k \leq d_j^k$
.
Taking
$k=2n$
, we recover Theorems 6.2 and E of the Introduction, since then
$r_j^{2n}=1$
and
$d_j^{2n}=0$
. We give some examples.
Example 6.21 (Filiform revisited)
The real homotopy type of the filiform nilmanifolds of complex dimension
$n \geq 2$
, associated with the cdga of left-invariant forms
$$\begin{align*}F_{2n}:=\Lambda (\eta^1,\dots,\eta^{2n}) \qquad d\eta^1=d\eta^2=0,~ d\eta^k=\eta^1\eta^{k-1}\text{ for }k\geq 3, \end{align*}$$
never contains a
$1$
-controlled complex structure. Indeed, nilmanifolds are
$1$
-minimal, and here, the cup product on
$H^1$
is trivial, as
$d\eta ^3 = \eta ^1 \eta ^2$
, so that
$1 =b_{2n} = r_1^{2n}> d_1^{2n} = 0$
.
As for
$k=3$
, the filiform nilmanifolds admit almost complex structures (e.g. set
$J\eta ^{2k}=\eta ^{2k-1}$
), and are known not to admit left-invariant complex structures in any dimension [Reference Goze and RemmGR02]. In complex dimension
$2$
, they are known not to admit any complex structure, as can be recovered here, since by Corollary 4.1, any complex structure in complex dimension
$2$
is
$d d^c+3$
, and would be
$d d^c$
in degree
$1$
, as can be shown using
$b_1=2$
is even. It is unknown if this homotopy type can admit a complex structure in dimension
$n \geq 3$
.
Example 6.22 (A compact complex
$3$
-fold satisfying the assumptions of Corollary 6.20)
Let
$M=G/\Gamma $
be a nilmanifold with structure equations
$$ \begin{align*} d\eta^3 &= \eta^1 \eta^2 & d\eta^4 &= \eta^1 \eta^3 \\ d\eta^5 &= \eta^2 \eta^3 & d\eta^6 &= \eta^1 \eta^4 + \eta^2 \eta^5. \end{align*} $$
Any such nilmanifold has a left invariant complex structure (c.f. [Reference SalamonSal01]). Then
$b_1(M)=2$
, and
$\eta ^1\eta ^2 = d\eta ^3$
, so the product
$\cup :H^1(M)\times H^1(M)\to H^2(M)$
is trivial. So
$1 =b_{6} = r_1^{6}> d_1^{6} = 0$
, and there is no
$1$
-controlled compact complex manifold with this homotopy type.
According to [Reference Ceballos, Otal, Ugarte and VillacampaCOUV16] (p. 4, Theorem
$2.1$
), there are two left-invariant complex structures on M. In fact, one may compute that for each of them, the bicomplex looks as follows:
So, these satisfy purity in degree
$1$
, and
$\mathrm {pdef}(M)\leq 1$
, but there is a nonzero differential
$E^{0,1}_2(M)\to E_2^{1,1}(M)$
. This is consistent with [Reference Ceballos, Otal, Ugarte and VillacampaCOUV16], which shows any left invariant complex structure must degenerate at
$E_2$
and not
$E_1$
, so, in particular, is not
$dd^c+3$
. We emphasize that the results in this case, using the real homotopy type, apply to all complex structures, not only those that are left invariant, and show no complex structure which is
$1$
-controlled can have this homotopy type.
Remark 6.23. From the above examples, many others can be constructed by taking a connected sum with any manifold N whose first Betti number is zero. Indeed, if
${H^1(N)=0}$
, then
$\langle H^{\leq 1}(N) \rangle \cap H^2(N)=0$
and
$r_1^6 = d_1^6=0$
, so by Remark 6.16,
$M \# N$
satisfies the topological hypothesis of Corollary 6.20 whenever M does. If both M and N are almost complex, then so is
$M \# N$
as well. Almost every orientable
$6$
-manifold is almost complex, with the only obstruction
$W_3 \in H^3(X;\mathbb {Z})$
, so there are a plethora of examples for which
$1$
-controlled complex structures are ruled out on
$M \# N$
. Similar comments apply to blow-ups along almost complex submanifolds and projectivized complex vector bundles.
Example 6.24 (The triviality condition on the cup product cannot be dropped)
Consider the real homotopy type determined by the cdga with a
$6$
-dimensional space of generators in degree
$1$
and structure equations
$$\begin{align*}d\eta^5=\eta^1\eta^3-\eta^2\eta^4,~ d\eta^6=\eta^2\eta^3+\eta^1\eta^4, ~d\eta^i=0\text{ else.} \end{align*}$$
This cdga can be identified with the left-invariant forms on the Iwasawa manifold, given by upper triangular matrices with complex entries modulo those with entries in the Gaussian integers. Note that the cup product map
$H^1\times H^1\to H^2$
is not trivial. As in every nilmanifold, we have
$r_1^{2n}-d_1^{2n}=1$
. On the other hand, by construction, the Iwasawa manifold carries a complex structure and some of its small deformations (namely, those of type
$(ii.b)$
and
$(iii.b)$
, according to the classification in [Reference AngellaAng14]) are
$1$
-controlled (this follows from [Reference StelzigSte22a, Section 9.1]). Thus, the condition on the vanishing cup product in degree
$j+1$
cannot be dropped in Theorem 6.18 or Corollary 6.20
Also, note this homotopy type has a nonvanishing triple Massey product in
$H^2$
, so this shows that such Massey products cannot, in general, be used to rule out the existence of j-controlled structures.
The following example shows Corollary 6.20 can sometimes be used for
$k < 2n$
in situations where
$k=2n$
does not apply.
Example 6.25. Let M be a
$6$
-dimensional manifold with the real homotopy type of a nilmanifold with structure equations
$d\eta ^1=d\eta ^2=0$
, and
$$ \begin{align*} d\eta^3 &= \eta^1 \eta^2 & d\eta^4 &= \eta^2 \eta^3 \\ d\eta^5 &= \eta^2 \eta^4 & d\eta^6 &= \eta^1 \eta^5 + \eta^3 \eta^4 \end{align*} $$
(c.f. [Reference MorozovMor58] or [Reference AngellaAng14]). Then
$H^1 = \langle \eta ^1,\eta ^2 \rangle $
and
$H^2 = \langle \eta ^1 \eta ^3,\eta ^2 \eta ^5\rangle $
, and
$\cup :H^1(M)\times H^2(M)\to H^3(M)$
is trivial, since
$d(\eta ^1 \eta ^4) = \eta ^2 \eta ^1\eta ^3$
and
$d(\eta ^2\eta ^6+\eta ^3\eta ^5) = 2\eta ^1\eta ^2\eta ^5$
. Also,
$\cup :H^2(M)\times H^2(M)\to H^4(M)$
is trivial since
$d(\eta ^1\eta ^4\eta ^5)=\eta ^1\eta ^2\eta ^3\eta ^5$
(the same claims hold with a different underlying homotopy type, changing only the structure equation for
$d \eta ^5$
, to
$d\eta ^5 = \eta ^2 \eta ^4-\eta ^1\eta ^3$
. We may use this for M as well.).
So, for any such M, we have
$$\begin{align*}2=b_2= r_2^4> d_2^4 = 0. \end{align*}$$
Now let N be any orientable
$6$
-manifold N, such that
$\cup : H^1 \otimes H^1 \to H^2$
is nontrivial,
$\cup :H^1(N)\times H^2(N)\to H^3(N)$
is trivial, and
$d_2^6(N)=1$
. For example, let
$N = (S^1 \times S^1 \times S^4) \# \mathbb {CP}^3$
.
Now consider
$M \# N$
. We cannot apply Corollary 6.20 with
$j=1$
, nor can we apply it with
$j=2$
and
$k=6$
. But we can apply Corollary 6.20 to
$M \# N$
with
$j=2$
and
$k=4$
, using additivity in Remark 6.16, and conclude
$M \# N$
has no complex structure which is
$2$
-controlled.
The examples of almost complex manifolds, without j-controlled complex structures, are not limited to nilmanifolds and their connected sums with other manifolds. For example, using Milivojević’s realization theorem for almost complex manifolds, one can build examples with very sparse Betti numbers, which are rationally highly connected, by ‘stretching out’ cdga’s from the previous examples:
Example 6.26 (Highly connected examples)
Let s be an odd positive integer. Consider the cdga with generators
$\eta ^1,\eta ^2,\eta ^3,\eta ^4$
in degrees
$s,s,2s-1,$
and
$3s-2$
, respectively, and the only nontrivial relations
$d\eta ^3 = \eta ^1 \eta ^2$
and
$d \eta ^4 = \eta ^1 \eta ^3$
. The Euler characteristic is zero, the cohomology satisfies Poincaré duality, and is trivial in middle degree, so this real homotopy type contains a simply connected
$2n:=7s-3$
-dimensional almost complex manifold [Reference MilivojevićMil22, Theorem 2.4., Corollaries 6.3. and 6.4.]. Additionally, it is rationally
$(s-1)$
-connected,
$j:=3s-2$
-minimal, and satisfies
$\langle H^{\leq j}\rangle \cap H^{j+1} = \langle H^{\leq j} \rangle \cap H^{2n} =0$
. Indeed, the cohomology
$H^s$
vanishes for
$s \leq j$
, except for
$H^s$
generated by
$\eta ^1$
and
$\eta ^2$
, yet
$d\eta ^3 = \eta ^1 \eta ^2$
. Then by Corollary 6.20, any almost complex manifold with this real homotopy type has no complex structure which is
$7$
-controlled.
Acknowledgments
Large parts of this paper were written during a two-months stay of J.S. at the Graduate Center of the City University of New York. J.S. would like to thank Dennis Sullivan and the City University of New York for the invitation, financial support, and hospitality. We also thank Chi Li for a talk at the CUNY Graduate Center, which inspired the results in Section 4.4. The second author acknowledges support provided by a PSC-CUNY Award, jointly funded by The Professional Staff Congress and The City University of New York.
Competing Interests
None.
Open access
