Shortest nonzero lattice points in a totally real multi-quadratic number field and applications

기술 요약: 전실수 다중 이차 수체에서의 최단 비영(Nonzero) 격자점과 그 응용

문제 정의
본 논문은 대수적 수론과 자가형식(automorphic forms) 이론의 상호 연결된 두 가지 문제를 다룬다. 첫째, 전실수 다방향 이차 수체(totally real multi-quadratic number field) $F = \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_n})$ 내의 유리 이데알(fractional ideal) $M$에 대하여, 최단 비영 격자점의 집합 $B_M = \{s \in M : \|\sigma(s)\| = \min(M)\}$을 명시적으로 특징짓는 것을 목표로 한다. 여기서 $\|\sigma(s)\| = \sqrt{\sum_{i=1}^r (\sigma_i(s))^2}$는 $s$의 임베딩 벡터의 유클리드 노름을 나타낸다. 둘째, 본 논문은 이러한 특징화를 활용하여 해당 수체 위에서의 힐베르트 큐스프 형식(Hilbert cusp forms)에 대한 페테르손 트레이스 공식(Petersson trace formula)의 점근 전개를 정교화하는 것을 목표로 한다. 이 연구의 동기는 고유값들의 확률 측도 사이의 불일치를 이해하기 위해 정밀한 최소 노름 $\min(M)$ 및 $B_M$의 구조에 대한 지식이 필요하다는 데서 기인한다.

방법론
저자는 대수적 항등식, 디오판토스 분석, 그리고 해석적 수론의 결합을 사용한다:

1. 대수적 항등식: 본 논문은 이진 튜플(binary tuples)에 의해 결정되는 부호들을 포함하는 선형 결합의 제곱 합에 관한 일반적인 대수적 항등식(정리 4)을 확립한다. 이 항등식은 다중 이차 수체의 원소들의 임베딩에 적용되어 $\|\sigma(s)\|^2$에 대한 명시적인 공식(정리 5)을 도출하는 데 사용된다.
2. 디오판토스 분류: 도출된 노름 공식을 최소 노름의 제곱과 등치시킴으로써, 저자는 최단 비영 격자점을 특정 디오판토스 방정식의 유리 해로 분류한다(정리 2). 본 논문은 "자명한 해"(변수가 최대 하나만 0이 아닌 경우)와 비자명한 해를 구분한다.
3. 트레이스 공식의 정교화: 저자는 힐베르트 큐스프 형식을 위한 페테르족 트레이스 공식을 재검토한다(Knightly와 Li의 연구에 기반한 정리 6). 가중치 $k_0 \to \infty$에 따른 점근적 거동을 분석한다. 핵심 단계는 특정 노름 범위를 만족하는 이데알 클래스 대표 원소들의 집합 $A_i$를 분석하는 것이다. 저자는 다중 이차 수체의 경우, 만약 디오판토스 방정식이 자명한 해를 갖는다면 집합 $A_i$가 해당 자명한 해에 대응하는 단일 원소로 축소됨을 입증한다. 만약 자명한 해가 존재하지 않는다면, $A_i$는 공집합이 된다.

주요 기여 및 결과

• 명시적 노름 공식 (정리 1 및 5): 본 논문은 $s \in \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_n})$인 원소에 대한 $\|\sigma(s)\|$의 명시적 공식을 제공한다. $s$가 제곱근의 기저(basis)로 표현될 때, 제곱 노름은 계수들에 의해 가중치가 부여된 $d_i$의 제곱 합에 $2^n$을 곱한 값임이 밝혀진다.
• 트레이스 및 교차항 공식 (따름정리 1.1): 결과로서, 트레이스 $\text{Tr}(s)$와 서로 다른 임베딩들의 곱의 합 $\sum_{i<j} \sigma_i(s)\sigma_j(s)$에 대한 명시적 공식이 유도된다.
• 최단 벡터의 특징화 (정리 2): 유리 이데알 $M$의 최단 비영 격자점 집합은 다음 디오판토스 방정의 유리 해를 형성하는 원소들의 집합으로 정확히 식별된다:
  $$2^n \left( X_0^2 + \sum_{i=1}^n d_i X_i^2 + \sum_{i'=2}^n \binom{n}{i'} \sum_{j'=1}^{\binom{n}{i'}} Y_{i',j'}^2 \prod_{\alpha=1}^{i'} d_{s_\alpha} \right) = (\min(M))^2$$
• 페테르손 트레이스 공식의 정교화된 점근식 (정리 3): 본 논문은 페테르손 트레이스 공식의 정교화된 점근 공식을 제시한다.
  • 주어진 인덱스 $i$에 대해 연관된 디오판토스 방정식이 자명한 해를 갖는 경우, 원래의 점근식(정리 한)에 있는 삼중 합은 이중 합으로 축소되며 오차항이 명시적으로 경계 지어진다.
  • 어떤 인덱스 $i$에 대해서도 자명한 해가 존재하지 않는 경우, 집합 $A_i$에 대한 전체 합은 소멸하며, 더 작은 오차항을 가진 더 단순한 점근식을 결과로 낸다.
• 불일치에 대한 응용 (따름정리 3.2 및 3.3):
  • 따름정리 3.2: 협소 클래스 수(narrow class number)가 홀수이고 특정 이데알들이 자명한 해를 갖는 원소들에 의해 주 생성(principal generated)되는 조건 하에서, 본 논문은 트레이스 공식의 주 항(main term)과 실제 합 사이의 불일치에 대한 하한을 설정한다. 이는 BDS23의 기존 결과들을 개선한다.
  • 따름정리 3.3: 정교화된 점근식은 다중 이차 수체 상의 힐베르트 큐스프 형식의 고유값들의 이산 측도와 사토-테이트(Sato-Tate) 측도 사이의 불일치에 관한 정리를 다루는 Jung과 Sardari(JS20)의 정리 1.6에 대한 하한 유사체를 도출하는 데 사용된다.

의의 및 주장
본 논문은 이전에는 명시적 형태가 부족했던 전실수 다중 이차 수체 내의 격자점을 분석하기 위한 필수적인 대수적 도구를 제공한다고 주장한다. 기하학적 수론(최단 격자 벡터)을 디오판토스 방정식의 산술과 연결함으로써, 저자는 페테르손 트레이스 공식의 오차항을 정교화한다.

그 의의는 특정 디오와토스 방정식의 가해성(solvability)에 기초하여 트레이스 공식의 복잡한 삼중 합을 이중 합으로 변환하거나(또는 이를 완전히 제거하거나) 할 수 있는 능력에 있다. 이러한 정교화는 고전적인 큐스프 형식($F=\mathbb{Q}$)에서 알려진 결과를 다중 이차 확장체 상의 힐베르트 큐스프 형식으로 확장하여, 고유값 분포의 불일치에 대한 더 날카로운 하한을 허용한다. 저자는 이러한 결과들이 [BDS23]의 기존 정리들을 개선하는 역할을 하며, 다중 이차 맥락에서 [JS20]에 대한 유사체를 제공한다고 언급한다. 이 연구는 새로운 실험적 응용을 제안하기보다는, 이러한 특정 수체들에서 고유값 분포를 연구하기 위한 이론적 토대를 강화하는 데 목적이 있다.