[논문 리뷰] Functional properties of Generalized Hörmander spaces of distributions I : Duality theory, completions and bornologifications

Yoann Dabrowski|arXiv (Cornell University)|2014. 11. 11.

Mathematical and Theoretical Analysis참고 문헌 26인용 수 3

한 줄 요약

이 논문은 중첩된 콘(s) $\gamma \subset \Lambda \subset \overline{\gamma}$ 내에서 분포의 파동 프론트 세트($DWF$)와 표준 파동 프론트 세트($WF$)를 제어함으로써 일반화된 Hörmander 공간 $\mathcal{D}'_{\gamma,\Lambda}$ 및 $\mathcal{E}'_{\gamma,\Lambda}$를 도입한다. 이러한 공간들에 대해 쌍대성, 완비성, 보르노로피케이션 성질을 증명하여, 핵성과 초보르노로피크 성질을 갖는다는 것을 보이며, 매크시 토폴로지와 매끄러운 사상에 의한 역상 매핑에 대한 핵심 결과를 제시한다. 이는 곡면 시공간에서의 양자장 이론에 매우 중요하다.

ABSTRACT

The space $D'_Λ$ of distributions having their $C^\infty$ wavefront set in a cone $Λ$ has become important in physics because of its role in the formulation of quantum field theory in curved spacetime. It is also a basic object in microlocal analysis, but not well studied from a functional analytic viewpoint. In order to compute its completion in the open cone case, we introduce generalized spaces $D'_{γ,Λ}$ where we also control the union of H^s-wave front sets in a second cone $γ$ contained in $Λ$. We can compute bornological and topological duals, completions and bornologifications of natural topologies for spaces in this class. All our topologies are nuclear, ultrabornological when bornological and we can describe when they are quasi-LB. We also give concrete microlocal representations of bounded and equicontinuous sets in those spaces and work with general support conditions including future compact or space compact support conditions on globally hyperbolic manifolds, as motivated by physics applications to be developed in a second paper.

연구 동기 및 목표

