[논문 리뷰] l^p-cohomology for groups of type FP_n

Elias Kappos|ArXiv.org|2005. 10. 31.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $\frac{1}{p} + \frac{1}{q} = 1$를 만족하는 $FP_n$ 유형의 군에 대해 감소한 $l^p$-호모로지와 $l^q$-코호몰로지 사이의 이중성(duality)을 수립하고, 중심 원소가 무한 차수를 가지는 경우, 유한 코어비류 클래스가 무한히 많은 경우, 노름형 군인 경우, 또는 다항식 성장성을 가지는 경우와 같은 조건 하에서 이러한 감소한 $l^p$-호모로지와 코호몰로지의 소멸을 증명한다. 주요 기여는 중심과 코어비류 클래스의 구조적 제약 조건을 가진 $FP_n$ 군의 맥락에서 $l^p$-코호몰로지에 대한 일반적인 소멸 결과를 도출한 것이다.

ABSTRACT

Let G be a group of type FP_n and let p>1. In this paper we show that the reduced l^p-homology of G is dual to the reduced l^q-cohomology for \frac{1}{p}+\frac{1}{q}=1. In our main theorem we show that for a group of type FP_n with a central element of infinite order the reduced l^p-cohomology vanishes. We generalize this fact for groups with infinitely many elements in the center of the group, for groups which are FCC, for groups with infinitely many finite conjugacy classes, for nilpotent groups, and for groups of polynomial growth.

연구 동기 및 목표

• 감소한 $l^p$-호모로지와 $l^q$-코호몰로지 사이의 이중성을 $\frac{1}{p} + \frac{1}{q} = 1$ 조건을 만족하는 $FP_n$ 유형의 군에 대해 수립하기.
• 중앙 원소가 무한 차수를 가지는 조건 하에서 감소한 $l^p$-호모로지와 코호몰로지가 $FP_n$ 군에서 소멸함을 증명하기.
• 무한히 많은 유한 코어비류 클래스를 가지는 군, 노름형 군, 다항식 성장성을 가지는 군으로 이러한 소멸 결과를 일반화하기.
• 함수해석학적 및 군 코호몰로지 기법을 활용하여 $l^2$-경우를 초월해 $p > 1$인 $l^p$-코호몰로지에 대한 이중성과 소멸 정리를 확장하기.

제안 방법

• $\mathbb{Z}[G]$ 위에서 $\mathbb{Z}$의 프로젝티브 해상법을 사용하여 $l^p(G)$와의 텐서 및 함의 연산을 통해 $l^p$-호모로지와 코호몰로지를 정의하기.
• 노름 위상에서 상의 닫힘을 취하여 감소한 $l^p$-(코)호모로지를 정의함으로써 완비성과 이중성을 보장하기.
• 샤필로의 보조정리와 유도/공유도 함자(functors)를 적용하여 부분군에서의 코호몰로지를 전체 군으로 연결하기.
• 군환 내의 일반화된 궤도와 컷오프(자르기) 기법을 사용하여 합의 수렴성을 제어하고 $l^p$-노름에서의 수렴을 보장하기.
• 하른-반하흐 정리와 수반 사상에 의한 $l^p$와 $l^q$ 공간 간의 이중성 관계를 활용하여 이중성 동형사상 수립하기.
• 중앙 원소의 경우에 대한 증명 전략을 중심열과 코어비류 클래스의 유한성에 기반한 일반적인 맥락으로 확장하여 노름형 및 다항식 성장 군에 적용하기.

실험 결과

연구 질문

• RQ1 감소한 $l^p$-호모로지가 $\frac{1}{p} + \frac{1}{q} = 1$ 조건을 만족하는 $FP_n$ 유형의 군에서 감소한 $l^q$-코호몰로지와 이중성을 가지는가?
• RQ2 감소한 $l^p$-코호몰로지가 $p > 1$일 때 $FP_n$ 군에서 어떤 구조적 조건 하에 소멸하는가?
• RQ3 무한 차수 중심 원소를 가지는 군에 대한 소멸 결과는 무한히 많은 유한 코어비류 클래스를 가지는 군 또는 노름형 군으로 확장 가능한가?
• RQ4 무한 부분과 유한 부분을 모두 포함하는 중심열이 존재할 경우, 노름형 군의 $l^p$-코호몰로지에 어떤 영향을 미치는가?
• RQ5 다항식 성장성과 유한 지수의 노름형 부분군이 $FP_n$ 군에서 감소한 $l^p$-코호몰로지의 소멸을 어떻게 유도하는가?

주요 결과

• 감소한 $l^p$-호모로지와 $l^q$-코호몰로지는 $\frac{1}{p} + \frac{1}{q} = 1$ 조건 하에서 자연스러운 동형사상에 의해 $l^p$-$l^q$ 이중성에 의해 이중성을 가지며, 이는 $l^p$-$l^q$ 이중성에 기반한다.
• 중앙 원소가 무한 차수를 가지는 $FP_n$ 유형의 군에 대해 모든 $i \leq n$에 대해 감소한 $l^p$-코호몰로지가 소멸한다.
• 유한 코어비류 클래스가 무한히 많은 군의 경우, 군환 내의 일반화된 궤도와 컷오프 기법을 통해 소멸 결과가 확장됨을 보였다.
• 무한 차수의 유한 생성 노름형 군이 $FP_\infty$ 유형일 경우, 모든 $i \in \mathbb{N}$ 차수에서 감소한 $l^p$-코호몰로지가 자명하다.
• 유한 지수의 노름형 부분군을 포함하는 다항식 성장 군 역시 모든 $i \in \mathbb{N}$ 차수에서 감소한 $l^p$-코호몰로지가 자명하다.
• 증명 기법은 중심 군환 원소의 궤도를 따라 제어된 합을 구성하고, 노름 닫힘을 통해 $l^p$-공간 내에서의 수렴을 보장하는 데에 기반한다.