Entanglement entropy in top-down models

We explore holographic entanglement entropy in ten-dimensional supergravity solutions. it has been proposed that entanglement entropy can be computed in such top-down models using minimal surfaces which asymptotically wrap the compact part of the geometry. we show explicitly in a wide range of examples that the holographic entan-glement entropy thus computed agrees with the entanglement entropy computed using the ryu-takayanagi formula from the lower-dimensional einstein metric obtained from reduc-tion over the compact space. our examples include not only consistent truncations but also cases in which no consistent truncation exists and kaluza-klein holography is used to identify the lower-dimensional einstein metric. we then give a general proof, based on the lewkowycz-maldacena approach, of the top-down entanglement entropy formula.