  Noncompact chiral abelian gauge theories are defined on the lattice using the
overlap formalism. The main definitions are presented, the role of anomaly
cancelation is discussed, and the triviality issue in four dimensions is
explained.
