Computing the local $2$-component of a non-selfdual automorphic representation of $\mathrm{GL}_3$

1. 연구 문제 (Problem)

이 논문은 van Geemen 과 Top 에 의해 구성된 $GL_3(\mathbb{A}_{\mathbb{Q}})$ 위의 비자기쌍대 (non-selfselfdual) 인 자코비 (cuspidal) 자동형 표현 $\Pi$의 **2-진수 국소 성분 ($\Pi_2$)**을 명시적으로 결정하는 것을 목표로 합니다.

• 배경: 이 표현 $\Pi$는 $SL_3(\mathbb{Z})$의 합동 부분군 $\Gamma_0(128)$에 대한 자코비 코호몰로지에 실재하며, 특정 대수적 곡면 $S_2$의 $l$-진 코호몰로지의 초월적 부분과 관련된 갈루아 표현 $\rho_{vGT, l}$과 연결되어 있습니다.
• 현재 상태: $p \ge 3$인 소수 $p$에 대해서는 $\Pi_p$가 비분기 (unramified) 임이 알려져 있고, 로컬 $L$-인자도 계산 가능하지만, 2-진수 성분 $\Pi_2$는 그 복잡성으로 인해 명시적인 구조가 알려져 있지 않았습니다.
• 목표: $\Pi_2$의 구체적인 표현론적 구조 (파라볼릭 유도 표현인지, 초특이 (supercuspidal) 인지 등) 와 이를 구성하는 성분들을 명시적으로 규명하는 것입니다.

2. 방법론 (Methodology)

저자는 컴퓨터 계산을 통한 헤케 (Hecke) 고유값 계산과 이를 바탕으로 한 표현론적 추론을 결합하여 문제를 해결했습니다.

1. 컴퓨터를 이용한 헤케 고유값 계산:

   • $\Gamma_0(128)$의 자코비 코호몰로지 공간 $H^3(\Gamma_0(128), \mathbb{C})$을 구성하고, 특정 헤케 연산자들에 대한 고유벡터 $f$를 찾았습니다.
   • 이 고유벡터 $f$에 대한 여러 헤케 연산자 (특히 2-진수 관련 연산자들) 의 고유값을 정밀하게 계산했습니다.
   • 계산된 고유값들:
     • $T(\text{diag}(2, 2, 1)) \to 2\sqrt{-1}$
     • $T(\text{diag}(2, 1, 1)) \to 0$
     • $T(\text{diag}(1, 64, 1)) \to -1$
     • 기타 특정 행렬들에 대한 고유값들.

2. 표현론적 구조 분석:

   • 계산된 고유값들을 바탕으로 $\Pi_2$가 초특이 (supercuspidal) 표현이 아님을 증명했습니다 (특정 헤케 연산자의 고유값이 0 이 아니라는 사실과 자코트 모듈의 성질을 이용).
   • $\Pi_2$가 $GL_2 \times GL_1$의 르비 (Levi) 부분군을 가진 파라볼릭 부분군 $P$를 통해 유도된 표현 ($\text{Ind}_P^{GL_3}(\pi \boxtimes \chi)$) 임을 보였습니다. 여기서 $\pi$는 $GL_2(\mathbb{Q}_2)$의 초특이 표현, $\chi$는 비분기 문자입니다.
   • $\pi$와 $\chi$의 구체적 결정:
     • $\chi$의 값 ($\chi(2)$) 을 헤케 고유값을 통해 결정했습니다.
     • $\pi$의 컨덕터 (conductor) 가 $2^7$임을 보였습니다.
     • $\pi$를 컴팩트 유도 표현 ($c\text{-Ind}$) 으로 표현하기 위해, Greene-Bushnell-Kutzko 이론을 적용하여 $\pi = c\text{-Ind}_{J_\alpha}^{GL_2(\mathbb{Q}_2)} \Lambda$ 형태를 가정하고, $\alpha$와 $\Lambda$를 헤케 고유값 계산과 대수적 연산을 통해 유일하게 결정했습니다.

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

주요 정리 (Theorem 1.1)

$\Pi_2$는 다음과 같은 명시적인 구조를 가집니다:
$$\Pi_2 = \text{Ind}_{P}^{GL_3(\mathbb{Q}_2)} (\pi \boxtimes \chi)$$
여기서:

• $\chi$: $\mathbb{Q}_2^\times$의 비분기 문자이며, $\chi(2) = -2\sqrt{-1}$을 만족합니다.
• $\pi$: $GL_2(\mathbb{Q}_2)$의 초특이 표현으로, 다음과 같이 컴팩트 유도됩니다:
  $$\pi = c\text{-Ind}_{J_\alpha}^{GL_2(\mathbb{Q}_2)} \Lambda$$
  • $\alpha$: $\alpha = \frac{1}{8} \begin{pmatrix} 1 & -2 \\ 0 & 0 \end{pmatrix}$ (정확히는 논문 기호에 따라 $\alpha = \frac{1}{8} \begin{pmatrix} 0 & 1 \\ 2D & 2t \end{pmatrix}$ 형태에서 $D=1, t=0$인 경우로 귀결됨).
  • $J_\alpha$: $E^\times U^3_U$ (여기서 $E = \mathbb{Q}_2(\alpha)$는 2-진수 체 위의 2 차 분기 확대).
  • $\Lambda$: $J_\alpha$ 위의 1 차원 표현으로, 다음과 같이 명시적으로 결정됩니다:
    1. $\Lambda(\text{diag}(a, a)) = \chi^{-1}(a)$
    2. $\Lambda\left(\begin{smallmatrix} 1 & -2 \\ 0 & 1 \end{smallmatrix}\right) = \frac{1+\sqrt{-1}}{2}$
    3. $\Lambda\left(\begin{smallmatrix} 1 & 1 \\ -2 & 1 \end{smallmatrix}\right) = \psi(1/2)$ (여기서 $\psi$는 특정 덧셈적 문자)
    4. $U^3_U$ 위에서는 $\psi_\alpha$와 일치합니다.

갈루아 표현에 대한 함의

이 결과는 갈루아 표현 $\rho_{vGT, l}$의 2-진수 국소 성분에 대한 명시적인 기술을 제공합니다:
$$\rho_{vGT, l}|_{W_{\mathbb{Q}_2}} \cong \rho_\pi \otimes |\cdot|^{1/2} \oplus \chi \otimes |\cdot|^{-1}$$
여기서 $\rho_\pi$는 국소 랭글랜즈 대응에 의해 $\pi$에 대응되는 2 차원 기약 표현입니다.

4. 의의 (Significance)

1. 구체적 계산의 성공: 자동형 표현의 국소 성분을 이론적 추론만으로가 아니라, 컴퓨터 계산을 통한 헤케 고유값과 이를 엄밀하게 연결하는 표현론적 증명을 통해 구체적으로 규명했습니다. 이는 고차원 ($GL_3$) 자동형 표현의 국소 성분 연구에서 중요한 사례입니다.
2. 비자기쌍대 표현의 구조 규명: 자기쌍대 (selfdual) 가 아닌 표현의 경우 국소 성분의 구조가 더 복잡할 수 있는데, 이 논문은 비자기쌍대인 $GL_3$ 표현의 2-진수 성분이 파라볼릭 유도 형태임을 증명하고 그 구성 요소를 완전히 해부했습니다.
3. 갈루아 표현과의 연결: 자동형 표현 $\Pi$와 갈루아 표현 $\rho_{vGT, l}$ 사이의 연결을 2-진수 국소 수준에서도 명확히 하여, 수론적 대수기하학 (특히 타원 곡선이나 고차 다양체의 코호몰로지) 과 표현론의 교차점을 구체화했습니다.
4. 방법론적 확장: 컴퓨터 계산을 통해 얻은 수치적 데이터를 표현론적 불변량 (컨덕터, 유도 구조 등) 과 매핑하는 방법론은 향후 다른 정수론적 문제나 자동형 표현의 국소 성분 연구에 유용한 모델이 될 수 있습니다.

결론

이 논문은 van Geemen 과 Top 이 구성한 특정한 $GL_3$ 자동형 표현의 2-진수 국소 성분이, 비분기 문자 $\chi$와 특정 조건을 만족하는 $GL_2$ 초특이 표현 $\pi$의 파라볼릭 유도임을 증명했습니다. 저자는 컴퓨터를 활용한 정밀한 헤케 고유값 계산을 통해 $\pi$와 $\chi$의 모든 매개변수를 명시적으로 결정함으로써, 해당 자동형 표현의 국소 구조를 완전히 규명하고 관련 갈루아 표현의 2-진수 성분을 기술하는 데 성공했습니다.