Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
296 views

Confusion about the (Grothendieck–Poincaré) double dual of reflexive differentials vs usual differentials on a normal Cohen–Macaulay scheme

$\DeclareMathOperator\Hom{Hom}$Let $\mathcal{A}$ be an abelian category, my question is about the case when $\mathcal{A}$ is the category of quasi-coherent sheaves on a scheme $X$. There is a fully ...
Adam's user avatar
  • 61
3 votes
0 answers
254 views

Does Grothendieck duality hold without taking RHom?

I asked this very basic question about Grothendieck Duality on the Stack--exchange some time ago, without any replies. I'm therefore asking the question here to test my luck. Let $f:X\to Y$ be a ...
Adam's user avatar
  • 61
9 votes
1 answer
909 views

Grothendieck-Verdier duality without the noetherian condition

The Grothendieck-Verdier duality: $$ Rf_*\big(R\mathcal{H}\textit{om}_X^\bullet(\mathcal{E}^\bullet,f^!\mathcal{F}^\bullet)\big) \cong R\mathcal{H}\textit{om}^\bullet_Y(Rf_*\mathcal{E}^\bullet,\...
Arkadij's user avatar
  • 988
10 votes
1 answer
1k views

Characterization of schemes whose dualizing complex is perfect

I'm wondering if there is a characterization of schemes over a a field $k$ whose dualizing complex is a perfect complex in terms of singularities. E.g. on a proper Cohen-Macauley scheme over a field, ...
Yuhao Huang's user avatar
  • 5,052
5 votes
0 answers
383 views

Serre functors for non-proper categories

One usually defines a Serre functor to be a functor on a $k$-linear category $\mathcal{C}$ which has finite dimensional $Hom$s over $k$. In that case, the standard definition is that a Serre functor $...
skr's user avatar
  • 512
2 votes
1 answer
512 views

Grothendieck duality for resolution of singularities

I would like to know a reference for Grothendieck duality in a resolution of singularities. More precisely, let $Y$ be a normal, Gorenstein variety with finite quotient singularities, and suppose that ...
Daniele A's user avatar
  • 577
0 votes
1 answer
600 views

Grothendieck-Verdier duality for affine morphisms

Suppose $X,Y$ are varieties over $\mathbb{C}$, $Y$ is smooth and $X$ is Gorenstein ($X$ is not smooth in my case). Let $f: X \to Y$ be an affine morphism, and each fibre of $f$ has the same dimension $...
Li Yutong's user avatar
  • 3,472
4 votes
0 answers
264 views

Does GKZ's reflexivity theorem imply the Plucker formula?

Let $S\subset\mathbb{P}^n$, Gelfand-Kapranov-Zelevinsky defined its dual variety $S^\vee\subset\mathbb{P}^{n^\ast}$. In this paper (http://arxiv.org/pdf/math/0111179v1.pdf), the author obtained the ...
YHBKJ's user avatar
  • 3,187
2 votes
0 answers
93 views

Do copairings provide dualities in derived categories?

Here is an elementary fact about vector spaces. Let $V,W$ be vector spaces over a field $\mathbb K$ and let $c : \mathbb K \to V \otimes W$ be an element of the tensor product. Then $c$ determines ...
Theo Johnson-Freyd's user avatar