[논문 리뷰] On identities in Thompson's group

Evgenii S. Esyp|ArXiv.org|2009. 02. 02.

Academic and Historical Perspectives in Psychology인용 수 3

한 줄 요약

이 논문은 톰슨 군 F가 어떤 비자명한 항등식도 만족하지 않음을 증명한다. 즉, 유한 개의 변수에 대해 모든 n-튜플의 원소들이 만족하는 고정된 관계가 존재하지 않는다는 뜻이다. 조각별 선형 호메오모르피즘과 이진 분할을 기반으로 하는 구조적 방법을 사용하여, 임의의 n과 k에 대해 F 안에 길이가 k 미만인 관계를 만족하지 않는 n개의 원소가 존재함을 보여, F의 강력한 비항등식 성질을 입증하고 자유군과 유사한 그 구조적 풍부성을 확인한다.

ABSTRACT

In this article we prove that Thompson's group does not belong to any algebraic variety.

연구 동기 및 목표

• 톰슨 군 F가 유한 개의 변수에 대해 어떤 비자명한 항등식도 만족하지 않음을 입증하는 것.
• 임의의 n과 k에 대해 F 안에 길이가 k 미만인 관계를 만족하지 않는 n개의 원소가 존재함을 보여주는 것.
• 짧은 관계를 위반하는 명시적 원소를 구성함으로써, 자유군이 아니지만 항등식에 의해 제약을 받지 않는다는 것을 증명하는 것.
• 자유군과 유사하게, F의 구조가 충분히 복잡하여 대수적 항등식을 피할 수 있음을 보여주는 것.
• 조각별 선형 사상과 이진 분할을 사용하여 임의의 단어 평가를 실현하는 구조적 증명을 제공하는 것.

제안 방법

• 구간 [0,1]을 이진 간격으로 나누어 기울기가 2의 거듭제곱이 되는 조각별 선형 사상을 정의하는 방법.
• 직사각형 다이어그램을 사용하여 F의 원소를 표현하고, 생성자와 그 역원의 작용을 구간에서 시각화하는 방법.
• 레마 1을 적용하여 유한한 이진 분할 위에서 정의된 부분 조각별 선형 사상을 F의 전체 원소로 확장하는 방법.
• 임의의 길이 k인 기약 단어 w(x,y)에 대해 w(a,b) ≠ 1이 되도록 F 안의 원소 a와 b를 정의하는 방법. 이를 위해 w(a,b)(β₁) = β_{k+1} > β₁ 임을 보장한다.
• 하나의 하위구간에서의 사상에 대해 기울기(2의 거듭제곱)와 간격 비율을 제어하면서, 유도적 방법으로 사상을 구성하는 방법.
• F가 토르션 자유이고, 모든 꺾임점과 기울기가 ℤ[1/2]에 속한다는 사실을 이용하여 잘 정의되고 가역적이며 방향을 유지하는 사상을 보장하는 방법.

실험 결과

연구 질문

• RQ1 톰슨 군 F는 유한 개의 변수에 대해 어떤 비자명한 항등식도 만족하는가?
• RQ2 임의의 k에 대해 F 안에서 길이가 k 미만인 관계를 만족하지 않는 원소 쌍을 구성할 수 있는가?
• RQ3 두 변수에서의 임의의 기약 단어를 F 안의 비자명한 원소로 실현할 수 있는가?
• RQ4 톰슨 군 F의 조각별 선형 사상의 구조는 항등식이 성립하지 않게 하는 데 어떻게 기여하는가?
• RQ5 이진 분할과 간격 비율은 짧은 관계를 피하는 원소를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 톰슨 군 F는 어떤 유한 개의 변수에 대해서도 비자명한 항등식을 만족하지 않는다.
• 임의의 n과 k에 대해, 그들 사이에 길이가 k 미만인 관계가 성립하지 않는 n개의 원소가 F 안에 존재한다.
• 특히, 임의의 k에 대해, 길이가 k 미만인 관계를 만족하지 않는 원소 쌍 a, b ∈ F 가 존재한다.
• 증명은 임의의 길이 k인 기약 단어 w에 대해 w(a,b) ≠ 1이 되도록 F 안의 명시적 원소 a와 b를 구성한다.
• 이 구성은 기울기를 제어하고 간격을 2의 거듭제곱의 합으로 분해하는 방식으로 정의된 이진 분할 위의 사상에 기반한다.
• 핵심 통찰은 w(a,b)의 작용이 분할점 하나를 앞으로 이동시켜 항등사상이 되지 않게 한다는 점이다.