Skip to main content
Capitalise title; TeX; links to comments
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

determinant Determinant of the conormal bundle

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphicisomorphism $$K_Y\simeq (K_X\otimes \textrm{det } N_Y)\,|\,_Y.$$$$K_Y\simeq (K_X\otimes \det N_Y){\,|\,}_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y)\,|\,_Y.$$$$N_Y\simeq \mathcal O(Y){\,|\,}_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \mathcal O_Y$$$$N_Y^*\simeq \mathcal O(-Y){\,|\,}_Y\subseteq \mathcal O_Y$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (in the case where $r\geq 2$)?

$$\textrm{det } N_Y^*\subseteq\mathcal O_Y.$$$$\det N_Y^*\subseteq\mathcal O_Y.$$

Thanks a lot.

EDIT: I have corrected the question, thanks the comments of abxabx and StarrJason Starr!

determinant of the conormal bundle

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphic $$K_Y\simeq (K_X\otimes \textrm{det } N_Y)\,|\,_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y)\,|\,_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \mathcal O_Y$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (in the case where $r\geq 2$)?

$$\textrm{det } N_Y^*\subseteq\mathcal O_Y.$$

Thanks a lot.

EDIT: I have corrected the question, thanks the comments of abx and Starr!

Determinant of the conormal bundle

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphism $$K_Y\simeq (K_X\otimes \det N_Y){\,|\,}_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y){\,|\,}_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y){\,|\,}_Y\subseteq \mathcal O_Y$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (in the case where $r\geq 2$)?

$$\det N_Y^*\subseteq\mathcal O_Y.$$

Thanks a lot.

EDIT: I have corrected the question, thanks the comments of abx and Jason Starr!

added 72 characters in body
Source Link
Invariance
  • 295
  • 1
  • 14

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphic $$K_Y\simeq (K_X\otimes \textrm{det } N_Y)\,|\,_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y)\,|\,_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \iota^*\mathcal O_X$$$$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \mathcal O_Y$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (especially inin the case where $r\geq 2$)?

$$\textrm{det } N_Y\subseteq\mathcal O_Y.$$$$\textrm{det } N_Y^*\subseteq\mathcal O_Y.$$

Thanks a lot.

EDIT: I have corrected the question, thanks the comments of abx and Starr!

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphic $$K_Y\simeq (K_X\otimes \textrm{det } N_Y)\,|\,_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y)\,|\,_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \iota^*\mathcal O_X$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (especially in the case where $r\geq 2$)?

$$\textrm{det } N_Y\subseteq\mathcal O_Y.$$

Thanks a lot.

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphic $$K_Y\simeq (K_X\otimes \textrm{det } N_Y)\,|\,_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y)\,|\,_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \mathcal O_Y$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (in the case where $r\geq 2$)?

$$\textrm{det } N_Y^*\subseteq\mathcal O_Y.$$

Thanks a lot.

EDIT: I have corrected the question, thanks the comments of abx and Starr!

Source Link
Invariance
  • 295
  • 1
  • 14

determinant of the conormal bundle

Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphic $$K_Y\simeq (K_X\otimes \textrm{det } N_Y)\,|\,_Y.$$

Recall that in the case where $r=1$, i.e., $Y$ is an effective divisor, one gets $$N_Y\simeq \mathcal O(Y)\,|\,_Y.$$ And thus $$N_Y^*\simeq \mathcal O(-Y)\,|\,_Y\subseteq \iota^*\mathcal O_X$$ where $\iota:Y\hookrightarrow X$ is the natural inclusion.

Here is my question: can one give a criterion (or, provide some examples) to guarantee that the following inclusion holds (especially in the case where $r\geq 2$)?

$$\textrm{det } N_Y\subseteq\mathcal O_Y.$$

Thanks a lot.