기술적 요약: 초특이 아이소게니 그래프 위의 $\mathbf{Z}_p$-타워에 대한 이와사와 $\lambda$-불변량의 분포

문제 제기

본 논문은 이중 초특이 $\ell$-아이소게니 그래프 (DSIGs) 위의 상수 $\mathbf{Z}_p$-타워와 관련된 이와사와 $\lambda$-불변량의 분포를 조사한다. 이 연구는 그래프 이론, 이와사와 이론, 그리고 타원곡선의 산술이 교차하는 지점에 위치한다.

연구의 핵심 대상은 유한체 $\mathbf{F}_r$의 대수적 폐포 위에서 정의된 초특이 $\ell$-아이소게니 그래프인 $SI(r, \ell)$이다. 여기서 $r$과 $\ell$은 서로 다른 소수이다. 정점들은 초특이 타원곡선의 동형류들을 나타내고, 간선들은 $\ell$-아이소게니를 나타낸다. 저자들은 $SI(r, \ell)$의 방향 간선들과 그 역들을 서로 다른 간선으로 취급하여 구성된 비방향 그래프인 "이중" 버전인 $X(r, \ell)$을 고려한다.

이 문제는 $X(r, \ell)$ 위의 특정 $\mathbf{Z}_p$-타워 (호환되는 $\mathbf{Z}/p^n\mathbf{Z}$-커버들의 시스템) 와 관련된 이와사와 $\lambda$-불변량 $\lambda_\ell$의 거동에 초점을 맞춘다. 구체적으로, 저자들은 모듈러 곡선의 레벨인 소수 $r$과 타워의 특성인 소수 $p$를 고정하고, 소수 $\ell$을 무한히 많은 소수들로 변화시킨다. 목표는 $\ell$이 변화함에 따라 $\lambda_\ell$이 취하는 값들의 통계적 분포를 결정하는 것이다.

방법론

1. 그래프 이론적 이와사와 이론

저자들은 Gonet 과 Vallières 가 개발한 그래프 이론적 이와사와 이론의 유사체를 활용한다. 그래프 $X$ 위의 $\mathbf{Z}_p$-타워에 대해, 복잡도 $\kappa(X_n)$ (n 번째 층의 스패닝 트리의 개수) 는 충분히 큰 $n$에 대해 다음과 같은 점근 공식을 만족한다:
$$\text{ord}_p(\kappa(X_n)) = \mu p^n + \lambda n + \nu$$
여기서 정수 $\mu$와 $\lambda$는 이와사와 불변량이다. $\lambda$-불변량은 타워를 정의하는 전압 할당과 기본 그래프의 인접 행렬로부터 유도된 타워의 특성 요소 $\Delta(T)$에 의해 결정된다.

2. 아이소게니 그래프의 스펙트럼 성질

초특이 아이소게니 그래프의 인접 행렬과 모듈러 형식 사이의 중요한 연결이 확립된다. Eichler 에 따르면, 인접 행렬 $A(SI(r, \ell))$의 고유값들은 레벨 $r$의 가중치 2 모듈러 형식의 $\ell$-번째 푸리에 계수들에 해당한다. 구체적으로, 스펙트럼은 다음으로 구성된다:

• Eisenstein 급수 $\mathcal{E}_2$에 해당하는 고유값 $\ell+1$.
• 공간 $S_2(\Gamma_0(r))$의 새로운 형식 (newforms) $f$가 변할 때의 고유값 $a_\ell(f)$.

저자들은 특정 전압 할당 ($\mathbf{Z}_p$에서 앞쪽 간선을 1 로, 뒤쪽 간선을 -1 로 매핑) 을 사용하여 $X(r, \ell)$ 위의 "상수 $\mathbf{Z}_p$-타워"를 정의한다. 그들은 이 타워의 특성 요소 $\Delta_\ell(T)$에 대한 공식을 유도하여, 그것이 인접 행렬의 고유값들과 관련된 항들로 인수분해됨을 보인다.

3. 갈루아 표현과 Big Image 정리

$\ell$이 변함에 따라 $\lambda_\ell$의 분포를 분석하기 위해, 저자들은 항 $\ell+1 - a_\ell(f)$의 $p$-진估值을 제어해야 한다. 이는 모듈로 $p$에 대한 푸리에 계수 $a_\ell(f)$의 분포를 이해하는 것을 요구한다.

본 논문은 Lei, Loeffler, Zerbes 에 의해 확립된 새로운 형식에 부착된 갈루아 표현에 대한 "Big Image 정리"를 활용한다. 복소수 곱셈이 없는 새로운 형식들의 집합 $f_1, \dots, f_s$ (갈루아 궤도의 대표원) 에 대해, 그들의 갈루아 표현 (및 원분 특성) 의 곱에 대한 이미지는 유한 개를 제외한 모든 소수 $p$에 대해 "크다" (관련 환 위의 일반 선형 군들의 전체 곱과 본질적으로 같다).

4. 체보타레프 밀도 정리

