We discuss the moduli space of nine dimensional N=1 supersymmetric
compactifications of M theory / string theory with reduced rank (rank 10 or
rank 2), exhibiting how all the different theories (including M theory
compactified on a Klein bottle and on a Mobius strip, the Dabholkar-Park
background, CHL strings and asymmetric orbifolds of type II strings on a
circle) fit together, and what are the weakly coupled descriptions in different
regions of the moduli space. We argue that there are two disconnected
components in the moduli space of theories with rank 2. We analyze in detail
the limits of the M theory compactifications on a Klein bottle and on a Mobius
strip which naively give type IIA string theory with an uncharged orientifold
8-plane carrying discrete RR flux. In order to consistently describe these
limits we conjecture that this orientifold non-perturbatively splits into a
D8-brane and an orientifold plane of charge (-1) which sits at infinite
coupling. We construct the M(atrix) theory for M theory on a Klein bottle (and
the theories related to it), which is given by a 2+1 dimensional gauge theory
with a varying gauge coupling compactified on a cylinder with specific boundary
conditions. We also clarify the construction of the M(atrix) theory for
backgrounds of rank 18, including the heterotic string on a circle.Comment: 43 pages, 7 figures, JHEP format. v3: typos correcte