Timeline for Homotopy theory of schemes examples
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 22, 2020 at 10:31 | comment | added | Xing Gu | I think, given the Eilenberg- Mac Lane spaces K(Z(q),2q), we may construct more Eilenberg- Mac Lane spaces K(Z(q),p) by means of abstract nonsense: By the fact that motivic cohomology is stable and the fact that the \Sigma and \Omega are adjoint functors, we may define K(Z(q),p) as iterated loop spaces of some K(Z(n),2n). Is that correct? | |
| Oct 21, 2020 at 13:03 | comment | added | Xing Gu | Ben: Are the motivic cohomology groups H^p(X,Z(q)) representable by spaces for more general p,q, say, for p>q? | |
| Oct 25, 2009 at 22:51 | comment | added | Benjamin Antieau | I'm not sure about Toen's, but I have been assured by homotopy theorists that the 'correct' way to formulate all of this is using quasi-categories. Now, I am not at all sure that, with respect to Chow groups, this would give you anything you didn't already know. | |
| Oct 25, 2009 at 22:45 | comment | added | Kevin H. Lin | Wow, this all sounds really amazing. I wonder if it is related to any of Lurie's stuff or Toen's stuff ...? | |
| Oct 25, 2009 at 22:28 | history | edited | Benjamin Antieau | CC BY-SA 2.5 |
added 1004 characters in body
|
| Oct 25, 2009 at 22:11 | comment | added | Benjamin Antieau | I am no expert, but I believe that this is a very hard question. Or rather, it is not hard (?) to show that such a space exists, but it is very difficult to say anything about it. This is in marked contrast to the spaces representing higher algebraic K-theory and algebraic cobordism, which are understood. I will try to find a more specific reference. | |
| Oct 25, 2009 at 21:54 | comment | added | Ilya Nikokoshev | O...k. What's the space that represents CH? | |
| Oct 25, 2009 at 21:50 | history | answered | Benjamin Antieau | CC BY-SA 2.5 |