Abstract:Let $X$ and $Y$ be two smooth projective varieties such that there is a fully faithful exact functor from $D^b(\mathrm{Coh}(X))$ to $D^b(\mathrm{Coh}(Y))$. We show that $X$ and $Y$ are birational equivalent if the functor maps one skyscraper sheaf to a skyscraper sheaf. Further assuming that $X$ and $Y$ are of the same dimension, we show that if $X$ has ample canonical bundle and $H^0(X ,K_X)\neq 0$, or if $X$ is a K3 surface with Picard number one, then $Y$ is birational to a Fourier--Mukai partner of $X$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Given the existence of a fully faithful exact functor \(F: D^b(X)\to D^b(Y)\) between two smooth projective varieties \(X\) and \(Y\), determine the birational equivalence conditions between these varieties. Specifically, the author explores whether \(X\) and \(Y\) are birationally equivalent when the functor \(F\) maps a skyscraper sheaf to another skyscraper sheaf.
### Main Results
The main results of the paper can be summarized as follows:
1. **Birational Equivalence Theorem**:
- **Theorem 3.1**: Let \(X\) and \(Y\) be two irreducible smooth projective varieties, and there exists a fully faithful exact functor \(F: D^b(X)\to D^b(Y)\). Suppose there is a closed point \(x\in X\) such that \(F(O_x) = O_y[m]\), where \(y\in Y\) is a closed point and \(m\) is some integer. Then \(X\) and \(Y\) are birationally equivalent.
2. **Corollary**:
- **Corollary 3.2**: Let \(X\) and \(Y\) be two smooth projective varieties with the same dimension. Suppose the canonical divisor \(K_X\) of \(X\) is ample and \(H^0(X, K_X)\neq 0\). If there exists a fully faithful exact functor \(F: D^b(X)\to D^b(Y)\), then \(Y\) is birationally equivalent to \(X\).
### Methods for Solving the Problem
To prove the above theorems, the author takes the following steps:
1. **Analysis of Local Properties**:
- First, the author proves that there exists an open neighborhood \(U\) in \(X\) such that every skyscraper sheaf in \(U\) is mapped to a skyscraper sheaf in \(Y\).
2. **Establishment of Birational Equivalence**:
- Second, the author shows that this induces a bijection between \(U\) and an open subset \(V\) of \(Y\), and this bijection is compatible with the Zariski topology.
3. **Final Proof**:
- Finally, the author proves that this bijection induces a birational equivalence between \(X\) and \(Y\).
### Applications
As an application, the author verifies the relationship between the existence of semi - orthogonal decomposition factors of the derived categories of two varieties and their birational equivalence under certain specific conditions (such as K3 surfaces with Picard number 1).
Through these results, the paper provides new insights into understanding the connection between derived categories and birational geometry.