Hall conductivity

<!- maybe need to disambiguate between thermal Hall conductivity, and electrical Hall conductivity ? -->