The singular Hitchin fibration, cameral data, and representation theory

문제 제기
본 논문은 임의의 환원 가능한 구조군(reductive structure group) $G$를 갖는 히친 틍글(Higgs bundle)의 특이점 집합(singular locus)에 대한 불완전한 기하학적 이해 문제를 다룬다. 히친 틍글은 정규 층(regular locus, 히친 장의 중심화 원소 차원이 최소인 지점) 위에서는 잘 이해되어 있으나, 특이 층(singular fibres)의 기하학은 여전히 미지의 영역으로 남아 있다. 구체적으로, 본 논문은 히친 장의 중심화 원소(centraliser)의 거동을 제어함으로써 특이 집합을 체계적으로 연구하고자 한다. 연구는 히친 장의 중심화 차원이 $d$로 일정한 히친 뚜글들의 부분 스택(substack) $M_d$에 초점을 맞춘다. $d$가 $G$의 계수(rank)보다 클 때, 이 뚜글들은 특이 집합의 깊은 내부(deep within the singular locus)에 위치하게 된다. 또한 본 논문은 궤도 방법(orbit method)을 통해 리 대수 $\mathfrak{g}$의 표현론과 이 기하학을 연결하고, 기존의 설명이 부족했던 비준-스플릿(non-quasi-split) 형태를 포함하여 실형(real forms)과 관련된 히친 틍글에 대한 통일된 기술을 제공하는 것을 목표로 한다.

방법론
저자는 리 이론적 층화(Lie-theoretic stratification), 스택 이론(stack theory), 그리고 일반화된 히친 시스템을 결합하여 연구를 수행한다.

1. 시트 층화(Sheet Stratification): 연구는 리 대수 $\mathfrak{g}$ 내에서 고정된 중심화 차원을 갖는 원소들의 궤적(irreducible components)인 "시트(sheets)"로 제한된다. 본 논문은 시트의 기하학을 분석하기 위해 카츠로 슬라이스(Katsylo slices)와 카츠로 그룹(Katsylo group)을 포함한 시트 이론을 활용한다.
2. 스택 이론적 아벨화(Stack-Theoretic Abelianisation): 본 논문은 일반적으로 비매끄러운 중심화 군 스킴(group scheme) $I_S$ 내에서 "매끄러운 중심화(smooth centraliser)" 부분군 스킴 $I^{sm}_S$를 구성한다. 시트 $S$에 대해 몫 스택 $[S/G]$를 이 매끄러운 부분군으로 경직(rigidify)함으로써, 저자는 인접 몫 사상(adjoint quotient map)을 거제(gerbe)로 만드는 "$S$-슈발레 베이스(S-Chevalley base)" $B$를 정의한다.
3. 카메라 데이터 일반화(Cameral Data Generalisation): 딕스미어 시트(Dixier sheets, 반단순 원소를 포함하는 시트)의 경우, 저자는 매끄러운 중심화로부터 "카메라 그룹"(아벨화된 그룹)으로 가는 "카메라 호모모피즘(cameral homomorphism)" $\kappa_S$를 구성한다. 이를 통해 히친 맵을 "아벨화된 파이버레이션(abelianised fibration)"으로 인수분해할 수 있다.
4. 실형 및 궤도 방법(Real Forms and Orbit Method): 이 프레임워크는 정규 $G_R$-히친 뚜글을 시트 값을 갖는 $G$-히친 뚜글로 식별함으로써 실형 $G_R$에 적용된다. 또한 본 논문은 시트에 대한 그로텐디크-스프링거 이론을 활용하여 이러한 층들의 기하학을 범용 포락 궤도(universal enveloping algebra) $U(\mathfrak{g})$의 표현론에서의 다중도(multiplicities)와 연결한다.

주요 기여 및 결과

