We examine several aspects of the formulation of M(atrix)-Theory on ALE
spaces. We argue for the existence of massless vector multiplets in the
resolved An−1 spaces, as required by enhanced gauge symmetry in M-Theory,
and that these states might have the correct gravitational interactions. We
propose a matrix model which describes M-Theory on an ALE space in the presence
of wrapped membranes. We also consider orbifold descriptions of matrix string
theories, as well as more exotic orbifolds of these models, and present a
classification of twisted matrix string theories according to Reid's exact
sequences of surface quotient singularities.Comment: 27 pages LaTeX2e, 7 figures, using utarticle.cls (included),
array.sty, amsmath.sty, amsfonts.sty, cite.sty, epsf.sty. Bibtex style:
utphys.bst (.bbl file included). Section on wrapped membrane states revised
and expanded. We now argue for the existence of wrapped membranes and propose
a matrix model which describes M-Theory on an ALE space in the presence of
wrapped membrane