[논문 리뷰] Non-commutative extensions of two-dimensional topological field theories and Hurwitz numbers for real algebraic curves

Andrei V. Alexeevski, S. M. Natanzon|ArXiv.org|2002. 02. 17.

Algebraic structures and combinatorial models참고 문헌 11인용 수 22

한 줄 요약

이 논문은 비가환적 구조를 가진 두차원 위상적 장 이론을 비방향성 표면으로 확장한 클라인 위상적 장 이론(KTFTs)을 소개한다. 이는 KTFT들과 해당 구조 대수—비가환 프로베누스 대수에 추가로 포함된 대칭적 반자기사상과 특수 원소 U를 가진 대수—사이의 일대일 대응을 수립한다. 주요 결과는 실대수곡선의 허리츠 수를, 대칭군 S_n의 구조 대수와 동형인 구조 대수를 가진 KTFT의 상관함수로 나타내는 것이다.

ABSTRACT

It is well-known that classical two-dimensional topological field theories are in one-to-one correspondence with commutative Frobenius algebras. An important extension of classical two-dimensional topological field theories is provided by open-closed two-dimensional topological field theories. In this paper we extend open-closed two-dimensional topological field theories to nonorientable surfaces. We call them Klein topological field theories(KTFT). We prove that KTFTs bijectively correspond to algebras with certain additional structures, called structure algebras. Semisimple structure algebras are classified. Starting from an arbitrary finite group, we construct a structure algebra and prove that it is semisimple. We define an analog of Hurwitz numbers for real algebraic curves and prove that they are correlators of a KTFT. The structure algebra of this KTFT is the structure algebra of the symmetric group.

연구 동기 및 목표

• 비방향성 표면으로 두차원 위상적 장 이론을 확장하기 위해 클라인 위상적 장 이론(KTFTs)을 도입한다.
• 구조 대수—비가환 프로베누스 대수에 대칭적 반자기사상, 교환 부분대수와 아이디얼의 분해, 특수 원소 U를 포함한 대수—를 정의하고 분류한다. 이는 KTFTs와 대응된다.
• 기존의 닫힌 TFTs와 교환 프로베누스 대수 사이의 대응을 일반화하여, KTFTs와 구조 대수 사이의 일대일 대응을 수립한다.
• 실대수곡선에 대한 허리츠 수를 위상적 용어로 정의하고, 특정 KTFT에서 상관함수로 나타남을 보인다.
• 이 허리츠 KTFT의 구조 대수가 대칭군 S_n의 구조 대수와 동형임을 보여준다.

제안 방법

• KTFT를 컴acts트라티피에이티드 표면(내부 및 경계 특수점 포함)의 범주에서 구조 대수의 텐서로 가는 함자로 정의하며, 위상적 불변성을 유지한다.
• 구조 대수를 연산이 비가환적이며 비퇴화된 불변 이차형식을 가진 결합 대수로 정의하며, 교환 부분대수와 아이디얼의 분해, 대칭적 반자기사상, 특수 원소 U를 포함한다.
• 유한군으로부터 구조 대수를 구성하며, 대칭군 S_n의 구조 대수가 반단순적임을 증명하고, 이는 허리츠 KTFT의 대수로 기능한다.
• 실대수곡선 위의 스트라티피에이티드 코팅(내부 및 경계 특수점 포함)을 정의하며, 기존의 분기 코팅을 비방향성 및 경계에 삽입된 구조로 일반화한다.
• 허리츠 수를 이so모피즘 클래스의 가중치 합으로 정의하며, 가중치는 자동형군의 크기의 역수로 주어진다.
• 이 허리츠 수가 KTFT의 상관함수와 같음을 증명하며, S_n의 구조 대수에서의 대수적 연산을 통해 명시적인 공식을 도출한다.

실험 결과

연구 질문

• RQ1 두차원 위상적 장 이론은 어떻게 비방향성 표면으로 확장될 수 있으며, 이러한 이론과 대응되는 대수적 구조는 무엇인가?
• RQ2 클라인 위상적 장 이론을 뒷받침하는 구조 대수의 대수적 특성은 무엇이며, 기존의 닫힌 TFTs의 교환 프로베누스 대수와 어떻게 일반화되는가?
• RQ3 실대수곡선에 대한 허리츠 수는 순수한 위상적 용어로 정의되고 계산될 수 있는가? 그리고 이러한 수치는 어떤 위상적 장 이론의 상관함수로 나타나는가?
• RQ4 유한군의 구조 대수와 그에 대응하는 KTFT 사이의 관계는 무엇이며, 특히 대칭군 S_n의 경우는 어떠한가?
• RQ5 허리츠 KTFT의 상관함수는 내부 및 경계점에 대한 분기 코팅의 조합론과 양의 다이어그램 간의 관계는 어떻게 되는가?

주요 결과

• KTFTs는 비가환 프로베누스 대수에 대칭적 반자기사상, 교환 부분대수와 아이디얼의 분해, 특수 원소 U를 갖춘 대수와 일대일 대응된다.
• 반단순 구조 대수는 분류되며, 각 유한군 G에 대해 반단순 구조 대수를 구성할 수 있다. 특히 대칭군 S_n은 허리츠 KTFT의 구조 대수를 제공한다.
• 내부 및 경계점에서 주어진 분기 유형을 갖는 분기 코팅의 이소모피즘 클래스 수를 세는 실대수곡선의 허리츠 수는 KTFT의 상관함수와 동일하다.
• 형식 G = (g,1,m,m1,…,ms)의 스트라티피에이티드 표면에 대한 허리츠 수는 구조 대수 연산 (α1…αm (β1¹…βm1¹) V_K_B(β1²…βm1²)…V_K_B(β1^s…βms^s), K_A^g)를 포함하는 공식으로 주어진다. 여기서 V_K_B와 K_A는 대수적 연산이다.
• 형식 G = (g,0,m,m1,…,ms)의 표면에 대한 허리츠 수는 (α1…αm (β1¹…βm1¹) V_K_B(β1²…βm1²)…V_K_B(β1^s…βms^s), U^{2g})로 주어지며, U^{2g}는 비방향성 기여를 나타낸다.
• 허리츠 KTFT의 구조 대수는 대칭군 S_n의 구조 대수와 동형이며, G가 임의의 유한군일 경우 G-허리츠 수에 대해서도 동일한 공식이 성립한다.