We show that, in the dissociation regime and under a nondegeneracy assumption,
the reduced Hartree–Fock theory of graphene presents Dirac points at the
vertices of the first Brillouin zone and that the Fermi level is exactly at the coincidence
point of the cones. To this end, we first consider a general Schrödinger operator
acting
on
with a
potential
which is assumed to be periodic with respect to some lattice with length scale
. Under some
assumptions which cover periodic reduced Hartree–Fock theory, we show that, in the limit
, the low-lying
spectral bands of
are given to leading order by the tight-binding model. For the hexagonal lattice
of graphene, the latter presents singularities at the vertices of the Brillouin zone. In
addition, the shape of the Bloch bands is so that the Fermi level is exactly on the cones.