Post #4352792

@xenaproject@mathstodon.xyz Thanks for explaining the different conventions. I was going to ask you at some point for details about those. My current idea is that "canonical" maps only make sense in terms of pre-chosen structure on the domain and codomain dubbed "canonical". It might be that a single group (your LHS) has different choices of structure that are useful for different reasons. This talk of arithmetic and geometric Frobenii hints that the different "p" on the LHS is really canonical in different contexts, or, dare I say it, different categories (I presume the pure number theory/algebraic setting vs the scheme-theoretic/geometric setting?)