[논문 리뷰] The special value $u=1$ of Artin-Ihara $L$-functions

Kyle Hammer, Thomas W. Mattman외 2명|arXiv (Cornell University)|2019. 07. 10.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 다중그래프의 아벨 커버에 대한 고전적 Brumer 추측의 유사체를 수립하며, Artin-Ihara L-함수의 특수값 $ u = 1 $ 이 군환 $ \mathbb{Z}[G] $ 내의 특정 이상을 소멸시킴을 증명한다. 또한 Stickelberger 이상과 유사한 이상의 차수를 계산하여, 아벨 커버에서의 스패닝 트리 수가 기저 그래프의 것에 의해 나누어떨어짐을 보인다.

ABSTRACT

We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.

연구 동기 및 목표

• 다중그래프의 아벨 커버의 맥락에서 Brumer 추측의 유사체를 수립하기 위해.
• 알제브라적 수론에서 고전적인 Stickelberger 이상과 유사한 $ \mathbb{Z}[G] $ 내 이상의 차수를 계산하기 위해.
• 아벨 다중그래프 커버에서 스패닝 트리 수의 나누어떨어짐 성질을 조사하기 위해.
• 수론의 등변 특수값 결과를 Artin-Ihara $ L $-함수를 사용하여 다중그래프의 맥락으로 확장하기 위해.

제안 방법

• 다중그래프의 아벨 커버의 자기동형군의 특성에 대해 Artin-Ihara $ L $-함수를 정의하기 위해.
• Ihara 제타함수의 Artin-Ihara $ L $-함수로의 인수분해를 이용하여 $ u = 1 $에서의 특수값을 연구하기 위해.
• Galois 커버 $ Y/X $에 대해 군 $ G $ 를 갖는 $ \mathrm{Jac}(Y) $ 와 $ \mathrm{Jac}(X) $ 의 구조를 분석하기 위해, 인자와 아벨 다양체 위의 제약 및 복귀 사상(제약 및 복귀 사상)을 적용하기 위해.
• $ \mathbb{Z}[G] $-모듈의 정확한 수열에 대해 스패이너 레마를 적용하여 $ \mathrm{res}: \mathrm{Jac}(Y) \to \mathrm{Jac}(X) $ 의 상사상성과 $ \mathrm{cor}: \mathrm{Jac}(X) \to \mathrm{Jac}(Y) $ 의 단사성을 증명하기 위해.
• $ \mathrm{Jac}^0(Y) = \{[D] \mid N_G \cdot [D] = 0\} $ 라는 부분군을 정의하고, 그 차수를 $ \kappa_Y / \kappa_X $ 비율과 연결하기 위해, 여기서 $ \kappa_X, \kappa_Y $ 는 스패닝 트리의 수이다.
• $ \phi_X $ 와 $ \phi_Y $ 를 포함하는 교환도형을 수립하고, 코homological 기법을 사용하여 $ \phi_Y(\mathrm{Div}(Y)^G) = \mathrm{Pr}(Y)^G $ 를 보여주어 차수 계산을 가능하게 하기 위해.

실험 결과

연구 질문

• RQ1 Artin-Ihara $ L $-함수의 맥락에서 다중그래프의 아벨 커버에 대해 Brumer 추측의 유사체가 성립하는가?
• RQ2 Stickelberger 이상과 유사한 $ \mathbb{Z}[G] $ 내 이상의 차수는 특수값 $ u = 1 $ 에서의 Artin-Ihara $ L $-함수의 값으로 생성된 이상에 대해 무엇인가?
• RQ3 아벨 다중그래프 커버에서의 스패닝 트리 수는 기저 그래프의 것과 어떻게 관련이 있는가?
• RQ4 다중그래프 커버의 아벨 다양체의 구조는 수론의 클레스 수와 유사한 산술 불변량을 도출하는 데 사용될 수 있는가?

주요 결과

• Artin-Ihara $ L $-함수의 특수값 $ u = 1 $ 이 이상 $ \theta_{Y/X}^*(1) \cdot e \cdot \mathbb{Z}[G] $ 를 소멸시키며, Brumer 추측의 유사체를 수립한다.
• 생성된 이상의 차수는 $ 2^{(d-1)(r_X - 1)} \cdot |\mathrm{Jac}^0(Y)| $ 이며, 여기서 $ d = |G| $ 이고 $ r_X $ 는 기저 그래프의 사이클 공간의 랭크이다.
• 모든 아벨 커버 $ Y/X $ 에 대해 스패닝 트리 수 $ \kappa_X $ 는 $ \kappa_Y $ 를 나누며, 즉 $ \kappa_X \mid \kappa_Y $ 이다.
• 제약 사상은 $ \mathrm{res}: \mathrm{Jac}(Y) \to \mathrm{Jac}(X) $ 에서 상사상이 되며, 복귀 사상은 $ \mathrm{cor}: \mathrm{Jac}(X) \to \mathrm{Jac}(Y) $ 에서 단사이다.
• $ \mathrm{Jac}(Y) $ 에서의 노름 사상 $ N_G $ 의 핵, 즉 $ \mathrm{Jac}^0(Y) $ 는 차수 $ \kappa_Y / \kappa_X $ 를 가진다.
• 자연스러운 동형사상 $ \mathrm{Jac}(Y)/\mathrm{Jac}^0(Y) \simeq \mathrm{Jac}(X) $ 가 존재하며, 이는 커브의 아벨 다양체를 그 노름의 핵으로 나눈 몫이 기저의 아벨 다양체와 동형임을 보여준다.