Skip to main content

Timeline for Nonabelian reciprocity law

Current License: CC BY-SA 3.0

6 events
when toggle format what by license comment
Mar 10, 2017 at 15:34 comment added Somerville Scholar The cokernel of $H^i(X,\mathbf{Z}) \rightarrow H^i(X,\mathbf{F}_p)$ is $H^{i+1}(X,\mathbf{Z})[p]$; the cokernel of $H_i(X,\mathbf{Z}) \rightarrow H_i(X,\mathbf{F}_p)$ is $H_{i-1}(X,\mathbf{Z})[p]$. Here $M[p]$ denotes the $p$-torsion of $M$.
Mar 10, 2017 at 5:29 comment added stupid_question_bot Ah, of course! Here I assume by "$C$" you meant some chain group with coefficients in... $\mathbb{Z}$? Do you know what the cokernel is of the reduction mod $p$ map is measured by? (In the homology case it's a certain Tor group)
Mar 10, 2017 at 4:56 comment added Somerville Scholar Dear @Amy, I am indeed talking about the map $H^i(X,\mathbf{Z}) \rightarrow H^i(X,\mathbf{F}_p)$ (but one can similarly consider the map $H_i(X,\mathbf{Z}) \rightarrow H_i(X,\mathbf{F}_p)$). Even though Cohomology is contravariant in spaces, it is covariant in the coefficients. The cohomology is computed from the homology of the co-chain complex; think of a cohomology class as represented by a class in $\mathrm{Hom}(C,\mathbf{Z})$ for some $C$; this maps naturally to $\mathrm{Hom}(C,\mathbf{F}_p)$ and this induces a map on cohomology. I'm not sure if this answers your question or not.
Mar 10, 2017 at 4:40 comment added stupid_question_bot I really enjoyed reading this! I'm a bit of a novice at this stuff, so perhaps you'd excuse my naive question: When you said "mod $p$ cohomology lifts/does not lift to characteristic 0", I assume you're talking about singular cohomology? Ie, you're asking if every cohomology class in $H^i(X,\mathbb{F}_p)$ is the image of a class in $H^i(X,\mathbb{Z})$? (How does one get this map? - for homology the map comes from the universal coeff. theorem) Or, were you talking about a different type of cohomology?
Mar 10, 2017 at 1:31 review First posts
Mar 10, 2017 at 1:39
Mar 10, 2017 at 1:31 history answered Somerville Scholar CC BY-SA 3.0