Related papers: Frechet Borel Ideals with Borel orthogonal

Famously, Kohel proved that isogeny graphs of ordinary elliptic curves are beautifully structured objects, now called volcanos. We prove graph structural theorems for abelian varieties of any dimension with commutative endomorphism ring and…

We study maximal orthogonal families of Borel probability measures on $2^\omega$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a…

We exhibit a new approach to the proofs of the existence of a large family of almost isometric ideals in nonseparable Banach spaces and existence of a large family of almost isometric local retracts in metric spaces. Our approach also…

An ideal on a set $X$ is a collection of subsets of $X$ closed under the operations of taking finite unions and subsets of its elements. Ideals are a very useful notion in topology and set theory and have been studied for a long time. We…

Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is…

Let $\mathcal{A}$ be a weakly sequentially complete Banach algebra containing a bounded approximate identity that is an ideal in its second dual $\mathcal{A}^{\ast\ast}$, we call such an algebra a Wesebai algebra. In the present paper we…

For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is an ideal in…

We consider ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra. The goal of this paper is two-fold. First, we study the ad-nilpotent ideals lying inside the Heisenberg ideal. The Heisenberg ideal is the nilpotent radical of…

We study the approximately finite-dimensional (AF) $C^*$-algebras that appear as inductive limits of sequences of finite-dimensional $C^*$-algebras and left-invertible embeddings. We show that there is such a separable AF-algebra $\mathcal…

For the Borel part of a quantized enveloping algebra we classify all right coideal subalgebras for which the intersection with the coradical is a Hopf algebra. The result is expressed in terms of characters of the subalgebras $U^+[w]$ of…

An ideal is a nonempty collection of subsets closed under heredity and finite additivity. The aim of this paper is to unify some weak separation properties via topological ideals. We concentrate our attention on the separation axioms…

For a field $F$ and an integer $d\geq 1$, we consider the universal associative $F$-algebra $A$ generated by two sets of $d+1$ mutually orthogonal idempotents. We display four bases for the $F$-vector space $A$ that we find attractive. We…

Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion…

We establish several optimal estimates for exceptional parameters in the projection of fractal measures: (1) For a parametric family of self-similar measures satisfying a transversality condition, the set of parameters leading to a…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

Leonetti proved that whenever $\mathcal I$ is an ideal on $\mathbb N$ such that there exists an~uncountable family of sets that are not in $\mathcal I$ with the property that the intersection of any two distinct members of that family is in…

We work in the Baire space $\mathbb{Z}^\omega$ equipped with the coordinate-wise addition $+$. Consider a $\sigma-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for…

An ideal $I$ is a family of subsets of positive integers $\textbf{N}$ which is closed under taking finite unions and subsets of its elements. A sequence $(x_n)$ of real numbers is said to be $I$-convergent to a real number $L$, if for each…

A $\sigma$-ideal $\mathcal{I}$ on a Polish group $(X,+)$ has Smital Property if for every dense set $D$ and a Borel $\mathcal{I}$-positive set $B$ the algebraic sum $D+B$ is a complement of a set from $\mathcal{I}$. We consider several…

We study algorithmic learning of algebraic structures. In our framework, a learner receives larger and larger pieces of an arbitrary copy of a computable structure and, at each stage, is required to output a conjecture about the isomorphism…