[논문 리뷰] Some Problems on Knots, Braids, and Automorphism Groups

Valeriy G. Bardakov, Krishnendu Gongopadhyay외 3명|arXiv (Cornell University)|2015. 01. 22.

Geometric and Algebraic Topology참고 문헌 31인용 수 5

한 줄 요약

이 논문은 2014년 노보시비르스크에서 열린 국제 워크숍에서 발생한 링크 이론, 브레인 군, 자동형군에서의 열린 문제들을 종합하고 논의한다. 주요 초점은 팰린드롬 및 교환자 너비, 브루니안 및 이색 브레인, 하이퍼볼릭 3-오비폴드 군, 내부 및 준내부 자동형, 스타이크의 대칭 코homology이며, 기하군론과 저차원 위상수학 분야의 향후 연구를 이끄는 기초적 질문들을 제안한다.

ABSTRACT

We present and discuss some open problems formulated by participants of the International Workshop "Knots, Braids, and Auto\-mor\-phism Groups" held in Novosibirsk, 2014. Problems are related to palindromic and commutator widths of groups; properties of Brunnian braids and two-colored braids, corresponding to an amalgamation of groups; extreme properties of hyperbolic 3-orbifold groups, relations between inner and quasi-inner automorphisms of groups; and Staic's construction of symmetric cohomology of groups.

연구 동기 및 목표

• 2014년 노보시비르스크 워크숍에서 유래한 기하군론, 링크 이론, 브레인 군에서의 미해결 연구 문제들을 종합하고 널리 배포하기.
• 특히 노름군 및 가환군에서의 팰린드롬 너비와 교환자 너비에 대한 연구를 자극하기.
• 군의 합성과 그 대수적 불변량을 통해 브루니안 및 이색 브레인의 구조적 성질을 탐구하기.
• 하이퍼볼릭 3-오비폴드 군의 극단적인 기하학적 및 대수적 성질과 선형성에 대한 연구를 수행하기.
• 내부 자동형과 준내부 자동형 간의 관계를 검토하고, 군의 스타이크의 대칭 코homology에 대한 이해를 심화하기.

제안 방법

• 2014년 국제 워크숍 ‘링크, 브레인, 자동형군’에서의 토론과 발표를 바탕으로 열린 문제를 제시하기.
• 조합론적 및 코homological 방법으로 유도된 경계를 포함한 자유 아벨군, 노름군, 가환군에서의 팰린드롬 너비를 군론적 기법으로 분석하기.
• 군의 합성 자유곱을 통해 이색 브레인을 정의하고, 브레인 구조를 군 표현과 연결하기.
• 스테이크의 구성 방식을 통해 대칭 코homology를 조사하고, 대칭군 작용 하에서의 불변 코chain과 코 boundary 복합체를 분석하기.
• 스펙트럴 시퀀스와 분류 공간 기법을 적용하여 코homological 이론의 잠재적 일반화 탐색하기.
• 일반 코homology의 부분군으로서 대칭 슈어 및 보고몰로프 다중수를 정의하고, 전통적 불변량과 비교하기.

실험 결과

연구 질문

• RQ1 자유 r단계 노름군 N_{n,r}의 정확한 팰린드롬 너비는 무엇인가? (n ≥ 3, r ≥ 2)
• RQ2 자유 노름군의 임의의 원소 g에 대해 팰린드롬 길이 l_P(g)를 계산할 수 있는 알고리즘을 구성할 수 있는가?
• RQ3 대칭 군의 코homology에 대해 리드너–호크실드–세르 유형의 스펙트럴 시퀀스가 존재하는가?
• RQ4 분류 공간 등을 통한 위상적 구성이 이산 군의 대칭 코homology를 실현할 수 있는가?
• RQ5 대칭 코homology는 리 대수로 확장될 수 있으며, 이는 리 군의 대칭 코hom로 어떻게 관련되는가?

주요 결과

• 자유 아벨군의 랭크 n에 대해 팰린드롬 너비는 정확히 n이며, 이는 정리 1(1)에서 입증되었다.
• r ≥ 2인 자유 r단계 노름군의 경우, 팰린드롬 너비는 2(n−1) ≤ pw(N_{n,r}) ≤ 3n를 만족하며, r=2일 경우 더 날카운 경계 2(n−1) ≤ pw(N_{n,2}) ≤ 3(n−1)가 성립한다.
• 정규부분군에 대한 최대조건을 만족하는 유한 생성 가환군은 유한한 팰린드롬 너비를 가진다. 이는 정리 2에서 입증되었다.
• 대칭 코homology HS^2(G,A)는 대칭 군 확장을 분류하며, 맵 h^2: HS^2(G,A) → H^2(G,A)는 단사적이며, 복합 맵 Φ∘h^2는 전사적이다.
• 대칭 슈어 다중수 MS(G) := HS^2(G,ℂ×)는 유한군 G에 대해 유한군이며, 그 순서와 고전적 슈어 다중수 M(G)와의 관계는 아직 미해결 문제이다.
• 보고몰로프 다중수 B_0(G)는 슈어 다중수 M(G)의 부분군이며, 그 잠재적 관계가 대칭 슈어 다중수 MS(G)와 어떻게 연결되는지는 아직 탐색되지 않았다.