Questions tagged [serre-duality]

Serre duality is a duality present on non-singular projective algebraic varieties V of dimension n (and in greater generality for vector bundles and further, for coherent sheaves)

Filter by
Sorted by
Tagged with
0 votes
1 answer
166 views

Explicit description of dualizing sheaf of nodal curve

Let $C$ be a nodal curve with one single node $p$ and $f: N \to C$ it's normalization. Let $r,s $ preimages of $p$. In Geometry of Algebraic Curves (p 91) is stated without proof that the dualizing ...
user267839's user avatar
  • 5,796
0 votes
0 answers
123 views

Dualising sheaf of a nodal curve

Let $X$ be a projective nodal curve. Why is the dualizing sheaf of $X$ isomorphic to the log-cotangent bundle of $X$?
SKTD's user avatar
  • 1
2 votes
0 answers
264 views

Grothendieck duality for root stacks

Let $k$ be an algebraically closed field of characteristic $0$. Let $X$ be a projective scheme over $k$, let $D = \sum_{i=1}^d$ be a simple normal crossing divisor. Let ${\bf a} = (a_1,\cdots,a_d)$ be ...
Walterfield's user avatar
6 votes
0 answers
150 views

Explicit computations of Serre duality for elliptic curves

I have an elliptic curve $E$ defined over a ring $R$, I want to compute the pairing $$ H^1(E,\mathcal{O}_E)\times H^0(E, \Omega_E^1){\rightarrow}R. $$ Clearly we have that $H^0(E, \Omega_E^1)=R \...
marco's user avatar
  • 109
2 votes
0 answers
65 views

How to get a concrete description of $\pi_*\Omega_{X/S}(Z)|_Z$, when $X \supset Z \to S$ is a finite extension of Dedekind schemes?

Let $X/S$ be a proper, smooth relative curve over a Dedekind scheme $S$, for example, $X = \mathbb{P}^1_S \xrightarrow{\pi} S$. Suppose that $Z \to X$ is a horizontal effective Cartier divisor such ...
Somatic Custard's user avatar
3 votes
0 answers
189 views

What does a character of a scheme mean?

Here is a soft question I met in the book Introduction to Grothendieck Duality Theory by Altman and Kleiman. In Chapter I the proposition 2.1 uses a term called "a character of $X$" where $X$...
XYC's user avatar
  • 389
3 votes
0 answers
191 views

The dualising sheaf of a nodal curve by Grothendieck duality

I am trying to use Grothendieck duality (Duality) to prove that the dualising sheaf $\omega_X$ of a nodal curve $X$ can be described as the pushforward sheaf of the sheaf of differential forms on the ...
Yuan Yang's user avatar
  • 537
6 votes
2 answers
419 views

Distinguished triangle of dualizing complexes and/or determinants?

Q1 : If $X \to Y \to Z$ are maps of schemes, is there a relation such as $$\omega_{X/Z} \overset{?}{=} \omega_{Y/Z}|_X \overset{L}{\otimes} \omega_{X/Y}$$ between their dualizing complexes? Or maybe ...
Leo Herr's user avatar
  • 1,004
4 votes
0 answers
156 views

Is the Serre dualizing complex local in the analytic topology?

There is a Serre dualizing complex $S_X\in D^b Coh(X)$ for any scheme $X$ of finite type. For proper schemes, it is characterized as the sheaf defining the right adjoint to derived global sections, ...
Dmitry Vaintrob's user avatar
8 votes
1 answer
942 views

Compactly supported sections of coherent sheaves and the dualizing complex

Suppose $U$ is a (possibly singular) scheme and $X$ is a compactification (potentially unnecessary at least in characteristic $0$). Let $\pi:X\to *$ be the map to the point (though one can consider ...
Dmitry Vaintrob's user avatar
8 votes
2 answers
723 views

Gorenstein varieties: why the two definitions are equivalent?

There are two definitions of Gorenstein singularities in the literature. Using Grothendieck's (or Serre's) duality, one defines the "dualizing sheaf" an object $\hat K_M$ of derived category ...
Misha Verbitsky's user avatar
2 votes
0 answers
165 views

Poincare-duality for Hochschild Homology using Weibel's Hochschild sheaf

There is a notion of Poincare-duality for Hochschild homology, which works for $k$-algebras $A$ such that there is a $d\in \mathbf{N}$ with $\mathrm{Ext}^i(A,A^e)$ is zero except for $i=d$, and $\...
Aaron Wild's user avatar
7 votes
1 answer
2k views

The Serre duality theorem intuition

It is a well known fact that proper scheme $X$ over $k$ has a up to isomorphism unique dualizing sheaf (EGA I, Hartshorne). This dualizing sheaf $\omega_X$ comes with two striking properties: (i) ...
user267839's user avatar
  • 5,796
13 votes
1 answer
391 views

Does the $\overline{\partial}$ operator have closed image?

Let $X$ be a complex-analytic manifold, not necessarily compact. Does $\overline{\partial} : C^\infty(X) \rightarrow \Omega^{0,1}(X)$ have closed image with respect to the Fréchet topology given by ...
Daniel Bruegmann's user avatar
4 votes
0 answers
514 views

Is Serre duality related to Pontryagin duality?

I am wondering if there is some relationship between Serre duality and Pontryagin duality for compact complex manifolds. In this case Serre duality reduces to the commutativity of Hodge-star operator ...
Bombyx mori's user avatar
  • 6,141
3 votes
0 answers
219 views

Serre duality graded singularity category

Let $R$ be a local Gorenstein ring of Krull dimension $d$ with an isolated singularity. Defined $D_{sing}(R)$ as the Verdier quotient $D^b(R)/Perf(R)$). Then, a famous result of Auslander says that ...
Libli's user avatar
  • 7,210
12 votes
0 answers
413 views

What does deformation theory have to do with Serre duality?

The cotangent bundle $\Omega_X$ of a smooth scheme $X$ shows up in two places in my understanding of algebraic geometry. The first is deformation theory, where maps out of $\Omega_X$ control the ...
Jonathan Wise's user avatar
1 vote
1 answer
858 views

On the dualizing sheaf of a curve

Let $X$ be a smooth projective surface in $\mathbb{P}^n$ and $C$ be an effective curve. I know that the dualizing sheaf, $\omega_C$ of $C$ is $\mathcal{E}xt^{n-1}_{\mathbb{P}^n}(\mathcal{O}_C,K_{\...
user46578's user avatar
  • 823
3 votes
1 answer
291 views

Balanced dualizing complex vs rigid dualizing complex?

In noncommutative projective geometry, there is a counterpart of dualizing complex in commutative world. It seems to me that they are called either a balanced dualizing complex or rigid dualizing ...
user2013's user avatar
  • 1,633
9 votes
1 answer
1k views

Serre duality and Hirzebruch-Riemann-Roch in the non-projective case

Serre duality and the Hirzebruch-Riemann-Roch formula are usually stated for $X$ a smooth projective algebraic variety. Do you know of a reference which proves these results for $X$ smooth and proper? ...
Piotr Achinger's user avatar