Dimension bounds for relative character varieties on the projective line with three punctures $G=GL(r), O(r), Sp(r)$

이 논문은 3 개의 구멍이 있는 사영 직선 ($P^1 \setminus \{0, 1, \infty\}$) 위의 **상대적 캐릭터 다양체 (Relative Character Varieties)**의 차원 (dimension) 과 계수 (rank, $r$) 사이의 관계를 연구한 것입니다. 저자 Emmett Lennen 은 $G = GL(r), O(r), Sp(r)$인 경우를 다루며, Simpson 의 도식적 방법 (diagrammatic method) 을 사용하여 MC-최소 (MC-minimal) 캐릭터 다양체의 계수 $r$에 대한 선형 상한 (linear upper bound) 을 명시적으로 제시합니다.

주요 내용은 다음과 같습니다.

1. 연구 문제 (Problem)

• 배경: $P^1$에서 3 개의 점 ($t_1, t_2, t_3$) 을 뺀 공간 위의 기약 국소 계수 (irreducible local system) 의 모노드로미 표현 (monodromy representation) 을 고려합니다. 이는 $G$에 대한 상대적 캐릭터 다양체 $X_{irred}(r, C_1, C_2, C_3)$로 정의됩니다.
• 목표: 주어진 차원 $d$를 가진 MC-최소 캐릭터 다양체의 계수 $r$이 얼마나 커질 수 있는지 (즉, $r$과 $d$ 사이의 관계) 를 규명하는 것입니다.
• MC-최소성: Katz 의 중간 합성 (Middle Convolution, MC) 연산을 적용하여 계수를 더 이상 줄일 수 없는 상태의 캐릭터 다양체를 MC-최소라고 합니다. 모든 캐릭터 다양체는 중간 합성을 통해 MC-최소인 것과 동형이므로, 이 최소 형태를 분석하는 것이 핵심입니다.
• 과거 연구: Simpson 은 $GL(r)$의 경우 차원이 도식적으로 계산 가능함을 보였으며,$O(r), Sp(r)$(이차형식 군) 의 경우에도 유사한 조합론적 기술을 제시했으나, 그 결과로 얻어진 상한이 매우 느슨하거나 (예:$3/2(1260d + \dots)$) 복잡했습니다.

2. 방법론 (Methodology)

저자는 Simpson 의 도식적 접근법을 확장하고 정교화하여 다음과 같은 단계를 거쳤습니다.

• 도식적 표현 (Diagrammatic Representation):
  • **$GL(r)$경우:**$r \times r$ 정사각형을 3 개의 열 (column) 로 나누고, 각 열의 모노드로미 고유값의 중복도 (multiplicities) 를 나타내는 정사각형들을 배치합니다. 차원은 정사각형에서 제거된 빈 칸 (empty boxes) 의 수로 정의됩니다.
  • **이차형식 ($O(r), Sp(r)$) 경우:** 고유값을 유형$m$(쌍을 이룬),$e$(1 또는 -1),$f$ (-1 또는 1) 로 분류합니다. 차원 공식은 '박스 차원 (box dimension, $\beta$)'과 '선형 보정 (linear correction, $l$)'의 합으로 표현됩니다 ($\Delta = \beta - \epsilon l$).
• 중간 합성과 비겹침/겹침 경우:
  • Simpson 의 결과를 바탕으로, 겹치는 (overlapping) 경우와 비겹치는 (non-overlapping) 경우로 나눕니다. 겹치는 경우의 차원 $d$를 가진 다양체는 비겹치는 경우의 차원 $d$를 가진 다양체의 계수 $r$에 대해 $r \le \frac{3}{2} R_{non}(d)$를 만족함을 이용합니다.
  • 따라서 핵심은 **비겹치는 경우 (non-overlapping case)**에 대한 최적의 상한을 찾는 것입니다.
