6
votes
3answers
292 views
Correspondences in Topology
I had one or two little fights with correspondences in the context of algebraic geometry where an elementary correspondence $C:X\to Y$ of connected smooth $k$-Schemes seems to be d …
14
votes
1answer
173 views
Can we reconstruct positive weight invariants in algebraic topology using algebraic geometry?
I can't really say that I understand what a weight is, but the qualitative distinction between weight zero and positive weight has come up a couple times in MathOverflow questions: …
11
votes
5answers
806 views
Why is Milnor K-theory not ad hoc?
When Milnor introduced in "Algebraic K-Theory and Quadratic Forms" the Milnor K-groups he said that his definition is motivated by Matsumoto's presentation of algebraic for a fiel …
6
votes
5answers
311 views
Kunneth formula for motivic cohomology
I was wondering when the Kunneth formula holds for motivic cohomology:
$$
H^p(X,A(\alpha)) = \bigoplus_{i+j=p;\beta+\gamma = \alpha} H^j(X,A(\beta)) \otimes H^i(X,A(\gamma))
$$
…
12
votes
3answers
546 views
Homotopy theory of schemes examples
Is it possible give an example of (or explain) how the Voevodsky et al.'s homotopy theory of schemes computes higher Chow groups?
18
votes
2answers
365 views
What do higher Chow groups mean?
Let $z^i(X, m)$ be the free abelian group generated by all codimension $i$ subvarieties on $X \times \Delta^m$ which intersect all faces $X \times \Delta^j$ properly for all j < …
5
votes
1answer
495 views
Beilinson conjectures
Continuing an amazingly interesting chain of answers about motivic cohomology, I thought I should learn about the Beilinson conjectures, referred there.
I have found some referenc …
7
votes
1answer
223 views
Formalism of homotopy theory of schemes
I have some vague knowledge about the philosophy that schemes should be thought of as similar to topologic spaces, and we should divide everything by homotopy, and that the space s …
