Type II Structure
1 Definition and local flatness
This is mostly analogous to the Heterotic Structure:
Instead of
we consider
Instead of
we must have
(an odd distribution)
So, the Type II structure consists of two odd distributions
and
on
, which must satisfy:
We will for now assume that both
and
are everywhere nondegenerate.
Local flatness means that locally on
we can assume that
and
are generated by the following vector fields
and
:
The proof is similar to
heterotic.
2 Worldsheet action
This is, again, analogous to heterotic: