[논문 리뷰] About Goto's method showing surjectivity of word maps

Abdelrhman Elkasapy, Andreas Thom|arXiv (Cornell University)|2012. 07. 24.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 6

한 줄 요약

이 논문은 고토의 방법을 확장하여, 두 생성자에 대한 자유군의 원소 ω가 두 번째 유도부군 F^{(2)}에 속하지 않는 한, 모든 충분히 큰 n에 대해 SU(n) × SU(n) → SU(n)로 가는 관련 단어 매핑 ω: SU(n) × SU(n) → SU(n)가 전사임을 증명한다. 전사성은 최소 소인수 lpf(n)가 충분히 큰 모든 n에 대해 성립한다. 이 결과는 SU(n) 군에서 단어 매핑의 전사성에 관한 라르센의 추측에 강력한 증거나를 제공한다.

ABSTRACT

Let F be the free group on two letters. For ω \in F we study the associated word map ω: SU(n) imes SU(n) ightarrow SU(n). Extending a method of Goto, we show that for ω not in the second derived subgroup F^(2) of F, there are infinitely many n \in N such that the associated word map ω : SU(n) imes SU(n) ightarrow SU(n) is surjective.

연구 동기 및 목표

• Michael 라르센의 추측에 대한 증거를 제시하기 위해, 충분히 큰 n에 대해 SU(n) × SU(n)에서의 모든 비자명한 단어 매핑이 전사임을 보이는 것.
• 공액자 매핑의 전사성을 증명하기 위한 고토의 고전적 방법을 두 번째 유도부군 F^{(2)} 외부의 더 넓은 범주로 일반화하는 것.
• F \ F^{(2)}에 속하는 원소와 관련된 단어 매핑이 SU(n)에서 언제 전사가 되는지 조건을 설정하는 것.
• Engel 단어 매핑의 전사성을 조사하고, 모든 n에 대해 전사임을 보이는 것.

제안 방법

• 자유군이 아벨화 F^{(1)}/F^{(2)}에 작용하는 방식을 통해 정의된 각 단어 ω ∈ F^{(1)}에 대해 다항식 불변량 p_ω(t)를 사용한다.
• 자유군 내에서 기저를 바꾸어 ω를, 다항식 p_ω(t)가 원분단위에서 0이 되지 않는 형태로 변형한다.
• a와 b의 공액 작용을 통해 공액자에 대한 재귀 관계를 유도하며, 특히 p_{[ω,b]}(t) = (1-t)p_ω(t) + t p_ω(1)를 유도한다.
• p_ω(t)가 다항식으로서 0이 아니라는 사실을 이용하여, 단어 매핑이 적절한 대수적 부분군에 포함되지 않음을 보장한다.
• F^{(1)}/F^{(2)}가 Z[F]-모듈로서의 구조를 이용하여, p_ω(t)가 자동형사상에 의해 어떻게 행동하는지 분석한다.
• 코로나리 3.2를 적용하여, p_ω(t)가 원분단위에서 0이 아닐 경우 단어 매핑의 전사성이 보장됨을 연결한다.

실험 결과

연구 질문

• RQ1 자유군 F의 어떤 단어 ω에 대해, 충분히 큰 모든 n에 대해 단어 매핑 ω: SU(n) × SU(n) → SU(n)가 전사가 되는가?
• RQ2 고토의 방법을 통해 공액자 매핑의 전사성을 증명하는 것의 일반화가 F^{(2)} 외부의 단어로 가능할 수 있는가?
• RQ3 정리 1.1에서 n에 대한 제약(즉, lpf(n) ≥ k)이 필수적인가, 아니면 모든 n에 대해 전사성을 보일 수 있는가?
• RQ4 모든 n과 모든 k에 대해 Engel 단어 매핑 e_k(a,b)는 SU(n)에서 전사인가?
• RQ5 단어 매핑의 전사성을 모든 n에 대해 균일하게 판단하는 데 다항식 불변량 p_ω(t)를 사용할 수 있는가?

주요 결과

• 자유군 F에서 두 번째 유도부군 F^{(2)}에 속하지 않는 모든 단어 ω에 대해, 어떤 정수 k가 존재하여, lpf(n) ≥ k인 모든 n에 대해 단어 매핑 ω: SU(n) × SU(n) → SU(n)가 전사가 된다.
• k-번째 Engel 단어 매핑 e_k: SU(n) × SU(n) → SU(n)는 모든 n과 모든 k ∈ N에 대해 전사이며, p_{e_k}(t) = (1-t)^k이다.
• ω ∉ F^{(2)}이면, ω에 관련된 다항식 p_ω(t)는 0이 아니며, 모든 원분단위에서 0이 되지 않으며, 이는 전사성을 보장한다.
• F^{(1)}/F^{(2)} → Z[t,t^{-1}]인 사상 p̄는 Z[F]-모듈로의 준동형사상이며, 단어 매핑 분석을 위한 구조적 프레임워크를 제공한다.
• 이 방법은 F^{(2)}에 속하는 단어에서는 실패하며, 이러한 단어에 대한 단어 매핑의 전사성은 여전히 미해결 상태이다. 예를 들어, ω = [[a,b],[a^2,b^2]]의 경우 그렇다.
• 질문 4.4에 대한 긍정적 답변 — 즉, 모든 ξ ∈ F^{(1)}/F^{(2)}에 대해 어떤 자동형사상 α가 존재하여 p̄(α(ξ))의 유일한 원분단위 근이 1 뿐임 — 이 이루어지면 정리 1.1의 n 제약 조건을 제거할 수 있다.