相关论文: All automorphisms of all Calkin algebras

We prove that it is relatively consistent with the usual axioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips--Weaver construction of an outer automorphism using the Continuum…

In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the…

We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega)/I$ and $P(\omega)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every…

For every well founded tree $\mathcal{T}$ having a unique root such that every non-maximal node of it has countable infinitely many immediate successors, we construct a $\mathcal{L}_\infty$-space $X_{\mathcal{T}}$. We prove that for each…

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.

We prove that no quantifier-free formula in the language of group theory can define the $\aleph_1$-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

In the present paper derivations and *-automorphisms of algebras of unbounded operators over the ring of measurable functions are investigated and it is shown that all L^0-linear derivations and L^{0}-linear *-automorphisms are inner.…

The classical as well as non commutative Korovkin-type theorems deal with convergence of positive linear maps with respect to modes of convergences such as norm convergence and weak operator convergence. In this article, Korovkin-type…

We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…

We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, consistently, there are many outer automorphisms.

Let $A_n$ be an $n$-dimensional algebra with zero multiplication over a field $K$ of characteristic $0$. Then its universal (multiplicative) enveloping algebra $U_n$ in the variety of left-symmetric algebras is a homogeneous quadratic…

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…

Let $X$ be an Archimedean vector lattice. We investigate subalgebras of $\mathscr{L}(X)$ consisting of regular operators that contain all rank-one operators of the form $a \otimes \varphi_b$, where $a$ and $b$ are atoms of $X$ and…

We show that every abelian Polish group is the topological factor-group of a closed subgroup of the full unitary group of a separable Hilbert space with the strong operator topology. It follows that all orbit equivalence relations induced…

In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately…

It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…

We show that the group of all holomorphic automorphisms of complex affine space $\mathbb C^n$, $n>1$, and several of its subgroups satisfy the parametric Oka property with approximation and with interpolation on discrete sets.

We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and…

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…