[논문 리뷰] Dynamical Systems on Spectral Metric Spaces

Jean Bellissard, Matilde Marcolli외 1명|arXiv (Cornell University)|2010. 08. 26.

advanced mathematical theories참고 문헌 52인용 수 45

한 줄 요약

이 논문은 비가환 공간 위의 동역계의 계량적 성질을 캐논칼 스펙트럴 트리플을 통해 표현하기 위해 교차곱 대수 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 상에서 캐논칼 스펙트럴 트리플의 구성에 대해 연구한다. 이와 같은 구성이 가능함은 자명변환 $\alpha$가 등거리성질을 갖는 등거리 준위상변환이 되는 것과 필요충분조건임을 보여주며, 그렇지 않은 경우 콘스와 모스코비치의 계량(bundle) 구조를 사용하여 시스템을 등거리 프레임워크에 통합함으로써 확장된 대수 위에서 스펙트럴 트리플을 구성할 수 있다. 주요 기여는 비가환 동역계에 계량적 구조를 스펙트럴 트리플을 통해 체계적으로 연결하는 방법을 제공한다는 점이다.

ABSTRACT

Let (A,H,D) be a spectral triple, namely: A is a C*-algebra, H is a Hilbert space on which A acts and D is a selfadjoint operator with compact resolvent such that the set of elements of A having a bounded commutator with D is dense. A spectral metric space, the noncommutative analog of a complete metric space, is a spectral triple (A,H,D) with additional properties which guaranty that the Connes metric induces the weak*-topology on the state space of A. A *-automorphism respecting the metric defined a dynamical system. This article gives various answers to the question: is there a canonical spectral triple based upon the crossed product algebra AxZ, characterizing the metric properties of the dynamical system ? If $α$ is the noncommutative analog of an isometry the answer is yes. Otherwise, the metric bundle construction of Connes and Moscovici is used to replace (A,$α$) by an equivalent dynamical system acting isometrically. The difficulties relating to the non compactness of this new system are discussed. Applications, in number theory, in coding theory are given at the end.

연구 동기 및 목표

• 교차곱 대수 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 상에서 $\ast$-자기동형사상 $\alpha$에 의해 정의된 동역계의 계량적 성질을 캐논칼하게 인코딩하는 스펙트럴 트리플이 존재하는지 여부를 규명하는 것.
• 그러한 스펙트럴 트리플이 존재하는 데 필요한 필수 조건을 특정함에 있어, 특히 $\alpha$의 등거리성 및 등거리성질을 갖는 등거리 준위상변환의 역할을 집중적으로 분석하는 것.
• 등거리적이거나 등거리성이 없는 작용에 대해 문제를 해결하기 위해 콘스와 모스코비치의 계량(bundle) 구조를 사용하여 대수를 확장함으로써, 더 큰 등거리 작용을 갖는 시스템 위에서 스펙트럴 트리플을 구성할 수 있도록 하는 것.
• 수론 및 부호 이론의 구체적 사례에 이 프레임워크를 적용하여, 이 방법론이 산술기하학 및 대수기하학 맥락에서의 유용성을 입증하는 것.

제안 방법

