Traverso's isogeny conjecture for \(p\)-divisible groups (Q957945)

Summary: Let \(k\) be an algebraically closed field of characteristic \(p>0\). Let \(c, d\in\mathbb{N}\). Let \(b_{c,d}\geq 1\) be the smallest integer such that for any two \(p\)-divisible groups \(H\) and \(H'\) over \(k\) of codimension \(c\) and dimension \(d\) the following assertion holds: If \(H[p^{b_{c,d}}]\) and \(H'[p^{b_{c,d}}]\) are isomorphic, then \(H\) and \(H'\) are isogenous. We show that \(b_{c,d}=\lfloor\frac{cd}{c+d}\rfloor+1\). This proves Traverso's isogeny conjecture for \(p\)-divisible groups over \(k\).