A Non-Compact Elliptic Genus Sujay Ashok Jan Troost 1004.3649 and - - PowerPoint PPT Presentation
Crete 22/03/11 A Non-Compact Elliptic Genus Sujay Ashok Jan Troost 1004.3649 and CNRS Ecole Normale Superieure 1101.1059 with Sujay Ashok The Plan Sketch of various Contexts Introduction of a Simple Model The calculation of a
Crete
22/03/11
1004.3649 and 1101.1059 with Sujay Ashok
Jan Troost Sujay Ashok
CNRS
Ecole Normale Superieure
The Plan Sketch of various Contexts Introduction of a Simple Model The calculation of a non-compact elliptic genus Lessons and open problems
Holography is an important and general property of quantum gravity. We exploit well the holographic map between quantum gravity in anti-deSitter space and conformal field theories. Other non-compact space-times ? Applications are even broader: QCD, SQCD, CM, ..
A quantum theory of gravity : string theory Perturbative string theory : can be described in terms of two-dimensional conformal field theories on the worldsheet of the string Non-compact curved target spaces will lead to interacting two-dimensional conformal field theories with continuous spectrum
The string worldsheet is a Riemann surface in the euclidean. At one loop it is a torus. Large diffeomorphisms on the torus act as the modular group SL(2,Z) on the lattice defining the torus in the complex plane. Understanding the modular properties of the one-loop amplitude are a necessary ingredient to understanding string theory.
Continuum Bound States Spectrum of Conformal Dimensions Ground States
In a theory with continuous spectrum, a lot of interesting physics is related to the appearance of bound states. Example: D-branes encountering NS5-branes.
In this talk, I wish to exhibit a first example in which the presence of bound states in the spectrum of an interacting conformal field theory with continuous spectrum is taken into account consistently with modularity of a one-loop vacuum amplitude. As a bonus, we will learn to interpret aspects of mock modular forms in terms of elementary physics. A Point
Mock Modular Forms Ramanujan’s last letter to Hardy (1920) contained 17 “Mock Theta functions” with relations and properties. Dyson estimated that the realm of Mock Modular forms is big : Theta Functions Mock Theta Functions Modular Forms Mock Modular Forms
Andrews, Selberg, Watson, ... 2002 : Definition of Mock Modular Forms by Zwegers in his PhD thesis (under the guidance of Don Zagier). lead to a modular and non-holomorphic completion of Mock Modular Forms. Opened gate to number theoretic exploitation.
Even more context: Invariants of three-manifolds Characters of Super Lie Algebras D-brane bound state counting functions on non-compact Calabi-Yau manifolds
We concentrate on a conformal field theory in two dimensions with two left-moving and two right-moving
The Model a free field supplemented with an exponential superpotential a supersymmetric non-linear sigma-model on a cigar geometry.
The simple model: a non-compact supercoset a non-linear sigma-model with target group manifold SL(2,R), with Wess-Zumino term add fermions supersymmetrically and gauge a U(1) adjoint action SL(2,R)/U(1) Kazama-Suzuki model with two left- and two right-moving supersymmetries.
It has central charge
where k is the level of the Wess-Zumino-Witten model.
A Cigar Target
There is a continuous spectrum of modes which travel in from infinity, reflect off the potential or off the tip of the cigar, with calculable reflection
There are bound states, localized inside the strong- coupling region. They are non-local winding states on the cigar. They are in short multiplets.
A twisted toroidal partition sum:
χ(q, z, y) = Trperiodic(−1)F + ˜
F qL0− c
24 ¯
q
˜ L0− c
24 zJR 0 yQ
left-moving fermion number L0
left-moving R-charge left-moving scaling dimension angular momentum The elliptic genus
Under the assumption of having a discrete spectrum, we can prove that the elliptic genus is holomorphic in the modular parameter: The right-moving supercharge commutes with the
dimension, each state necessarily has a superpartner with opposite right-moving fermion number. The contribution of the pair of states is zero. There are then only contributions from right-moving ground states, which implies holomorphy.
Example: the elliptic genus of N=2 minimal models with central charge 3 - 6/k. Witten A path integral calculation gives: and this agrees with the counting of left-moving characters that correspond to right-moving ground states. Identity between elliptic modular forms. Evidence for IR f.p. of LG model.
χmin(q, z, 1) = z−
k−2 2(k−1)
1 − z 1 − z
1 k−1
∞
(1 − zqn)(1 − z−1qn) (1 − z
1 k−1 qn)(1 − z− 1 k−1 qn)
Some confusion in the non-compact realm : Proposal for a holomorphic (part of the) elliptic genus, with only right-moving ground state contributions, with anomalous modular properties : a mock modular form. Mock modular forms are known to have non- holomorphic modular completions (real Jacobi forms). Eguchi and Sugawara Zwegers / Zagier
The bulk partition function suffers from an infrared divergence due to the non-compact nature of the target space of the sigma-model. The symmetry group of the model is smaller than the volume of the target space manifold. No modular invariant regulator known for the (untwisted) bulk partition function. The Difficulty / The Resolution
Secondly, evaluate the elliptic genus through a path integral calculation, thus rendering its modular properties manifest Firstly, think of the elliptic genus as an infrared
infinite volume by (tentatively) projecting onto short multiplets.
Evaluation of the path integral on the torus Main technical steps Decouple bosons and fermions Gauge fix and introduce ghosts Use good coordinate choice on SL(2,R) Gawedzki Identify U(1) R-symmetry / global symmetries Evaluate standard twisted partition functions for decoupled factors
Shape of the torus
U(1) R chemical potential
Global U(1) chemical potential
Holonomies of the gauge field
Current algebra levels
√ k √τ2|η(τ)|2
e− πk
τ2 |(w+s1)τ+(m+s2)|2
Zferm = 1 κe−i2πs1αe−2π (Im u)2
τ2
θ11(τ, u − α(k+1)
k
+ β)θ11(¯ τ, u − α
k + β)
|η(τ)|2
Zgroup = √ kκ √τ2 e
2π(Im u)2 τ2
θ11
k + β
τ, u − α
k + β
cancels against right-moving Fermion zeromode
The path integral is equal to:
=
We stilll need to perform the finite dimensional integral
k
k + β, τ)
τ2 |(m+s2)+(w+s1)τ|2
The integral over one holonomy is trivial. The integration over the second holonomy is trivialized by the introduction of an integral
Radial Momentum Complex Plane Im Re Path Integral Contour Continuous Spectrum Bound States
Pole / right-moving ground state contributions :
χhol =
iθ11(q, z) η3 qkw2q−wγz2w− γ
k
1 − zqkw−γ yγ−kw
Integral over continuous real momentum :
χcompl = − 1 πη3
+∞−iǫ
−∞−iǫ
(−1)mds 2is + n + kw q
(m−1/2)2 2
zm− 1
2 ynq s2 k + (n−kw)2 4k
z
kw−n k
¯ q
s2 k + (n+kw)2 4k
The path integral result is a mock modular form (which is a generalized Appell-Lerch sum), plus a modular completion. After integration over the radial momentum, this agrees with the formulas of Zwegers. Therefore, it is a rigorous fact that the twisted elliptic genus is a Jacobi form in three variables. Alternatively, we can read this off directly from the modular properties of the path integral expression.
Modular Properties of the elliptic genus Jacobi form
χ(τ + 1, α, β) = χ(τ, α, β) χ(−1 τ , α τ , β τ ) = eπi c
3 α2/τ−2πiαβ/τχ(τ, α, β)
χ(τ, α + k, β) = (−1)
c 3 kχ(τ, α, β)
χ(τ, α + kτ, β) = (−1)
c 3 ke−πi c 3 (k2τ+2kα)e2πiβkχ(τ, α, β)
χ(τ, α, β + 1) = χ(τ, α, β) χ(τ, α, β + τ) = e2πiαχ(τ, α, β)
Due to the cancellation of a volume divergence with a fermion zero mode, we can get non- holomorphic contributions to the elliptic genus. We want to obtain an even more elementary understanding of the non-holomorphic contributions.
When we concentrate on the right-movers we compute the Witten index of a supersymmetric quantum mechanics with a continuous part to its spectrum.
The Spectrum of Right-Movers Unpaired Ground States Difference in Spectral Densities Mock
We obtain a contribution to the Witten index from the difference in spectral densities between bosons and fermions:
= 1 2πis + n + kw
χcompl = − 1 πη3
+∞−iǫ
−∞−iǫ
(−1)mds 2is + n + kw q
(m−1/2)2 2
zm− 1
2 ynq s2 k + (n−kw)2 4k
z
kw−n k
¯ q
s2 k + (n+kw)2 4k
In mathematics, the modular completion is given in a form where one has integrated over the radial momentum rendering a physical interpretation more difficult.
Open Problems In the context of D-brane bound state counting, modularity is postulated on the basis
principle derivation, e.g. by calculating the derivative of the difference of phase shifts, thus providing further evidence for duality ? Orbifold combinations of elliptic genera (including compact elliptic genera) to generate a large class of completions of mock modular
interest ?
Attempt to check mirror symmetry of Landau- Ginzburg models / non-compact Calabi-Yau manifolds / .. beyond the short multiplet sector.
compact conformal field theory in path integral form.
modular form.
arising from a mismatch in bosonic and fermionic spectral densities, or from cancellation of a volume divergence with a fermion zero mode.