On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

이 논문은 비일반적 (non-ordinary) 인 바이니치 모듈러 형식에 대한 $p$-진 아사이 $L$-함수를 구성하고, 이를 유계 $p$-진 $L$-함수들의 선형 결합으로 분해하는 방법을 제시합니다.

핵심

🍳 제목: "비정상적인 소금 (비정규 소수) 을 다스리는 새로운 레시피"

이 논문의 주인공은 **미히르 V. 디오 **(Mihir V. Deo)라는 수학자입니다. 그는 **비안키 모듈러 형 **(Bianchi modular form)이라는 아주 특별한 '수학적 요리'를 연구합니다. 이 요리는 **L-함수 **(L-function)라는 '맛의 지도'를 가지고 있는데, 이 지도의 특정 지점 (특수한 값) 들은 수학의 가장 큰 미스터리 중 하나인 '수론의 법칙'을 설명하는 열쇠입니다.

하지만 여기서 문제가 생깁니다. 이 요리를 만들 때 **소금 **(p-소수)을 넣어야 하는데, 어떤 소금은 **정말 짜서 **(비정규적, non-ordinary) 요리를 망칠 뻔합니다. 기존 연구자들은 소금이 적당할 때 (정규적, ordinary) 만 맛을 재는 방법을 알고 있었습니다.

이 논문은 **"소금이 너무 짜서 (비정규적) 요리를 망칠 것 같은 상황에서도, 어떻게 하면 그 맛 **(L-값)을 제시합니다.

---

🧩 핵심 내용 3 가지

1. 문제: "소금이 너무 짜서 레시피가 무너져요!"

• 상황: 수학자들은 복잡한 수식 (L-함수) 의 특정 값들을 계산할 때, 'p-진수 (p-adic)'라는 특수한 눈금을 사용합니다. 보통은 소금 (p) 이 적당히 들어갈 때 (정규적) 는 이 눈금으로 맛을 정확히 재는 '레시피 (p-진 L-함수)'가 있습니다.
• 문제: 하지만 소금이 너무 많이 들어간 경우 (비정규적, non-ordinary), 기존의 레시피는 무너집니다. 마치 소금기가 너무 강해서 설탕의 단맛을 전혀 느낄 수 없게 되는 것처럼, 수학적 계산이 발산하거나 제자리걸음을 합니다.
• 목표: 이 논문은 소금이 너무 짜더라도, 그 맛을 정확히 재고 기록할 수 있는 **새로운 레시피 **(p-진 분포)를 개발했습니다.

2. 해결책: "맛을 조절하는 '스마트 필터'와 '보정 레시피'"

저자는 두 가지 clever한 방법을 썼습니다.

• **방법 A: '맛의 조각'을 모으기 **(다항식과 오일러 시스템)

  • 기존에는 소금이 적당할 때만 한 번에 맛을 재는 도구를 썼습니다. 하지만 소금이 짜면 한 번에 재면 안 됩니다.
  • 저자는 **작은 조각들 **(다항식)을 만들어서, 각각의 맛을 따로따로 재고 이를 **하나의 큰 레시피 **(다항식)로 합쳤습니다.
  • 이때 **에이젠슈타인 원 **(Eisenstein elements)이라는 '맛의 기준점'을 사용했습니다. 마치 요리사가 "이 소금기 정도면 이만큼의 설탕이 필요하다"는 기준을 세운 것과 같습니다. 이 기준들을 통해 소금이 짠 정도에 따라 맛을 보정하는 새로운 다항식을 만들었습니다.

• **방법 B: '소금기 제거기' **(유계 분해)

  • 새로 만든 레시피는 여전히 소금기가 너무 강해서 (무한히 커지는 분모) 일반인이 쓰기엔 너무 위험합니다.
  • 그래서 저자는 Pollack, Sprung, Lei-Loeffler-Zerbes라는 선배 수학자들이 개발한 **'소금기 제거기 **(로그 행렬, Logarithmic matrix)를 사용했습니다.
  • 이 장치는 "짜고 위험한 레시피"를 받아서, **"두 가지 안전하고 맛있는 레시피 **(부호 있는 p-진 L-함수)로 쪼개어 줍니다.
  • 비유: 마치 아주 짠 국물을 받아서, "소금기 제거된 맑은 국물"과 "소금기 농축액"으로 나누어, 각각을 따로 안전하게 보관하고 사용하는 것과 같습니다.

