[논문 리뷰] Minimal dimension faithful linear representations of common finitely presented groups

J. O. Button|arXiv (Cornell University)|2016. 10. 12.

Geometric and Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 복소수 및 양의 특성 수체 위에서 유한형상된 군, 특히 직각 아르틴 군과 자유-기저 군에 대한 충실한 선형 표현의 최소 차원을 결정한다. 이 논문은 제르스텐의 자유-기저 군이 복소수 위에서 차원 ≤4의 충실한 선형 표현을 가지지 않으며, 양의 특성 수체 위에서는 어떤 차원이든 충실한 표현을 가지지 않는다고 증명한다.

ABSTRACT

For various finitely presented groups, including right angled Artin groups and free by cyclic groups, we investigate what is the smallest dimension of a faithful linear representation. This is done both over C and over fields of positive characteristic. In particular we show that Gersten's free by cyclic group has no faithful linear representation of dimension 4 or less over C, but has no faithful linear representation of any dimension over fields of positive characteristic.

연구 동기 및 목표

• 다양한 유한형상된 군에 대한 충실한 선형 표현의 최소 차원을 결정하기 위해.
• 다양한 수체 위에서 직각 아르틴 군과 자유-기저 군의 표현 이론을 분석하기 위해.
• 제르스텐의 자유-기저 군이 복소수 및 양의 특성 수체 위에서 충실한 선형 표현을 가지는지 조사하기 위해.
• 다양한 대수적 설정에서 충실한 표현에 대한 차원 상한과 존재하지 않는 결과를 설정하기 위해.

제안 방법

• 유한형상된 군의 구조를 분석하기 위해 표현 이론 기법을 활용하기 위해.
• 군의 표현형과 선형 표현의 성질을 사용하여 가능한 차원에 대한 제약 조건을 유도하기 위해.
• 선형 대수학과 수체 이론의 결과를 적용하여 복소수 및 양의 특성 수체 위의 표현을 검토하기 위해.
• 벡터 공간 위에서의 군 작용을 분석하여 충실성과 차원 최소화를 판단하기 위해.
• 잔여 유한성과 선형성에 관한 기존 결과를 활용하여 낮은 차원 표현을 배제하기 위해.
• 모순 추론을 사용하여 특정 설정에서 충실한 표현의 존재하지 않음을 증명하기 위해.

실험 결과

연구 질문

• RQ1 제르스텐의 자유-기저 군이 복소수 위에서 충실한 선형 표현의 최소 차원은 얼마인가?
• RQ2 제르스텐의 자유-기저 군은 양의 특성 수체 위에서 어떤 충실한 선형 표현도 가지는가?
• RQ3 직각 아르틴 군과 기타 유한형상된 군 간의 최소 충실 표현 차원은 어떻게 비교되는가?
• RQ4 어떤 군의 구조적 성질이 낮은 차원에서 충실한 선형 표현을 가지지 못하게 하는가?
• RQ5 복소수와 양의 특성 수체 위에서의 군 표현 이론에 근본적인 차이가 존재하는가?

주요 결과

• 제르스텐의 자유-기저 군은 복소수 위에서 차원 4 이하의 충실한 선형 표현을 가지지 않는다.
• 이 군은 양의 특성 수체 위에서 어떤 차원이든 충실한 선형 표현을 가지지 않는다.
• 직각 아르틴 군은 충실한 선형 표현을 가짐을 보였지만, 이 작업에서는 최소 차원이 완전히 분류되지 않았다.
• 동일한 군이 복소수와 양의 특성 수체 위에서 표현 행동에 명확한 차이를 보임을 규명하였다.
• 결과적으로, 일부 군은 유한형상되었음에도 불구하고 양의 특성 수체 위에서는 선형적이지 않음을 보여주었다.
• 이 논문은 제르스텐의 군에 대해 양의 특성 수체에서 완전한 차단 결과를 제공하며, 모든 차원에서 비선형성을 증명하였다.