arXiv:1705.10518v2 [math.DG] 10 Nov 2017 ucsiepgso h rlce pcrlsqec.Ti h This [ in sequence. Ugarte spectral Luis Frölicher by gated the of pages successive xssa exists n yecmlxgoer”(oeRS1DE) n yGNSAG by and RBSI14DYEB), (code geometry” hypercomplex and sequence. spectral h rtsml-once xml ntelws osbedi possible lowest the in example simply-connected first the ae oevr n a eueas ht ttescn degre second the at that, also deduce degen can for not one does Moreover, sequence page. spectral Frölicher the particular, loso that show also on structure complex hypothetical a of mology h rlce pcrlsqec eeeae ttescn p Figure second in the depicted at is degenerates if sequence case spectral special Frölicher latter the Frö this the 3.3.]; of lary pages successive the [ for [ sequence also page tral holds third the symmetry at Serre degenerates sequence spectral that show also can [ in As 3.1]. h leri ieso szr,se[ see zero, is dimension algebraic the non- ht if that, h 0 , h ute nains eie obal ooooy r pro are cohomology, Dolbeault besides invariants, Further h uhri upre ytePoetSR04AHC“Analyt AnHyC SIR2014 Project the by supported is author The e od n phrases. and words Key n[ In 2010 Date 1 OG UBR FAHPTEIA COMPLEX HYPOTHETICAL A OF NUMBERS HODGE h 1 ∂ spstv [ positive is , p,q 2 -exact Gra97 ( oebr1,2017. 13, November : X ahmtc ujc Classification. Subject Mathematics S eas d eut rm[ from results add also We neddt eoriginal. be to intended yohtclcmlxsrcue on structures complex hypothetical spec Frölicher the of pages for successive the of dimensions the 07 hyaebsdo [ on based are They 2017. (o)eitneo ope tutrson structures complex of “(Non)-existence ohtclcmlxsrcueon structure complex pothetical Abstract. with d 6 = ) coe holomorphic -closed disacmlxsrcue hntecrepnigHdenu Hodge corresponding the then structure, complex a admits S HKP00 6 ,Afe ryivsiae h rpriso h Dolbeault the of properties the investigated Gray Alfred ], (0 p noe ihahpteia ope tutr r investig are structure complex hypothetical a with endowed h , + Uga00 1 h 1) , Gra97 1 1 q ( fr,ta oeul a eitrrtdgoercly In geometrically. interpreted be may hopefully that -form, , 0 X hs r h oe o h ak"og ubr fahy- a of numbers "Hodge talk the for notes the are These 2 = rpsto 03,[ 10.3], Proposition , ( h X ) 1 ae14,adta either that and 174], page , , − hoe ] hti,teeeit non-zero a exists there is, that 5], Theorem , 1 ) )either ,) i pee ope tutr;Dleutchmlg;Fröl cohomology; Dolbeault structure; complex sphere; six ( ≤ X 1 TUTR ON STRUCTURE Uga00 ) ≥ h ≥ 2 AIL ANGELLA DANIELE , Gra97 0 0 McH1 Introduction h ( 2 h X 1 and .I atclr epoe htteFrölicher the that proves he particular, In ]. fr and -form , 2 2 ) , 0 ( n [ and ] X ,weeteBt-hr ooooyof cohomology Bott-Chern the where ], adthat (and S or LRS17 h 6 ) 2 0 1 ie yteato tteMAM1 the at author the by given " 32Q99. − , h S 2 Uga00 McH1 1 ( 6 h , X 1 ssuid h aeili not is material The studied. is 0 ) si [ in as ]); , 0 = ) r o-eo[ non-zero are S E 2 ( 6 ,weeHdenmesand numbers Hodge where ], 2 X em ,Lma2,oecan one 2], Lemma 1, Lemma , edi abr nMarch in Marburg in held ” h 1 6= ) S , S . 0 oeta hswudbe would this that Note . 6 ( 6 E Uga00 X npriua,h proved he particular, In . h Uga00 3 1 ) , 1 = ≤ snnzr,o there or non-zero, is E em .] that 2.1], Lemma , Uga00 1 3 rlsequence tral eak34,one 3.4], Remark , capcsi complex in aspects ic ∞ oeprecisely, More . fINdAM. of A nepoe that proven once rt ttefirst the at erate sbe investi- been as g fadonly and if age [ Uga00 eso with mension ie ythe by vided Proposition , ated. ihrspec- licher ,(htis, (that e, ∂ Corol- , -closed coho- mber icher 2 D. ANGELLA

E•,•(X) •,• •,• r H (X) with 3 ∂ E2 (X) r ≥

3 2,0 1,0 3 0,1 0 h h 1 0 h2 0 1 3 0 0 0 1

2 0,2 1,2 1,1 0,2 2 0,2 0,2 0,1 h h h h + 1 h2 h2 0 h2 2 0 0 0 0

1 0,2 1,1 1,2 0,2 1 0,1 0,2 0,2 h + 1 h h h h2 0 h2 h2 1 0 0 0 0

0 1,0 2,0 0 0,1 1 h h 0 1 0 h2 0 0 1 0 0 0

0 1 2 3 0 1 2 3 0 1 2 3 (a) First page, (b) Second page. (c) Successive namely, Dolbeault pages. cohomology.

Figure 1. Dimensions of the Frölicher spectral sequence of a hypothetical complex structure on S6. With respect to the bi-graduation ∧p,qX, the horizontal axis represents p and the vertical axis represents q. The h0,2, h1,0, h1,1, h1,2, h2,0, 0,1 0,2 2,0 h2 , h2 are unknown non-negative integers satisfying h + h1,1 = h1,0 + h1,2 + 1, h1,0 ≤ h2,0, h1,1 ≥ h1,2 − h0,2, and 0,1 0,1 0,2 0,2 0,1 1,2 1,1 1,0 h2 ≤ h , h2 ≤ h , h2 = h − h + 1. (For h ≤ 1, compare[LRS17].)

