[논문 리뷰] Virtual strings and their cobordisms

Vladimir Turaev|arXiv (Cornell University)|2003. 11. 12.

Geometric and Algebraic Topology참고 문헌 9인용 수 17

한 줄 요약

이 논문은 표면 위의 곡선의 자기교차를 조합적 모델로 나타내는 가상의 줄을 도입하며, 그들의 호모토피 및 코버디즘 동치류를 연구하기 위해 대수적 불변량—특히 다항식 $ u $ 와 기저 행렬—을 개발한다. 이는 호모토피 불변량의 군이 무한차원 리 군을 이룬다는 것을 보이며, 호모토피 동치류의 자유 아벨 군 위에 리 코브라켓을 구성함으로써 가상의 줄과 가상의 끈을 스케인 대수와 호프 대수의 구조를 통해 연결한다.

ABSTRACT

A virtual string is a scheme of self-intersections of a closed curve on a surface. We study algebraic invariants of strings as well as two equivalence relations on the set of strings: homotopy and cobordism. We show that the homotopy invariants of strings form an infinite dimensional Lie group. We also discuss connections between virtual strings and virtual knots.

연구 동기 및 목표

• 가상의 줄을 표면 위의 곡선 자기교차를 나타내는 조합적 객체로 공식화하기.
• 가상의 줄 위에서 호모토피 및 코버디즘 동치 관계를 대수적 불변량을 사용하여 정의하고 연구하기.
• 가상의 줄의 호모토피 불변량 군 위에 리 대수 및 리 군의 구조를 확립하기.
• 다항식 불변량과 스케인 대수의 동형사상에 의해 가상의 줄을 가상의 끈과 연결하기.
• 다항식 $ u $ 와 기저 행렬을 사용하여 날카로움의 장애를 개발하고, 3차원 다양체 위상수학과의 관계를 탐색하기.

제안 방법

• 순서가 있는 원과 $ 2m $개의 서로 다른 점이 있으며, 이 점들이 $ m $개의 순서쌍(화살표)으로 분할된 가상의 줄의 랭크 $ m $을 정의한다. 이는 자기교차를 나타낸다.
• 기저 행렬에서 유도된 다항식 불변량 $ u $ 를 도입하여, 호모토피 및 코버디즘의 장애를 탐지한다.
• 가상의 줄의 호모토피 동치류로 생성된 자유 아벨 군 위에 리 코브라켓을 구성함으로써, 호모토피 불변량 위의 리 대수의 구조를 역전환한다.
• 경계를 가진 3차원 다양체를 통한 줄의 코버디즘을 정의하고, 특이 디스크를 수축 가능한 3차원 다양체 안에서 경계로 가지는 줄을 '자르는 줄(slicing string)'로 정의한다.
• 기저 행렬 $ T(eta) = (G, s, b) $ 를 사용하여 종수와 날카로움의 장애를 정의하며, $ |b(e,f)| \leq \#(G) - 2 $ 를 제약 조건으로 삼는다.
• 열린 줄의 모듈러스가 닫힌 줄의 리 코알제브라 위에 코모듈러스 구조를 지닌다. $ R \supset \mathbb{Q} $ 일 때, $ \operatorname{Exp}\mathcal{A}^* $ 를 통한 군 작용이 가능하다.

실험 결과

연구 질문

• RQ1 어떤 기본 기저 행렬이 어떤 가상의 줄 $ \alpha $ 에 대해 $ T_{\bullet}(\alpha) $ 로 실현될 수 있으며, 어떤 제약 조건이 존재하는가?
• RQ2 하이퍼볼릭 기저 행렬을 가진 날카롭지 않은 줄을 두 번째 장애물이 감지할 수 있는가?
• RQ3 모든 날카로운 줄은 안정적으로 리본형인가? 즉, 날카로운 줄과 리본형 줄의 곱이 리본형 줄과 호모토피적으로 동치인가?
• RQ4 모든 가상의 줄은 어떤 순열 $ \sigma $ 에 대해 $ \alpha_\sigma $ 형식의 줄과 호모토피적이거나, 코버디즘에 대해 동치인가?
• RQ5 열린 줄의 곱셈은 호모토피에 대해 또는 코버디즘에 대해 교환법칙을 만족하는가?

주요 결과

• 가상의 줄의 $ \mathbb{Z} $-계수 호모토피 불변량 군은 리 대수를 이룬다. 이는 무한차원 리 군으로 통합된다.
• 가상의 줄의 호모토피 동치류로 생성된 자유 아벨 군은 자연스러운 리 코브라켓을 지니며, 이는 리 코알제브라를 이룬다.
• 가상의 끈의 스케인 대수는 호모토피 동치류로 생성된 다항식 대수와 동형이며, $ \mathbb{Q}[z] $ 계수로의 사상에 의해 유도된다.
• 어떤 줄이 수축 가능한 3차원 다양체 안에서 특이 디스크를 경계로 하면 날카로운 줄이라 한다. 날카로움의 장애는 다항식 $ u $ 와 기저 행렬 불변량으로 주어진다.
• 열린 가상의 줄의 모듈러스는 닫힌 줄의 리 코알제브라 위에 코모듈러스를 지닌다. $ R \supset \mathbb{Q} $ 일 때, 군 $ \operatorname{Exp}\mathcal{A}^* $ 는 그것에 대해 대수의 자동형사상으로 작용한다.
• 이 구성은 표면 위의 실린더에서의 끈에 대한 호메오멀피즘 불변량을 $ \mathbb{Q}[z,t] $ 에 값으로 가지며, 고전적 불변량을 일반화한다.