• 논문은 정규 표현과 원래 디랙 연산자 $D$ 및 $\alpha$의 작용으로부터 올린 디랙 연산자 $\tilde{D}$를 구성함으로써 교차곱 대수 위에 스펙트럴 트리플 $Y = (\mathcal{A} \rtimes_\alpha \mathbb{Z}, \mathcal{K}, \tilde{D})$를 정의한다.
• 콘스의 계량이 $\mathcal{A}$의 상태 공간 위에서 약한$^\ast$-위상과 일致하는 스펙트럴 계량 공간의 개념을 도입함으로써 계량 기하학과의 호환성을 확보한다.
• 등거리적이지 않은 작용의 경우, 계량(bundle) 구조가 $\mathcal{A}$를 더 큰 대수 $\mathcal{B}$로 대체하여 비가환 계량의 번들의 연속 함수를 나타내며, 여기서 $\alpha$는 등거리적으로 작용한다.
• 논문은 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 위에서 $\mathbb{Z}$의 쌍대 작용을 사용하고, 교차곱의 원소들과의 유한한 교환관계를 확보하기 위해 디랙 연산자의 변형을 구성한다.
• 리프시츠 대수와 $\psi_\omega: \mathcal{A} \to \mathcal{A}/\mathbb{C}\mathbf{1} \times \mathbb{C}$의 몫 사상은 리프시츠 구간의 컴팩턴스 분석과 노름 추정을 위해 사용된다.
• 증명은 패러티 행렬과 $\mathcal{H} \otimes \ell^2(\mathbb{Z})$ 위의 내적을 포함하는 추적 추정에 기반하며, $\|\partial b\| \leq 1$ 및 $\|[D, \pi \circ \alpha^{-n}(b_l)]\| \leq 1$이 리프시츠 구간의 상의 컴팩턴스를 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 캐논칼 스펙트럴 트리플이 교차곱 대수 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 상에 존재할 수 있는 조건은 무엇인가? 이는 $\alpha$에 의해 정의된 동역계의 계량적 구조를 캐논칼하게 인코딩한다.
• RQ2 그러한 스펙트럴 트리플의 존재성은 자동형사상 $\alpha$가 스펙트럴 계량 공간에서 등거리성질을 갖는 등거리 준위상변환의 가군로 작용하는 것과 동치인가?
• RQ3 등거리적이거나 등거리성이 없는 작용에 대해서도 이 구성이 확장 가능한가? 만약 그렇다면, 어떻게 확장된 대수적 프레임워크를 통해 계량적 구조를 유지할 수 있는가?
• RQ4 콘스와 모스코비치의 계량(bundle) 구조는 비유니탈 또는 비컴팩트 시스템에 대해 스펙트럴 트리플 구성 가능성을 어떻게 보장하는가?
• RQ5 리프시츠 구간의 컴팩턴스 성질이 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 상에서 캐논칼 스펙트럴 트리플 존재성과 어떻게 관련이 있는가?

주요 결과

• 캐논칼 스펙트럴 트리플이 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 상에 존재하는 것은 자동형사상 $\alpha$가 스펙트럴 계량 공간 $({\mathcal{A}}, {\mathcal{H}}, D)$ 상에서 등거리성질을 갖는 등거리 준위상변환의 가군로 작용하는 것과 필요충분조건이다.
• 등거리성이 없는 작용의 경우, 계량(bundle) 구조는 시스템을 더 큰 대수 $\mathcal{B}$에 통합하는 방법을 제공하며, 여기서 작용은 등거리적으로 변환되며, 이에 따라 $\mathcal{B} \rtimes_\alpha \mathbb{Z}$ 상에서 스펙트럴 트리플을 구성할 수 있다. 이때 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$는 스펙트럴 트리플의 스펙트럴 스펙트럼을 갖는 다중분사 대수로 간주된다.
• 리프시츠 구간의 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 상에서 $\mathbb{C}\mathbf{1}$에 대한 몫상의 이미지는 $\psi_\omega$와 닫힌 그래프 정리에 의해 컴팩트한 폐포를 갖는다. 이는 스펙트럴 트리플이 요구하는 계량 위상과 일致함을 보장한다.
• 리프시츠 구간에 속한 원소 $b$의 도함수 $\partial b$의 노름은 1 이하이며, $l \neq 0$일 때 $\|b_l\| \leq 1/|l|$임을 보여주며, 이는 성분의 감쇠와 컴팩턴스를 유도한다.
• $l \neq 0$에 대해 노름 $\leq 1/|l|$인 $B_{\text{Lip}}$의 원소 집합 $K_l$는 컴팩트하며, $\psi_\omega$에 의한 리프시츠 구간의 이미지는 전컴팩트하다. 이는 몫 상의 컴팩턴스를 뒷받침한다.
• 이 구성은 실수 곱의 비가환 토러스와 쌍트즈–크리거 대수에 적용되어, 이론 수학 및 부호 이론 분야에서의 관련성을 입증한다.