  We prove a reciprocity formula between Gauss sums that is used in the
computation of certain quantum invariants of 3-manifolds. Our proof uses the
discriminant construction applied to the tensor product of lattices.

Commutative Algebra;Geometric Topology