$\operatorname{Aut}(\mathbb{F}_5)$ has property $(T)$
We give a constructive, computer-assisted proof that $\operatorname{Aut}(\mathbb{F}_5)$, the automorphism group of the free group on $5$ generators, has Kazhdan's property $(T)$.
Source author record
Narutaka Ozawa
Narutaka Ozawa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
25works
10topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
25 published item(s)
preprint2019arXiv
Full factors and co-amenable inclusions
We show that if $M$ is a full factor and $N \subset M$ is a co-amenable subfactor with expectation, then $N$ is also full. This answers a question of Popa from 1986. We also generalize a theorem of Tomatsu by showing that if $M$ is a full factor and $σ\colon G \curvearrowright M$ is an outer action of a compact group $G$, then $σ$ is automatically minimal and $M^G$ is a full factor which has w-spectral gap in $M$. Finally, in the appendix, we give a proof of the fact that several natural notions of co-amenability for an inclusion $N\subset M$ of von Neumann algebras are equivalent, thus closing the cycle of implications given in Anantharaman-Delaroche's paper in 1995.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
A functional analysis proof of Gromov's polynomial growth theorem
The celebrated theorem of Gromov asserts that any finitely generated group with polynomial growth contains a nilpotent subgroup of finite index. Alternative proofs have been given by Kleiner and others. In this note, we give yet another proof of Gromov's theorem, along the lines of Shalom and Chifan--Sinclair, which is based on the analysis of reduced cohomology and Shalom's property H_FD.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
A remark on amenable von Neumann subalgebras in a tracial free product
Let $M=M_1*M_2$ be a nontrivial tracial free product of finite von Neumann algebras. We prove that any amenable subalgebra of $M$ that has a diffuse intersection with $M_1$ is in fact contained in $M_1$. This has been proved by C. Houdayer under more general circumstances.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Dixmier approximation and symmetric amenability for C*-algebras
We study some general properties of tracial C*-algebras. In the first part, we consider Dixmier type approximation theorem and characterize symmetric amenability for C*-algebras. In the second part, we consider continuous bundles of tracial von Neumann algebras and classify some of them.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Haagerup approximation property via bimodules
The Haagerup approximation property (HAP) is defined for finite von Neumann algebras in such a way that the group von Neumann algebra of a discrete group has the HAP if and only if the group itself has the Haagerup property. The HAP has been studied extensively for finite von Neumann algebras and it is recently generalized for arbitrary von Neumann algebras by Caspers-Skalski and Okayasu-Tomatsu. One of the motivations behind the generalization is the fact that quantum group von Neumann algebras are often infinite even though the Haagerup property has been defined successfully for locally compact quantum groups by Daws-Fima-Skalski-White. In this paper, we partly fill this gap by proving that the von Neumann algebra of a locally compact quantum group with the Haagerup property has the HAP. This is new even for genuine locally compact groups.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Noncommutative real algebraic geometry of Kazhdan's property (T)
It is well-known that a finitely generated group $Γ$ has Kazhdan's property (T) if and only if the Laplacian element $Δ$ in ${\mathbb R}[Γ]$ has a spectral gap. In this paper, we prove that this phenomenon is witnessed in ${\mathbb R}[Γ]$. Namely, $Γ$ has property (T) if and only if there are a constant $κ>0$ and a finite sequence $ξ_1,...,ξ_n$ in ${\mathbb R}[Γ]$ such that $Δ^2-κΔ= \sum_i ξ_i^*ξ_i$. This result suggests the possibility of finding new examples of property (T) groups by solving equations in ${\mathbb R}[Γ]$, possibly with an assist of computers.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Real positivity and approximate identities in Banach algebras
Blecher and Read have recently introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain $C^*$-algebraic results and theories to more general algebras. In the present paper we generalize some part of this, and some other facts, to larger classes of Banach algebras.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Elementary amenable groups are quasidiagonal
We show that the group C*-algebra of any elementary amenable group is quasidiagonal. This is an offspring of recent progress in the classification theory of nuclear C*-algebras.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Group approximation in Cayley topology and coarse geometry, Part III: Geometric property (T)
In this series of papers, we study correspondence between the following: (1) large scale structure of the metric space bigsqcup_m {Cay(G(m))} consisting of Cayley graphs of finite groups with k generators; (2) structure of groups which appear in the boundary of the set {G(m)}_m in the space of k-marked groups. In this third part of the series, we show the correspondence among the metric properties `geometric property (T),' `cohomological property (T),' and the group property `Kazhdan's property (T).' Geometric property (T) of Willett--Yu is stronger than being expander graphs. Cohomological property (T) is stronger than geometric property (T) for general coarse spaces.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
A nonseparable amenable operator algebra which is not isomorphic to a C*-algebra
It has been a longstanding problem whether every amenable operator algebra is isomorphic to a (necessarily nuclear) C*-algebra. In this note, we give a nonseparable counterexample. The existence of a separable counterexample remains an open problem. We also initiate a general study of unitarizability of representations of amenable groups in C*-algebras and show that our method cannot produce a separable counterexample.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
About the Connes Embedding Conjecture---Algebraic approaches---
This is an expanded lecture note for "Masterclass on sofic groups and applications to operator algebras" (University of Copenhagen, 5-9 November 2012). It is about algebraic aspects of the Connes Embedding Conjecture. It contains new proofs of equivalence of the Connes Embedding Conjecture, Positivstellensatze for trace positive polynomials, Kirchberg's Conjecture, and Tsirelson's Problem.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Tsirelson's Problem and Asymptotically Commuting Unitary Matrices
In this note, we consider quantum correlations of bipartite systems having a slight interaction, and reinterpret Tsirelson's problem (and hence Kirchberg's and Connes's conjectures) in terms of finite-dimensional asymptotically commuting positive operator valued measures. We also consider the systems of asymptotically commuting unitary matrices and formulate the Stronger Kirchberg Conjecture.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
A quantitative version of the commutator theorem for zero trace matrices
Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can be taken to be normal.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Free Banach spaces and the approximation properties
We characterize the metric spaces whose free space has the bounded approximation property through a Lipschitz analogue of the local reflexivity principle. We show that there exist compact metric spaces whose free spaces fail the approximation property.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Is an irng singly generated as an ideal?
Recall that a rng is a ring which is possibly non-unital. In this note, we address the problem whether every finitely generated idempotent rng (abbreviated as irng) is singly generated as an ideal. It is well-known that it is the case for a commutative irng. We prove here it is also the case for a free rng on finitely many idempotents and for a finite irng. A relation to the Wiegold problem for perfect groups is discussed.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
A remark on contractible Banach algebras
It is a longstanding problem whether every contractible Banach algebra is necessarily finite-dimensional. In this note, we confirm this for Banach algebras acting on Banach spaces with the uniform approximation property. This generalizes a result of Paulsen and Smith who proved the same for Banach algebras acting on Hilbert spaces.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Examples of groups which are not weakly amenable
We prove that weak amenability of a locally compact group imposes a strong condition on its amenable closed normal subgroups. This extends non weak amenability results of Haagerup (1988) and Ozawa--Popa (2010). A von Neumann algebra analogue is also obtained.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Metric spaces with subexponential asymptotic dimension growth
We prove that a metric space with subexponential asymptotic dimension growth has Yu's property A.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
On Ulam stability
We study $ε$-representations of discrete groups by unitary operators on a Hilbert space. We define the notion of Ulam stability of a group which loosely means that finite-dimensional $ε$-represendations are uniformly close to unitary representations. One of our main results is that certain lattices in connected semi-simple Lie groups of higher rank are Ulam stable. For infinite-dimensional $ε$-representations, the similarly defined notion of strong Ulam stability is defined and it is shown that groups with free subgroups are not strongly Ulam stable. We also study deformation rigidity of unitary representations and show that groups containing a free subgroup are not deformation rigid.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Quasi-homomorphism rigidity with noncommutative targets
As a strengthening of Kazhdan's property (T) for locally compact groups, property (TT) was introduced by Burger and Monod. In this paper, we add more rigidity and introduce property (TTT). This property is suited for the study of rigidity phenomena for quasi-homomorphisms with noncommutative targets. Partially upgrading a result of Burger and Monod, we will prove that SL(n,R) with n at least 3 and their lattices have property (TTT). As a corollary, we generalize the well-known fact that every homomorphism from such a lattice into an amenable group or a hyperbolic group has finite image to the extent that it includes a quasi-homomorphism.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The Dixmier problem, lamplighters and Burnside groups
J. Dixmier asked in 1950 whether every non-amenable group admits uniformly bounded representations that cannot be unitarised. We provide such representations upon passing to extensions by abelian groups. This gives a new characterisation of amenability. Furthermore, we deduce that certain Burnside groups are non-unitarisable, answering a question raised by G. Pisier.
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
A Kurosh type theorem for type II_1 factors
We prove a Kurosh type theorem for free-product type II_1 factors. In particular, if M = LF_2 \otimes R, then the free-product type II_1 factors M*...*M are all prime and pairwise non-isomorphic. This paper is a continuation of [N. Ozawa, Solid von Neumann algebras] and [N. Ozawa and S. Popa, Some prime factorization results for type II_1 factors].
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
Boundaries of Reduced Free Group C*-Algebras
We prove that the crossed product $C^*$-algebra $C^*_r(Γ,\partialΓ)$ of a free group $Γ$ with its boundary $\partialΓ$ naturally sits between the reduced group $C^*$-algebra $C^*_rΓ$ and its injective envelope $I(C^*_rΓ)$. In other words, we have natural inclusion $C^*_rΓ\subset C^*_r(Γ,\partialΓ) \subset I(C^*_rΓ)$ of $C^*$-algebras.
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
Weak Amenability of Hyperbolic Groups
We prove that hyperbolic groups are weakly amenable. This partially extends the result of Cowling and Haagerup showing that lattices in simple Lie groups of real rank one are weakly amenable. We take a combinatorial approach in the spirit of Haagerup and prove that for the word length metric d on a hyperbolic group, the Schur multipliers associated with r^d have uniformly bounded norms for 0<r<1. We then combine this with a Bozejko-Picardello type inequality to obtain weak amenability.
0 citations0 reviewsNo code linkedOpen access