컴팩트 계급 1 대칭공간에서의 Weyl 법칙과 오차항 개선

초록

본 논문은 컴팩트 계급 1 대칭공간(CROSS)과 그 곱에 대해 Weyl 법칙의 오차항을 조사한다. 단일 CROSS에서는 기존과 같이 오차항 O(λ^{d‑1})이 최적임을 보이고, 두 개 이상을 곱한 경우에는 Iosevich‑Wyman의 격자점 계수법을 이용해 오차항을 O(λ^{d‑1‑(n‑1)/(n+1)})까지 다항식적으로 개선할 수 있음을 증명한다. 이는 Iosevich‑Wyman의 일반적 추측을 CROSS에 대해 확인한 결과이다.

상세 분석

Weyl 법칙은 차원 d 인 콤팩트 리만 다양체 M(∂M=∅)에 대해 고유값 개수 함수 N_M(λ)=#{μ≤λ^2}가
N_M(λ)=\frac{\operatorname{Vol}(M)}{(2π)^d}ω_d λ^d+O(λ^{d-1})
이라는 1차 항과 d‑1 차 오차항을 갖는다는 고전적 결과이다. 오차항이 언제 최적(즉, 개선 불가능)인지, 언제 더 좋은 차수로 개선될 수 있는지는 수십 년간 활발히 연구된 문제이다. Duistermaat‑Guillemin·Ivrii는 “모든 주기적 측지선의 측정이 0이면 O(λ^{d-1})을 O(λ^{d-1‑δ})(δ>0)로 개선 가능”이라는 일반적 조건을 제시했으며, Iosevich‑Wyman(2019)은 이 조건이 두 개 이상의 리만 다양체의 곱에서는 자동으로 만족한다는 사실을 이용해 구체적으로 구의 곱에 대해
N(λ)=C λ^d+O(λ^{d-1‑(n-1)/(n+1)})
이라는 다항식적 개선을 증명하고, 모든 곱에 대해 동일한 개선이 가능할 것이라는 conjecture을 제시했다.

본 논문의 핵심은 이 결과를 컴팩트 계급 1 대칭공간(CROSS)으로 일반화하는 것이다. CROSS는 구(S^d), 실·복소·사원·옥탄 실사영공간(RP^d, CP^d, HP^d, OP^2)으로 구성되며, 각각의 라플라스 고유값은
λ_k = A k^2 + B k + C
형태를 갖고, 고유값의 중복도는 차수 d‑1 다항식 R(k)으로 정확히 기술된다. 저자들은 이러한 구조를 “W‑manifold”이라 정의하고, (5)–(8) 조건을 만족하면 격자점 계수 정리(Theorem 4.1, Iosevich‑Wyman) 를 바로 적용할 수 있음을 보였다.

구체적인 증명 흐름은 다음과 같다.

1. W‑manifold 정의: 고유값이 2차식 형태이며, 중복도 다항식 Q(t)=R(t−B^2/4A) 가 최고차항 C t^{d‑1} (또는 d=2이면 C t)와 차수가 ≤d‑3인 나머지 φ(t) 로 분해되는 경우를 W‑manifold이라 칭한다.
2. 격자점 계수 정리 적용: Theorem 4.1 은 가중치 함수 F와 비표준 노름 p에 대해
   ∑_{m∈Z^n+y, p(m)≤λ} F(m)=C λ^d+O(λ^{d‑1‑(n‑1)/(n+1)})
   를 제공한다. 여기서 p는 타원체 ‖m‖_p = (∑ P_i m_i^2)^{1/2} 로 정의되고, F는 각 좌표의 거듭제곱을 곱한 형태이다.
3. 제품의 경우: 각 인자 M_i가 W‑manifold이면 λ_k^i = A_i k_i^2 + B_i k_i + C_i, 중복도 Q_i(k_i) 로 표현된다. 제품 M=M_1×…×M_n의 고유값은 λ^2 = ∑ A_i k_i^2 + … 이 되고, 중복도는 ∏ Q_i(k_i). 이를 격자점 계수 정리의 변수 치환에 넣으면 정확히 (4)식의 오차항을 얻는다.
4. CROSS가 W‑manifold임을 검증: 각 CROSS에 대해 알려진 스펙트럼을 열거한다. 예를 들어 S^d의 경우 A=1, B=d‑1, C=0, R(k)=\binom{k+d‑1}{d‑1}·2 등이며, 실·복소·사원·옥탄 사영공간도 동일한 2차식 구조와 차수 d‑1 다항식 중복도를 가진다. 저자들은 섹션 6에서 모든 경우를 일일이 확인하고, 특히 “대칭 조건” Q(t)=C t^{d‑1}+φ(t) (φ 차수 ≤d‑3) 가 성립함을 증명한다.
5. 오차항이 최적임을 보임: 단일 CROSS에 대해서는 주기적 측지선이 전체 부피의 양의 비율을 차지한다는 사실(특히 구와 실사영공간) 때문에 Duistermaat‑Guillemin 조건이 위배된다. 따라서 O(λ^{d‑1}) 이하로 개선할 수 없으며, 이는 Theorem 1.3(=Theorem 3.3) 로 정리된다.

결과적으로, 본 논문은

• 모든 CROSS가 W‑manifold이며, 따라서 제품에 대해 Iosevich‑Wyman의 격자점 계수 정리를 직접 적용할 수 있음을 보였다.
• 제품 M=M_1×…×M_n (n≥2) 에 대해 Weyl 법칙의 오차항이 O(λ^{d‑1‑(n‑1)/(n+1)}) 로 다항식적으로 개선됨을 증명했다.
• 단일 CROSS에서는 기존과 동일하게 오차항 O(λ^{d‑1})이 최적임을 확인했다.

이로써 Iosevich‑Wyman이 제시한 “모든 곱에 대한 다항식적 개선” conjecture이 CROSS 범위에서 완전히 입증되었다. 또한, W‑manifold이라는 새로운 개념을 도입함으로써 향후 다른 대칭공간이나 비대칭 리만 다양체에 대한 오차항 분석에 활용될 가능성을 열어준다.