[논문 리뷰] Hyperfield extensions, characteristic one and the Connes-Consani plane connection

Koen Thas|arXiv (Cornell University)|2014. 07. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 4

한 줄 요약

이 논문은 초체계와 1차 특성 기하학의 프레임워크 내에서, 특히 콘스와 콘사니의 1원소 체(F₁)에 대한 작업과 관련하여, 사영 평면 위의 단순 전이적 군 작용인 싱거 군(group actions)을 조사한다. 거의 모든 무한 아벨 군과 자유 군이 특정 사영 평면 위에서 싱거 군으로 작용하며, PG(n, F̅_p)와 짝수 m에 대해 PG(m, ℝ)는 그러한 군을 수용할 수 없음을 증명한다. 반면, 대수적으로 닫힌 체와 실수적으로 닫힌 체에 대해 가상의 싱거 군을 구성한다.

ABSTRACT

Inspired by a recent paper of Alain Connes and Catherina Consani which connects the geometric theory surrounding the elusive field with one element to sharply transitive group actions on finite and infinite projective spaces ("Singer actions"), we consider several fudamental problems and conjectures about Singer actions. Among other results, we show that virtually all infinite abelian groups and all (possibly infinitely generated) free groups act as Singer groups on certain projective planes, as a corollary of a general criterion. We investigate for which fields $\mathbb{F}$ the plane $\mathbf{P}^2(\mathbb{F}) = \mathbf{PG}(2,\mathbb{F})$ (and more generally the space $\mathbf{P}^n(\mathbb{F}) = \mathbf{PG}(n,\mathbb{F})$) admits a Singer group, and show, e.g., that for any prime $p$ and any positive integer $n > 1$, $\mathbf{PG}(n,\overline{\mathbb{F}_p})$ cannot admit Singer groups. One of the main results in characteristic $0$, also as a corollary of a criterion which applies to many other fields, is that $\mathbf{PG}(m,\mathbb{R})$ with $m e 0$ a positive even integer, cannot admit Singer groups.

연구 동기 및 목표

• 다양한 체 위의 사영 평면에서 싱거 군—즉, 단순 전이적 군 작용—의 존재성과 구조를 이해하는 것.
• 특히 크라스너 초체계를 포함한 초체계 확장과, 끈적한 1원소 체(F₁) 기하학 간의 연결 고리 조사.
• 특히 특성 0 및 대수적으로 닫힌 체 또는 실수적으로 닫힌 체일 경우, 체 F에 대해 사영 공간 PG(n, F)가 싱거 군을 수용하는지 여부를 규명하는 것.
• 싱거 군을 구성하는 일반 기준을 개발하고, 단순 전이적 조건의 완화를 허용하는 가상의 싱거 군을 탐색하는 것.

제안 방법

• 벡터 공간과 그 사영화에 대한 군 작용 기반의 일반 기준을 사용하여, 무한 아벨 군과 자유 군에 대한 싱거 군을 구성한다.
• 체 확장과 기수 불가측 차원의 벡터 공간 위에서의 곱셈군 작용을 활용하여, 사영 공간 위에서 단순 전이적 작용을 유도한다.
• 초체계 이론과 초군 작용을 적용하여 F₁의 기하학을 모델링하고, 콘스-콘사니의 프레임워크와 연관시킨다.
• 대수적으로 닫힌 체 위에서 싱거 군이 존재할 경우, 부분공간 위의 안정자 구조를 분석하여 모순을 이끌어낸다.
• 전이성 조건을 완화하여 유한 개의 궤도를 允허함으로써, 대수적으로 닫힌 체에 대해 가상의 싱거 군을 구성한다.
• 유한 순환군의 직접 극한을 이용하여, F₁의 대수적 폐쇄 위의 사영 공간 PG(m, F̅₁) 위에서 무한 싱거 군을 구성한다.

실험 결과

연구 질문

• RQ1 체 F에 대해 사영 공간 PG(n, F)가 언제 싱거 군을 수용하는가? 특히 F가 대수적으로 닫히거나 실수적으로 닫힐 경우에 대해.
• RQ2 p가 소수이고 n > 1일 때, F̅_p가 대수적으로 닫혀 있음에도 불구하고 PG(n, F̅_p)가 싱거 군을 수용할 수 있는가?
• RQ3 m이 양의 짝수 정수일 때, PG(m, ℝ)가 싱거 군을 수용할 수 있는가?
• RQ4 대수적으로 닫힌 체나 실수적으로 닫힌 체에 대해 가상의 싱거 군이 존재하는가? 그리고 그러한 체가 진정한 싱거 군이 아니더라도 가상으로는 싱거 군이 될 수 있는가?
• RQ5 PG(m, F₁^n) 위의 모든 가능한 싱거 군의 구조는 어떠한가? 그리고 이를 체계적으로 구성할 수 있는가?

주요 결과

• 모든 소수 p와 n > 1에 대해, 부분공간 위의 안정자 논증을 통한 모순에 의해 PG(n, F̅_p)는 싱거 군을 수용할 수 없다.
• m이 양의 짝수 정수일 때, PG(m, ℝ)는 싱거 군을 수용할 수 없으며, 이는 특성 0에서의 핵심 결과이다.
• 모든 무한 아벨 군과 모든 (유한 또는 무한 생성을 가진) 자유 군은 일반적 구성 기준의 추론으로서 특정 사영 평면 위에서 싱거 군으로 작용한다.
• 체 F가 세제곱적으로 닫혀 있지 않은 경우, 모든 사영 평면 PG(2, F)에 대해 가상의 싱거 군이 존재하며, F가 실수적으로 닫히거나 대수적으로 닫혀 있고 ω가 무한일 경우 PG(ω, F)에도 존재한다.
• 직접 극한 구성은 순환군 C_n의 합집합을 취하여, F₁의 대수적 폐쇄 위의 사영 공간 PG(m, F̅₁) 위에 싱거 군 S(∞)를 유도한다.
• PG(m, F₁^n) 위의 모든 싱거 군은 순환 점 안정자 S_x ≅ C_n를 가진 전이적 부분군 S ≤ Sym(P)로부터 유도되며, 이는 완전한 분류를 제공한다.