[논문 리뷰] Higher l^2-Betti numbers of universal quantum groups

Julien Bichon, David Kyed외 1명|arXiv (Cornell University)|2016. 12. 22.

Advanced Operator Algebra Research참고 문헌 35인용 수 5

한 줄 요약

이 논문은 $n \geq 2$ 인 모든 $\beta^{(2)}_p(\hat{U}_n^+)$ 와 $\beta^{(2)}_p(\hat{U}_n^*)$ 를 계산하여, 보편적 및 반-해방된 유니터리 양자군이 모두 1차 수준에서 $\ell^2$-베티 수가 1이고, 그 외 모든 차수에서 0임을 증명한다. 이 계산은 $\ell^2$-베티 수에 대한 새로운 자유곱 공식과 코중앙 확장에서의 스케일링 공식에 기반하며, [KR16], [BNY15], [BNY16]의 결과를 통합한다.

ABSTRACT

We calculate all $\ell^2$-Betti numbers of the universal discrete Kac quantum groups $\hat U_n^+$ as well as their full half-liberated counterparts $\hat U_n^*$.

연구 동기 및 목표

• 보편적 자유 유니터리 양자군 $\hat{U}_n^+$ 와 그 반-해방된 동반자 $\hat{U}_n^*$ 의 이중군에 대한 모든 $\ell^2$-베티 수를 계산하는 것.
• $\hat{U}_n^+$ 의 두 번째 및 세 번째 $\ell^2$-베티 수에 대한 열린 문제를 해결하는 것. 이는 $\hat{O}_n^+$ 에 대해서는 알려진 결과가 있었음에도 불구하고 이전까지 해결되지 않았다.
• 이산 양자군에 대한 $\ell^2$-베티 수에 대한 새로운 자유곱 공식을 수립하는 것.
• $\hat{U_n}^+$ 와 $\hat{U_n}^*$ 가 푸앵카레 dual을 만족하지 않음을 증명하여, $\hat{O}_n^+$ 와의 행동 차이를 대비하는 것.
• 고전적인 유한 지수 스케일링을 양자군 설정으로 일반화하여, 코중앙 확장에서의 $\ell^2$-베티 수의 스케일링 행동을 확장하는 것.

제안 방법

• 이산 양자군에 대한 $\ell^2$-베티 수에 대한 새로운 자유곱 공식을 유도하여, $p \geq 2$ 에서는 $\beta_p^{(2)}(\hat{G} * \hat{H}) = \beta_p^{(2)}(\hat{G}) + \beta_p^{(2)}(\hat{H})$ 임을 보이며, $p=1$ 과 $p=0$ 에는 수정된 공식을 제시한다.
• 카크 유형의 콪 pact 양자군의 코중앙 확장에서 $\ell^2$-베티 수의 스케일링 공식을 적용하여, $\mathbb{C} \to \mathrm{Pol}(\mathbb{H}) \to \mathrm{Pol}(\mathbb{G}) \to \mathbb{C}\Gamma \to \mathbb{C}$ 가 정확하고 $\Gamma$ 가 유한 아벨군일 때 $\beta_p^{(2)}(\hat{H}) = |\Gamma| \cdot \beta_p^{(2)}(\hat{G})$ 임을 보인다.
• 공통의 컴acts 양자군 $\mathbb{H}$ 를 통해 $\mathrm{U}_n^+$ 와 $\mathrm{O}_n^+ * \mathrm{O}_n^+$ 를 연결하는 정확한 수열을 사용하여, $\ell^2$-베티 수 계산을 $\hat{O}_n^+$ 에 대한 알려진 결과로 환원한다.
• $\mathrm{U}_n^*$ 와 $\mathrm{O}_n^* * \mathrm{O}_n^*$ 에 동일한 $\mathbb{H}^*$ 를 사용하여 반-해방된 경우의 $\ell^2$-베티 수를 계산한다.
• $\beta_p^{(2)}(\hat{O}_n^+) = 0$ 이 모든 $p \geq 0$ 에 대해 성립함을 [Ver12] 와 [CHT09] 에서 확인한 바 있으며, 이를 공액성과 쌍대성에 의해 $\hat{O}_n^*$ 로 확장한다.
• 자유곱 공식과 스케일링 공식을 결합하여 $\hat{U}_n^+$ 와 $\hat{U}_n^*$ 의 전체 $\ell^2$-베티 수 수열을 유도한다.

실험 결과

연구 질문

• RQ1 모든 $p \geq 0$ 와 $n \geq 2$ 에 대해 $\beta_p^{(2)}(\hat{U}_n^+)$ 의 값은 무엇인가?
• RQ2 이산 양자군 $\hat{U}_n^+$ 는 $\hat{O}_n^+$ 와 마찬가지로 푸앵카레 dual을 만족하는가?
• RQ3 반-해방된 유니터리 양자군 $\hat{U}_n^*$ 의 $\ell^2$-베티 수의 구조는 어떠한가?
• RQ4 이산 양자군 설정에서 $\ell^2$-베티 수에 대한 자유곱 공식을 수립할 수 있는가?
• RQ5 코중앙 확장에서의 $\ell^2$-베티 수는 Kac 유형의 콤팩트 양자군에 대해 어떻게 스케일링되는가?

주요 결과

• $\hat{U}_n^+$ 의 $\ell^2$-베티 수는 $\beta_1^{(2)}(\hat{U}_n^+) = 1$ 이고, 모든 $p \neq 1$ 에 대해 $\beta_p^{(2)}(\hat{U}_n^+) = 0$ 이며, $n \geq 2$ 를 모두 만족한다.
• $\hat{U}_n^*$ 의 $\ell^2$-베티 수는 $\beta_1^{(2)}(\hat{U}_n^*) = 1$ 이고, 모든 $p \neq 1$ 에 대해 $\beta_p^{(2)}(\hat{U}_n^*) = 0$ 이며, $n \geq 2$ 를 모두 만족한다.
• 이산 양자군 $\hat{U}_n^+$ 는 $p \mapsto 3-p$ 에 대해 대칭적이지 않기 때문에 푸앵카레 dual을 만족하지 않는다.
• 이산 양자군에 대한 $\ell^2$-베티 수에 대한 새로운 자유곱 공식이 수립되었으며, $p=0,1$, 및 $p \geq 2$ 에 대한 명시적 표현이 제시되었다.
• 코중앙 확장에서의 $\ell^2$-베티 수에 대한 스케일링 공식이 증명되었으며, $\Gamma$ 가 유한 아벨군이고 확장이 코중앙일 경우 $\beta_p^{(2)}(\hat{H}) = |\Gamma| \cdot \beta_p^{(2)}(\hat{G})$ 임을 보였다.
• 결과적으로 $\beta_p^{(2)}(\hat{O}_n^*) = 0$ 이 모든 $p \geq 0$ 에 대해 성립함을 확인하였으며, 이는 공액성과 쌍대성을 통해 $\hat{O}_n^+$ 에서의 $\ell^2$-베티 수의 소멸을 $\hat{O}_n^*$ 로 확장한 것이다.