[논문 리뷰] Non-Hausdorff groupoids

Ruy Exel|ArXiv.org|2008. 12. 22.

Advanced Operator Algebra Research참고 문헌 9인용 수 12

한 줄 요약

이 논문은 Hausdorff가 아닌, 에탈, 본질적으로 주기적인 군oids에 대해 세 가지 기본 결과—(A) 단위 공간 위의 연속 함수들이 감소 군oids C*-대수에서 최대 아벨 부분대수임, (B) 모든 영이 아닌 이상이 단위원소 부분대수와 만남, (C) 정규화자의 지지가 이등분됨—이 실패하는 명시적 예를 제시한다. 실패의 원인은 Z₂ 작용에 의한 두 직선의 합집합에서 원점에서의 Hausdorff가 아닌 위상 구조이며, 이는 이러한 결과들이 본질적으로 Hausdorff 가정에 의존하고 있음을 보여준다.

ABSTRACT

We present examples of non-Hausdorff, etale, essentially principal groupoids for which three results, known to hold in the Hausdorff case, fail. These results are: (A) the subalgebra of continuous functions on the unit space is maximal abelian within the reduced groupoid C*-algebra, (B) every nonzero ideal of the reduced groupoid C*-algebra has a nonzero intersection with the subalgebra of continuous functions on the unit space, and (C) the open support of a normalizer is a bissection.

연구 동기 및 목표

• 군oids C*-대수 이론에서 세 가지 핵심 결과—최대 아벨 부분대수, 단위 공간과의 이상의 교차, 정규화자의 지지가 이등분됨—이 Hausdorff 조건이 없을 경우 실패함을 보이기.
• 두 실수 직선의 합집합 위에서 Z₂ 작용의 기저 군oids를 사용하여 명시적 반례를 구성하기.
• 이러한 결과들이 Cuntz-Krieger 및 그래프 C*-대수에서 널리 사용되지만, 이는 본질적으로 Hausdorff 조건에 의존함을 명확히 하기.
• 비Hausdorff 경우에서 조건부 기대의 추론이 실패하는 정확한 분석을 제공하며, 특히 단위 공간 위의 함수의 노름 제어 문제를 다루기.
• 감소 군oids C*-대수에서 표준 유일성 및 충실성 정리가 Hausdorff 조건 없이도 성립하지 않음을 입증하며, 본질적으로 주기적인 조건이 있더라도 마찬가지임을 보이기.

제안 방법

• Z = [-1,1]×{0} ∪ {0}×[-1,1] 위에서 반사 σₓ 및 σᵧ에 의해 생성되는 Z₂ 작용의 기저 군oids를 이용해 비Hausdorff 에탈 군oids G를 구성하기.
• 단위 공간 G⁽⁰⁾을 Z로 정의하고, 원점에서의 이소트로피 군이 비자명하여 비Hausdorff 행동이 발생함을 보이기.
• f ∈ C_c(G)를 f = f₁ − fₓ − fᵧ + fₓᵧ로 정의하며, fₐ는 Uₐ의 특성 함수임을 정의하고, f(0) = 1 이고 모든 다른 단위에서 0임을 보이기.
• 원점에서 Dirac 상태에 대응하는 GNS 표현을 사용해 ||π(f)|| = 1 이지만, supₓ∈G⁽⁰⁾ |f(x)| = 1 이며, f가 C₀(G⁽⁰⁾)의 C*-노름에서의 폐포에 속하지 않음을 보이기.
• 비Hausdorff 경우에서 조건부 기대 E: C_r^*(G) → C₀(G⁽⁰⁾)가 ||E(f)|| ≤ ||π(f)|| 를 만족하지 않음을 증명하여, 표준 충실성 추론이 붕괴됨을 보이기.
• 원점 근처에 지지가 있는 근사 단위의 네트워크 (ξᵥ) 를 사용해 |⟨π(f)ξᵥ, ξᵥ⟩| → |f(x)| for x ∈ G⁽⁰⁾ 임을 보이나, 비Hausdorff 위상으로 인해 노름 제어가 실패함을 보이기.

실험 결과

연구 질문

• RQ1 G가 비Hausdorff이고 에탈일 경우, C₀(G⁽⁰⁾)는 C_r^*(G)에서 여전히 최대 아벨 부분대수인가?
• RQ2 G가 비Hausdorff이고 본질적으로 주기적일 경우, C_r^*(G)의 영이 아닌 이상이 C₀(G⁽⁰⁾)와 교차하지 않을 수 있는가?
• RQ3 비Hausdorff 경우에서 C_r^*(G)의 정규화자의 열린 지지가 반드시 이등분이어야 하는가?
• RQ4 C₀(G⁽⁰⁾) 위의 표현에 대한 표준 충실성 증명이 비Hausdorff 군oids로 확장 가능한가?
• RQ5 Hausdorff 조건은 군oids C*-대수의 유일성 정리의 타당성에서 어떤 역할을 하는가?

주요 결과

• 함수 f = f₁ − fₓ − fᵧ + fₓᵧ 는 f(0) = 1 이고, 모든 다른 γ ∈ G⁽⁰⁾ 에서 f(γ) = 0 이지만, ||π(f)|| = 1 이며, 이는 비Hausdorff 경우에서 supₓ∈G⁽⁰⁾ |f(x)| = 1 이 ||π(f)|| 에 의해 유계되지 않음을 보여준다.
• 이 f에 대해 조건부 기대 E: C_r^*(G) → C₀(G⁽⁰⁾) 는 ||E(f)|| ≤ ||π(f)|| 를 만족하지 않으며, 이는 표준 충실성 추론을 무너뜨린다.
• 표현 π는 C₀(G⁽⁰⁾) 위에서 충실하지만, π(f)의 노름은 1 이며 f는 C₀(G⁽⁰⁾)의 폐포에 속하지 않기 때문에 C₀(G⁽⁰⁾)는 최대 아벨 부분대수가 아니다.
• J = ker(π) 는 영이 아닌 이상이지만 J ∩ C₀(G⁽⁰⁾) = 0 이며, 이는 성질 (B)를 위반한다. 이는 G가 본질적으로 주기적임에도 불구하고 마찬가지다.
• f에 대응하는 정규화자 u 는 지지가 G 전체이므로 이등분이 아니며, 성질 (C)를 위반한다.
• 노름 제어 추론의 실패 원인은 원점에서의 비Hausdorff 위상으로, 근사 단위의 네트워크가 강한 연산자 위상에서 점근적으로 유계를 유지하는 극한으로 수렴하지 않기 때문이다.