[논문 리뷰] The Beilinson-Drinfeld Grassmannian and symplectic knot homology

Joel Kamnitzer|ArXiv.org|2008. 11. 11.

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

한 줄 요약

이 논문은 베일린슨-드린필드 그라스만이안과 기하학적 사타케 대응을 사용하여 시드엘-스미스와 마놀레스쿠의 심플렉틱 링크 homology 구축을 일반화한다. 임의의 복소수 재구성 군과 최소 무게를 가진 다수의 무게에 대해, ℙ¹ 위의 점들의 색칠된 구성공간 위에 올린 피브레이션을 구성하며, 올의 중간 코homology가 해당 표현의 텐서곱의 불변 공간을 실현하고, 단순군 작용을 통해 브레인 군 작용이 모노드로미를 통해 유도되며, SL(m)의 경우 심플렉틱 링크 homology와 자연스러운 동형을 가짐을 보인다.

ABSTRACT

Seidel-Smith and Manolescu constructed knot homology theories using symplectic fibrations whose total spaces were certain varieties of matrices. These knot homology theories were associated to $SL(n) $ and tensor products of the standard and dual representations. In this paper, we place their geometric setups in a natural, general framework. For any complex reductive group and any sequence of minuscule dominant weights, we construct a fibration of affine varieties over a configuration space. The middle cohomology of these varieties is isomorphic to the space of invariants in the corresponding tensor product of representations. Our construction uses the Beilinson-Drinfeld Grassmannian and the geometric Satake correspondence.

연구 동기 및 목표

• 시드엘-스미스와 마놀레스쿠의 기하적 설정을 심플렉틱 링크 homology에 대한 일반적이고 자연스러운 프레임워크로 놓는 것.
• 베일린슨-드린필트 그라스만이안을 사용하여 ℙ¹ 위의 점들의 색칠된 구성공간 위에 애매한 대칭 다항식의 피브레이션을 구성하는 것.
• 올의 중간 코homology가 표현의 텐서곱의 불변 공간과 대칭군 작용을 갖는 표현으로 동형임을 보이는 것.
• 시드엘-스미스(SL₂)와 마놀레스쿠(SLₘ)의 기존 구축을 이 일반적 프레임워크의 특수한 경우로 복원하는 것.
• 브레인 군 작용이 이 피브레이션의 모노드로미로부터 유도되며, 유도된 푹바이 분류의 카테고리에서 자연스럽게 나타남을 확립하는 것.

제안 방법

• 복소수 스풀리프트 애매한 대칭 다항식의 피브레이션, 즉 베일린슨-드린필트 그라스만이안을 색칠된 구성공간 Confₗambda = (ℙ¹)^n_reg / Σₗambda 위에 구성한다.
• 점 x에 대한 올은 ∞에서 자명화된 G^∨-_bundle의 헤크 수정의 모듈리 공간으로 정의되며, 각 x_i에서 유형 λ_i를 갖는다.
• 기하학적 사타케 대응을 사용하여 올의 중간 코homology가 (V^{λ₁} ⊗ ⋯ ⊗ V^{λₙ})^G 와 대칭군 Σₗambda-표현으로 동형임을 증명한다.
• 베일린슨-드린필트 그라스만이안의 인수성 성질을 활용하여, 마놀레스쿠와 시드엘-스미스의 핵심 보조정리에 해당하는 국소적 진술을 증명한다.
• G = SLₘ 이고 λ = (1,…,1,m−1,…,m−1) 인 경우, ℂ 위의 피브레이션은 마놀레스쿠가 연구한 행렬의 다양체와 동형임을 보인다.
• GLₘ-그라스만이안에 임베딩하고, Grothendieck의 T-_bundle의 자명성 정리와 충실한 표현을 사용하여 올이 애매한 대칭 다항식임을 증명한다.

실험 결과

연구 질문

• RQ1 시드엘-스미스와 마놀레스쿠의 기하적 설정을 SL₂와 SLₘ를 초월하여 임의의 재구성 군과 최소 무게로 일반화할 수 있는가?
• RQ2 심플렉틱 링크 homology의 기초가 되는 자연스러운 모듈리 이론적 구성은 무엇인가? 이는 ℙ¹ 위의 G^∨-bundle의 헤크 수정을 통해 이루어진다.
• RQ3 구성공간의 기본군의 모노드로미 작용이 표현의 텐서곱의 불변 공간 위의 대칭군 작용을 어떻게 실현하는가?
• RQ4 베일린슨-드린필트 그라스만이안이 이러한 구성의 보편적 프레임워크를 어떻게 제공하는가?
• RQ5 이 피브레이션의 올이 왜 애매한 대칭 다항식이며, 이 성질이 심플렉틱 카테고리의 구성에 어떻게 기여하는가?

주요 결과

• 구성공간의 임의의 점에서 올의 중간 코homology는 (V^{λ₁} ⊗ ⋯ ⊗ V^{λₙ})^G 와 대칭군 Σₗambda-표현으로 동형이다.
• π₁(Confₗambda)의 모노드로미 작용은 코homology의 표현에서 대칭군 Σₗambda로 인해 요약된다.
• G = SLₘ 이고 무게가 (1,…,1,m−1,…,m−1) 인 경우, ℂ 위의 피브레이션은 마놀레스쿠가 연구한 행렬의 다양체와 동형이며, 그의 구축을 복원한다.
• G = SL₂ 인 경우, 이 구축은 시드엘-스미스가 연구한 피브레이션의 특수한 경우로 복원된다.
• 이 피브레이션의 올은 충실한 표현과 Grothendieck의 T-_bundle의 자명성 정리를 통해 애매한 대칭 다항식임을 증명한다.
• 베일린슨-드린필트 그라스만이안과 행렬 다양체 사이의 동형은 Y를 몫공간 위의 곱셈-by-z 연산자로 구성함으로써 확립된다.