[논문 리뷰] The Bass and topological stable ranks for algebras of almost periodic functions on the real line

Raymond Mortini, Rudolf Rupp|arXiv (Cornell University)|2014. 02. 19.

Advanced Topics in Algebra참고 문헌 22인용 수 5

한 줄 요약

이 논문은 실수선 위의 거의 평형 함수 대수에서 보헤르 스펙트럼이 $Π$의 부분모노이드 $λ$에 포함되는 경우, $λ$에 의해 생성된 $Π$-벡터 공간의 차원이 무한할 때, 그 대수의 Bass 및 위상적 안정 랭크가 모두 무한하다는 것을 증명한다. 증명은 크로네커의 근사정리와 삼각다항식에 의한 거의 평형 함수의 근사법을 활용하며, 전체 거의 평형 대수 $π$에 대해 수아레스가 확립한 결과를 $π^+$와 같은 광범위한 부분대수로 확장한다. 이는 어떤 튜플도 역행렬을 갖는 튜플로 근사할 수 없음을 보여주며, 이는 무한한 안정 랭크를 의미한다.

ABSTRACT

Let $\\Lambda$ be a sub-semigroup of the reals. We show that the Bass and topological stable ranks of the algebras ${\ m AP}_\\Lambda=\\{f\\in {\ m AP}: \\sigma(f)\\subseteq \\Lambda\\}$ of almost periodic functions on the real line and with Bohr spectrum in $\\Lambda$ are infinite whenever the algebraic dimension of the $\\mathbb Q$-vector space generated by $\\Lambda$ is infinite. This extends Su\\'arez's result for ${\ m AP}_\\mathbb R={\ m AP}$. Also considered are general subalgebras of AP.

연구 동기 및 목표

• 전체 거의 평형 대수 $π$에 대해 수아레스가 확립한 무한 안정 랭크 결과를 스펙트럼이 $λ \subseteq \mathbb{R}$인 부분대수 $π_\lambda$로 확장하는 것.
• $\mathrm{AP}_\Lambda$의 Bass 및 위상적 안정 랭크가 유한한지 무한한지 결정하는 조건을 규명하는 것, 특히 $\Lambda$의 $\mathbb{Q}$-스펙트럼의 대수적 차원에 기반하여.
• $\mathbb{R}^+$에 스펙트럼을 갖는 거의 평형 함수로 이루어진 부분대수 $\mathrm{AP}^+$의 안정 랭크를 코로나 정리나 $C^*$-대수의 이중성에 의존하지 않는 방법으로 분석하는 것.
• $\mathrm{AP}$의 부분대수에서 안정 랭크를 결정하는 일반적인 프레임워크를 제공하기 위해, 역행렬로 근사할 수 없는 명시적인 비환원 튜플을 구성하는 것.

제안 방법

• 연속적 및 이산적 형태의 크로네커의 근사정리를 활용하여, $N$-토러스에서 특정 지수 궤도의 조밀성을 확보한다.
• 푸리에-보어 급수 표현을 적용하고, 스펙트럼를 제어할 수 있는 일반화된 삼각다항식을 이용해 거의 평형 함수의 균일한 근사를 수행한다.
• 대수 $A$ 내에서 튜플 $(F_1, \dots, F_N, G)$가 역행렬을 갖지만 $\mathrm{AP}$ 내에서는 환원되지 않는 함수 $G$를 구성하는 구축적 방법을 사용하며, 이는 무한한 Bass 안정 랭크를 의미한다.
• 상반평면에서의 적분 추정을 통해 $\mathrm{AP}^+$에 속하는 함수의 해석적 연장의 경계값이 $\mathbb{R}^+$에 스펙트럼을 갖는다는 것을 보이며, 이는 $\mathrm{AP}^+$가 상반평면 $\mathbb{C}^+$로의 유계 해석적 연장을 갖는 거의 평형 함수의 집합임을 증명한다.
• 대부분의 튜플 $(F_1, \dots, F_N)$이 대수 내에서 역행렬 튜플로 근사될 수 없다는 모순을 이용하여, 이는 $\mathrm{AP}$ 내에서 관련 튜플의 환원 불가능성에 기반한다.
• 선형 독립인 $\lambda_j$에 대해 $F_j(t) = e^{i\lambda_{2j-1}t} + e^{i\lambda_{2j}t} - 1$인 함수를 포함하는 $\mathrm{AP}$의 일반 부분대수 $A$를 고려하고, 그들의 Bass 안정 랭크가 무한하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 스펙트럼 $\Lambda \subseteq \mathbb{R}$에 대해 $\mathrm{AP}_\Lambda$의 Bass 안정 랭크가 무한한 조건은 무엇인가?
• RQ2 Rieffel의 결과(즉, $C^*$-대수에서 Bass 및 위상적 안정 랭크 간의 연결성)를 사용하지 않고도 $\mathrm{AP}^+$의 안정 랭크를 결정할 수 있는가?
• RQ3 서브대수에서 역행렬 튜플로 근사될 수 없는 명시적인 튜플을 구성하는 것이 가능한가? 이를 통해 무한한 안정 랭크를 증명할 수 있는가?
• RQ4 $\mathrm{AP}_\Lambda$의 안정 랭크에 영향을 주는 스펙트럼 $\Lambda$의 $\mathbb{Q}$-벡터 공간 차원은 어떻게 작용하는가?
• RQ5 위너 유형의 대수 $\mathrm{APW}^+$와 $\mathrm{AP}^+$의 안정 랭크 간의 관계는 무엇인가?

주요 결과

• $\mathrm{AP}_\Lambda$의 Bass 및 위상적 안정 랭크는 $\Lambda$에 의해 생성된 $\mathbb{Q}$-벡터 공간의 차원이 무한할 때이고 그때에만 무한하다.
• $\mathrm{AP}^+$의 안정 랭크는 무한하며, 이는 $C^*$-대수 이론의 Rieffel 결과를 사용하지 않는 직접적 방법으로 증명된다.
• $F_j(t) = e^{i\lambda_{2j-1}t} + e^{i\lambda_{2j}t} - 1$인 튜플 $(F_1, \dots, F_N)$은 $1$과 모든 $F_j$를 포함하는 임의의 부분대수 $A \subseteq \mathrm{AP}$ 내에서 역행렬 튜플로 근사될 수 없으며, 이는 이러한 대수의 무한한 Bass 안정 랭크를 의미한다.
• $\mathrm{AP}^+$는 상반평면 $\mathbb{C}^+$로의 유계 해석적 연장을 갖는 거의 평형 함수의 집합과 일치한다.
• 위너 유형의 대수 $\mathrm{APW}^+$의 안정 랭크는 무한하며, 이는 $\mathrm{AP}^+$의 부분대수이면서 동일한 스펙트럼 및 해석적 구조를 갖기 때문이다.
• 모든 $N$에 대해 $1$과 함수 $F_j$로 생성된 대수 $A$의 Bass 안정 랭크는 최소 $N+1$ 이상이며, $N$이 임의이므로 $\mathrm{bsr}(A) = \infty$이다.