Timeline for What is 'formal' ?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 26, 2010 at 13:32 | comment | added | Agustí Roig | @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). | |
| Jan 26, 2010 at 13:16 | comment | added | Agustí Roig | #@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). | |
| Jan 26, 2010 at 9:42 | comment | added | Kevin H. Lin | 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? | |
| Jan 26, 2010 at 9:17 | history | answered | Agustí Roig | CC BY-SA 2.5 |