Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The key step in Kontsevich's proof of deformation quantization of Poisson manifolds is the so-called formality theorem where 'a formal complex' means that it admits a certain condition. I wonder why it is called 'formal'. I only found the definition of Sullivan in Wikipedia: 'formal manifold is one whose real homotopy type is a formal consequence of its real cohomology ring'. But still I am confused because most of articles I found contain the same sentence only and I cannot understand the meaning of 'formal consequence'. Does anyone know the history of this concept?

share|improve this question
add comment

4 Answers

up vote 17 down vote accepted

I would guess that the terminology goes back to the work of Sullivan and Quillen on rational homotopy theory. You should probably also look at the paper of Deligne-Griffiths-Morgan-Sullivan on the real homotopy theory of Kähler manifolds. Actually, I think that at least some familiarity with the DGMS paper is an important prerequisite for understanding many of Kontsevich's papers.

I am not totally sure, but I believe that the definitions are as follows:

  • A differential graded algebra $(A,d)$ is called formal if it is quasi-isomorphic (in general, if we work in the category of dg algebras and not, say, the category of A-infinity algebras, we need a "zig-zag" of quasi-isomorphisms) to $H^\ast(A,d)$ considered as a dg algebra with zero differential.

  • A space X is called formal (over the rationals resp. the reals) if its cochain dg algebra $C^\ast(X)$ (with rational resp. real coefficients) with the standard differential is a formal dg algebra.

One of the things I'm not sure about is whether in the definition we should require $H^\ast(A,d)$ to be commutative; but for spaces this is not an issue since $H^\ast(X)$ is always (graded-)commutative.

The DGMS paper proves that if X is a compact Kähler manifold, then the de Rham dg algebra consisting of (real, $C^\infty$) differential forms on X with the standard de Rham differential is a formal dg algebra.

The phrase "the real (resp. rational) homotopy type of X is a formal consequence of the real (resp. rational) cohomology ring of X", which appears in e.g. the DGMS paper, simply means that the real (resp. rational) homotopy theory of X is determined by (and is probably explicitly and algorithmically computable from?) the cohomology ring of X. In other words, if X and Y are formal (over the rationals resp. the reals) and have isomorphic (rational resp. real) cohomology rings, then their respective (rational resp. real) homotopy theories are the same (and are explicitly computable, if we know the cohomology ring(s)?). For example, the ranks of their homotopy groups will be equal.

Actually I am not totally sure whether what I said in the last paragraph is true. I think it's true when X and Y are simply connected. I'm not sure about what happens more generally.

In the context of rational homotopy theory, I think the term "formal" is fine, for the reasons I've explained above. Perhaps in the more general context of dg algebras, the use of the term "formal" makes less sense. However, I think that it is still reasonable, for the following reasons. Let me use the more "modern" language of A-infinity algebras. In general, it is not true that a dg algebra $(A,d)$ is quasi-isomorphic to $H^\ast(A,d)$ considered as a dg algebra with zero differential. However, it is a "standard" fact (Kontsevich-Soibelman call this the "homological perturbation lemma" (for example, it's buried somewhere in this paper), and you can find it in the operads literature as the "transfer theorem") that you can put an A-infinity structure on $H^\ast(A,d)$ which makes $A$ and $H^\ast(A,d)$ quasi-isomorphic as A-infinity algebras. The A-infinity structure manifests itself as a series of $n$-ary products satisfying various compatibilities. Intuitively at least, these $n$-ary products should be thought of as being analogous to Massey products in topology. So $H^\ast(A,d)$ with this A-infinity structure does carry some "homotopy theoretic" information. In this language then, a dg algebra $(A,d)$ is formal if it is quasi-isomorphic, as an A-infinity algebra, to $H^\ast(A,d)$ with all higher products zero. In other words, all of the "Massey products" vanish*, and thus the only remaining "homotopy theoretic" information is that coming from the ordinary ring structure on $H^\ast(A,d)$.


*Don Stanley notes correctly that vanishing of Massey products is weaker than formality. However, I believe that triviality of the A-infinity structure is equivalent to formality. In the language of the DGMS paper, which does not use the A-infinity language, they say that formality is equivalent to the vanishing of Massey products "in a uniform way". I believe this uniform vanishing is the same as triviality of A-infinity structure. From the paper:

... a minimal model is a formal consequence of its cohomology ring if, and only if, all the higher order products vanish in a uniform way.

and also

[Choosing a quasi-isomorphism from a minimal dg algebra to its cohomology] is a way of saying that one may make uniform choices so that the forms representing all Massey products and higher order Massey products are exact. This is stronger than requiring each individual Massey product or higher order Massey product to vanish. The latter means that, given one such product, choices may be made to make the form representing it exact, and there may be no way to do this uniformly.

(Sorry for the proliferation of parentheses, and sorry for my lack of certainty on all of this, I have not thought about this in a while. People should definitely correct me if I'm wrong on any of this.)

share|improve this answer
2  
"However, I believe that triviality of the A-infinity structure is equivalent to formality." This is true, if by "triviality" you mean that the transfered $A_\infty$-structure on cohomology is $A_\infty$-quasi-isomorphic (ie weakly equivalent) to the genuine agebra structure induced on cohomology. –  DamienC Aug 13 '10 at 19:19
    
Thanks for the clarification, Damien. –  Kevin H. Lin Aug 14 '10 at 0:12
add comment

Maybe you could take a look at

Y. Félix, J. Oprea, D. Tanré; Algebraic models in Geometry, Oxford Graduate Text in Math. 17 (2008)

where they talk about formality in the context of rational homotopy theory, RHT, (for instance, in sections 2.7 and 3.1.4). Also the more classical, but excellent little book

D. Lehmann; Théorie homotopique des formes différentielles, Astérisque 45

is worth reading (section V.9).

As for formality in the context of operads, allow me a little self-promotion :-) :