3. 결과: "비정상적인 상황에서도 수학적 진실을 발견하다"

• 이 연구를 통해 수학자들은 **소금이 너무 짠 상황 **(비정규 소수)에서도 L-함수의 값을 정확히 예측할 수 있게 되었습니다.
• 이는 **이와와스 이론 **(Iwasawa theory)이라는 거대한 수학적 건축물을 더 튼튼하게 만드는 기초 공사가 되었습니다. 마치 건물의 기초가 약한 곳 (비정규 소수) 에 새로운 보강재를 넣어 건물을 더 안전하게 만든 것과 같습니다.

---

🌟 왜 이 연구가 중요할까요?

1. 수학적 퍼즐의 완성: 수론에는 아직 풀리지 않은 거대한 퍼즐 (Bloch-Kato 추측 등) 이 있습니다. 이 논문은 퍼즐의 가장 어렵고 까다로운 조각 (비정규 소수) 을 끼워 넣는 방법을 찾아냈습니다.
2. 새로운 도구: 이 논문에서 개발된 '다항식'과 '로그 행렬' 기법은 다른 복잡한 수학 문제에도 적용될 수 있는 강력한 도구가 됩니다.
3. 예측 불가능한 상황의 통제: 수학에서 '비정규적'인 상황은 예측하기 어렵고 혼란스러운 경우가 많습니다. 이 논문은 그 혼란을 체계적으로 정리하고 통제할 수 있는 방법을 제시했습니다.

📝 한 줄 요약

"이 논문은 **소금이 너무 짜서 **(비정규 소수)를 개발하고, 이를 **안전하고 맛있는 두 가지 레시피 **(부호 있는 L-함수)로 나누어 저장하는 방법을 찾아낸, 수학적 요리사의 혁신적인 레시피입니다."

이 연구는 수학적 추상성을 넘어, 우리가 아직 이해하지 못하는 수의 세계를 조금 더 명확하게 보여주는 중요한 발걸음입니다.

기술 요약

이 논문은 **비안키 모듈러 형식 (Bianchi modular forms)**의 **Asai L-함수 (또는 꼬인 텐서 L-함수)**에 대한 p-진 L-함수를 비-정규 (non-ordinary) 소수 $p$에서 구성하고, 이를 유계된 (bounded) p-진 L-함수로 분해하는 방법을 다룹니다. 저자 미히르 V. 디오 (Mihir V. Deo) 는 Loefler 와 Williams 가 정형 (ordinary) 인 경우에 수행한 작업을 비정형 (non-ordinary) 경우로 확장하고, Pollack, Sprung, Lei-Loeffler-Zerbes 가 타원 모듈러 형식에서 개발한 기법을 비안키 형식으로 일반화합니다.

다음은 논문의 기술적 요약입니다.

---

1. 연구 문제 및 배경 (Problem Statement)

• 배경: 수론에서 L-함수의 특수값 (특히 임계값) 은 Bloch-Kato 추측과 같은 중요한 산술적 정보를 담고 있습니다. 이를 이해하기 위해 복소수 L-함수의 p-진 아바타 (p-adic avatar) 인 p-진 L-함수를 구성하는 것이 핵심 과제입니다.
• 기존 연구: Loeffler 와 Williams 는 $p$가 **정규 (ordinary)**인 경우, 비안키 모듈러 형식 $\Psi$에 대한 Asai L-함수의 p-진 측도 (measure) 를 구성했습니다. 이 경우, Asai-Eisenstein 원소 (Asai-Eisenstein elements) 를 사용하여 단일 측도를 정의할 수 있었습니다.
• 문제점: $p$가 **비정규 (non-ordinary)**인 경우 (즉, $U_p$ 고유값 $a_p$가 $p$-진 정수환의 단위가 아닐 때), Loeffler-Wiliams 의 방법은 실패합니다. 비정규 상황에서는 Asai-Eisenstein 원소 하나만으로는 모든 꼬임 (twist) 을 보간할 수 없으며, 분포 (distribution) 가 발산할 수 있습니다.
• 목표: $p$가 비정규이지만 **작은 기울기 (small slope, $v_p(a_p) < k+1$)**를 갖는 비안키 모듈러 형식 $\Psi$에 대해, Asai L-함수의 꼬인 임계값을 보간하는 **p-진 분포 (p-adic distribution)**를 구성하고, 이를 **유계된 p-진 L-함수 (bounded p-adic L-functions)**로 분해하는 것입니다.