E2 6= E∞, as asked in [GH78, page 444], see [Pit89, CFUG97, Rol08, BR14] (for non-simply-connected example, see [CFG87]). We summarize the informations concerning (1), (2), (3), (4), respectively the successive pages of the Frölicher spectral sequence (8), (9), (10), (11), (14), (15), (16) in the diamonds in Figure 1, see also [McH1]. 0.1. Further remarks. We add some remarks on the literature. We first notice that, since the of S6 is trivial in degree different that 0 and 6, from the above informations we can derive the structure of the double-complex of hypothetical complex structures on S6, see Figure 2 [Ang15]. Then one gets also informations on the Bott- Chern H•,• (X) := ker ∂∩ker ∂ and Aeppli H•,•(X) := ker ∂∂ cohomologies: BC im ∂∂ A im ∂+im ∂ they have been investigated by Andrew McHugh in [McH1, McH2]. More precisely, he obtains that [McH1, Section 3], [McH2, Proposition 3.5]: 0,0 hBC (X) = 1, 1,0 0,1 hBC (X)= hBC (X) = 0, 2,0 0,2 2,0 hBC (X)= hBC (X)= h (X), 1,1 0,1 hBC (X) = 2 h (X), 3,0 0,3 hBC (X)= hBC (X) = 0, 3,1 1,3 0,2 hBC (X)= hBC (X)= h (X), 2,2 2,1 0,1 hBC (X) = 2 hBC (X) − 2 h (X) + 2, HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 3

3,2 2,3 0,2 2,0 hBC (X)= hBC (X)= h (X)+1+ h (X), 3,3 hBC (X) = 1. p,q p,q p,q Here, we have denoted hBC (X) := dimC HBC (X), and we recall that hA (X) := p,q 3−q,3−p dimC HA (X) = hBC (X) [Sch07, page 10]. At the end, he gets the dimensions of the Bott-Chern and Aeppli cohomologies in terms just of 1,1 2,2 2,1 2,0 0,2 hBC (X), hBC (X), hBC (X), h (X), h (X). Second, if we endow S6 with a hypothetical complex structure and we construct the blowing-up at one point, then we get an exotic complex struc- ture on a manifold diffeomorphic to CP3 (which is non-Kähler [HK57], not even Moishezon [Pet85]). Cohomological properties of hypothetical exotic complex structures on CP3 are investigated in [Bro07]. Third, Gabor Etesi [Ete05v8] (see Remark 5.1 (3) in the arXiv version 8, arXiv:math/0505634v8) expects that h0,1(X)= h1,1(X) = 1 and h0,2(X)= h1,2(X) = h1,0(X) = h2,0(X) = 0. Bott-Chern cohomology in this case is considered in [McH1, Section 3.2]. Under these assumptions, the Frölicher spectral sequence degenerates at the second page. On the other hand, the case h1,1(X) = 0 is investigated in [Uga00]. Indeed, by the structure of •,• 1,1 1,2 0,2 E2 (X) under the assumption h (X) = 0, he gets that h (X)= h (X), 0,1 0,1 0,1 0,2 2,0 1,0 h2 (X)= h (X), and then also h (X)= h (X)+1, h (X)= h (X)+ h0,2(X) + 1. At the end, the Hodge numbers are completely determined by the non-negative integers h1,0 = h1,0(X) ∈ {0, 1} and h0,2 = h0,2(X), and the Frölicher spectral sequence is determined by h1,0, h0,2, and the non-negative 0,2 0,2 •,• integer h2 = h2 (X), see Figure 3. Note in particular that E1 (X) 6= •,• •,• •,• 1,0 E2 (X) 6= E3 (X)= E∞ (X) if h (X) = 1.

Acknowledgments. This note has been written for the MAM1 “(Non)-existence of complex structures on S6” held in Marburg on March 27th–30th, 2017, http://www.mathematik.uni-marburg.de/~agricola/Hopf2017/. The au- thor warmly thanks the organizers for the kind hospitality, and also all the participants for the environment they contributed to. Thanks in particular to Giovanni Bazzoni for his help and support during the preparation of the talk and of the paper. The author would like to thank Sönke Rollenske, Luis Ugarte, Claire Voisin for helpful and interesting discussions, and Andy McHugh for the references [McH1, McH2, Bro07] and for several useful dis- cussions.

1. Preliminaries We denote by X the manifold S6 endowed with a hypothetical complex structure.

1.1. Dolbeault cohomology and Frölicher spectral sequence. We re- call that the Dolbeault cohomology is Hp,q(X)= Hq(X;Ωp ) ∂ X p where ΩX denotes the of germs of holomorphic p-forms over X. Denote p,q p,q the Hodge numbers by h (X) := dimC H (X). By elliptic ∂ [Hod41], the Dolbeault cohomology groups are isomorphic as vector spaces 4 D. ANGELLA

3

2 h0,2 − β β

h0,2 + 1 − α 1

α h1,1 − h0,2 + α − 1

1,0 0 h 1

0 1 2 3

Figure 2. Main structure of the double complex associated to a hypothetical complex structure on the 6-dimensional sphere. The labels count the number of respective objects and α, h0,2, β, h1,0, h1,1 are unknown non-negative integers. In this diagram, the infinite squares and the arrows arising from symmetries have been removed.

•,• Er (X) •,• •,• H (X) with r ≥ 3 ∂ E2 (X)

0 2 3 0 h2,0 h1,0 1 3 0 h , + 1 0 1 3 0 0 0 1

2 0,2 0,2 0,2 2 0,2 0,2 0,2 2 h h 0 h + 1 h2 h2 0 h + 1 0 0 0 0

1 0,2 0,2 0,2 1 0,2 0,2 0,2 1 h + 1 0 h h h + 1 0 h2 h2 0 0 0 0

0 2 0 1 h1,0 h2,0 0 0 1 0 h , + 1 0 0 1 0 0 0

0 1 2 3 0 1 2 3 0 1 2 3 (a) First page, (b) Second page (c) Successive pages namely, Dolbeault when h1,1(X)=0. when h1,1(X)=0. cohomology when h1,1(X)=0.

Figure 3. Dimensions of the Frölicher spectral sequence of a hypothetical complex structure on S6 when h1,1(X) = 0. With respect to the bi-graduation ∧p,qX, the horizontal axis represents p and the vertical axis represents q. The h0,2, 1,0 2,0 0,2 h , h , h2 are unknown non-negative integers satisfying h2,0 = h1,0 + h0,2 + 1. HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 5 to the kernel of a 2nd order elliptic operator, therefore the Hodge numbers are finite. Moreover, Serre duality holds: as real vector spaces, Hp,q(X) ≃ H3−p,3−q(X). ∂ ∂ An explicit isomorphism can be costructed as follows. Fix a Hermitian metric g on X, and consider the induced volume form. Then we have a (positive- definite) Hermitian product on H•,•(X): the L2-pairing h_|_i. It can be ∂ represented by the C-linear Hodge-star-operator ∗: ∧p,q X →∧3−q,3−pX as

