From Random Polynomials to String Theory

Similar documents
How to count universes in string theory.

Statistics of supersymmetric vacua in string/m theory

RANDOM COMPLEX GEOMETRY AND VACUA, OR: HOW TO COUNT UNIVERSES IN STRING/M THEORY

Asymptotic Geometry. of polynomials. Steve Zelditch Department of Mathematics Johns Hopkins University. Joint Work with Pavel Bleher Bernie Shiffman

Geometry of the Calabi-Yau Moduli

On the BCOV Conjecture

Two simple ideas from calculus applied to Riemannian geometry

Generalized N = 1 orientifold compactifications

Counting black hole microstates as open string flux vacua

COUNTING STRING/M VACUA

BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS

arxiv:math/ v2 [math.cv] 4 Jun 2004

Magdalena Larfors. New Ideas at the Interface of Cosmology and String Theory. UPenn, Ludwig-Maximilians Universität, München

Stringy Corrections, SUSY Breaking and the Stabilization of (all) Kähler moduli

Bergman Kernels and Asymptotics of Polynomials II

Heterotic Flux Compactifications

Elements of Topological M-Theory

Fixing all moduli in F-theory and type II strings

2d-4d wall-crossing and hyperholomorphic bundles

F- 理論におけるフラックスコンパクト化. Hajime Otsuka( 大塚啓 ) (Waseda U.) Physics Lett. B. 774 (2017) 225 with Y. Honma (National Tsing-Hua U.) Sangyo U.

Some new torsional local models for heterotic strings

Mirror Symmetry: Introduction to the B Model

Complex manifolds, Kahler metrics, differential and harmonic forms

Heterotic Torsional Backgrounds, from Supergravity to CFT

A complex geometric proof of Tian-Yau-Zelditch expansion

New Toric Swiss Cheese Solutions

zi z i, zi+1 z i,, zn z i. z j, zj+1 z j,, zj 1 z j,, zn

String Theory Compactifications with Background Fluxes

The Yau-Tian-Donaldson Conjectuture for general polarizations

Flux Compactification of Type IIB Supergravity

N = 2 supersymmetric gauge theory and Mock theta functions

Instantons in string theory via F-theory

Calabi-Yau Fourfolds with non-trivial Three-Form Cohomology

From holonomy reductions of Cartan geometries to geometric compactifications

On Flux Quantization in F-Theory

K-stability and Kähler metrics, I

Constructing compact 8-manifolds with holonomy Spin(7)

MORE NOTES FOR MATH 823, FALL 2007

Generalized Tian-Todorov theorems

Determinantal Processes And The IID Gaussian Power Series

12 Geometric quantization

String-Theory: Open-closed String Moduli Spaces

String Phenomenology ???

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

TWISTOR AND KILLING FORMS IN RIEMANNIAN GEOMETRY

arxiv:alg-geom/ v1 29 Jul 1993

HODGE NUMBERS OF COMPLETE INTERSECTIONS

Knot Homology from Refined Chern-Simons Theory

David R. Morrison. String Phenomenology 2008 University of Pennsylvania 31 May 2008

HYPERKÄHLER MANIFOLDS

Infinitesimal Einstein Deformations. Kähler Manifolds

Affine SU(N) algebra from wall-crossings

Exploring the Kähler potential

An introduction to General Relativity and the positive mass theorem

Linear connections on Lie groups

Radial balanced metrics on the unit disk

Remarks on hypersurface K-stability. Complex Geometry: A Conference Honoring Simon Donaldson

Preprint typeset in JHEP style - HYPER VERSION. Special Geometry. Yang Zhang. Abstract: N = 2 Supergravity. based on hep-th/ , Boris PiolineA

A Bird Eye s view: recent update to Extremal metrics

FROM HOLOMORPHIC FUNCTIONS TO HOLOMORPHIC SECTIONS

Riemannian Curvature Functionals: Lecture III

CALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS

On the Virtual Fundamental Class

On Special Geometry of Generalized G Structures and Flux Compactifications. Hu Sen, USTC. Hangzhou-Zhengzhou, 2007

Moduli of heterotic G2 compactifications

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

