[논문 리뷰] Spin networks and SL(2,C)-Character varieties

Sean Lawton, Elisha Peterson|arXiv (Cornell University)|2005. 11. 10.

Advanced Algebra and Geometry참고 문헌 23인용 수 6

한 줄 요약

이 논문은 SL(2,C)-표현의 랭크 2 자유군에 대한 중심 함수의 캐논ical 덧셈 기저를 기술하기 위해 스핀 네트워크 미적분을 도입하며, 모든 이러한 함수가 세 추적 변수에 대한 다항식임을 증명한다. 이는 이러한 함수를 계산하기 위한 재귀적 알고리즘을 수립하고, 다이어그램적 불변량을 통해 Fricke-Klein-Vogt 추적 항등식에 대한 새로운 증명을 제공한다.

ABSTRACT

Denote the free group on 2 letters by F_2 and the SL(2,C)-representation variety of F_2 by R=Hom(F_2,SL(2,C)). The group SL(2,C) acts on R by conjugation. We construct an isomorphism between the coordinate ring C[SL(2,C)] and the ring of matrix coefficients, providing an additive basis of C[R]^SL(2,C) in terms of spin networks. Using a graphical calculus, we determine the symmetries and multiplicative structure of this basis. This gives a canonical description of the regular functions on the SL(2,C)-character variety of F_2 and a new proof of a classical result of Fricke, Klein, and Vogt.

연구 동기 및 목표

• 표면의 기본군에 대한 SL(2,C)-표현을 연구하기 위해 스핀 네트워크를 사용한 그림적 미적분을 개발한다. (Euler 특성 수 −1)
• 랭크 2 자유군에 대한 SL(2,C)-표현 다양체의 좌표환의 중심 함수의 명시적 덧셈 기저를 구성한다.
• 모든 중심 함수가 세 추적 변수에 대한 다항식임을 구축적으로 증명하여 Fricke, Klein, Vogt의 고전적 결과를 재확인한다.
• 스핀 네트워크 항등식을 이용해 중심 함수를 계산하기 위한 재귀적 알고리즘을 수립한다.
• 지수의 순열에 대한 중심 함수 기저의 강력한 대칭성을 밝혀내고, 더 높은 랭크 군으로 일반화한다.

제안 방법

• 스핀 네트워크—irreducible SL(2,C)-표현 V_a, V_b, V_c의 텐서곱 간의 인버티어를 나타내는 라벨된 그래프—를 사용한다.
• Decomposition 𝕔[SL(2,ℂ)] ≅ ⨁_{n≥0} V_n^* ⊗ V_n 를 활용하여 중심 함수를 End(V_c) ⊂ End(V_a)⊗End(V_b) 내의 불변량으로 구성한다.
• Penrose의 텐서 표기법과 조류표기법(birdtracks) 기반의 다이어그램적 미적분을 적용하여 그래픽적 수축을 통해 불변량을 계산한다.
• Corollary 5.7에 의해 유도된 재귀 관계식은 χ^{a,b,c}를 (a±b±c)²를 포함하는 계수를 가진 더 낮은 차수의 중심 함수로 표현한다.
• δ = ½(a+b+c)에 대한 귀납법을 사용하여 모든 χ^{a,b,c}가 ℂ[x,y,z]에 속함을 증명한다. 여기서 x,y,z는 생성자의 추적이다.
• 중심 함수의 선형 조합으로서 x,y,z의 단항식을 표현하는 역공식을 수립하여 双방향 변환을 가능하게 한다.

실험 결과

연구 질문

• RQ1 스핀 네트워크를 어떻게 사용하여 랭크 2 자유군에 대한 SL(2,C)-표현 다양체의 좌표환의 캐논ical 덧셈 기저를 구성할 수 있는가?
• RQ2 지수 (a,b,c)의 순열에 대해 중심 함수 기저가 어떤 대칭 성질을 갖는가?
• RQ3 더 낮은 차수의 함수로 표현되는 중심 함수 χ^{a,b,c}를 계산하기 위한 재귀적 알고리즘을 유도할 수 있는가?
• RQ4 추적 함수 x = tr(ρ(x)), y = tr(ρ(y)), z = tr(ρ(z))가 전체 불변량 환 ℂ[ℛ//SL(2,ℂ)]을 얼마나 잘 생성하는가?
• RQ5 다이어그램적 미적분은 SL(2,C)에서의 곱의 추적에 대한 Fricke-Klein-Vogt 추적 항등식에 대해 어떻게 새로운 증명을 제공하는가?

주요 결과

• 중심 함수 기저 {χ^{a,b,c}} 는 ½(−a+b+c), ½(a−b+c), ½(a+b−c) ∈ ℕ 를 만족하는 적합한 삼중조합 (a,b,c)로 인덱싱된 ℂ[ℛ//SL(2,ℂ)]의 캐논ical 덧셈 기저를 이룬다.
• 재귀 관계식 (Corollary 5.7) 은 (a±b±c)² 과 조합론적 계수를 포함하는 계수를 가진 x,y,z에 대한 다항식으로서 χ^{a,b,c} 의 명시적 계산을 가능하게 한다.
• 모든 중심 함수가 ℂ[x,y,z] 에 속함을 증명하여 ℂ[x,y,z] → ℂ[ℛ//SL(2,ℂ)] 의 사상의 상사성(surjectivity)을 보이고, Fricke-Klein-Vogt 항등식을 재확인한다.
• 기저는 강력한 대칭성을 보이며, Theorem 5.2 에 의해 χ^{a,b,c} 는 (a,b,c) 의 순열에 대해 불변이다.
• δ ≤ 4 인 경우의 명시적 계산 (Table 2) 에서 χ^{2,0,2} = x²−1, χ^{1,1,2} = xy − ½z, χ^{2,2,2} = xyz − ½(x²+y²+z²)+1 이다.
• 역공식은 x^a y^b z^c 를 이항계수 차이와 6j 기호 유사 항들을 포함하는 계수를 가진 중심 함수의 선형 조합으로 표현한다.