Definition 47.27.1. Let $R \to A$ be a flat ring map of finite presentation. A relative dualizing complex is an object $K \in D(A)$ such that

1. $K$ is $R$-perfect (More on Algebra, Definition 15.78.1), and

2. $R\mathop{\mathrm{Hom}}\nolimits _{A \otimes _ R A}(A, K \otimes _ A^\mathbf {L} (A \otimes _ R A))$ is isomorphic to $A$.

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).