Smoothness of equivariant derived categories