If L is also totally real, then, roughly speaking, Stark's conjecture predicts that the r-th derivatives of the L-functions LS(s,\chi) at s = 0 for all characters \chi of G are determined by an equivariant r x r regulator of certain S-units of L. These 'Stark Units' are cyclotomic units if L/Q is abelian but are known to exist in very few other nontrivial cases.
Now suppose that L is of CM type. The values of LS(s,\chi) at s = 0 define an ideal in the 'minus part' ZG- of ZG which generalises the Stickelberger ideal. Using instead the values at s = 1 for odd characters, I construct a p-adic map from the r-th exterior power of the p-semilocal units of L into QpG- (p an odd prime). I conjecture that the image of this map lies in ZpG. If p does not divide |G| it does so, and is closely related to the generalised Stickelberger ideal.
When L contains pn-th roots of 1, a refined conjecture ties minus to plus parts by asserting that the map is congruent modulo pn to one defined using the Hilbert symbols of the above mentioned Stark units attached to the maximal real subfield of L.