특성 요소의 스펙트럼 분해와 Big Image 정리를 결합함으로써, 저자들은 유한 확대 $K/\mathbf{Q}$의 갈루아 군의 특정 부분집합을 구성한다. 그들은 체보타레프 밀도 정리를 적용하여 프로베니우스 원소 $\text{Frob}_\ell$이 양의 밀도를 가진 특정 켤레류에 속함을 보인다. 이러한 클래스들은 계수 $a_\ell(f)$에 대한 특정 합동 조건에 해당하며, 이는 다시 $\lambda$-불변량의 값을 결정한다.

주요 기여 및 결과

1. $\lambda_\ell$에 대한 명시적 공식

저자들은 $X(r, \ell)$ 위의 상수 $\mathbf{Z}_p$-타워에 대한 이와사와 $\lambda$-불변량에 대한 명시적 공식을 유도한다. $r \equiv 1 \pmod{12}$이고 $\ell \equiv 1 \pmod{p}$라고 가정할 때, 그들은 다음을 증명한다:
$$\lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)|$$
여기서 $W$는 새로운 형식 궤도들의 인덱스의 부분집합이고, $|O(k)|$는 $k$번째 궤도의 크기 (새로운 형식의 헤케 체의 차수와 같다) 이다. 항 1 은 Eisenstein 급수 성분에서 비롯되며, 인자 2 는 이중 그래프의 구조에서 비롯된다.

2. 분포 정리 (주요 정리 1.2 / 5.5)

주요 결과는 고정된 소수 $r \equiv 1 \pmod{12}$와 유한 개를 제외한 모든 홀수 소수 $p$에 대해, $\lambda_\ell$이 특정 값을 취하는 소수 $\ell$들의 집합이 양의 하한 밀도를 가진다는 것이다.

구체적으로, 새로운 형식 궤도들의 임의의 부분집합 $W \subset \{1, \dots, s\}$에 대해, 다음 집합:
$$\mathcal{L}_W = \left\{ \ell : \ell \neq r, \ell \equiv 1 \pmod{p}, \lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)| \right\}$$
는 양의 하한 밀도를 가진다. 이는 $1 + 2 \sum |O(k)|$ 형태의 모든 가능한 값이 무한히 많은 소수 $\ell$에 의해 실현됨을 의미한다.

3. 새로운 형식 궤도와의 연결

본 논문은 이와사와 $\lambda$-불변량의 가능한 값들이 레벨 $r$의 새로운 형식들의 산술에 의해 엄격하게 결정됨을 보여준다. 새로운 형식 궤도의 크기 (헤케 체의 차수) 가 $\lambda_\ell$의 가능한 값들을 직접 결정한다.

4. 홀수 정수의 실현성에 대한 추측

LMFDB(L-functions and Modular Forms Database) 의 계산 데이터에 기반하여, 저자들은 다양한 $r$에 대해 값들의 집합 $\{1 + 2 \sum_{k \in W} |O(k)|\}$이 많은 홀수 정수들을 포괄한다는 것을 관찰한다. 그들은 추측 5.6을 제안한다: 임의의 음이 아닌 정수 $n$에 대해, $n = \sum |O(k)|$가 되도록 하는 소수 $r$과 새로운 형식 궤도의 부분집합이 존재한다. 이것이 참이라면, 모든 홀수 정수가 DSIG 위의 어떤 상수 $\mathbf{Z}_p$-타워에 대한 이와사와 $\lambda$-불변량으로 실현될 수 있음을 의미한다.

중요성과 주장

본 논문은 네 가지 구별된 영역 사이의 깊은 연결을 드러낸다고 주장한다:

1. 그래프 이론: 특히 아이소게니 그래프의 스펙트럼 이론.
2. 이와사와 이론: 그래프들의 타워에서의 불변량 연구.
3. 타원곡선: 초특이 곡선과 그들의 아이소게니의 산술.
4. 갈루아 표현: 새로운 형식의 푸리에 계수들의 분포.

저자들은 그들의 작업이 새로운 형식의 갈루아 표현에 적용된 체보타레프 밀도 정리를 통해 그래프 이론적 설정에서 이와사와 불변량의 분포를 예측하는 구체적인 메커니즘을 제공한다고 강조한다. 그들은 이전의 연구들 (예: Lei 와 Müller) 이 아이소게니 그래프의 $\mathbf{Z}_p$-타워를 연구했지만, 본 논문은 특히 "상수" 타워를 다루고 불변량들을 새로운 형식의 갈루아 궤도들과 연결하는 정확한 분포 정리를 확립했다고 지적한다.

본 논문은 주 대칭성을 보장하고 특정 초특이 $j$-불변량 (0 과 1728) 의 부재를 보장하기 위해 주요 정리를 $r \equiv 1 \pmod{12}$인 경우로 제한함으로써 범위에 있어 겸손하다. 저자들은 이 가정을 제거하기 위해 이론을 확장하는 것이 미래 연구의 자연스러운 방향이며, 이는 잠재적으로 모든 홀수를 $\lambda$-불변량으로 실현할 수 있게 할 것이라고 제안한다.

본 논문은 또한 아이소게니 그래프의 야코비안의 $p$-실로우 부분군들의 분포에 관한 Munier 와 Shnidman 의 관련 작업을 인정하며, 그들의 결과와 여기서 제시된 이와사와 이론적 관점 사이의 정확한 관계를 명확히 하는 것이 흥미로운 미해결 문제임을 지적한다.