Skip to main content
MathOverflow

Return to Question

edited body
Source Link
Zhiyu
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

Let $Z \hookrightarrow X$ be a closed subvariety of a smooth projective variety. How do we compute $\mathcal{Tor}_i^{O_X}(O_{Z},O_{Z})$ $(i>0)$ as coherent sheaves on $Z$ where $Z$ is not of complete intersection inside $X$? Are there some good examples?

The completely intersection case is somehow easier using Koszul complex. For instance, $\mathcal{Tor}_i^{O_{\mathbb P^2}}(O_{\mathbb P^1},O_{\mathbb P^1}) \cong O_{\mathbb P^1}(-1)$$\mathcal{Tor}_1^{O_{\mathbb P^2}}(O_{\mathbb P^1},O_{\mathbb P^1}) \cong O_{\mathbb P^1}(-1)$.

Let $Z \hookrightarrow X$ be a closed subvariety of a smooth projective variety. How do we compute $\mathcal{Tor}_i^{O_X}(O_{Z},O_{Z})$ $(i>0)$ as coherent sheaves on $Z$ where $Z$ is not of complete intersection inside $X$? Are there some good examples?

The completely intersection case is somehow easier using Koszul complex. For instance, $\mathcal{Tor}_i^{O_{\mathbb P^2}}(O_{\mathbb P^1},O_{\mathbb P^1}) \cong O_{\mathbb P^1}(-1)$.

Let $Z \hookrightarrow X$ be a closed subvariety of a smooth projective variety. How do we compute $\mathcal{Tor}_i^{O_X}(O_{Z},O_{Z})$ $(i>0)$ as coherent sheaves on $Z$ where $Z$ is not of complete intersection inside $X$? Are there some good examples?

The completely intersection case is somehow easier using Koszul complex. For instance, $\mathcal{Tor}_1^{O_{\mathbb P^2}}(O_{\mathbb P^1},O_{\mathbb P^1}) \cong O_{\mathbb P^1}(-1)$.

Source Link
Zhiyu
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

Computation of $\mathcal{Tor}_i^{O_X}(O_{Z},O_{Z})$ for non-complete intersection $Z$ in $X$

Let $Z \hookrightarrow X$ be a closed subvariety of a smooth projective variety. How do we compute $\mathcal{Tor}_i^{O_X}(O_{Z},O_{Z})$ $(i>0)$ as coherent sheaves on $Z$ where $Z$ is not of complete intersection inside $X$? Are there some good examples?

The completely intersection case is somehow easier using Koszul complex. For instance, $\mathcal{Tor}_i^{O_{\mathbb P^2}}(O_{\mathbb P^1},O_{\mathbb P^1}) \cong O_{\mathbb P^1}(-1)$.