18/10/30 15:11:41.17 BJ96nTzA.net
There is one consistent choice of isomorphisms given by using the natural isomorphisms
R⊙,Θ ∼= R⊙,q ∼= R coming from
the observation that the global realified
Frobenioids coming from F ×μ- prime strips
are always canonically trivial using the various
γcan.
However, we saw that with these isomorphisms,
the abstract Θ-pilot object does not encode
the arithmetic degree of the Θ-divisor.