[논문 리뷰] The spectral density function of a toric variety

D. Burns, Victor Guillemin외 1명|ArXiv.org|2007. 06. 20.

Geometry and complex manifolds참고 문헌 6인용 수 6

한 줄 요약

이 논문은 델자노 다각형 위에서 오일러-마클로린 공식을 사용하여 토릭 다양체 위의 헬름홀로픽 섹션의 스펙트럴 밀도 측도에 대한 정밀한 점근 전개를 유도한다. $L^2$-노름을 갖는 고유섹션은 토르스 무게와 관련하여 모멘트 다각형 위에 델타-유사 측도로 수렴하며, 명시적인 $1/N^j$ 수정항이 존재하고, 고유기저가 이 설정에서 정확한 점근적 성질을 갖는 보어-쇠머펠트 기저를 이룬다는 것이 입증된다.

ABSTRACT

For a Kahler manifold (X, ω) with a holomorphic line bundle L and metric h such that the Chern form of L is ω, the spectral measures are the measures μ_N = \sum |s_{N,i}|^2 ν, where \{s_{N,i}\}_i is an L^2-orthonormal basis for H^0(X, L^{\otimes N}), and νis Liouville measure. We study the asymptotics in N of μ_N for (X, L) a Hamiltonian toric manifold, and give a precise expansion in terms of powers 1/N^j and data on the moment polytope Δof the Hamiltonian torus K acting on X. In addition, for an infinitesimal character k of K and the unique unit eigensection s_{Nk} for the character Nk of the torus action on H^0(X, L^N), we give a similar expansion for the measures μ_{Nk} = |s_{Nk}|^2 ν. A final remark shows that the eigenbasis \{s_{k}, k \in Δ\cap \mathbb{Z}^{\dim K} \} is a Bohr-Sommerfeld basis in the sense of Tyurin. Some of the present results are related to work of Shiffman, Tate and Zelditch. The present paper uses no microlocal analysis, but rather an Euler-Maclaurin formula for Delzant polytopes.

연구 동기 및 목표

• 토릭 켈러 다양체에서 $N \to \infty$일 때 스펙트럴 측도 $\mu_N = \sum |s_{N,i}|^2 \nu$ 의 점근적 행동을 이해하는 것.
• 모멘트 다각형 $\Delta$ 의 자료에 따라 이 측도에 대한 $1/N^j$ 승수 전개를 도출하는 것.
• 토르스 무게 $k$ 와 관련된 개별 고유섹션 $s_{Nk}$ 의 점근적 성질을 분석하는 것. 특히 $\mu_{Nk} = |s_{Nk}|^2 \nu$ 에 중점을 두는 것.
• 고유기저 $\{s_k\}_{k \in \Delta \cap \mathbb{Z}^n}$ 가 보어-쇠머펠트 기저를 이룬다는 것과, 이 설정에서 점근 결과가 정확하다는 것을 입증하는 것.

제안 방법

• 델자노 다각형 위에서 오일러-마클로린 공식을 사용하여 헬름홀로픽 섹션의 $L^2$-노름의 리만 합을 분석하는 것.
• $H^0(X, L^{igotimes N})$ 의 무게 공간 분해를 $N\Delta$ 내의 격자점에 따라 수행하고, 정규직교 기저 $\{s_{N,i}\}$ 를 구성하는 것.
• 예비량 원환면(bundle $P$) 내의 $K$-오빗 $\phi^{-1}(k)$ 의 수평 상향 $Y_k \subset P$ 를 구성하는 것.
• 리에 방정식과 접속 구조를 적용하여 $s_k^\flat$ 가 $Y_k$ 위에서 일정함을 보이고, $\Pi_1(\delta_{Y_k})$ 가 $s_k$ 의 비영인 상수배임을 보이는 것.
• 스체고 커널의 미세구조와 $[\mathcal{L}_{\xi_A^\sharp}, \Pi] = 0$ 이라는 사실을 활용하여 스펙트럴 측도를 기하학적 자료와 연결하는 것.
• 스펙트럴 측도 $\mu_{Nk}$ 와 $Y_k$ 위의 델타 함수 사이의 대응관계를 수립하여 정확한 점근 전개를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 토릭 다양체에서 $N \to \infty$ 일 때 스펙트럴 측도 $\mu_N = \sum |s_{N,i}|^2 \nu$ 는 어떻게 점근적으로 행동하는가?
• RQ2 $\mu_N$ 의 점근적 성질이 모멘트 다각형 $\Delta$ 에 따라 $1/N^j$ 의 거듭제곱 급수 형태로 표현될 수 있는가?
• RQ3 무게 $k$ 가 $\mathfrak{k}^*$ 내의 한 반직선을 따라 무한히 증가할 때, 개별 고유섹션 $s_{Nk}$ 의 점근적 행동은 어떠한가?
• RQ4 고유기저 $\{s_k\}_{k \in \Delta \cap \mathbb{Z}^n}$ 는 [9] 의 의미에서 보어-쇠머펠트 기저인가?
• RQ5 논문 [1] 의 점근 결과들이 토릭 설정에서 어느 정도 정확한가?

주요 결과

• 스펙트럴 측도 $\mu_N$ 는 $N$ 의 역수의 거듭제곱에 대한 완전한 점근 전개를 갖는다. 계수들은 모멘트 다각형 $\Delta$ 의 기하학적 성질에 의해 결정된다.
• 각 무게 $k \in \Delta \cap \mathbb{Z}^n$ 에 대해, 측도 $\mu_{Nk} = |s_{Nk}|^2 \nu$ 는 $K$-오빗 $\phi^{-1}(k)$ 에 지지된 델타 측도로 수렴하며, 명시적인 $1/N^j$ 수정항이 존재한다.
• 고유기저 $\{s_k\}_{k \in \Delta \cap \mathbb{Z}^n}$ 는 보어-쇠머펠트 기저이다. 즉, 섹션들은 예비량 번들의 라그랑주 원환면에 집중되어 있다.
• [1] 의 점근 결과는 토릭 케이스에서 정확하다. 이는 델자노 다각형 위에서 오일러-마클로린 공식이 정확하기 때문이다.
• $\Pi_1(\delta_{Y_k})$ 는 헬름홀로픽 부분공간에 투영되었을 때 $s_k$ 의 비영인 상수배이며, 기하학적 대응관계를 확립한다.
• $|s_k|^2$ 는 $\phi^{-1}(k)$ 에서 최댓값을 갖고, $Y_k$ 위에서 일정하다. 이는 오빗 위에의 집중을 확인한다.