A Landscape of Field Theories

The Calabi Conjecture

Knots and Mirror Symmetry. Mina Aganagic UC Berkeley

Geometry of moduli spaces

Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM

Ω Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that

Exact Results in D=2 Supersymmetric Gauge Theories And Applications

THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction

Exotic nearly Kähler structures on S 6 and S 3 S 3

Eigenvalues and Eigenfunctions of the Scalar Laplace Operator on Calabi-Yau Manifolds

2 Type IIA String Theory with Background Fluxes in d=2

Riemannian Curvature Functionals: Lecture I

Heterotic Geometry and Fluxes

Conjectures on counting associative 3-folds in G 2 -manifolds

Holomorphic line bundles

Invariance of tautological equations

Hermitian vs. Riemannian Geometry

EQUIDISTRIBUTION OF ZEROS OF HOLOMORPHIC SECTIONS IN THE NON COMPACT SETTING

Transparent connections

7 Curvature of a connection

Refined Chern-Simons Theory, Topological Strings and Knot Homology

Basic Results in Vacuum Statistics

String Theory and Generalized Geometries

Geometric inequalities for black holes

The exact quantum corrected moduli space for the universal hypermultiplet

arxiv: v3 [hep-th] 22 Sep 2014

Correlations Between Zeros and Supersymmetry

On the Construction and Cohomology of a Self-Dual Perverse Sheaf Motivated by String Theory

LECTURE 26: THE CHERN-WEIL THEORY

0.1 Complex Analogues 1

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

Critical metrics on connected sums of Einstein four-manifolds

III. Stabilization of moduli in string theory II

Lecture VI: Projective varieties

Transcription:

From Random Polynomials to String Theory Steve Zelditch Department of Mathematics Johns Hopkins University Madison, Wisconsin Friday, October 7, 4PM B239 Joint work with M. R. Douglas and B. Shiffman 1

Our topics Random polynomials How are zeros or critical points distributed? Random complex geometry: generalize polynomials to holomorphic sections of line bundles. Counting universes in string/m theory Universes = vacua of string/m theory = critical points of superpotentials on the moduli space of Calabi-Yau manifolds. How many vacua are there? How are they distributed? 2

Outline of talk 1. Random polynomials of one complex variable: classical and recent results. Generalization to holomorphic sections of line bundles. 2. String/M vacuum selection problem: Douglas statistics of vacua program. Rigorous results on counting possible universes = string/m vacua. 3. Geometric problems on critical points of holomorphic sections relative to a hermitian metric or connection. 3

Random polynomials of one variable A polynomial of degree N in one complex variable is: f(z) = N j=1 c j z j, c j C is specified by its coefficients {c j }. A random polynomial is short for a probability measure P on the coefficients. Let P (1) N = { N j=1 c j z j, (c 1,...,c N ) C N } C N. Endow C N with probability measure dp. We call (P (1) N,P) an ensemble of random polynomials. 4

Kac polynomials The simplest complex random polynomial is the Kac polynomial f(z) = N j=1 c j z j where the coefficients c j are independent complex Gaussian random variables of mean zero and variance one. Complex Gaussian: E (c j )=0=E(c j c k ), E(c j c k )=δ jk. This defines a Gaussian measure γ KAC on P (1) N : dγ KAC (f) =e c 2 /2 dc. 5

Expected distribution of zeros The distribution of zeros of a polynomial of degree N is the probability measure on C defined by Z f = 1 N z:f(z)=0 δ z, where δ z is the Dirac delta-function at z. Definition: The expected distribution of zeros of random polynomials of degree N with measure P is the probability measure E P Z f on C defined by E P Z f,ϕ = for ϕ C c (C). P (1) N { 1 N z:f(z)=0 ϕ(z)}dp (f), 6

How are zeros of complex Kac polynomials distributed? Complex zeros concentrate in small annuli around the unit circle S 1. In the limit as the degree N, the zeros asymptotically concentrate exactly on S 1 : Theorem 1 (Kac-Hammersley-Shepp-Vanderbei) The expected distribution of zeros of polynomials of degree N in the Kac ensemble has the asymptotics: E N KAC (ZN f ) δ S 1 as N, where (δ S 1,ϕ):= 1 2π S 1 ϕ(e iθ ) dθ. 7

