[논문 리뷰] Linear groups of finite Morley rank

Alexandre Borovik, Jeffrey Burdges|ArXiv.org|2008. 01. 25.

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

한 줄 요약

이 논문은 특성 0 체 위에서 유한 모리 리앙 랭크를 가지며, 아핀 구조로 닫혀 있지 않은 무한 단순 정의 가능한 선형군이 존재하지 않음을 증명한다. 이러한 군은 모든 원소가 유한 모리 리앙 랭크를 가지며, 자기 자신을 정규화하는 보렐 부분군을 가지며, 2-토르스의 외부 자기동형사상이 존재하지 않으며, 반전에 의해 유도된 사영 평면의 구조를 지닌다. 이는 바흐만 정리에 의해 모순을 일으키며, 주어진 조건 하에서 이러한 군이 존재할 수 없음을 보여준다.

ABSTRACT

We show that a non-algebraic simple group of finite Morley rank with a definable representation over a field has no involutions, and otherwise resembles a bad group. In particular, the modern form of the Cherlin-Zilber alebaricity conjecture hold for such groups.

연구 동기 및 목표

• 특성 0 체 위에서 아핀 구조로 닫혀 있지 않은 정의 가능한 선형 단순 군의 분류를 위한 목표.
• 유한 모리 리앙 랭크 군의 광범위한 분류에서 중요한 장애물인 고유한 원소의 존재를 제거하기 위한 목표.
• 이러한 군에서 보렐 부분군이 자기 자신을 정규화한다는 구조적 성질을 확립하기 위한 목표.
• 특히 고유한 원소의 사영 평면 구조를 활용하여 바흐만 정리를 적용함으로써 모순을 도출하기 위한 기하학적 및 모델 이론적 기법의 적용.
• 더 넓은 'L*-프로젝트'를 뒷받침하기 위해, 고유한 원소를 가지는 군이 강한 실수 원소 조건을 만족할 수 없으며, 이는 군이 대수적일 경우에만 가능함을 보여주기 위한 목표.

제안 방법

• 단순 선형 군이 양의 특성 수 체 위에서 정의 가능하다면 대수적임을 보여주는 파이자트의 결과를 활용하여 특성 0 으로의 환원.
• 아핀 구조로 닫혀 있지 않은 단순 정의 가능한 선형 군의 모든 원소가 준정규적임을 이용하여, 보렐 부분군이 아벨이면서 서로 쌍대적임을 보장.
• 데벤에이-네신의 주장에 따라 2-토르스의 외부 자기동형사상을 제거함으로써 핵심적인 기술적 단계를 달성.
• 보렐 부분군의 쌍대 원소가 반전에 의해 유도된 고유한 원소 집합에 대해 사영 평면의 구조를 구성.
• 세 개의 고유한 원소가 한 직선 위에 있을 조건은 그들의 곱이 고유한 원소일 때라는 바흐만 정리를 적용하여, 유한 모리 리앙 랭크를 가질 수 없음을 보임.
• 고유한 원소와 보렐 부분군의 구성이 대수적 군이 아닐 경우 모순을 일으킴을 증명함으로써, 이러한 비대수적 군이 존재할 수 없음을 입증.

실험 결과

연구 질문

• RQ1 특성 0 체 위에서 유한 모리 리앙 랭크를 가지며 아핀 구조로 닫혀 있지 않은 단순 정의 가능한 선형 군이 고유한 원소를 가질 수 있는가?
• RQ2 이러한 군에서 보렐 부분군은 반드시 자기 자신을 정규화하는가?
• RQ3 모든 강한 실수 원소가 시로프 2-토르스의 중심화군 안에 있을 수 있는가? 이 경우에도 모리 리앙 랭크가 유한할 수 있는가?
• RQ4 보렐 부분군으로부터 도출된 고유한 원소에 대한 사영 평면의 구조를 바흐만 정리에 적용하여 모순을 유도할 수 있는가?
• RQ5 모든 원소가 준정규적이고 군이 아핀 구조로 닫혀 있지 않은 경우 어떤 구조적 제약 조건이 발생하는가?

주요 결과

• 특성 0 체 위에서 유한 모리 리앙 랭크를 가지며 아핀 구조로 닫혀 있지 않은 정의 가능한 선형 단순 군은 고유한 원소를 가지지 않는다.
• 이러한 군에서 보렐 부분군은 자기 자신을 정규화하며, 이는 그들의 쌍대성과 아벨 구조의 결과이다.
• 고유한 원소의 집합은 보렐 부분군과 반전에 의해 유도된 기하학적 구조 아래 사영 평면을 이룬다.
• 고유한 원소와 보렐 부분군의 구성은 공선 조건을 만족한다: 세 개의 고유한 원소가 공선일 조건은 그들의 곱이 고유한 원소일 때이다.
• 이 구조는 바흐만 정리와 모순을 일으키며, 이는 이러한 군이 대수적일 경우를 제외하고는 유한 모리 리앙 랭크를 가질 수 없음을 시사한다.
• 논문은 모든 강한 실수 원소가 시로프 2-토르스의 중심화군 안에 있을 경우, 군이 대수적일 수밖에 없다는 추측을 지지한다.