Definition 57.19.1. Let $k$ be a field. Let $X$ and $Y$ be smooth projective schemes over $k$. We say $X$ and $Y$ are derived equivalent if there exists a $k$-linear exact equivalence $D_{perf}(\mathcal{O}_ X) \to D_{perf}(\mathcal{O}_ Y)$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).