Skip to main content
added 1 character in body
Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$$H^0(X,mK_X) \otimes H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\otimes_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\otimes_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \otimes H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\otimes_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.

added 1 character in body
Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\oplus_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$$\otimes_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\oplus_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\otimes_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.

Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

When is the map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ surjective?

Suppose $X$ is a smooth projective variety over $\mathbb C$. Then under what conditions, the natural map $H^0(X,mK_X) \times H^0(X,nK_X) \to H^0(X,(m+n)K_X)$ for $m, n \in \mathbb{Z}_{>0}$ is surjective?

My case is particularly simple: $X$ is a smooth curve of genus greater than $1$, and I wish $\oplus_{i=1}^m H^0(X, K_X) \to H^0(X, mK_X)$ to be surjective when $m \geq 3$.

However, I was unable to show this or give a conterexample.