[PPT] - 1 / ( B ( p , a ) i = ( gagigpgi.ge m PowerPoint Presentation

SLIDE 1

Agd による

双曲ニ橋絡み目の放物的生成対の分類

とその応用結び目の数理 11 広島大学

2019/12/20

坂井駿介

SLIDE 2 Background ( 1 ) 9 6 ]

磯

P : non

Free

, torsion

Free Klein Ian Group

無装で、てきぼ!!逃げ

が幾だが

、賦熊 More Over , Mina comesPond to Meridian s . ・井 ( {parabolic Generating pair s of 門人 ) < N ( Q . B ) ~ ばか )

ftp.basepoint

⇐ 〉 ( が B ' ) = ( p , a )

が

の

1 /

i (

gagigpgi.ge

が

m た。

SLIDE 3 Background ( 1 ) 9 6 ]

磯

P : non

Free

, torsion

Free Klein Ian Group

無装で、てきぼ!!逃げ

が幾だが

、賦熊 More Over , Mina comesPond to Meridian s . ・井 ( {parabolic Generating pair s of 門人 ) < N {parabdic Generating pair s of 門人

ftp.basepointdmeridianpairsof

T.ISていり ~

by /

で { proper aresin E ( L) Yproper ( ECL) = SiN ( い ) に叱城での

に

m た。

SLIDE 4

Background ( 2 )

EAgdsannounceme.int?OO2JP:non-free.-freeKleiniangroup

川を無戦災とさ兕!:::::::た𥓙:

翻

r HeckOil Group

" (2) # 1 {parabolic Generating pair s of The )

Yiiidiiiieemyi

(l) t.mil/tkiyoshi-OhshikaParker-Sakuma- Yoshida]

)

(2) くー [ A ini

Lee
Salama
S

. ] Alternative prf Ccyr %

SLIDE 5 Classification of Meridian pairs

TIIAGOIJT

L : hyperbolic Alternating link.br(り : Bridge number of L (M.MN inon.comMutiny Meridian pair

f IT ( STL )

、

𥫱

恕

は龍然袋で

ないが灬い蜘が (2) If br ( L) 2 3 . ・〈 M.MN 三たくた ( STL )

r

・ the are representing ( MA ) = a Crossing are %

SLIDE 6 Possible Application には

一

濁

災

蜜憥

羆

聖袋さま:;ystem

f 「

いばいい %

SLIDE 7 Ago Is Idea L : Prime Alternating Linkin に STL , E( L) = S ' ヽ N ( L) D : reduced Alternating diagram , B.IN?checkerboard surfaces De comp . from D ① ECL) 蘞n Cube complexes 。

爾

_E : CAT CO ) のE - 5 , de DES 、

癌

atinfinity@ENlBUW-RURPdyhedra-Intersec.ti

n pattern of は、別いる。W }

③ Meridian E た (STL) = Aut ( E ) で Meridian で

バー

> Ping

Pong

Lemma %

SLIDE 8 ① : CAT(0) Cube Complete Atchison ' s cubical decomposition of ECL) : ( obtained from D )

gsg

嵆iiii

「韆 :

墻

!! !! 闘

鸇

元 : E - じ : Universal Cover Bhi → E : CAT ( 0 ) Space ( く ⇒ D : reduce Alternating ) X だ

毇

息災

。

saeing-yIOQE.geodesicspofcurvatur.ee

O de d ' %

SLIDE 9 ① : CAT(0) Cube Comp 1で i i Atchison ' s cubical decomposition of EN : i ( obtained from D ) g y 1 . 1

.-

→

i

、

聖もiiiii 飋

鼷、

漣

.iei

B 元 : E - じ : Universal Cover | → E : CAT ( 0 ) Space I ! | i ( く ⇒ D : reduce Alternating ) : : X だ

毇

息災

。

saeing-yIOQE.geodesicspofcurvatur.ee

O de d ' %

SLIDE 10 ① : Boundary at Infinity X : CAT( 0 ) Sp d。X = { geode.sic rays

n X}人に

asymptotidiboundaryatIexI.d.RS

d.IR = S '

一、

PI.BY a

Component of だ(B ) の E = 5 | . みか = s DE Davis

Januszkiewi

月 : totally

geodesic.la

d 。 ( Crossing are) に Dptl た。

SLIDE 11 Ago Is Idea L : Prime Alternating Linkin に STL , E( L) = S ' ヽ N ( L) D : reduced Alternating diagram , B.IN?checkerboard surfaces De comp . from D ① ECL) 蘞n Cube complexes 。

爾

_E : CAT CO ) のE - 5 , de DES 、

癌

atinfinity@ENlBUW-RURPdyhedra-Intersec.ti

n pattern of は、別いる。W }

③ Meridian E た (STL) = Aut ( E ) で Meridian で

バー

> Ping

Pong

Lemma

SLIDE 12 ② E( り。爾、 w Polyhedra :肚 p B がいた」※

※

宙蕺

ii.

竈

.is#?ii

JR t

濶

戒

**「

炎

.-

も

纖

た

。

鼷

::

いせ

みこへる知と

SLIDE 13 ② E( り ~> Polyhedra 日

Cut along Bw

> D R.IR。 JR 」 F F。

D

F Fo Rュくくた」 F2 さ

禰

・鼹、鬱

が

{ Rising ions of D < → { Fi } Faces of

RE

s ET) = だ ( R) しだ (R ) A : a Component of だ(R ) 1 Face of A C 5i : the Component of だ( 1 3) しだ ( W ) を

SLIDE 14 ② Interaction Pattern of には } CIA The interaction pattern of なが }

n deE

Can be read from D .

t.gl:0

Ri and Rare adjoint in

Da

Ein Fit in 3 月 ⇐ > d 。5 nd.I = { 2 叨 %

SLIDE 15 ② Interaction Pattern of には } CIA The interaction pattern of なが }