hα|βi = α ∧ ∗β. ZX ≃ Then ∗: Hp,q(X) → H3−q,3−pX is a C-anti-linear isomorphism. ∂ ∂ The double complex ∧•,•X,∂, ∂ gives a natural filtration (see e.g. [McC01, Section 2.4])  F p(∧•S6 ⊗ C) := ∧r,sX. R r+Ms=• r≥p The associated spectral sequence is called Frölicher spectral sequence [Frö55]: Ep,q(X) ≃ Hp,q(X) ⇒ Hp+q(S6; C). 1 ∂ p,q p,q Denote hr (X) := dimC Er (X) for r ∈ N ∪ {∞} with r ≥ 1. Note that, for any r,p,q,k, p,q p,q p,q 6 hr+1(X) ≤ hr (X) and h∞ (X)= bk(S ). p+Xq=k p,q In particular, hr are finite, for r ≥ 1. We give a heuristic picture, inspired by the MathOverflow discussion at http://mathoverflow.net/questions/25723/ by Greg Kuperberg, see also http://mathoverflow.net/questions/86947/. See also [Ang15]. A dou- ble complex can be decomposed into direct sum of zigzags (Figure 4a) and squares of isomorphisms (Figure 4b), see also [DGMS75]. The length of a zigzag is defined as the number of non-zero objects in it. The squares do not contribute to cohomology. Even-length zigzags of length 2ℓ do not con- tribute to the de Rham cohomology: they are killed at the (ℓ + 1)th page of the Frölicher spectral sequence. Odd length zigzags gives contribution 1 at every page of the spectral sequence, at one of the two ends of the zigzag it- self. So, the Frölicher spectral sequence degenerates at the first page if there is no zigzag of positive even length. In this case, the existence of zigzags of odd-length greater than one is then the obstruction to the Hodge decomposi- tion (that is, to Dobeault cohomology providing a Hodge structure on the de Rham cohomology). On the other side, the maximum length of a even zigzag is 2 dimC X, which means that the Frölicher spectral sequence degenerate at most at the (dimC X +1)th page. If there is no holomorphic top-degree form, then the maximum length of a zigzag is actually 2 (dimC X −1), which means that the Frölicher spectral sequence degenerates at most at the (dimC X)th page. Therefore, by dimension reasons, the Frölicher spectral sequence of X converges at most at the 4th page, being 4 = dimC X + 1. This means that, 6 D. ANGELLA

···

. . . (a) Zigzags. (b) Squares.

Figure 4. Zigzags and squares of double complexes. other than

Ep,q ≃ Hp,q(X) and Ep,q ≃ Hk(S6; C), 1 ∂ ∞ p+Mq=k we have the additional finite-dimensional invariants: ker(d : Ep,q → Ep+1,q) Ep,q ≃ 1 1 1 ≃ Hp(H•,q, ∂), 2 p−1,q p,q ∂ im(d1 : E1 → E1 ) p,q p+2,q−1 p,q ker(d2 : E2 → E2 ) E3 ≃ p−2,q+1 p,q , im(d2 : E2 → E2 ) p,q p+3,q−2 p,q ker(d3 : E3 → E3 ) E4 ≃ p−3,q+2 p,q . im(d3 : E3 → E3 ) An explicit description of the above terms can be found in [CFUG97, Theo- rem 1, Theorem 3]: p,q p,q Xr Er ≃ p,q , Yr where, for r = 1,

p,q p,q p,q p,q−1 X1 := α ∈∧ X : ∂α = 0 , Y1 := ∂ ∧ X,  and, for r ≥ 2,

p,q p,q p,q p,q Xr := α ∈∧ X : ∂α = 0 and, for any i ∈ {1, . . . , r − 1},  there exists αp+i,q−i ∈∧p+i,q−iX such that ∂αp+i−1,q−i+1 + ∂αp+i,q−i = 0 ,

p,q p−1,q p,q−1 p,q Yr := ∂β + ∂β ∈∧ X : for any i ∈ {2, . . . , r − 1},  there exists βp−i,q+i−1 ∈∧p−i,q+i−1X such that ∂βp−i,q+i−1 + ∂βp−i+1,q+i−2 = 0 and ∂βp−r+1,q+r−2 = 0 ,

p,q p+r,q−r+1 and, for any r ≥ 1, the map dr : Er → Er is given by

p,q p+r−1,q−r+1 dr[α ] := [∂α ]. HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 7

2. Dolbeault cohomology In this section, we derive the Hodge numbers of a hypothetical complex structure on S6. By Serre duality, we have h3,3(X)= h0,0(X), h0,3(X)= h3,0(X),

h3,1(X)= h0,2(X), h3,2(X)= h0,1(X), h1,3(X)= h2,0(X), h2,1(X)= h1,2(X), h2,2(X)= h1,1(X), h2,3(X)= h1,0(X). We compute h0,0(X) = 1, h3,0(X) = 0, we express h0,1(X) in terms of the unknown non-negative integer h0,2(X) getting h0,1(X) ≥ 1, and we derive a relation between h2,0(X), h1,1(X), h1,0(X), h1,2(X) getting that either h1,1(X) or h2,0(X) is non-zero. As for holomorphic 1-forms, we can fur- ther prove that h1,0(X) ≤ h2,0(X). In Section 3.3, we will also derive the inequality h1,1(X) ≥ h1,2(X) − h0,2(X). We summarize the informations from the equations (1), (2), (3), (4), (5), (6), (17), and Serre duality, in the Hodge diamond in Figure 1a.

