Results 1  10
of
13
Hyperlinear and sofic groups: a brief guide
 Bull. Symbolic Logic
"... Relatively recently, two new classes of (discrete, countable) groups have been isolated: hyperlinear groups and sofic groups. They come from different corners of mathematics (operator algebras and symbolic dynamics, respectively), and were introduced independently from each other, but are closely re ..."
Abstract

Cited by 17 (1 self)
 Add to MetaCart
Relatively recently, two new classes of (discrete, countable) groups have been isolated: hyperlinear groups and sofic groups. They come from different corners of mathematics (operator algebras and symbolic dynamics, respectively), and were introduced independently from each other, but are closely related nevertheless.
The isometry group of the Urysohn space as a Lévy Group
, 2005
"... We prove that the isometry group Iso (U) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of m ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
We prove that the isometry group Iso (U) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that Iso (U) has a dense locally finite subgroup. We propose a reformulation of Connes’ Embedding Conjecture as an approximationtype statement about the unitary group U(ℓ²), and show that in this form the conjecture makes sense also for Iso(U).
Remarks on automorphisms of ultrapowers of II1 factors
"... Abstract. In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is ℵ0locally i ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is ℵ0locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *homomorphisms from a separable nuclear C*algebra into an ultrapower of a II1 factor, equality of the induced traces implies unitary equivalence. All statements are proved using operator algebraic techniques, but in the last section of the paper we indicate how the underlying principle is related to theorems of Henson’s positive bounded logic. 1.
Representations of residually finite groups by isometries of the Urysohn space
 Journal of the Ramanujan Mathematical Society
"... Abstract. As a consequence of Kirchberg’s work, Connes ’ Embedding Conjecture is equivalent to the property that every homomorphism of the group F ∞ × F ∞ into the unitary group U(ℓ 2) with the strong topology is pointwise approximated by homomorphisms with a precompact range. In this form, the pro ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract. As a consequence of Kirchberg’s work, Connes ’ Embedding Conjecture is equivalent to the property that every homomorphism of the group F ∞ × F ∞ into the unitary group U(ℓ 2) with the strong topology is pointwise approximated by homomorphisms with a precompact range. In this form, the property (which we call Kirchberg’s property) makes sense for an arbitrary topological group. We establish the validity of the Kirchberg property for the isometry group Iso(U) of the universal Urysohn metric space U as a consequence of a stronger result: every representation of a residually finite group by isometries of U can be pointwise approximated by representations with a finite range. This brings up the natural question of which other concrete infinitedimensional groups satisfy the Kirchberg property. 1.
Model theory of operator algebras III: Elementary equivalence and II1 factors, preprint
, 1111
"... Abstract. We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II1 factors and their ultrapowers. Among other things, we show that for any II1 factor M, there are continuum many nonisomorphic separable II1 factors that have an ultrapower isomorphic ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II1 factors and their ultrapowers. Among other things, we show that for any II1 factor M, there are continuum many nonisomorphic separable II1 factors that have an ultrapower isomorphic to an ultrapower of M. We also give a poor man’s resolution of the Connes Embedding Problem: there exists a separable II1 factor such that all II1 factors embed into one of its ultrapowers. 1.
On finite approximations of topological algebraic systems
, 2006
"... We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class K. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class K of algebraic systems. One characterization of this concept s ..."
Abstract
 Add to MetaCart
We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class K. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class K of algebraic systems. One characterization of this concept states that A is locally embedded in K iff it is a subsystem of an ultraproduct of systems from K. In this paper we obtain a similar characterization of approximability of a locally compact system A by systems from K using the language of nonstandard analysis. In the signature of A we introduce positive bounded formulas and their approximations; these are similar to those introduced by Henson [14] for Banach space structures (see also [15, 16]). We prove that a positive bounded formula ϕ holds in A if and only if all precise enough approximations of ϕ hold in all precise enough approximations of A. We also prove that a locally compact field cannot be approximated arbitrarily closely by finite (associative) rings (even if the rings are allowed to be noncommutative). Finite approximations of the field R can be considered as possible computer systems for real arithmetic. Thus, our results show that there do not exist arbitrarily accurate computer arithmetics for the reals that are associative rings. 1
The isometry group of the Urysohn space as a
, 2005
"... We prove that the isometry group Iso (U) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of m ..."
Abstract
 Add to MetaCart
We prove that the isometry group Iso (U) of the universal Urysohn metric space U equipped with the natural Polish topology is a Lévy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that Iso (U) has a dense locally finite subgroup. We propose a reformulation of Connes ’ Embedding Conjecture as an approximationtype statement about the unitary group U(ℓ 2), and show that in this form the conjecture makes sense also for Iso(U).
unknown title
, 2007
"... A theorem of Hrushovski–Solecki–Vershik applied to uniform and coarse embeddings of the Urysohn metric space ..."
Abstract
 Add to MetaCart
A theorem of Hrushovski–Solecki–Vershik applied to uniform and coarse embeddings of the Urysohn metric space
unknown title
, 2007
"... A theorem of Hrushovski–Solecki–Vershik applied to uniform and coarse embeddings of the Urysohn metric space ..."
Abstract
 Add to MetaCart
A theorem of Hrushovski–Solecki–Vershik applied to uniform and coarse embeddings of the Urysohn metric space