Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.