Stark Systems over Gorenstein Local Rings

In this paper, we define a module of Stark systems over a complete Gorenstein local ring with a finite residue field of odd characteristic. Under some mild assumptions, we show that it is free of rank one and that these systems control all the Fitting ideals of the Pontryagin dual of the dual Selmer group. These results generalize the work of B. Mazur and K. Rubin on Stark systems over a principal ideal ring.