Lemma 48.17.3 (0AA1)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 48: Duality for Schemes
Section 48.17: Properties of upper shriek functors
Lemma 48.17.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
6 tags refer to this tag

Lemma 48.17.3. In Situation 48.16.1 let $Y$ be an object of $\textit{FTS}_ S$ and let $f : X = \mathbf{A}^1_ Y \to Y$ be the projection. Then there is a (noncanonical) isomorphism $f^!(-) \cong Lf^*(-) [1]$ of functors.

Proof. Since $X = \mathbf{A}^1_ Y \subset \mathbf{P}^1_ Y$ and since $\mathcal{O}_{\mathbf{P}^1_ Y}(-2)|_ X \cong \mathcal{O}_ X$ this follows from Lemmas 48.15.1 and 48.13.3. $\square$

Comments (0)

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

Comments (0)

Post a comment