[논문 리뷰] Subanalytic topologies I. Construction of sheaves

Stéphane Guillermou, Pierre Schapira|arXiv (Cornell University)|2012. 12. 18.

Homotopy and Cohomology in Algebraic Topology인용 수 2

한 줄 요약

이 논문은 실해석다양체 위에 새로운 그로텐디크 위상을 Msal로 구성하여, 표준적인 부분해석적 위상 Msa에서 Msal로의 사이트의 사상(sites morphism)을 수립한다. 이 사상에 沿한 유도된 직접 이미지 함자(derived direct image functor)가 우변수를 갖는다는 것을 증명함으로써, 경계에서의 성장 조건이 제어되는(예: 온화한 성장 또는 지브레 성장) 준층들에 대한 함성적 층화( functorial sheafification)를 가능하게 하며, 리프시츠 경계를 갖는 집합에서 동일한 절단을 가지는 유도된 층을 얻는다. 이 구성은 유도 범주 내에서 정규 힐버트 D-모듈의 자연스러운 필터링을 허용한다.

ABSTRACT

On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $ ho$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived direct image functor by $ ho$ admits a right adjoint, allowing us to associate functorially a sheaf (in the derived sense) on Msa to a presheaf on Msa satisfying suitable properties, this sheaf having the same sections that the presheaf on any open set with Lipschitz boundary. We apply this construction to various presheaves on real manifolds, such as the presheaves of functions with temperate growth of a given order at the boundary or with Gevrey growth at the boundary. On a complex manifold endowed with the subanalytic topology, the Dolbeault complexes associated with these new sheaves allow us to obtain various sheaves of holomorphic functions with growth. As an application, we can endow functorially regular holonomic D-modules with a filtration, in the derived sense.

연구 동기 및 목표

• 실해석다양체 위에 표준 부분해석적 위상보다 더 세밀한 경계 성장 조건을 다룰 수 있도록, 새로운 그로텐디크 위상 Msal을 정의하는 것.
• 일반적인 부분해석적 사이트 Msa에서 Msal로의 사이트 사상 $\rho$를 수립하여, 유도 범주론적 구성들을 가능하게 하는 것.
• 유도된 직접 이미지 함자에 대한 우변수 덕분에, 경계에서 온화하거나 지브레 성장을 갖는 준층들에 대한 함성적 층화 과정을 제공하는 것.
• 이 구성의 응용으로, 복소다양체 위의 돌베올 콤���스(Dolbeault complexes)를 고려하여, 경계에서 제어된 성장을 갖는 새로운 해석적 함수의 층을 도출하는 것.
• 유도된 층 이론적 프레임워크를 활용하여, 정규 힐버트 D-모듈에 대해 유도 범주 내에서 자연스러운 필터링을 제공하는 것.

제안 방법

• 실해석다양체 M 위에 선형 부분해석적 그로텐디크 위상 Msal을 정의하여 표준 부분해석적 위상보다 더 세밀하게 한다.
• 표준 위상과 새로운 위상 사이를 연결하는 자연스러운 사이트 사상 $\rho: M_{\text{sa}} \to M_{\text{sal}}$를 구성한다.
• 유도된 직접 이미지 함자 $R\rho_*$가 우변수를 갖는다는 것을 증명함으로써, 적절한 준층들의 유도된 층화를 가능하게 한다.
• 이 조건에 따라, 경계에서 온화하거나 지브레 성장을 갖는 함수의 준층들에 대해 적용하여, 리프시츠 경계를 갖는 집합에서 절단이 일치하도록 보장한다.
• 복소다양체로의 확장을 위해, 얻어진 층들의 돌베올 콤팩스를 고려하여, 경계에서 제어된 성장을 갖는 해석적 함수의 새로운 층을 도출한다.
• 최종적으로 유도된 층 이론적 프레임워크를 활용하여, 정규 힐버트 D-모듈에 대해 유도 범주 내에서 필터링을 함성적으로 할당한다.

실험 결과

연구 질문

• RQ1 어떻게 실해석다양체 위에 더 세밀한 그로텐디크 위상 Msal을 구성하여 경계 성장 행동을 더 잘 포착할 수 있는가?
• RQ2 사이트 사상 $\rho: M_{\text{sa}} \to M_{\text{sal}}$에 대해 유도된 직접 이미지 함자에 우변수가 존재하는가?
• RQ3 이 구성에 의해, 경계에서 온화하거나 지브레 성장을 갖는 함수의 준층들이 유도된 의미에서 함성적으로 층화될 수 있는가?
• RQ4 복소다양체 위의 돌베올 콤팩스에 이 구성 적용을 통해 어떤 새로운 경계에서 제어된 성장을 갖는 해석적 함수의 층이 도출되는가?
• RQ5 이 논문에서 개발된 유도된 층 이론적 프레임워크를 사용하여 정규 힐버트 D-모듈에 자연스러운 필터링을 부여할 수 있는가?

주요 결과

• 사이트 사상 $\rho: M_{\text{sa}} \to M_{\text{sal}}$에 沿한 유도된 직접 이미지 함자에 우변수가 존재하여, 유도된 층화 과정이 가능하다.
• 경계에서 온화하거나 지브레 성장을 갖는 준층들은 이 구성에 따라 층으로 변환되며, 리프시츠 경계를 갖는 열린 집합에서 원래 준층과 절단이 일치한다.
• 복소다양체에서는 구성된 층들의 돌베올 콤팩스를 통해 경계에서 제어된 성장을 갖는 새로운 해석적 함수의 층이 도출된다.
• 이 프레임워크는 정규 힐버트 D-모듈에 대해 유도 범주 내에서 필터링을 함성적으로 할당하는 데 기여한다.
• 이 구성은 실해석다양체 위에서 성장 조건이 제어되는 준층들에 대해, 자연스럽고 내재된 방법으로 유도된 층을 부여하는 데 성공한다.
• 이 방법은 부분해석기하학과 D-모듈 이론 사이를 유도된 층 이론적 기법을 통해 연결한다.