[논문 리뷰] Bad Representations and Homotopy of Character Varieties

Clément Guerin, Sean Lawton외 1명|arXiv (Cornell University)|2019. 08. 07.

Advanced Algebra and Geometry참고 문헌 67인용 수 5

한 줄 요약

이 논문은 자유군의 특성 다양체에 대한 오랫동안 남아있던 추측을 해결하며, Borel-de Siebenthal 부분군을 통해 특이점을 특성화하고, r ≥ 3이면 G-특성 다양체의 모든 특이점이 위상적임을 증명하고, 매끄러운 부분의 고차 호모토피 군을 계산한다. 안정적 동형 πk(Xr(G)) ≅ πk(G)^r × πk−1(PG)를 k ≤ 4일 때 확립하며, SL(n,C)가 유일하게 성질 CI를 갖는 단순군임을 확인한다.

ABSTRACT

Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving a Mumford-type result about topological singularities; this resolves conjectures of Florentino-Lawton. In particular, we compute the codimension of the orbifold singular locus using facts about Borel-de Siebenthal subgroups. We then use the codimension bound to calculate higher homotopy groups of the smooth locus of X, proving conjectures of Florentino-Lawton-Ramras. Lastly, using the earlier analysis of Borel-de Siebenthal subgroups, we prove a conjecture of Sikora about centralizers of irreducible representations in Lie groups.

연구 동기 및 목표

• 연결된 재조합 복소대수군 G와 계수 r ≥ 3인 자유군에 대해 G-특성 다양체 Xr(G)의 특이점 집합을 특성화하기.
• r ≥ 3 또는 G의 각 단순 성분의 랭크 ≥ 2일 때 Xr(G)의 모든 특이점이 위상적임을 증명하는 추측을 해결하기.
• 0 ≤ k ≤ 4일 때 고차 호모토피 군 πk(Xr(G))를 계산하여 [FLR17]의 결과를 일반적인 재조합 G로 확장하기.
• SL(n,C)가 성질 CI(기약 부분군의 중심화자와 중심이 일치함)를 갖는 유일한 단순군임을 증명하는 Sikora의 추측을 확인하기.

제안 방법

• Borel-de Siebenthal (BdS) 부분군을 사용하여 Xr(G)의 오비폴드 특이점을 분류하며, 그들의 최대 토리가 G에서 최대임을 활용한다.
• Luna의 슬라이스 정리와 기하학적 안정성 이론(GIT)을 적용하여 GIT 몫 Hom(Fr, G)//G에서 특이점의 국소 구조를 분석한다.
• Mumford 유형 결과를 확립: r ≥ 3이면 Xr(G)의 모든 특이점은 위상적이다(해석적 위상에서 구와 동형이 아님).
• BdS 대수를 통한 악성 표현의 여부에 대한 코드미너스 한계를 적용하여 매끄러운 부분의 낮은 차수 호모토피 군의 소멸을 유도한다.
• 코드미너스 분석과 스펙트럴 시퀀스 기법을 사용하여 k ≤ 4일 때 안정적 동형 πk(Xr(G)) ≅ πk(G)^r × πk−1(PG)를 유도한다.
• 예외군에서 BdS 부분군 분류를 사용하여, 중심화자와 G의 중심이 일치하는 기약 표현은 SL(n,C)에서만 발생함을 증명한다.

실험 결과

연구 질문

• RQ1 Xr(G)의 특이점 집합이 순수하게 위상적(즉, Ck-매끄러운 국소 표준형이 존재하지 않음)일 조건은 무엇인가?
• RQ2 Xr(G)에서 오비폴드 특이점 집합의 코드미너스는 얼마이며, Borel-de Siebenthal 부분군과 어떻게 관련이 있는가?
• RQ3 k ≤ 4일 때 고차 호모토피 군 πk(Xr(G))는 어떻게 행동하며, 안정적인 패tern이 존재하는가?
• RQ4 연결된 재조합 군 G 중에서 모든 기약 부분군의 중심화자가 G의 중심과 일치하는 성질 CI를 만족하는 군은 무엇인가?

주요 결과

• r ≥ 3일 때 Xr(G)의 모든 특이점은 위상적 특이점이며, Florentino-Lawton의 추측을 해결한다.
• r ≥ 3일 때 Xr(G)에서 악성 부분의 코드미너스는 2r 이상으로 하한이 주어지며, 고전군의 경우 등호가 성립한다. 이는 Borel-de Siebenthal 부분대수에서 유도된다.
• G = GL(n,C)일 때 π2(Xr(G)) ≅ Z/nZ이며, 일반적으로 π2(Xr(G)) ≅ π1(PG)임을 확인하여 Florentino-Lawton-Ramras의 추측을 확인한다.
• 0 ≤ k ≤ 4일 때 πk(Xr(G)) ≅ πk(G)^r × πk−1(PG)가 안정 범위에서 성립하며, 고전군과 예외군에 대해 명시적인 계산이 가능하다.
• 모든 기약 표현의 중심화자가 G의 중심과 일치하는 것은 G가 SL(n,C)와 동형이거나 이소지어스일 때에만 성립하며, 이는 Sikora의 추측을 증명한다.
• G2에서 악성 표현은 각각 차수 3과 2를 갖는 SL3(C) 또는 SO4(C)를 통해 인식되는 기약 표현과 대응되며, 이는 BdS 부분군의 구조에 기인한다.