2.1. No non-zero holomorphic 3-forms. First of all, we notice that, X being connected, then h0,0(X) = 1. (1) We compute now the other corners of the Hodge diamond, that is, h3,0(X) and h0,3(X); note that they are equal by Serre duality. We claim that X does not have any non-zero holomorphic 3-forms [Gra97, Lemma 4], that is, H3,0(X)= H0(X;Ω3 ) = 0. More precisely, we prove that there is a natural ∂ X injective map H3,0(X) → H3(S6; C), (more in general, there is a natural ∂ injective map Hn,0(X) → Hn(X; C) on a compact complex manifold of ∂ complex dimension n,) see e.g. [Bro07, Lemma 2.2], from which we get the claim by using H3(S6; C) = 0. Let [β] ∈ H3,0(X), that is, β ∈ ∧3,0X such ∂ that ∂β = 0. By dimension reasons, also dβ = 0. Then [β] ∈ H3(S6; C). The map H3,0(X) ∋ [β] 7→ [β] ∈ H3(S6; C) is well-defined, since im ∂∩∧3,0X = 0. ∂ Assume now that [β] 7→ 0, that is, β = dη for some η ∈ ∧2S6 ⊗R C. Fix any Hermitian metric on X. Note that the associated (C-linear) Hodge- star-operator ∗: ∧p,q X → ∧3−q,3−p is C∞(S6; C)-linear. Note also that, with respect to a unitary local co-frame {ϕ1, ϕ2, ϕ3} for ∧1,0X, the form ϕ1 ∧ ϕ2 ∧ ϕ3 is an eigenvector for ∗. This implies that ∗β = β. By applying Stokes theorem, if β = dη is exact, we get

kβk2 = hβ|βi = β ∧ ∗β = β ∧ β ZX ZX

= dη ∧ dη = d(η ∧ dη) = 0. ZX ZX Since the L2-pairing is non-degenerate, we get β = 0, which proves the statement. Summing up, we have computed h3,0(X) = 0. (2) 8 D. ANGELLA

2.2. The "surprising fact" that h0,1(X) is non-zero. We prove now that [Gra97, Theorem 5] h0,1(X) ≥ 1. This is reported as a "surprising fact" by A. Gray: although S6 is simply- connected, there exists a non-zero ∂-closed non-∂-exact (0, 1)-form that could be hopefully "interpreted geometrically", [Gra97, page 251]. We give two proofs of this result: the first one by A. Gray [Gra97] uses Atiyah and Singer index theorem; the second one by Joel Fine at http://mathoverflow.net/questions/62492/ and by A. McHugh [McH1, Theorem 2] uses the exponential sequence. Both of them rely on the property that H1(S6; Z)= H2(S6; Z) = 0. Proof (using Atiyah and Singer index theorem). Recall that the Euler char- acteristic is the index of the elliptic complex (∧•S6, d): 6 k 6 χ(S ) := (−1) bk(S ) = 1 − 0 + 0 − 0 + 0 − 0+1=2, Xk 6 k 6 where bk(S ) := dimR H (S ; R) denote the Betti numbers. Note that the al- ternate sum does not change moving from (Er, dr) to (Er+1 = H(Er, dr), dr+1), that is, [Frö55, Theorem 1] k 6 χ := (−1) bk(S ) Xk

p+q p,q = (−1) dimC Er (X) Xp,q

= (−1)p+qhp,q(X) Xp,q for any r ∈ {1, 2, 3, 4}. By taking into account the Serre duality, we can write: χ = (−1)p+qhp,q(X) Xp,q

= 2 (−1)qh0,q(X) +2 (−1)1+qh1,q. Xq Xq

=:χ0(X) | {z } Here, q 0,q χ0(X) := (−1) h (X) Xq is the arithmetic genus [Hir78], that is, the analytic index of the elliptic com- plex (∧0,•X, ∂). By the Hirzebruch-Riemann-Roch theorem [Hir78], which is a special case of the Atiyah and Singer index theorem [AS68, Theorem 2.12], the analytic index of the elliptic complex above is equal to the topological index of the elliptic operator ∂, namely,

indt(∂) := {ch σ(∂)Td(X)}[T X], where ch σ(∂) denotes the Chern character of the symbol of the differen- tial operator ∂ and Td(X) is the Todd class of X and [T X] is the fun- damental class of the tangent bundle. As a combination of Chern classes HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 9

2 6 4 6 c1 ∈ H (S ; Z) = 0 and c2 ∈ H (S ; Z) = 0, we have 1 ind (∂) = Td(X)[X]= c c [S6] = 0. t 24 1 2

At the end, we get χ0(X) = 0, that is, h0,0(X) − h0,1(X)+ h0,2(X) − h0,3(X) = 0. Taking into account (1), and (2) and Serre duality, we get h0,1(X)= h0,2 + 1 ≥ 1, (3) which allow to write h0,1(X), (and h3,2(X), h3,1(X), by Serre duality,) in terms of the unknown non-negative integer h0,2 = h0,2(X).  Proof (using the exponential sequence). Note that the property h3,0(X) = 0 assures that the canonical bundle KX is holomorphically non-trivial. Con- sider the exponential sequence Z × 0 → → OX → OX → 0. The long exact sequence in cohomology gives, in particular, 1 Z 1 1 × 2 Z H (X; ) → H (X; OX ) → H (X; OX ) → H (X; ). Since H1(X; Z) = 0 and H2(X; Z) = 0, we get 1 1 × H (X; OX ) ≃ H (X; OX ), 0,1 1 ×  and in particular h (X) 6= 0, since KX ∈ H (X; OX ) is non-trivial. 2.3. The non-vanishing of Dolbeault cohomology at second degree. 1+q 1,q Finally, by 2= χ = 2 q(−1) h , we get [Uga00, Proposition 3.1] P h1,3(X)+ h1,1(X)= h1,0(X)+ h1,2(X) + 1, that is, by Serre duality, h2,0(X)+ h1,1(X)= h1,0(X)+ h1,2(X) + 1 ≥ 1. (4) In particular, either h2,0(X) or h1,1(X) is non-zero.

2.4. Further inequalities on the Hodge numbers – I. We derive here some further inequalities concerning the Hodge number h1,0(X), that is, the dimension of holomorphic 1-forms, following [HKP00, McH1]. We first derive the inequality [HKP00, Proposition 10.3], [McH1, Lemma 1] h1,0(X) ≤ h2,0(X). (5) We recall the proof by [HKP00, McH1]. Another explanation will be given in Section 3.3 as in [Uga00, Remark 3.4]. More precisely, we prove that the map ∂ : H1,0(X) → H2,0(X) is injective, where ∂ denotes the induced map ∂ ∂ in Dolbeault cohomology. Indeed, let ϕ be a ∂-closed (1, 0)-form such that ∂[ϕ] = 0, that is, [∂ϕ] = 0. By degree reasons, it holds ∂ϕ = 0. Therefore 6 dϕ = 0. Since b1(S ) = 0, then there exists a smooth function f such that ϕ = df. By degree reasons, ϕ = ∂f and ∂f = 0. This implies that f is constant, and then ϕ = 0. 10 D. ANGELLA

