SlideShare una empresa de Scribd logo
1 de 55
遡ること8か月
第1回
にて
黄色いトーラスの人
による
http://www.slideshare.net/matsumoring/h280428
そこで紹介された
ロマンティックな応用
みなさま、
応用できましたか??
応用例を紹介します
エキゾチック球面ナイト(浮気編)
~28 日周期の彼女たち~
2016/12/24 ロマンティック数学ナイト
s.t.@simizut22
※この発表は個人による2次創作物ですので、本編とは関係ございません
28 人の恋人を作った
ある男の子の話
彼の強力な協力者
John Willard Milnor(1931 – )
画像は wikipedia より
Michel André Kervaire (1927 – 2007)
画像は Workshop on the Kervaire invariant and stable homotopy theory ICMS Edinburgh, 25-29 April, 2011. より
Egbert Valentin Brieskorn (1936 – 2013)
画像は wikipedia より
Stephen Smale (1930 – )
画像は wikipedia より
Step 1
Brieskorn 先生から紹介して
もらう
Brieskorn, Egbert (1966b), "Beispiele zur Differentialtopologie von Singularitäten", Invent. Math., 2 (1): 1–14
複素多項式
𝑓𝑘 𝑧1, 𝑧2, 𝑧3, 𝑧4, 𝑧5
= 𝑧1
2
+ 𝑧2
2
+ 𝑧3
2
+ 𝑧4
3
+ 𝑧5
6𝑘−1
(1 ≤ 𝑘 ≤ 28)
の零点と 𝑆𝜀
7
の共通集合をとる
ことで、7-sphereの異なる微分
構造 28 種がすべて得られる
よくわからないけど
トーラス結び目
の高次元版のようなものを考え
ると恋人ができるのか
Step 2
好きな子(k)を選ぶ
省略
Step 3
新しい恋人を生成
その前に復習
M, N: n 次元多様体が h-cobordant
⇔ ∃𝑊 𝑛+1
𝑠. 𝑡. 𝜕𝑊 = 𝑀 ⊔ −𝑁 where M(および–N)は
W の deformation retract
Thm(h-cobordism thm)
5 次元以上の単連結な多様体が h-cobordant なら diffeo.
例えば、リングさんの@ロマンティック数学ナイト@MathPower での発表
http://www.slideshare.net/matsumoring/20161005h-66804213
を参照
ホモトピー n 次元球面の h-cobordism 類のなす集合:
Θ 𝑛 ≔ 𝑛 次元有向多様体 𝑀 𝜕𝑀 = 𝜙 ∧ 𝑀 ∼ℎ.𝑒. 𝑆 𝑛
/~
ここで ~ は h-cobordant による同値関係
を考える
* h-cobordism 定理
* 5 次元以上のポア
ンカレ予想
Θ 𝑛 は n-次元球面
に入る微分構造を
列挙しているのか!?
Θ 𝑛 (𝑛 ≠ 3) は有限可換群
Kervaire, Michel A., and John W. Milnor. "Groups of homotopy spheres: I." Annals of Mathematics (1963): 504-537.
群構造
(単位元) 標準の 𝑆 𝑛 = {𝑥 ∈ ℝ 𝑛+1 ∣ 𝑥 = 1}
逆元 Σ ∈ Θ 𝑛 に逆の向きを与えたもの
(和) 連結和 Σ1#Σ2
連結和
I Have a Sphere…
I Have a Sphere…
穴あけて
Ah…
Ah…
Sphere!!
Θ7 ≅ ℤ28
の generator Σタソがいれば
28 日間毎日違う相手と?! ?!
(; ・`д・´)…ゴクリ…(`・д´・ ;)
1日目
Σ
2日目
Σ#Σ
……
日々はすぎて…
27日目
Σ#Σ# … #Σ
27
= −Σ
28日目
−Σ#Σ = 𝑆7
29日目
𝑆7
#Σ = Σ
28 日後、君と再会
Appedix
もっと恋人が欲しい人へ
高次元(≡ 3 mod 4)
へ行きましょう
Θ11 ≅ ℤ992
Θ15 ≅ ℤ16256
Θ19 ≅ ℤ523264
今日紹介した子たちは、
Group を作っています(意味深
ご注意ください
みなさまも幾何をやって
じゃんじゃん恋人を作りましょう

Más contenido relacionado

Destacado

ゲーム開発におけるバックトラック法
ゲーム開発におけるバックトラック法ゲーム開発におけるバックトラック法
ゲーム開発におけるバックトラック法
大介 束田
 
虚数は作れる!Swift で学ぶ複素数
虚数は作れる!Swift で学ぶ複素数虚数は作れる!Swift で学ぶ複素数
虚数は作れる!Swift で学ぶ複素数
Taketo Sano
 

Destacado (20)

topology of musical data
topology of musical datatopology of musical data
topology of musical data
 
Euler 標数は測度ですか??
Euler 標数は測度ですか??Euler 標数は測度ですか??
Euler 標数は測度ですか??
 
代数方程式とガロア理論
代数方程式とガロア理論代数方程式とガロア理論
代数方程式とガロア理論
 
酉年の素数(第440回科学勉強会)
酉年の素数(第440回科学勉強会)酉年の素数(第440回科学勉強会)
酉年の素数(第440回科学勉強会)
 
「明日話したくなる「素数」のお話」第1回プログラマのための数学勉強会 #maths4pg
「明日話したくなる「素数」のお話」第1回プログラマのための数学勉強会 #maths4pg 「明日話したくなる「素数」のお話」第1回プログラマのための数学勉強会 #maths4pg
「明日話したくなる「素数」のお話」第1回プログラマのための数学勉強会 #maths4pg
 
しかくのお勉強
しかくのお勉強しかくのお勉強
しかくのお勉強
 
数学つまみぐい入門編
数学つまみぐい入門編数学つまみぐい入門編
数学つまみぐい入門編
 
秘密分散法の数理
秘密分散法の数理秘密分散法の数理
秘密分散法の数理
 
Jules henri poincaré
Jules henri poincaréJules henri poincaré
Jules henri poincaré
 
サイエンスアゴラ研究100連発 〜目に見えて楽しい数学〜
サイエンスアゴラ研究100連発 〜目に見えて楽しい数学〜サイエンスアゴラ研究100連発 〜目に見えて楽しい数学〜
サイエンスアゴラ研究100連発 〜目に見えて楽しい数学〜
 
エッシャーと双曲幾何 - 第2回 #日曜数学会 in 札幌
エッシャーと双曲幾何 - 第2回 #日曜数学会 in 札幌エッシャーと双曲幾何 - 第2回 #日曜数学会 in 札幌
エッシャーと双曲幾何 - 第2回 #日曜数学会 in 札幌
 
Packing
PackingPacking
Packing
 
Introduction to Topological Data Analysis
Introduction to Topological Data AnalysisIntroduction to Topological Data Analysis
Introduction to Topological Data Analysis
 
日曜数学20連発 - サイエンスアゴラ2016 #日曜数学会
日曜数学20連発 - サイエンスアゴラ2016 #日曜数学会日曜数学20連発 - サイエンスアゴラ2016 #日曜数学会
日曜数学20連発 - サイエンスアゴラ2016 #日曜数学会
 
ものまね鳥を愛でる 結合子論理と計算
ものまね鳥を愛でる 結合子論理と計算ものまね鳥を愛でる 結合子論理と計算
ものまね鳥を愛でる 結合子論理と計算
 
ゲーム開発におけるバックトラック法
ゲーム開発におけるバックトラック法ゲーム開発におけるバックトラック法
ゲーム開発におけるバックトラック法
 
まだ「an+b型数」で消耗してるの?
まだ「an+b型数」で消耗してるの?まだ「an+b型数」で消耗してるの?
まだ「an+b型数」で消耗してるの?
 
虚数は作れる!Swift で学ぶ複素数
虚数は作れる!Swift で学ぶ複素数虚数は作れる!Swift で学ぶ複素数
虚数は作れる!Swift で学ぶ複素数
 
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg 「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
 
Topological data analysis
Topological data analysisTopological data analysis
Topological data analysis
 

Más de Tatsuki SHIMIZU (10)

ロマ数16 simizut
ロマ数16 simizutロマ数16 simizut
ロマ数16 simizut
 
Magnitude ~ extend the Euler Characteristics via Möbius Inversion ~
Magnitude ~ extend the Euler Characteristics via  Möbius Inversion ~Magnitude ~ extend the Euler Characteristics via  Möbius Inversion ~
Magnitude ~ extend the Euler Characteristics via Möbius Inversion ~
 
TDA やら Night!!
TDA やら Night!!TDA やら Night!!
TDA やら Night!!
 
Operad and Recognition Principle
Operad and Recognition PrincipleOperad and Recognition Principle
Operad and Recognition Principle
 
情報幾何学の基礎 第2章 4.5
情報幾何学の基礎 第2章 4.5情報幾何学の基礎 第2章 4.5
情報幾何学の基礎 第2章 4.5
 
情報幾何の基礎輪読会 #1
情報幾何の基礎輪読会 #1情報幾何の基礎輪読会 #1
情報幾何の基礎輪読会 #1
 
introductino to persistent homology and topological data analysis
introductino to persistent homology and topological data analysisintroductino to persistent homology and topological data analysis
introductino to persistent homology and topological data analysis
 
Effective modern-c++#9
Effective modern-c++#9Effective modern-c++#9
Effective modern-c++#9
 
effective modern c++ chapeter36
effective modern c++ chapeter36effective modern c++ chapeter36
effective modern c++ chapeter36
 
emc++ chapter32
emc++ chapter32emc++ chapter32
emc++ chapter32
 

エキゾチック球面ナイト(浮気編)~28 日周期の彼女たち~