metric ultraproducts of finite metric groupsivanov/metrgrps.pdf · 2016-07-25 · axiomatisable...

Metric ultraproductsAxiomatisable classes of metric groups

Metric ultraproducts of finite metric groups

Aleksander Ivanov

Institute of MathematicsSilesian Universyty of Technology

July 27, 2016

Aleksander Ivanov Metric ultraproducts of finite metric groups

Metric groups with bi-invariant metrics

We consider metric groups (G , ·, d) which are complete metricspaces where the metric d is bi-invariant and is bounded by 1.

d(x1, x2) = d(x−11 , x−1

2 ) and

d(x1, x2) = d(x1 · y , x2 · y) = d(y · x1, y · x2)

for all y ∈ M.

Let G be the class of all metric groups as above.

d(x1, x2) = d(x−11 , x−1

2 ) and

d(x1, x2) = d(x1 · y , x2 · y) = d(y · x1, y · x2)

for all y ∈ M.

d(x1, x2) = d(x−11 , x−1

2 ) and

d(x1, x2) = d(x1 · y , x2 · y) = d(y · x1, y · x2)

for all y ∈ M.

Ultraproducts

The metric in the ultraproduct∏

I (Gi , di )/D is defined by

d((gi )I , (g′i )I ) = limi→Ddi (gi , g

′i ),

i.e. by the rule that the distance between (gi )I and (g ′i )I is in theinterval (ε1, ε2) if and only if the set {i : di (gi , g

′i ) ∈ (ε1, ε2)}

belongs to the ultrafilter D.∏I (Gi , di )/D consists of classes of the relation d((xi )I , (yi )I ) = 0.

Ultraproducts

′i ),

′i ) ∈ (ε1, ε2)}

Ultraproducts

′i ),

′i ) ∈ (ε1, ε2)}

Soficity

Hamming metric: For g , h ∈ Sn let

dH(g , h) =supp(g−1h)

An abstract group is sofic if it is embeddable into a metricultraproduct of finite symmetric groups with Hamming metrics.

Basic problem (Gromov): Is any group sofic?

Soficity

Linear soficity, weak soficity,...

For a, b ∈ GLn(C) let

ρ(a, b) = n−1rk(a− b).

An abstract group is linear sofic if it is embeddable into a metricultraproduct of {(GLn(C), ρ) : n ∈ N} (Arzhantseva, Paunescu).An abstract group is weakly sofic if it is embeddable into a metricultraproduct of finite groups with bi-invariant metrics ≤ 1.An abstract group is hyperlinear if it is embeddable into a metricultraproduct of {(Un(C), dHS) : n ∈ N}, where dHS is thenormalised Hilbert-Schmidt metric (i.e. the standard l2 distancebetween matrices).

ρ(a, b) = n−1rk(a− b).

Relations

Soficity ` Linear Soficity ` Weak soficityandSoficity ` Hyperlinearity

Problem: Is any group weakly sofic (hyperlinear)?

Relations

Soficity ` Linear Soficity ` Weak soficityandSoficity ` Hyperlinearity

Problem: Is any group weakly sofic (hyperlinear)?

Metric soficity

Metric sofic groups. Let Gsof be the class of complete metricgroups with bi-invariant metrics of diameter 1, which areembeddable as closed metric subgroups into a metric ultraproductof finite symmetric groups with Hamming metrics.The set of all abstract sofic groups consists of all discretestructures of the class Gsof .

Is G = Gsof ?

Metric soficity

Is G = Gsof ?

Metric soficity

Is G = Gsof ?

Linear sofic metric groups,...

Let us define:Ghyplin = hyperlinear metric groups = metric groups withbi-invariant metrics of diameter 1, which are embeddable as closedsubgroups into a metric ultraproduct of all (U(n), 1

2dHS), n ∈ N.Gl .sof = linear sofic metric groups = .....(GLn(C), ρ), n ∈ N.Gw .sof = weakly sofic metric groups = ....finite metric groups of diameter ≤ 1.

Relations, the metric case

Gsof ⊆ Gw .sof ⊆ G

Gl .sof ⊆ Gw .sof

Axiomatisability

Let C be a class of continuous metric structures.(For exmple let C be a class of mtrc grps as above, i.e. C ⊂ G. )

Theorem

