[논문 리뷰] On the $3$-colorable subgroup $\mathcal{F}$ and maximal subgroups of Thompson's group $F$

Valeriano Aiello, Tatiana Nagnibeda|arXiv (Cornell University)|2021. 03. 14.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 톰슨 군 F의 3-색 가능 부분군 𝔽를 조사하여, 그에 관련된 준정규 표현이 기약임을 증명한다. 또한 F의 특정 단사 내부자명사상에 대한 𝔽의 역상이 세 개의 새로운 명시적 무한지수 최대부분군에 포함됨을 보이며, 이는 이전에 알려진 예들—예를 들어 포물선 부분군, 방향 부분군 ⃗F, 과 과란의 부분군—과 다름을 입증한다. 이로써 F 내의 무한지수 최대부분군의 알려진 구조가 확장된다.

ABSTRACT

In his work on representations of Thompson's group $F$, Vaughan Jones defined and studied the $3$-\emph{colorable subgroup} $\mathcal{F}$ of $F$. Later, Ren showed that it is isomorphic with the Brown-Thompson group $F_4$. In this paper we continue with the study of the $3$-colorable subgroup and prove that the quasi-regular representation of $F$ associated with the $3$-colorable subgroup is irreducible. We show moreover that the preimage of $\mathcal{F}$ under a certain injective endomorphism of $F$ is contained in three (explicit) maximal subgroups of $F$ of infinite index. These subgroups are different from the previously known infinite index maximal subgroups of $F$, namely the parabolic subgroups that fix a point in $(0,1)$, (up to isomorphism) the Jones' oriented subgroup $\vec{F}$, and the explicit examples found by Golan.

연구 동기 및 목표

• 바비에나 존스가 양자 SO(3) 평면 대수에서 유도된 유니터리 표현에서 진공 벡터의 안정화군으로 도입한 톰슨 군 F의 3-색 가능 부분군 𝔽를 연구하는 것.
• 𝔽에 관련된 F의 준정규 표현의 구조를 연구하며, 특히 그 기약성에 초점을 맞추는 것.
• 기존의 예들—예를 들어 포물선 부분군, 방향 부분군 ⃗F, 과란의 부분군—과 다름을 보이는 새로운 무한지수 최대부분군을 규명하고 특성화하는 것.
• F의 특정 단사 내부자명사상 θ에 대한 𝔽의 역상 분석과 그 최대부분군 내 포함성 규명.

제안 방법

• 관련 그래프의 색깔 다항식과 평면 대수 구조를 활용하여 3-색 가능 부분군 𝔽를 정의하고 특성화하는 것.
• 나무 치환을 통한 Ren의 단사 준동형사상 αT: Fk → F 구축 방법을 적용하며, 3-색 가능 부분군에 대해서는 k=3을 사용하는 것.
• 𝔽에 관련된 준정규 표현을 활용하고, 나무 쌍에 대한 군론적 및 조합론적 추론을 통해 그 기약성을 증명하는 것.
• F의 단사 내부자명사상 θ에 의한 𝔽의 상 분석을 위해 정규형 계산과 F+ ∩ K(2,2) 내의 블록 구조를 활용하는 것.
• F의 생성자 g에 대해 θ(g)의 명시적 계산을 통해 M0, M1, M2 및 β⁻¹(⃗F)와의 소속 여부를 확인하는 것.
• K(2,2) 부분군을 슈퍼군으로 활용하고, F와 F+ ∩ K(2,2) 내의 양성 원소로 생성되는 K(2,2)의 부분군이 항상 M0, M1, 또는 K(2,2)임을 블록 구조와 코너지화 기법을 통해 증명하는 것.

실험 결과

연구 질문

• RQ1 𝔽에 관련된 F의 준정규 표현이 기약인지 여쭤보는 것.
• RQ2 θ에 대한 𝔽의 역상이 포함된 M0, M1, M2 부분군이 F 내에서 최대부분군이면서 무한지수인지 여쭤보는 것.
• RQ3 M0, M1, M2가 이전에 알려진 무한지수 최대부분군—예를 들어 포물선 부분군 Stab(t), 방향 부분군 ⃗F, 과란의 부분군 K1, K2, K3—과 동형인지 여쭤보는 것.
• RQ4 θ에 대한 𝔽의 역상이 Stab(t) (t ∈ (0,1)) 및 β⁻¹(⃗F)를 포함한 모든 알려진 최대부분군을 피하는지 여쭤보는 것.
• RQ5 K(2,2)의 모든 부분군 중에서 F를 포함하고 F와 F+ ∩ K(2,2) 내의 양성 원소로 생성되는 부분군이 항상 M0, M1, 또는 K(2,2)임을 보일 수 있는가? 이는 M0, M1, M2가 F와 K(2,2) 사이의 유일한 이러한 부분군일 수 있음을 시사한다.

주요 결과

• 𝔽에 관련된 F의 준정규 표현은 기약이다.
• θ에 대한 𝔽의 역상은 F의 세 개의 서로 다른 무한지수 최대부분군 M0, M1, M2에 포함된다.
• 이 부분군 M0, M1, M2는 이전에 알려진 무한지수 최대부분군—예를 들어 포물선 부분군 Stab(t), 방향 부분군 ⃗F, 과란의 부분군 K1, K2, K3—과 동형이 아니다.
• 명시적 계산을 통해 θ(x2), θ(σ(x2)), θ(x0x1x⁻¹₂)가 각각 M1, M2, M0에 속하지 않음을 보여, θ⁻¹(M1), θ⁻¹(M2), θ⁻¹(M0)가 어떤 Stab(t)나 β⁻¹(⃗F)와도 같지 않음을 증명한다.
• K(2,2)의 부분군 중에서 F를 포함하고 F와 F+ ∩ K(2,2) 내의 양성 원소로 생성되는 부분군은 항상 M0, M1, 또는 K(2,2)이다. 이는 M0, M1, M2가 F와 K(2,2) 사이의 이러한 부분군을 유일하게 구성할 수 있음을 시사한다.