비소거 p‑진법 로그의 비영점성에 관한 정밀 연구

초록

본 논문은 GL₂형 아벨리안 다양체와 힐베르트 모듈러 새로운 형태에 연관된 히머 점들의 p‑진법 로그가 모든 실 임베딩에 대해 영이 아님을 증명한다. 핵심 도구는 p‑진법 분석 부분군 정리이며, 이를 통해 Heegner 점의 비영점성 질문에 긍정적 답을 제시한다.

상세 분석

논문은 먼저 Bertolini‑Darmon‑Prasanna(BDP) 공식의 배경을 소개하고, 이 공식이 p‑진법 L‑함수와 Heegner 점의 p‑진법 로그 사이의 관계를 어떻게 나타내는지를 설명한다. BDP 공식에서 나타나는 로그 항은 p‑진법 로그 log ω_{B_f}(P_f)이며, 여기서 ω_{B_f}는 B_f의 전형적인 1‑형식이다. 저자들은 “Heegner 점 P_f가 비영점이면 그 p‑진법 로그가 영이 아닌가?”라는 자연스러운 질문을 제기한다. 이는 복소 L‑함수의 1차 영점과 Gross‑Zagier 공식, 그리고 Iwasawa 이론의 p‑진법 높이와 깊은 연관이 있다.

핵심 결과는 Theorem 1.1(및 2.3, 2.5 등)으로, A/ℚ가 차원 dim A=