[논문 리뷰] Dense domains, symmetric operators and spectral triples

Iain Forsyth, Bram Mesland외 1명|arXiv (Cornell University)|2013. 06. 07.

Spectral Theory in Mathematical Physics참고 문헌 13인용 수 15

한 줄 요약

이 논문은 대수가 디랙 연산자의 정의역을 보존하지 않는, 비제한 카스파로프 모듈의 약화된 정의—특히 그들에서 해석적 연산자의 해석적 연산자가 존재함에도 불구하고—조금도 잘 정의된 프리드홀름 모듈을 생성하지 못함을 보여준다. 심지어 해석적 연산자가 컴팩트할 경우에도 그렇다. 단위 구간과 단위 원판에서 대칭 연산자의 자기수반 확장을 사용하여, 유계 전환 $F = \mathcal{D}(1+\mathcal{D}^2)^{-1/2}$와의 교환자 $[F, a]$가 컴팩트가 아니라는 명백한 반례를 구성함으로써, 문헌에서 이러한 구조가 $K$-호모로지 클래스를 유도한다고 주장한 바를 무효화한다.

ABSTRACT

This article is about erroneous attempts to weaken the standard definition of unbounded Kasparov module (or spectral triple). We present counterexamples to claims in the literature that Fredholm modules can be obtained from these weaker variations of spectral triple. Our counterexamples are constructed using self-adjoint extensions of symmetric operators.

연구 동기 및 목표

• 문헌에서 프리드홀름 모듈을 생성한다고 주장하는 비제한 카스파로프 모듈의 약화된 정의의 타당성을 도전한다.
• 스펙트럴 트리플의 유계 전환으로 프리드홀름 모듈을 정의하기 위해 필요한 정확한 정의역 조건을 규명한다.
• [4, pp. 164–165] 및 [3, Theorems 1.2, 1.3, 6.2]에서 자기수반 확장에 대한 독립성을 주장한 오류를 수정한다.
• 대수 $\mathcal{D}$의 정의역을 보존하지 않으면서도 $\mathcal{D}$의 해석적 연산자가 컴팩트한 경우에도 $[F, a]$의 컴팩트성에 실패함을 보여준다.

제안 방법

• 정의역의 유한 및 무한 결함 지수를 가진 단위 구간과 단위 원판에서 대칭 연산자의 자기수반 확장을 사용하여 반례를 구성한다.
• 유계 전환 $F = \mathcal{D}(1+\mathcal{D}^2)^{-1/2}$를 분석하고, $a \in C^\infty(\mathbb{D})$에 대해 교환자 $[F, a]$를 계산한다.
• 스펙트럼 이론과 해석적 연산자의 적분 표현을 사용하여 $[F, a]$의 컴팩트성을 분석하며, 특히 $\mathcal{D}[(1+\mathcal{D}^2)^{-1/2}, a]$ 항에 초점을 맞춘다.
• 힐버트 공간 내 벡터의 수열에 대한 노름 추정을 수립하여, $\|\zeta_n\| \geq \frac{1}{4\pi^2}$임을 보여, 이는 비콤팩트성을 의미한다.
• $P_+ r e^{-i\theta} P_-$가 유계 수열에 대해 수렴하는 부분수열이 없음을 보여, 이는 비콤팩트임을 증명한다.
• Baaj-Julg 및 [7]의 코시 적분 공식과 해석적 연산자 항등식을 활용하여, 표준 증명 틀에서 정의역 보존의 필요성을 정당화한다.

실험 결과

연구 질문

• RQ1 대수 $\mathcal{D}$의 정의역의 조밀한 부분공간만 보존하는, 스펙트럴 트리플의 약화된 정의가 여전히 유계 전환을 통해 프리드홀름 모듈을 생성할 수 있는가?
• RQ2 해석적 연산자가 컴팩트한 대칭 연산자의 자기수반 확장이 존재하더라도, 교환자 $[F, a]$가 컴팩트하지 않다면 프리드홀름 모듈을 생성할 수 있는가?
• RQ3 [3]에서 주장한 바와 같이, 스펙트럴 트리플의 $K$-호모로지 클래스는 자기수반 확장의 선택에 독립적인가?
• RQ4 대수 $a$가 $\mathrm{dom}(\mathcal{D})$를 보존하지 않으면서도 표준 Baaj-Julg 증명에서 $[F, a]$의 컴팩트성이 실패하는 이유는 무엇인가?
• RQ5 정의역 $\mathcal{D}$는 유계 전환에서 교환자 $[F, a]$의 컴팩트성 확보에 어떤 역할을 하는가?

주요 결과

• 단위 원판에서 자기수반 확장 $\mathcal{D}_P$에 대해, $\mathcal{D}_P$의 해석적 연산자가 컴팩트함에도 불구하고, 교환자 $[F, re^{-i\theta}]$는 컴팩트가 아니다.
• 교환자의 행렬 원소를 통해 정의된 수열 $\{\zeta_n\}$은 $\liminf_{n\to\infty} \|\zeta_n\|^2 \geq \frac{1}{4\pi^2}$를 만족하며, 이는 0으로 수렴하지 않음을 증명한다.
• 모든 $k$에 대해 $\langle \zeta_n | k,+ \rangle \to 0$이지만 $\|\zeta_n\| \not\to 0$임을 보여, $\{\zeta_n\}$에 수렴하는 노름 수렴 부분수열이 존재하지 않음을 확인하여, 비콤팩트성을 모순적으로 밝힌다.
• $P_+ r e^{-i\theta} P_-$는 비콤팩트인 연산자와의 차이로 인해 비콤팩트이다.
• [4, Proposition 17.11.3]에서 조건 (1’)가 프리드홀름 모듈을 유도한다고 주장한 것은 잘못되었으며, 단위 구간에서의 반례로 이를 입증하였다.
• [3]에서 주장한 바와 같이, 스펙트럴 트리플의 $K$-호모로지 클래스는 자기수반 확장에 따라 독립적이지 않다. 다른 확장은 서로 동치가 아닌 프리드홀름 모듈을 유도하기 때문이다.