[논문 리뷰] Hitchin's Projectively Flat Connection, Toeplitz Operators and the Asymptotic Expansion of TQFT Curve Operators

Jørgen Ellegaard Andersen, Niels Leth Gammelgaard|2009. 03. 24.

Algebraic structures and combinatorial models참고 문헌 52인용 수 16

한 줄 요약

이 논문은 기하적 양자화의 모듈리 공간에서 히친의 프로젝티브로 평탄한 접속과 위상적 양자장 이론(TQFT) 곡선 연산자의 점근 전개 사이의 정확한 연결고리를 설정한다. 토플리츠 연산자와 미분 스타곱을 이용한 히친 접속의 형식적 자명화를 통해, TQFT 곡선 연산자의 점근 전개에서 첫 번째 항을 유도하며, 이가 앤더슨, 매트스, 레슈티킨이 호환 함수 위에 정의한 스타곱과 일치함을 보여준다.

ABSTRACT

In this paper, we will provide a review of the geometric construction, proposed by Witten, of the SU(n) quantum representations of the mapping class groups which are part of the Reshetikhin-Turaev TQFT for the quantum group U_q(sl(n, C)). In particular, we recall the differential geometric construction of Hitchin's projectively flat connection in the bundle over Teichmuller space obtained by push-forward of the determinant line bundle over the moduli space of rank n, fixed determinant, semi-stable bundles fibering over Teichmuller space. We recall the relation between the Hitchin connection and Toeplitz operators which was first used by the first named author to prove the asymptotic faithfulness of the SU(n) quantum representations of the mapping class groups. We further review the construction of the formal Hitchin connection, and we discuss its relation to the full asymptotic expansion of the curve operators of Topological Quantum Field Theory. We then go on to identifying the first terms in the formal parallel transport of the Hitchin connection explicitly. This allows us to identify the first terms in the resulting star product on functions on the moduli space. This is seen to agree with the first term in the star product on holonomy functions on these moduli spaces defined by Andersen, Mattes and Reshetikhin.

연구 동기 및 목표

• 히친의 프로젝티브로 평탄한 접속과 TQFT 곡선 연산자의 점근 전개를 연결하는 기하학적 및 분석적 프레임워크를 수립하는 것.
• SU(n) 매핑 클래스군의 양자 표현의 점근 충실도에서 토플리츠 연산자의 역할을 명확히 하는 것.
• 히친 접속의 형식적 평행 이동에서 첫 번째 항을 계산하고, 그로 인해 유도되는 모듈리 공간 위의 스타곱을 특정하는 것.
• 유도된 스타곱이 앤더슨, 매트스, 레슈티킨이 호환 함수 위에 정의한 알려진 스타곱과 일치함을 보이는 것.

제안 방법

• 랭크 n, 고정된 행렬식을 가진 반안정 벨름의 모듈리 공간 위의 결정선다발의 푸시포워드로부터 유도된 테이히뮐러 공간 위의 범주에 대한 히친의 프로젝티브로 평탄한 접속의 미분기하학적 구성 방법을 사용한다.
• 히친 접속이 양자 표현과 곡선 연산자의 점근 전개와 어떻게 연결되는지를 이해하기 위해 토플리츠 연산자의 이론을 적용한다.
• 플랑크 상수 h에 대한 형식적 멱급수 공간 위의 형식적 접속으로서 형식적 히친 접속을 정의한다.
• 공형 조건(H¹_Γ(T, D(M)) = 0) 하에서 형식적 히친 접속의 형식적 자명화 P를 구성하며, 이는 Γ-불변성을 보장한다.
• 자명화를 이용해 새로운 스타곱 f ⋆_σ g = P⁻¹_σ(P_σ(f) ⋆̃_σ^{BT} P_σ(g))를 정의하며, 이 스타곱이 σ에 독립적이고 Γ-불변임을 보여준다.
• 등변 형식적 자명화의 첫 번째 항을 P = Id − h(¼Δ + i∇_{X''_F}) + O(h²)로 계산하여, O(h²)까지의 정확도에서 스타곱을 특정한다.

실험 결과

연구 질문

• RQ1 형식적 히친 접속은 TQFT 곡선 연산자의 전체 점근 전개와 어떻게 관련되어 있는가?
• RQ2 히친 접속의 평행 이동의 점근 전개에서 첫 번째 항의 명시적 형태는 무엇인가?
• RQ3 형식적 자명화에 의해 유도된 스타곱은 호환 함수 위에 정의된 알려진 스타곱과 일치하는가?
• RQ4 형식적 히친 접속의 Γ-불변 형식적 자명화가 존재하는 공형 조건은 무엇인가?
• RQ5 어떻게 토플리츠 연산자가 히친 접속과 SU(n) 양자 표현의 점근 충실도 사이의 연결고리 역할를 하는가?

주요 결과

• 형식적 히친 접속의 첫 번째 항은 P = Id − h(¼Δ + i∇_{X''_F}) + O(h²)로 명시적으로 계산된다.
• 유도된 스타곱 f ⋆ g 는 테이히뮐러 공간의 복소 구조 σ ∈ Teichmüller space에 독립적이며, 매핑 클래스군 작용에 대해 Γ-불변임이 입증된다.
• 첫 번째 항의 스타곱은 f₁ ⋆ f₂ = f₁f₂ − ih/2{f₁, f₂} + O(h²)로 특정되며, 이는 호환 함수 위의 파울슨 브라켓과 일치한다.
• 형식적 자명화로부터 유도된 스타곱은 O(h²)까지의 정확도에서 앤더슨, 매트스, 레슈티킨이 정의한 호환 함수 위의 스타곱과 일치한다.
• 이 구성은 TQFT 곡선 연산자의 점근 전개가 변수 분리가 가능한 미분 스타곱에 의해 지배되며, 첫 번째 항이 모듈리 공간의 켈러 기하학에 의해 유일하게 결정됨을 확인한다.
• H¹_Γ(T, D(M)) = 0 이면 전역 Γ-불변 형식적 자명화의 존재가 보장되며, H¹_Γ(T, C^∞(M)) = 0 이고 Γ의 D(M) 내에서의 중심화환의 교집합이 자명하면 Γ-불변 스타곱의 유일성도 따른다.