Remark 2.1. Let us assume that the algebraic dimension a(X) := tr degCM(X) of a hypothetical complex structure on S6 is zero, as claimed in [CDP98, Corollary 2.2] and its Corrigendum; see the discussion in [LRS17]. In this case, we now prove the following bound for h1,0(X). It first appears in [HKP00, Proposition 10.3], where it is attributed to Matei Toma (see also [McH1, Lemma 2]). We also thank Sönke Rollenske for several remarks about it (see also [LRS17]). Under the assumption a(X) = 0, it holds that: h1,0(X) ≤ 1. (6) Indeed, we first notice that, by degree reasons, Dolbeault cohomology (•, 0)- classes are identified with holomorphic •-forms, which have a structure of algebra. If we had h1,0(X) ≥ 2, then also h2,0(X) ≥ h1,0(X) ≥ 2 by (5). Suppose that α1 and α2 are independent holomorphic 1-forms. Since by assumption the algebraic dimension a(X) := tr degCM(X) is zero, that is, there is no non-constant meromorphic function on X, then α1 ∧α2 6= 0. Then α1 ∧ α2 is a holomorphic 2-form; and there is another holomorphic 2-form β2 being independent with α1 ∧ α2. Since β2 is independent with α1 ∧ α2 and using again that a(X) = 0, then either α1 ∧ β2 or α2 ∧ β2 is a non-zero holomorphic 3-form. This is impossible by [Gra97, Lemma 4].

3. Frölicher spectral sequence In this section, we compute the successive pages of the Frölicher spectral sequence. We prove that it actually degenerates at the third page, as a consequence of the vanishing of holomorphic top-degree forms. Then we study the second page of the Frölicher spectral sequence. We summarize the informations in (8), (9), (10), (11), (14), (15), (16) in the diamond in Figure 1b. In particular, we notice that a symmetry à la Serre holds also •,• 1,1 •,• for E2 [Uga00, page 174]. Moreover, either h (X) 6= 0, or E2 (X) 6= •,• •,• E3 (X)= E∞ (X) where the Hodge numbers are completely determined by just h1,0(X) and h0,2(X), see Figure 3. 3.1. Degeneration at the third page. We first prove that the Frölicher spectral sequence of X degenerates at the 3rd page [Uga00, Lemma 2.1]. This will follow by the property that X has no holomorphic 3-forms. We recall that p,q p+r,q−r+1 p,q ker(dr : Er (X) → Er (X)) Er+1(X)= p−r,q+r−1 p,q . im(dr : Er (X) → Er (X)) p,q p,q p,q Therefore, Er+1(X) are quotients of subgroups of Er (X). Since ∧ X p,q is non-zero only for p,q ∈ {0, 1, 2, 3}, then Er (X) is non-zero only for 2 (p,q) ∈ {0, 1, 2, 3} , for any r ≥ 1. In particular, dr = 0 for any r ≥ 4, •,• •,• being 4 = dimC X + 1. This means that E4 (X) = E∞ (X), and the Frölicher spectral sequence degenerates at most at the 4th page. (More in general, on a compact complex manifold of complex dimension n, the same argument yields that the Frölicher spectral sequence degenerates at most at the (n + 1)th page.) •,• In this case, the only non-trivial maps that may appear in (E3 (X), d3) are: 0,2 3,0 0,3 3,1 E3 (X) → E3 (X), E3 (X) → E3 (X). HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 11

Moreover H3,0(X) = 0 by (2), which implies also H0,3(X) = 0 by Serre ∂ ∂ 3,0 0,3 duality. Therefore Er (X) = Er (X) = 0 for any r ≥ 1. Then d3 = 0, •,• •,• •,• that is, E3 (X) = E4 (X) = E∞ (X), and the Frölicher spectral sequence degenerates at most at the 3th page. (More in general, on a compact complex manifold of complex dimension n with no non-zero holomorphic n-forms, the same argument yields that the Frölicher spectral sequence degenerates at most at the nth page.) k 6 R p,q p,q Moreover, since H (S ; )= p+q=k E∞ = p+q=k E3 , then the only non-trivial dimensions, for r ≥ 3L, are L 0,0 3,3 hr (X) = 1, hr (X) = 1, (7) see Figure 1c.

3.2. Second page. We compute now the 2nd page of the Frölicher spectral sequence [Uga00, Theorem 3.2]. We first compute the four corners of the diamond. Since, by (2) and Serre 3,0 3,0 3,0 0,3 duality, we have 0 = h (X) = h1 (X) ≥ h2 (X) and 0 = h (X) = 0,3 0,3 h1 (X) ≥ h2 (X), then 3,0 0,3 h2 (X) = 0, h2 (X) = 0. (8) 0,0 0,0 Since, by (7) and (1) and Serre duality, we have 1 ≤ h3 (X) ≤ h2 (X) ≤ 0,0 0,0 h1 (X) = h (X) = 1, where the last equality follows by the Maximum 3,3 3,3 3,3 Principle, X being compact, and 1 ≤ h3 (X) ≤ h2 (X) ≤ h1 (X) = 1, then 0,0 3,3 h2 (X) = 1, h2 (X) = 1. (9) •,• p,q p+2,q−1 The non-trivial maps in the complex (E2 (X), d2 : E2 (X) → E2 (X)), by dimension reasons, are 0,1 2,0 1,1 3,0 0 → E2 (X) → E2 (X) → 0, 0 → E2 (X) → E2 (X) → 0, 0,2 2,1 1,2 3,1 0 → E2 (X) → E2 (X) → 0, 0 → E2 (X) → E2 (X) → 0, 0,3 2,2 1,3 3,2 0 → E2 (X) → E2 (X) → 0, 0 → E2 (X) → E2 (X) → 0, while 1,0 2,3 0 → E2 (X) → 0, 0 → E2 (X) → 0. Actually, by (8), we have 1,1 2,2 0 → E2 (X) → 0, 0 → E2 (X) → 0. p,q Since the cohomology of these maps is given by E3 (X) that vanishes for any (p,q) 6∈ {(0, 0), (3, 3)}, we get 1,0 2,3 h2 (X) = 0, h2 (X) = 0, (10) and 1,1 2,2 h2 (X) = 0, h2 (X) = 0, (11) and isomorphisms giving 0,1 2,0 1,3 3,2 h2 (X)= h2 (X), h2 (X)= h2 (X), (12) 1,2 3,1 0,2 2,1 h2 (X)= h2 (X), h2 (X)= h2 (X). (13) 12 D. ANGELLA

