2006
DOI: 10.1017/s0305004106009340
|View full text |Cite
|
Sign up to set email alerts
|

Formality of $k$-connected spaces in $4k+3$ and $4k+4$ dimensions

Abstract: Abstract. Using the concept of s-formality we are able to extend the bounds of a Theorem of Miller and show that a compact k-connected (4k + 3)-or (4k + 4)-manifold with b k+1 = 1 is formal. We study k connected n-manifolds, n = 4k + 3, 4k + 4, with a hard Lefschetzlike property and prove that in this case if b k+1 = 2, then the manifold is formal, while, in 4k + 3-dimensions, if b k+1 = 3 all Massey products vanish. We finish with examples inspired by symplectic geometry and manifolds with special holonomy.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
10
0

Year Published

2008
2008
2020
2020

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(10 citation statements)
references
References 20 publications
0
10
0
Order By: Relevance
“…For the special case of twisted connected sums, one may ask whether formality can be deduced from the way they are built from pairs of Kähler manifolds. Cavalcanti [13] shows that any simply-connected 7-manifold M with b 2 (M ) ≤ 1 is formal (so we did not need to consider Massey products when π 2 (M ) is cyclic), and that b 2 (M ) ≤ 2 suffices for formality if M is a G 2 -manifold. Formality of G 2 -manifolds is also studied by Verbitsky [71].…”
Section: Review and Outlookmentioning
confidence: 99%
“…For the special case of twisted connected sums, one may ask whether formality can be deduced from the way they are built from pairs of Kähler manifolds. Cavalcanti [13] shows that any simply-connected 7-manifold M with b 2 (M ) ≤ 1 is formal (so we did not need to consider Massey products when π 2 (M ) is cyclic), and that b 2 (M ) ≤ 2 suffices for formality if M is a G 2 -manifold. Formality of G 2 -manifolds is also studied by Verbitsky [71].…”
Section: Review and Outlookmentioning
confidence: 99%
“…Cavalcanti [, Theorem 4] showed that if M is a closed (n1)‐connected (4n1)‐manifold and there is an element φH2n1false(Mfalse) such that Hnfalse(Mfalse)H3n1false(Mfalse), xφx is an isomorphism (‘M has a hard Lefschetz property') then M is formal if bnfalse(Mfalse)2 and its Massey products vanish uniformly if bnfalse(Mfalse)3. As an illustration of our results we can make the following improvement.…”
Section: Introductionmentioning
confidence: 99%
“…It would be interesting to construct A ∞ -minimal models for other types of dgas or A ∞ -algebras following this way. For example, we may be able to extend Cavalcanti's result that a compact orientable k-connected manifold of dimension 4k + 3 or 4k + 4 with b k+1 = 1 is formal [3].…”
Section: Two Conjecturesmentioning
confidence: 80%