n deE

Can be read from D .

t.gl:0

Ri and Rare adjoint in

Da

Ein Fit in 3 月 ⇐ 〉る。5in d.I = { 2 pts %

SLIDE 16 Ago Is Idea L : Prime Alternating Linkin に STL , E( L) = S ' ヽ N ( L) D : reduced Alternating diagram , B.IN?checkerboard surfaces De comp . from D ① ECL) 蘞n Cube complexes 。

爾

_E : CAT CO ) のE - 5 , de DES 、

癌

atinfinity@ENlBUW-RURPdyhedra-Intersec.ti

n pattern of は、別いる。W }

③ Meridian E た (STL) = Aut ( E ) で Meridian で

バー

> Ping

Pong

Lemma

SLIDE 17 ③

Ping-Pongl-Pigroup.X.se

t.TX.g.fi ET

ヨ Ai 、 Bi CX ( i = 1 . 2 ) :

disjointsubsetst.gl

× \ A . ) CA . . h ( X ヽ Be )

CB2.gl

( X IAI CA . . だ(X \ BIC B . . ⇒ cg.fr > < T is a rank 2 Free Group . A . 1 1 1, 、 1 日

う。

ii.

、今

感

と。 A. Ba

SLIDE 18 ③ Meridian など

y

s)

」だ d.si

iii.

髓

:

璹

:

.ir

:癲※

「

i

d.si Ac T c では EN) T ヽ ,

t.E.fi?ii

が

譃

%

SLIDE 19 ③ Meridian など

y

iii.

髓

ー! ::

亹

、

趙

:

鶴

!嚌

、

上に

壇 ※

im

c T c では EN) T ヽ d

t.E.si?ii:.

黎

。

着

SLIDE 20 ③ Meridian など

y

iii.

髓

::

:

※

だ

邇

が竪

𤺋 ※

た

d.si

mTc T c では EN) T ヽ

I

・ A

t.io?::D:.i:::j

誠

・ a.si

SLIDE 21 F 〈MMD : Free in た ( STL )

」 = i

:鱁

懕

勳

、𨷻

鬮

龍夔

※

