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.

The Ramsey property implies no mad families

We show that if all collections of infinite subsets of N have the Ramsey property, then there are no infinite maximal almost disjoint (mad) families. The implication is proved in Zermelo–Fraenkel set theory with only weak choice principles. This gives a positive solution to a long-standing problem that goes back to Mathias [A. R. D. Mathias, Ann. Math. Logic 12, 59–111 (1977)]. The proof exploits an idea which has its natural roots in ergodic theory, topological dynamics, and invariant descriptive set theory: We use that a certain function associated to a purported mad family is invariant under the equivalence relation E0 and thus is constant on a “large” set. Furthermore, we announce a number of additional results about mad families relative to more complicated Borel 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.