amalgamated free products of embeddable von neumann
TRANSCRIPT
![Page 1: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/1.jpg)
Amalgamated free products of embeddable vonNeumann algebras and sofic groups
Ken Dykema
Department of MathematicsTexas A&M University
College Station, TX, USA.
Institute of Matheamtical Sciences, Chennai, India, August 2010
![Page 2: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/2.jpg)
References
[BDJ] Nate Brown, K.D., Kenley Jung, “Free entropy dimension inamalgamated free products,” Proc. London Math. Soc. (2008).
[CD] Benoit Collins, K.D., “Free products of sofic groups withamalgamation over amenable groups,” preprint.
Dykema (TAMU) Amalgamation Chenai, August 2010 2 / 23
![Page 3: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/3.jpg)
Approximation properties in finite von Neumann algebras
Hyperfiniteness
A von Neumann algebra M is hyperfinite if for all x1, . . . xn ∈Mand all ε > 0 there is a finite dimensional subalgebra D ⊆M suchthat dist‖·‖2(xj , D) < ε (for all j), where ‖a‖2 = τ(a∗a)1/2.
For example, the hyperfinite II1–factor R =⋃n≥1M2n(C) or L(G)
for G amenable [Connes, ’76].
Connes’ Embedding Problem (CEP) [1976]
Do all finite von Neumann algebras M having separable predualembed into Rω, (the ultrapower of the hyperfinite II1–factor)?
Dykema (TAMU) Amalgamation Chenai, August 2010 3 / 23
![Page 4: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/4.jpg)
Approximation properties in finite von Neumann algebras
Hyperfiniteness
A von Neumann algebra M is hyperfinite if for all x1, . . . xn ∈Mand all ε > 0 there is a finite dimensional subalgebra D ⊆M suchthat dist‖·‖2(xj , D) < ε (for all j), where ‖a‖2 = τ(a∗a)1/2.
For example, the hyperfinite II1–factor R =⋃n≥1M2n(C) or L(G)
for G amenable [Connes, ’76].
Connes’ Embedding Problem (CEP) [1976]
Do all finite von Neumann algebras M having separable predualembed into Rω, (the ultrapower of the hyperfinite II1–factor)?
Dykema (TAMU) Amalgamation Chenai, August 2010 3 / 23
![Page 5: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/5.jpg)
A reformulation of Connes’ embedding problem:
We take a finite von Neumann algebra M with a fixed traceτ :M→ C, with τ(1) = 1. Also, Ms.a. = {x ∈M | x∗ = x}.
Connes’ Embedding Problem ⇔Given a finite von Neumann algebra M and x1, . . . , xn ∈Ms.a., arethere “approximating matricial microstates” for them?I.e., given m ∈ N and ε > 0, are there a1, . . . , an ∈Mk(C)s.a. forsome k ∈ N whose mixed moments up to order m are ε–close tothose of x1, . . . , xn,?i.e., such that∣∣trk(ai1ai2 · · · aip)− τ(xi1xi2 · · ·xip)
∣∣ < γ
for all p ≤ m and all i1, . . . , ip ∈ {1, . . . , n}? (The existence of suchmatricial microstates is equivalent to M embedding in Rω, writtenM ↪→ Rω.)
In fact, CEP ⇔ the case n = 2 ([Collins, D. ’08]).
Dykema (TAMU) Amalgamation Chenai, August 2010 4 / 23
![Page 6: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/6.jpg)
A reformulation of Connes’ embedding problem:
We take a finite von Neumann algebra M with a fixed traceτ :M→ C, with τ(1) = 1. Also, Ms.a. = {x ∈M | x∗ = x}.
Connes’ Embedding Problem ⇔Given a finite von Neumann algebra M and x1, . . . , xn ∈Ms.a., arethere “approximating matricial microstates” for them?
I.e., given m ∈ N and ε > 0, are there a1, . . . , an ∈Mk(C)s.a. forsome k ∈ N whose mixed moments up to order m are ε–close tothose of x1, . . . , xn,?i.e., such that∣∣trk(ai1ai2 · · · aip)− τ(xi1xi2 · · ·xip)
∣∣ < γ
for all p ≤ m and all i1, . . . , ip ∈ {1, . . . , n}? (The existence of suchmatricial microstates is equivalent to M embedding in Rω, writtenM ↪→ Rω.)
In fact, CEP ⇔ the case n = 2 ([Collins, D. ’08]).
Dykema (TAMU) Amalgamation Chenai, August 2010 4 / 23
![Page 7: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/7.jpg)
A reformulation of Connes’ embedding problem:
We take a finite von Neumann algebra M with a fixed traceτ :M→ C, with τ(1) = 1. Also, Ms.a. = {x ∈M | x∗ = x}.
Connes’ Embedding Problem ⇔Given a finite von Neumann algebra M and x1, . . . , xn ∈Ms.a., arethere “approximating matricial microstates” for them?I.e., given m ∈ N and ε > 0, are there a1, . . . , an ∈Mk(C)s.a. forsome k ∈ N whose mixed moments up to order m are ε–close tothose of x1, . . . , xn
,
?
i.e., such that∣∣trk(ai1ai2 · · · aip)− τ(xi1xi2 · · ·xip)∣∣ < γ
for all p ≤ m and all i1, . . . , ip ∈ {1, . . . , n}? (The existence of suchmatricial microstates is equivalent to M embedding in Rω, writtenM ↪→ Rω.)
In fact, CEP ⇔ the case n = 2 ([Collins, D. ’08]).
Dykema (TAMU) Amalgamation Chenai, August 2010 4 / 23
![Page 8: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/8.jpg)
A reformulation of Connes’ embedding problem:
We take a finite von Neumann algebra M with a fixed traceτ :M→ C, with τ(1) = 1. Also, Ms.a. = {x ∈M | x∗ = x}.
Connes’ Embedding Problem ⇔Given a finite von Neumann algebra M and x1, . . . , xn ∈Ms.a., arethere “approximating matricial microstates” for them?I.e., given m ∈ N and ε > 0, are there a1, . . . , an ∈Mk(C)s.a. forsome k ∈ N whose mixed moments up to order m are ε–close tothose of x1, . . . , xn,
?
i.e., such that∣∣trk(ai1ai2 · · · aip)− τ(xi1xi2 · · ·xip)∣∣ < γ
for all p ≤ m and all i1, . . . , ip ∈ {1, . . . , n}? (The existence of suchmatricial microstates is equivalent to M embedding in Rω, writtenM ↪→ Rω.)
In fact, CEP ⇔ the case n = 2 ([Collins, D. ’08]).
Dykema (TAMU) Amalgamation Chenai, August 2010 4 / 23
![Page 9: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/9.jpg)
A reformulation of Connes’ embedding problem:
We take a finite von Neumann algebra M with a fixed traceτ :M→ C, with τ(1) = 1. Also, Ms.a. = {x ∈M | x∗ = x}.
Connes’ Embedding Problem ⇔Given a finite von Neumann algebra M and x1, . . . , xn ∈Ms.a., arethere “approximating matricial microstates” for them?I.e., given m ∈ N and ε > 0, are there a1, . . . , an ∈Mk(C)s.a. forsome k ∈ N whose mixed moments up to order m are ε–close tothose of x1, . . . , xn,
?
i.e., such that∣∣trk(ai1ai2 · · · aip)− τ(xi1xi2 · · ·xip)∣∣ < γ
for all p ≤ m and all i1, . . . , ip ∈ {1, . . . , n}? (The existence of suchmatricial microstates is equivalent to M embedding in Rω, writtenM ↪→ Rω.)
In fact, CEP ⇔ the case n = 2 ([Collins, D. ’08]).
Dykema (TAMU) Amalgamation Chenai, August 2010 4 / 23
![Page 10: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/10.jpg)
Microstates free entropy dimension (Voiculescu)
ΓR(x1, . . . , xn;m, k, γ) is the set of all n–tuples (a1, . . . , an) of suchapproximating matricial microstates, having ‖ai‖ ≤ R.
To save space, we will write X for the list (or set) x1, . . . , xn, andalso ΓR(X;m, k, γ), etc.
The free entropy dimension δ0(x1, . . . , xn) = δ0(X) is obtained fromasymptotics of the “sizes” of these sets.
By [Jung, ’03]:
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Instead of taking supR>0, fixing any R > maxi ‖xi‖ will yield thesame value for δ0(X), and we can also take R = +∞, in which casewe write Γ(X;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 5 / 23
![Page 11: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/11.jpg)
Microstates free entropy dimension (Voiculescu)
ΓR(x1, . . . , xn;m, k, γ) is the set of all n–tuples (a1, . . . , an) of suchapproximating matricial microstates, having ‖ai‖ ≤ R.
To save space, we will write X for the list (or set) x1, . . . , xn, andalso ΓR(X;m, k, γ), etc.
The free entropy dimension δ0(x1, . . . , xn) = δ0(X) is obtained fromasymptotics of the “sizes” of these sets.
By [Jung, ’03]:
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Instead of taking supR>0, fixing any R > maxi ‖xi‖ will yield thesame value for δ0(X), and we can also take R = +∞, in which casewe write Γ(X;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 5 / 23
![Page 12: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/12.jpg)
Microstates free entropy dimension (Voiculescu)
ΓR(x1, . . . , xn;m, k, γ) is the set of all n–tuples (a1, . . . , an) of suchapproximating matricial microstates, having ‖ai‖ ≤ R.
To save space, we will write X for the list (or set) x1, . . . , xn, andalso ΓR(X;m, k, γ), etc.
The free entropy dimension δ0(x1, . . . , xn) = δ0(X) is obtained fromasymptotics of the “sizes” of these sets.
By [Jung, ’03]:
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Instead of taking supR>0, fixing any R > maxi ‖xi‖ will yield thesame value for δ0(X), and we can also take R = +∞, in which casewe write Γ(X;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 5 / 23
![Page 13: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/13.jpg)
Microstates free entropy dimension (Voiculescu)
ΓR(x1, . . . , xn;m, k, γ) is the set of all n–tuples (a1, . . . , an) of suchapproximating matricial microstates, having ‖ai‖ ≤ R.
To save space, we will write X for the list (or set) x1, . . . , xn, andalso ΓR(X;m, k, γ), etc.
The free entropy dimension δ0(x1, . . . , xn) = δ0(X) is obtained fromasymptotics of the “sizes” of these sets.
By [Jung, ’03]:
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Instead of taking supR>0, fixing any R > maxi ‖xi‖ will yield thesame value for δ0(X), and we can also take R = +∞, in which casewe write Γ(X;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 5 / 23
![Page 14: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/14.jpg)
Microstates free entropy dimension (Voiculescu)
ΓR(x1, . . . , xn;m, k, γ) is the set of all n–tuples (a1, . . . , an) of suchapproximating matricial microstates, having ‖ai‖ ≤ R.
To save space, we will write X for the list (or set) x1, . . . , xn, andalso ΓR(X;m, k, γ), etc.
The free entropy dimension δ0(x1, . . . , xn) = δ0(X) is obtained fromasymptotics of the “sizes” of these sets.
By [Jung, ’03]:
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Instead of taking supR>0, fixing any R > maxi ‖xi‖ will yield thesame value for δ0(X), and we can also take R = +∞, in which casewe write Γ(X;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 5 / 23
![Page 15: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/15.jpg)
Microstates free entropy dimension (Voiculescu)
ΓR(x1, . . . , xn;m, k, γ) is the set of all n–tuples (a1, . . . , an) of suchapproximating matricial microstates, having ‖ai‖ ≤ R.
To save space, we will write X for the list (or set) x1, . . . , xn, andalso ΓR(X;m, k, γ), etc.
The free entropy dimension δ0(x1, . . . , xn) = δ0(X) is obtained fromasymptotics of the “sizes” of these sets.
By [Jung, ’03]:
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Instead of taking supR>0, fixing any R > maxi ‖xi‖ will yield thesame value for δ0(X), and we can also take R = +∞, in which casewe write Γ(X;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 5 / 23
![Page 16: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/16.jpg)
Subadditivity property
δ0(X ∪ Y ) ≤ δ0(X) + δ0(Y ).
Proof:
ΓR(X ∪ Y ;m, k, γ) ⊆ ΓR(X;m, k, γ)× ΓR(Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 6 / 23
![Page 17: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/17.jpg)
Subadditivity property
δ0(X ∪ Y ) ≤ δ0(X) + δ0(Y ).
Proof:
ΓR(X ∪ Y ;m, k, γ) ⊆ ΓR(X;m, k, γ)× ΓR(Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 6 / 23
![Page 18: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/18.jpg)
Open problems about matricial microstates
1. CEP
Are there always approximating matricial microstates? I.e., given mand γ, is there k such that Γ(X;m, k, γ) 6= ∅?
If “yes,” then W ∗(X) ↪→ Rω and, by [BDJ], δ(X) ≥ 0. Otherwise,W ∗(X) 6↪→ Rω and δ0(X) = −∞.
2. W∗–invariance
Does W ∗(x1, . . . , xN ) = W ∗(y1, . . . , yM ) implyδ0(x1, . . . , xN ) = δ0(y1, . . . , yM )?
3. Regularity
If, in Jung’s formula for δ0, the lim supk→∞ and lim supε→0 arereplaced by lim inf, do we get the same number?
(If “yes,” then we say X is microstates packing regular.)
Dykema (TAMU) Amalgamation Chenai, August 2010 7 / 23
![Page 19: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/19.jpg)
Open problems about matricial microstates
1. CEP
Are there always approximating matricial microstates? I.e., given mand γ, is there k such that Γ(X;m, k, γ) 6= ∅?
If “yes,” then W ∗(X) ↪→ Rω and, by [BDJ], δ(X) ≥ 0. Otherwise,W ∗(X) 6↪→ Rω and δ0(X) = −∞.
2. W∗–invariance
Does W ∗(x1, . . . , xN ) = W ∗(y1, . . . , yM ) implyδ0(x1, . . . , xN ) = δ0(y1, . . . , yM )?
3. Regularity
If, in Jung’s formula for δ0, the lim supk→∞ and lim supε→0 arereplaced by lim inf, do we get the same number?
(If “yes,” then we say X is microstates packing regular.)
Dykema (TAMU) Amalgamation Chenai, August 2010 7 / 23
![Page 20: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/20.jpg)
Open problems about matricial microstates
1. CEP
Are there always approximating matricial microstates? I.e., given mand γ, is there k such that Γ(X;m, k, γ) 6= ∅?
If “yes,” then W ∗(X) ↪→ Rω and, by [BDJ], δ(X) ≥ 0. Otherwise,W ∗(X) 6↪→ Rω and δ0(X) = −∞.
2. W∗–invariance
Does W ∗(x1, . . . , xN ) = W ∗(y1, . . . , yM ) implyδ0(x1, . . . , xN ) = δ0(y1, . . . , yM )?
3. Regularity
If, in Jung’s formula for δ0, the lim supk→∞ and lim supε→0 arereplaced by lim inf, do we get the same number?
(If “yes,” then we say X is microstates packing regular.)
Dykema (TAMU) Amalgamation Chenai, August 2010 7 / 23
![Page 21: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/21.jpg)
Open problems about matricial microstates
1. CEP
Are there always approximating matricial microstates? I.e., given mand γ, is there k such that Γ(X;m, k, γ) 6= ∅?
If “yes,” then W ∗(X) ↪→ Rω and, by [BDJ], δ(X) ≥ 0. Otherwise,W ∗(X) 6↪→ Rω and δ0(X) = −∞.
2. W∗–invariance
Does W ∗(x1, . . . , xN ) = W ∗(y1, . . . , yM ) implyδ0(x1, . . . , xN ) = δ0(y1, . . . , yM )?
3. Regularity
If, in Jung’s formula for δ0, the lim supk→∞ and lim supε→0 arereplaced by lim inf, do we get the same number?
(If “yes,” then we say X is microstates packing regular.)
Dykema (TAMU) Amalgamation Chenai, August 2010 7 / 23
![Page 22: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/22.jpg)
Open problems about matricial microstates
1. CEP
Are there always approximating matricial microstates? I.e., given mand γ, is there k such that Γ(X;m, k, γ) 6= ∅?
If “yes,” then W ∗(X) ↪→ Rω and, by [BDJ], δ(X) ≥ 0. Otherwise,W ∗(X) 6↪→ Rω and δ0(X) = −∞.
2. W∗–invariance
Does W ∗(x1, . . . , xN ) = W ∗(y1, . . . , yM ) implyδ0(x1, . . . , xN ) = δ0(y1, . . . , yM )?
3. Regularity
If, in Jung’s formula for δ0, the lim supk→∞ and lim supε→0 arereplaced by lim inf, do we get the same number?
(If “yes,” then we say X is microstates packing regular.)
Dykema (TAMU) Amalgamation Chenai, August 2010 7 / 23
![Page 23: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/23.jpg)
Recalling of the formula for δ0(X)
Pε(X) = supR>0
infm≥1γ>0
lim supk→∞
k−2 logPε(ΓR(X;m, k, γ)
).
δ0(X) = lim supε→0
Pε(X)| log ε|
.
Dykema (TAMU) Amalgamation Chenai, August 2010 8 / 23
![Page 24: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/24.jpg)
Regarding W ∗–invariance:
[Jung]
If B is hyperfinite, then δ0 agrees on all generating sets of B.
This number can be written δ0(B), and satisfies 0 ≤ δ0(B) ≤ 1, withequality on the left if and only if B = C and equality on the right ifand only if B is diffuse, i.e., has no minimal projections.
∗–algebra invariance [Voiculescu]
If ∗ -alg(x1, . . . , xN ) = ∗ -alg(y1, . . . , yM ), thenδ0(x1, . . . , xN ) = δ0(y1, . . . , yM ).
Dykema (TAMU) Amalgamation Chenai, August 2010 9 / 23
![Page 25: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/25.jpg)
Regarding W ∗–invariance:
[Jung]
If B is hyperfinite, then δ0 agrees on all generating sets of B.
This number can be written δ0(B), and satisfies 0 ≤ δ0(B) ≤ 1, withequality on the left if and only if B = C and equality on the right ifand only if B is diffuse, i.e., has no minimal projections.
∗–algebra invariance [Voiculescu]
If ∗ -alg(x1, . . . , xN ) = ∗ -alg(y1, . . . , yM ), thenδ0(x1, . . . , xN ) = δ0(y1, . . . , yM ).
Dykema (TAMU) Amalgamation Chenai, August 2010 9 / 23
![Page 26: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/26.jpg)
Regarding W ∗–invariance:
[Jung]
If B is hyperfinite, then δ0 agrees on all generating sets of B.
This number can be written δ0(B), and satisfies 0 ≤ δ0(B) ≤ 1, withequality on the left if and only if B = C and equality on the right ifand only if B is diffuse, i.e., has no minimal projections.
∗–algebra invariance [Voiculescu]
If ∗ -alg(x1, . . . , xN ) = ∗ -alg(y1, . . . , yM ), thenδ0(x1, . . . , xN ) = δ0(y1, . . . , yM ).
Dykema (TAMU) Amalgamation Chenai, August 2010 9 / 23
![Page 27: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/27.jpg)
Regarding regularity
Thm. [Voiculescu]
If x1, . . . , xn are free, then δ0(X) = δ0(x1, . . . , xn) =∑n
1 δ0(xj).
Thm. [Voiculescu]
If X = {x1, . . . , xN} and Y = {y1, . . . , yM} are free and if at leastone is regular, then δ0(X ∪ Y ) = δ0(X) + δ0(Y ).
Thm. [Voiculescu]
A singleton {x1} is always regular.
Thm. [BDJ]
Let M = W ∗(X). If either (a) M is diffuse, is embeddable in Rω
and δ0(X) = 1 or (b) M is hyperfinite, then X is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 10 / 23
![Page 28: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/28.jpg)
Regarding regularity
Thm. [Voiculescu]
If x1, . . . , xn are free, then δ0(X) = δ0(x1, . . . , xn) =∑n
1 δ0(xj).
Thm. [Voiculescu]
If X = {x1, . . . , xN} and Y = {y1, . . . , yM} are free and if at leastone is regular, then δ0(X ∪ Y ) = δ0(X) + δ0(Y ).
Thm. [Voiculescu]
A singleton {x1} is always regular.
Thm. [BDJ]
Let M = W ∗(X). If either (a) M is diffuse, is embeddable in Rω
and δ0(X) = 1 or (b) M is hyperfinite, then X is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 10 / 23
![Page 29: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/29.jpg)
Regarding regularity
Thm. [Voiculescu]
If x1, . . . , xn are free, then δ0(X) = δ0(x1, . . . , xn) =∑n
1 δ0(xj).
Thm. [Voiculescu]
If X = {x1, . . . , xN} and Y = {y1, . . . , yM} are free and if at leastone is regular, then δ0(X ∪ Y ) = δ0(X) + δ0(Y ).
Thm. [Voiculescu]
A singleton {x1} is always regular.
Thm. [BDJ]
Let M = W ∗(X). If either (a) M is diffuse, is embeddable in Rω
and δ0(X) = 1 or (b) M is hyperfinite, then X is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 10 / 23
![Page 30: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/30.jpg)
Regarding regularity
Thm. [Voiculescu]
If x1, . . . , xn are free, then δ0(X) = δ0(x1, . . . , xn) =∑n
1 δ0(xj).
Thm. [Voiculescu]
If X = {x1, . . . , xN} and Y = {y1, . . . , yM} are free and if at leastone is regular, then δ0(X ∪ Y ) = δ0(X) + δ0(Y ).
Thm. [Voiculescu]
A singleton {x1} is always regular.
Thm. [BDJ]
Let M = W ∗(X). If either (a) M is diffuse, is embeddable in Rω
and δ0(X) = 1 or (b) M is hyperfinite, then X is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 10 / 23
![Page 31: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/31.jpg)
Regarding Connes’ embedding problem and free products
Without a regularity assumption, we do not know ifδ0(X ∪ Y ) = δ0(X) + δ0(Y ) holds whenever X and Y are free setsof finitely many self–adjoints.
However, if one assumes δ0(X) ≥ 0 and δ0(Y ) ≥ 0, i.e., thatW ∗(X) ↪→ Rω and W ∗(Y ) ↪→ Rω, then one can constructsufficiently many approximating microstates for X ∪ Y to prove thatW ∗(X ∪ Y ) = W ∗(X) ∗W ∗(Y ) ↪→ Rω, i.e., that δ0(X ∪ Y ) ≥ 0.
How? By a fundamental result of Voiculescu, given m, γ, there arem′, γ′ such that if
a = (a1, . . . , aN ) ∈ ΓR(X;m′, k, γ′)b = (b1, . . . , bM ) ∈ ΓR(Y ;m′, k, γ′),
and if u ∈ Uk is a randomly chosen k × k unitary matrix, then withprobability P (R,m, γ, k), that approaches 1 as k →∞,a ∪ ubu∗ ∈ ΓR(X ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 11 / 23
![Page 32: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/32.jpg)
Regarding Connes’ embedding problem and free products
Without a regularity assumption, we do not know ifδ0(X ∪ Y ) = δ0(X) + δ0(Y ) holds whenever X and Y are free setsof finitely many self–adjoints.
However, if one assumes δ0(X) ≥ 0 and δ0(Y ) ≥ 0, i.e., thatW ∗(X) ↪→ Rω and W ∗(Y ) ↪→ Rω, then one can constructsufficiently many approximating microstates for X ∪ Y to prove thatW ∗(X ∪ Y ) = W ∗(X) ∗W ∗(Y ) ↪→ Rω, i.e., that δ0(X ∪ Y ) ≥ 0.
How? By a fundamental result of Voiculescu, given m, γ, there arem′, γ′ such that if
a = (a1, . . . , aN ) ∈ ΓR(X;m′, k, γ′)b = (b1, . . . , bM ) ∈ ΓR(Y ;m′, k, γ′),
and if u ∈ Uk is a randomly chosen k × k unitary matrix, then withprobability P (R,m, γ, k), that approaches 1 as k →∞,a ∪ ubu∗ ∈ ΓR(X ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 11 / 23
![Page 33: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/33.jpg)
Regarding Connes’ embedding problem and free products
Without a regularity assumption, we do not know ifδ0(X ∪ Y ) = δ0(X) + δ0(Y ) holds whenever X and Y are free setsof finitely many self–adjoints.
However, if one assumes δ0(X) ≥ 0 and δ0(Y ) ≥ 0, i.e., thatW ∗(X) ↪→ Rω and W ∗(Y ) ↪→ Rω, then one can constructsufficiently many approximating microstates for X ∪ Y to prove thatW ∗(X ∪ Y ) = W ∗(X) ∗W ∗(Y ) ↪→ Rω, i.e., that δ0(X ∪ Y ) ≥ 0.
How?
By a fundamental result of Voiculescu, given m, γ, there arem′, γ′ such that if
a = (a1, . . . , aN ) ∈ ΓR(X;m′, k, γ′)b = (b1, . . . , bM ) ∈ ΓR(Y ;m′, k, γ′),
and if u ∈ Uk is a randomly chosen k × k unitary matrix, then withprobability P (R,m, γ, k), that approaches 1 as k →∞,a ∪ ubu∗ ∈ ΓR(X ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 11 / 23
![Page 34: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/34.jpg)
Regarding Connes’ embedding problem and free products
Without a regularity assumption, we do not know ifδ0(X ∪ Y ) = δ0(X) + δ0(Y ) holds whenever X and Y are free setsof finitely many self–adjoints.
However, if one assumes δ0(X) ≥ 0 and δ0(Y ) ≥ 0, i.e., thatW ∗(X) ↪→ Rω and W ∗(Y ) ↪→ Rω, then one can constructsufficiently many approximating microstates for X ∪ Y to prove thatW ∗(X ∪ Y ) = W ∗(X) ∗W ∗(Y ) ↪→ Rω, i.e., that δ0(X ∪ Y ) ≥ 0.
How? By a fundamental result of Voiculescu, given m, γ, there arem′, γ′ such that if
a = (a1, . . . , aN ) ∈ ΓR(X;m′, k, γ′)b = (b1, . . . , bM ) ∈ ΓR(Y ;m′, k, γ′),
and if u ∈ Uk is a randomly chosen k × k unitary matrix, then withprobability P (R,m, γ, k), that approaches 1 as k →∞,a ∪ ubu∗ ∈ ΓR(X ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 11 / 23
![Page 35: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/35.jpg)
Freeness over a subalgebra [Voiculescu]
Let E : A→ B be a normal conditional expectation onto a unitalW∗–subalgebra.
If B ⊆ Ai ⊆ A are subalgebras, then the Ai are free with respect toE (over B) if
E(a1 · · · an) = 0 whenever aj ∈ Ai(j) ∩ kerE
and i(j) 6= i(j + 1) for all j.
Dykema (TAMU) Amalgamation Chenai, August 2010 12 / 23
![Page 36: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/36.jpg)
Freeness over a subalgebra [Voiculescu]
Let E : A→ B be a normal conditional expectation onto a unitalW∗–subalgebra.
If B ⊆ Ai ⊆ A are subalgebras, then the Ai are free with respect toE (over B) if
E(a1 · · · an) = 0 whenever aj ∈ Ai(j) ∩ kerE
and i(j) 6= i(j + 1) for all j.
Dykema (TAMU) Amalgamation Chenai, August 2010 12 / 23
![Page 37: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/37.jpg)
Freeness over a subalgebra [Voiculescu]
Let E : A→ B be a normal conditional expectation onto a unitalW∗–subalgebra.
If B ⊆ Ai ⊆ A are subalgebras, then the Ai are free with respect toE (over B) if
E(a1 · · · an) = 0 whenever aj ∈ Ai(j) ∩ kerE
and i(j) 6= i(j + 1) for all j.
Dykema (TAMU) Amalgamation Chenai, August 2010 12 / 23
![Page 38: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/38.jpg)
Amalgamated free products of von Neumann algebras[Voiculescu]
Given Ei : Ai → B conditional expectations (with faithful GNSconstruction), then their amaglamated free product is
(A,E) = ∗Bi∈I
(Ai, Ei),
with Ai ↪→ A so that the Ai are free over B and together generateA, and E�Ai
= Ei.
If there is a normal faithful tracial state τB on B such that τB ◦Ei isa trace on Ai, for all i, then τB ◦ E is a normal faithful tracial stateon A.
In this case, we say the amalgamated free product is tracial.
Dykema (TAMU) Amalgamation Chenai, August 2010 13 / 23
![Page 39: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/39.jpg)
Amalgamated free products of von Neumann algebras[Voiculescu]
Given Ei : Ai → B conditional expectations (with faithful GNSconstruction), then their amaglamated free product is
(A,E) = ∗Bi∈I
(Ai, Ei),
with Ai ↪→ A so that the Ai are free over B and together generateA, and E�Ai
= Ei.
If there is a normal faithful tracial state τB on B such that τB ◦Ei isa trace on Ai, for all i, then τB ◦ E is a normal faithful tracial stateon A.
In this case, we say the amalgamated free product is tracial.
Dykema (TAMU) Amalgamation Chenai, August 2010 13 / 23
![Page 40: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/40.jpg)
Amalgamated free products of von Neumann algebras[Voiculescu]
Given Ei : Ai → B conditional expectations (with faithful GNSconstruction), then their amaglamated free product is
(A,E) = ∗Bi∈I
(Ai, Ei),
with Ai ↪→ A so that the Ai are free over B and together generateA, and E�Ai
= Ei.
If there is a normal faithful tracial state τB on B such that τB ◦Ei isa trace on Ai, for all i, then τB ◦ E is a normal faithful tracial stateon A.
In this case, we say the amalgamated free product is tracial.
Dykema (TAMU) Amalgamation Chenai, August 2010 13 / 23
![Page 41: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/41.jpg)
Example of an amalgamated free product of von Neumannalgebras
Example: if H ⊆ Gi and G = G1 ∗H G2 is an amalgamated freeproduct of groups, then
(L(G1), E1) ∗L(H) (L(G2), E2) = (L(G), E),
where Ei and E are the cannonical–trace–preserving conditionalexpectations onto L(H).
Dykema (TAMU) Amalgamation Chenai, August 2010 14 / 23
![Page 42: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/42.jpg)
Free entropy dimension in amalg. free products [BDJ]
The setting: let (M, E) = (A1, E) ∗B (A2, E) be a tracialamalgamated free product, where B is hyperfinite. Suppose Xi ⊆ Aiand Y ⊆ B are finite sets of self–adjoint elements, whereW ∗(Y ) = B.
By [Jung, ’03],
δ0(X1 ∪X2 ∪ Y ) ≤ δ0(X1 ∪ Y ) + δ0(X2 ∪ Y )− δ0(Y ).
Theorem [BDJ]
If at least one of X1 ∪ Y and X2 ∪ Y is regular, then
δ0(X1 ∪X2 ∪ Y ) = δ0(X1 ∪ Y ) + δ0(X2 ∪ Y )− δ0(Y ),
while if both are regular then also X1 ∪X2 ∪ Y is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 15 / 23
![Page 43: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/43.jpg)
Free entropy dimension in amalg. free products [BDJ]
The setting: let (M, E) = (A1, E) ∗B (A2, E) be a tracialamalgamated free product, where B is hyperfinite. Suppose Xi ⊆ Aiand Y ⊆ B are finite sets of self–adjoint elements, whereW ∗(Y ) = B.
By [Jung, ’03],
δ0(X1 ∪X2 ∪ Y ) ≤ δ0(X1 ∪ Y ) + δ0(X2 ∪ Y )− δ0(Y ).
Theorem [BDJ]
If at least one of X1 ∪ Y and X2 ∪ Y is regular, then
δ0(X1 ∪X2 ∪ Y ) = δ0(X1 ∪ Y ) + δ0(X2 ∪ Y )− δ0(Y ),
while if both are regular then also X1 ∪X2 ∪ Y is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 15 / 23
![Page 44: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/44.jpg)
Free entropy dimension in amalg. free products [BDJ]
The setting: let (M, E) = (A1, E) ∗B (A2, E) be a tracialamalgamated free product, where B is hyperfinite. Suppose Xi ⊆ Aiand Y ⊆ B are finite sets of self–adjoint elements, whereW ∗(Y ) = B.
By [Jung, ’03],
δ0(X1 ∪X2 ∪ Y ) ≤ δ0(X1 ∪ Y ) + δ0(X2 ∪ Y )− δ0(Y ).
Theorem [BDJ]
If at least one of X1 ∪ Y and X2 ∪ Y is regular, then
δ0(X1 ∪X2 ∪ Y ) = δ0(X1 ∪ Y ) + δ0(X2 ∪ Y )− δ0(Y ),
while if both are regular then also X1 ∪X2 ∪ Y is regular.
Dykema (TAMU) Amalgamation Chenai, August 2010 15 / 23
![Page 45: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/45.jpg)
Idea of proof
By approximation, we can show it suffices to consider(M, E) = (A1, E) ∗B (A2, E) with B finite dimensional.
Now fix some representations πk : B →Mk(C), for infinitely many k,such that trk ◦ πk converges to τ�B.
Let a ∪ c ∈ ΓR′(X1 ∪ Y ;m′, k, γ′) andb ∪ c′ ∈ ΓR′(X2 ∪ Y ;m′, k, γ′). We may take c′ = c = πk(Y ).
Now, choosing u randomly in Uk ∩ πk(B)′ we have, with probabilityapproaching 1 as k →∞,
a ∪ ubu∗ ∪ c ∈ Γr(X1 ∪X2 ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 16 / 23
![Page 46: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/46.jpg)
Idea of proof
By approximation, we can show it suffices to consider(M, E) = (A1, E) ∗B (A2, E) with B finite dimensional.
Now fix some representations πk : B →Mk(C), for infinitely many k,such that trk ◦ πk converges to τ�B.
Let a ∪ c ∈ ΓR′(X1 ∪ Y ;m′, k, γ′) andb ∪ c′ ∈ ΓR′(X2 ∪ Y ;m′, k, γ′). We may take c′ = c = πk(Y ).
Now, choosing u randomly in Uk ∩ πk(B)′ we have, with probabilityapproaching 1 as k →∞,
a ∪ ubu∗ ∪ c ∈ Γr(X1 ∪X2 ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 16 / 23
![Page 47: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/47.jpg)
Idea of proof
By approximation, we can show it suffices to consider(M, E) = (A1, E) ∗B (A2, E) with B finite dimensional.
Now fix some representations πk : B →Mk(C), for infinitely many k,such that trk ◦ πk converges to τ�B.
Let a ∪ c ∈ ΓR′(X1 ∪ Y ;m′, k, γ′) andb ∪ c′ ∈ ΓR′(X2 ∪ Y ;m′, k, γ′). We may take c′ = c = πk(Y ).
Now, choosing u randomly in Uk ∩ πk(B)′ we have, with probabilityapproaching 1 as k →∞,
a ∪ ubu∗ ∪ c ∈ Γr(X1 ∪X2 ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 16 / 23
![Page 48: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/48.jpg)
Idea of proof
By approximation, we can show it suffices to consider(M, E) = (A1, E) ∗B (A2, E) with B finite dimensional.
Now fix some representations πk : B →Mk(C), for infinitely many k,such that trk ◦ πk converges to τ�B.
Let a ∪ c ∈ ΓR′(X1 ∪ Y ;m′, k, γ′) andb ∪ c′ ∈ ΓR′(X2 ∪ Y ;m′, k, γ′). We may take c′ = c = πk(Y ).
Now, choosing u randomly in Uk ∩ πk(B)′ we have, with probabilityapproaching 1 as k →∞,
a ∪ ubu∗ ∪ c ∈ Γr(X1 ∪X2 ∪ Y ;m, k, γ).
Dykema (TAMU) Amalgamation Chenai, August 2010 16 / 23
![Page 49: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/49.jpg)
Embeddings in Rω
Also, even without assuming regularity, this argument is sufficient toconstruct at least some approximating microstates, enough to giveRω–embeddability.
Theorem [BDJ]
If (M, E) = (A1, E) ∗B (A2, E) is a tracial amalgamated free productwith B hyperfinite, and if Ai ↪→ Rω, (i = 1, 2), then M ↪→ Rω.
Dykema (TAMU) Amalgamation Chenai, August 2010 17 / 23
![Page 50: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/50.jpg)
Hyperlinear groups
Definition [Radulescu]
A group Γ is hyperlinear if for all finite sets F ⊆ Γ and all ε > 0,there is a map φ : Γ→ Un (the n× n unitary matrices) for some n,such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε,
where the distance isdist(U, V ) = ‖U − V ‖2 = (trn((U − V )∗(U − V )))1/2.
Theorem [Radulescu]
For a group Γ, TFAE:
(i) Γ is hyperlinear
(ii) Γ is isomorphic to a subgroup of the unitary group of Rω
(iii) L(Γ) ↪→ Rω
Dykema (TAMU) Amalgamation Chenai, August 2010 18 / 23
![Page 51: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/51.jpg)
Hyperlinear groups
Definition [Radulescu]
A group Γ is hyperlinear if for all finite sets F ⊆ Γ and all ε > 0,there is a map φ : Γ→ Un (the n× n unitary matrices) for some n,such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε,
where the distance isdist(U, V ) = ‖U − V ‖2 = (trn((U − V )∗(U − V )))1/2.
Theorem [Radulescu]
For a group Γ, TFAE:
(i) Γ is hyperlinear
(ii) Γ is isomorphic to a subgroup of the unitary group of Rω
(iii) L(Γ) ↪→ Rω
Dykema (TAMU) Amalgamation Chenai, August 2010 18 / 23
![Page 52: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/52.jpg)
Corollary [BDJ]
If Γ1 and Γ2 are hyperlinear and if Γ = Γ1 ∗H Γ2 with H amenable,then Γ is hyperlinear.
Also, HNN–extensions of hyperlinear groupsover amenable groups are hyperlinear.
Open Problem (part of Connes’ Embedding Problem)
Are all groups hyperlinear?
Dykema (TAMU) Amalgamation Chenai, August 2010 19 / 23
![Page 53: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/53.jpg)
Corollary [BDJ]
If Γ1 and Γ2 are hyperlinear and if Γ = Γ1 ∗H Γ2 with H amenable,then Γ is hyperlinear. Also, HNN–extensions of hyperlinear groupsover amenable groups are hyperlinear.
Open Problem (part of Connes’ Embedding Problem)
Are all groups hyperlinear?
Dykema (TAMU) Amalgamation Chenai, August 2010 19 / 23
![Page 54: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/54.jpg)
Corollary [BDJ]
If Γ1 and Γ2 are hyperlinear and if Γ = Γ1 ∗H Γ2 with H amenable,then Γ is hyperlinear. Also, HNN–extensions of hyperlinear groupsover amenable groups are hyperlinear.
Open Problem (part of Connes’ Embedding Problem)
Are all groups hyperlinear?
Dykema (TAMU) Amalgamation Chenai, August 2010 19 / 23
![Page 55: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/55.jpg)
Sofic groups
A group Γ is sofic if arbitrary finite sets of it can be approximated bypermutations.
Defn. [Gromov, ’99], [B. Weiss, ’00], [Elek, Szabo, ’04]
Γ is sofic if for all F ⊆ Γ finite and all ε > 0, there is a mapφ : Γ→ Sn, for some n, such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε.
where dist(σ, τ) = {j | σ(j) 6= τ(j)}/n is the Hamming distance.We call φ an (F, ε)–quasi–action.
Thus, sofic groups are hyperlinear.
Examples
• amenable groups • residually finite groups • residually amenablegroups • other recent examples by [A. Thom], [Y. Cornulier].
Dykema (TAMU) Amalgamation Chenai, August 2010 20 / 23
![Page 56: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/56.jpg)
Sofic groups
A group Γ is sofic if arbitrary finite sets of it can be approximated bypermutations.
Defn. [Gromov, ’99], [B. Weiss, ’00], [Elek, Szabo, ’04]
Γ is sofic if for all F ⊆ Γ finite and all ε > 0, there is a mapφ : Γ→ Sn, for some n, such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε.
where dist(σ, τ) = {j | σ(j) 6= τ(j)}/n is the Hamming distance.
We call φ an (F, ε)–quasi–action.
Thus, sofic groups are hyperlinear.
Examples
• amenable groups • residually finite groups • residually amenablegroups • other recent examples by [A. Thom], [Y. Cornulier].
Dykema (TAMU) Amalgamation Chenai, August 2010 20 / 23
![Page 57: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/57.jpg)
Sofic groups
A group Γ is sofic if arbitrary finite sets of it can be approximated bypermutations.
Defn. [Gromov, ’99], [B. Weiss, ’00], [Elek, Szabo, ’04]
Γ is sofic if for all F ⊆ Γ finite and all ε > 0, there is a mapφ : Γ→ Sn, for some n, such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε.
where dist(σ, τ) = {j | σ(j) 6= τ(j)}/n is the Hamming distance.We call φ an (F, ε)–quasi–action.
Thus, sofic groups are hyperlinear.
Examples
• amenable groups • residually finite groups • residually amenablegroups • other recent examples by [A. Thom], [Y. Cornulier].
Dykema (TAMU) Amalgamation Chenai, August 2010 20 / 23
![Page 58: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/58.jpg)
Sofic groups
A group Γ is sofic if arbitrary finite sets of it can be approximated bypermutations.
Defn. [Gromov, ’99], [B. Weiss, ’00], [Elek, Szabo, ’04]
Γ is sofic if for all F ⊆ Γ finite and all ε > 0, there is a mapφ : Γ→ Sn, for some n, such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε.
where dist(σ, τ) = {j | σ(j) 6= τ(j)}/n is the Hamming distance.We call φ an (F, ε)–quasi–action.
Thus, sofic groups are hyperlinear.
Examples
• amenable groups • residually finite groups • residually amenablegroups • other recent examples by [A. Thom], [Y. Cornulier].
Dykema (TAMU) Amalgamation Chenai, August 2010 20 / 23
![Page 59: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/59.jpg)
Sofic groups
A group Γ is sofic if arbitrary finite sets of it can be approximated bypermutations.
Defn. [Gromov, ’99], [B. Weiss, ’00], [Elek, Szabo, ’04]
Γ is sofic if for all F ⊆ Γ finite and all ε > 0, there is a mapφ : Γ→ Sn, for some n, such that
(i) ∀g ∈ F\{e}, dist(φ(g), id) > 1− ε(ii) ∀g, h ∈ F , dist(φ(g−1h), φ(g)−1φ(h)) < ε.
where dist(σ, τ) = {j | σ(j) 6= τ(j)}/n is the Hamming distance.We call φ an (F, ε)–quasi–action.
Thus, sofic groups are hyperlinear.
Examples
• amenable groups • residually finite groups • residually amenablegroups • other recent examples by [A. Thom], [Y. Cornulier].
Dykema (TAMU) Amalgamation Chenai, August 2010 20 / 23
![Page 60: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/60.jpg)
Sofic groups (2)
Some nice properties of every sofic group Γ
• satisfies Gottschalk’s Surjunctivity Conjecture [Gromov ’99].
• satisfies Kaplansky’s Direct Finiteness Conjecture [Elek, Szabo,’04].
• its Bernoulli shifts are classified [L. Bowen, ’10], (provided Γ isalso Ornstein, e.g., if it has an infinite amenable subgroup).
Question
Are all groups sofic?
Caveat [Gromov]
Any statement about all countable groups is either trivial or false.
Dykema (TAMU) Amalgamation Chenai, August 2010 21 / 23
![Page 61: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/61.jpg)
Sofic groups (2)
Some nice properties of every sofic group Γ
• satisfies Gottschalk’s Surjunctivity Conjecture [Gromov ’99].
• satisfies Kaplansky’s Direct Finiteness Conjecture [Elek, Szabo,’04].
• its Bernoulli shifts are classified [L. Bowen, ’10], (provided Γ isalso Ornstein, e.g., if it has an infinite amenable subgroup).
Question
Are all groups sofic?
Caveat [Gromov]
Any statement about all countable groups is either trivial or false.
Dykema (TAMU) Amalgamation Chenai, August 2010 21 / 23
![Page 62: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/62.jpg)
Sofic groups (2)
Some nice properties of every sofic group Γ
• satisfies Gottschalk’s Surjunctivity Conjecture [Gromov ’99].
• satisfies Kaplansky’s Direct Finiteness Conjecture [Elek, Szabo,’04].
• its Bernoulli shifts are classified [L. Bowen, ’10], (provided Γ isalso Ornstein, e.g., if it has an infinite amenable subgroup).
Question
Are all groups sofic?
Caveat [Gromov]
Any statement about all countable groups is either trivial or false.
Dykema (TAMU) Amalgamation Chenai, August 2010 21 / 23
![Page 63: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/63.jpg)
Sofic groups (3)
Constructions
The class of sofic groups is closed under taking • subgroups • directlimits • direct products • inverse limits • extensions by amenablegroups [Elek and Szabo, ’06] • free products [Elek and Szabo, ’06].
Theorem [CD]
If Γ1 and Γ2 are sofic groups and if H ⊆ Γi is a subgroup that iseither a finite group or infinite cyclic or . . ., then the amalgamatedfree product Γ1 ∗H Γ2 is sofic.
Our proof is group theoretic and probabilistic. It was inspired byresults in free probability theory and operator algebras.
We thought we had a proof for H amenable, but there are someproblems . . ..
Dykema (TAMU) Amalgamation Chenai, August 2010 22 / 23
![Page 64: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/64.jpg)
Sofic groups (3)
Constructions
The class of sofic groups is closed under taking • subgroups • directlimits • direct products • inverse limits • extensions by amenablegroups [Elek and Szabo, ’06] • free products [Elek and Szabo, ’06].
Theorem [CD]
If Γ1 and Γ2 are sofic groups and if H ⊆ Γi is a subgroup that iseither a finite group or infinite cyclic or . . ., then the amalgamatedfree product Γ1 ∗H Γ2 is sofic.
Our proof is group theoretic and probabilistic. It was inspired byresults in free probability theory and operator algebras.
We thought we had a proof for H amenable, but there are someproblems . . ..
Dykema (TAMU) Amalgamation Chenai, August 2010 22 / 23
![Page 65: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/65.jpg)
Sofic groups (3)
Constructions
The class of sofic groups is closed under taking • subgroups • directlimits • direct products • inverse limits • extensions by amenablegroups [Elek and Szabo, ’06] • free products [Elek and Szabo, ’06].
Theorem [CD]
If Γ1 and Γ2 are sofic groups and if H ⊆ Γi is a subgroup that iseither a finite group or infinite cyclic or . . ., then the amalgamatedfree product Γ1 ∗H Γ2 is sofic.
Our proof is group theoretic and probabilistic. It was inspired byresults in free probability theory and operator algebras.
We thought we had a proof for H amenable, but there are someproblems . . ..
Dykema (TAMU) Amalgamation Chenai, August 2010 22 / 23
![Page 66: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/66.jpg)
Sofic groups (3)
Constructions
The class of sofic groups is closed under taking • subgroups • directlimits • direct products • inverse limits • extensions by amenablegroups [Elek and Szabo, ’06] • free products [Elek and Szabo, ’06].
Theorem [CD]
If Γ1 and Γ2 are sofic groups and if H ⊆ Γi is a subgroup that iseither a finite group or infinite cyclic or . . ., then the amalgamatedfree product Γ1 ∗H Γ2 is sofic.
Our proof is group theoretic and probabilistic. It was inspired byresults in free probability theory and operator algebras.
We thought we had a proof for H amenable, but there are someproblems . . ..
Dykema (TAMU) Amalgamation Chenai, August 2010 22 / 23
![Page 67: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/67.jpg)
Sofic groups (4)
Idea of proof with H = {e}.
Consider G1 ∗G2. Choose Fi ⊆ Gi finite subsets, ε > 0. Takeφi : Gi → Sn be an (Fi, εn)–quasi–action. Let U be a random,uniformly distributed permutation (in Sn). We show that as n→∞,the expected number of fixed points of the permutation
φ1(g1)(Uφ2(g2)U−1
)· · ·φ1(g2m−1)
(Uφ2(g2m)U−1
)is vanishingly small, (taking godd ∈ F1\{e}, geven ∈ F2\{e} andεn → 0).
This shows: from quasi–actions φ1 and φ2 of G1 and G2, we getsufficiently many quasi–actions φ1 ∗
(Uφ2( · )U−1) of G1 ∗G2.
Dykema (TAMU) Amalgamation Chenai, August 2010 23 / 23
![Page 68: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/68.jpg)
Sofic groups (4)
Idea of proof with H = {e}.Consider G1 ∗G2. Choose Fi ⊆ Gi finite subsets, ε > 0. Takeφi : Gi → Sn be an (Fi, εn)–quasi–action.
Let U be a random,uniformly distributed permutation (in Sn). We show that as n→∞,the expected number of fixed points of the permutation
φ1(g1)(Uφ2(g2)U−1
)· · ·φ1(g2m−1)
(Uφ2(g2m)U−1
)is vanishingly small, (taking godd ∈ F1\{e}, geven ∈ F2\{e} andεn → 0).
This shows: from quasi–actions φ1 and φ2 of G1 and G2, we getsufficiently many quasi–actions φ1 ∗
(Uφ2( · )U−1) of G1 ∗G2.
Dykema (TAMU) Amalgamation Chenai, August 2010 23 / 23
![Page 69: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/69.jpg)
Sofic groups (4)
Idea of proof with H = {e}.Consider G1 ∗G2. Choose Fi ⊆ Gi finite subsets, ε > 0. Takeφi : Gi → Sn be an (Fi, εn)–quasi–action. Let U be a random,uniformly distributed permutation (in Sn).
We show that as n→∞,the expected number of fixed points of the permutation
φ1(g1)(Uφ2(g2)U−1
)· · ·φ1(g2m−1)
(Uφ2(g2m)U−1
)is vanishingly small, (taking godd ∈ F1\{e}, geven ∈ F2\{e} andεn → 0).
This shows: from quasi–actions φ1 and φ2 of G1 and G2, we getsufficiently many quasi–actions φ1 ∗
(Uφ2( · )U−1) of G1 ∗G2.
Dykema (TAMU) Amalgamation Chenai, August 2010 23 / 23
![Page 70: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/70.jpg)
Sofic groups (4)
Idea of proof with H = {e}.Consider G1 ∗G2. Choose Fi ⊆ Gi finite subsets, ε > 0. Takeφi : Gi → Sn be an (Fi, εn)–quasi–action. Let U be a random,uniformly distributed permutation (in Sn). We show that as n→∞,the expected number of fixed points of the permutation
φ1(g1)(Uφ2(g2)U−1
)· · ·φ1(g2m−1)
(Uφ2(g2m)U−1
)is vanishingly small, (taking godd ∈ F1\{e}, geven ∈ F2\{e} andεn → 0).
This shows: from quasi–actions φ1 and φ2 of G1 and G2, we getsufficiently many quasi–actions φ1 ∗
(Uφ2( · )U−1) of G1 ∗G2.
Dykema (TAMU) Amalgamation Chenai, August 2010 23 / 23
![Page 71: Amalgamated free products of embeddable von Neumann](https://reader030.vdocument.in/reader030/viewer/2022012613/6196a91d0448371d222003c0/html5/thumbnails/71.jpg)
Sofic groups (4)
Idea of proof with H = {e}.Consider G1 ∗G2. Choose Fi ⊆ Gi finite subsets, ε > 0. Takeφi : Gi → Sn be an (Fi, εn)–quasi–action. Let U be a random,uniformly distributed permutation (in Sn). We show that as n→∞,the expected number of fixed points of the permutation
φ1(g1)(Uφ2(g2)U−1
)· · ·φ1(g2m−1)
(Uφ2(g2m)U−1
)is vanishingly small, (taking godd ∈ F1\{e}, geven ∈ F2\{e} andεn → 0).
This shows: from quasi–actions φ1 and φ2 of G1 and G2, we getsufficiently many quasi–actions φ1 ∗
(Uφ2( · )U−1) of G1 ∗G2.
Dykema (TAMU) Amalgamation Chenai, August 2010 23 / 23