[논문 리뷰] Connes Integration Formula without singular traces

Fedor Sukochev, Dmitriy Zanin|arXiv (Cornell University)|2021. 03. 16.

Advanced Operator Algebra Research참고 문헌 25인용 수 4

한 줄 요약

이 논문은 단일 추적 또는 초수렴자 없이 컴acts Riemannian 다양체 위의 미분형 연산자의 점근적 고유값 행동을 유도하는 Connes의 적분 공식의 새로운 형태를 수립한다. 작자들은 연산자 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$에 대한 날카운 약한 슈하른 노름 추정을 증명함으로써, 적분 가능 함수의 범주를 $L_M(X, \mathrm{vol}_g)$인 오르리츠 공간으로 확장한다. 이는 고유값 붕괴 비율을 통해 리만 체적 적분과 일치하는 추적 점근적 행동을 보여준다.

ABSTRACT

A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum-integrable functions on compact Riemannian manifolds.

연구 동기 및 목표

• 초수렴자 또는 단일 추적을 사용하지 않고 비가환 적분 공식을 도출하는 Connes의 미해결 질문을 해결하기 위해.
• $L^2$를 초월하여 함수의 범주를 $L_M(X, \mathrm{vol}_g)$인 오르리츠 공간으로 확장하기 위해, 여기서 $M(t) = t\log(e+t)$이다.
• 대칭 연산자 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$의 고유값에 대한 직접적인 점근 공식을 수립하여 리만 체적 적분을 복원하기 위해.

제안 방법

• 모든 $f \in L_M^{(2)}(X, \mathrm{vol}_g)$에 대해 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$인 날카운 약한 슈하른 노름 추정을 증명함으로써, 소로마야크의 결과를 타원체에서 컴팩트 다양체로 확장하기 위해.
• 비르만-솔로마크의 스펙트럼 점근적 이론과 준-바나흐 아이디얼 노름의 최근 발전을 활용하여 연산자의 특이값 행동을 분석하기 위해.
• 준-바나흐 아이디얼 설정에서 비르만-코플리엔코-솔로마크 부등식을 적용하여 자기수반 연산자에 대해 $ABA_+$와 $AB_+A$의 차이를 통제하기 위해.
• 부드러운 함수의 근사 수열에 대해 특이값 함수 $\mu(t,T)$가 $\mathcal{L}_{1,\infty}$-노름에서 수렴함을 확립하기 위해.
• 모든 $f \in L_M(X, \mathrm{vol}_g)$에 대해 $[M_f, (1-\Delta_g)^{-d/4}] \in (\mathcal{L}_{2,\infty})_0$라는 사실을 활용하여 점근 전개에서 오차 항을 통제하기 위해.
• 한계 $\lim_{t\to\infty} t \mu(t, T_+) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_+ \, d\mathrm{vol}_g$를 사용하여 고유값 붕괴를 통해 적분을 복원하기 위해.

실험 결과

연구 질문

• RQ1 초수렴자나 단일 추적을 사용하지 않고, 고유값 점근적 행동에서 직접 Connes 적분 공식을 도출할 수 있는가?
• RQ2 컴팩트 리만 다양체 위에서 함수 $f$의 최대 범주 중, 연산자 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$가 리만 체적 적분과 일치하는 추적 점근적 행동을 가지는 것은 무엇인가?
• RQ3 솔로마야크의 결과를 타원체에서 확장하여, 컴팩트 다양체에서 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$인 약한 슈하른 노름 추정이 성립하는가?
• RQ4 대칭 연산자의 점근적 고유값 행동을 이용하여 $L^2$ 외부의 함수에 대한 비가환 적분을 정의할 수 있는가?
• RQ5 만약 $[A,B] \in (\mathcal{L}_{2,\infty})_0$이면, $ABA$와 $AB_+A$의 양의 부분 간의 차이가 $(\mathcal{L}_{1,\infty})_0$ 아이디얼 내에 있는가?

주요 결과

• 모든 실수 값의 $f \in L_M(X, \mathrm{vol}_g)$에 대해 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$의 점근적 고유값 행동은 $\lim_{t\to\infty} t \mu(t, T_+) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_+ \, d\mathrm{vol}_g$를 만족한다.
• 부정부호 부분에 대해서도 동일한 결과가 성립한다: $\lim_{t\to\infty} t \mu(t, T_-) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_- \, d\mathrm{vol}_g$, 이는 대칭 공식을 완성한다.
• 적분 가능 함수의 범주가 $L^2$를 초월하여 $M(t) = t\log(e+t)$인 오르리츠 공간 $L_M(X, \mathrm{vol}_g)$로 확장되었으며, 이는 $L^2$보다 엄밀히 더 큰 공간이다.
• 모든 컴팩트 $d$-차원 리만 다양체에서 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$인 약한 슈하른 노름 추정이 확립되었다.
• 모든 $f \in L_M(X, \mathrm{vol}_g)$에 대해 교환자 $[M_f, (1-\Delta_g)^{-d/4}]$는 준-바나흐 아이디얼 $(\mathcal{L}_{2,\infty})_0$에 속하며, 이는 스펙트럼 근사 기법의 사용을 가능하게 한다.
• 초수렴자를 피하기 위해 직접적인 스펙트럼 분석과 준-바나흐 아이디얼 설정에서의 비르만-솔로마크 부등식을 사용함으로써, Connes 공식의 구성적 유도가 가능해졌다.