2. 방법론 (Methodology)

논문은 다음과 같은 주요 기법들을 결합하여 문제를 해결합니다.

A. 다항식 보간 및 Asai-Eisenstein 원소

• Asai-Eisenstein 원소: Loeffler-Wiliams 가 구성한 Betti 코호몰로지의 Asai-Eisenstein 원소들을 기반으로 합니다. 이는 Beilinson-Flach Euler 시스템의 Betti 대응물입니다.
• 다항식 구성: 비정규 상황에서 꼬임 (twist) 을 보간하기 위해 Amice-Vélu, Višik, Perrin-Riou, Büyükboduk-Lei 가 개발한 다항식 보간법을 사용합니다.
  • $\Psi$에 연관된 모듈러 심볼 $\phi^*_\Psi$와 Asai-Eisenstein 원소 $\Xi_{pr,N,at}^{k,j}$를 쌍대성 (Poincaré duality) 을 통해 짝지어 다항식 $P_{r,j}(T)$를 구성합니다.
  • 이 다항식들은 $r$에 따라 일련의 합동 관계 (congruence relations) 와 노름 (norm) 성질을 만족합니다.

B. 합동성 증명 (Congruence Results)

• 핵심 보조정리 (Lemma 5.7, 6.1): Asai-Eisenstein 원소의 모멘트 맵 (moment maps) 과 Clebsch-Gordan 사상을 이용하여, 다양한 꼬임에 대한 원소들 사이의 합동 관계를 증명합니다.
  • 특히, $p^r$을 법으로 하는 합동식과 $p^{jr}$을 법으로 하는 더 강력한 합동식을 유도하여, 다항식들의 계수가 발산하지 않고 적절한 성장 조건을 만족함을 보입니다.
  • 이는 Loeffler-Zerbes 가 타원 모듈러 형식에서 사용한 방법의 Betti 코호몰로지 버전입니다.

C. p-진 분포의 구성

• Amice 변환 및 분포 공간: 구성된 다항식들의 극한을 취하여 Iwasawa 대수 위의 p-진 분포를 정의합니다.
  • 이 분포는 $v_p(a_p)$-적응 가능한 (admissible) 분포 공간 $H_{E, v_p(a_p)}(\Gamma)$에 속하며, 계수는 무한히 커질 수 있지만 (unbounded denominators), 특정 성장 조건 ($O(\log_p^{v_p(a_p)})$) 을 만족합니다.
• 보간성 (Interpolation Property): 이 분포는 Dirichlet 문자 $\theta$와 정수 $j$에 대해 Asai L-함수의 임계값 $L^{As}(\Psi, \theta, j+1)$을 보간합니다.

D. 부호付き L-함수 분해 (Signed L-functions Decomposition)

• 로그 행렬 (Logarithmic Matrix): Wach 모듈 이론과 로그 행렬 기법 (Lei-Loeffler-Zerbes, Sprung 등) 을 적용합니다.
• 분해: 구성된 무계 (unbounded) 분포를 두 개의 유계된 (bounded) p-진 L-함수 (부호付き L-함수, signed L-functions) 의 선형 결합으로 분해합니다.
  • 이는 $p$가 $F$에서 분할되는 경우 ($p\mathcal{O}_F = \mathfrak{p}\bar{\mathfrak{p}}$) 에 적용되며, $p$-stabilization 된 형식 $\Psi^{\tilde{\alpha}}$와 $\Psi^{\tilde{\beta}}$에 대한 분포를 행렬을 통해 연결합니다.

