Metadata
Abstract
We attack the question of $E_2$-formality of differential graded algebras over $\mathbb{F}_p$ via obstruction theory. We are able to prove that $E_2$-algebras whose cohomology ring is a polynomial algebra on even degree classes are formal. As a consequence we prove $E_2$-formality of the classifying space of some compact Lie groups or of Davis–Januszkiewicz spaces.
References
[Bau68] On the cohomology of homogeneous spaces, Topology, Volume 7 (1968), pp. 15-38 | DOI | Zbl | MR
[BB20] Koszul -algebras and free loop space homology, Proc. Edinb. Math. Soc., II. Ser., Volume 63 (2020) no. 1, pp. 37-65 | DOI | Zbl | MR
[BCS10] Topological Hochschild homology of Thom spectra and the free loop space, Geom. Topol., Volume 14 (2010) no. 2, pp. 1165-1242 | DOI | Zbl | MR
[BF04] Combinatorial operad actions on cochains, Math. Proc. Camb. Philos. Soc., Volume 137 (2004) no. 1, pp. 135-174 | DOI | Zbl | MR
[BG23] Formality of cochains on , Bull. Lond. Math. Soc., Volume 55 (2023) no. 3, pp. 1120-1128 | DOI | Zbl | MR
[BM22] Algebraic -theory of , Trans. Am. Math. Soc., Volume 375 (2022) no. 6, pp. 4177-4207 | DOI | Zbl | MR
[Bor53] Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts, Ann. Math. (2), Volume 57 (1953), pp. 115-207 | DOI | Zbl | MR
[BP15] Toric topology, Mathematical Surveys and Monographs, 204, American Mathematical Society, 2015 | Zbl | DOI | MR
[Bök85] The topological Hochschild homology of and (1985) (unpublished manuscript, https://pi.math.cornell.edu/~dmehrle/notes/references/bokstedt2.pdf)
[Car50] Cohomologie réelle d’un espace fibré principal différentiable. II : transgression dans un groupe de Lie et dans un espace fibré principal ; recherche de la cohomologie de l’espace de base, Espaces fibrés et homotopie (Séminaire Henri Cartan), Volume 2, Secrétariat mathématique de l’Institut Henri Poincaré, 1949-1950 (exp. no 20, 11 pages)
[Car21] The cohomology of biquotients via a product on the two-sided bar construction (2021) | arXiv | Zbl
[CE56] Homological algebra, Princeton Mathematical Series, 19, Princeton University Press, 1956 | Zbl | MR
[CH22] Étale cohomology, purity and formality with torsion coefficients, J. Topol., Volume 15 (2022) no. 4, pp. 2270-2297 | DOI | Zbl | MR
[CLM76] The homology of iterated loop spaces, Lecture Notes in Mathematics, 533, Springer, 1976 | Zbl | DOI | MR
[DCH21] Homotopy transfer and formality, Ann. Inst. Fourier, Volume 71 (2021) no. 5, pp. 2079-2116 | DOI | Zbl | MR | Numdam
[Dev24] Ku-theoretic spectral decompositions for spheres and projective spaces (2024) | arXiv | Zbl
[DFI24] Quillen (co)homology of divided power algebras over an operad (2024) | arXiv | Zbl
[DJ91] Convex polytopes, Coxeter orbifolds and torus actions, Duke Math. J., Volume 62 (1991) no. 2, pp. 417-451 | DOI | Zbl | MR
[DS07] Moment-angle complexes, monomial ideals and Massey products, Pure Appl. Math. Q., Volume 3 (2007) no. 1, pp. 25-60 | DOI | Zbl | MR
[Emp24] Kaledin classes and formality criteria (2024) | arXiv
[FC24] An obstruction theory for strictly commutative algebras in positive characteristic (2024) | arXiv | Zbl
[Fes81] Some general theorems on the cohomology of classifying spaces of compact Lie groups, Trans. Am. Math. Soc., Volume 264 (1981), pp. 49-58 | DOI | Zbl | MR
[Fra15] Behavior of Quillen (co)homology with respect to adjunctions, Homology Homotopy Appl., Volume 17 (2015) no. 1, pp. 67-109 | DOI | Zbl
[Fra20] Homotopy Gerstenhaber algebras are strongly homotopy commutative, J. Homotopy Relat. Struct., Volume 15 (2020) no. 3-4, pp. 557-595 | DOI | Zbl
[Fra21a] The cohomology rings of homogeneous spaces, J. Topol., Volume 14 (2021) no. 4, pp. 1396-1447 | DOI | Zbl | MR
[Fra21b] Homotopy Gerstenhaber formality of Davis–Januszkiewicz spaces, Homology Homotopy Appl., Volume 23 (2021) no. 2, pp. 325-347 | DOI | Zbl
[GKRW18] Cellular -algebras (2018) | arXiv | Zbl
[GM74] On the theory and applications of differential torsion products, Memoirs of the American Mathematical Society, 142, American Mathematical Society, 1974 | DOI | Zbl | MR
[Hao92] -formality of spaces, J. Pure Appl. Algebra, Volume 78 (1992) no. 1, pp. 27-47 | DOI | Zbl | MR
[HL24] Formality of -algebras and cochains on spheres (2024) | arXiv | Zbl
[Hov99] Model categories, Mathematical Surveys and Monographs, 63, American Mathematical Society, 1999 | Zbl | MR
[HS79] Obstructions to homotopy equivalences, Adv. Math., Volume 32 (1979), pp. 233-279 | DOI | Zbl
[Jac62] Lie algebras, Interscience Tracts in Pure and Applied Mathematics, 10, Interscience Publishers, 1962 | Zbl
[JN14] Lifting homotopy -algebra maps to strict maps, Adv. Math., Volume 264 (2014), pp. 593-645 | DOI | Zbl | MR
[KN22] Bökstedt periodicity and quotients of DVRs, Compos. Math., Volume 158 (2022) no. 8, pp. 1683-1712 | DOI | Zbl | MR
[Lur09] Higher topos theory, Annals of Mathematics Studies, 170, Princeton University Press, 2009 | DOI | Zbl | MR
[Man09] Towards formality, 2009 (Slides available at https://mmandell.pages.iu.edu/talks/Austin3.pdf)
[MS02] A solution of Deligne’s Hochschild cohomology conjecture, Recent progress in homotopy theory. Proceedings of a conference, Baltimore, MD, USA, March 17–27, 2000 (Contemporary Mathematics), Volume 293, American Mathematical Society, 2002, pp. 153-193 | Zbl | MR
[NR05] On Davis–Januszkiewicz homotopy types I: formality and rationalisation, Algebr. Geom. Topol., Volume 5 (2005), pp. 31-51 | DOI | Zbl | MR
[NR10] On Davis–Januszkiewicz homotopy types II: Completion and globalisation, Algebr. Geom. Topol., Volume 10 (2010) no. 3, pp. 1747-1780 | DOI | Zbl | MR
[Qui67] Homotopical algebra, Lecture Notes in Mathematics, 43, Springer, 1967 | DOI | Zbl | MR
[RZ14] A spectral sequence for the homology of a finite algebraic delooping, J. -Theory, Volume 13 (2014) no. 3, pp. 563-599 | DOI | Zbl
[Sal17] Noncommutative formality implies commutative and Lie formality, Algebr. Geom. Topol., Volume 17 (2017) no. 4, pp. 2523-2542 | DOI | Zbl | MR
[Sal20] Non-formality of planar configuration spaces in characteristic 2, Int. Math. Res. Not., Volume 2020 (2020) no. 10, pp. 3100-3129 | DOI | Zbl | MR
[SH70] Differential algebra in its own rite, Proceedings of the Advanced Study Institute on Algebraic Topology (Aarhus Univ., Aarhus, 1970), Vol. III (Various Publications Series), Volume 13, Aarhus University, 1970, pp. 567-577 | MR | Zbl
[Wol77] The cohomology of homogeneous spaces, Am. J. Math., Volume 99 (1977), pp. 312-340 | DOI | Zbl | MR
[ČS24] Purity for flat cohomology, Ann. Math. (2), Volume 199 (2024) no. 1, pp. 51-180 | DOI | Zbl | MR