[논문 리뷰] Surface group representations, Higgs bundles, and holomorphic triples

Steven B. Bradlow, Oscar Garcı́a-Prada외 1명|ArXiv.org|2002. 06. 03.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 8

한 줄 요약

이 논문은 고리수 g ≥ 2인 리만 곡면 위의 U(p,q)-히그(bundle)의 모듈리 공간에 대해 모스 이론을 적용하며, 히그 필드의 L²-노름을 모스 함수로 사용하여, 반단순 PU(p,q)-표현의 모듈리 공간의 연결 성분을 분석한다. 주요 결과는 토플러 invariant가 공약수 조건을 만족하는 모든 경우에 대해 해당 성분이 비어 있지 않고 연결되어 있음을 보여주며, 공약수 조건이 실패하는 경우에도 기약 표현에 대해 적용되며, 최대 토플러 invariant에 대해 명시적인 위상수학적 제약 조건과 구조 정리가 제시된다.

ABSTRACT

Using the $L^2$ norm of the Higgs field as a Morse function, we study the moduli spaces of $U(p,q)$-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on $(p,q)$. A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. We prove that these moduli spaces of triples are irreducible and non-empty. Because of the relation between flat bundles and fundamental group representations, we can interpret our conclusions as results about the number of connected components in the moduli space of semisimple $PU(p,q)$-representations. The topological invariants of the flat bundles bundle are used to label components. These invariants are bounded by a Milnor-Wood type inequality. For each allowed value of the invariants satisfying a certain coprimality condition, we prove that the corresponding component is non-empty and connected. If the coprimality condition does not hold, our results apply to the irreducible representations.

연구 동기 및 목표

• 고리수 g ≥ 2인 리만 곡면의 기본군에 대한 반단순 PU(p,q)-표현의 모듈리 공간의 연결 성분 수를 결정하는 것.
• 히그 필드의 L²-노름을 모스 함수로 사용하여, U(p,q)-히그(bundle)의 모듈리 공간의 위상수학을 모스 이론을 통해 이해하는 것.
• 모스 함수의 국소 최솟값을 해석적으로 삼는 것이 힐버트 트리플의 모듈리 공간임을 식별하고, 이들의 기약성과 비어 있지 않음을 증명하는 것.
• 평탄한 범주의 위상수학적 불변량과 표현 다양체의 연결 성분 사이의 대응 관계 수립.
• 표현의 모듈리 공간이 비어 있지 않고 연결되어 있는 조건을 도출하며, 특히 토플러 invariant와 공약수 조건과의 관계를 규명하는 것.

제안 방법

• 모듈리 공간의 U(p,q)-히그(bundle)에 대해 히그 필드의 L²-노름을 모스 함수로 정의한다.
• 모스 함수의 임계점 분석을 통해 국소 최솟값이 힐버트 트리플의 모듈리 공간임을 식별한다.
• 히그(bundle)의 변형 이론과 안정성 조건을 사용하여 가역적 및 안정적 히그(bundle)를 분류한다.
• 핵심 대상으로서 힐버트 트리플 (E₁ → E₂, φ)을 연구하며, 그 모듈리 공간이 기약성과 비어 있지 않음을 보여준다.
• 밀놀-우ود 유형 부등식을 포함한 위상수학적 불변량의 경계를 사용하여 가능한 토플러 invariant를 제약한다.
• 평탄한 범주와 π₁(X)의 표현 간의 대응을 통해 결과를 히그(bundle) 모듈리 공간에서 표현 다양체로 이행한다.

실험 결과

연구 질문

• RQ1 표면 군에 대한 반단순 PU(p,q)-표현의 모듈리 공간은 몇 개인가? 그 수는 무엇에 의해 결정되는가?
• RQ2 특히 L²-노름 모스 함수의 임계점에서 고려할 때, U(p,q)-히그(bundle)의 모듈리 공간의 위상수학적 구조는 어떻게 되는가?
• RQ3 토플러 invariant이 최대 또는 0일 경우, 히그(bundle)의 모듈리 공간이 비어 있지 않고 연결되어 있는 조건은 무엇인가?
• RQ4 표현을 레이블링하는 불변량 (a,b)는 모듈리 공간의 위상수학적 성질과 어떻게 관련되어 있으며, p+q와 a+b의 공약수 조건은 어떤 역할을 하는가?
• RQ5 토플러 invariant이 최대값에 도달할 경우 모듈리 공간은 어떻게 되며, 이는 표현의 가역성에 어떤 영향을 미치는가?

주요 결과

• 모든 |τ| ≤ τ_M = p(2g−2)를 만족하는 토플러 invariant τ에 대해, 주어진 공약수 조건 또는 부등식 조건 하에 U(p,q)-히그(bundle)의 모듈리 공간은 비어 있지 않고 연결되어 있다.
• gcd(p+q, a+b) = 1일 경우, U(p,q)-표현의 모듈리 공간은 기대 차원의 매끄러운 다양체이며 연결되어 있다.
• |τ| = τ_M 이고 p ≠ q일 경우, 모듈리 공간 내 모든 표현은 가역적이며, U(p,p)에서 최대 토플러 invariant를 가진 표현과 U(q−p)에서 자명한 표현의 직합으로 분해된다.
• 힐버트 트리플의 모듈리 공간은 기약성과 비어 있지 않음을 증명하였으며, 이 트리플들은 정확히 모스 함수의 국소 최솟값에 대응한다.
• τ = 0 또는 |τ| = τ_M 이고 p ≠ q일 경우, 반단순 표현의 전체 모듈리 공간은 비어 있지 않고 연결되어 있다.
• (p−1)(2g−2) < |τ| ≤ τ_M 이고 p = q일 경우, 공약수 조건 없이도 모듈리 공간은 연결되어 있으며, 이 경우는 p = q일 때 최대 토플러 invariant를 포함한다.