[논문 리뷰] Legendrian mirrors and Legendrian isotopy

Lenhard Ng|ArXiv.org|2000. 08. 28.

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

한 줄 요약

이 논문은 Fuchs와 Tabachnikov가 제기한 질문을 해결하며, 표준 접촉 R³ 내의 모든 레지언드르 뭉치가 영향을 받지 않는다는 것을 증명한다. 특히, 마스лов 지수 0조차도 레지언드르 동치가 아님을 보인다. 체카노프의 미분 가환대수(DGA) 불변량을 사용하여, 스무스 유형 6₂이며, 투르스톤-벤니그린 불변량이 −7인 특정 레지언드르 뭉치를 구성하고, 그 DGA 호몰로지 대수와 그 거울의 것이 서로 동형이 아니라는 것을 보여, 대수적 불변량을 통해 동치가 아님을 증명한다.

ABSTRACT

We resolve a question of Fuchs and Tabachnikov by showing that there is a Legendrian knot in standard contact three-space with zero Maslov number which is not Legendrian isotopic to its mirror. The proof uses the differential graded algebras of Chekanov.

연구 동기 및 목표

• 표준 접촉 R³ 내의 모든 레지언드르 뭇치가 자신의 거울 영상과 레지언드르 동치인지 여부에 관한 오랫동안 미해결된 질문을 해결하는 것.
• 마스лов 지수가 0인 경우조차도, 레지언드르 뭇치의 거울 연산이 레지언드르 동치류를 유지하지 않는다는 것을 보여주는 것.
• 레지언드르 동치류를 구분하기 위해 체카노프의 미분 가환대수 불변량을 도구로 사용하는 것.
• 스무스 유형 6₂이며, 투르스톤-벤니그린 불변량이 −7인 특정 레지언드르 뭇치를 이용한 구체적 반례를 구성하는 것.
• 레지언드르 뭇치와 그 거울의 DGA 호몰로지 대수가 서로 동형이 아니라는 것을 보여, 따라서 동치가 아님을 증명하는 것.

제안 방법

• 논문은 Z/2Z 위에서 정의된 체카노프의 미분 가환대수(DGA) 불변량을 사용하며, 레지언드르 뭇치의 프론트 프로젝션에서의 교차점에 대응하는 생성자들로 구성된다.
• DGA는 그림 1에 나타낸 바와 같이 xy-평면로의 투영을 갖는 레지언드르 뭇치 K로부터 구성되며, 11개의 생성자 a₁부터 a₁₁까지 존재하고, 각각에 차수를 할당한다.
• DGA의 미분 ∂는 뭇치 다이어그램에 기반한 조합적 규칙에 따라 계산되며, 각 생성자에 대한 명시적 공식이 제공된다.
• 거울 뭇치 M(K)는 다이어그램을 x축에 대해 반사하여 얻으며, 이는 미분 내 단항식의 순서를 뒤바꾸게 한다.
• 핵심 논증은 레지언드르 뭇치 K와 M(K)의 호몰로지 대수에서 각각 x ∈ H₁와 y ∈ H₋₁가 존재하여 xy = 1이 되는지 비교하는 것이다.
• 자기 모순을 유도하기 위해 몰수 대수를 구성하고 차수 분석을 통해 1 ∉ H₋₁(K) · H₁(K)임을 보이며, 두 차수 −1과 1을 갖는 자유 대수로의 사상이 사용된다.

실험 결과

연구 질문

• RQ1 표준 접촉 R³ 내의 모든 레지언드르 뭇치가 자신의 거울 영상과 레지언드르 동치인가?
• RQ2 마스лов 지수가 0인 레지언드르 뭇치에 대해 체카노프 DGA 불변량이 뭇치와 그 거울을 구분할 수 있는가?
• RQ3 호몰로지 군 H₋₁과 H₁의 곱에 단위원이 존재하는가가 거울 반사에 대한 동치 불변성의 여부를 의미하는가?
• RQ4 DGA 호몰로지 대수가 그 거울과 동형이 아닌 레지언드르 뭇치를 구성할 수 있는가?
• RQ5 모든 레지언드르 뭇치가 방향을 뒤집은 후에라도 자신의 거울과 동치일 것이라는 추측에 대해 반례가 존재하는가?

주요 결과

• 스무스 유형 6₂이며, 투르스톤-벤니그린 불변량이 −7이고 마스볼 지수가 0인 레지언드르 뭇치 K는 그 거울 M(K)와 레지언드르 동치가 아니다.
• K의 체카노프 DGA는 H₋₁(K) · H₁(K)에 단위원이 존재한다. 특히 1 = a₁₀ · (a₅a₃) 또는 a₁₀ · a₁₁로 표현된다.
• M(K)의 체카노프 DGA는 거울 반사에 의해 단항식 순서가 뒤바뀌므로, H₋₁(M(K)) · H₁(M(K))에도 단위원이 존재한다.
• 그러나 몰수 대수를 구성하고 차수 분석을 통해 1 ∉ H₋₁(K) · H₁(K)임을 모순을 통해 증명한다.
• 모순은 몰수 대수에서 차수 −1인 모든 원소가 적어도 하나의 α를 포함해야 하므로, 그 곱이 1이 될 수 없다는 사실에서 기인한다.
• 따라서 K와 M(K)의 호몰로지 대수는 서로 동형이 아니며, 이는 K와 M(K)가 레지언드르 동치가 아니라는 것을 증명한다.