SLIDE 22 〈MMD : Free in IT ( STL ) 」

t.LI

饀た「

聖

翻

?

齁

: ::齏

た

e

。 %

SLIDE 23 Classification of Meridian pairs

TIIAGOIJT

L : hyperbolic Alternating link.br(り : Bridge number of L (M.MN inon.comMutiny Meridian pair

f IT ( STL )

、

𥫱

恕

は龍然袋で

ないが灬い蜘が (2) If br ( L) 2 3 . ・〈 M.MN 三たくた ( STL )

r

・ the are representing ( MA ) = a Crossing are 1%

SLIDE 24 Proof

d

M.ME た ( STL ) : Meridian pair の面 1

,

樊無

州 Mi = [ fi * mi *I ] E た ( S ' ヽ L) m = I ' * 82 : proper are in ECL) Ma representing ( M . M 2 ) . Take 0 so that # 1 0 M ( BUW ) ) is minimal 、

装と楽な品は

山

are separated .博※

○

、 Then 、〈M.MN : Free .

i // ?/

1 11 1

~ I We May as same On ( BUW ) = 、

gnfy-A.tt

咒

SLIDE 25 Assame OCR . T ake T

A

We May asame 8 いた、 since A : simply Connected 、

成

》のE

s.

。

齩鼇

Dc らくー > が 8 c Pessoa と籗 T ake 8 so that # T

n が)

is minimal . %

SLIDE 26 casei.tt?

興

が -.-

t

. . . . . .Y . . .

貛翦曜:

※

. . . . . in i . . . . ye の T

-.-

' in . . .

case2.FI#Ii

一、

t

i

※

:::料::

艇

、oii i. %

SLIDE 27 cases.FI/dnDT=OandTte0

エ

:黛

𢰤

:給

薬

靈

鳥

蠟

りあ

鶯

𪘂籥:

長

籩煎

.

SLIDE 28 cases.FI/dnDT=OandTte0

エ

:黛

𢰤

:給

薬

靈

鳥

蠟

casetHDNMYEfcsingar.in 抗

で

○

の

柵

終

fgtg

四 %

SLIDE 29 Classification of Meridian pairs

TIIAGOIJT

L : hyperbolic Alternating link.br(り : Bridge number of L (M.MN inon.comMutiny Meridian pair

f IT ( STL )

、

𥫱

恕

は龍然袋で

ないが灬い蜘が (2) If br ( L) 2 3 . ・〈 M.MN 三たくた ( STL )

r

・ the are representing ( MA ) = a Crossing are

SLIDE 30 [ 14 州岣

第

M : hyperbolic 2

Bridge Iink complement

(l) M : non Arithmetic (病選鬱には蜊いないの呦山と咄 ⇒ M does not Cover any Orientable hyperbolic 3

mfd

、 ☆ Arithmetic hyperbolic 2

Bridge Iink

= Figure

Eight knot

. Whitehead Iink 、 6て Iink 、 6で Iink 、 1%

SLIDE 31

TI

. L : hyperbolic link.br (L) 2 3 . (My ) : non.comMutiny Meridian pair in

T.IS?L).Ihen.Ou..MD:free

Po ニ〈Mm > くにた ( STL ) Po : Free

r 2-bridgelinkgp.by [ Adams ]

If IT = 元、 ( らいく ) for some hyperbolic 2

Bridge Iink K

. ヨ p : S ' ヽ k → S ' ヽ L : Cover . p : finite Cover T.PT 。 ] < N , since S ' ヽ k : finite ・ P : regular by [ Milli Chap

Worden]

Volume Then , S ' ヽ KES ' ヽ L ← Contradidion . 4 %

翻

Yiiidiiiieemyi

濁

ii.

.is#?ii

纖

禰

RE

t.gl:0

t.gl:0

髓

.ir

t.E.fi?ii

髓

t.E.si?ii:.

髓

※

t.io?::D:.i:::j

懕

勳

鬮

翻

?

: ::齏

○

s.

齩 鼇

※

艇

長

齩鼇