A further relation can be obtained by the following observation. For q ∈ {0, 1, 2, 3}, the complex

0,q d1 1,q d1 2,q d1 3,q 0 → E1 (X) → E1 (X) → E1 (X) → E1 (X) → 0. has the same index as 0,q 1,q 2,q 3,q 0 → E2 (X) → E2 (X) → E2 (X) → E2 (X) → 0. Then we get 0,q 1,q 2,q 3,q h1 (X) − h1 (X)+ h1 (X) − h1 (X) 0,q 1,q 2,q 3,q = h2 (X) − h2 (X)+ h2 (X) − h2 (X). Varying q ∈ {0, 1, 2, 3} and using the known relations on the Hodge numbers, we have: 1,0 1,3 2,0 1 − h (X)+ h (X) = 1+ h2 (X), 0,2 1,1 1,2 0,2 0,1 2,1 3,1 h (X) + 1 − h (X)+ h (X) − h (X) = h2 (X)+ h2 (X) − h2 (X), 0,2 1,2 1,1 0,2 0,2 1,2 3,2 h (X) − h (X)+ h (X) − h (X) − 1 = h2 (X) − h2 (X) − h2 (X), 1,3 1,0 1,3 −h (X)+ h (X) − 1 = −h2 (X) − 1. 2,0 1,3 In particular, the first and the fourth equations give h2 (X) = h2 (X), whence, by (12), 0,1 2,0 1,3 3,2 h2 (X)= h2 (X)= h2 (X)= h2 (X). (14) 0,2 1,2 The second and third equations now give h2 (X) = h2 (X), whence, by (13), 2,1 0,2 1,2 3,1 h2 (X)= h2 (X)= h2 (X)= h2 (X). (15) •,• In particular, we notice that a duality à la Serre holds also for E2 , namely, for any p,q, p,q 3−p,3−q h2 = h2 . Again from the second equation, we have also the equality 0,1 1,2 1,1 h2 (X)= h (X) − h (X) + 1 ≥ 0. (16) We notice that [Uga00, Corollary 3.3]: either h1,1(X) 6= 0; or h1,1(X) = 0 0,1 0,1 •,• •,• then h2 (X) 6=0= h3 (X), that is, E2 (X) 6= E∞ (X). 3.3. Further inequalities on the Hodge numbers – II. By the vanish- 1,0 1,1 ing of E2 (X) and E2 (X), we can deduce further inequalities on the Hodge numbers [Uga00, Remark 3.4], [HKP00, Proposition 10.3], [McH1, Lemma 1]. First, we give another evidence for the inequality (5). Consider the com- plex C 0,0 d1=0 1,0 d1 2,0 d1 3,0 = E1 (X) → E1 (X) → E1 (X) → E1 (X) = 0. 1,0 1,0 •,• Since E2 (X)= H (E1 (X), d1) = 0, then the above complex is exact at 1,0 1,0 2,0 E1 (X), that is, the map E1 (X) → E1 (X) is injective. We get again (5): h1,0(X) ≤ h2,0(X). HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 13

Similarly, consider the complex

0,1 1,1 2,1 0,1 d1 1,1 d1 2,1 d1 3,1 0 → E1 (X) → E1 (X) → E1 (X) → E1 (X) → 0. 1,1 1,1 •,• By using that E2 (X) = H (E1 (X), d1) = 0, we split it into the exact sequences

0,1 1,1 0,1 0,1 d1 1,1 d1 2,1 1,1 0 → ker d1 → E1 (X) → E1 (X) → E1 (X) → coker d1 → 0,

2,1 2,1 2,1 ker d1 1,1 d1 3,1 2,1 3,1 0 → E2 (X)= 1,1 → coker d1 → E1 (X) → coker d1 = E2 (X) → 0. im d1 Then we get

1,1 0,1 0,1 2,1 1,1 h (X) = h (X) − dim ker d1 + h (X) − dim coker d1   2,1 2,1 3,1 3,1 ≥ h (X) − h2 (X)+ h (X) − h2 (X)   = h2,1(X) − h3,1(X), from which we finally get [Uga00, Remark 3.4] h1,1(X) ≥ h1,2(X) − h0,2(X). (17)

4. Bott-Chern cohomology From the knowledge of the pages of the Frölicher spectral sequence, we get the double complex of forms: its main structure is depicted it in Figure 2, see [Ang15]. Indeed the odd-length zigzags, which are the ones contributing 0,0 3,3 to the de Rham cohomology, sit only at E∞ (X) and E∞ (X). In particular, we can deduce informations also on the Bott-Chern and Aeppli cohomologies, ker ∂ ∩ ker ∂ ker ∂∂ H•,• (X) := ,H•,•(X) := . BC im ∂∂ A im ∂ + im ∂ p,q p,q p,q p,q Denote hBC (X) := dimC HBC (X) and hA (X) := dimC HA (X). Recall that [Sch07, page 10], since X is compact of complex dimension 3, we have p,q 3−q,3−p hA (X)= hBC (X). The Bott-Chern cohomology of X is investigated in [McH1, McH2] by Andrew McHugh. More precisely, he proves the following results [McH1, Section 3], [McH2, Proposition 3.5]: 0,0 • hBC (X) = 1: indeed [McH1, Theorem 4], d-closed functions on X are locally-constant; since X is connected, they are constant; 1,0 1,0 1,0 1,0 • hBC (X) = 0: indeed, HBC (X)= ∧ X ∩ ker ∂ ∩ ker ∂ ≃ E2 (X)= 0. More concretely [McH1, Lemma 7], let ϕ ∈ ∧1,0X such that 1 C ∂ϕ = ∂ϕ = 0; then also dϕ = 0 and [ϕ] ∈ HdR(X; ) = 0; then there exists f ∈C∞(X; C) such that ϕ = df; this means that ϕ = ∂f and ∂f = 0; that is, f is a holomorphic function on X compact connected, whence constant by the Maximum Principle; we get that ϕ = 0; 14 D. ANGELLA