• 우세 순서 (Dominance Ordering) 와 분할 분석:
  • 주어진 열의 폭 $q_i$에 대해, 분할 (partition) 을 우세 순서에서 더 낮은 것으로 변경할 때 차원이 어떻게 변하는지 분석합니다 (Proposition 4.5).
  • $r = n_i q_i + c_i$ 형태로 표현하여, $c_i$가 $q_i$를 얼마나 잘 나누는지를 측정하고, $n_i$와 $c_i$의 값에 따라 차원의 하한을 추정합니다.
• 경우 분석 (Case Analysis):
  • 차원이 작을 때 ($\Delta \le r/3 - 12$) 가능한 $(n_1, n_2)$ 쌍을 $(2,2), (3,3), (2,4), (2,3)$으로 제한하고, 각 경우에 대해 열 분할을 세밀하게 조사하여 가능한 최소 차원을 계산합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 일반 선형군 ($GL(r)$) 의 경우

• 결과 (Theorem 2.8): 차원 $d > 2$인 MC-최소 $GL(r)$캐릭터 다양체의 계수$r$은 다음 부등식을 만족합니다.
  $$r \le 3d$$
• 최적성: 이 상한은 $q_1 = r/2, q_2 = r/3, q_3 = r/6$인 특정 구성에서 달성되며, 이 방법론으로는 더 이상 개선될 수 없는 가장 엄격한 (sharpest possible) 상한입니다.

B. 이차형식 군 ($O(r), Sp(r)$) 의 경우

• 개선된 상한 (Theorem 2.19): Simpson 의 기존 결과 ($3/2(1260d + \dots)$) 를 획기적으로 개선하여, 차원 $d \ge 2$인 MC-최소 이차형식 캐릭터 다양체에 대해 다음을 증명했습니다.
  $$r \le 9d + 54$$
• 비겹침 경우의 최적 상한 (Theorem 2.18): 비겹침 구성에 대해서는 $r \le 6d + 36$이 성립하며, 이는 Example 4.8 에서 제시된 특정 구성에서 달성됩니다.
• 증명 전략: Simpson 의 복잡한 감축 (reduction) 논리를 약화시키고, 더 많은 경우를 직접 계산하여 (computationally checking) 보정항을 줄이는 방식으로 증명했습니다.

C. 구성의 존재성 (Non-emptiness)

• 논문은 주어진 구성 (configuration) 이 실제로 비어 있지 않은 캐릭터 다양체에 대응되는지 (Deligne-Simpson 문제) 에 대한 존재성 문제는 완전히 해결하지 못했습니다. $GL(r)$의 경우 Deligne-Simpson 문제의 해가 알려져 있지만, $O(r), Sp(r)$의 경우 아직 명확하지 않습니다. 따라서 얻어진 상한은 '구현 가능한 구성'에 대한 이론적 한계로 해석됩니다.

4. 의의 (Significance)

1. 정량적 명확성: Simpson 의 존재성 증명에서 제시되었던 거대한 상수들을 제거하고, $d$에 대한 선형 함수 ($9d+54$) 로 명확한 상한을 제시했습니다. 이는 리만 - 힐베르트 문제 (Riemann-Hilbert problem) 와 관련된 국소 계수의 분류 연구에 중요한 기여를 합니다.
2. 계산적 엄밀성: 도식적 방법과 우세 순서를 결합하여, 복잡한 이차형식 군의 경우를 체계적으로 분류하고 계산함으로써, 기존에 알려지지 않았던 정밀한 경계를 규명했습니다.
3. 방법론의 확장: Simpson 의 기하학적/조합론적 기법을 $O(r), Sp(r)$의 비겹침 및 겹침 경우로 성공적으로 확장하여, 고차원 리 군의 캐릭터 다양체 연구에 새로운 도구를 제공했습니다.

요약하자면, 이 논문은 3 점 제거 사영 직선 위의 캐릭터 다양체에서, 주어진 차원을 가진 MC-최소 다양체의 최대 계수를 $GL(r)$과$O(r)/Sp(r)$ 모두에 대해 선형적으로 엄밀하게 상한을 제시한 중요한 결과입니다.