(1) The class C is axiomatisable in continuous logic if an only if itis closed under metric isomorphisms, ultraproducts and takingelementary submodels.(2) The class C is axiomatisable in continuous logic by Thcsup(C)if an only if it is closed under metric isomorphisms, ultraproductsand taking substructures.

Corollary

The classes Gsof , Gl .sof , Ghyplin, Gw .sof are sup-axiomatisable (i.e.by its theories Thcsup).

Axiomatisability

Theorem

Corollary

Axiomatisability

Theorem

Corollary

Gsof 6= Gw .sof .

Let p be a prime number ≥ 13. Let us consider the cyclic groupZ(p) with respect to so called Lee norm and Lee distances:

lLee(a) =2min(a, p − a)

p − 1, dLee(a, b) = lLee(a− b).

(V.Batagelj , J.Combin.Inform. System Sci. 20(1995), no. 1 - 4,243 - 252.)

Theorem

The metric group (Z(p), dLee) does not belong to the classesGsof ∪ Gl .sof ∪ Ghyplin.

Gsof 6= Gw .sof .

Let p be a prime number ≥ 13. Let us consider the cyclic groupZ(p) with respect to so called Lee norm and Lee distances:

lLee(a) =2min(a, p − a)

p − 1, dLee(a, b) = lLee(a− b).

(V.Batagelj , J.Combin.Inform. System Sci. 20(1995), no. 1 - 4,243 - 252.)

Theorem

The metric group (Z(p), dLee) does not belong to the classesGsof ∪ Gl .sof ∪ Ghyplin.

Reduction to the case of discrete structures

If two classes K1 , K2 from the collection

{G,Gsof ,Gw .sof ,Ghyplin,Gl .sof }have the same countable discrete structures, then K1 = K2.

Indeed if K1 and K2 have the same discrete structures then theyare generated as axiomatizable classes by the same set ofstructures.

Theorem

Let (G , d) be a bi-invariant metric group so that d ≤ 1. Then thefollowing statements hold.1. (G , d) is a closed subgroup of a metric ultraproduct of discretebi-invriant metric groups.2. If (G , d) is hyperlinear then (G , d) is a closed subgroup of ametric ultraproduct of discrete bi-invriant metric groups which arehyperlinear.

Theorem

Weakly sofic metric groups

Problem: Is G = Gw .sof ?

M.Doucha:It is enough to prove that any finitely generated free group with adiscrete bi-invariant metric ≤ 1 is weakly sofic(any member of G is a closed subgroup of a metric ultraproduct offinitely generated free groups with discrete bi-invriant metrics ≤ 1).

The question is equivalent to extreme amenability of the universalPolish metric group (G, d) constructed by M.Doucha.

Shifting metrics

Let (G , d) ∈ G and ε ∈ [0, 1]. Let:

dε(g , h) =d(g , h) + ε

1 + ε, for g 6= h.

We call dε the ε-shift of d .(G , dε) is discrete.

Theorem

If (G , d) is a sofic (resp. hyperlinear) metric group then (G , dε) isa sofic (resp. hyperlinear) metric group too.

There is a version of this theorem for linear soficity, where forg 6= h,

dωε (g , h) ≥ ε

4 + 4ε;

Shifting metrics

Let (G , d) ∈ G and ε ∈ [0, 1]. Let:

dε(g , h) =d(g , h) + ε

1 + ε, for g 6= h.

Theorem

4 + 4ε;

Shifting metrics

Let (G , d) ∈ G and ε ∈ [0, 1]. Let:

dε(g , h) =d(g , h) + ε

1 + ε, for g 6= h.

Theorem

4 + 4ε;

Shifting metrics

Let (G , d) ∈ G and ε ∈ [0, 1]. Let:

dε(g , h) =d(g , h) + ε

1 + ε, for g 6= h.

Theorem

4 + 4ε;

Metric transformations

Open questions:

Is Gsof = Ghyplin? Is Gsof = Gl .sof ?Is Gsof ⊆ Ghyplin? Is Gsof ⊆ Gl .sof ?

Identifying permutations of Sn with permutation matrices over Cwe obtain:

dH(σ, τ) =1

2(dHS(σ, τ))2 and

ρ(σ, τ) ≤ dH(σ, τ) ≤ 2ρ(σ, τ).

