  Imaginary Verma modules, parabolic imaginary Verma modules, and Verma modules
at level zero for double affine Lie algebras are constructed using three
different triangular decompositions. Their relations are investigated, and
several results are generalized from the affine Lie algebras. In particular,
imaginary highest weight modules, integrable modules, and irreducibility
criterion are also studied.
