The Appell–Humbert theorem identifies the positive Hermitian form with a holomorphic line bundle whose First Chern class is represented, in our linear-first convention, by
Its integral over the square fundamental domain is , so . In particular the oriented Chern pairing is ; using without adjusting the Hermitian convention would give the wrong sign.
The complex torus has a nowhere-vanishing differential , so its canonical divisor is trivial and its genus is one. A nonzero section of a line bundle of negative degree would have an effective divisor of negative degree, which is impossible. Thus . The Riemann-Roch theorem and Serre duality give
Therefore . The choice of semicharacter of a complex lattice changes the degree-zero component of the line bundle, but not this calculation.
Pulling back the factors of automorphy in the Appell–Humbert theorem by , where , pulls back both the Hermitian form and the semicharacter of a complex lattice. Thus the explicit answer is
Writing makes the second formula completely explicit:
The second equality is an equality of signs, obtained by reducing the exponents modulo . The Hermitian form follows from . Its integer parameter equals the norm of the Gaussian integer, agreeing with the degree of this nonzero isogeny of elliptic curves. The formulas also include , when the pulled-back line bundle is trivial.
Let be a complex torus. A Riemann form on a complex torus is a Hermitian form on whose imaginary part
takes integer values on . Equivalently, is an integral alternating form satisfying
for every nonzero . A polarisation of a complex torus is such a positive Riemann form, or equivalently its integral cohomology class. By the Appell–Humbert theorem, it is the first Chern class of an ample holomorphic line bundle. A polarisation is principal when the homomorphism induced by is an isomorphism.
For an integral alternating form arising as the imaginary part of a Hermitian form, a semicharacter satisfies . The Appell–Humbert theorem uses this datum together with the Hermitian form to specify a holomorphic line bundle on a complex torus. The ratio of two semicharacters is an ordinary unitary group homomorphism. On the square period lattice, with , all semicharacters are for .