Related papers: Topological complexity of ideal limit points

A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization…

The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…

Let $G$ be a complex simple Lie group and let $\g = \hbox{\rm Lie}\,G$. Let $S(\g)$ be the $G$-module of polynomial functions on $\g$ and let $\hbox{\rm Sing}\,\g$ be the closed algebraic cone of singular elements in $\g$. Let ${\cal L}\s…

The aim of this short note is to communicate a simple solution to the problem posed in [1] as Question 7.2.7: is it true that for every ccc $\sigma$-ideal I any I-positive Borel set contains modulo I an I-positive closed set?

G. Debs and J. Saint Raymond in 2009 defined the Borel separation rank of an analytic ideal $\mathcal{I}$ ($\text{rk}(\mathcal{I})$) as minimal ordinal $\alpha<\omega_{1}$ such that there is $\mathcal{S}\in\bf{\Sigma^0_{1+\alpha}}$ with…

Ideals in the ring of power series in three variables can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which algebra structures actually…

We introduce the $\ell^1$-ideal intersection property for crossed product C*-algebras. It is implied by C*-simplicity as well as C*-uniqueness. We show that topological dynamical systems of arbitrary lattices in connected Lie groups,…

Let $\kappa$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $\kappa$-additive algebra of…

Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in Gorenstein numerical semigroup rings over fields are explored, where $Q$ is a parameter ideal, and $\mathfrak{m}$ is the maximal ideal in the base local ring,…

Given a set X of finite strings, one interesting question to ask is whether there exists a member of X which is simple conditional to all other members of X. Conditional simplicity is measured by low conditional Kolmogorov complexity. We…

Given a linear equation $\mathcal{L}$, a set $A$ of integers is $\mathcal{L}$-free if $A$ does not contain any `non-trivial' solutions to $\mathcal{L}$. This notion incorporates many central topics in combinatorial number theory such as…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are…

We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that…

Let $\mathfrak{T}$ denote the full Toeplitz algebra on the Bergman space of the unit ball $\mathbb{B}_n.$ For each subset $G$ of $L^{\infty},$ let $\mathfrak{CI}(G)$ denote the closed two-sided ideal of $\mathfrak{T}$ generated by all…

In a compact abelian group $X$, a characterized subgroup is a subgroup $H$ such that there exists a sequence of characters $\vs=(v_n)$ of $X$ such that $H=\{x\in X:v_n(x)\to 0 \text{ in } \T\}$. Gabriyelyan proved for $X=\T$, that…

In this paper, we consider the iterated trimming complex associated to data yielding a complex of length $3$. We compute an explicit algebra structure in this complex in terms of the algebra structures of the associated input data.…

Let $\mathscr{B}(X)$ denote the Banach algebra of bounded operators on $X$, where~$X$ is either Tsirelson's Banach space or the Schreier space of order $n$ for some $n\in\mathbb N$. We show that the lattice of closed ideals…

Let $G$ be a Polish group and let $H \leq G$ be a compact subgroup. We prove that there exists a Borel set $T \subset G$ which is simultaneously a complete set of coset representatives of left and right cosets, provided that a certain index…

We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm…