On some constancy of Hecke eigensystems for Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$

기술적 요약: 드린펠드 극형식의 헤케 고유계수의 불변성

문제 제기
본 논문은 드린펠드 극형식 공간 내의 헤케 고유계수 (Hecke eigensystems) 의 거동을 조사하며, 특히 모듈러 형식의 레벨이 증가함에 따라 이러한 계수들이 어떻게 변하는지에 초점을 맞춘다. 타원 모듈러 형식의 고전적 이론에서 유한한 $p$-기울기를 가진 헤케 고유계수는 가중치와 레벨의 $p$-진 valuation 이 변함에 따라 $p$-진 해석적 가변 (families) 으로 변하는 것으로 알려져 있다. 저자는 이를 드린펠드 설정과 대비시키는데, 여기서 이전 연구 (특히 [Hat2]) 는 레벨 $\Gamma_1(t^r)$인 극형식의 $t$-정규 부분 (ordinary part) 에 대한 헤케 작용의 예상치 못한 '자명성 (triviality)'을 보여주었다. 여기서 다루는 핵심 문제는 $\Gamma_1(n\wp^r)$ 형태의 더 일반적인 레벨에 대해, $n$이 다항식 환 $A = \mathbb{F}_q[t]$의 0 이 아닌 원소이고 $\wp$가 모닉 기약 다항식이며 $r \geq 1$일 때, 유한한 $\wp$-기울기 부분으로 이 현상을 일반화하는 것이다. 구체적인 질문은 고차 레벨 $\Gamma_1(n\wp^r)$에 나타나는 유한한 $\wp$-기울기를 가진 헤케 고유계수들이 기저 레벨 $\Gamma_1(n\wp)$에서 발견된 것들의 단순한 반복인지 여부이다.

방법론
저자는 테이트바움 [Tei] 과 뵈클레 [Böc] 의 연구에 따라 $SL_2(K_\infty)$에 대한 브루하트 - 틴스 트리 $T$ 위의 조화 코사이클 (harmonic cocycles) 을 통해 극형식을 기술하는 방식을 활용하여 드린펠드 모듈러 형식에 대한 조합론적 접근법을 사용한다.

1. 조합론적 틀: 드린펠드 극형식 공간 $S_k(\Gamma)$는 조화 코사이클 공간 $\text{Char}_k(\Gamma)$와 동일시되며, 이는 스테인베르그 모듈과 동차 다항식 공간의 텐서 곱과 동형이다. 이를 통해 문제를 합동 부분군 $\Gamma$ 위의 군 가군 (group modules) 의 언어로 번역할 수 있다.
2. 다이아몬드 연산자와 군환: 논문은 다이아몬드 연산자를 통해 극형식 공간에 작용하는 군 $\Theta_r = 1 + \wp(A/\wp^r A)$ (가환 $p$-군) 의 작용을 분석한다. 공간 $S_k(\Gamma_1(n\wp^r))$은 군환 $C_\infty[\Theta_r]$ 위의 가군으로 간주된다.
3. 가군의 자유성: 중요한 기술적 단계는 $S_k(\Gamma_1(n\wp^r))$이 국소환 $C_\infty[\Theta_r]$ 위에서 유한 계수의 자유 가군임을 증명하는 것이다. 이는 $C_\infty$의 표수가 $p$이므로 $C_\infty[\Theta_r]$가 사영 가군이 자유인 국소환이 된다는 사실에 의존한다. 증명은 트리 (tree) 의 체인 복소체와 스테인베르그 모듈 사이의 정확한 열 (exact sequence) 과 유도 가군의 자유성을 활용한다.
4. 유한 기울기 부분의 동형: 저자는 레벨 $\Gamma_1(n\wp)$과 $\Gamma_1^\wp(n, \wp^r)$ (특정 중간 레벨) 에 있는 극형식 공간의 유한 $\wp$-기울기 부분 사이에 헤케-equivariant 동형을 확립한다. 이는 공간 사이의 사상을 구성하고 $U_\wp$ 연산자의 0 이 아닌 고유값에 대해 코커널이 소멸됨을 보임으로써 달성된다.

주요 기여 및 결과
주요 결과는 레벨이 증가함에 따라 드린펠드 극형식에 대한 헤케 고유계수의 '불변성'을 확립하는 정리 1.1이다. 구체적으로:

• 다중도 공식: 연산자 $U_\wp$의 임의의 0 이 아닌 고유값 $\alpha$와 임의의 기울기 $a$에 대해, $S_k(\Gamma_1(n\wp^r))$ 내의 $\alpha$의 다중도 (또는 기울기 $a$ 부분공간의 차원) 는 $S_k(\Gamma_1(n\wp))$ 내의 다중도의 정확히 $q^{(r-1)\deg(\wp)}$배이다.
  $$m(\Gamma_1(n\wp^r), k, \wp, \alpha) = q^{(r-1)\deg(\wp)} m(\Gamma_1(n\wp), k, \wp, \alpha)$$
• 고유계수의 불변성: $\lambda_\wp \neq 0$인 헤케 고유계수 $\lambda = (\lambda_Q)_{Q \in \Pi}$는 $S_k(\Gamma_1(n\wp^r))$ 공간에 나타날 때와 $S_k(\Gamma_1(n\wp))$에 나타날 때 동치이다.

이 결과는 레벨의 지수 $r$이 증가함에 따라 0 이 아닌 $U_\wp$-고유값의 집합과 유한 기울기의 집합이 변하지 않으며, 단지 다중도에서 스케일링된다는 것을 의미한다.

의의 및 주장
본 논문은 이 결과가 타원 모듈러 형식 이론과 "뚜렷한 대비"를 이룬다고 주장한다. 타원형의 경우, 레벨을 변화시키는 것은 일반적으로 고유형식의 $p$-진 해석적 가변을 산출한다. 반면, 드린펠드 형식의 경우 이 정리가 보여주듯, 레벨 (특히 $\wp$의 거듭제곱) 을 변화시키는 것은 헤케 고유계수의 '상수 가변 (constant families)'만을 산출한다. 저자는 가중치를 변화시킬 때 $\wp$-진 연속 가변이 존재한다는 점 ([Hat1] 인용) 은 인정하지만, 이 맥락에서 레벨을 변화시키는 것은 새로운 고유계수를 생성하지 않고 기존 것들을 다중도가 증가된 형태로 복제할 뿐이라고 명시한다.

이 연구는 작용이 자명했던 $t$-정규 부분에 대한 저자의 이전 발견을 유한 기울기의 더 넓은 맥락으로 일반화하여, 레벨 변화와 관련하여 드린펠드 모듈러 형식의 산술에 근본적인 강성 (rigidity) 이 있음을 시사한다. 증명은 레벨 변수에 대한 $p$-진 해석적 가변의 필요성을 피하면서 군환 $C_\infty[\Theta_r]$의 구조적 속성과 극형식의 조합론적 기술에 크게 의존한다.