Skip to main content
added 21 characters in body
Source Link
Y. M.
  • 111
  • 5

(I have asked the question The commutativity of minimal extension $\cdots$ and I simplify this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up of one point $\{p\}$, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?

(I have asked the question The commutativity of minimal extension $\cdots$ and I simplify this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?

(I have asked the question The commutativity of minimal extension $\cdots$ and I simplify this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up of one point $\{p\}$, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?

added 2 characters in body
Source Link
Y. M.
  • 111
  • 5

(I have asked the question The commutativity of minimal extension $\cdots$ and I deducesimplify this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?

(I have asked the question The commutativity of minimal extension $\cdots$ and I deduce this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?

(I have asked the question The commutativity of minimal extension $\cdots$ and I simplify this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?

Source Link
Y. M.
  • 111
  • 5

Is direct image of simple $D$-module is also simple?

(I have asked the question The commutativity of minimal extension $\cdots$ and I deduce this question to the next simple question:)

Let $X$ be a rational variety over $\mathbb{C}$, $\phi : \hat{X} \rightarrow X$ be the blow-up, and $M$ be a simple (holonomic) $D_{\hat{X}}$-module. Then

Is it true that the direct image $\int_{\phi}M (=\phi_+M)$ is also simple (holonomic) $D_X$-module ?