F. Guillén, V. Navarro, P. Pascual, Agustí Roig, Moduli spaces and formal operads; Duke Math. J. 129, 2 (2005).

In this work, we translate some classical results concerning formality in RHT to chain operads. For instance, the Deligne-Griffiths-Morgan-Sullivan theorem about formality of Kähler manifolds, formality's independence of the ground field... And extend them also to modular operads.

share|improve this answer
1  
Your paper sounds very nice. :) By the way, I forget, is the result about independence of ground field in DGMS? Or is it somewhere else? –  Kevin H. Lin Jan 26 '10 at 9:42
2  
#@Kevin. Thank you. It is originally proved in the seminal Sullivan's paper, using -as in ours- the machinery of algebraic groups: Infinitesimal computations in topology, Publ. IHES 47 (1977) But for our work we had a great reference that simplified and clarified (we hope) it enormously: Waterhouse, W.C.; Introduction to affine group schemes, Springer GTM 66 (1979) An alternative approach, without algebraic groups, but using bigraded models, may be found in Halperin, S., Stasheff, J.; Obstructions to homotopy equivalences, Adv. in Math. 32 (1979). –  a.r. Jan 26 '10 at 13:16
2  
@Kevin. I forgot: for the independence of the ground field, see also: Morgan, J.W.; The algebraic topology of smooth algebraic varieties, Pub. IHES 48 (1978). –  a.r. Jan 26 '10 at 13:32
    
Thanks a lot for the references. :) –  Kevin H. Lin Jan 28 '10 at 1:56
add comment

Formal can mean slightly different things in different contexts.

A commutative differential graded algebra (CDGA) is formal if it is quasi-isomorphic to it's homology. This is stronger than having all the higher Massey products equal to 0 (I think there are such examples in the Halperin-Stasheff paper).

To a space you can associate a CDGA (via Sullivan's $A_{pl}$ functor) which is basically the deRham complex when the space is a manifold. In nice cases this functor induces an equivalence from the rational homotopy category to the homotopy category of CDGA. Quasi-isormorphic CDGA correspond to (rationally) homotopy equivalent spaces. You can also tensor with the reals to get real CDGA.

If A is a CDGA which is quasi-isomorphic to $A_{pl}(X)$ for a space $X$ then A is often called a model of X. A space is formal if $A_{pl}$ of it is formal. So a formal space is modeled by its cohomology. In that sense its rational homotopy type is a formal consequence of its cohomology.

I think you have to be slightly careful with using $C^*$. This functor lands in differential graded algebra which are not commutative, so possibly the notion of formality could be different. In particular if you consider two CDGA there may be more strings of quasi-isomorphisms between them as DGAs then as CDGAs. I believe it is unknown if two CDGA that are quasi-isomorphic as DGA have to be quasi-isomorphic as CDGA.

share|improve this answer
    
Previously on MO, there has been some interesting discussion about cdg algebras vs. dg algebras here: mathoverflow.net/questions/5031/… –  Kevin H. Lin Jan 26 '10 at 19:06
    
and here: mathoverflow.net/questions/9146/… –  Joey Hirsh May 4 '10 at 5:09
add comment

Paraphrasing Groucho Marx: if you don't like my first answer..., well I have another one. :-)

Here it is: let $X$ be a simply connected differentiable manifold.

Rational homotopy theory tells us that the rational homotopy type of $X$ (that is, its homotopy type modulo torsion) is contained in its minimal model, $M_X$, which is a commutative differential graded (cdg) algebra.

By definition, this means that you have a quasi-isomorphism (quis, a morphism of cdg algebras inducing an isomorphism in cohomology)

$$ M_X \longrightarrow \Omega^*(X) \ . $$

Here, $\Omega^* (X)$ is the algebra of differential forms of $X$ and the minimality of $M_X$ means that, in a certain, but precise, sense, it is the smallest cdg algebra for which such a quis exists.

The fact that $M_X$ contains the rational homotopy type of $X$ implies, for instance, that you can obtain the ranks of the homotopy groups of $X$ from it:

rank $\pi_n(X) =$ number of degree n generators (as an algebra) of $M_X$, for $n \geq 2$.

Nice, isn't it? :-)

The problem is that the algebra $\Omega^*(X)$ is, in general, not computable, so you can not obtain from it the minimal model $M_X$. And here is where formality comes to help you.

Almost by definition, $X$ is a formal space if there exists two quis

$$ \Omega^*(X) \longleftarrow M_X \longrightarrow H^*(X;\mathbb{Q}) $$

Hence, if $X$ is formal you can compute its minimal model $M_X$, and hence its rational homotopy type, directly from the cohomology algebra $H^*(X; \mathbb{Q})$, which is nicer (smaller, more computable) than $\Omega^*(X)$.

And the final point is that there are plenty of examples of spaces which are known to be formal.

(Final remark: Actually, you'd have to put $A_{PL}^*(X;\mathbb{Q})$ instead of $\Omega^*(X)$ to work over the rationals, but this you can find it explained in the references we have provided for you.)

share|improve this answer
    
Thank you for writing out a concise overview of this. –  Kevin H. Lin Jan 26 '10 at 19:25
    
Do you know anything about what happens for spaces or manifolds that are not simply connected? –  Kevin H. Lin Jan 26 '10 at 19:34
1  
For spaces that are "nilpotent" rather than simply connected, there is a theory that is basically as good but harder to state. For general spaces the construction of a "rational homotopy type" is much harder because, e.g., it is hard to say what a "rational isomorphism" between the fundamental groups of two spaces should be. –  Tyler Lawson Jan 26 '10 at 20:14
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.