[논문 리뷰] Metric approximations of unrestricted wreath products when the acting group is amenable

Javier Brude, Román Sasyk|arXiv (Cornell University)|2020. 04. 13.

Advanced Operator Algebra Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한한 족쇄가 없는 와이어드 프로덕트가 애매한 군에 대해 약한 소픽, 소픽, 선형 소픽, 또는 초선형 군의 경우에 그 성질을 유지함을 통합적이고 직접적으로 증명한다. 추상적 메트릭 근사와 군의 단사함수를 통한 제어된 메트릭 왜곡을 활용하여, 애매한 몫을 가진 군의 확장은 이 네 가지 성질을 유지함을 입증하며, 이는 이전의 간접적 증명에 대한 자가 포함된 대안을 제공한다.

ABSTRACT

We give a simple and unified proof showing that the unrestricted wreath product of a weakly sofic, sofic, linear sofic, or hyperlinear group by an amenable group is weakly sofic, sofic, linear sofic, or hyperlinear, respectively. By means of the Kaloujnine-Krasner theorem, this implies that group extensions with amenable quotients preserve the four aforementioned metric approximation properties. We also discuss the case of co-amenable groups.

연구 동기 및 목표

• 약한 소픽, 소픽, 선형 소픽, 초선형이라는 네 가지 메트릭 근사 성질을 가진 군의 애매한 군에 대한 무제한 와이어드 프로덕트가 동일한 성질을 유지함을 직접적이고 통합적인 증명으로 제시하는 것.
• 확장 정리에 의존하지 않고, 무제한 와이어드 프로덕트에 대해 직접 메트릭 근사를 구성함으로써 기존의 방법을 피하는 것.
• 순열 와이어드 프로덕트 기법을 사용하여 결과를 공-아메니타리 부분군으로 일반화하는 것.
• 칼루지니-크라스너 정리가 공-아메니타리 경우에 부족함을 보이며, 새로운 접근이 필요함을 보여주는 것.

제안 방법

• 추상적 메트릭 근사를 사용하여, 양측 불변 메트릭을 가진 군을 근사화하는 체계적인 프레임워크를 정의한다.
• G의 근사치로부터 국소적으로가 아니라, G에서 보조 메트릭 군으로의 직접적인 사상 구축을 통해, ∏H G의 메트릭 근사를 구성한다.
• 보조 메트릭 군에서 정의된 네 가지 근사 성질을 나타내는 클래스로의 명시적 군 단사함수를 통한 제어된 메트릭 왜곡을 활용한다.
• 핵심 구성 요소로는 유한 집합 B 위에서 정의된 순열 작용 σ와 제어된 하밍 거리 오차 한계를 포함한다.
• G의 G/H 위에서의 왼쪽 정규 작용과 단사함수 Φ: G → K ≀B Sym(B)를 정의하기 위해 τ: G/H → G의 단위를 구성한다.
• 대칭 차집합 집합의 경계와 제어된 오차 전파를 이용하여 (F, ε, d)-곱셈성과 (F, ε, d)-자유성의 성립을 입증한다.

실험 결과

연구 질문

• RQ1 무제한 와이어드 프로덕트에서 애매한 작용 군을 가진 약한 소픽, 소픽, 선형 소픽, 초선형 성질이 유지되는지에 대해 직접적이고 통합적인 증명을 제시할 수 있는가?
• RQ2 기존 기법이 왜 약한 소픽 케이스를 다루지 못하는가? 새로운 방법이 이를 극복할 수 있는가?
• RQ3 칼루지니-크라스너 정리는 공-아메니타리 부분군으로의 확장 정리를 일반화하는 데 충분한가?
• RQ4 G의 국소 근사치에 의존하지 않고, ∏H G에 대해 직접 메트릭 근사를 구성할 수 있는가?
• RQ5 제어된 메트릭 왜곡은 군의 확장에서 근사 성질을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 약한 소픽 군과 애매한 군의 무제한 와이어드 프로덕트는 약한 소픽이다.
• 소픽 군과 애매한 군의 무제한 와이어드 프로덕트는 소픽이다.
• 선형 소픽 군과 애매한 군의 무제한 와이어드 프로덕트는 선형 소픽이다.
• 초선형 군과 애매한 군의 무제한 와이어드 프로덕트는 초선형이다.
• G/H가 애매한 작용을 가지는 공-아메니타리 부분군 H에 대해 확장 정리가 성립하며, 몫의 경우를 일반화한다.
• 증명은 이전의 확장 정리에 의존하지 않는 자가 포함된 통합 프레임워크를 제공하며, 특히 약한 소픽 케이스에 대해 유의미하다.