[논문 리뷰] O-minimal cohomology and definably compact definable groups

Mário J. Edmundo|ArXiv.org|2000. 12. 07.

Advanced Topology and Set Theory참고 문헌 2인용 수 9

한 줄 요약

이 논문은 실폐쇄체의 o-미니멀 확장에서 정의 가능한 다성분의 o-미니멀 코hom로지 이론을 개발하고, Peterzil-Steinhorn 문제인 정의 가능한 컴팩트 정의 가능한 아벨 군에서의 토판점 존재 문제를 해결하는 데 응용한다. 핵심 결과는 차원이 $ n $ 인 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 아벨 군 $ G $에 대해 기본군 $ \pi_1(G) \cong \mathbb{Z}^n $ 이며, 각 $ k > 1 $ 에 대해 $ k $-토르션 부분군 $ G[k] \cong (\mathbb{Z}/k\mathbb{Z})^n $ 이며, $ G $ 의 o-미니멀 오일러 특성수는 0임을 보여준다.

ABSTRACT

Let N be an o-minimal expansion of a real closed field. We develop cohomology theory for the category of N-definable manifolds and N-definable maps, and use this to solve the Peterzil-Steinhorn problem on the existence of torsion points on N-definably compact N-definable abelian groups. We compute the cohomology rings of N-definably compact N-definable groups, and we prove an o-minimal analog of the Poincare duality theorem, the Alexander dualti theorem, the Lefschetz duality theorem and the Lefschetz fixed point theorem.

연구 동기 및 목표

• 실폐쇄체의 o-미니멀 확장인 $ \mathcal{N} $ 에서 정의 가능한 다성분의 연속적인 $ \mathcal{N} $-정의 가능한 사상의 범주에 대해 코호몰로지 이론을 개발하는 것.
• 정의 가능한 컴팩트, 정의 가능한 연결 아벨 군에서의 토판점 존재 문제인 Peterzil-Steinhorn 문제를 해결하는 것.
• 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 군의 코호몰로지 링을 계산하는 것.
• o-미니멀 설정에서 피카르, 알렉산더, 레프셰츠 이중성 정리와 레프셰츠 고정점 정리를 수립하는 것.

제안 방법

• 논문은 하우스도르프 정의 가능한 다성분의 범주와 연속적인 정의 가능한 사상의 범주를 이용하여 o-미니멀 코호몰로지 이론을 구축하며, A. Woerheide의 o-미니멀 호몰로지 기법을 확장한다.
• 정의 가능한 다성분의 다성분에 대해 피카르 이중성, 알렉산더 이중성, 레프셰츠 이중성을 수립한다.
• 정의 가능한 사상에 대해 레프셰츠 고정점 정리를 증명하며, 이는 일반화된 조르당-브류어 분리 정리로 이어진다.
• 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 군의 코호몰로지 링은 고전적 리 군 코호몰로지와 [ e2 ] 및 [ pps1 ]의 결과를 통해 전이를 통해 계산된다.
• 중심이 없는 단순 군과 그들의 보편 덮개를 포함하는 확장들을 통해 정의 가능한 컴팩트 정의 가능한 군의 구조를 분석한다.
• 군 $ G $ 의 리 대수 $ \mathfrak{g} $ 에 대해 $ H^*(G;R) \cong H^*(\mathfrak{g};R) $ 인 등식을 사용하고, 컴팩트 리 군의 코호몰로지에 대한 기존 결과를 o-미니멀 설정에 적용한다.

실험 결과

연구 질문

• RQ1 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 아벨 군 $ G $ 가 차원 $ n $ 을 가지면, 기본군이 $ \mathbb{Z}^n $ 과 동형일까?
• RQ2 그러한 군의 각 $ k $-토르션 부분군 $ G[k] $ 이 $ (\mathbb{Z}/k\mathbb{Z})^n $ 과 동형일까?
• RQ3 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 군의 o-미니멀 오일러 특성수는 무엇인가?
• RQ4 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 군의 코호몰로지 링은 o-미니멀 코호몰로지로 계산될 수 있는가?
• RQ5 고전적 대수적 토폴로지의 이중성 정리들이 o-미니멀 범주에서 성립하는가?

주요 결과

• 차원이 $ n $ 인 정의 가능한 컴팩트, 정의 가능한 연결 정의 가능한 군 $ G $ 의 o-미니멀 오일러 특성수는 0이다.
• 아벨 군 $ G $ 에 대해 기본군은 $ \pi_1(G) \cong \mathbb{Z}^n $ 를 만족한다.
• 각 $ k > 1 $ 에 대해 $ k $-토르션 부분군 $ G[k] \cong (\mathbb{Z}/k\mathbb{Z})^n $ 이다.
• 군 $ G $ 의 코호몰로지 링은 리 군의 구조를 반영하는 외부 대수 $ \bigwedge[x_1, \dots, x_n]_R $ 과 동형이다.
• 아벨 군이고 단순 연결인 경우, $ H^*(G; \mathbb{Z}_p) $ 는 모든 $ p $ 에 대해 $ p $-토르션 자유이며, 그에 대한 명시적 상한은 리 유형에 따라 달라진다.
• 정의 가능한 단순성을 가진 군 $ G $ 에 대해 기본군 $ \pi_1(G) $ 는 유한하며, 그 군은 단순 성분들의 보편 덮개들의 중심들의 곱의 부분군과 동형이다.