as a discretization of Virasoro algebra