Trichotomies for ideals of compact sets

We prove several trichotomy results for ideals of compact sets. Typically, we show that a “sufficiently rich” universally Baire ideal is either Π 3 -hard, or Σ 3 -hard, or else a σ-ideal.