Why the unit circle? Do zeros of polynomials really tend to concentrate on S 1? Answer: yes, for the polynomials which dominate the Kac measure dγkac N. (Obviously no for general polynomials) The Kac-Hammersley-Shepp-Vanderbei measure γkca N weights polynomials with zeros near S 1 more than other polynomials. It did this by an implicit choice of inner product on P (1) N. 8

Gaussian measure and inner product Choice of Gaussian measure on a vector space H = choice of inner product on H. The inner product induces an orthonormal basis {S j }. The associated Gaussian measure dγ corresponds to random orthogonal sums S = d j=1 c j S j, where {c j } are independent complex normal random variables. The inner product underlying the Kac measure on P (1) N makes the basis {zj } orthonormal. Namely, they were orthonormalized on S 1. And that is where the zeros concentrated. 9

Gaussian random polynomials adapted to domains If we orthonormalize polynomials on the boundary Ω of any simply connected, bounded domain Ω C, the zeros of the associated random polynomials concentrate on Ω. I.e. define the inner product on P (1) f, ḡ Ω := Ω N f(z)g(z) dz. by Let γ Ω N = the Gaussian measure induced by f, ḡ Ω and say that the Gaussian measure is adapted to Ω. How do zeros of random polynomials adapted to Ω concentrate? 10

Equilibrium distribution of zeros Denote the expectation relative to the ensemble (P N,γ N Ω )byen Ω. Theorem 2 E N Ω (ZN f )=ν Ω + O (1/N ), where ν Ω is the equilibrium measure of Ω. The equilibrium measure of a compact set K is the unique probability measure dν K which minimizes the energy E(µ) = K K log z w dµ(z) dµ(w). Thus, in the limit as the degree N,random polynomials adapted to Ω act like electric charges in Ω. 11

SU(2) polynomials Is there an inner product in which the expected distribution of zeros is uniform on C, i.e. doesn t concentrate anywhere? Yes, if we take uniform to mean uniform on CP 1 w.r.t. Fubini- Study area form ω FS. which de- We define an inner product on P (1) N pends on N: z j,z k N = ( 1 N )δ jk. j Thus, a random SU(2) polynomial has the form f = α N λ α (N α ) z α, E(λ α )=0, E(λ α λ β )=δ αβ. Proposition 3 In the SU(2) ensemble, E (Z f )= ω FS, the Fubini-Study area form on CP 1. 12

SU(2) and holomorphic line bundles Proof that E (Z f )=ω FS is trivial if we make right identifications: P (1) N H0 (CP 1, O(N)) where O(N) =Nth power of the hyperplane section bundle O(1) CP 1.Indeed, P (1) N homogeneous polynomials F (z 0,z 1 ) of degree N: homogenize f(z) P (1) N to F (z 0,z 1 )=z0 Nf(z 1/z 0 ). Also H 0 (CP 1, O(N)) homogeneous polynomials F (z 0,z 1 ) of degree N. Fubini-Study inner product on H 0 (CP 1, O(N)) = inner product S 3 F (z 0,z 1 ) 2 dv on the homogeneous polynomials. The inner product and Gaussian ensemble are thus SU(2) invariant. Hence, E Z f is SU(2)-invariant. 13

Gaussian random holomorphic sections of line bundles The SU(2) ensemble generalizes to all dimensions, and moreover to any positive holomorphic line bundle L M over any Kähler manifold. We endow L with a Hermitian metric h and M with a volume form dv. We define an inner product s 1,s 2 = h(s 1(z),s 2 (z))dv (z). M We let {S j } denote an orthonormla basis of the space H 0 (M, L) of holomorphic sections of L. Then define Gaussian holomorphic sections s H 0 (M, L) by s = j c j S j, S j,s k = δ jk with E(c j )=0=E(c j c k ), E(c j c k )=δ jk. 14

