PROPERTIES OF $T$-SPREAD PRINCIPAL BOREL IDEALS GENERATED IN DEGREE TWO

In this paper, we have studied the stability of $t$-spread principal Borel ideals in degree two. We have proved that $\Ass^\infty(I) =\Min(I)\cup \{\mathfrak{m}\}$ , where $I=B_t(u)\subset S$ is a $t$-spread Borel ideal generated in degree $2$ with $u=x_ix_n, t+1\leq i\leq n-t.$ Indeed, $I$ has the property that $\Ass(I^m)=\Ass(I)$ for all $m\geq 1$ and $i\leq t,$ in other words, $I$ is normally torsion free. Moreover, we have shown that $I$ is a set theoretic complete intersection if and only if $u=x_{n-t}x_n$. Also, we have derived some results on the vanishing of Lyubeznik numbers of these ideals.

LINEAR QUOTIENTS AND MULTIGRADED SHIFTS OF BOREL IDEALS

We investigate whether the property of having linear quotients is inherited by ideals generated by multigraded shifts of a Borel ideal and a squarefree Borel ideal. We show that the ideal generated by the first multigraded shifts of a Borel ideal has linear quotients, as do the ideal generated by the $k$th multigraded shifts of a principal Borel ideal and an equigenerated squarefree Borel ideal for each $k$. Furthermore, we show that equigenerated squarefree Borel ideals share the property of being squarefree Borel with the ideals generated by multigraded shifts.

Borel degenerations of arithmetically Cohen–Macaulay curves in ℙ3

We investigate Borel ideals on the Hilbert scheme components of arithmetically Cohen–Macaulay (ACM) codimension two schemes in ℙn. We give a basic necessary criterion for a Borel ideal to be on such a component. Then considering ACM curves in ℙ3 on a quadric we compute in several examples all the Borel ideals on their Hilbert scheme component. Based on this we conjecture which Borel ideals are on such a component, and for a range of Borel ideals we prove that they are on the component.

Borel complexity of isomorphism between quotient Boolean algebras

In response to a question of Farah, “How many Boolean algebras are there?” [Far04], one of us (Oliver) proved that there are continuum-many nonisomorphic Boolean algebras of the form with I a Borel ideal on the natural numbers, and in fact that this result could be improved simultaneously in two directions:(i) “Borel ideal” may be improved to “analytic P-ideal”(ii) “continuum-many” may be improved to “E0-many”; that is, E0 is Borel reducible to the isomorphism relation on quotients by analytic P-ideals.See [Oli04].In [AdKechOO], Adams and Kechris showed that the relation of equality on Borel sets (and therefore, any Borel equivalence relation whatsoever) is Borel reducible to the equivalence relation of Borel bireducibility. (In somewhat finer terms, they showed that the partial order of inclusion on Borel sets is Borel reducible to the quasi-order of Borel reducibility.) Their technique was to find a collection of, in some sense, strongly mutually ergodic equivalence relations, indexed by reals, and then assign to each Borel set B a sort of “direct sum” of the equivalence relations corresponding to the reals in B. Then if B1, ⊆ B2 it was easy to see that the equivalence relation thus induced by B1 was Borel reducible to the one induced by B2, whereas in the opposite case, taking x to be some element of B / B2, it was possible to show that the equivalence relation corresponding to x, which was part of the equivalence relation induced by B1, was not Borel reducible to the equivalence relation corresponding to B2.

Cofinal families of Borel equivalence relations and quasiorders

Families of Borel equivalence relations and quasiorders that are cofinal with respect to the Borel reducibility ordering. ≤B, are constructed. There is an analytic ideal on ω generating a complete analytic equivalence relation and any Borel equivalence relation reduces to one generated by a Borel ideal. Several Borel equivalence relations, among them Lipschitz isomorphism of compact metric spaces, are shown to be Kσ complete.

Analytic Ideals

§1. Introduction. Ideals and filters of subsets of natural numbers have been studied by set theorists and topologists for a long time. There is a vast literature concerning various kinds of ultrafilters (or, dually, maximal ideals). There is also a substantial interest in nicely definable (Borel, analytic) ideals—these by old results of Sierpiński are very far from being maximal— and the structure of such ideals will concern us in this announcement. In addition to being interesting in their own right, Borel and analytic ideals occur naturally in the investigations of compact subsets of the space of all Baire class 1 functions on a Polish space (Rosenthal compacta), see [12, 18]. Also, certain objects associated with such ideals are of considerable interest and were quite extensively studied by several authors. Let us list here three examples; in all three of them I stands for an analytic or Borel ideal.1. The partial order induced by I on P(ω): X ≥I Y iff X \ Y ϵ I ([16]) and the partial order (I, ⊂)([18]).2. Boolean algebras of the form P(ω)/I and their automorphisms ([6, 5, 19, 20]).3. The equivalence relation associated with I: XEI Y iff X Δ ϵ I ([4, 14, 15,9]).In Section 4, we will have an opportunity to state some consequences of our results for equivalence relations as in 3.