Timeline for Why is this frobenius acting like that frobenius?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 11, 2014 at 2:56 | comment | added | martyall | im speaking more to the fact that the frobenius already has an action on H^{1}(U), and here i could define another. it's not obvious to me that they are the same. | |
| Apr 9, 2014 at 15:04 | comment | added | Will Sawin | I don't know what you mean by constructive, but all the isomorphisms seem constructive to me, and are perfectly functorial. THe point is that even if you choose some object from an equivalence class and apply some construction to it, checking that equivalent inputs give you equivalent outputs also shows that the construction commutes with everything that commutes with your proof. | |
| Apr 9, 2014 at 14:29 | history | edited | martyall | CC BY-SA 3.0 |
edited body
|
| Mar 25, 2014 at 13:52 | comment | added | Igor Rivin | Which, in turn, can be found here: math.harvard.edu/~gaitsgde/grad_2009/Weil-II.pdf | |
| Mar 25, 2014 at 13:43 | comment | added | Igor Rivin | The clue I have is: Look at Prop 1.3.4 in Deligne's Weil II | |
| Mar 25, 2014 at 10:17 | review | First posts | |||
| Mar 25, 2014 at 10:17 | |||||
| Mar 25, 2014 at 9:59 | history | asked | martyall | CC BY-SA 3.0 |