Unimodular intersection pairing

ID: unimodular-intersection-pairing

An integral intersection form on a finite-rank free abelian group is unimodular if its adjoint is an isomorphism to the integral dual. In an integral basis, this is equivalent to the pairing matrix having determinant or , not merely nonzero determinant. For example, projective lines generate a unimodular intersection form on the Complex projective plane, with matrix in its complex orientation.

New to topics? Read the docs here!