Crystalline extensions and the weight part of Serre's conjecture

Let p>2 be prime. We complete the proof of the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the totally ramified case, by proving that any weight which occurs is a predicted weight. Our methods are a mixture of local and global techniques, and in the course of the proof we establish some purely local results on crystalline extension classes.