Search Results

Let $\mathcal{C}$ and $\mathcal{D}$ be two categories and $F$ and $G: \mathcal{C}\to \mathcal{D}$ be two functors. Suppose $F$ and $G$ have right adjoints $F^{\wedge}$ and $G^{\wedge}: \mathcal{D}\to …

Let $\mathcal{C}$ be a category and $\mathcal{G}=(G,\delta, \epsilon)$ be a comonad on $\mathcal{C}$. Here $G: \mathcal{C}\to \mathcal{C}$ is a functor, $\delta: G\to G^2$ and $\epsilon: G\to id_{\mat …

Let $X$ be a smooth projective variety of dimension $n$ and $i: D\hookrightarrow X$ be a smooth, anti-canonical divisor in $X$. In other words,$[D]+[\omega_X]=[0]$ where $\omega_X$ is the canonical bu …

Let $A$ and $B$ be two dg-categories, $F: A \rightarrow B$ and $G: B \rightarrow A$ are two functors. Then what is the definition that $F$ and $G$ form an adjoint pair? In my mind $F\dashv G$ require …

Let $Y$ be a smooth algebraic variety and $i: X\hookrightarrow Y$ be a smooth divisor. We consider the derived functors $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$ and $i_*: D^b_{coh}(X)\to D^b_{coh}(Y)$. By …

Let $i: X\hookrightarrow Y$ be a closed immersion of varieties. We have the derived pullback functor $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$. My questions is: can we construct a left adjoint of $i^*$ in t …