[논문 리뷰] N-step energy of maps and fixed-point property of random groups

Hiroyasu Izeki, Takefumi Kondo외 1명|arXiv (Cornell University)|2012. 10. 22.

Geometric and Algebraic Topology참고 문헌 14인용 수 4

한 줄 요약

이 논문은 확장자 그래프를 이용한 무작위 군이, 모든 차원이 일정하게 유계된 유계 유계 빌딩을 포함한 광범위한 CAT(0) 공간의 고정점 성질을 갖는다는 것을 입증한다. Gromov의 n단계 에너지 성장 기준을 정교화하고 이러한 빌딩의 접선 원뿔의 Wang 불변량(δ)을 추정함으로써, 저자들은 δ < 1 인 모든 CAT(0) 공간에서 이러한 군이 전역 고정점을 고정함을 증명하며, 힐버트 공간과 성질 (T)에 대한 이전 결과를 일반화한다.

ABSTRACT

We prove that a random group of the graph model associated with a sequence of expanders has fixed-point property for a certain class of CAT(0) spaces. We use Gromov's criterion for fixed-point property in terms of the growth of n-step energy of equivariant maps from a finitely generated group into a CAT(0) space, to which we give a detailed proof. We estimate a relevant geometric invariant of the tangent cones of the Euclidean buildings associated with the groups PGL(m,Q_r), and deduce from the general result above that the same random group has fixed-point property for all of these Euclidean buildings with m bounded from above.

연구 동기 및 목표

• 무작위 군이 힐버트 공간을 초월하는 광범위한 CAT(0) 공간에 대해 고정점 성질을 갖는다는 것을 입증하는 것.
• Silberman의 성질 (T) 증명 기법을 일반화하기 위해, 대칭 확산 불등식 대신 중심극한정리를 사용하여, 차수 2 정점이 있는 그래프를 다룰 수 있도록 하는 것.
• 힐버트 공간 대상에 국한된 스펙트럼 갭 부등식을 일반 CAT(0) 공간 대상으로 확장하여 적용 범위를 넓히는 것.
• PGL(m, Q_r)와 관련된 유클리드 빌딩의 접선 원뿔의 기하 불변량 δ(Wang 불변량)를 계산하거나 상한을 구하는 것. 이때 m이 유계일 경우 δ는 1보다 엄격히 작다는 것을 보여주는 것.
• 일반적인 n단계 에너지 성장 기준과 δ의 유계성에 기반해, 이러한 빌딩에 대한 고정점 성질가 성립한다는 것을 보여주는 것.

제안 방법

• 고정점 성질과 관련된 Gromov의 기준을 적응하여, 등변 매핑의 n단계 에너지 성장이 CAT(0) 공간으로의 존재에 영향을 주는 방식으로 적용한다.
• Beroulli 걷기의 대칭 확산 불등식 대신 중심극한정리를 도입하여, 그래프에서의 무작위 걷기들이 원점 근처에 머무를 확률을 추정한다.
• 무작위 걷기로부터 유도된 가중 측도 P_G^n(l)를 사용하는 확률적 프레임워크를 도입하여, 등변 매핑의 에너지를 유계한다.
• 그래프 G의 대상 공간 Y에 대한 스펙트럼 갭 λ_1(G,Y)를 사용하여 등변 매핑의 n단계 에너지 E_μ(f)를 추정한다.
• 메트릭 원뿔의 반경 왜곡을 정의하고, 이를 통해 Wang 불변량 δ를 대체로 사용하며, 이는 접선 원뿔의 δ-불변량을 제어한다.
• 일반 고정점 기준을 PGL(m, Q_r)와 관련된 유클리드 빌딩에 적용하여, 모든 p와 유계된 m에 대해 δ(TC_pY) < 1 이라는 균일한 상한을 확보한다.

실험 결과

연구 질문

• RQ1 무작위 군이 그래프 모델에서 힐버트 공간을 초월하는 CAT(0) 공간에 대해 고정점 성질을 갖는가?
• RQ2 Gromov의 n단계 에너지 기준이 비힐버트 CAT(0) 공간에서 작용하는 무작위 군에 대해 고정점 성질을 증명하는 데 효과적으로 적용될 수 있는가?
• RQ3 소수 r과 유계된 m에 대해 PGL(m, Q_r)와 관련된 유클리드 빌딩의 접선 원뿔에 대한 Wang 불변량 δ의 값은 얼마인가?
• RQ4 유계된 차원의 유클리드 빌딩에 대한 고정점 성질이 δ의 유계성과 n단계 에너지 성장 기준에 의해 유도되는가?
• RQ5 힐버트 공간 대상에 사용된 확률적 추론을, 대칭 확산 불등식 대신 중심극한정리를 사용함으로써 CAT(0) 대상으로 일반화할 수 있는가?

주요 결과

• 고정점 기준 하에서, CAT(0) 공간으로의 등변 매핑의 n단계 에너지 성장은 하향적으로 선형보다 느리며, 이는 전역 고정점의 존재를 암시한다.
• 확장자 그래프를 통해 구성된 무작위 군의 경우, δ ≤ δ₀ < 1 인 모든 CAT(0) 공간에서 n단계 에너지 성장 조건이 균일하게 만족된다.
• PGL(m, Q_r)와 관련된 유클리드 빌딩의 접선 원뿔의 Wang 불변량 δ는 m이 상한을 갖는 한, 1보다 엄격히 작은 상수로 유계된다.
• δ에 대한 균일한 상한 덕분에, 차원이 상한을 갖는 모든 유클리드 빌딩에 대해 고정점 성질이 성립한다.
• 대칭 확산 불등식 대신 중심극한정리를 사용함으로써, 확률적 추론이 단순화되어, 차수 2 정점이 있는 그래프도 다룰 수 있게 되었다.
• 결과는 힐버트 공간과 성질 (T)을 초월하여, 비대칭적이거나 국소적으로 컴act하지 않은 공간을 포함한 더 넓은 CAT(0) 공간의 고정점 성질을 보여주며, 이는 엄밀히 더 큰 클래스의 공간을 포함한다.