[논문 리뷰] On the Atiyah problem for the lamplighter groups

Łukasz Grabowski|arXiv (Cornell University)|2010. 09. 01.

Mathematics and Applications참고 문헌 7인용 수 11

한 줄 요약

이 논문은 램플라이터 군 Z₂ ≀ ℤ의 정수 군환의 원소에 대한 노빅وف-슐라인 불변량이 무리수일 수 있음을 보여줌으로써 로트와 룩의 추측을 반증한다. 또한 모든 양의 실수는 이러한 불변량으로 나타날 수 있으며, Zₚ ≀ ℤ (p > 1)의 정수 군환에 대한 행렬의 ℓ²-Betti 수도 무리수일 수 있음을 보이며, 이러한 군들이 무리수 ℓ²-Betti 수를 생성하는 것으로 알려진 가장 단순한 군임을 규명한다.

ABSTRACT

We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 \wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is equal to the Novikov-Shubin invariant of some element of the real group ring of Z_2 \wr Z. Finally we show that the l2-Betti number of a matrix over the integral group ring of the group Z_p \wr Z, p>1, can be irrational, and so the groups Z_p \wr Z become the simplest known groups which give rise to irrational l2-Betti numbers.

연구 동기 및 목표

• 램플라이터 군의 군환 맥락에서 노빅وف-슐라인 불변량의 성격을 조사하기 위해.
• 로트와 룩이 제기한 추측, 즉 Z₂ ≀ ℤ의 정수 군환의 원소에 대해 노빅وف-슐라인 불변량은 반드시 유리수여야 한다는 주장의 타당성을 시험하기 위해.
• Z₂ ≀ ℤ의 실수 군환에서의 노빅오프-슐라인 불변량의 가능한 값의 전반적인 범위를 규명하기 위해.
• Zₚ ≀ ℤ (p > 1)의 정수 군환에 대한 행렬의 ℓ²-Betti 수가 무리수일 수 있는지 조사하기 위해.
• 무리수 ℓ²-Betti 수를 생성하는 가장 단순한 군을 규명하여 Zₚ ≀ ℤ를 이러한 군으로서 확인하기 위해.

제안 방법

• Z₂ ≀ ℤ의 정수 군환에 특정 원소를 구성하여 관련된 노빅오프-슐라인 불변량을 분석하기 위해.
• 스펙트럼 이론과 군 연산자의 해석적 성질을 활용하여 영 근처에서 스펙트럼 밀도 함수의 성장률을 평가하기 위해.
• L²-코hom올로지와 연산자 대수학 기법을 적용하여 군환 위의 행렬에 대한 ℓ²-Betti 수를 연구하기 위해.
• Z₂ ≀ ℤ에서의 결과를 p > 1인 Zₚ ≀ ℤ로 일반화하여 무리수 ℓ²-Betti 수의 존재를 입증하기 위해.
• 실수 군환 내에서 구축적 증명을 통해 모든 양의 실수가 노빅오프-슐라인 불변량으로 실현됨을 증명하기 위해.
• 램플라이터 군의 와이어드 프로덕트로서의 구조를 활용하여 스펙트럼 계산에서 자기유사성과 아메니타리함 성질을 유리하게 활용하기 위해.

실험 결과

연구 질문

• RQ1 Z₂ ≀ ℤ의 정수 군환의 원소에 대한 노빅오프-슐라인 불변량이 무리수일 수 있는가? 이는 로트와 료의 추측에 반박하는가?
• RQ2 모든 양의 실수는 Z₂ ≀ ℤ의 실수 군환의 어떤 원소에 대한 노빅오프-슐라인 불변량으로 실현될 수 있는가?
• RQ3 Zₚ ≀ ℤ (p > 1)의 정수 군환에 대한 행렬의 ℓ²-Betti 수가 무리수 값을 가질 수 있는가?
• RQ4 무리수 ℓ²-Betti 수를 생성하는 데 있어 군의 최소 복잡도는 무엇인가?
• RQ5 램플라이터 군 Zₚ ≀ ℤ는 무리수 ℓ²-Betti 수를 나타내는 가장 단순한 알려진 군인가?

주요 결과

• Z₂ ≀ ℤ의 정수 군환의 원소에 대한 노빅오프-슐라인 불변량은 무리수일 수 있으며, 이는 로트와 료의 추측을 반증한다.
• 모든 양의 실수는 Z₂ ≀ ℤ의 실수 군환의 어떤 원소에 대한 노빅오프-슐라인 불변량으로 실현된다.
• Zₚ ≀ ℤ (p > 1)의 정수 군환에 대한 행렬의 ℓ²-Betti 수는 무리수일 수 있다.
• 군 Zₚ ≀ ℤ는 무리수 ℓ²-Betti 수를 유도하는 것으로 알려진 가장 단순한 군들이다.
• 결과적으로, 무리수 ℓ²-불변량은 매우 복잡한 군에만 국한되지 않으며, 상대적으로 단순한 와이어드 프로덕트에서도 발생함을 규명한다.
• 이러한 발견은 아메니타리성과 자기유사성의 성질을 지닌 군에서의 스펙트럼 불변량에 대한 이해를 확장하며, 특히 L²-이론과 군환 표현의 맥락에서 의미가 있다.