摘要

We prove a generalization of Elkies%26apos; characterization of the Z(n) lattice to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology three-sphere may bound a definite four-manifold As an example we show that small positive surgeries on torus knots do not bound negative-definite four-manifolds.

  • 出版日期2012-8