• 検索結果がありません。

Achiral 1-cusped hyperbolic 3-manifolds not coming from amphicheiral null-homologous knot complements

N/A
N/A
Protected

Academic year: 2021

シェア "Achiral 1-cusped hyperbolic 3-manifolds not coming from amphicheiral null-homologous knot complements"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

Achiral 1-cusped hyperbolic 3-manifolds not coming from amphicheiral null-homologous knot complements

市原 一裕 ( 日本大学 文理学部 )

∗1

谷山 公規 ( 早稲田大学 教育学部 )

∗2

鄭 仁大 ( 近畿大学 理工学部 )

∗3

向き付けられた 3 次元多様体 M が向きを逆転する自己同相写像 φ を許容するとき , M はアキラル (achiral) であるという . アキラルな多様体 M 内の結び目 K が φ(K ) と M 内 でアイソトピックであるとき , K はもろて型であるという .

3 次元双曲多様体全体のうち , 少なくとも双曲体積が小さいうちでは , アキラルなもの は極めて散発的に現れる . 実際 , magic manifold のデーン充填で得られるカスプをもつ アキラルな双曲多様体は, 8 の字結び目の補空間とその sibling, および (10, 3) 型 2-橋絡 み目の補空間の 3 つしかない [3, Proposition 2.9]. それらの中でも , figure-eight sibling の向きを逆転する自己同相写像 h だけが次の特殊な性質をもつ:

figure-eight sibling のスロープ γ で , ∆(γ, h(γ)) = 1 となるものが存在する

1

. これは零ホモロガスなもろて型結び目の補空間 , 特に S

3

内のもろて型結び目の補空間 の向きを逆転する自己同相写像 φ は満たさない性質である . 実際 , 零ホモロガスなもろ て型結び目 K の補空間に対して , 標準 meridian-longitude 系を用いてスロープを p/q と 表すと , φ(p/q) = − p/q となり , ∆(p/q, − p/q) = 2 | pq | でこの値は常に偶数となる .

このことから , 散発的にしか現れないアキラルな双曲多様体の中でも figure-eight sib- ling は特殊であるといえる . そこで , この特殊な性質を満たす (figure-eight sibling 以外 の ) アキラルな多様体の存在を問うことは自然であり , それに対して次の結果を得た .

定理 1 ([2]). どんなアキラルな 3 次元多様体内の零ホモロガス結び目の補空間にも同

相にならないような , カスプを 1 つもつアキラルな双曲 3 次元多様体が無限に存在する .

証明の概略 . 整数 n ̸ = 0, 1 に対して , 図 1 のようなタングル T

n

を考え

2

, T

n

の 2 重分岐 被覆空間を M

n

とすれば, M

n

は境界がトーラスの向き付けられたコンパクト 3 次元多 様体となり , その内部 intM

n

が定理 1 の主張を満たす多様体である .

M

n

がアキラルであることは , T

n

の π/2- 回転と全ての交点の上下を逆にするような鏡 映との合成の持ち上げが M

n

の向きを逆転する自己同相写像 h となることから分かる.

M

n

がどんなアキラルな多様体内の零ホモロガス結び目の補空間にも同相にならな いことは , 図 1 の単純閉曲線 µ, λ の原像で代表される ∂M

n

のスロープ µ, ˜ λ ˜ に対して , h(˜ µ) = ˜ λ と ∆(˜ µ, λ) = 1 ˜ が成り立つことから分かる.

M

n

の内部が双曲的であることは , Matignon によるレンズ空間内の非双曲結び目の矯 飾的 (cosmetic) デーン手術の分類 [4] から従う .

本研究は科研費

(課題番号:26400100, 15K13439, 16H02145)

の助成を受けたものである.

2010 Mathematics Subject Classification: Primary 57M25; Secondary 57M50, 57N10

キーワード:もろて型結び目,バンド手術,アキラル

3

次元多様体,矯飾的デーン手術

∗1

e-mail: [email protected]

∗2

e-mail: [email protected]

∗3

e-mail: [email protected]

1

∆

はスロープの代表元の幾何的交差数の最小値. スロープ間の距離と呼ばれる.

2

T

nの構成は

[5, Figure 1.2]

で導入された

2

成分絡み目の構成に基づく.

(2)

n .. .

n

· · ·

n

· · ·

.. n . µ

λ

タングル T

n

図 1: 4 箇所の n 回半捻りは n ≥ 0 のときは図の通り . n < 0 の場合は逆の半捻り .

注 2. M

n

は (n

4

− 2n

3

+ 2n

2

− 2n + 1, n

3

− 2n

2

+ n − 1) 型レンズ空間内のある結び目 の外部空間であり , 図 2 のようなデーン手術表示をもつ .

n − n − 1 − n n

図 2: M

n

のデーン手術表示 . 整数がついていない成分が境界トーラスを表す .

注 3 ([2, Section 5 参照 ]). M

n

はあるアキラルな 3 次元多様体内の零ホモロガスでない

もろて型結び目の補空間としては実現される.

また , 定理 1 の系として , 矯飾的デーン充填に関する問題 ([1, Question 4.1]) の肯定的 解決を得る.

系 4 ([2]). スロープ間の距離が 1 である対掌矯飾的 (chirally cosmetic) デーン充填を許

容するアキラルな双曲 3 次元多様体が無限に存在する.

参考文献

[1] K. Ichihara, I. D. Jong, and H. Masai, Cosmetic banding on knots and links, to appear in Osaka J. Math., arXiv:1602.01542.

[2] K. Ichihara, I. D. Jong, and K. Taniyama, Achiral 1-cusped hyperbolic 3-manifolds not coming from amphicheiral null-homologous knot complements, arXiv:1709.09418.

[3] B. Martelli and C. Petronio, Dehn filling of the “magic” 3-manifold, Comm. Anal. Geom.

14 (2006), no. 5, 969–1026.

[4] D. Matignon, On the knot complement problem for non-hyperbolic knots, Topology Appl. 157 (2010), no. 12, 1900–1925.

[5] R. Nikkuni and K. Taniyama, Symmetries of spatial graphs and Simon invariants, Fund.

Math., 205 (2009), no. 3, 219–236.

参照

関連したドキュメント

These manifolds have strictly negative scalar curvature and the under- lying topological 4-manifolds do not admit any Einstein metrics1. Such 4-manifolds are of particular interest

We provide an efficient formula for the colored Jones function of the simplest hyperbolic non-2-bridge knot, and using this formula, we provide numerical evidence for the

Isozaki, Inverse spectral problems on hyperbolic manifolds and their applications to inverse boundary value problems in Euclidean space, Amer. Uhlmann, Hyperbolic geometry and

Moreover, we find (see The- orem 3.1.2) a differential operator which gives a linearly isomorphic mapping from the solution space of Riemann’s P-equation to a subspace of the solu-

Namely, there exist almost flat manifolds modelled on the quater- nionic Heisenberg group which cannot arise as the a cusp cross-section of a 1-cusped quaternionic hyperbolic

The first known examples of small Seifert manifolds arising from Dehn surgery on hyperbolic knots were given by [13]. Berge has a construction which produces families of knots with

The ubiquity of minimal surfaces in hyperbolic 3–manifolds motivates the introduction and study of a universal moduli space for the set whose archetypal element is a pair that

As fun- damental groups of closed surfaces of genus greater than 1 are locally quasicon- vex, negatively curved and LERF, the following statement is a special case of Theorem