Abstract. We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of [41] in the presence of ramification. These conjectures include the AT conjecture of [24]. We prove these conjectures in low-dimensional cases.