1: \begin{abstract}

2: Let $L$ be a nonunimodular definite lattice, $L^*$ its dual lattice, and $\lambda$ the discriminant form on $L^*/L$.

3: Using a theorem of Elkies we show that whether $L$ embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each metabolizing subgroup of $(L^*/L, \lambda)$.

4: As a topological application this gives a rephrasing of the obstruction for a rational homology 3--sphere to bound a rational homology 4--ball coming from Donaldson's theorem on definite intersection forms of 4--manifolds. %, when $Y$ bounds a definite 4--manifold $X$ with $H_1(X)=0$.

5: Furthermore, from this perspective it is easy to see that if the obstruction to bounding a rational homology ball coming from Heegaard Floer correction terms vanishes, then (under some mild hypotheses) the obstruction from Donaldson's theorem vanishes too.

6: %We discuss the relationship between two obstructions to a rational homology 3--sphere bounding a rational homology 4--ball.Suppose $Y$ bounds a positive definite 4--manifold $X$ with $H_1(X)=0$.If $Y$ bounds a rational homology ball, then by Donaldson's theorem the lattice $(H_2(X),Q_X)$ must embed in the standard positive definite lattice of the same rank.Using a theorem of Elkies, this obstruction is completely determined by a collection of lattice correction terms, one for each metabolizing subgroup of $H_1(Y)$.Then we use this to show that the vanishing of the Heegaard Floer correction terms on a metabolizing subgroup implies that $(H_2(X),Q_X)$ embeds in the standard lattice of the same rank, and hence the obstruction to bounding a rational homology ball coming from correction terms is stronger than that coming from Donaldon's theorem.

7: 

8: \end{abstract}

9: