[논문 리뷰] The linearity problem for the unitriangular automorphism groups of free groups

В. А. Романьков|arXiv (Cornell University)|2013. 09. 11.

Advanced Differential Equations and Dynamical Systems참고 문헌 16인용 수 3

한 줄 요약

이 논문은 자유군의 상삼각형 자기동형사상군에 대한 선형성 문제를 해결하며, 이러한 군이 체 위에 충실한 행렬 표현을 갖는다 하는 조건이 자유군의 계수가 3 이하일 때에만 성립한다는 것을 증명한다. 저자들은 HNN 확장을 사용하고 Formanek–Procesi 방법을 적용하여 $ U_4 $ 가 선형이 아니며, 이에 따라 $ n \geq 4 $ 일 때 $ U_n $ 도 선형이 아니라는 것을 보이며, 모든 상대적으로 자유군에 대한 선형성의 분류를 완성한다.

ABSTRACT

We prove that the unitriangular automorphism group of a free group of rank $n$ has a faithful representation by matrices over a field, or in other words, it is a linear group, if and only if $n \leq 3.$ Thus, we have completed a description of relatively free groups with linear the unitriangular automorphism groups. This description was initiated by Erofeev and the author in \cite{Erofeev}, where proper varieties of groups have been considered.

연구 동기 및 목표

• 상삼각형 자기동형사상군이 선형이 되는 군의 다양체의 분류를 완성하기 위해.
• 모든 군의 다양체일 때, 상삼각형 자기동형사상군에 대한 선형성 문제에서 남아있는 열린 케이스를 해결하기 위해.
• $ U_n $, 즉 자유군 $ F_n $ 의 상삼각형 자기동형사상군이 $ n \geq 4 $ 일 때 선형인지 여부를 규명하기 위해.

제안 방법

• 선형성의 장애를 분석하기 위해 HNN 확장 구조 $ \mathcal{H}(G) = \langle G \times G, t \mid t(g,g)t^{-1} = (1,g) \rangle $ 를 사용한다.
• Brendle과 Hamidi-Tehrani의 정리 3.2를 적용하여, 만약 어떤 군이 $ \mathcal{H}(F_2)/N $ 과 같은 몫으로 사상되고, $ F_2 \times \{1\} $ 의 이미지가 비가환군에 대한 가환군에 대한 유한성 조건을 만족하지 못한다면, 그 군은 선형이 아님을 보인다.
• 생성자 $ \lambda_{3,1}, \lambda_{3,2}, \lambda_{4,1}, \lambda_{4,2}, \lambda_{4,3} $ 를 사용하여 $ U_4 $ 의 부분군 $ H $ 를 구성하고, 필요한 관계식을 확인한다.
• $ H \cong \mathcal{H}(F_2)/N $ 이며, $ F_2 \times \{1\} $ 의 이미지가 비가환군에 대한 가환군에 대한 유한성 조건을 만족하지 않기 때문에, $ U_4 $ 가 선형이 아니라는 것을 증명한다.
• $ U_4' $, 즉 $ U_4 $ 의 도함수군이 $ W_4 = \langle \lambda_{3,j}, \lambda_{4,l} \mid j=1,2; l=1,2,3 \rangle $ 와 동형임을 보이며, 따라서 $ U_4' $ 는 선형이 아니다.
• $ n \geq 4 $ 로 일반화하기 위해, $ U_n $ 의 하위 중심열의 $ (n-2) $-번째 항인 $ \gamma_{n-2}(U_n) $ 가 선형이 아니라는 것을 보인다.

실험 결과

연구 질문

• RQ1 어느 다양체에서 군에 대해 상삼각형 자기동형사상군 $ U_n $ 이 선형인가?
• RQ2 자유군 $ F_n $ 의 상삼각형 자기동형사상군 $ U_n $ 이 $ n \geq 4 $ 일 때 선형인가?
• RQ3 $ U_3 $ 가 선형이라는 사실이 모든 $ n \geq 4 $ 에 대해 $ U_n $ 이 선형이라는 것을 의미하는가?
• RQ4 도함수군 $ U_n' $ 의 구조는 무엇이며, $ n \geq 4 $ 일 때 선형인가?
• RQ5 HNN 확장 몫을 통해 $ U_n $ 의 비선형성을 감지할 수 있는가?

주요 결과

• 자유군 $ F_n $ 의 상삼각형 자기동형사상군 $ U_n $ 이 선형이 되는 것은 $ n \leq 3 $ 일 때에만 성립하며, 이는 모든 상대적으로 자유군에 대한 선형성 분류를 완성한다.
• 도함수군 $ U_4' $ 는 선형이 아니며, $ W_4 = \langle \lambda_{3,1}, \lambda_{3,2}, \lambda_{4,1}, \lambda_{4,2}, \lambda_{4,3} \rangle $ 와 동형이며, 이는 $ \mathcal{H}(F_2) $ 의 몫이며, 비가환군에 대한 가환군에 대한 유한성 조건을 만족하지 않는 이미지를 갖는다.
• $ n \geq 4 $ 일 때마다, $ U_n $ 의 하위 중심열의 $ (n-2) $-번째 항인 $ \gamma_{n-2}(U_n) $ 는 선형이 아니다.
• $ U_4' $ 는 $ U_4 $ 에서 $ f_1 $ 을 고정하는 부분군이기도 하며, 이는 정규부분군이 선형이 아니라는 것을 보여준다.
• 이 결과는 $ U_3 $ 가 선형이라는 사실이 $ n \geq 4 $ 에 대해 $ U_n $ 이 선형이라는 것을 의미하지는 않으며, $ U_3 $ 의 경우에서의 일반화가 성립하지 않음을 시사한다.
• 논문은 $ U_n $ 이 선형이 되는 것이 $ n \leq m $ 일 때에만 성립하는 다양체 $ \mathcal{G}_m $ 가 존재할 것이라 추측한다. 여기서 $ m \geq 3 $ 이다.