1: \begin{abstract}

2: P. Buser and P. Sarnak showed in 1994 that the maximum, over the

3: moduli space of Riemann surfaces of genus $\gen$, of the least

4: conformal length of a nonseparating loop, is logarithmic in $\gen$.

5: We present an application of (polynomially) dense Euclidean packings,

6: to estimates for an analogous 2-dimensional conformal systolic

7: invariant of a 4-manifold $X$ with indefinite intersection form.  The

8: estimate turns out to be polynomial, rather than logarithmic, in

9: $\chi(X)$, if the conjectured surjectivity of the period map is

10: correct.  Such surjectivity is targeted by the current work in gauge

11: theory.  The surjectivity allows one to insert suitable lattices with

12: metric properties prescribed in advance, into the second de~Rham

13: cohomology group of $X$, as its integer lattice.  The idea is to adapt

14: the well-known Lorentzian construction of the Leech lattice, by

15: replacing the Leech lattice by the Conway-Thompson unimodular lattices

16: which define asymptotically dense packings.  The final step can be

17: described, in terms of the successive minima $\lambda_i$, as deforming

18: a $\lambda_2$-bound into a $\lambda_1$-bound, illustrated by

19: Figure~\ref{101}.

20: \end{abstract}

21: