[논문 리뷰] Micro-support and Cauchy problem for temperate solutions of regular $\cal D$-Modules

Masaki Kashiwara, Térésa Monteiro Fernandes외 1명|ArXiv.org|2000. 12. 12.

Geometry and complex manifolds참고 문헌 6인용 수 6

한 줄 요약

이 논문은 복소다양체 $X$의 코탄젠트 번들의 매끄러운 인벌루티브 부분다양체 $V$를 따라 정칙 $\rho$-모듈의 온난한 미세기하 해의 해석적 미세지지(micro-support)를 추정한다. 미세국소 기법과 온난한 코homology를 사용하여, 해 복합체의 미세지지가 $\times$-구성 가능층 $F$의 정규직선 다양체의 반대변환의 역상에 포함됨을 증명하며, 초타원성 조건 하에서 코쉬 문제를 해결한다.

ABSTRACT

Let $X$ be a complex manifold, $V$ a smooth involutive submanifold of $T^*X$, $\cal M$ a microdifferential system regular along $V$, and $F$ an $\mathbb{R}$-constructible sheaf on $X$. The complex of temperate microfunction solutions of $\cal M$ associated with $F$ is now well understood. In this paper we study the temperate case and give a bound to the micro-support of the temperate microfunction solution sheaves and solve the Cauchy problem under suitable hyperbolicity conditions.

연구 동기 및 목표

• 고전적 초함수 이론이 포착하지 못하는 정칙 $\rho$-모듈의 온난한 해에 대한 미세국소 분석을 확장하기 위해.
• 분포와 온난한 성장성을 가진 함수의 맥락에서 표준적인 미세국소 도구의 한계를 다루기 위해.
• 정규직선 다양체와 반대사상의 조합을 통해 온난한 해의 미세지지의 기하적 특성화를 제공하기 위해.
• 초타원성 조건 하에서 정칙 $\rho$-모듈의 온난한 해에 대한 코쉬 문제를 해결하기 위해.
• 초함수에서 더 넓은 일반화된 함수의 클래스로 결과를 일반화하기 위해, 분포와 극을 가진 메로모르픽 함수를 포함한다.

제안 방법

• 온난한 미세함수 해의 복합체를 $R\mathcal{H}om_{\mathcal{D}_X}(\mathcal{M}, \mathcal{T}\mu\text{hom}(F, \mathcal{O}_X))$로 정의한다.
• 온난한 $\mathbb{R}$-구성 가능층 $F$의 미세지지 $SS(F)$와 특성다양체 $\operatorname{char}(\mathcal{M})$를 이용해 미세국소화를 수행한다.
• 정규직선다양체 $T_V(T^*X)$ 위의 반대사상 $a$를 적용하고, $\rho_V^{-1}(C_V(SS(F))^a)$의 역상을 구성한다.
• $\hat{+}$ 연산(섬의 기저에서의 볼록결합)을 사용하여 $\overline{p}_2^{-1}F$와 $\mathbb{C}_\Omega$의 미세지지를 결합한다.
• $T^*(TX) \simeq T(T^*X)$의 식별을 통해 제트 공간의 기하 자료를 코탄젠트 번들과 연결한다.
• $\tilde{V}$, $SS(\overline{p}_2^{-1}F)^a$, $SS(\mathbb{C}_\Omega)^a$에서의 점근적 수열을 사용하여 $C(V, SS(F))$에의 포함관계를 증명한다.

실험 결과

연구 질문

• RQ1 표준적인 미세국소 도구가 실패할 경우, 정칙 $\mathcal{D}$-모듈의 온난한 해의 미세지지를 어떻게 추정할 수 있는가?
• RQ2 특이점이 존재하는 맥락에서 코쉬 문제의 해법 가능성은 어떤 기하적 조건에 의해 보장되는가?
• RQ3 정규직선다양체 $C_V(SS(F))$는 해 복합체의 미세지지와 어떻게 관련되는가?
• RQ4 온난한 맥락에서 특이점의 전파를 제어하기 위해 반대변환 $SS(F)^a$를 사용할 수 있는가?
• RQ5 매끄러운 사상 $f: X \to Y$와 부분다양체 $V = X \times_Y T^*Y$는 해의 미세지지를 제어하는 데 어떤 역할을 하는가?

주요 결과

• 복합체 $R\mathcal{H}om_{\mathcal{D}_X}(\mathcal{M}, \mathcal{T}\mu\text{hom}(F, \mathcal{O}_X))$의 미세지지는 $\rho_V^{-1}(C_V(SS(F))^a)$에 포함되며, 이는 날카운 기하적 경계를 제공한다.
• 이 추정은 $\mathcal{M}$이 매끄러운 인벌루티브 부분다양체 $V \subset T^*X$를 따라 정칙임을 가정할 때 성립한다.
• 매끄러운 사상 $f: X \to Y$와 $V = X \times_Y T^*Y$일 경우, 닫힌 부분분석다양체 $S \subset M$을 沿해 온난한 성장성을 가진 해의 미세지지는 $SS(\cdots) \subset V \hat{+} (SS(\mathbb{C}_S))^a$를 만족한다.
• 증명은 $\tilde{V}$, $SS(\overline{p}_2^{-1}F)^a$, $SS(\mathbb{C}_\Omega)^a$에서의 점근적 수열에 기반하며, 이는 $C(V, SS(F))$의 점으로 수렴한다.
• 섬의 기저 방향에서의 수열 수렴을 통해 $i^\sharp(\tilde{V} \hat{+} (SS(\overline{p}_2^{-1}F)^a + SS(\mathbb{C}_\Omega)^a)) \subset C(V, SS(F))$의 포함관계가 확립된다.
• 결과는 고전적인 미세국소 결과를 온난한 맥락으로 일반화하며, 분포와 극을 가진 메로모르픽 함수에 대한 코쉬 문제의 해법을 가능하게 한다.