Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

기술적 요약: 이차 네벤투푸스를 갖는 모듈러 형식에 대한 일반화된 마에다 추측을 향하여

문제 제기
본 논문은 가중치 $k$가 증가함에 따라 공간 $S_k(\Gamma_0(N), \Psi)$ 내의 새로운 형식 (newforms) 의 갈루아 궤적 수의 점근적 거동을 다룬다. 마에다의 추측은 레벨 1 에서 단일 갈루아 궤적을 예측하지만, 더 높은 레벨에서는 일반적으로 여러 궤적이 발생한다. Dieulefait, Pacetti, Tsaknias(DPT21) 의 이전 연구는 국소 관성 타입과 아트킨 - 레너 부호를 전역 불변량으로 사용하여 자명한 네벤투푸스에 대해 비-CM 갈루아 궤적 수 $N_{CM}(N, k)$의 하한을 확립하였다. 본 논문은 이 틀을 비자명한 이차 네벤투푸스 $\Psi$의 경우로 확장한다. 이 설정에서의 주요 과제는 고전적인 아트킨 - 레너 이론이 직접적으로 이용 가능하지 않으며, $\Psi$가 갈루아 불변인 경우 (이차 특성에 대해 성립함) 를 제외하고는 갈루아 작용이 공간 $S_k(\Gamma_0(N), \Psi)$를 보존하지 않는다는 점이다.

방법론
저자들은 갈루아 궤적을 정의하는 허용 가능한 불변량 쌍을 세기 위한 국소 - 전역 틀을 개발한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 관성 타입의 국소 분석:
   본 논문은 이차 중심 특성의 제약 하에서 $GL_2(\mathbb{Q}_p)$에 대한 국소 관성 타입의 갈루아 궤적을 분석한다. 국소 랭글랜즈 대응을 사용하여 표현들을 주 계열 (principal series), 스타인베르크 (특수, special), 초축소 (supercuspidal) 타입으로 분류한다. 저자들은 홀수 소수 $p$에 대해 국소 관성 타입의 서로 다른 갈루아 궤적 수를 명시적으로 계산하며, 이를 $LT(p^n, \Psi)$로 표기한다. 이때 온화하게 분기된 (tamely ramified) 경우와 비분기된 국소 네벤투푸스 경우를 구분한다. 이는 이차 확대의 단위군에 대한 상세한 군론적 분석과 절대 갈루아 군의 원시적 특징 (primitive characters) 에 대한 작용을 포함한다.

2. 전역 불변량과 아트킨 - 리 의사고유값:
   계산을 정교하게 하기 위해 저자들은 두 번째 불변량으로 **아트킨 - 리 의사고유값 (Atkin-Li pseudo-eigenvalue)**을 도입한다. 이들은 이 의사고유값의 갈루아 공변성 (Galois equivariance) 을 확립한다 (정리 4.5). 즉, 갈루아 켤레 $\sigma$ 하에서 고유값은 $\lambda_p(f^\sigma) = \Psi_p(\chi_p(\sigma))\sigma(\lambda_p(f))$로 변환됨을 보인다. $\Psi$가 이차이므로, 이는 단위원 $S^1$ 위의 동치 관계 $\sim$을 유도한다.
   중요한 점은 저자들이 고차 분기 꼬임 (twists) 이 원래 고유값을 흐리게 할 수 있는 문제를 다룬다는 것이다. 불변량이 잘 정의되고 갈루아 공변적이도록 보장하기 위해 최소 아트킨 - 리 의사고유값 (최소 이차 꼬임을 통해 정의됨) 을 정의한다.
   정리 4.13 은 국소 타입이 언제 의사고유값을 유일하게 고정하는지, 그리고 언제 부호가 다른 두 값을 허용하는지를 결정한다. 이는 국소 타입을 대칭 궤적 ($\lambda \sim -\lambda$) 과 비대칭 궤적 ($\lambda \not\sim -\lambda$) 으로 분류하게 한다.

