Given a countable Borel equivalence relation E on a Polish space, let IE denote the σ-ideal generated by the Borel partial transversals of E. We show that there is a Borel homomorphism from IE to IF if and only if there is a smooth-to-one Borel homomorphism from a finite index Borel subequivalence relation of E to F . As a corollary, we see that IE is homogeneous in the sense of Zapletal (2007,...

We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated prime ideal of dimension one larger. Let R = k[x1, x2, . . . , xr] be a polynomial ring over a field. We will say that an ideal I ⊆ R has the saturated chain p...

We investigate the structure of Gδ ideals of compact sets. We define a class of Gδ ideals of compact sets that, on the one hand, avoids certain phenomena present among general Gδ ideals of compact sets and, on the other hand, includes all naturally occurring Gδ ideals of compact sets. We prove structural theorems for ideals in this class, and we describe how this class is placed among all Gδ id...

Let g be a complex simple Lie algebra and b a fixed Borel subalgebra of g. We shall describe the abelian ideals of b in a uniform way, that is, independent of the classification of complex simple Lie algebras.