1.2. Existence, universality and discrepancy theorems for limits of expected values of spacing measures: the three main theorems
1.3. Interlude: A functorial property of Haar measure on compact groups
1.4. Application: Slight economies in proving Theorems 1.2.3 and 1.2.6
1.5. Application: An extension of Theorem 1.2.6
1.6. Corollaries of Theorem 1.5.3
1.7. Another generalization of Theorem 1.2.6
1.8. Appendix: Continuity properties of "the i'th eigenvalue" as a function on U(N)
Chapter 2. Reformulation of the Main Results
2.0. "Naive" versions of the spacing measures
2.1. Existence, universality and discrepancy theorems for limits of expected values of naive spacing measures: the main theorems bis
2.2. Deduction of Theorems 1.2.1, 1.2.3 and 1.2.6 from their bis versions
2.3. The combinatorics of spacings of finitely many points on a line: first discussion
2.4. The combinatorics of spacings of finitely many points on a line: second discussion
2.5. The combinatorics of spacings of finitely many points on a line: third discussion: variations on Sep(a) and Clump (a)
2.6. The combinatorics of spacings of finitely many points of a line: fourth discussion: another variation on Clump (a)
2.7. Relation to naive spacing measures on G(N): Int, Cor and TCor
2.8. Expected value measures via INT and COR and TCOR
2.9. The axiomatics of proving Theorem 2.1.3
2.10. Large N COR limits and formulas for limit measures
2.11. Appendix: Direct image properties of the spacing measures
Chapter 3. Reduction Steps in Proving the Main Theorems
3.0. The axiomatics of proving Theorems 2.1.3 and 2.1.5
3.1. A mild generalization of Theorem 2.1.5: the y>version
3.2. M-grid discrepancy, L cutoff and dependence on the choice of coordinates
3.3. A weak form of Theorem 3.1.6
3.4. Conclusion of the axiomatic proof of Theorem 3.1.6
3.5. Making explicit the constants
Chapter 4. Test Functions
4.0. The classes T(n) and 7o(n) of test functions
4.1. The random variable Z[n,F,G(N)] on G(N) attached to a function F in T(n)
4.2. Estimates for the expectation E(Z[n,F,G(N)]) and variance Var(Z[n, F, G(N)}) of Z[n, F, G(N)] on G(N)
Chapter 5. Haar Measure
5.0. The Weyl integration formula for the various G(N)
5.1. The KN(x,y) version of the Weyl integration formula
5.2. The Ljsi{x,y) rewriting of the Weyl integration formula
5.3. Estimates for LN(X, y)
5.4. The L,N(x,y) determinants in terms of the sine ratios SN(X)
5.5. Case by case summary of explicit Weyl measure formulas via SN
5.6. Unified summary of explicit Weyl measure formulas via SN
5.7. Formulas for the expectation E(Z[n, F, G(N)])
5.8. Upper bound for E(Z[n, F, G(N)])
5.9. Interlude: The sin(7ra;)/7r£ kernel and its approximations
5.10. Large N limit of E(Z[n, F, G(N)]) via the sin(7nr)/7rx kernel
5.11. Upper bound for the variance
Chapter 6. Tail Estimates
6.0. Review: Operators of finite rank and their (reversed) characteristic polynomials
6.1. Integral operators of finite rank: a basic compatibility between spectral and Fredholm determinants
6.2. An integration formula
6.3. Integrals of determinants over G(N) as Fredholm determinants
6.4. A new special case: 0_(2iV + 1)
6.5. Interlude: A determinant-trace inequality
6.6. First application of the determinant-trace inequality
6.7. Application: Estimates for the numbers eigen(n, s, G(N))
6.8. Some curious identities among various eigen(n, s, G(iV))
6.9. Normalized "n'th eigenvalue" measures attached to G(N)
6.10. Interlude: Sharper upper bounds for eigen(0, s,SO(2N)), for eigen(0, s, 0-(2N + 1)), and for eigen(0,s, U(N))
6.11. A more symmetric construction of the "n'th eigenvalue" measures v(n,U{N))
6.12. Relation between the "n'th eigenvalue" measures v(n,U{N)) and the expected value spacing measures /J,(U(N), sep. fc) on a fixed U(N)
6.13. Tail estimate for IM(U(N), sep. 0) and /x(univ, sep. 0)
6.14. Multi-eigenvalue location measures, static spacing measures and expected values of several variable spacing measures on U(N)
6.15. A failure of symmetry
6.16. Offset spacing measures and their relation to multi-eigenvalue location measures on U(N)
6.17. Interlude: "Tails" of measures on W
6.18. Tails of offset spacing measures and tails of multi-eigenvalue location measures on U(N)
6.19. Moments of offset spacing measures and of multi-eigenvalue location measures on U(N)
6.20. Multi-eigenvalue location measures for the other G(N)
Chapter 7. Large iV Limits and Predholm Determinants
7.0. Generating series for the limit measures /i(univ, sep.'s a) in several variables: absolute continuity of these measures
7.1. Interlude: Proof of Theorem 1.7.6
7.2. Generating series in the case r = 1: relation to a Predholm determinant
7.3. The Predholm determinants E{T, s) and E±(T, s)
7.4. Interpretation of E(T,s) and E±(T,s) as large AT scaling limits of E(N, T, s) and E± (AT, T, s)
7.5. Large TV limits of the measures v(n,G(N)): the measures i/(n) and v(±,n)
7.6. Relations among the measures \xn and the measures v{n)
7.7. Recapitulation, and concordance with the formulas in [Mehta]
7.8. Supplement: Predholm determinants and spectral determinants, with applications to E(T, s) and E±(T, s)
7.9. Interlude: Generalities on Predholm determinants and spectral determinants
7.10. Application to E(T, s) and E±(T, s)
7.11. Appendix: Large N limits of multi-eigenvalue location measures and of static and offset spacing measures on U(N)
Chapter 8. Several Variables
8.0. Predholm determinants in several variables and their measuretheoretic meaning (cf. [T-W])
8.1. Measure-theoretic application to the G(N)
8.2. Several variable Predholm determinants for the sin(7rx)/7rx kernel and its ± variants
8.3. Large N scaling limits
8.4. Large AT limits of multi-eigenvalue location measures attached to G(N)
8.5. Relation of the limit measure Off/x(univ, offsets c) with the limit measures u(c)
Chapter 9. Equidistribution
9.0. Preliminaries
9.1. Interlude: zeta functions in families: how lisse pure .Ps arise in nature
9.2. A version of Deligne's equidistribution theorem
9.3. A uniform version of Theorem 9.2.6
9.4. Interlude: Pathologies around (9.3.7.1)
9.5. Interpretation of (9.3.7.2)
9.6. Return to a uniform version of Theorem 9.2.6
9.7. Another version of Deligne's equidistribution theorem
Chapter 10. Monodromy of Families of Curves
10.0. Explicit families of curves with big Gge0m
10.1. Examples in odd characteristic
10.2. Examples in characteristic two
10.3. Other examples in odd characteristic
10.4. Effective constants in our examples
10.5. Universal families of curves of genus g > 2
10.6. The moduli space M9^K ^v g >2
10.7. Naive and intrinsic measures on USp(2g)# attached to universal families of curves
10.8. Measures on USp(2g)# attached to universal families of hyperelliptic curves
Chapter 11. Monodromy of Some Other Families
11.0. Universal families of principally polarized abelian varieties
11.1. Other "rational over the base field" ways of rigidifying curves and abelian varieties
11.2. Automorphisms of polarized abelian varieties
11.3. Naive and intrinsic measures on USp(2g)# attached to universal families of principally polarized abelian varieties
11.4. Monodromy of universal families of hypersurfaces
11.5. Projective automorphisms of hypersurfaces
11.6. First proof of 11.5.2
11.7. Second proof of 11.5.2
11.8. A properness result
11.9. Naive and intrinsic measures on U Sp(prim(n, d))# (if n is odd) or on 0(prim(n,d))# (if n is even) attached to universal families of smooth hypersurfaces of degree d in P n + 1
11.10. Monodromy of families of Kloosterman sums
Chapter 12. GUE Discrepancies in Various Families
12.0. A basic consequence of equidistribution: axiomatics
12.1. Application to GUE discrepancies
12.2. GUE discrepancies in universal families of curves
12.3. GUE discrepancies in universal families of abelian varieties
12.4. GUE discrepancies in universal families of hypersurfaces
12.5. GUE discrepancies in families of Kloosterman sums
Chapter 13. Distribution of Low-lying Frobenius Eigenvalues in Various Families
13.0. An elementary consequence of equidistribution
13.1. Review of the measures v(c,G(N))
13.2. Equidistribution of low-lying eigenvalues in families of curves according to the measure i/(c, USp(2g))
13.3. Equidistribution of low-lying eigenvalues in families of abelian varieties according to the measure z/(c, USp(2g))
13.4. Equidistribution of low-lying eigenvalues in families of odddimensional hypersurfaces according to the measure i/(c,C/Sp(prim(n,d)))
13.5. Equidistribution of low-lying eigenvalues of Kloosterman sums in evenly many variables according to the measure z/(c, USp{2n))
13.6. Equidistribution of low-lying eigenvalues of characteristic two Kloosterman sums in oddly many variables according to the measure z/(c, SO(2n + 1))
13.7. Equidistribution of low-lying eigenvalues in families of evendimensional hypersurfaces according to the measures i/(c, SO(prim(n, d))) and z/(c, 0_(prim(n,cQ))
13.8. Passage to the large N limit
Appendix: Densities
AD.O. Overview
AD.l. Basic definitions: Wn(f, A, G(N)) and Wn(f, G(N))
AD.2. Large N limits: the easy case
AD.3. Relations between eigenvalue location measures and densities: generalities
AD.4. Second construction of the large N limits of the eigenvalue location measures v(c,G(N)) for G(N) one of U(N), SO(2N + 1), USp(2N), SO(2N), 0_(2Ar + 2), 0_(27V + 1)
AD.5. Large N limits for the groups Uk{N): Widom's result
AD.6. Interlude: The quantities Vr((p, Uk(N)) and Vr(<p, U(N))
AD.7. Interlude: Integration formulas on U(N) and on Uk(N)
AD.8. Return to the proof of Widom's theorem
AD.9. End of the proof of Theorem AD.5.2
AD. 10. Large N limits of the eigenvalue location measures on the Uk(N)
AD. 11. Computation of the measures v(c) via low-lying eigenvalues of Kloosterman sums in oddly many variables in odd characteristic
AD. 12. A variant of the one-level scaling density
Appendix: Graphs
AG.0. How the graphs were drawn, and what they show
