\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{supersymmetry and Calabi-Yau manifolds}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{gravity}{}\paragraph*{{Gravity}}\label{gravity}

[[!include gravity contents]]

\hypertarget{string_theory}{}\paragraph*{{String theory}}\label{string_theory}

[[!include string theory - contents]]

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{supergeometry}{}\paragraph*{{Super-Geometry}}\label{supergeometry}

[[!include supergeometry - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{target_space_perspective}{Target space perspective}\dotfill \pageref*{target_space_perspective} \linebreak
\noindent\hyperlink{WorldvolumePerspective}{Worldvolume perspective}\dotfill \pageref*{WorldvolumePerspective} \linebreak
\noindent\hyperlink{nonperturbative_description}{Non-perturbative description}\dotfill \pageref*{nonperturbative_description} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{References}{References}\dotfill \pageref*{References} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

This page reviews some of the relation between the existence of [[supersymmetry|supersymmetries]] in a [[spacetime]] [[quantum field theory]] which arises as the [[effective quantum field theory]] of some [[string]] [[2d SCFT]], the special geometry of that spacetime (such as [[Calabi-Yau manifold]] structure) as well as increased [[worldsheet]] supersymmetry of the [[superstring]].

\hypertarget{target_space_perspective}{}\subsubsection*{{Target space perspective}}\label{target_space_perspective}

A solution to the bosonic [[Einstein equations]] of ordinary [[gravity]] -- some [[Riemannian manifold]] -- has a \emph{global symmetry} if it has a [[Killing vector]].

Accordingly, a configuration that solves the [[supergravity]] [[Euler-Lagrange equations]] is a \emph{[[global supersymmetry]]} if it has a [[Killing spinor]]: a [[covariantly constant spinor]].

(Here the notion of [[covariant derivative]] includes the usual [[Levi-Civita connection]], but also in general [[torsion]] components and contributions from other [[background gauge fields]] such as a [[Kalb-Ramond field]] and the [[RR-field]]s in [[type II string theory|type II supergravity]] or [[heterotic string theory|heterotic supergravity]].)

Of particular interest to phenomenologists around the turn of the millenium (but maybe less so today with new experimental evidence) has been in [[KK-compactification]] solutions of [[spacetime]] manifolds of the form $M^4 \times Y^6$ for $M^4$ the locally observed [[Minkowski spacetime]] (that plays a role as the background for all available particle accelerator experiments) and a small [[closed manifold|closed]] 6-dimensional [[Riemannian manifold]] $Y^6$.

In the absence of further fields besides gravity, the condition that such a configuration has precisely one [[Killing spinor]] and hence precisely one [[global supersymmetry]] turns out to tbe precisely that $Y^6$ is a [[Calabi-Yau manifold]]. One such remaining global supersymmetry in the low energy [[effective field theory]] in 4-dimensions is or was believed to be of relevance in [[phenomenology]], see for instance the supersymmetric \emph{[[MSSM]]} extension of the [[standard model of particle physics]]. This is where all the interest into these Calaboi-Yau manifolds in [[string theory]] comes from. (Notice though that nothing in the theory itself demands such a compactification. It is only the phenomenological assumption of the factorized spacetime compactification together with $N = 1$ supersymmetry that does so).

More generally, in the presence of other [[background gauge fields]], the Calabi-Yau condition here is deformed. One also speaks of [[generalized Calabi-Yau space]]s. (For instance (\hyperlink{GMPT}{GMPT05})).

Alternatively, if one starts the [[KK-compactification]] not from 10-dimensional [[string theory]] but from [[11-dimensional supergravity]]/[[M-theory]], then the condition for the [[KK-compactification]] to preserved precisely one global supersymmetry is that it be on a [[G2-manifold]]. For more on this see at \emph{[[M-theory on G2-manifolds]]}.

\hypertarget{WorldvolumePerspective}{}\subsubsection*{{Worldvolume perspective}}\label{WorldvolumePerspective}

On the other hand, the enhanced \emph{global} [[supersymmetry]] of [[target space]] is also reflected in enhanced \emph{local} supersymmetry on the [[worldsheet]] of the string. For instance for the [[heterotic string]] whose worlsheet [[2d SCFT]] apriori has $N=(1,0)$ supersymmetry, the target space theory has $N=1$ supersymmetry precisely if the worldsheet theory's supersymmetry enhanced to $N=(2,0)$. (\hyperlink{BDFF88}{BDFF 88}). For more on this see at \emph{[[2d (2,0)-superconformal QFT]]}.

Similar comments apply to [[type II superstring theory]], where $N=1$ target space supersymmetry enhanced the worldheet symmetry from $N=(1,1)$ to $N=(2,2)$. This is reflected notably in the [[mirror symmetry]] of the targt Calabi-Yau manifolds.

\hypertarget{nonperturbative_description}{}\subsubsection*{{Non-perturbative description}}\label{nonperturbative_description}

The above analysis in [[perturbative string theory]] is expected to find a non-perturbative lift to [[M-theory]]/[[F-theory]]. Under this lift, compactification on a Calabi-Yau complex-3-fold (CY3) lifts to compactification on a [[G2-manifold]]/CY4-fold, respectively:

[[!include N=1 susy compactifications -- table]]

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[supergravity]], [[supersymmetry]]


\item [[Kaluza-Klein mechanism]]


\item [[spontaneously broken symmetry]]


\item [[hierarchy problem]]


\item \href{string%20theory%20FAQ#WhatDoesItMeanToSayStringTheoryHasALandscapeOfSolutions}{string theory FAQ -- What does it mean to say that string theory has a ``landscape'' of solutions?}


\item [[M-theory on Calabi-Yau manifolds]]


\item [[F/M-theory on elliptically fibered Calabi-Yau 4-folds]]



\end{itemize}
\hypertarget{References}{}\subsection*{{References}}\label{References}

The idea, in the context of [[heterotic string theory on CY3-manifolds]], originates in

\begin{itemize}%
\item [[Philip Candelas]], [[Gary Horowitz]], [[Andrew Strominger]], and [[Edward Witten]], \emph{Vacuum Configurations for Superstrings} , Nucl. Phys. B 258 (1985), p. 46.

\end{itemize}
where in the introduction it says the following

\begin{quote}%
Recently, the discovery 6 of anomaly cancellation in a modified version of $d = 10$ supergravity and superstring theory with gauge group $O(32)$ or $E_8 \times E_8$ has opened the possibility that these theories might be phenomenologically realistic as well as mathematically consistent. A new string theory with $E_8 \times E_8$ gauge group has recently been constructed 7 along with a second $O(32)$ theory.

For these theories to be realistic, it is necessary that the vacuum state be of the form $M_4 \times K$, where $M_4$ is four-dimensional Minkowski space and K is some compact six-dimensional manifold. (Indeed, Kaluza-Klein theory -- with its now widely accepted interpretation that all dimensions are on the same logical footing -- was first proposed 8 in an effort to make sense out of higher-dimensional string theories). Quantum numbers of quarks and leptons are then determined by topological invariants of $K$ and of an $O(32)$ or $E_8 \times E_8$ gauge field defined on $K$ 9. Such considerations, however, are far from uniquely determining $K$.

In this paper, we will discuss some considerations, which, if valid, come very close to determining $K$ uniquely. We require

(i) The geometry to be of the form $H_4 \times K$, where $H_4$ is a maximally symmetric spacetime.

(ii) There should be an unbroken $N = 1$ supersymmetry in four dimensions. General arguments 10 and explicit demonstrations 11 have shown that supersymmetry may play an essential role in resolving the gauge hierarchy or Dirac large numbers problem. These arguments require that supersymmetry is unbroken at the Planck (or compactification) scale.

(iii) The gauge group and fermion spectrum should be realistic.

These requirements turn out to be extremely restrictive. In previous ten-dimensional supergravity theories, supersymmetric configurations have never given rise to chiral fermions -- let alone to a realistic spectrum. However, the modification introduced by Green and Schwarz to produce an anomaly-free field theory also makes it possible to satisfy these requirements. We will see that unbroken $N = 1$ supersymmetry requires that $K$ have, for perturbatively accessible configurations, $SU(3)$ holonomy and that the four-dimensional cosmological constant vanish. The existence of spaces with $SU(3)$ holonomy was conjectured by Calabi 12 and proved by Yau 13.


\end{quote}
(Of course later it was understood that Calabi-Yau spaces, even those of complex dimension 3, are not ``very close to unique''.)

Lecture notes include

\begin{itemize}%
\item [[Brian Greene]], \emph{String Theory on Calabi-Yau Manifolds}, lectures at TASI96 (\href{https://arxiv.org/abs/hep-th/9702155}{arXiv:hep-th/9702155})

\end{itemize}
Further original references include

\begin{itemize}%
\item [[Tom Banks]], [[Lance Dixon]], [[Dan Friedan]], [[Emil Martinec]], \emph{Phenomenology and Conformal Field Theory or Can String Theory Predict the Weak Mixing Angle?}, Nucl. Phys. B299 (1988) 613. (\href{http://www.slac.stanford.edu/cgi-wrap/getdoc/slac-pub-4377.pdf}{pdf})


\item [[Jacques Distler]], [[Brian Greene]], \emph{Aspects Of $(2,0)$ String Compactifications}, Nucl. Phys. B304 (1988)


\item [[Andrew Strominger]], \emph{Special Geometry}, Comm. Math. Phys. 133 (1990) 163.


\item [[Philip Candelas]] and X. De la Ossa, \emph{Moduli Space of Calabi-Yau Manifolds}, Nucl. Phys. B355 (1991) 455.


\item [[Edward Witten]], \emph{Phases of N=2 Theories in Two Dimensions}, Nucl. Phys. B403 (1993) 159 (\href{http://arxiv.org/abs/hep-th/9301042}{arXiv:hep-th/9301042})



\end{itemize}
and chapters 12 - 16 of

\begin{itemize}%
\item [[Michael Green]], [[John Schwarz]], [[Edward Witten]], \emph{Superstring Theory} , Vol. 2, Cambridge University Press, (1987)

\end{itemize}
A canonical textbook reference for the role of Calabi-Yau manifolds in compactifications of 10-dimensional [[supergravity]] is

\begin{itemize}%
\item [[Andrew Strominger]] (notes by [[John Morgan]]), \emph{Kaluza-Klein compactifications, Supersymmetry and Calabi-Yau spaces} , volume II, starting on page 1091 in

[[Pierre Deligne]], [[Pavel Etingof]], [[Dan Freed]], L. Jeffrey, [[David Kazhdan]], [[John Morgan]], D.R. Morrison and [[Edward Witten]], eds. , \emph{[[Quantum Fields and Strings]], A course for mathematicians}, 2 vols. Amer. Math. Soc. Providence 1999. (\href{http://www.math.ias.edu/qft}{web version})



\end{itemize}
Lecure notes in a more general context of [[string phenomenology]] include

\begin{itemize}%
\item [[Martin Wijnholt]], \emph{String compactification}, \href{https://pitp2014.ias.edu}{PITP 2014} lecture notes ([[WijnholtCompactification14.pdf:file]], \href{https://static.ias.edu/pitp/2014/sites/pitp2014.ias.edu/files/PITP2014_P1_wijnholt.pdf}{slides for lecture 1}, \href{https://static.ias.edu/pitp/2014/sites/pitp2014.ias.edu/files/PITP2014_P2_wijnholt.pdf}{slides for lecture 2}, \href{https://static.ias.edu/pitp/2014/sites/pitp2014.ias.edu/files/PITP2014_P3_wijnholt.pdf}{slides for lecture 3})

\end{itemize}
Discussion of generalized Calabi-Yau backgrounds is for instance in

\begin{itemize}%
\item [[Mariana Graña]], Ruben Minasian, Michela Petrini, Alessandro Tomasiello, \emph{Generalized structures of $N=1$ vacua} (\href{http://arxiv.org/abs/hep-th/0505212}{arXiv:hep-th/0505212})

\end{itemize}
[[!redirects supergravity and Calabi-Yau manifolds]]

[[!redirects Calabi-Yau manifolds and supersymmetry]] [[!redirects Calabi-Yau manifolds and supersymmetry]]



\end{document}