3. 존재성과 실현:
   본 논문은 국소 관성 타입 궤적과 최소 아트킨 - 리 의사고유값 동치류의 호환 가능한 모든 쌍이 충분히 큰 가중치에 대해 비-CM 새로운 형식에 의해 실현됨을 증명한다. 이는 주 계열에 대한 웨인스타인 (Weinstein) 의 극한 중복도 결과와 이산 계열에 대한 김 - 신 - 템플리어 (Kim-Shin-Templier) 의 결과에 의존한다. 레벨 $N$에 대한 제한이 부과된다: $N$은 소수 거듭제곱이어야 하거나 모든 $p|N$에 대해 $v_p(N) \ge 3$ (홀수) 을 만족해야 하며, 이는 트레이스 공식 방법을 통해 지정된 국소 표현들을 동시에 고정할 수 있도록 보장한다.

주요 기여 및 결과

• 하한 틀의 확장: 본 논문은 DPT21 의 하한을 이차 네벤투푸스로 일반화한다. $LO(p^n, \Psi)$를 국소 타입 갈루아 궤적과 최소 아트킨 - 리 의사고유값 동치류의 호환 가능한 쌍의 수로 정의한다.
• 명시적 계수 공식: 저자들은 온화하게 분기된 경우와 비분기된 국소 네벤투푸스 경우를 다루며, $p=3$과 $p \neq 3$을 구분하는 $LT(p^n, \Psi)$ 및 $LO(p^n, \Psi)$에 대한 명시적 공식을 표 4–7 에 제공한다.
• 주요 정리 (정리 1.1): 지정된 조건을 만족하는 $N$과 이차 특성 $\Psi$에 대해, 모든 $k \ge k_0$에 대해 다음이 성립하는 $k_0$가 존재한다:
  $$\prod_{p|N} LO(p^{v_p(N)}, \Psi) \le N_{CM}(N, k, \Psi)$$
  이는 비-CM 갈루아 궤적 수에 대한 구체적인 하한을 확립한다.
• 대칭 궤적 vs 비대칭 궤적: 의사고유값 부호와 관련하여 대칭 궤적과 비대칭 궤적을 구분하는 것은 새로운 기여이다. 저자들은 국소 분석이 타입의 수를 결정하지만, 전역 갈루아 작용이 두 가능한 부호 ($\lambda, -\lambda$) 가 하나의 불변량으로 붕괴되는지 아니면 서로 구별되는지를 결정함을 보인다. 이는 최종 계수 공식에 $|S_{asym}|$라는 매개변수를 도입하며, 이는 전역 데이터 없이는 항상 명시적으로 계산할 수 없다.
• 계산적 증거: LMFDB 의 데이터를 사용하여 저자들은 작은 가중치에 대해 엄격한 부등식 $LO < N_{CM}$이 발생할 수 있음을 보여준다. 이는 전역적으로 구별되는 국소 불변량들이 갈루아 작용에 의해 식별될 수 있음을 의미하며, 이는 작은 가중치 형식의 계수 체에서는 아직 실현되지 않을 수 있음을 시사한다.

의의 및 주장
본 논문은 자명한 네벤투푸스에 대한 이전 연구가 남긴 공백을 메우며, 이차 네벤투푸스 설정에서 갈루아 궤적 수에 대한 첫 번째 체계적인 하한을 제공한다고 주장한다. 저자들은 중심 특성이 엄격한 제약을 부과하고 고전적인 아트킨 - 레너 부호가 의사고유값으로 대체되는 설정에서도 "국소 - 전역" 계수 전략이 성공적으로 적응됨을 주장한다.

본 논문은 정확한 점근적 계수에 대해서는 겸손한 입장을 취한다. 일반화된 마에다 철학에 기반하여 하한 $LO(N)$이 결국$N_{CM}(N, k, \Psi)$와 같아질 것이라고 추측하지만, 제시된 계산적 증거는 이차 네벤투푸스의 경우 큰 가중치에서도 부등식이 엄격할 수 있음을 시사한다. 이는 특정 국소 동치 (특히 의사고유값 부호와 관련하여) 가 모듈러 형식의 계수 체에 대한 갈루아 켤레를 통해 항상 전역적으로 실현되지 않음을 의미하며, 이는 자명한 네벤투푸스 경우에는 존재하지 않는 현상이다. 이 연구는 비자명한 특성을 갖는 모듈러 형식의 점근적 거동을 이해하는 토대를 마련하지만, 일반 레벨에 대한 비대칭 궤적 기여의 명시적 결정은 여전히 과제로 남아있다.