Skip to main content
2 of 4
added 386 characters in body
Will Jagy
  • 25.7k
  • 2
  • 65
  • 121

Right. If $L = U$ is the lattice of the quadratic form $u(x,y) = 2 xy,$ and $M,N$ are positive definite, the conclusion is that $M,N$ are in the same genus. That is, they are rationally equivalent "without essential denominator." There is no complete proof printed in one place. I first saw this on page 378 of SPLAG by Conway and Sloane, first edition. The observation may be due to Conway. This is a small part of finding certain automorphism groups, and is first apparent in the articles on the automorphism group of the Leech Lattice. Anyway, click on my name and just go through my question with promising titles. In a minute I will find the one with a sketch of a proof, put a link here.

Found it, Lorentzian characterization of genus

I also checked with Wai Kiu Chan about the case of "odd" lattices such as the sum of squares, it turns out it does not matter, same outcome.

Will Jagy
  • 25.7k
  • 2
  • 65
  • 121