Abstract (Elsevier)
We show that fermionic left-right level matching is necessary and sufficient to guarantee modular invariance to 1-loop order in orbifold compactification of heterotic string. We also discuss the possibility of turning on discrete torsion on orbifolds.