Iwasawa invariants of Bertolini--Darmon Theta Elements

기술적 요약: Bertolini–Darmon Theta 원소의 Iwasawa 불변량

문제 제기
본 논문은 허수 이차체 $K$의 반순환 $\mathbb{Z}_p$-확장 내에서 가중치 2 모듈러 형식 $f \in S_2(\Gamma_0(N))$에 부착된 Bertolini–Darmon theta 원소의 Iwasawa 불변량 ($\mu$ 및 $\lambda$) 을 조사한다. 이 연구는 소수 $p \geq 5$에서의 두 가지 서로 다른 축소 시나리오, 즉 일반적 (ordinary) 경우와 비일반적 (non-ordinary) 경우를 다룬다.

이 연구는 순환적 (cyclotomic) 설정 (특히 Pollack–Weston 과 Leonard–Lei 의 결과) 에서 알려진 결과들을 반순환적 설정으로 확장하는 것을 목표로 한다. 순환적 맥락에서 Mazur-Tate 원소의 Iwasawa 불변량은 $p$-진 $L$-함수의 불변량과 관련이 있는 것으로 알려져 있다. 본 논문은 Bertolini–Darmon theta 원소 ($L_{f,n}$) 와 관련된 반순환적 $p$-진 $L$-함수 ($L_p(f, K_\infty)$ 또는 $L_p(f, K)^\ast$) 에 대해 유사한 관계를 확립하고자 한다.

방법론
저자들은 대수적 Iwasawa 이론과 정적 사분수 대수 (definite quaternion algebras) 위의 모듈러 형식의 산술을 결합하여 활용한다.

1. 설정 및 정의:

   • 저자들은 $K$에서 분기되지 않은 소수 $p$를 가진 허수 이차체 $K$를 고정한다. 레벨 $N$은 $N = N^+ N^-$로 분해되는데, 여기서 $N^+$를 나누는 소수들은 $K$에서 분해되고 $N^-$를 나누는 소수들은 비분해 (inert) 된다. $N^-$는 제곱인수가 없으며 홀수 개의 소수의 곱이라고 가정한다.
   • Bertolini–Darmon theta 원소 $L_{f,n} \in \mathcal{O}[Gal(K_n/K)]$는 Jacquet–Langlands 대응을 통해 정의되며, 이는 모듈러 형식 $f$를 판별식이 $N^-$인 정적 사분수 대수에 연관된 Bruhat–Tits 트리 위의 함수와 동일시한다.
   • 이러한 원소들은 Hecke 고유값 $a_p(f)$와 노름 사상 (norm maps) 을 포함하는 3 항 점화식을 만족한다.

2. 일반적 경우:

   • $f$가 $p$에서 일반적일 때, 저자들은 $p$-안정화된 theta 원소 ($L_{f\alpha, n}$) 를 이용하여 반순환적 $p$-진 $L$-함수 $L_p(f/K_\infty)$를 사영 극한으로 정의한다.
   • 그들은 Iwasawa 대수 $\Lambda \cong \mathcal{O}[[T]]$의 성질과 사영 및 노름 사상 하에서 $\mu$와 $\lambda$의 거동에 관한 특정 보조정리를 사용하여 유한 레벨 원소 $L_{f,n}$의 불변량과 무한 레벨 $L$-함수 사이의 관계를 분석한다.

3. 비일반적 경우:

   • 이 설정에서 저자들은 $p$가 $K$에서 분해된다고 가정한다. 그들은 theta 원소를 정수 $\sharp/\flat$ $p$-진 $L$-함수 ($L_p^\sharp(f, K_\infty)$ 및 $L_p^\flat(f, K_\infty)$) 와 연결하기 위해 "Sprung-type" 로그 행렬 ($M_{f,n}$) 을 구성한다.
   • 주요 기술적 단계는 $\sharp/\flat$ $L$-함수의 관점에서 $\omega_n$ (여기서 $\omega_n = (1+T)^{p^n}-1$) 모듈로 theta 원소의 합동성을 분석하는 것이다. 이를 통해 저자들은 $L_{f,n}$을 순환 다항식 인자 ($\omega_n^\pm$) 와 $L$-함수 원소의 곱으로 표현할 수 있다.
   • 저자들은 $a_p(f) = 0$인지 $a_p(f) \not\equiv 0 \pmod{\varpi}$인지에 따라 경우를 구분하며, 비일반적 설정에서 $a_p(f) \equiv 0 \pmod{\varpi}$라는 사실을 이용하여 행렬 관계를 단순화한다.

주요 기여 및 결과

• 일반적 경우 (정리 A / 정리 4.1):
  저자들은 반순환적 설정에 대한 Pollack–Weston 의 결과의 유사체를 증명한다. $f$가 좋은 일반적 축소를 가지며 $\mu(L_p(f/K_\infty)) = 0$이라고 가정할 때, 충분히 큰 $n$에 대해 다음이 성립함을 확립한다:

  1. $\mu(L_{f,n}) = 0$.
  2. $2\lambda(L_{f,n}) = \lambda(L_p(f/K_\infty))$.
     이는 theta 원소의 $\lambda$-불변량이 $p$-진 $L$-함수의 $\lambda$-불변량의 정확히 절반임을 확인하며, $L$-함수의 $\mu$-불변량이 소멸하면 theta 원소의 $\mu$-불변량도 소멸함을 보여준다.

• 비일반적 경우 (정리 B / 정리 5.10):
  저자들은 Leonard–Lei 의 결과를 반순환적 설정으로 확장한다. $p$가 $K$에서 분해되고 $\mu(L_p^\sharp) = \mu(L_p^\flat) \neq \infty$라고 가정할 때, 그들은 $L_{f,n}$의 불변량을 $\sharp/\flat$ $L$-함수 ($L_p(f, K)^\ast$) 의 불변량과 관련시킨다.
  충분히 큰 $n$에 대해 ($n$의 패리티가 $\sharp$ 또는 $\flat$ 가지가 활성화되는지를 결정함):

  1. $\mu(L_p(f, K)^\ast) = 2\mu(L_{f,n})$.
  2. $\lambda(L_p(f, K)^\ast) = 2\lambda(L_{f,n}) = 2\lambda(L^\ast_f) + 2q_n$.
     여기서 $q_n$은 $n$의 패리티에 의존하는 $p$에 대한 특정 다항식이다 (예: 짝수 $n$의 경우 $p^{n-1} - p^{n-2} + \dots - 1$).

의의 및 주장
본 논문은 허수 이차체의 반순환적 확장에 대한 Pollack–Weston 과 Leonard–Lei 의 알려진 순환적 결과들을 성공적으로 일반화했다고 주장한다. 유한 레벨 Bertolini–Darmon theta 원소의 Iwasawa 불변량과 해당 $p$-진 $L$-함수의 불변량을 연결하는 정확한 공식을 확립함으로써, 이 작업은 비일반적 경우에서 이러한 원소의 산술적 성질에 대한 더 깊은 이해를 제공한다.

저자들은 증명 전략이 Sprung-type 행렬을 사용하여 theta 원소를 $\sharp/\flat$ $L$-함수로 표현하는 데 의존하며, 이를 통해 불변량 성질을 $L$-함수에서 theta 원소로 전이시킬 수 있다고 지적한다.

향후 방향
저자들은 명시적으로 $p$가 $K$에서 비분해 (inert) 되는 경우에 대한 정리 B 의 유사체는 진행 중인 작업이며 본 논문에서 다루지 않았다고 밝힌다.