MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For a simply connected four-dimension manifold, we know the Freedmen's work. My question is: For every integer N, Is the number of simply connected 4-manifolds which the second betti number is smaller than N finite or infinite?

Or equivalently: Can we classify the bilinear forms of integer coefficients? Or what's the recently progress of this classification problem?

share|cite|improve this question
Check out… or Milnor: For the indefinite case, the unimodular lattices are classified by the signature and whether they are even/odd. For the definite case, there are many more, but can be estimated by the Siegel-Minkowski formula. – Ian Agol Jul 11 '12 at 16:51
Thank you for helping me! – Siqi He Jul 12 '12 at 12:42
up vote 7 down vote accepted

This was essentially answered by Agol in the comments. For any fixed second Betti number $N$, there are finitely many homeomorphism types, because there are finitely many isomorphism types of unimodular lattices of rank $N$.

As far as classification is concerned, the number of isomorphism types of definite unimodular lattices grows slowly until you reach rank about 24, then there is a phase transition to superexponential growth. In other words, the general classification problem is hopeless, even though for any given rank the lattices can be classified in finite time by an automaton.

Edit: The Smith-Minkowski-Siegel mass formula is essentially:

$$\sum_{\Lambda} \frac{1}{|\operatorname{Aut} \Lambda|} = \pi^{-\frac{n^2+n}{4}}\prod_{j=1}^n \Gamma\left(\frac{j}{2}\right) \cdot (\text{minor corrections})$$

where the sum is over unimodular lattices $\Lambda$ of rank $n$. Since all lattices have automorphism group at least 2, the number of summands (hence the number of homeomorphism types of simply connected 4-manifolds) is at least twice the product on the right. If you can put an upper bound on the orders of automorphism groups, you can also get an upper bound. A rough estimate of the asymptotics is given by taking logarithm of the right side, to get roughly $n^2(\frac{\log n}{4} - \frac{5}{6})$. When $n$ is greater than $e^{10/3} \sim 28$, you get rapid growth, eventually faster than $e^{n^2}$.

share|cite|improve this answer
I have seem some part of Conway-Sloane's book relate to the Siegal-Minkowski foemula and I feel pazzuled. Is the Siegel-Minkowski mass formula can give estimate of the growth of the number of 4-dimensional simply connected manifolds according to the second Betti number? – Siqi He Jul 12 '12 at 12:53
Thank you for your kind-heart and generosity! – Siqi He Jul 15 '12 at 10:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.