L(2,1)

閉3次元多様体 · レンズ空間

object:M/lens-2-1

L(2,1) diagram — closed normal o-graphL(2,1)

Area: Area 3 · 閉3次元多様体
true vertices: 2
π₁: ⟨ 4 | 4 ⟩
H₁: ℤ/2ℤ
図式: Topology.jl · virtual-link examples, figure 10

表示

closed normal o-graph

canonical gauss code[[[-1,-2,2,1]],[+,+]]

true vertices: 2
C1 · 向き付き閉路: 1
C2 · 三価成分: 1
C3 · method circuits: 3
閉路長: 8 · 3 · 1

基本群

π₁ 表示（未簡約）

⟨ x₁, x₂, x₃, x₄ | x₁x₂⁻¹, x₂x₃⁻¹, x₄x₁x₁⁻¹, x₃x₂x₄⁻¹ ⟩

生成元: 4
関係子: 4

ホモロジー

H₁ = ℤ/2ℤ

上の表示のアーベル化。

自由階数: 0
torsion invariant factors: 2
位数: 2

不変量

不変量

π₁生の辺データからの未簡約表示	Verified computation
H₁表示のアーベル化	Verified computation
MST · F_p[x]/(xᵖ)切断多項式代数上のMST不変量	Uncomputed
MST · U_q(sl₂)量子群上のMST不変量	Uncomputed
KuperbergKuperberg不変量	Uncomputed

出典

図式: Topology.jl · virtual-link examples, figure 10
計算: o-graph presentation pilot v1 · L(2,1)

名称について

名称は例を指すラベルであり、対象の独立した同定を主張するものではない。