• 특이 층의 비아벨 구조: 본 논문은 시트 값 히친 뚜글(비특이 시트 $S$에 대한)의 로커스 $M_S$로의 히친 맵 제한이 비아벨 구조를 가짐을 입증한다. 파이버들은 매끄러운 중심화 군 스킴 $I^{sm}_{(E,\Phi)}$의 토서(torsor)들을 위한 스택들과 동일시된다 (정리 5.16).
• 아벨화 및 카메라 데이터: "고전적 축소 유형(classical reduction type)"(모든 고전적 군을 포함)인 비특이 딕스미어 시트에 대해, 저자는 히친 맵을 아벨화된 파이브레이션으로 인수분해하는 구조를 구성한다. 이 아벨화된 맵의 파이버들은 일반화된 카메라 데이터를 사용하여 기술된다. 즉, 이들은 곡선의 덮개(S-카메라 곡선) 위의 공변(equivariant) 번들들의 스택과 동일시된다 (정리 5.31, 정리 5.36).
• S-슈발레 베이스와 카츠로 그룹: 본 논문은 카츠로 슬라이스를 카츠로 그룹 $F$로 나눈 델리뉴-모돔프(Deligne-Mumford) 스택 몫으로서 $S$-슈발레 베이스 $B$를 도입한다. 이는 $G$가 시트 상에서 작용하는 것에 대한 정규 몫(regular quotient)을 제공하며, 파이브레이션을 카메라 그룹에 의해 밴딩된 거제로 기술하는 것을 용이하게 한다 (명제 3.25, 명제 3.29).
• 실형(Real Forms): 이 결과들은 실형 $G_R$에 대한 히친 틍글에 적용된다. 본 논문은 정규 $G_R$-히친 뚜글이 특정 딕스미어 시트 $S_H$에 대응함을 보여준다. 저자는 임의의 실형에 대해 아벨화된 파이브레이션을 구성하며, $\theta$-공변(equivariant) 유사체를 제공한다. $SU(p,q)$(단,$|p-q|>1$) 및$SO^*(4m+2)$와 같이 기존 문헌에서 설명이 부족했던 비준-스플릿 사례들에 대한 구체적인 기술이 제공된다 (섹션 7.2).
• 표현론과의 연결: 본 논문은 시트의 기하학과 $\mathfrak{g}$의 표현론 사이의 연결을 확립한다. 저자는 카츠로 그룹 $F$를 인접 궤도(adjoint orbit)의 좌표 링에서의 표현의 다중도와, 로제브(Losev)의 궤도 방법을 통해 발생하는 $U(\mathfrak{g})$의 원시 아이디얼(primitive ideal)의 다중도와 연결한다. 두 가지 서로 다른 다중도 개념 사이의 핵심적인 점근적 관계(asymptotic relationship)는 다음과 같다 (따름정리 8.27):
  $$\mu(I(\mathcal{O})) = \lim_{n \to \infty} \frac{M(\mathcal{O}; n)}{M(\mathcal{O}_{nil}; n)}$$
  여기서 $\mu$는 아이디얼의 다중도이고 $M$은 점근적 다중도 함수이다.

의의
본 논문은 중심화 차원을 제어함으로써 특이 히친 파이브레이션을 연구하기 위한 체계적인 프레임워크를 제공하며, 표준적인 히친 시스템에 대한 "비아벨" 일반화를 제시한다고 주장한다. 특이 층을 위한 아벨화를 구축함으로써, 특이 층의 성질을 아벨화된 층의 성질로부터 끌어올릴 수 있는 가능성을 열어준다. 이 연구는 실형(real groups)에 대한 히친 파이브레이션의 기술을 준-스플릿(quasi-split)에서 비준-스플릿 사례까지 확장하여 통합한다. 또한, 시트의 기하학과 카츠로 그룹을 통한 표현론 사이의 보조적 결과들은 궤도 방법과 포락 궤도의 원시 아이디얼 구조에 대한 새로운 통찰을 제공한다. 저자는 계산된 예시($GL_n, Sp_4$)에서 아벨화된 파이브레이션이 더 작은 군에 대한 히친 파이브레이션으로 기술될 수 있음을 언급하며, 이는 특이 집합 내의 재귀적 구조를 시사한다.