On a conjecture of Conrad, Diamond, and Taylor

We prove a conjecture of Conrad, Diamond, and Taylor on the size of certain deformation rings parametrizing potentially Barsotti-Tate Galois representations. To achieve this, we extend results of Breuil and Mézard (classifying Galois lattices in semistable representations in terms of "strongly divisible modules") to the potentially crystalline case in Hodge-Tote weights (0,1). We then use these strongly divisible modules to compute the desired deformation rings. As a corollary, we obtain new results on the modularity of potentially Barsotti-Tate representations.