Related papers: Universal sets for ideals

We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…

In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ such that…

In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a closed nowhere dense subset $S\subset M$ (called a spongy set) which is a universal nowhere dense set in $M$ in the sense that for each nowhere…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

We study Borel ideals $I$ on $\mathbb{N}$ with the Fr\'echet property such its orthogonal $I^\perp$ is also Borel (where $A\in I^\perp$ iff $A\cap B$ is finite for all $B\in I$ and $I$ is Fr\'echet if $I=I^{\perp\perp}$). Let $\mathcal{B}$…

In a recent paper by Harada, Seceleanu, and \c{S}ega, the Hilbert function, betti table, and graded minimal free resolution of a general principal symmetric ideal are determined when the number of variables in the polynomial ring is…

Let $A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$ be a vector configuration and $I_A \subset K[x_1,...,x_m]$ its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of…

Given a monomial ideal in a polynomial ring over a field, we define the generalized Newton complementary dual of the given ideal. We show good properties of such duals including linear quotients and isomorphisms between the special fiber…

Let $\mu$ be a Borel measure on a compactum $X$. The main objects in this paper are $\sigma$-ideals $I(dim)$, $J_0(\mu)$, $J_f(\mu)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of…

Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup \Delta$. We consider…

We study the universal groups of inverse semigroups associated with point sets and with tilings. We focus our attention on two classes of examples. The first class consists of point sets which are obtained by a cut and projection scheme…

Tanisaki introduced generating sets for the defining ideals of the schematic intersections of the closure of conjugacy classes of nilpotent matrices with the set of diagonal matrices. These ideals are naturally labeled by integer…

This paper extends the article of the Bruns and Conca on SAGBI bases and their computation (J. Symb. Comput. 120 (2024)) in two directions. (i) We describe the extension of the Singular library sagbiNormaliz.sing to the computation of…

The problem of determining maximal ideals in universal affine vertex algebras is difficult for levels beyond admissible, since there are no simple character formulas which can be applied. Here we investigate when certain quotient $\mathcal…

Based on the structure theory of pairs of skew-symmetric matrices, we give a conjecture for the Hilbert series of the exterior algebra modulo the ideal generated by two generic quadratic forms. We show that the conjectured series is an…

The Mycielski ideal M_k is defined to consist of all sets A subseteq k^omega such that {f restriction X: f in A} not= k^X for all X in [omega]^{aleph_0}. It will be shown that the covering numbers for these ideals are all equal. However,…

An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the…

Let $\bullet^{\dag}$ be the map in sense of the Losev, which sends the set of two sided ideals of a finite W-algebras to that of the universal enveloping algebra of corresponding Lie algebras. The Premet conjecture which was proved in…

We present a class of homogeneous ideals which are generated by monomials and binomials of degree two and are set-theoretic complete intersections. This class includes certain reducible varieties of minimal degree and, in particular, the…

Menger's basis property is a generalization of $\sigma$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $\sigma$-compact sets of reals with Menger's property.…