Torsion trivialization in a determinant quotient
ID: torsion-trivialization-in-a-determinant-quotient
Evaluation determinants for and have a quotient which is a rational section of , not intrinsically a scalar. If , its th power becomes a rational function after choosing that trivialization. In Cartier divisor notation, write and . With raw meromorphic evaluations the scalar expression is . The extra product accounts for the line-bundle frames; it is suppressed when evaluation already uses compatible torsion trivializations.
New to topics? Read the docs here!