MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ a smooth manifold. Is the pullback morphism $\Omega^\bullet(X)\to\Omega^\bullet(X\times \mathbb{R}^n)$ an acyclic cofibration of differential graded commutative algebras? I guess so, and even that this should be the basic example to have in mind, but being no expert, I don't trust myself too much.

share|cite|improve this question
If $X$ is a point and $n = 1$, this is asking whether the ring of smooth functions on $\mathbb{R}$ is a retract of a polynomial algebra. That seems unlikely, but I don't have a proof. – Tyler Lawson Oct 8 '10 at 17:41
up vote 1 down vote accepted

It depends completely on what you mean by cofibrations. The choice is not quite simple to make as the homotopy category of real commutative dga's is anti-equivalent to "real homotopy" which would suggest that the cofibrations should correspond very roughly to fibrations of spaces (judging from your example this looks like the notion you are searching for). Then the proper notion would seem to be a pseudofree extension algebra (i.e., the extension algebra forgetting the differential) should be a polynomial algebra over the base. In that case the map $\Omega^\bullet(X)\rightarrow\Omega^\bullet(X\times\mathbb R^n)$ is not a cofibration. I find it difficult to imagine an interesting model structure on commutative dga's which would make it a cofibration.

share|cite|improve this answer
so if instead of $\Omega^\bullet(X\otimes \mathbb{R}^n)$ I would use $\Omega^\bullet(X)\otimes \Omega^\bullet_{poly}(\mathbb{R}^n)$ would that work? (here $\Omega^\bullet_{poly}(\mathbb{R}^n$ means polynomial differential forms on $\mathbb{R}^n$) – domenico fiorenza Oct 8 '10 at 19:30
I haven't really thought about what the exact conditions needed to get a model category structure (though I am sure that people have done it). It is quite possible however that there is a model structure where these would be cofibrations. – Torsten Ekedahl Oct 9 '10 at 7:53
Those would both be cofibrations (in particular, they are coproduct with a cofibrant object) in the standard model structure, which has fibrations being levelwise surjections. – Tyler Lawson Oct 11 '10 at 5:06

Your Answer


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.