[논문 리뷰] Separating Vector Bundle Sections by Invariant Means

Gestur Ólafsson, Joseph A. Wolf|arXiv (Cornell University)|2012. 10. 19.

Advanced Algebra and Geometry참고 문헌 1인용 수 3

한 줄 요약

이 논문은 $H$가 애먼일 때, $G/H$ 위의 동차 힐버트 배럴에 대한 유계 우측 균일 연속 섹션들이 불변 평균에 의해 분리될 수 있음을 증명하며, 이는 주로 시리즈 표현 공간이 이러한 섹션들의 완비화임을 보여주고, 몫 공간이 아니라는 것을 의미한다. 핵심 기여는 $G/H$ 위의 평균을 이용한 위상적 분리 결과로, 이는 불변 평균을 통한 비퇴화된 노름을 보장하며, 무한차원 리 군에서 유도 표현의 구성 과정을 단순화시킨다.

ABSTRACT

We sharpen the construction of representation space in the paper "Principal Series Representations of Infinite Dimensional Lie Groups II: Construction of Induced Representations". We show that the principal series representation spaces constructed there, are completions of spaces of sections of Hilbert bundles rather than completions of quotient spaces of sections.

연구 동기 및 목표

• 무한차원 리 군 표현에서 표현 공간의 구성 방식을 정밀화하는 것, 특히 주로 시리즈 표현에 대해.
• 표현 공간이 힐버트 배럴의 유계 우측 균일 연속 섹션들의 완비화임을 보여주며, 몫 공간이 아니라는 것을 입증하는 것.
• 무한차원 리 군 표현 이론에서 몫 공간 구성의 필요성을 제거하는 것.
• 불변 평균이 $G/H$ 위에서 비영 섹션을 분리할 수 있음을 확립하여, 노름 구조의 충실도를 보장하는 것.
• 플래그-폐쇄 파라보릭 유도에서 유니터리 동치의 증명을 단순화하기 위해 몫 비교를 피하는 것.

제안 방법

• 유니터리 표현 $\tau$에 관련된 힐버트 공간 배럴에 값이 있는 유계 우측 균일 연속 섹션 $f \in RUC_b(G/H; \mathbb{E}_\tau)$의 사용.
• $H$의 애먼성에 기반하여 $G/H$ 위의 평균 $\mu$를 사용해 $\nu_\mu(f) = \mu(\|f\|)$로 정의된 준노름의 정의.
• 애먼 군의 고정점 성질을 응용하여, 비영인 $f$에 대해 $\nu_{\mu_f}(f) \neq 0$가 되는 평균 $\mu_f$를 $G/H$ 위에 구성하는 것.
• 평가 함수 $\delta_x$ 및 그의 약한-* 닫힘을 이용해 $\sigma(\|f\|) = 1$인 평균들의 컴팩트 볼록 집합 $S$를 정의하는 것.
• $G_\mathbb{Q}$의 유리점에 대한 가산적인 유리점 평가 $\delta_{xP}$를 사용해 $RUC_b(G/P; \mathbb{E}_\tau)$의 프레셰 공간 완비화를 구성하는 것.
• $G_\mathbb{Q}$의 순서화된 열거를 사용해 가중합 $\langle f,h \rangle = \sum_{m \geq 1} 2^{-m} \langle f(x_m), h(x_m) \rangle$를 정의함으로써 힐버트 공간 구조를 정의하는 것.

실험 결과

연구 질문

• RQ1 만약 $H$가 애먼일 경우, $G/H$ 위의 동차 힐버트 배럴에 대한 유계 우측 균일 연속 섹션들이 $G/H$ 위의 평균에 의해 분리될 수 있는가?
• RQ2 무한차원 리 군의 주로 시리즈 표현의 표현 공간은 $RUC_b(G/P; \mathbb{E}_\tau)$의 완비화와 동형이 되는가, 아니면 몫 공간인가?
• RQ3 불변 평균을 $G/H$에 적용하면 비영 섹션에 대해 $RUC_b(G/H; \mathbb{E}_\tau)$ 위에 비퇴화된 준노름을 유도할 수 있는가?
• RQ4 유리수 점 $G_\mathbb{Q}$만을 사용하여 $RUC_b(G/P; \mathbb{E}_\tau)$의 프레셰 또는 힐버트 공간 완비화를 구성할 수 있는가?
• RQ5 군의 작용 $G$가 $RUC_b(G/P; \mathbb{E}_\tau)$ 위에 정의된 유리수 점 평균을 통한 힐버트 또는 프레셰 완비화로 연속적으로 연장될 수 있는가?

주요 결과

• 모든 비영인 $f \in RUC_b(G/H; \mathbb{E}_\tau)$에 대해, $\nu_\mu(f) \neq 0$인 평균 $\mu \in \mathcal{M}(G/H)$가 존재함을 증명하여, 불변 평균에 의한 분리를 입증한다.
• 표현 공간 $\Gamma_{\mathcal{M}}(G/H; \mathbb{E}_\tau)$는 $RUC_b(G/H; \mathbb{E}_\tau)$의 국소 볼록 위상 벡터 공간 완비화이며, 몫 공간이 아니다.
• 주로 시리즈 표현 $\mathrm{Ind}_P^G(\tau)$는 $\Gamma_{\mathcal{M}}(G/P; \mathbb{E}_\tau)$ 위에 섹션들로부터 직접 구성되며, 몫 구성 과정을 피한다.
• 유리수 점 $x \in G_\mathbb{Q}$에 대한 가산적인 평가 평균 $\delta_{xP}$를 사용하여 $RUC_b(G/P; \mathbb{E}_\tau)$의 프레셰 공간 완비화를 달성하였으며, 이 위상은 이러한 준노름들로 정의된다.
• 유한한 $m \geq 1$에 대해 $\langle f,h \rangle = \sum_{m \geq 1} 2^{-m} \langle f(x_m), h(x_m) \rangle$로 정의된 전히르베르트 공간 구조를 $RUC_b(G/P; \mathbb{E}_\tau)$ 위에 정의하여 힐버트 공간 완비화를 도출한다.
• $G$의 작용이 $RUC_b(G/P; \mathbb{E}_\tau)$ 위에 정의된 유리수 점 평균을 통한 힐버트 공간 완비화로 연속적으로 연장되지 않는다.