Skip to main content
Commonmark migration
Source Link

Let $f : X \to Y$ be a [fill in the blank] morphism of [fill in the blank] complex varieties. Then we have the pushforward $f_! : K(X) \to K(Y)$ which is defined by $f_!(E) = \sum_i (-1)^i [R^i f_\ast E]$, the alternating sum of the higher direct images. Here we take $K(X)$ to mean the $K$-group of coherent sheaves.

On the other hand we can also define $K(X)$ as the $K$-group of $C^\infty$ complex vector bundles on $X$ considered as a real manifold. Then we can define a Gysin map $f_!$ using the Thom isomorphism theorem for $K$-theory.

  1. Which adjectives do I need to fill in the blanks with to make the two notions of $K(X)$ agree?

    Which adjectives do I need to fill in the blanks with to make the two notions of $K(X)$ agree?

  2. Which adjectives do I need to fill in the blanks with to make the two notions of $f_!$ agree?

  1. Which adjectives do I need to fill in the blanks with to make the two notions of $f_!$ agree?

If $X$ is smooth and projective, then any coherent sheaf has a finite resolution by locally free sheaves, so we have a map $K^{alg}(X) \to K^{top}(X)$. On the other hand, I don't think it's true that any $C^\infty$ complex vector bundle has a holomorphic structure, so I don't think there is a map $K^{top}(X) \to K^{alg}(X)$ ...

Let $f : X \to Y$ be a [fill in the blank] morphism of [fill in the blank] complex varieties. Then we have the pushforward $f_! : K(X) \to K(Y)$ which is defined by $f_!(E) = \sum_i (-1)^i [R^i f_\ast E]$, the alternating sum of the higher direct images. Here we take $K(X)$ to mean the $K$-group of coherent sheaves.

On the other hand we can also define $K(X)$ as the $K$-group of $C^\infty$ complex vector bundles on $X$ considered as a real manifold. Then we can define a Gysin map $f_!$ using the Thom isomorphism theorem for $K$-theory.

  1. Which adjectives do I need to fill in the blanks with to make the two notions of $K(X)$ agree?
  1. Which adjectives do I need to fill in the blanks with to make the two notions of $f_!$ agree?

If $X$ is smooth and projective, then any coherent sheaf has a finite resolution by locally free sheaves, so we have a map $K^{alg}(X) \to K^{top}(X)$. On the other hand, I don't think it's true that any $C^\infty$ complex vector bundle has a holomorphic structure, so I don't think there is a map $K^{top}(X) \to K^{alg}(X)$ ...

Let $f : X \to Y$ be a [fill in the blank] morphism of [fill in the blank] complex varieties. Then we have the pushforward $f_! : K(X) \to K(Y)$ which is defined by $f_!(E) = \sum_i (-1)^i [R^i f_\ast E]$, the alternating sum of the higher direct images. Here we take $K(X)$ to mean the $K$-group of coherent sheaves.

On the other hand we can also define $K(X)$ as the $K$-group of $C^\infty$ complex vector bundles on $X$ considered as a real manifold. Then we can define a Gysin map $f_!$ using the Thom isomorphism theorem for $K$-theory.

  1. Which adjectives do I need to fill in the blanks with to make the two notions of $K(X)$ agree?

  2. Which adjectives do I need to fill in the blanks with to make the two notions of $f_!$ agree?

If $X$ is smooth and projective, then any coherent sheaf has a finite resolution by locally free sheaves, so we have a map $K^{alg}(X) \to K^{top}(X)$. On the other hand, I don't think it's true that any $C^\infty$ complex vector bundle has a holomorphic structure, so I don't think there is a map $K^{top}(X) \to K^{alg}(X)$ ...

Source Link
Kevin H. Lin
  • 21k
  • 10
  • 116
  • 190

K-theory and K-theory pushforward in topology vs. in algebraic geometry

Let $f : X \to Y$ be a [fill in the blank] morphism of [fill in the blank] complex varieties. Then we have the pushforward $f_! : K(X) \to K(Y)$ which is defined by $f_!(E) = \sum_i (-1)^i [R^i f_\ast E]$, the alternating sum of the higher direct images. Here we take $K(X)$ to mean the $K$-group of coherent sheaves.

On the other hand we can also define $K(X)$ as the $K$-group of $C^\infty$ complex vector bundles on $X$ considered as a real manifold. Then we can define a Gysin map $f_!$ using the Thom isomorphism theorem for $K$-theory.

  1. Which adjectives do I need to fill in the blanks with to make the two notions of $K(X)$ agree?
  1. Which adjectives do I need to fill in the blanks with to make the two notions of $f_!$ agree?

If $X$ is smooth and projective, then any coherent sheaf has a finite resolution by locally free sheaves, so we have a map $K^{alg}(X) \to K^{top}(X)$. On the other hand, I don't think it's true that any $C^\infty$ complex vector bundle has a holomorphic structure, so I don't think there is a map $K^{top}(X) \to K^{alg}(X)$ ...