[논문 리뷰] Metric Approximations of Wreath Products

Ben Hayes, Andrew W. Sale|arXiv (Cornell University)|2016. 08. 08.

Advanced Topology and Set Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 $H$가 sofic이고 $G$가 다음 네 클래스 중 하나일 경우, wreath 곱 $G\wr H$가 soficity, hyperlinearity, linear soficity, 그리고 weak soficity를 유지함을 입증한다. 저자들은 텐서 곱과 순환 분해 분석을 활용하여 명시적인 metric approximation을 구축하며, 이는 이전의 sofic wreath product 결과를 더 넓은 범주로 일반화한다.

ABSTRACT

Given the large class of groups already known to be sofic, there is seemingly a shortfall in results concerning their permanence properties. We address this problem for wreath products, and in particular investigate the behaviour of more general metric approximations of groups under wreath products. Our main result is the following. Suppose that $H$ is a sofic group and $G$ is a countable, discrete group. If $G$ is sofic, hyperlinear, weakly sofic, or linear sofic, then $G\wr H$ is also sofic, hyperlinear, weakly sofic, or linear sofic respectively. In each case we construct relevant metric approximations, extending a general construction of metric approximations for $G\wr H$ that uses soficity of $H$.

연구 동기 및 목표

• metric approximation의 permanence 성질이 부족한 문제를 다루며, 특히 wreath 곱에 대해 고려한다.
• 기존의 sofic wreath product 결과를 hyperlinear, linear sofic, 그리고 weakly sofic 군으로 확장한다.
• G가 네 가지 클래스 중 하나일 때 $G\wr H$에 대한 명시적인 metric approximation을 구축한다.
• 일관되고 정량적인 프레임워크를 통해 metric approximation 성질이 wreath 곱에 대해 유지됨을 증명한다.

제안 방법

• G\wr H에 대한 일반적인 metric approximation의 구축 방법을 개발하였으며, 이는 H의 soficity와 집합 위의 순열 작용의 구조에 기반한다.
• Linear soficity의 경우, $\mathrm{GL}_n(\mathbb{F})$로의 거의 준동형과 랭크 메트릭 제어를 사용하고, 연산자의 텐서 곱의 행동을 분석한다.
• 핵심 기술 도구는 순열의 순환 분해와 핵 차원 분석에서 유도된 wreath 곱 사상의 이미지에 대한 랭크 메트릭 공식이다.
• Ψ(A,τ) - Id의 핵의 분해를 통해 τ의 고정점과 순환과의 관계를 규명하고, ℓ_{\mathrm{rk}}(Ψ(A,τ))에 하한을 도출한다.
• 이중 불변성과 메트릭 비교 기법을 사용하여 근사 사상의 거의 곱셈성과 거의 단사성을 확보한다.
• 이 구축 방법을 $\mathrm{GL}_n(\mathbb{F})\wr_{B}\mathrm{Sym}(B)$ 및 $\mathrm{PGL}_n(\mathbb{K})\wr_{B}\mathrm{Sym}(B)$에 적용하였으며, 랭크 메트릭을 통한 길이 함수가 정의되었다.

실험 결과

연구 질문

• RQ1 H가 sofic이고 G가 sofic일 때, wreath 곱 $G\wr H$는 sofic성을 유지하는가?
• RQ2 동일한 조건 하에서 permanence 성질이 hyperlinear, linear sofic, 그리고 weakly sofic 군으로까지 확장 가능한가?
• RQ3 G가 일반적으로 애매하거나 잔여 유한하지 않을 경우, $G\wr H$에 대한 metric approximation을 어떻게 명시적으로 구축할 수 있는가?
• RQ4 순환 분해와 텐서 곱은 근사에서 메트릭 제어를 유지하는 데 어떤 역할을 하는가?
• RQ5 텐서 곱에서의 랭크 메트릭 행동이 충분히 안정하여 linear soficity가 wreath 곱에서 유지되는가?

주요 결과

• H가 sofic이고 G가 sofic일 경우, $G\wr H$는 sofic이며, 이는 아벨 군 G에 대해 Paunescu의 결과를 일반화한다.
• H가 sofic이고 G가 hyperlinear일 경우, $G\wr H$는 hyperlinear이며, hyperlinear 군의 범주가 확장된다.
• H가 sofic이고 G가 linear sofic일 경우, $G\wr H$는 linear sofic이며, 이 증명은 텐서 곱에서의 랭크 메트릭 제어에 기반한다.
• H가 sofic이고 G가 weakly sofic일 경우, $G\wr H$는 weakly sofic이며, 일반적인 metric approximation 구축을 통해 입증된다.
• τ의 해밍 거리와 $A_b$의 랭크 메트릭을 바탕으로 $\ell_{\mathrm{rk}}(\Psi(A,\tau))$에 대한 정확한 공식을 유도하였으며, $\ell_{\mathrm{rk}}(\Psi(A,\tau)) \geq \frac{1}{2}\ell_{\mathrm{Hamm}}(\tau) + \frac{1}{|B|}\sum_{\tau(b)=b} \ell_{\mathrm{rk}}(\Phi(A_b))$임을 보였다.
• 이 구축은 근사 사상 $\Psi \circ \Theta$의 $(F, \varepsilon, d_{\mathrm{rk}})$-multiplicativity와 $(F, c'/2, d_{\mathrm{rk}})$-injectivity를 보장하여 원하는 metric approximation 성질이 성립함을 증명한다.