[논문 리뷰] The affine and projective groups are maximal

Itay Kaplan, Pierre Simon|arXiv (Cornell University)|2013. 10. 30.

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

한 줄 요약

이 논문은 $AGL_n(\mathbb{Q})$ ($n \geq 2$)과 $PGL_n(\mathbb{Q})$ ($n \geq 3$)이 무한대 대칭군 $S_\omega$의 닫힌 부분군으로서 최대-닫힘임을 증명한다. 즉, 이러한 군들은 어떤 더 큰 닫힌 부분군에 적절히 포함되지 않는다. 증명은 Adeleke와 Macpherson의 조르당 군 분류를 활용하여, 이러한 군들을 적절히 포함하는 임의의 군이 조르당 군을 특징짓는 구조들(순환 분리, $D$-관계, $k$-스티너 체계, 또는 스티너 체계의 극한)을 모두 유지할 수 없음을 보여, 최대-닫힘성을 확립한다.

ABSTRACT

We show that the groups AGL_n(Q) and PGL_n(Q), seen as closed subgroups of S_{\infty}, are maximal-closed.

연구 동기 및 목표

• 무한대 대칭군의 닫힌 부분군 연구에서 핵심적인 열린 문제인, $AGL_n(\mathbb{Q})$와 $PGL_n(\mathbb{Q})$가 $S_\omega$에서 최대-닫힘 부분군인지 여부를 규명하는 것.
• 스티너 체계의 자동사상군을 분석하여 최대-닫힘 부분군 분류를 확장하는 것, 특히 $\mathbb{Q}$ 위의 애프인 기하학과 사영 기하학에서 유래된 체계들을 중심으로 한다.
• $S_\omega$ 내에 가산 최대-닫힘 부분군이 존재하는가에 대한 Macpherson와 Bodirsky의 질문을 해결하는 것.
• $f(x,y,z) = x+y-z$를 갖는 구조 $(\mathbb{Q}^n, f)$가 비자명한 정의 가능 재구성체를 갖지 않음을 보여, $AGL_n(\mathbb{Q})$의 최대-닫힘성을 증명하는 것.

제안 방법

• 조르당 군의 분류 정리인 Adeleke와 Macpherson의 정리를 적용하여, 3-전이적 조르당 군은 순환 분리, $D$-관계, $k$-스티너 체계, 또는 스티너 체계의 극한 중 하나를 유지함을 규명한다.
• $AGL_n(\mathbb{Q})$ 또는 $PGL_n(\mathbb{Q})$를 적절히 포함하는 임의의 군 $G$가 조르당 군을 특징짓는 네 가지 표준 구조 중 어느 것도 유지할 수 없음을 증명한다.
• 조합론적 구성법을 사용하여, 어떤 초군에도 $D$-관계나 순환 분리 관계가 유지될 수 없음을 배제한다.
• 직선의 기하적 제약 조건을 분석하여, $AGL_n(\mathbb{Q})$와 $PGL_n(\mathbb{Q})$가 $k \geq 2$인 $k$-스티너 체계를 유지할 수 없음을 증명한다.
• 만약 그러한 군이 조르당 집합의 극한을 유지한다면, 실제로는 유한한 $m$-스티너 체계를 유지해야 하며, 이는 $\mathbb{Q}$ 위의 기저 원소와 선형 사상 기반의 구성법을 통해 증명한다.
• 증명 기법을 변형하여, $n = \omega$일 경우 적절한 기저와 이동/이동 변환 사상이 존재함을 보여, 수열의 충분히 큰 $\Pi_i$가 필요한 불변성을 유지함을 보이고, 이로 인해 군이 스티너 체계를 유지함을 결론짓는다.

실험 결과

연구 질문

• RQ1 $AGL_n(\mathbb{Q})$는 $n \geq 2$일 때 $S_\omega$에서 최대-닫힘인가?
• RQ2 $PGL_n(\mathbb{Q})$는 $n \geq 3$일 때 $S_\omega$에서 최대-닫힘인가?
• RQ3 $f(x,y,z) = x+y-z$를 갖는 구조 $(\mathbb{Q}^n, f)$의 자동사상군은 비자명한 정의 가능 재구성체를 갖는가?
• RQ4 $AGL_n(\mathbb{Q})$를 적절히 포함하는 군이 $k \geq 2$인 $k$-스티너 체계를 유지할 수 있는가?
• RQ5 $PGL_n(\mathbb{Q})$를 포함하는 군이 조르당 집합의 극한을 유지한다면, 반드시 유한한 스티너 체계를 유지해야 하는가?

주요 결과

• $AGL_n(\mathbb{Q})$는 모든 $n \geq 2$에 대해 $S_\omega$에서 최대-닫힘이다.
• $PGL_n(\mathbb{Q})$는 모든 $n \geq 3$에 대해 $S_\omega$에서 최대-닫힘이다.
• $AGL_n(\mathbb{Q})$를 적절히 포함하는 임의의 군은 $k \geq 2$에 대해 $k$-스티너 체계를 유지할 수 없으며, 이는 $\mathbb{Q}^n$ 내 직선의 기하적 제약 조건 때문이다.
• $PGL_n(\mathbb{Q})$를 적절히 포함하는 임의의 군은 $k \geq 2$에 대해 $k$-스티너 체계를 유지할 수 없으며, 이는 직선 상의 점 수가 요구되는 대칭성 하에서 유지되지 않기 때문이다.
• $AGL_n(\mathbb{Q})$를 포함하는 군이 조르당 집합의 극한을 유지하고, $m$-전이적이지만 $(m+1)$-전이적이지 않다면, 반드시 유한한 $m$-스티너 체계를 유지해야 하며, 이는 군이 $AGL_n(\mathbb{Q})$에 포함되어야 한다는 모순을 초래한다.
• $f(x,y,z) = x+y-z$를 갖는 구조 $(\mathbb{Q}^n, f)$는 비자명한 정의 가능 재구성체를 갖지 않으며, 자동사상군인 $AGL_n(\mathbb{Q})$가 최대-닫힘임을 보여준다.