[논문 리뷰] Quandles and symmetric quandles for higher dimensional knots

Seiichi Kamada|arXiv (Cornell University)|2014. 03. 04.

Geometric and Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 ℝⁿ⁺²에 있는 고차원 링크에 대해 대칭 쿼랜들 표현을 도입하여, 쿼랜들 불변량을 포함하는 대칭적 성질로 일반화한다. n-다양체 링크의 다이어그램에서 대칭 쿼랜들 표현을 유도하는 방법을 수립하며, 링크의 대칭 쿼랜들가 다이어그램에서 유도된 관계에 대한 자유 대칭 쿼랜들과 동형임을 증명함으로써, 고차원 링크에 대해 고전적 쿼랜들 이론을 대칭 설정으로 확장한다.

ABSTRACT

A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.

연구 동기 및 목표

• ℝⁿ⁺²에 있는 n-다양체 링크에 대해 쿼랜들 이론을 대칭 쿼랜들로 확장한다.
• 완전한 링크 쿼랜들에 양호한 치환을 적용하여 링크의 대칭 쿼랜들을 기본 불변량으로 정의한다.
• 쿼랜들 이론의 고전적 방법과 유사하게, 다이어그램 기반의 대칭 쿼랜들 표현 방법을 수립한다.
• 링크의 대칭 쿼랜들이 다이어그램에서 유도된 관계에 대한 자유 대칭 쿼랜들과 동형임을 보인다.
• 대칭 쿼랜들 표현의 관련 군이 코너지션과 역원 규칙을 통해 링크 군을 복원함을 보인다.

제안 방법

• 양호한 치환 ρ가 ρ(x^y) = ρ(x)^y 와 x^{ρ(y)} = x^{y⁻¹} 를 만족하는 쿼랜들 X를 대칭 쿼랜들로 정의한다.
• 링크 K의 외부에서의 타드풀(다이어그램) (D,a)의 호모토피류로부터 전체 링크 쿼랜들 ẼQ(W,K,*)를 구성한다.
• ρ([(D,a)]) = [(-D,a)] 를 보내는 링크의 대칭 쿼랜들 SQ(W,K,*)를 (ẼQ(W,K,*), ρ)로 정의한다.
• ℝⁿ⁺²에 있는 n-다양체 링크 K의 다이어그램 D를 사용하여 면에 대응하는 생성자와 이중점 구조에서 유도된 관계를 정의한다.
• 이중점 구조 주변의 국소적 구조에서 A-관계와 B-관계를 유도하며, 이는 대칭 쿼랜들 연산에 대응한다.
• 쿼랜들에 대한 반 캄펜 정리의 유사한 방법을 적용하여, 쿼랜들 준동형사상 f: FSQ(X) → SQ(K) 가 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 ℝⁿ⁺²에 있는 고차원 링크에 대해 어떻게 대칭 쿼랜들 표현을 정의할 수 있는가?
• RQ2 n-다양체 링크의 다이어그램이 그 링크의 대칭 쿼랜들에 대한 완전한 표현을 제공할 수 있는가?
• RQ3 고차원 링크의 다이어그램에서 이중점 구조에서 유도되는 대수적 관계(A 및 B-관계)는 무엇인가?
• RQ4 링크의 대칭 쿼랜들은 군론적 연산을 통해 링크 군과 어떻게 관련되는가?
• RQ5 고차원 링크의 대칭 쿼랜들 불변량은 그 다이어그램에 의해 완전히 결정되는가?

주요 결과

• ℝⁿ⁺²에 있는 n-다양체 링크 K의 링크 대칭 쿼랜들 SQ(K)는 K의 다이어그램 D로부터 파생된 표현을 가진다.
• 대칭 쿼랜들 표현은 다이어그램의 면에 대응하는 생성자로 생성되며, 이중점 구조에서 유도된 관계(A-관계: x_i = x_j 및 B-관계: x_i^{x_j} = x_k)를 포함한다.
• 링크의 대칭 쿼랜들은 면의 집합 위의 자유 대칭 쿼랜들에서 다이어그램의 A- 및 B-관계를 몫으로 취한 것과 동형이다.
• 대칭 쿼랜들 표현의 관련 군은 쿼랜들 연산 x^y 를 코너지션 y⁻¹xy 로, ρ(x) 를 x⁻¹ 으로 대체함으로써 링크 군 G(K) 를 복원한다.
• 쿼랜들 준동형사상 f: SQ(D) → SQ(K) 는 반 캄펜 유사 추론을 통해 동형임을 증명하였으며, 이는 군의 경우와 유사하다.
• 이 방법은 고전적 쿼랜들 표현을 대칭 쿼랜들로 일반화하여, 고차원 링크에 대한 다이어그램 기반 불변량을 제공한다.