[논문 리뷰] Averaged projections, angles between groups and strengthening of property (T)

Izhar Oppenheim|arXiv (Cornell University)|2015. 07. 30.

Advanced Banach Space Theory참고 문헌 8인용 수 6

한 줄 요약

이 논문은 평균화된 사영과 바나흐 공간 내 사영 간의 새로운 각도 개념을 사용하여, 보다 약한 그러나 여전히 강력한 바나흐 성질 (T)의 강화판으로서 '강건한 바나흐 성질 (T)'을 도입한다. 저자들은 이 성질을 위한 기준을 수립하고, 고정점 성질과 바나흐 확장자 존재를 함의함을 증명하며, 비아르키메데스 현지체 위의 $SL_3(\mathbb{F})$와 같은 군들에 응용한다.

ABSTRACT

Using the method of averaged projections and introducing a new notion of angles between projections, we establish a criterion for a certain type of strengthening of property (T) (which is weaker than the notion of strong Banach property (T) introduced by Lafforgue). We also derive several applications regarding fixed point properties and Banach expanders and give examples of these applications.

연구 동기 및 목표

• 강건한 바나흐 성질 (T)라고 불리는, 바나흐 성질 (T)의 더 약한 강화판을 도입하여, 여전히 강력한 기하학적 및 표현론적 결과를 보장하고자 한다.
• 바나흐 공간 내 평균화된 사영과 사영 간의 새로운 각도 개념을 사용하여 강건한 바나흐 성질 (T)를 위한 기준을 개발하고자 한다.
• 강건한 바나흐 성질 (T)가 군 작용이 바나흐 공간에 대해 고정점 성질을 함의하고 바나흐 확장자가 존재함을 보여주고자 한다.
• 특정 군들, 예를 들어 비아르키메데스 현지체 위의 $SL_3(\mathbb{F})$에 대해 이 새로운 기준을 검증하여 강건한 바나흐 성질 (T)가 성립함을 보여주고자 한다.
• 표준 성질 (T)을 갖는 군들과 힐버트 공간의 소규모 변형에 대해서도 접근 가능하면서, 라포르그의 강력한 바나흐 성질 (T)를 일반화하고 정교화하는 프레임워크를 제공하고자 한다.

제안 방법

• 강건한 바나흐 성질 (T)를 정의하기 위해, $\int f_n = 1$를 만족하는 대칭적이고 실수이며 컴actsupport된 함수들의 수열 $f_n \in C_c(G)$를 고려하고, 이들이 $C_{\mathcal{F}(\mathcal{E}, s_0 l)}$에서 $\pi(p)$가 $X^\pi$로의 사영이 되는 사영 $p$로 수렴하도록 한다.
• 바나흐 공간 내에서 부분공간 간 기하학적 관계를 정량화하기 위해, 사영 간의 새로운 '각도' 개념을 도입한다.
• 바나흐 공간 내 평균화된 사영 기법을 사용하여 연산자의 노름을 제어하고, $\pi(f_n)$이 $\pi(p)$로 수렴하는 데 대한 균일한 추정을 유도한다.
• 사영 간의 각도에 대한 균일한 경계와 군 작용 하에서 함수의 $L^2$-노름 감쇠에 기반한 강건한 바나흐 성질 (T)를 위한 기준을 수립한다.
• 군의 구조와 브하트-티츠 빌딩에서의 작용을 이용하여, 비아르키메데스 현지체 $\mathbb{F}$ 위의 $SL_3(\mathbb{F})$가 강건한 바나흐 성질 (T)를 만족함을 증명하기 위해 이 기준을 적용한다.
• 균일한 Poincaré 유형 부등식을 만족하는 그래프 가중치가 있는 가족이 바나흐 공간 $X$에 대해 $X$-확장자가 됨을 보여, 바나흐 확장자에 대한 응용을 도출한다.

실험 결과

연구 질문

• RQ1 고정점 성질과 바나흐 확장자 존재를 함의하는, 강력한 바나흐 성질 (T)의 더 약한 변종을 정의할 수 있는가?
• RQ2 바나흐 공간 내 평균화된 사영 기법을 사용하여 강건한 바나흐 성질 (T)를 위한 기준을 어떻게 구성할 수 있는가?
• RQ3 사영 간의 각도는 어떻게 불변 부분공간의 기하학적 구조를 정량화하고 수렴이 사영으로 이루어지도록 보장하는가?
• RQ4 어떤 군들에 대해 강건한 바나흐 성질 (T)가 성립하며, 이는 강력한 바나흐 성질 (T)과 고전적 성질 (T)과 어떻게 관련되어 있는가?
• RQ5 강건한 바나흐 성질 (T)를 사용하여, 그래프에서 균일한 Poincaré 부등식을 기반으로 바나흐 확장자를 구성하거나 특성화할 수 있는가?

주요 결과

• 강건한 바나흐 성질 (T)는 강력한 바나흐 성질 (T)의 약화된 형태로 정의되며, 이는 $C_{\mathcal{F}(\mathcal{E}, s_0 l)}$ 내에서 카즈단 사영 $p$가 존재하도록 보장하여, 모든 $\pi \in \mathcal{F}(\mathcal{E}, s_0 l)$에 대해 $\pi(p)$가 $X^\pi$로의 사영이 되도록 한다.
• 논문은 평균화된 사영과 사영 간의 새로운 각도 개념을 사용하여 강건한 바나흐 성질 (T)를 위한 기준을 수립하였으며, 이는 $\pi(f_n)$이 $\pi(p)$로 수렴하는 데 대한 균일한 제어를 가능하게 한다.
• $\mathbb{F}$가 비아르키메데스 현지체일 때, $SL_3(\mathbb{F})$는 이 기준을 충족하여, 타입 $>1$인 바나흐 공간의 클래스에 대해 강건한 바나흐 성질 (T)를 갖는다.
• 논문은 만약 그래프 가중치 $\{(V_i, E_i)\}$가 상수 $C$를 갖는 균일한 Poincaré 유형 부등식을 만족한다면, 강건한 바나흐 성질 (T)의 가정 하에 이 가중치는 $\mathcal{E}$에 속하는 모든 바나흐 공간 $X$에 대해 $X$-확장자가 된다는 것을 증명한다.
• 함수 $\phi$와 그 평균 사이의 $L^2$-거리에 대해, 그래프 크기와 무관하게 $C = 8M^2k^2|S|$라는 균일한 상한이 도출된다.
• 이 구조는 강건한 바나흐 성질 (T)를 갖는 모든 군이, 균일하게 유계된 차수와 증가하는 크기를 갖는 몫 그래프를 갖는 유한 몫 $G/N_i$의 가중치를 가지며, 이 가중치가 모든 $X \in \mathcal{E}$에 대해 $X$-확장자가 된다는 것을 암시한다.