[논문 리뷰] On the local density formula and the Gross-Keating invariant with an Appendix `The local density of a binary quadratic form' by T. Ikeda and H. Katsurada

Sungmun Cho|arXiv (Cornell University)|2018. 05. 09.

Advanced Algebra and Geometry참고 문헌 9인용 수 3

한 줄 요약

이 논문은 비분열 2진체 위의 이차 격자에서 국소 밀도가 $L \oplus -L$의 그로스-키팅 불변량과 모든 관련 $i$에 대해 $ \mathrm{EGK}(L \cap 2^i L^\sharp)^{\leq 1}$인 확장된 그로스-키팅 불변량에 의해 완전히 결정됨을 증명하며, 국소 밀도가 GK 자료를 통해 표현될 수 있는가에 대한 핵심 질문을 해결한다. 부록에는 2진체 위의 이항 이차 형식에 대한 완전한 국소 밀도 공식이 제시되어 있다.

ABSTRACT

T. Ikeda and H. Katsurada have developed the theory of the Gross-Keating invariant of a quadratic form in their recent papers [IK1] and [IK2]. In particular, they prove that the local factor of the Fourier coefficients of the Siegel-Eisenstein series is completely determined by the Gross-Keating invariant with extra datum, called the extended GK datum, in [IK2]. On the other hand, such local factor is a special case of the local densities for a pair of two quadratic forms. Thus we propose a general question if the local density can be determined by certain series of the Gross-Keating invariants and the extended GK datums. In this paper, we prove that the answer to this question is affirmative, for the local density of a single quadratic form defined over an unramified finite extension of $\mathbb{Z}_2$. In the appendix, T. Ikeda and H. Katsurada compute the local density formula of a single binary quadratic form defined over any finite extension of $\mathbb{Z}_2$.

연구 동기 및 목표

• 국소 2진체 위의 이차 격자에서 국소 밀도가 확장된 그로스-키팅(EGK) 자료로 완전히 표현될 수 있는가를 규명하는 것.
• 이카다와 카츠루다가 이르기로 한, 시겔-에이젠스타인 급수의 푸리에 계수들이 EGK 불변량에 의해 지배됨을 보인 프레임워크를 국소 밀도 $\alpha(L,L)$의 경우로 일반화하는 것.
• 비분열 2진체 위의 격자에 대해 국소 밀도 $\alpha(L,L)$의 완전한 불변량 이론적 특성화를 수립하는 것.
• 기초 결과로서 부록에 이항 이차 형식에 대한 완전한 국소 밀도 공식을 제공하는 것.

제안 방법

• 저자들은 격자 $L$의 조르당 분해의 각 조르당 성분 $L_i$에 대해 확장된 그로스-키팅 불변량 $\mathrm{EGK}(L \cap 2^i L^\sharp)^{\leq 1}$을 정의한다.
• 그들은 조르당 분해 $L = \oplus_i L_i$를 이용하여 $L \cap 2^i L^\sharp$의 구조를 분석하고 그 그로스-키팅 불변량을 계산한다.
• 주요 결과는 국소 밀도 $\alpha(L,L)$가 $\mathrm{GK}(L \oplus -L)$와 다중집합 $\{ \mathrm{EGK}(L \cap 2^i L^\sharp)^{\leq 1} \}_{i \in \mathbb{Z}}$에만 의존한다는 것을 보여줌으로써 도출된다.
• 증명은 비분열 2진체 위의 이차 격자 구조에 대한 세밀한 분석에 기반하며, 특히 노름 형식과 쌍대 격자 $L^\sharp$의 사용을 포함한다.
• 부록에서는 유한 확장 $\mathbb{Z}_2$ 위의 이항 이차 형식의 국소 밀도를 명시적 불변량과 분할 분석(분열성과 순서에 기반)을 통해 계산한다.
• 저자들은 감소형과 약한 동치의 개념을 사용하여 관련 격자를 분류하고 그들의 불변량을 계산한다.

실험 결과

연구 질문

• RQ1 비분열 2진체 위의 이차 격자 $L$에 대해 국소 밀도 $\alpha(L,L)$가 확장된 그로스-키팅 불변량으로 완전히 결정될 수 있는가?
• RQ2 모든 $i$에 대해 다중집합 $\mathrm{EGK}(L \cap 2^i L^\sharp)^{\leq 1}$이 $\mathrm{GK}(L \oplus -L)$와 함께 결합될 경우, $\alpha(L,L)$를 결정하는 데 충분한가?
• RQ3 2진체 위의 이항 이차 형식에 대한 완전한 국소 밀도 공식은 무엇인가?
• RQ4 불변량 $\mathrm{GK}(L \oplus -L)$과 $\mathrm{EGK}(L \cap 2^i L^\sharp)^{\leq 1}$은 서로 다른 국소 밀도를 가진 격자를 구별하는 데 충분한가?

주요 결과

• 비분열 $\mathbb{Z}_2$ 유한 확장 위의 이차 격자 $L$에 대해 국소 밀도 $\alpha(L,L)$는 $\mathrm{GK}(L \oplus -L)$와 모든 $i$에 대해 $L \cap 2^i L^\sharp \neq 0$인 경우의 다중집합 $\mathrm{EGK}(L \cap 2^i L^\sharp)^{\leq 1}$에 의해 완전히 결정된다.
• 부록은 임의의 $\mathbb{Z}_2$ 유한 확장 위의 이항 이차 형식에 대한 국소 밀도의 완전한 공식을 제시하며, 이는 그로스-키팅 불변량과 체 확장의 분열 성질에 의해 표현된다.
• 2차 확장 $E/F$ 위의 격자 $L = \mathfrak{o}_{E,f}$에 대해, $\mathrm{EGK}(L \cap \varpi^i L^\sharp)^{\leq 1}$의 값은 분열도와 순서 $f$에 따라 달라진다.
• 저자들은 $e > 1$일 경우 $\mathrm{GK}(L \oplus -L)$와 $\mathrm{EGK}(L \cap \varpi^i L^\sharp)^{\leq 1}$만으로는 $\beta(L)$를 결정할 수 없음을 보여주는 명시적 반례를 구성하지만, 전체 불변량 집합은 $\alpha(L,L)$를 결정하는 데에는 충분하다.
• 결과적으로 확장된 GK 자료가 2진 비분열 케이스에서 국소 밀도 $\alpha(L,L)$에 대해 완전한 불변량 체계임을 확인한다.