3. 주요 결과 (Key Results)

정리 A: p-진 Asai 분포의 구성 (Theorem 6.5, 6.7)

• $p$-비정규이고 작은 기울기를 가진 비안키 모듈러 형식 $\Psi$에 대해, 임계값을 보간하는 p-진 분포 $\mathcal{L}^{As}_p(\Psi)$가 존재합니다.
• 이 분포는 $HE, v_p(a_p)(\Gamma)$ 공간에 속하며, 임의의 Dirichlet 문자 $\theta$와 $0 \le j \le k$에 대해 다음을 만족합니다:
  $$\mathcal{L}^{As}_p(\Psi, \theta, j) \propto L^{As}(\Psi, \theta, j+1)$$
  (단, $(-1)^j \theta(-1) = 1$인 경우에만 0 이 아님).
• 이 구성은 가설적인 Asai motive 의 존재 여부와 무관하게 성립합니다.

정리 B: 부호付き L-함수 분해 (Theorem 7.3, 7.6)

• $p$가 $F$에서 분할되고, $\Psi$가 한 소수에서는 비정규, 다른 소수에서는 정규인 경우, 무계 분포 $\mathcal{L}^{As}_p(\Psi)$를 로그 행렬 $\tilde{M}$을 사용하여 두 개의 유계된 p-진 L-함수 ($\mathcal{L}^{As, \sharp}_p, \mathcal{L}^{As, \flat}_p$) 로 분해할 수 있습니다.
  $$\begin{pmatrix} \mathcal{L}^{As}_p(\Psi^{\tilde{\alpha}}) \\ \mathcal{L}^{As}_p(\Psi^{\tilde{\beta}}) \end{pmatrix} = \tilde{Q}^{-1} \tilde{M} \begin{pmatrix} \mathcal{L}^{As, \sharp}_p \\ \mathcal{L}^{As, \flat}_p \end{pmatrix}$$
• 이 분해는 **부호付き Iwasawa 주추측 (Signed Iwasawa Main Conjecture)**을 공식화하는 데 필수적입니다.

4. 의의 및 기여 (Significance)

1. 비정규 상황의 일반화: Loeffler-Wiliams 의 정형 (ordinary) 결과물을 비정형 (non-ordinary) 상황으로 확장하여, Asai L-함수에 대한 p-진 이론의 범위를 크게 넓혔습니다.
2. Euler 시스템 기법의 적용: Beilinson-Flach 요소와 유사한 Asai-Eisenstein 요소를 사용하여, 비안키 모듈러 형식의 맥락에서 꼬임 보간 (twist interpolation) 을 성공적으로 수행했습니다.
3. Iwasawa 이론의 기초 마련: 구성된 p-진 분포와 부호付き L-함수는 Harron-Pottharst 스타일의 Iwasawa 주추측을 증명하기 위한 핵심 도구로 사용될 수 있습니다. 특히, 분포가 생성하는 아이디얼과 Selmer 복합체 사이의 관계를 규명하는 데 기여합니다.
4. 기술적 혁신: Betti 코호몰로지에서의 합동성 증명과 로그 행렬 기법의 비안키 형식 적용은 향후 고차원 모듈러 형식이나 다른 수체에서의 p-진 L-함수 구성에 중요한 방법론적 토대를 제공합니다.

5. 결론

이 논문은 비안키 모듈러 형식의 Asai L-함수에 대한 p-진 이론에서 중요한 격차를 메웠습니다. 비정규 소수에서의 무계 분포를 구성하고, 이를 유계된 부호付き L-함수로 분해함으로써, Iwasawa 이론과 산술 기하학의 깊은 연결을 위한 새로운 장을 열었습니다. 이는 향후 비정규 상황에서의 주추측 증명 및 관련 산술적 성질 연구에 필수적인 기반이 될 것입니다.