Representations of the Twisted Heisenberg–Virasoro Algebra at Level Zero

We describe the structure of the irreducible highest weight modules for the twisted Heisenberg–Virasoro Lie algebra at level zero. We prove that either a Verma module is irreducible or its maximal submodule is cyclic.