Related papers: Formality of spaces with Lusternik-Schnirelmann ca…

Let L_1 denotes the Lie algebra of formal vector fields on the line which vanish at the origin together with their first derivatives. Buchstaber and Shokurov have shown that the universal enveloping algebra U(L_1) is isomorphic to the…

Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg…

In this work we construct nontrivial Massey products in the cohomology of moment-angle manifolds corresponding to polytopes from the Pogorelov class. This class includes the dodecahedron and all fullerenes, i. e. simple 3-polytopes with…

Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…

Motivated by the construction of Steenrod cup-$i$ products in the singular cochain algebra of a space and in the algebra of non-commutative differential forms, we define a category of binomial cup-one differential graded algebras over the…

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

We prove that all generalised symmetric spaces of compact simple Lie groups are formal in the sense of Sullivan. Nevertheless, many of them, including all the non-symmetric flag manifolds, do not admit Riemannian metrics for which all…

We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.

We show that the bigraded quasi-isomorphism type of the bigraded, bidifferential algebra of forms on a compact K\"ahler manifold generally contains more information than the de Rham cohomology algebra with its real Hodge structure. More…

We study the rational homotopy theoretic and geometric properties of a construction which extends any cohomologically connected, finite type cdga to one satisfying cohomological Poincar\'e duality. Using this construction we show that…

We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…

In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and…

A homotopy Gerstenhaber structure on a differential graded algebra is essentially a family of operations defining a multiplication on its bar construction. We prove that the normalized singular cochain algebra of a Davis-Januszkiewicz space…

The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for…

We first introduce the Wigner-Weyl-Moyal formalism for a theory whose phase-space is an arbitrary Lie algebra. We also generalize to quantum Lie algebras and to supersymmetric theories. It turns out that the non-commutativity leads to a…

The classical deformation theory of Lie algebras involves different kinds of Massey products of cohomology classes. Even the condition of extendibility of an infinitesimal deformation to a formal one-parameter deformation of a Lie algebra…

Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models…

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of "derived" categories…

The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated…

This paper studies formality of the differential graded algebra $RHom(E,E)$, where $E$ is a semistable sheaf on a K3 surface. The main tool is Kaledin's theorem on formality in families. For a large class of sheaves $E$, this DG algebra is…