• 곡면 시공간에서의 양자장 이론에서 핵심 공간인 $\mathcal{E}'_{\Lambda}$ 의 완비성과 기능해석학적 구조 부족 문제를 해결하기 위해.
• 중첩된 콘 $\gamma \subset \Lambda \subset \overline{\gamma}$ 에 대해 $DWF(u) \subset \gamma$ 와 $WF(u) \subset \Lambda$ 를 동시에 제어하는 일반화된 분포 공간 $\mathcal{D}'_{\gamma,\Lambda}$ 와 $\mathcal{E}'_{\gamma,\Lambda}$ 를 정의하기 위해.
• 이 공간들에 자연스러운 토폴로지의 보르노로피크 성질, 쌍대성, 완비성, 보르노로피케이션을 계산하기 위해.
• 완비화된 $\mathcal{E}'_{\Lambda}$ 의 구체적인 기능해석학적 특성화를 $\widehat{\mathcal{E}'_{\Lambda}} = \{ u \in \mathcal{E}' : DWF(u) \subset \Lambda \}$ 로 제시하여 물리학 문헌의 빈자리 해결하기 위해.
• 매끄러운 사상에 의한 역상 매핑에서 연속성과 파동 프론트 세트 제어를 확립하여, 전역적으로 하이퍼볼릭 다양체에서의 장 이론 응용에 필수적인 요소를 제공하기 위해.

제안 방법

• 표준 파동 프론트 세트의 개선으로서, $L^2$ 기반 정의를 초월한 정규성 제어를 가능하게 하는 이중 파동 프론트 세트 $DWF(u) = \bigcup_{s>0} WF_s(u)$ 를 도입한다.
• 전역적으로 하이퍼볼릭 다양체에서, $\mathcal{E}'_{\gamma,\Lambda}(U) = \{ u \in \mathcal{E}'(U) : DWF(u) \subset \gamma, \, WF(u) \subset \Lambda \}$ 와 $\mathcal{D}'_{\gamma,\Lambda}(U)$ 를 지지 조건을 포함하여 정의한다.
• 핵심 토폴로지의 정의를 위해 매크시 토폴로지 $\mathcal{I}$ 와 인덕티브 극한 토폴로지 $\mathcal{I}_{iii}$, $\mathcal{I}_{ppp}$, $\mathcal{I}_{ibi}$ 를 사용하여 핵성과 완비성을 보장한다.
• 보르노로피케이션과 완비화 함자(함수)를 적용하여 강한 쌍대성과 보르노로피크 쌍대성을 도출하며, $\widehat{\mathcal{E}'_{\Lambda}}$ 가 $\mathcal{D}'_{\Gamma}$ 의 보르노로피크 쌍대성임을 보여주며 $\Gamma = -\Lambda^c$ 라고 한다.
• Duistermaat 와 [BDH] 의 결과를 활용하여, $DWF(f^*u) \subset df^* DWF(u)$ 를 만족하는 푸시포워드 파동 프론트 세트 추정을 통해 $f^*$ 의 연속성을 확립한다.
• 극화된 지지 조건과 확장 가능한 가족 $\mathcal{C}$ 를 사용하여 지지 조건의 일반화를 이루며, 이는 역상과 토폴로지 연속성과의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 완비성이 보장되지 않는 $\mathcal{E}'_{\Lambda}$ 의 기능해석학적 구조는 무엇인가, 특히 그 완비화는 어떻게 되는가?
• RQ2 파동 프론트 세트 조건을 사용하여 $\mathcal{E}'_{\Lambda}$ 의 완비화를 자연스럽게 특성화할 수 있는 방법은 무엇인가?
• RQ3 중첩된 콘 $\gamma \subset \Lambda \subset \overline{\gamma}$ 에 대해 일반화된 Hörmander 공간 $\mathcal{D}'_{\gamma,\Lambda}$ 와 $\mathcal{E}'_{\gamma,\Lambda}$ 의 쌍대성, 보르노로피크성, 토폴로지 성질은 무엇인가?
• RQ4 매끄러운 사상에 의한 분포의 역상은 파동 프론트 세트 전파 측면에서 어떻게 행동하는가, 특히 일반화된 공간에 대해 어떻게 되는가?
• RQ5 매크시 토폴로지 $\mathcal{I}$ 가 $\mathcal{D}'_{\gamma,\Lambda}$ 에서 핵성 또는 준-LB 성질을 갖는 조건은 무엇인가?

주요 결과

• 완비화된 $\mathcal{E}'_{\Lambda}$ 는 정확히 $\{ u \in \mathcal{E}' : DWF(u) \subset \Lambda \}$ 이며, 이는 완비화의 구체적인 마이크로로컬 특성화를 제공한다.
• 매크시 토폴로지 $\mathcal{I}$ 는 $\mathcal{D}'_{\gamma,\gamma}$ 에서 핵적이며 $\mathcal{I}_{iii}$ 와 일치하여 강력한 토폴로지 및 쌍대성 성질을 보장한다.
• 공간 $\mathcal{D}'_{\gamma,\Lambda}$ 는 $\Lambda$ 가 닫혀 있고 $\gamma$ 가 열려 있을 경우 완비이자 준-LB이며, 차트 선택과 무관하게 토폴로지가 유지된다.
• 역상 매핑 $f^*$ 는 $\mathcal{D}'_{\gamma,\Lambda}(U_2, \mathcal{C}; E)$ 에서 $\mathcal{D}'_{df^*\gamma, \overline{df^*\gamma}}(U_1, f_e^{-1}(\mathcal{C}); f^*E)$ 로 연속이며, $DWF(f^*u) \subset df^* DWF(u)$ 를 만족한다.
• 공간 $\mathcal{D}'_{\Gamma}$ 의 보르노로피케이션은 $\mathcal{E}'_{\Lambda}$ 의 강한 쌍대성을 제공하며, $\mathcal{E}'_{\Lambda}$ 의 완비화는 $\Gamma = -\Lambda^c$ 인 $\mathcal{D}'_{\Gamma}$ 의 보르노로피크 쌍대성이다.
• 공간 $\mathcal{D}'_{\gamma,\Lambda}$ 의 토폴로지는 차트 선택과 무관하다. 이는 [BD] 와 [Du] 의 순차 연속성 및 매크시 연속성 논증을 통해 입증된다.