Timeline for Compute corestriction map on group cohomology in Magma
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12 at 20:32 | comment | added | Mikhail Borovoi | @DerekHolt: Thank you! I have edited my answer. | |
| Nov 12 at 20:23 | history | edited | Mikhail Borovoi | CC BY-SA 4.0 |
added 333 characters in body
|
| Nov 12 at 13:29 | comment | added | Derek Holt | I suspect that the final $s(x)$ in your formula for the action of ${\rm cor}^2(z)$ on $(g_1,g_2)$ should be replaced by $s(xg_1g_2)$. I checked that, with this modification, the formula really does yield a $2$-cocycle, and I have also programmed it in Magma and it appears to work; that is, in the examples I tried, the function computed is a $2$-cocycle. | |
| Nov 8 at 16:04 | history | edited | Mikhail Borovoi | CC BY-SA 4.0 |
deleted 1 character in body
|
| Nov 7 at 19:01 | history | edited | Mikhail Borovoi | CC BY-SA 4.0 |
added 1359 characters in body
|
| Nov 7 at 11:57 | comment | added | Jef | Thank you! Just checking, in your paper, you work with homogenous cochains, so a 2-cocycle would have 3 arguments instead of 2; does this change the formula? | |
| Nov 6 at 19:32 | comment | added | Mikhail Borovoi | I will ask my co-author Tasho Kaletha to check this formula. I think that the left-action formula in my comment is erroneous: there should be $s(x)^{-1}$. | |
| Nov 6 at 19:28 | history | answered | Mikhail Borovoi | CC BY-SA 4.0 |