Statistics of critical points Algebraic geometers are interested in zeros of holomorphic sections. But from now on we focus on critical points s(z) =0, where is a metric connection. Critical points of Gaussian random functions come up in may areas of physics as peak points of signals (S.O. Rice, 1945); as vacua in compactifications of string/m theory on Calabi-Yau manifolds with flux (Giddings-Kachru-Polchinski, Gukov-Vafa- Witten); as extremal black holes (Strominger, Ferrara- Gibbons-Kallosh), peak points of galaxy distributions (Szalay et al, Zeldovich), etc. 15

Critical points Definition: Let (L, h) M be a Hermitian holomorphic line bundle over a complex manifold M, and let = h be its Chern connection. A critical point of a holomorphic section s H 0 (M, L) is defined to be a point z M where s(z) =0, or equivalently, s(z) =0. In a local frame e critical point equation for s = fe reads: f(w)+f(w) K(w) =0, where K = log e(z) h. The critical point equation is only C and not holomorphic since K is not holomorphic. 16

Statistics of critical points The distribution of critical points of s H 0 (M, L) with respect to h (or h ) is the measure on M (1) Cs h := δ z. z: h s(z)=0 Further introduce a measure γ on H 0 (M, L). Definition: The (expected) distribution E γ Cs h of critical points of s H 0 (M, L) w.r.t. h and γ is the measure on M defined by E γ C h s,ϕ := H 0 (M,L) z: h s(z)=0 ϕ(z) dγ(s). The expected number of critical points is defined by N crit (h, γ) = S #Crit(s, h)dγ(s). 17

Problems of interest 1. Calculate E γ Cs h. How are critical points distributed? (Deeper: how are they correlated?) 2. How large is N crit (h, γ)? How does the expected number of critical points depend on the metric? 3. The best metrics are the ones which minimize this quantity. Which are they? 18

The vacuum selection problem in string/m theory These problems have applications to string/m theory. According to string/m theory, our universe is 10- (or 11-) dimensional. In the simplest model, it has the form M 3,1 X where X is a complex 3-dimensional Calabi-Yau manifold. The vacuum selection problem: Which X forms the small or extra dimensions of our universe? How to select the right vacuum? 19

Complex geometry and effective supergravity The low energy approximation to string/m theory is effective supergravity theory. It consists of (M, L,W) where: 1. M = M C H, where M C = moduli space of Calabi-Yau metrics on a complex 3-D manifold X, H = upper half plane; 2. L Mis a holomorphic line bundle with with first Chern class c 1 (L) = ω WP (Weil- Petersson Kähler form). 3. the superpotential W is a holomorphic section of L. 20

Hodge bundle and line bundle L Given a complex structure z on X, let H 3,0 (X z ) be the space of holomorphic (3, 0) forms on X, i.e. type dw 1 dw 2 dw 3. On a Calabi-Yau 3-fold, dim H 3,0 (X z ) = 1. Hence, H 3,0 (X z ) Mis a (holomorphic) line bundle, known as the Hodge bundle. We write a local frame as Ω z. L is the dual line bundle to the Hodge bundle. (Similarly for H factor). 21

Lattice of integral flux superpotentials Physically relevant sections correspond to integral co-cycles ( fluxes ) G = F + ih H 3 (X, Z 1Z). Such a G defines a section W G of L Mby: W G (z, τ), Ω z = Thus, G W G maps X [F + τh] Ω z. H 3 (X, Z 1Z) H 0 (M, L). Let F Z = {W G : G H 3 (X, Z 1Z}. let F = F Z C (flux space). Also 22

Possible universes as critical points A possible universe or vacuum is a Calabi-Yau 3-fold X z with complex structure z and τ H s.th. W G (z, τ) =0, τ,z X [F + τh] Ω z =0 (z, τ) M for some G = F + ih H 0 (X, Z iz): Moreover, the Hessian must be positive definite. Here, = WP is the Weil-Petersson covariant derivative on H 0 (M, L) arising from ω WP. 23

More on critical points 1. Solutions of (G + τh) = 0 are actually supersymmetric vacua. General vacua are critical points of the potential energy V (τ) = W (τ) 2 3 W (τ) 2. 2. The critical point equation for is equivalent to: find (z, τ) s.th. G 0,3 = G 2,1 =0 in the Hodge decomposition H 3 (X, C) =H 3,0 z H 2,1 z H 1,2 z H 0,3 z. 24

Tadpole constraint There is one more constraint on the flux superpotentials, called the tadpole constraint. It has the form: (2) X F H L Q[F + ih] = L where Q is the indefinite quadratic form on H 3 (X, C) defined by Q(ϕ 1,ϕ 2 )= X ϕ 1 ϕ 2. Since Q is indefinite, the relevant superpotentials are lattice points in the hyperbolic shell (2). 25

M. R. Douglas statistical program (studied with Ashok, Denef, Shiffman, Z and others) 1. Count the number of critical points (better: local minima) of all integral flux superpotentials W G with Q[G] L. 2. Find out how they are distributed in M. 3. How many are consistent with the standard model and the known cosmological constant? 26

Mathematical problem Given L>0, consider lattice points G = F + ih H 3 (X, Z 1Z) in the hyperbolic shell 0 Q[G] L. Let K M be a compact subset of moduli space. Count number of critical points in K for G in shell: NK crit (L) = #{(z, τ) K: W G (z, τ) =0}. Q[G] L Problem Determine NK crit (L) where L is the tadpole number of the model. Easier: determine its asymptotics as L. 27

Distribution of moduli of universes? More generally, define N ψ (L) = where C G,ψ = G H 3 (X,Z 1Z):H[G] L (z,τ): G(z,τ)=0 C G,ψ, ψ(g, z, τ). Here, ψ(g, z, τ) is a smooth function with compact support in (z, τ) M and polynomial growth in G. D Example: Cosmological constant ψ(g, z, τ) = { W G (τ,z) 2 3 W G (τ,z) 2 }χ(z, τ), with χ C 0 (M). Problem Find N ψ (L) asl. 28

Radial projection of lattice points Since C G,ψ is homogeneous of degree 0 in G, one can radially project G to the hyperboloid Q[G] =1. Similar to model problem: take an indefinite quadratic form Q and consider lattice points inside a hyperbolic shell 0 Q L which lie inside a proper subcone of the lightcone Q = 0. Project onto the hyperboloid Q =1and measure equidistribution. [Easier: do it for an ellipsoid]. Critical points of each G give an additional feature. 29

Discriminant variety/mass matrix A nasty complication is the real discriminant hypersurface D of W F which have degenerate critical points, i.e the Hessian D W (τ) is degenerate. The number of critical points and C W,ψ jump across D. So we are not summing a smooth function over lattice points. But: the Hessian of a superpotential at a critical point is the mass matrix and no massless fermions are observed. So it is reasonable to count vacua away from D. 30

Rigorous result on lattice sums Here is a sample result on distribution of vacua: Theorem 4 Suppose Supp ψ D=. Then N ψ (L) =L b 3 [ {Q[W ] 1} C W,ψ dw + O ( L 2b )] 3 2b 3 +1 Here, b 3 = dim H 3 (X, C), integral is hyperbolic shell in F.. Further results: 1. Let ψ = χ K. Same principal term, but O(L b 3 1 ) remainder. 2. Similarly if we drop assumption Supp ψ D =. 31

Gaussian principal term The principal coefficient {Q[W ] 1} C W,ψ dw can be rewritten as: M {Q z,τ [W ] 1} det D W (z, τ) ψ(w, z, τ )dw dv (z, τ) = density of critical points of Gaussian random superpotentials in the space F z,τ = {W : W (z, τ) =0} with inner product Q z,τ = Q Fz,τ. It is Gaussian because Q z,τ >> 0 by special geometry of M. dv (z, τ) is a certain volume form on M. [More precisely, the ensemble is dual to it under the Laplace transform]. 32

Simplification using special geometry There is a matrix Λ Z and a space of complex symmetric matrices H Z so that K crit (Z) = 1 det ΛZ H Z C χ ΛZ (H, x)dhdx, det H H x 2 I where χ ΛZ is the characteristic function of the ellipsoid {(Λ Z H, H) R + x 2 1}. Λ Z may be expressed in terms of the (Strominger) prepotential F. Upshot: We can estimate the integral for Z in a ball in moduli space using only curvature invariants. 33

Heuristic estimate Using concentration of measure phenomena for Gromov-Levy families of spaces, and conjectured volume estimates for balls in moduli space, we guess that N vac,kµ (L) (C 1L) b 3. b 3! The tadpole number usually is in the range L Cb 3 with C [ 1 3, 3]. So the number of vacua in a ball K µ satisfying the tadpole constraint would grow at a rate e Cb 3. (This might sound reasonable, but in high dimensions, volumes and integrals tend to grow/decay at factorial rates. The exponential estimate is based on a cancelation betweeen factorial growth and decay.) 34

Gaussian and lattice ensembles To summarize: we can approximate the discrete ensemble of integral flux superpotentials by a Gaussian random ensemble for large L. This shows how fundamental Gaussian ensembles are. To understand M {Q z,τ [W ] 1} det D W (z, τ) ψ(w, z, τ )dw dv Q(z, τ) we now turn to model Gaussian geometric problems. Even on CP m the distribution of critical points is non-obvious. 35

Geometric study of critical points Model problem: Given a hermitian holomorphic line bundle (L, h) M, define the Hermitian Gaussian measure γ h to be the Gaussian measure induced by the inner product, h, i.e. s 1,s 2 = h(s 1(z),s 2 (z))dv (z). M We often take dv = ωm m!. Then the distribution K crit (h, γ)(z) and the number N crit (h, γ) of critical points w.r.t. h are purely metric invariants of (L, h). How do they depend on h? 36

Exact formula for N crit (h FS,γ FS ) on CP 1 Theorem 5 The expected number of critical points of a random section s N H 0 (CP 1, O(N)) (with respect to the Gaussian measure γ FS on H 0 (CP 1, O(N)) induced from the Fubini-Study metrics on O(N) and CP 1 )is 5N 2 8N +4 3N 2 = 5 3 N 14 9 + 8 27 N 1. Of course, relative to the flat connection d/dz the number is N 1. Thus, the positive curvature of the Fubini-Study hermitian metric and connection causes sections to oscillate much more than the flat connection. There are N 3 new local maxima and N 3 new saddles. 37

Asymptotic expansion for the expected number of critical points Theorem 6 Let (L, h) be a positive hermitian line bundle. Let N crit (h N ) denote the expected number of critical points of random s H 0 (M, L N ) with respect to the Hermitian Gaussian measure. Then, N (h N )= πm m! Γcrit m c 1(L) m N m + M ρdv ωn m 1 +[C m M ρ2 dv Ω + top]n m 2 + O(N m 3 ). Here, ρ is the scalar curvature of ω h, the curvature of h. Γ crit m c 1(L) m is larger than for a flat connection. 38

To what degree is the expected number of critical points a topological invariant? The first two terms are topological invariants of a positive line bundle, i.e. independent of the metric! (Both are Chern numbers of L). But the non-topological part of the third term C m M ρ2 dv Ω N m 2 is a non-topological invariant, as long as C m 0. It is a multiple of the Calabi functional. (These calculations are based on the Tian- Yau-Zelditch (and Catlin) expansion of the Szegö kernel and on Zhiqin Lu s calculation of the coefficients in that expansion.) 39

Calabi extremal metrics are asymptotic minimizers As long as C m > 0, we see from the expansion N (h N )= πm m! Γcrit m c 1(L) m N m + M ρdv ωn m 1 +C m M ρ2 dv Ω N m 2 + O(N m 3 ). that Calabi extremal metrics asymptotically minimize the metric invariant = average number of critical points. Indeed, they minimize the third term. We have proved C m > 0 in dimensions m 5. We conjecture C m > 0 in all dimensions. Ben Baugher has a new formula for C m which makes this almost certain. 40

Summing up 1. Counting candidate universes in string theory amounts to counting critical points of integral superpotentials, which form a lattice in the hyperbolic shell Q[N] L. 2. As L, this ensemble is well-approximated by Lebesgue measure in the shell, which is dual (Laplace transform) to Gaussian measure. 3. As the degree deg L = N, we understand the geometry of the distribution of critical points of Gaussian random sections or the dual Lebesgue one. 41