Related papers: Formality of certain CW complexes

We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We classify singular Q-homology planes which are C^1- or C*-ruled. We analyze their completions, the number of different rulings, the number of…

This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A-infinity category, which plays the role…

Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed…

We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.

Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed Cuntz class is path connected. This result applies in particular…

Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates…

We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…

Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…

Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following:…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

Let $L$ be a countable CW-complex and $F\colon X\to Y$ be upper semicontinuous $UV^{[L]}$-valued mapping of a paracompact space $X$ to a complete metric space $Y$. We prove that if $X$ is a C-space of extension dimension $\ed X \le [L]$,…

A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We obtain a structure theorem for Q-homology planes with smooth locus of non-general type. We show that if a Q-homology plane contains a non-quotient…

We develop the details of Kontsevich's proof of the formality of little N-disks operad over the field of real numbers. Formality holds in the category of operads of chain complexes and also in some sense in the category of commutative…

It is a prominent conjecture (relating Riemannian geometry and algebraic topology) that all simply-connected compact manifolds of special holonomy should be formal spaces, i.e., their rational homotopy type should be derivable from their…

A qualgebra $G$ is a set having two binary operations that satisfy compatibility conditions which are modeled upon a group under conjugation and multiplication. We develop a homology theory for qualgebras and describe a classifying space…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $X\tau_h K\implies \beta(X)\tau K$ for all paracompact spaces $X$. Here are the main results of the paper: Theorem: If $\{K_s\}_{s\in S}$ is a family of…

For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $\alpha_G$, which expresses violations of BRST-closedness of a quantum field theory along a single…