I am having trouble proving that the Hall conductivity is equal to the integral over the Berry curvature in momentum space. In the TKNN (1982) paper, using the Kubo formula
$$ \sigma_{xy} = \frac{ ie^2}{\hbar} \sum_{\epsilon_\alpha < 0 < \epsilon_\beta}{\frac{ \langle \alpha | J_x | \beta \rangle \langle \beta | J_y | \alpha \rangle - \langle \alpha | J_y | \beta \rangle \langle \beta | J_x | \alpha \rangle}{(\epsilon_\alpha - \epsilon_\beta)^2}} \, . $$
We may use the relation $J_\mu = \partial H / \partial k^\mu$, transfer the derivatives to the wavefunction, in the process cancelling out the energy denominators to get $$ \sigma_{xy} = \frac{ e^2}{\hbar} \sum_{\epsilon_\alpha < 0 < \epsilon_\beta}{ \langle \alpha | \frac{ \partial}{\partial k_x} | \beta \rangle \langle \beta | \frac{ \partial}{\partial k_y} | \alpha \rangle - \langle \alpha | \frac{ \partial}{\partial k_y} | \beta \rangle\langle \beta | \frac{ \partial}{\partial k_x} | \alpha\rangle} \, . $$
I suspect TKNN then use the completeness relation $|\alpha \rangle \langle \alpha | + \sum_{\beta \neq \alpha}{|\beta \rangle \langle \beta |} = 1$ to make this equal to the sum of Berry curvatures over filled bands $\alpha$. However, in the sum you only take states $\beta$ in the unfilled bands - in order to use the completeness relation I would have thought you would have to have terms in the sum involving states $\beta \neq \alpha$ which are also in filled bands.
What do we do with the condition $\epsilon_\beta > 0$ when using the completeness relation to express the conductivity in terms of the Berry curvature? Any help would be appreciated!
NOTE: Just to clarify, my question is about the fact that the summation of matrix elements is taken over states $\alpha$ below the Fermi energy and $\beta$ above the Fermi energy. Clearly you cannot directly apply the completeness relation, since doing so you would be including matrix elements between states $\alpha$ below the Fermi energy and other states $\gamma$ also below the Fermi energy. In general these matrix elements are not vanishing, but they do not appear in the conductivity.
The conductivity is a non-equilibrium property - it only involves transitions from filled to unfilled states. The completeness relation does not care about filled or unfilled states. This is the point of my question. In the end TKNN obtain an expression equal to the sum of Chern numbers of bands $\alpha$ below the Fermi energy. However the sum involves transitions from bands below the Fermi energy to bands above the Fermi energy. How did they get rid of the summation over states $\beta$ above the Fermi energy if not by using a completeness relation?