By studying the degeneration of abelian varieties with PEL structures, this book explains the compactifications of smooth integral models of all PEL-type Shimura varieties, providing the logical foundation for several exciting recent...