  The arithmetic fundamental lemma conjecture of the third author connects the
derivative of an orbital integral on a symmetric space with an intersection
number on a formal moduli space of $p$-divisible groups of Picard type. It
arises in the relative trace formula approach to the arithmetic
Gan-Gross-Prasad conjecture. We prove this conjecture in the minuscule case.
