Related papers: Haagerup and St{\o}rmer's conjecture for pointwise…

We prove that a large class of nonamenable almost periodic type ${\rm III_1}$ factors $M$, including all McDuff factors that tensorially absorb $R_\infty$ and all free Araki-Woods factors, satisfy Haagerup-Stormer's conjecture (1988): any…

We give an alternative proof that an injective factor on a Hilbert space with trivial bicentralizer is ITPFI. Our proof is given in parallel with each type of factors and it is based on the strategy of Haagerup. As a consequence, the…

In 1967, Kadison asked "if $N$ is a subfactor of the factor $M$ for which $N' \cap M$ consists of scalars, will some maximal abelian *-subalgebra of $N$ be a maximal abelian subalgebra of $M$?". Generalizing a theorem of Popa in the type…

We give a new proof of a theorem due to Alain Connes, that an injective factor $N$ of type III$_1$ with separable predual and with trivial bicentralizer is isomorphic to the Araki--Woods type III$_1$ factor $R_{\infty}$. This, combined with…

We show that a factor $M$ is full if and only if the $C^*$-algebra generated by its left and right regular representations contains the compact operators. We prove that the bicentralizer flow of a type $\mathrm{III}_1$ factor is always…

We make a series of model-theoretic contributions to Connes' bicentralizer problem, one of the most prominent open problems in the theory of von Neumann algebras. Our work builds on the recent result of Houdayer and Marrakchi who show that,…

We give elementary proofs of the following two theorems on automorphisms of a finite group G: (1) An automorphism of G is inner if and only if it extends to an automorphism of every finite group containing G. (2) There exists a finite…

We show that for any free Araki-Woods factor $\mathcal{M} = \Gamma(H_\R, U_t)"$ of type ${\rm III_1}$, the bicentralizer of the free quasi-free state $\varphi_U$ is trivial. Using Haagerup's Theorem, it follows that there always exists a…

In this paper an automorphism of a unital C*-algebra is said to be /locally inner/ if on any element it agrees with some inner automorphism. We make a fairly complete study of local innerness in von Neumann algebras, incorporating…

In this paper we prove that every $2$-generator finite $p$-group $G$ has a non-inner automorphism of order $p$ leaving $G^p\gamma_4(G)$ elementwise fixed ($p\ge 5$). Moreover, we prove a $2$-generator finite $3$-group satisfying…

Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that the conjecture is true when a finite non-abelian $p$-group $G$ has…

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…

The canonical modular homomorphism provides an embedding of $\mathbb{R}$ into the outer automorphism group Out($M$) of any type III$_{1}$ factor $M$. We provide an explicit construction of a full factor of type III$_{1}$ with separable…

Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…

We obtain some results that relate the Connes spectrum with the innerness of automorphisms in the fixed point local multiplier algebra. The results are variants and/or extensions of corresponding results of Olesen, Pedersen and Stormer [6],…

It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to…

A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of…

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…

We prove the conjecture of Seymour (1993) that for every apex-forest $H_1$ and outerplanar graph $H_2$ there is an integer $p$ such that every 2-connected graph of pathwidth at least $p$ contains $H_1$ or $H_2$ as a minor. An independent…

A detailed proof is given of a theorem describing the centraliser of a transitive permutation group, with applications to automorphism groups of objects in various categories of maps, hypermaps, dessins, polytopes and covering spaces, where…