A characterisation of the n<1> + <3> form and applications to rational homology spheres

We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of Froyshov and of Ozsvath and Szabo, would give a simple test of whether a rational homology 3-sphere may bound a negative-definite four-manifold. We verify some predictions using Donaldson's theorem. Based on this we compute the four-ball genus of some Montesinos knots.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.