대칭 로에 대수와 짝수 차원 코스 스펙트럼 기하학

논문은 먼저 로에 대수 \(C^{*}|\mathbb{R}|\)와 그 위에 정의되는 involution \(\sigma\)를 소개한다. \(\sigma\)는 실수선의 반사 \(s(x)=-x\)에 의해 유도되며, 이는 연산자 \(\gamma\) (그레이딩 연산자)를 통해 \(\sigma(T)=\gamma T\gamma\) 형태로 구현된다. 다음으로, 분리된 차원에서의 K‑동형성 모델을 검토한다. Luu의 작업에 따르면, 일반적인 K‑동형성 사이클은 *‑동형사상 \(\rho:A\to C^{*}|\mathbb{R}^{n}|\) 로 표현될 수 있다. 홀수 차원에서는 Dirac 연산자를 직접 사용해 \(\tilde{\rho}:C(M)\to C^{*}|\mathbb{R}|\) 를 만들고, 그에 의해 \(K_{1}\) 에서 정수값이 얻어진다. 그러나 짝수 차원에서는 균형 잡힌 Fredholm 모듈이 필요하고, 이는 복잡한 무한 직합 구조를 초래한다. 이 문제를 해결하기 위해 저자는 graded Fredholm 모듈 \((H,\rho,D)\) 를 시작점으로 삼는다. 여기서 \(D\)는 odd self‑adjoint 연산자이며, 그 스펙트럼을 통해 \(H\)에 기하학적 \(\mathbb{R}\)-Hilbert 구조를 부여한다. \(\gamma\)는 짝수/홀수 그레이딩을 나타내는 대칭 연산자이며, 이를 통해 \(\sigma\)가 정의된다. 중요한 관찰은 \(\rho(A)\)가 이미 \(\sigma\)에 고정된 부분대수 \(C^{*}|\mathbb{R}|^{\sigma}\) 안에 들어간다는 점이다. 이는 Proposition 3.1에서 증명되며, \(\rho\)가 \(C^{*}|\mathbb{R}|\) 안의 locally compact, controlled 연산자임을 이용한다. 그 후, 대칭 로에 대수의 K‑이론을 계산한다. \(\mathbb{R}\)를 두 반쪽 \(Y_{+}=