This talk will be devoted to the reduced Hartree-Fock model for crystals with defects.The main idea is to describe at the same time the electrons bound by the defect and the (nonlinear) behavior of the infinite crystal. This leads to a bounded-below nonlinear functional whose variable is however an operator of infinite-rank.
I will provide the correct functional setting for this functional, state the existence of global-in-time solutions to the associated time-dependent Schrödinger equation, and discuss the existence, the properties and the stability of bound states. In particular I will define the dielectric permittivity of the perfect crystal and relate this to some properties of ground states. This is a review of joint works with Eric Cancès and Amélie Deleurence (Ecoledes Ponts, Paris).