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!