[논문 리뷰] Stabilizers, groups with f-generics in NTP2 and PRC fields

Samaria Montenegro, Alf Onshuus외 1명|arXiv (Cornell University)|2016. 10. 11.

Advanced Topology and Set Theory참고 문헌 4인용 수 7

한 줄 요약

이 논문은 NTP2 이론에 대한 안정화자 정리(Stabilizer Theorem)를 개발하고, 유계 PRC 체에서 f-일반형(type)을 가진 정의 가능한 군을 연구하는 데 응용한다. 이는 허구적 및 실수 체의 결과를 일반화하여, 다중세포에서 대수적 군 연산을 갖는 양자자 없는 정의 가능한 군의 유한지수 부분군과 이소겐(a-isogenous)인 군들이 성립함을 증명한다.

ABSTRACT

In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably amenable NIP groups to NTP2 theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded PRC fields.

연구 동기 및 목표

• S1 이상에 대한 더 약한 가정을 가진 NTP2 이론으로 허슈프스키의 안정화자 정리를 일반화하기 위해.
• 정의 가능한 애미너블 NIP 군 이론을 NTP2 환경으로 확장하여, 특히 f-일반형 유형에 초점을 맞추기 위해.
• 유계 PRC 체에서 f-일반형 유형을 가진 정의 가능한 군의 구조적 분류를 목표로 하기 위해.
• 이러한 군들이 양자자 없는 정의 가능한 군의 유한지수 부분군과 이소겐임을 확립하기 위해.
• 유형-정의 가능한 부분군의 위상적 닫힘과 그 자체 사이의 몫이 프로파인(profinite)임을 증명하기 위해.

제안 방법

• 모델 이론적 맥락에서, 특히 정의 가능한 군 위의 불변 이상에 대해 S1 이상을 도입하고 분석하기 위해.
• 허슈프스키의 안정화자 정리의 두 가지 새로운 판본을 증명: 하나는 더 단순한 가정을 가진 것(정리 2.12), 다른 하나는 S1 조건을 약화시킨 것(정리 2.15).
• 정리 2.19(대수적 군 조각 정리)를 적용하여, 실수 체에서의 순환 없는 군들이 대수적 군의 R-점들과 반대칭적으로 이sov로 표현됨을 보여주기 위해.
• 셸라 확장 기법을 사용하여, 유계 PRC 체에 모든 양자자 없는 외부 정의 가능한 집합을 추가하면, 양자자 제거가 가능하다는 것을 보여주기 위해.
• 닫힘과 정의 가능성 기법을 사용하여, 군 연산이 다중세포에서 대수적인 다중세포로 군을 정의 가능한 커버링을 구성하기 위해.
• 허슈프스키-필레이(1994)의 증명을 유계 PRC 설정으로 적응시키며, 안정화자 정리와 위상적 닫힘 추론을 활용하기 위해.

실험 결과

연구 질문

• RQ1 허슈프스키의 안정화자 정리는 S1 이상에 대한 더 약한 가정을 가진 NTP2 이론으로 일반화될 수 있는가?
• RQ2 정의 가능한 애미너블 NIP 군 이론은 f-일반형 유형을 가진 NTP2 이론으로 어느 정도까지 확장되는가?
• RQ3 유계 PRC 체에서 f-일반형 유형을 가진 군은 어떤 구조적 성질을 갖는가?
• RQ4 유계 PRC 체에서 f-일반형을 가진 모든 군은 양자자 없는 정의 가능한 군의 유한지수 부분군과 이소겐인가?
• RQ5 이 맥락에서, 유형-정의 가능한 부분군의 위상적 닫힘과 그 자체 사이의 몫은 어떤 성질을 갖는가?

주요 결과

• 논문은 더 단순한 가정과 더 자연스러운 증명 프레임워크를 가진 허슈프스키의 안정화자 정리의 새로운 판본(정리 2.12)을 증명한다.
• 기하학적 이론에서 대수적 군 조각 정리(정리 2.19)를 확립하여, 실수 체에서 정의 가능한 순환 없는 군이 항상 대수적 군의 R-점들과 반대칭적으로 이sov임을 시사한다.
• 유계 PRC 체에서 f-일반형을 가진 임의의 군은 다중세포에서 대수적 연산을 갖는 양자자 없는 정의 가능한 군의 유한지수 부분군과 이소겐임을 보여준다.
• 대수적 군의 유형-정의 가능한 부분군 $ K $ 의 위상적 닫힘과 $ K $ 사이의 몫은 프로파인이다. 즉, $ \overline{K}/K $ 는 프로파인이다.
• 모든 양자자 없는 외부 정의 가능한 집합을 포함하는 유계 PRC 체의 확장은 양자자 제거를 갖는다.
• 허슈프스키-필레이의 기법을 허구적 및 실수 체에서의 결과를 더 넓은 범주인 유계 PRC 체로 확장하기 위해 적응시키며, 그 결과를 NTP2 환경으로 확장한다.