Is there a version of Herbrand-Ribet or Mazur-Wiles (relating divisibility of class groups to special values of L-functions) for functions fields (over finite fields)?
Probably the proofs would have to be very different since we don't have a nice tool like modular forms to construct representations and extensions with nice properties out of (or do we?).