0,1 R • hBC (X) = 0: indeed, conjugation induces an -linear isomorphism p,q q,p HBC (X) ≃ HBC (X), for any bi-degree (p,q); 1,1 0,1 • hBC (X) = 2 h (X): indeed [McH2, Proposition 4.1], by using that 6 1,1 1,0 1,1 b1(S ) = 0, we have that HBC (X)=im ∂ : H∂ (X) → HBC (X) +   im ∂ : H0,1(X) → H1,1 (X) ; note now that b (S6) = 0 yields that ∂ BC 1   1,0 1,1 this is in fact a direct sum; finally, the maps ∂ : H∂ (X) → HBC (X) and ∂ : H0,1(X) → H1,1 (X) are injective since b (S6) = 0; ∂ BC 1 2,0 2,0 • hBC (X) = h (X): indeed [McH1, Lemma 9], we have an injective ;(map H2,0 (X) = ∧2,0X ∩ ker ∂ ∩ ker ∂ ֒→ ∧2,0X ∩ ker ∂ = H2,0(X BC ∂ on the other side, any ∂-closed (2, 0)-form ϕ is also ∂-closed: this is because ∂ϕ is a holomorphic 3-form, but there is no non-zero holo- 2,0 morphic 3-form [Gra97, Lemma 4]; then the natural map HBC (X) → H2,0(X) induced by the identity is an isomorphism; ∂ 0,2 2,0 • hBC (X)= h (X): by conjugation; 3,0 3,0 3,0 • hBC (X) = 0: we have [McH1, Lemma 8] that HBC (X) = ∧ X ∩ ;ker ∂ ∩ ker ∂ ֒→∧3,0X ∩ ker ∂ = H3,0(X) = 0 ∂ 0,3 • hBC (X) = 0: by conjugation; 1,3 0,2 • hBC (X)= h (X): indeed [McH1, Lemma 9], consider the sequence

∂ 0 → H0,2(X) → H0,2(X) → H0,3 (X); ∂ A BC

it is straightforward to check that it is exact, because of degree 0,3 reasons; moreover, we know that hBC (X) = 0; then we get that h1,3 (X)= h0,2(X) = h0,2(X), where we have used Schweitzer dual- BC A ∂ ity; 2,2 2,1 0,1 • hBC (X) = 2 hBC (X)−2 h (X)+2: this follows by the computation 1,1 0,1 of hBC (X) = 2 h (X) above and by the relation

1,1 2,2 2,1 hBC (X)+ hBC (X) = 2 hBC (X) + 2,

that we prove now; indeed [McH1, page 13], we have the exact se- quence [McH1, Theorem 3]

0 → H1,0(X) → H1,0(X) ∂ A

∂ → H1,1 (X) → H1,1(X) → H1,1(X) BC ∂ A

∂ → H1,2 (X) → H1,2(X) → H1,2(X) BC ∂ A

∂ ∂ → H1,3 (X) → H1,3(X) → H1,3(X) → 0 BC ∂ A

6 6 6 6 because of b1(S ) = b2(S ) = b3(S ) = b4(S ) = 0. By using the previous computations, as well as the computations of the Hodge HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 15

numbers, this gives 1,0 0,2 2,0 1,1 0 = h (X) − (h (X)+1+ h (X)) + hBC (X) 1,1 2,2 2,1 −h (X)+ hBC (X) − hBC (X) 1,2 2,1 0,2 +h (X) − hBC (X)+ h (X) −h2,0(X)+ h2,0(X). By using also (4), this completes the proof of the claim. 3,1 0,2 • hBC (X)= h (X): by conjugation; 2,3 0,2 2,0 • hBC (X)= h (X)+1+h (X): indeed [McH1, Lemma 9], consider the sequence

∂ 0 → H0,1(X) → H0,1(X) → H0,2 (X) → H0,2(X); ∂ A BC ∂ it is straghtforward to check that it is exact, because of degree 6 reasons; moreover, since b2(S ) = 0, then the image of the map H0,2 (X) → H0,2(X) is zero; then we get that h2,3 (X)= h0,1(X)= BC ∂ BC A 0,1 0,2 0,2 2,0 h (X)+ hBC (X)= h (X)+1+ h (X), where we have used the 2,0 Schweitzer duality, (3), and the previous computation of hBC (X)= h2,0(X); 3,2 0,2 2,0 • hBC (X)= h (X)+1+ h (X): by conjugation; 3,3 3,3 0,0 • hBC (X) = 1: by the Schweitzer duality, HBC (X) ≃ HA (X) = ∧0,0X ∩ ker ∂∂: this is the space of pluri-harmonic functions on X compact connected, which are constant by the Maximum Principle; see also [McH1, Theorem 4]. Summing up, he can express the Bott-Chern cohomology dimensions in terms 1,1 2,2 2,1 2,0 0,2 just of hBC (X), hBC (X), hBC (X), h (X), h (X), see Figure 5.

5. Open problems Problem 5.1 (Sullivan-Barge Theorem for complex manifolds). The Sullivan- Barge Theorem [Bar76, Sul77] states that the necessary conditions for the realization of a Sullivan model by a compact simply-connected manifold are also sufficient. Determine necessary and sufficient conditions for the real- izability of a double complex as the double complex of a compact complex manifold. Problem 5.2 (twisted Dolbeault cohomology of hypothetical complex man- ifold X with underlying S6). Let [ϑ0,1] be a non-trivial class in H0,1(X). ∂ Study the cohomology of the twisted complex (∧p,•X, ∂ − ϑ0,1 ∧ _)

References

[Ang15] D. Angella, On the Bott-Chern and Aeppli cohomology, arXiv:1507.07112, in Bielefeld Geometry & Topology Days, https://www.math.uni-bielefeld.de/sfb701/suppls/ssfb15001.pdf, 2015 (Cited on p. 2, 5, 13) [AS68] M. F. Atiyah, I. M. Singer, The index of elliptic operators: III, Ann. of Math. (2) 87 (1968), no. 3, 546–604. (Cited on p. 8) 16 D. ANGELLA

•,• •,• HBC (X) HA (X)

0 2 2 0 3 0 h0,2 h , +1+ h , 1 3 0 h2,0 0 1

2,1 2h 2 2,0 2,1 BC 0,2 2,0 2 0,2 2,1 0,1 h hBC h +1+ h h hBC 2h 0 −2h0,1 + 2

2,1 2h 1 0,1 2,1 0,2 1 0,2 2,0 BC 2,1 2,0 0 2h hBC h h +1+ h hBC h −2h0,1 + 2

0 2 2 0 0 1 0 h2,0 0 0 1 h , +1+ h , h0,2 0

0 1 2 3 0 1 2 3 (a) Bott-Chern cohomology. (b) Aeppli cohomology.

Figure 5. Dimensions of the Bott-Chern and Aeppli co- homologies of a hypothetical complex structure on S6, see [McH1, McH2]. With respect to the bi-graduation ∧p,qX, the horizontal axis represents p and the vertical axis represents 2,1 2,0 0,2 q. The hBC , h , h are unknown non-negative integers.

[Bar76] J. Barge, Structures différentiables sur les types d’homotopie rationnelle simple- ment connexes, Ann. Sci. École Norm. Sup. (4) 9 (1976), no. 4, 469–501. (Cited on p. 15) [BR14] L. Bigalke, S. Rollenske, Erratum to: The Frölicher spectral sequence can be arbitrarily non-degenerate, Math. Ann. 358 (2014), no. 3-4, 1119–1123. (Cited on p. 2) [Bro07] J. R. Brown, Properties of a hypothetical exotic complex structure on CP 3, Math. Bohem. 132 (2007), no. 1, 59–74. (Cited on p. 3, 7) [CDP98] F. Campana, J.-P. Demailly, Th. Peternell, The algebraic dimension of com- pact complex threefolds with vanishing second Betti number, Compositio Math. 112 (1998), no. 1, 77–91. (Cited on p. 10) [CFG87] L. A. Cordero, M. Fernández, A. Gray, The Frölicher spectral sequence and complex compact nilmanifolds, C. R. Acad. Sci. Paris Sér. I Math. 305 (1987), no. 17, 753–756. (Cited on p. 2) [CFUG97] L. A. Cordero, M. Fernández, L. Ugarte, A. Gray, A general description of the terms in the Frölicher spectral sequence, Differential Geom. Appl. 7 (1997), no. 1, 75–84. (Cited on p. 2, 6) [DGMS75] P. Deligne, Ph. Griffiths, J. Morgan, D. Sullivan, Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975), no. 3, 245–274. (Cited on p. 5) [Ete05v8] G. Etesi, Complex structure on the six dimensional sphere from a spontaneous symmetry breaking, J. Math. Phys. 56 (2015), no. 4, 043508, 21 pp. Erratum: "Com- plex structure on the six dimensional sphere from a spontaneous symmetry breaking”, J. Math. Phys. 56 (2015), no. 9, 099901, 1 p. (Cited on p. 3) [Frö55] A. Frölicher, Relations between the cohomology groups of Dolbeault and topo- logical invariants, Proc. Nat. Acad. Sci. U.S.A. 41 (1955), 641–644. (Cited on p. 5, 8) [Gra97] A. Gray, A property of a hypothetical complex structure on the six sphere, Boll. Un. Mat. Ital. B (7) 11 (1997), Suppl. fasc. 2, 251–255. (Cited on p. 1, 7, 8, 10, 14) HODGE NUMBERS OF A HYPOTHETICAL COMPLEX STRUCTURE ON S6 17

[GH78] Ph. Griffiths, J. Harris, Principles of algebraic geometry, Pure and Applied Math- ematics, Wiley– Interscience/Wiley, New York (1978). (Cited on p. 2) [Hir78] F. Hirzebruch, Topological methods in algebraic geometry, Translated from the German and Appendix One by R. L. E. Schwarzenberger, With a preface to the third English edition by the author and Schwarzenberger, Appendix Two by A. Borel, Reprint of the 1978 edition, Classics in Mathematics. Springer-Verlag, Berlin, 1995. (Cited on p. 8) [HK57] F. Hirzebruch, K. Kodaira, On the complex projective spaces, J. Math. Pures Appl. (9) 36 (1957), 201–216. (Cited on p. 3) [Hod41] W. V. D. Hodge, The theory and applications of harmonic integrals, Reprint of the 1941 original, With a foreword by , Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1989. (Cited on p. 3) [HKP00] A. Huckleberry, S. Kebekus, T. Peternell, Group actions on S6 and complex structures on P3, Duke Math. J. 102 (2000), no. 1, 101–124. (Cited on p. 1, 9, 10, 12) [LRS17] C. Lehn, S. Rollenske, C. Schinko, The complex geometry of a hypothetical complex structure on S6, Differ. Geom. Appl.. (Cited on p. 1, 2, 10) [McC01] J. McCleary, A user’s guide to spectral sequences, Second edition, Cambridge Studies in Advanced Mathematics, 58, Cambridge University Press, Cambridge, 2001. (Cited on p. 5) [McH1] Andrew McHugh, Narrowing cohomologies on complex S6, Eur. J. Pure Appl. Math. 10 (2017), no. 3, 440–454. (Cited on p. 1, 2, 3, 8, 9, 10, 12, 13, 14, 15, 16) [McH2] Andrew McHugh, Bott-Chern/Aeppli cohomology on compact complex 3-folds. (Cited on p. 2, 3, 13, 14, 16) [Pet85] Th. Peternell, A rigidity theorem for P3(C), Manuscripta Math. 50 (1985), 397– 428. (Cited on p. 3) [Pit89] H. Pittie, The nondegeneration of the Hodge-de Rham spectral sequence, Bull. Amer. Math. Soc. 20 (1989), 19–22. (Cited on p. 2) [Rol08] S. Rollenske, The Frölicher spectral sequence can be arbitrarily non-degenerate, Math. Ann. 341 (2008), no. 3, 623–628. (Cited on p. 2) [Sch07] M. Schweitzer, Autour de la cohomologie de Bott-Chern, Prépublication de l’Institut Fourier no. 703 (2007), arXiv:0709.3528. (Cited on p. 3, 13) [Sul77] D. Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 269–331. (Cited on p. 15) [Uga00] L. Ugarte, Hodge numbers of a hypothetical complex structure on the six sphere, Geom. Dedicata 81 (2000), no. 1-3, 173–179. (Cited on p. 1, 3, 9, 10, 11, 12, 13)

(D. Angella) Dipartimento di Matematica e Informatica "Ulisse Dini", Uni- versità di Firenze, viale Morgagni 67/a, 50134 Firenze, Italy, E-mail address: [email protected] E-mail address: [email protected] URL: http://sites.google.com/site/danieleangella/