th suzukiyuhei/slide_oberseminar.pdfexamples gimnamenable groups many minimal actbn gax mf c xrg...

32
Equi variant a - absapti on theorem for exact groups ' 20 Th Suzuki June 3 0 ( Hokkaido Universe ) Based on arXiv i 2004.09461

Upload: others

Post on 10-Jul-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Equivariant a - absaption theorem

for exact groups

'20Th Suzuki

June 30

(Hokkaido Universe)Based on arXiv i 2004.09461

Page 2: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Throughout the tak 、

ALWAYS ASSOME :

• Galgebias : United (nonze.ro)mostly Separatebe([email protected]

Page 3: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

則れ幽 & Backgrounds

iii.𠠇ばiitCuntz

tf theory rigidiy.fm .. ..

Simple A .

旅に Expansion|_

Purely 州恌

km = ひ叫びk。 1が箭玔金 、

Page 4: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

日興 Cuntz algebras REMEN

唎 ニ!a :姚明 は悠然で" Smallest

"

property in finite Edgewith (n - 1)は = 0

Page 5: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Examples Gimnamenable groups

Many minimal actbn GAXmf C Xr G Purely as Simple

(Law Spielberg , De Indes)③ Preserved unden

XrG for Outer actions

(kishim.to) etc. . .

Page 6: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Kinhberg-Phillips Classification theorem

Recall : Kircherg algebradet

separated Nuclear⇐) Simpletp.is 。

画 (Hrchberg 、 Phillips)ーーA.B

klrchbeigalgs.li・蔀 鼺、

Page 7: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Exms of klrchbegdgs (with UCT)

o Gntz algs On

L ・巤鷴蟣 a

they'sMainT.ee?:fIrststeptodevebpitsG-equivverdonfor exact groups

(e.g.Fn.SUm Z)に )

Page 8: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

PNMSAIRealize kkA ,

- )as (asymptoms/

needto.makeltagmupr.nlce functor

to Elliott Intertwiningargument

Page 9: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Three Key ingradients on On(Hrchberg

'94)

① C 00220、 と uneSimple separatedNuclear

→ Neutral ize C (劄鼠認)② G A さ A KA Klubbeingt Accept to tread as

Note i -

" 0. C ZA)" 10が 1

Page 10: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

③ ヨ DGO.ltD

sepexact.tt/omCA.B)nomtriuiFDIli+蠟Muchweakerre.rs/onofnuc1earityDxO-=Dxg-

Page 11: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

T.daisd.ae GeqwVersion of these the

for exact countablegnupG

Page 12: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

1三妣興 (a.k.a.bomdayamenat.ly)1型 (klrchberg-hi.semm)G i exact M - AG presents

G - Short exact sequences(E) はG : exact)金(Ozawa)[email protected]

に Space amenabih( ヨ Gで傑出に 竽が

Page 13: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

E.×幽 . Amenable groups (trivial)

・ Knew groups G < GL(n. k)

( MEN Ki Held )- hyperbolic groups(GA 2Gamaable)

- MCGW- Out (En) -.- etc

Preserved by Extensions , increasing Unions、

amalgamatedfree.products 、

Page 14: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Background onNon commutatlvedyna.mu Systems

① Classification of

Get A

② Amenability of G n A

Page 15: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

① G AA & Auth (for A simplyNaturally appear

in

Structure /Classification theory( constructin TYた!!!!!.

Classification of GTA : important

In What Sense ?

Obvious che conjugate」畿し纘)

Page 16: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

But conjugate," to Strong !

Ex) が Z ~ AME UA)

で のな adu 。 x

たが断 の 女 が☆ Need to solve aboundary equation

wvがい,

in MAI to algebraic . . .

Page 17: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

TimG : Infinitecountablegroupficountablegwupw.tnAP(eg amenable groups 蜃が で 間Pm 。gg 。。 附い_。

t.EE ftp.Nakamura : When G =4, they Only differ as before .

Page 18: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Fortunatery 、X and X"

Share important things .

. A Ya Z = AXのZ

- India the same

Action on Aw = ATA'

Right Identification :

Coqde conjugatey,

Page 19: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

fois (Believed for lengthClassification of GA A requires

Lameinability of G .

Indeed tune for Waysestablished for aenable GClassification theorem

) 揃 factorComes , Jones 、 Ocneanu 、TheSaki

,

Sutherland,( katayama.kawahigashi.ir .Non -Classification results for non-amenable G

( Jones , M . Choda , Pope , . . .

,Brother -Vas ) (on Ru)

Page 20: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

じ-alg casei Similar dkhot.myexpected( eg Izumi Conjecture )

Some clap Classification than : by many had

( Jones. Ocneanu.kishimc.to、 Nakamura,

IzumI , Matai .Sato , Szabo ,

. . .)

Page 21: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

i We will SeeToday.. Common は

"

Ahis

is WRONG偲でしたが興りfor Edge In GOOD Way !

Page 22: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

MinisterG : exact amenability

Then uptocoydeconjugacyit.pe condition

ヨ ! SG n G /pohtwiseouter.QAP.fm。ただし、𧑉:りた製品豔

Beyond anenable G

Page 23: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

[email protected]

で 兜だな毖).pe la た 8 な憩が.irII Any condition in MT

doesn4 Follow from the otherto

Lie The equi v 02 - Him for exact groups

Page 24: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Mottathy results & Examples & questions .

豳 Gi exact

ヨ G n Q

02 XG = 02 Xr GL た。eamenabilig.lke conditions !

Page 25: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

ffhhty 中Such actions

a?品感が岬を発)to Really E -algebraic

new phenomena 、

Page 26: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Take G N Xn amenable and

Can) → an) XG など G

糕峒 でん

[email protected]、Gabs

Page 27: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

How to Witness amena唎 of GIA?Good Case : Xn = X

for s manyNota)鼠とし 、別

General Choice : not obvious

(In fact , the same is TRUE by My

Page 28: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Some Abstract formutation :

QAP (Quasi- Central Approximation Proper,Buss-Echteerhoffwilk.tt 49ヨ Sanare not of the

Father - t.pe Partition of UnityetYA)で

MTMTTA.AT Need a Slight reformutationvia ICA)

Page 29: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

[email protected](Nakamura ). finite groups ( Izumi )

:

.amenable groups (Szabo)

Page 30: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Roof : [email protected] Equivariant

N EKO)wny interacting argument△

'

Works 9

Lnice 0 : construct byOver Father setaveraging

Page 31: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

Our situation : H Fiber sets

But with coefficients,

We haveniceaveraghgsl.itSome Fixed Point algebra are

Purely Infinite Simpleに呕→ Comes 's 2 × 2 trkk !!

Page 32: Th Suzukiyuhei/slide_Oberseminar.pdfExamples Gimnamenable groups Many minimal actbn GAX mf C XrG Purely as Simple (LawSpielbergDeIndes) ③Preserved unden XrG for Outer actions (kishim.to)

We alsogetsGates results for!:鸝。鼠

QAPactbnsa.gekirdbergdgebns・ Appropriate Analogue of

02 - emb Ahn

Thanh You for Your attention !