Related papers: Between reduced powers and ultrapowers

In this mostly expository note, we revisit the K\"unneth theorem in $K$-theory of nonnuclear C*-algebras. We show that, using examples considered by Skandalis, there are algebras satisfying the K\"unneth theorem for the minimal tensor…

Let $\mathscr{P}_\mathbb{Q}=\{ \alpha^n \; : \; \alpha \in \mathbb{Q}, \; n \ge 2\}$ be the set of rational perfect powers, and let $S \subseteq \mathscr{P}_\mathbb{Q}$ be a finite subset. We prove the existence of a polynomial $f_S \in…

In this paper we introduce filtration pairs for isolated invariant sets of continuous maps. We prove the existence of filtration pairs and show that, up to shift equivalence, the induced map on the corresponding pointed space is an…

I provide simplified proofs for each of the following fundamental theorems regarding selection principles: 1. The Quasinormal Convergence Theorem, due to the author and Zdomskyy, asserting that a certain, important property of the space of…

We study a two-parameter family of one-dimensional maps and related (a,b)-continued fractions suggested for consideration by Don Zagier. We prove that the associated natural extension maps have attractors with finite rectangular structure…

A trace on a C*-algebra is amenable (resp. quasidiagonal) if it admits a net of completely positive, contractive maps into matrix algebras which approximately preserve the trace and are approximately multiplicative in the 2-norm (resp.…

Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…

We prove that any irreducible $*$-representation of $\mathrm{Pol}(\mathrm{Mat}_n)_q$ can be 'lifted' to an irreducible *-representation of $\mathbb{C}[SU_{2n}]_q$, this result is then used to show the existence of the universal enveloping…

From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels…

The minimal irreducible representations of $U_q[gl(m|n)]$, i.e. those irreducible representations that are also irreducible under $U_q[osp(m|n)]$ are investigated and shown to be affinizable to give irreducible representations of the…

We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. (T.1) A basic property of Cantor space $2^{\mathbb{N}}$…

Under mild assumptions, we characterise modules with projective resolutions of length n in the target category of filtrated K-theory over a finite topological space in terms of two conditions involving certain Tor-groups. We show that the…

A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting…

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where…

The purpose of this paper is two-fold: firstly, we give a characterization on the level of non-unital operator systems for when the zero map is a boundary representation. As a consequence, we show that a non-unital operator system arising…

We apply an inductive argument to three theorems of Cantor on (1) the uncountability of infinite binary sequences, (2) the uncountability of real numbers, and (3) the non-equinumerosity of sets with their powersets. This technique proves…

We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be…

For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider…

In standard construction of hyperrational numbers using an ultrapower we assume that the ultrafilter is selective. It makes possible to assign real value to any finite hyperrational number. So, we can consider hyperrational numbers with…