Is (Sn, dHS) ∈ Gsof ? Is (Sn, ρ) ∈ Gsof ?

Open questions:

dH(σ, τ) =1

2(dHS(σ, τ))2 and

ρ(σ, τ) ≤ dH(σ, τ) ≤ 2ρ(σ, τ).

Open questions:

dH(σ, τ) =1

2(dHS(σ, τ))2 and

ρ(σ, τ) ≤ dH(σ, τ) ≤ 2ρ(σ, τ).

Open questions:

dH(σ, τ) =1

2(dHS(σ, τ))2 and

ρ(σ, τ) ≤ dH(σ, τ) ≤ 2ρ(σ, τ).

Changing metrics

Let (G , d) ∈ G and let f : [0, 1]→ [0, 1] be a function so thatdf : G × G → [0, 1] given by df (g , h) = f (d(g , h)) defines a metricgroup (G , df ).

Problem: Describe functions f so that

(G , d) ∈ Gsof ` (G , df ) ∈ Gsof ;

...(G , d) ∈ Gw .sof ` (G , df ) ∈ Gw .sof .

The last case is open even for f (x) = xx+1 .

Changing metrics

(G , d) ∈ Gsof ` (G , df ) ∈ Gsof ;

Changing metrics

(G , d) ∈ Gsof ` (G , df ) ∈ Gsof ;

Changing metrics

(G , d) ∈ Gsof ` (G , df ) ∈ Gsof ;

Linear combinations

Theorem

Let d1 and d2 be bi-invariant metrics of G so that(G , d1), (G , d2) ∈ Gsof (resp. Gl .sof , Ghyplin, Gw .sof ) and q1, q2 ∈ Qsatisfy q1 + q2 = 1.Then (G , q1 · d1 + q2 · d2) ∈ Gsof (resp. Gl .sof , Ghyplin, Gw .sof ).

Theorem

Let d1 be bi-invariant metric of G and d2 be a bi-invariant metricof G/H so that (G , d1), (G/H, d2) ∈ Gsof (resp. Ghyplin, Gl .sof ,Gw .sof ) and q1, q2 ∈ Q satisfy q1 + q2 = 1.Then (G , q1 · d1 + q2 · d2) ∈ Gsof (resp. Ghyplin, Gl .sof , Gw .sof ),

where d2 is the pseudometric d2(g1, g2) = d2(g1H, g2H) forg1, g2 ∈ G .

Linear combinations

Theorem

Linear combinations

Theorem

Linear combinations

Theorem

Residually finite metric groups

Let Γ be an inverse limit of an inverse system C:

H1 ← H2 ← ...← Hi ← ...,

where Γ canonically maps onto Hi by a homomorphism πi with thekernel Ni . When C consist of finite metric groups (Hi , di ), Γ is in Gwith respect to the metric:

dC(g , h) =∑i≥1

di (πi (g), πi (h))

When (G , d) < (Γ, dC), we say that (G , d) is residually finite,

Theorem

Let (G , d) be a residually finite metric group with respect to aninverse system of finite metric groups which belong to the classGsof (resp. Gl .sof , ..). Then G also belongs to Gsof (resp. Gl .sof ,..).

H1 ← H2 ← ...← Hi ← ...,

dC(g , h) =∑i≥1

Theorem

H1 ← H2 ← ...← Hi ← ...,

dC(g , h) =∑i≥1

Theorem

metric ultraproducts of finite metric groupsivanov/metrgrps.pdf · 2016-07-25 · axiomatisable...

Documents

competency-based education...

aak cbe brochure

cbe diplomaleaflet

ultraproducts and approximation in local rings...

design cbe

ultraproducts and large cardinals - harvard university

matematik bölümü, mimar sinan güzel sanatlar...

cbe - dlx completed

cbe 491 / cbe 433 3 dec 2012 1 statistical process control

proof theory and proof mining iv: ultraproducts and

cbe radiant centre!

cbe advanced leaflet

cbe manual training

ultraproducts of measure preserving actions and graph

ultraproducts and approximation in local rings...

websupport1.citytech.cuny.eduwebsupport1.citytech.cuny.edu/.../pdf/coursenotes.pdf ·...

cbe delegation

cbe webinar slides

a7 cbe cleaver

cbe 491 / cbe 433