[논문 리뷰] Counting triangles formula for the first Chern class of a circle bundle

G. Gangopadhyay|arXiv (Cornell University)|2017. 12. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 4

한 줄 요약

이 논문은 삼각형 수를 세는 방법을 통해 삼각형 분할을 갖는 fibrations에서 유도된 순환어 구조를 이용하여 $S^1$-bundle의 첫 번째 체른 클래스를 계산하는 새로운 조합적 공식을 제시한다. Mnev의 공식과 달리 선형 순서에 의존하고 순환 불변성을 증명이 필요로 하는 데 반해, 이 접근법은 순환어의 방향성을 고려한 삼각형 수를 세는 방식으로 자연스럽게 순환 대칭성을 유지하며, 코homologous 코사이클을 명백하게 얻게 되어 계산적으로 더 자연스럽다.

ABSTRACT

We consider the problem of the combinatorial computation of the first Chern class of a circle bundle. N.Mnev found such a formula in terms of canonical shellings. It represents certain invariant of a triangulation computed by analyzing cyclic word in 3-character alphabet associated to the bundle. This curvature is a kind of discretization of Konstevich's curvature differential 2-form. We find a new expression of Mnev's curvature by counting triangles in a cyclic word. Our formula is different from that of Mnev. In particular, it is cyclically invariant by its very form. We present also some sample computations of this invariant and also provide a small Mathematica code for the computation of this invariant.

연구 동기 및 목표

• 삼각형 분할을 갖는 fibrations의 조합적 자료를 이용하여 원판의 범주에서 첫 번째 체른 클래스에 대한 새로운, 순환적으로 불변인 공식을 제공하는 것.
• 기존의 선형 순서 기반 공식을 대체하여 구성적으로 자연스럽게 순환 대칭성을 갖는 공식으로 대체하는 것.
• 새로운 공식과 Mnev의 원래 코사이클 표현 간의 등가성을 직접적으로 독립적으로 증명하는 것.
• 다중값 함수를 통한 일반화를 통해 높은 차원의 체른 클래스의 일반화를 위한 접근법을 제공하는 것.
• 제시된 공식을 사용하여 불변량을 계산하는 데 사용할 수 있는 Mathematica 구현을 제공하는 것.

제안 방법

• 기저 삼각형 분할의 각 단체에 대응하는 순환어의 가족인 셸링을 통해 $S^1$-bundle을 조합적으로 표현한다.
• 순환어를 통해 다중값 함수를 정의하며, 각 문자는 $(n+1)$-단체에서 두 개의 릿지가 존재하는 꼭짓점에 대응한다.
• 각 2-단체에 대해, 경로(시계 또는 반시계 방향)를 선택하여 경계 위의 모든 가능한 다중값 함수 연장에 대한 평균 지수를 계산한다.
• 순환어 내에서 평균 지수에 양의 기여를 하는지 또는 음의 기여를 하는지에 따라, 방향성이 있는 삼각형(문자들의 순서쌍)의 수를 세는 작업을 수행한다.
• 첫 번째 체른 클래스를 $\frac{t^{-} - t^{+}}{2k_0k_1k_2}$로 유도하며, 여기서 $t^{-}, t^{+}$는 각각 음의 방향성과 양의 방향성을 갖는 삼각형의 수이다.
• 다중값 함수 기법을 활용하여 직접 계산과 위상적 일관성을 통해 Mnev의 공식과의 등가성을 검증하며, [1]에서 제시된 기법을 활용한다.

실험 결과

연구 질문

• RQ1 기본적으로 순환 불변성을 갖는 공식을 통해 $S^1$-bundle의 첫 번째 체른 클래스를 계산할 수 있는가?
• RQ2 순환어 내에서 방향성을 갖는 삼각형을 세는 것은 2-단체 경계 위의 다중값 함수의 차수와 어떻게 관련이 있는가?
• RQ3 순환어의 선형 순서에 의존하지 않는 정확한 조합적 표현으로서 체른 클래스 코사이클을 어떻게 기술할 수 있는가?
• RQ4 새로운 삼각형 수 세기 공식과 Mnev의 원래 공식 간의 등가성에 대한 직접적이고 독립적인 증명이 가능한가?
• RQ5 이 방법은 원판의 고차원 일반화된 특성 클래스로 일반화될 수 있는가?

주요 결과

• 새로운 공식은 $\frac{t^{-} - t^{+}}{2k_0k_1k_2}$로 표현되며, 여기서 $t^{-}$와 $t^{+}$는 순환어 내에서 음의 방향성과 양의 방향성을 갖는 삼각형의 수를 각각 나타낸다.
• 이 공식은 구성적으로 순환 불변성을 갖는 반면, Mnev의 원래 표현은 외부에서 불변성 증명이 필요로 한다.
• 모든 다중값 함수 연장 선택에 대한 평균 지수는 섬유 위의 다중값 함수 값의 순환 순서에 따라 $\pm \frac{1}{2}$가 되며, 이는 최종 표현식을 이끈다.
• 저자들은 Mnev의 원래 논증에 의존하지 않고도 정리 2에 대한 직접적인 증명을 제공한다.
• 이 방법은 주어진 순환어에 대해 불변량을 명시적으로 계산할 수 있도록 Mathematica 코드로 구현되어 있다.
• 새로운 삼각형 수 세기 공식과 Mnev의 공식 간의 등가성은 사례별 평균화와 위상적 일관성에 기반하여 철저히 검증되었다.