지역 컴팩트 군체의 가환적 유니터리 표현의 적당성

초록

본 논문은 두 번째 가산성을 가진 지역 컴팩트 군체 (G)에 대해 연속 유니터리 표현을 Hilbert 번들 형태로 정의하고, 이러한 표현의 적당성(amenability)을 새롭게 정의한다. 주요 결과로는 (G)가 적당하면 왼쪽 정규 표현이 적당하고, 반대로 왼쪽 정규 표현이 적당하면 군체 자체가 적당함을 보인다. 또한 유도 표현과 적당한 군체의 특성을 조사하고, 연산자값 벡터 측도를 이용한 위상 불변 평균을 도입하여 적당성을 특징짓는다.

상세 분석

논문은 먼저 지역 컴팩트 군체 (G)와 Haar 시스템 (\lambda)의 기본 구조를 정리하고, 단위공간 (G^{0}) 위에 연속 Hilbert 번들을 구축한다. 여기서 각 섬유 (H_{u})는 가산 생성 연속 섹션을 갖는 (C_{0}(G^{0}))-모듈을 형성한다. 이러한 설정은 기존의 그룹 이론에서의 (L^{2}(G)) 공간을 일반화한 것으로, 연산자 이론적 접근을 가능하게 한다.

핵심 정의는 ‘적당한 연속 유니터리 표현(amenable representation)’이다. 정의 3.1에 따르면, 표현 (\pi)에 대해 Hilbert‑Schmidt 연산자들의 네트 ({T_{i}})가 존재해야 하는데, (i) 각 (T_{i})의 Hilbert‑Schmidt 노름이 1 이하이며 섬유별 노름이 컴팩트 부분에서 1에 수렴하고, (ii) 군체 작용 (x\cdot T_{i}d(x))와 (T_{i}r(x)) 사이의 내적이 컴팩트 집합에서 1에 수렴한다. 이는 Renault이 제시한 군체 적당성 정의와 직접적인 대응 관계에 있다.

이 정의를 바탕으로 여러 기본 성질을 증명한다. Proposition 3.2는 동등한 표현은 적당성을 보존하고, 적당한 표현의 켤레도 역시 적당함을 보여준다. Lemma 3.3에서는 Hilbert‑Schmidt 연산자를 trace‑class 연산자로 변환하는 과정(절댓값 제곱)을 이용해 정의를 등가적으로 표현한다. 이는 Bekka가 그룹 경우에 사용한 기술을 군체 상황으로 확장한 것이다.

가장 중요한 결과는 Theorem 3.6이다. 여기서는 세 가지 조건이 동치임을 보인다: (i) 군체 (G) 자체가 적당함, (ii) 모든 연속 유니터리 표현이 적당함, (iii) 왼쪽 정규 표현 (\lambda_{G})가 적당함. 증명은 (i)⇒(ii)에서 군체 적당성에 의해 존재하는 근사 단위 측정 (f)와 임의의 양의 trace‑class 연산자 (S’)를 이용해 적당한 네트를 구성하고, (iii)⇒(i)에서는 왼쪽 정규 표현의 적당성을 통해 군체 전역에 걸친 근사 불변 평균을 구축한다. 이는 Bekka의 그룹 결과를 완전히 일반화한 것으로, 군체 이론에서 표현론적 적당성의 중심적 위치를 확립한다.

또한, 폐쇄된 넓은 부분군체 (H)에 대한 유도 표현 (\operatorname{ind}_{G}^{H}(\sigma))의 적당성을 조사한다. Proposition 3.4와 Corollary 3.5는 적당한 표현을 제한하거나 동형 사상으로 옮길 때 적당성이 보존된다는 사실을 보여준다. 이는 부분군체와의 상호작용을 통해 적당성 검증을 간소화한다.

‘적당하게’(properly amenable) 군체에 대한 논의도 포함된다. 여기서는 각 섬유 (u)마다 비영(trace‑class) 연산자 (K_{u})가 존재하고, 그 트레이스 함수가 (C_{b}(G^{0}))에 속하는 경우를 ‘properly amenable’이라 정의한다. 이는 기존의 적당성 개념에 추가적인 위상적 제약을 부여한다.

마지막으로, 연산자값 벡터 측도 이론을 이용해 ‘위상 불변 평균(topological invariant mean)’을 정의한다. 이 평균은 표현 (\pi)에 대해 (C_{0}(G^{0}))-모듈의 이중공간에 존재하는 선형 기능으로, 적당성의 또 다른 등가적 표현을 제공한다. 이를 통해 적당성의 측정이 단순히 네트 존재 여부를 넘어서, 측도론적 구조와도 깊게 연결됨을 보여준다.

전반적으로 논문은 그룹 경우에 알려진 적당성 이론을 군체와 그 표현론으로 성공적으로 확장하고, Schatten 클래스 연산자와 연산자값 측도라는 현대적 도구를 도입함으로써 새로운 연구 방향을 제시한다.