[논문 리뷰] Lp-Nuclearity, traces, and Grothendieck-Lidskii formula on compact Lie groups

Julio Delgado, Michael Ruzhansky|2013. 03. 19.

Advanced Operator Algebra Research참고 문헌 23인용 수 57

한 줄 요약

이 논문은 비가환 조화 분석을 통해 컴팩트 리 군 위에서의 $L^p$-핵형성과 $r$-핵형성을 특징짓는 기호 기반 기준을 수립한다. 기호는 $G \times \widehat{G}$ 위에서 정의되며, 기호에 대한 정규성 조건 없이 추적 공식과 고유값 분포 결과를 도출할 수 있다. 주요 기여는 $r$-핵형성 지수와 $L^p$-공간 지수 사이의 정밀한 연결고리를 밝혀내며, 그로텐디크의 $\frac{2}{3}$-핵형성 결과를 비가환 조화 분석에 의해 $L^p$-공간으로 일반화한다.

ABSTRACT

Given a compact Lie group $G$, in this paper we give symbolic criteria for operators to be nuclear and r-nuclear on Lp-spaces, with applications to distribution of eigenvalues and trace formulae. Since criteria in terms of kernels are often not effective in view of Carleman's example, in this paper we adopt the symbolic point of view. The criteria here are given in terms of the concept of matrix symbols defined on the non-commutative analogue of the phase space $G imes\hat{G}$, where $\hat{G}$ is the unitary dual of $G$.

연구 동기 및 목표

• 컴팩트 리 군 $G$ 에서 $L^p(G)$ 위의 $r$-핵형 연산자에 대한 기호 기반 기준을 개발하여, 핵심 기반 접근 방식의 한계를 극복한다.
• 그로텐디크의 $\frac{2}{3}$-핵형성 추적 공식을 $r$-핵형성 지수와 $p$-지수 간의 관계를 통해 $L^p$-공간으로 일반화한다.
• 기호를 $G \times \widehat{G}$ 위의 행렬 기호로 사용하여 $L^p(G)$ 위의 연산자에 대한 추적 공식과 고유값 분포 결과를 수립한다.
• 모든 $t>0$ 와 $1 \leq p < \infty$ 에 대해 열 연산자 $e^{-t\mathcal{L}_G}$ 가 $L^p(G)$ 에서 $r$-핵형인 것을 증명하고, 명시적인 추적 공식을 도출한다.

제안 방법

• 비가환 위상공간 $G \times \widehat{G}$ 에서 정의된 행렬 기호를 사용하여 $r$-핵형성을 특징짓는다. 여기서 $\widehat{G}$ 는 $G$ 의 단위 군 이중이다.
• 기호에 대한 정규성 조건 없이 [RT10a, RT12] 에서 제안된 전역 양자화 기법을 도입한다.
• 기호의 $r$-핵형성에 기반하여 그로텐디크-리드스키 추적 공식을 적용하며, $r$ 은 $p$ 에 따라 달라진다.
• 열 핵심 기호 $\sigma_{e^{-t\mathcal{L}_G}}(x,\xi) = e^{-t|\xi|^2}I_{d_\xi}$ 를 사용하여 $r$-핵형성과 추적 공식을 유도한다.
• 기호 성분의 $L^p$-노름을 $\|\overline{\xi}_{ij}\|_{L^{q_1}(G)} = d_\xi^{-1/\widetilde{q_1}}$ 와 연산자 노름의 경계를 사용하여 추정한다.
• 웨일의 점근 공식을 활용하여 추적 급수 $\sum_{[\xi]} d_\xi^2 e^{-t\lambda_{[\xi]}^2} < \infty$ 의 수렴성을 확보한다.

실험 결과

연구 질문

• RQ1 컴팩트 리 군 위의 연산자에 대해 어떤 기호 조건이 $1 \leq p < \infty$ 에 대해 $L^p(G)$ 에서의 $r$-핵형성을 보장하는가?
• RQ2 추적 공식의 맥락에서 최적의 $r$-핵형성 지수는 $L^p$-공간 지수와 어떻게 관련되어 있는가?
• RQ3 열 연산자 $e^{-t\mathcal{L}_G}$ 가 $L^p(G)$ 에서 $r$-핵형인 것으로 보일 수 있으며, 그 추적은 무엇인가?
• RQ4 비정규 기호를 사용하여 그로텐디크-리드스키 공식을 어떻게 $L^p$-공간으로 확장할 수 있는가?
• RQ5 $\frac{2}{3}$-핵형 연산자의 추적으로부터 고유값의 수에 대한 하한은 무엇으로 유도할 수 있는가?

주요 결과

• 모든 $t > 0$ 와 $1 \leq p < \infty$ 에 대해 열 연산자 $e^{-t\mathcal{L}_G}$ 는 $L^p(G)$ 에서 $r$-핵형인데, $r = 1$ 이면 추적 클래스임을 의미한다.
• 연산자 $e^{-t\mathcal{L}_G}$ 의 추적은 $\operatorname{Tr}(e^{-t\mathcal{L}_G}) = \sum_{[\xi] \in \widehat{G}} d_\xi^2 e^{-t\lambda_{[\xi]}^2}$ 로 주어지며, 모든 $p$ 에 대해 유효하다.
• $e^{-t\mathcal{L}_G}$ 의 $r$-핵형성은 $\sum_{\xi,ij} \|g_{\xi,ij}\|_{L^{p_2}} \|h_{\xi,ij}\|_{L^{q_1}} < \infty$ 를 통해 확립되며, 여기서 $q_1$ 은 $p_1$ 의 쌍대 지수이다.
• $L^p(G)$ 에서 연산자 $T$ 가 $\frac{2}{3}$-핵형인 것은 $|\operatorname{Tr}(T)| / M \leq N$ 를 의미하며, 여기서 $N$ 은 고유값의 수이고 $M$ 은 그 절댓값의 상한이다.
• 기호에 대한 정규성 조건을 회피함으로써 기존의 코흐너-니레버그 양자화 방식에 비해 핵심적인 이점을 보여준다.
• $r$-핵형성 지수는 $p$ 와 연결되어 있으며, 그로텐디크-리드스키 공식이 성립하도록 한다. 이는 $\frac{2}{3}$ 지수를 $L^p$-공간으로 일반화한 것이다.