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: