measuring the elliptic genus gregory moore rutgers andyfest, harvard, july 31, 2015
TRANSCRIPT
![Page 1: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/1.jpg)
Measuring The
Elliptic GenusGregory Moore
Rutgers
AndyFest, Harvard, July 31, 2015
![Page 2: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/2.jpg)
Nicolaus Ginsparnicus of Ithaka
![Page 3: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/3.jpg)
![Page 4: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/4.jpg)
![Page 5: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/5.jpg)
This talk has its origins in the D1D5-system, where Andy has done such great work.
Holographically dual to IIB strings on
It was an important milestone on the road to AdS/CFT
(we won’t say anything about X = S3 x S1 …. )
![Page 6: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/6.jpg)
Some recent activity has centered on question:
This talk: AdS3/CFT2. CFT’s are unitary and (for simplicity) have (4,4) supersymmetry:
Put necessary conditions on partition functions Z(CM) for a holographic dual of an appropriate type to exist.
Keller; Hartman, Keller, Stoica; Haehl, Rangamani; Belin, Keller, Maloney; ….
``Do more general sequences {CM} have holographic duals with weakly coupled gravity? ‘’
![Page 7: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/7.jpg)
Our paper: Apply criterion of existence of a Hawking-Page phase transition to the elliptic genus.
Criterion goes back to Witten and a paper of Maldacena-Strominger.
Shamit Kachru
![Page 8: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/8.jpg)
![Page 9: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/9.jpg)
Reminder On Elliptic Genera
Modular object: Weak Jacobi form of weight zero and index m.
![Page 10: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/10.jpg)
Extreme Polar Coefficient
Benjamin et. al. put constraints on coefficients of elliptic genera of a sequence {CM} so that it exhibits HP transition. A corollary:
A necessary condition for {CM} to exhibit a HP transition is that
Just a necessary condition.
has at most polynomial growth in M for M
![Page 11: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/11.jpg)
Shamit’s Question
``How likely is it for a sequence of CFT’s { CM } to have a holographic dual with weakly coupled gravity? ‘’
We’ll now make that more precise, and give an answer.
![Page 12: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/12.jpg)
Zamolodchikov MetricSpace of CFT’s is thought to have a topology. So we can speak of continuous families and connected components.
At smooth points the space is thought to be a manifold and there is a canonical isomorphism:
![Page 13: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/13.jpg)
Strategy
Suppose we have an ensemble E of (4,4) CFTs:
Then use the Z-measure to define a probability density on EM for fixed M.
![Page 14: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/14.jpg)
Strategy – 2/2
probability that a sequence drawn from E has extremal polar coefficient growing at most like a power
Now suppose { CM } is a sequence drawn from E.
![Page 15: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/15.jpg)
Multiplicative Ensembles
is constant on each component:
Definition: A multiplicative ensemble satisfies:
Definition: A CFT C in a multiplicative ensemble is prime if it is not a product of CFT’s (even up to deformation) each of which has m>0.
![Page 16: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/16.jpg)
A Generating Functionprime CFT’s with c= 6m,
![Page 17: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/17.jpg)
Some Representative (?) EnsemblesWe do not know what the space of (4,4) CFT’s is
We do not even know how to classify compact hyperkӓhler manifolds !
![Page 18: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/18.jpg)
Moduli Spaces Of The Prime CFTs -1/2
These ensembles are multiplicative.
Primes:
![Page 19: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/19.jpg)
Moduli Spaces Of The Prime CFTs -2/2
Sm(X) for m > 1 has ``extra’’ hypermultiplet of blowup modes
Consider the subgroup fixing a primitive vector u IIr+8s,r
One can derive M(Sm(X)) using the ATTRACTOR MECHANISM:
Dijkgraaf; Seiberg & Witten
Begin with O(5,21) (or O(5,5)) moduli space of supergravity
The conjugacy class only depends on u2 = 2m
![Page 20: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/20.jpg)
A Generating Functionprime CFT’s with c= 6m,
?
![Page 21: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/21.jpg)
Extreme Polar Coefficient
From the formula for the partition functions of symmetric product orbifolds we easily find
For the torus we have to work harder, since the elliptic genus vanishes.
Fortunately, that work has been done, thanks to
![Page 22: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/22.jpg)
(Never let Andy submit papers! )
![Page 23: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/23.jpg)
A Generating Functionprime CFT’s with c= 6m,
?
![Page 24: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/24.jpg)
VolumesUsing results from number theory, especially the ``mass formulae’’ of Carl Ludwig Siegel, one can -- with some nontrivial work -- compute the Z-volumes of these spaces. For example:
![Page 25: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/25.jpg)
![Page 26: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/26.jpg)
Result For Probabilities
![Page 27: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/27.jpg)
Result For Probabilities
Claim: The limit exists for all nonnegative l and
Conclusion: Almost every sequence {CM} does not have a holographic dual
![Page 28: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/28.jpg)
Proof – 1/3
So (s:M) is a sum over partitions:
![Page 29: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/29.jpg)
Statistics Of Partitions For large M the distribution of partitions into k parts is sharply peaked:
Moreover the ``typical’’ partition has ``most’’ parts of order:
![Page 30: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/30.jpg)
Proof – 3/3is dominated by:
![Page 31: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/31.jpg)
Some Wild Speculation:(Discussions with Shamit Kachru and Alex Maloney)
Siegel Mass Formula:
Two lattices 1 and 2 are in the same genus if
Even unimodular lattices of rank 8n form a single genus, and:
![Page 32: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/32.jpg)
A Natural Ensemble & Measure
Consider the ensemble of holomorphic CFT’s.
(What would they be dual to? Presumably some version of chiral gravity in 3d! )
Holomorphic CFTs have c = 24n
They are completely rigid
![Page 33: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/33.jpg)
Some Wild Speculation – 3/4
(Speculation: This set exhausts the set of c=24N holomorphic CFTs.)
Speculation: Using results on the mass formula for lattices with nontrivial automorphism we can again prove that sequences {CM} with a holographic dual are measure zero.
![Page 34: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/34.jpg)
Define a ``genus’’ to be an equivalence class under tensoring with a lattice theory of chiral scalar fields.
Where the local densities are computed by counting automorphisms of the vertex operator algebra localized at a prime p.
Even Wilder Speculation – 4/4
![Page 35: Measuring The Elliptic Genus Gregory Moore Rutgers AndyFest, Harvard, July 31, 2015](https://reader030.vdocuments.mx/reader030/viewer/2022032607/56649ed15503460f94be0875/html5/thumbnails/35.jpg)
HAPPY BIRTHDAY ANDY!!