[논문 리뷰] Linear structures on locales

Pedro Resende, João Paulo Santos|arXiv (Cornell University)|2016. 03. 21.

Advanced Operator Algebra Research참고 문헌 18인용 수 3

한 줄 요약

이 논문은 스펙트럴 벡터(bundle)와 선형화된 로케일을 정의하여, 위상공간과 로케일 사이의 고전적 인접관계를 선형화한 선형 확장(선형 확장)을 제안한다. 이는 스펙트럴 벡터(bundle)와 선형화된 로케일 사이의 인접관계를 수립하며, 이는 스토버 및 스페이셜 케이스에서 동치로 축소된다. 개방된 지지 위상(open support topology)을 도입하고, 일반적인 위상벡터공간에 대해 보편 스펙트럴 벡터(bundle)가 존재하지 않는다는 것을 보여준다.

ABSTRACT

We define a notion of morphism for quotient vector bundles that yields both a category $ extit{QVBun}$ and a contravariant global sections functor $C: extit{QVBun}^{ extrm{op}} o extit{Vect}$ whose restriction to trivial vector bundles with fiber $F$ coincides with the contravariant functor $ extit{Top}^{ extrm{op}} o extit{Vect}$ of $F$-valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological spaces and locales: (i) a linearized topological space is a spectral vector bundle, by which is meant a mildly restricted type of quotient vector bundle; (ii) a linearized locale is a locale $ riangle$ equipped with both a topological vector space $A$ and a $ riangle$-valued support map for the elements of $A$ satisfying a continuity condition relative to the spectrum of $ riangle$ and the lower Vietoris topology on $\operatorname{Sub} A$; (iii) we obtain an adjunction between the full subcategory of spectral vector bundles $ extit{QVBun}_Σ$ and the category of linearized locales $ extit{LinLoc}$, which restricts to an equivalence of categories between sober spectral vector bundles and spatial linearized locales. The spectral vector bundles are classified by a finer topology on $\operatorname{Sub} A$, called the open support topology, but there is no notion of universal spectral vector bundle for an arbitrary topological vector space $A$.

연구 동기 및 목표

• 위상공간과 로케일 사이의 고전적 인접관계를 벡터(bundle)를 사용하여 선형 설정으로 확장하기.
• 국소적으로 평탄한 벡터(bundle)를 일반화하고 연속적 섹션을 수용할 수 있는 스펙트럴 벡터(bundle)의 범주를 정의하기.
• 위상벡터공간과 연속적 지지사상이 수반 조건을 만족하는 로케일을 갖춘 선형화된 로케일을 정의하기.
• 스펙트럴 벡터(bundle)와 선형화된 로케일 사이의 인접관계를 수립하고, 스토버 및 스페이셜 케이스에서 동치로 축소하기.
• 보편 스펙트럴 벡터(bundle)의 존재성을 조사하고, 일반적인 위상벡터공간에 대해 그 존재하지 않음을 보여주기.

제안 방법

• 비어 있는 벡터(bundle)에서 열린 사상에 의해 몫벡터(bundle)를 정의하고, 평가사상으로 충분한 섹션을 확보하기.
• 위상벡터공간 A의 스펙트럼을 하부집합(Sub(A))에 하부 Vietoris 위상으로 정의하기.
• 지지 및 제한사상 σ: Sub(A) → Ω(X) 및 γ: Ω(X) → Sub(A)를 구성하여 이들이 수반관계를 이룬다.
• σ가 γ에 대해 좌수반이고, γ가 소수 스펙트럼에 제한되었을 때 연속적인 삼중조합 (△, A, σ, γ)로 선형화된 로케일을 정의하기.
• Sub(A)에 개방 지지 위상을 사용하여 스펙트럴 벡터(bundle)를 분류하고, 하부 Vietoris 위상보다 더 정밀하게 한다.
• 스펙트럴 커널 사상이 유한차원성 또는 스토버성 조건에서만 연속적임을 증명하기.

실험 결과

연구 질문

• RQ1 위상공간과 로케일 사이의 인접관계는 벡터(bundle)를 사용해 선형화될 수 있는가?
• RQ2 몫벡터(bundle)가 스펙트럴일 조건은 무엇인가? 즉, 커널 사상이 연속적일 조건은 무엇인가?
• RQ3 임의의 위상벡터공간에 대해 보편 스펙트럴 벡터(bundle)가 존재하는가?
• RQ4 개방 지지 위상은 몫벡터(bundle)의 분류를 어떻게 정밀화하는가?
• RQ5 선형화된 로케일의 스펙트럼이 스페이셜 또는 스토버일 조건는 무엇인가?

주요 결과

• 스펙트럴 벡터(bundle)의 범주 QVBunΣ는 선형화된 로케일의 범주 LinLoc와 인접관계를 가지며, 이는 스토버 스펙트럴 벡터(bundle)와 스페이셜 선형화된 로케일 케이스에서 동치로 축소된다.
• Sub(A)에 정의된 개방 지지 위상은 하부 Vietoris 위상보다 스펙트럴 벡터(bundle)의 분류를 더 정밀하게 한다.
• 무한차원 Hausdorff A에 대해, 보편 벡터(bundle) U∘A는 개방 지지 성질을 만족하지만, 그 스펙트럴 커널은 연속적이지 않아 스펙트럴이 아니다.
• dim A < ∞일 경우, U∘A는 스토버이므로 스펙트럴이 되며, 스펙트럴 커널이 연속적이기 때문이다.
• dim A > 2 이면서 1-카운터블인 A에 대해, U∘A의 영단면은 닫혀 있지 않다. 이는 닫힌 영단면이 Fell 연속성을 뜻하지는 않음을 시사한다.
• Max∘A의 소수 열린집합은 dim A < ∞일 때에만 sob(V) 형태일 뿐이며, 이 외에는 sobrified되지 않은 소수 열린집합이 존재한다. 예를 들어 U_{0,A} = ∅와 같은 집합은 sob(V) 형태가 아니며, 이러한 비-sobrified 소수 열린집합이 존재한다.