Algebroids , heterotic moduli spaces and the Strominger system
description
Transcript of Algebroids , heterotic moduli spaces and the Strominger system
![Page 1: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/1.jpg)
Algebroids, heterotic moduli spaces and the Strominger system
James Gray, Virginia Tech
Based on work with:
Alexander Haupt and Andre Lukas 1303.18321405.????
and Lara Anderson, Andre Lukas and Burt Ovrut 1304.27041107.50761010.0255
and Lara Anderson and Eric Sharpe 1402.1532
See also Xenia de la Ossa and Eirik Svanes 1402.1725
![Page 2: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/2.jpg)
The plan:
• Quick advert for a class of Calabi-Yau fourfolds.
• Discussion of moduli in heterotic:– Warm up with a well known, relatively simple
case.– Move on to discuss moduli of some Strominger
system compactifications in terms of ordinary bundle valued cohomology.
![Page 3: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/3.jpg)
Calabi-Yau Fourfolds
![Page 4: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/4.jpg)
A Class of Calabi-Yau Four-folds• We would like to find a description of all Calabi-Yau four-
folds which are complete intersections in products of projective spaces.– Three-fold list has proved to be very useful:• Hübsch, Commun.Math.Phys. 108 (1987) 291• Green et al, Commun.Math.Phys. 109 (1987) 99• Candelas et al, Nucl.Phys. B 298 (1988) 493• Candelas et al, Nucl.Phys. B 306 (1988) 113
– There are 7890 elements in the data set.• Generating the equivalent four-fold list involves
qualitative and quantitative changes…
![Page 5: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/5.jpg)
Complete Intersections in Products of Projective Spaces.
• An example of a configuration matrix (CICY four-fold 244)
• This represents a family of Calabi-Yau four-folds defined by the solutions to the polynomials
• In the ambient space
![Page 6: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/6.jpg)
• We can represent the projective factors by a simple integer too
• Then generally we have:
With m rows and K columns.• The dimension of the complete intersection is
• One can show that the configuration is Calabi-Yau if:
![Page 7: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/7.jpg)
Results:• 921,497 different configurations– Same code correctly reproduces three-fold list– Product cases (15,813) are correct
• Some redundancies are still present– Can prove cases are different with top. invariants
There are at least 36,779 different topologiesData and code in arXiv submission
![Page 8: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/8.jpg)
Hodge Data
![Page 9: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/9.jpg)
Elliptic Fibrations• Consider configuration matrices which can be put in
the form:
• This is an elliptically fibred four-fold• In our list of 921,497 matrices, 921,020 have such a
fibration structure.
Base:
![Page 10: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/10.jpg)
• Total number of “different” elliptic fibrations: 50,114,908.
• All manifolds with have at least one such fibration.
• Some information about sections also provided…
![Page 11: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/11.jpg)
Moduli in heterotic
![Page 12: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/12.jpg)
Warm up: Bundles on Calabi-Yau• The moduli space of a Calabi-Yau compactification in
the presence of a gauge bundle is not described in terms of
–It is described in terms of a subspace of these cohomology groups determined by the kernel of certain maps
–Those maps are determined by the supergravity data of the solution.
• To see this we can analyze the supersymmetry conditions.
![Page 13: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/13.jpg)
• The conditions for the gauge field to be supersymmetric are the Hermitian Yang-Mills equations at zero slope:
• Study perturbations obeying these equations:
Perturb the complex structure:
and the gauge field:
![Page 14: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/14.jpg)
• Define
and rewrite our equation in a more usable form
• And work out the perturbed equation to first order:
This equation is not of much practical use…
![Page 15: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/15.jpg)
The Atiyah class:• There is a description of this in terms of
cohomology of a certain bundle:
Define:
Atiyah states that the moduli are not
But rather:
How do we tie this in with our field theory analysis?
![Page 16: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/16.jpg)
• Take to vanish for simplicity• Look at the long exact sequence in cohomology
where• Thus we see Atiyah claims the moduli are given by
![Page 17: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/17.jpg)
Concrete examples are known where we can calculate all this:
• Take the case of a simple SU(2) bundle:
• Over the Calabi-Yau
Extension is controlled by
quotiented by
V. Braun: arXiv:1003.3235
![Page 18: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/18.jpg)
• Generically and so no such SU(2) bundle exists.
• At special loci in complex structure space this cohomology can jump to non-zero values and holomorphic SU(2) bundles can exist.
• The computation of which perturbations are allowed around points on these loci precisely reproduces the Atiyah calculation.
Take
(this is equivariant and manifold is favourable so notation makes sense)
Our goal becomes to map the loci where the Ext groups “jump”.
![Page 19: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/19.jpg)
Most general defining relation for this example:
There are 10 complex structure parameters here (11 coefficients – the overall scale of the polynomial does not matter)
![Page 20: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/20.jpg)
• We find 25 distinct loci in complex structure moduli space that you can be restricted to.
where do we get stabilized to in complex structure moduli space?
• Some of these are isolated points in complex structure space.
• Unfortunately we have to be more careful: we must also check the CY is smooth on each of these loci
![Page 21: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/21.jpg)
• In this case only one of the loci is smooth (stabilizes 6 moduli):
• May ask if the singular CY’s can be resolved
• The answer is definitely yes, at least for some of the cases (see arXiv:1304.2704).
The degree of singularity of the loci:
![Page 22: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/22.jpg)
Non-Kähler Compactifications
• The most general heterotic compactification with maximally symmetric 4d space:– Complex manifold
Hull, Strominger
Gillard, Papadopoulos and Tsimpis
![Page 23: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/23.jpg)
Non-Kähler Compactifications
• The most general heterotic compactification with maximally symmetric 4d space:– Complex manifold
Hull, Strominger
Gillard, Papadopoulos and Tsimpis
![Page 24: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/24.jpg)
Non-Kähler Compactifications
• The most general heterotic compactification with maximally symmetric 4d space:– Complex manifold
Hull, Strominger
Gillard, Papadopoulos and Tsimpis
![Page 25: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/25.jpg)
• Perturb all of the fields just as we did in the Calabi-Yau case:
• And look at what the first order perturbation to the supersymmetry relations looks like…
In what follows I consider manifolds obeying the -lemma
![Page 26: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/26.jpg)
• For the perturbation analysis the Atiyah computation goes through unchanged.
• The other equations are somewhat more messy:
Lemma: Let be a compact Kähler manifold. For a -closed form, the following statements are equivalent.
For some , , , and .
![Page 27: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/27.jpg)
• Totally anti-holomorphic part of eqn:
• Remaining components:
• Atiyah analysis:
![Page 28: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/28.jpg)
• How do we interpret this result?– Proceed by analogy with the Atiyah case:
Define a bundle :
and a bundle :
We claim the cohomology precisely encapsulates the allowed deformations.
Baraglia and Hekmati 1308.5159
![Page 29: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/29.jpg)
• To make contact with the field theory we again look at the associated long exact sequences in cohomology.
and
Do the sequence chasing and you find…
![Page 30: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/30.jpg)
• This is a subspace of
defined by maps determined by the supergravity data.
• All maps are well defined, as are the extensions.• This precisely matches the supergravity computation.• Reduces to Sharpe,Melnikov arXiv:1110.1886 as
.
![Page 31: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/31.jpg)
A few comments on the structure:• One can easily generalize to the case where
.
• The overall volume is only a modulus in the CY case.
• Unlike in the Atiyah story, the bundle moduli are constrained by the map structure here.
• Matter can be included in the analysis, simply by thinking of it as the moduli of an E8 bundle.
• There seems to be a nice mathematical interpretation of all of this… Baraglia and Hekmati 1308.5159
Garcia-Fernandez 1304.4294
![Page 32: Algebroids , heterotic moduli spaces and the Strominger system](https://reader035.fdocuments.in/reader035/viewer/2022062501/568166af550346895ddaa755/html5/thumbnails/32.jpg)
Conclusions• For the case where a non-Kähler heterotic
compactification obeys the -lemma:
– The moduli are given by subgroups of the usual sheaf cohomology groups.
– The subgroups of interest are determined by kernels and cokernels of maps determined by the supergravity data
– This all has a nice mathematical interpretation in terms of Courant algebroids (transitive and exact) and, it seems, in terms of generalized complex structures on the total space of certain bundles