Skip to main content
added 118 characters in body
Source Link

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. WeSince the fibers of $C$ have at worst ordinary double points, we may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification). In fact one should be able to take $M = \mathbb{A}^2_S$.

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge \tilde{w})$$ where $\tilde{w}$ is any lift of $w$ to $j^*\Omega^1_{M/S}$, and one may check that this map does not depend on the choice of the basis $z$ or on the lift $\tilde{w}$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge \tilde{w})$$ where $\tilde{w}$ is any lift of $w$ to $j^*\Omega^1_{M/S}$, and one may check that this map does not depend on the choice of the basis $z$ or on the lift $\tilde{w}$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. Since the fibers of $C$ have at worst ordinary double points, we may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification). In fact one should be able to take $M = \mathbb{A}^2_S$.

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge \tilde{w})$$ where $\tilde{w}$ is any lift of $w$ to $j^*\Omega^1_{M/S}$, and one may check that this map does not depend on the choice of the basis $z$ or on the lift $\tilde{w}$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

added 96 characters in body
Source Link

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge w)$$$$\theta(w) = z^\vee\otimes (dz\wedge \tilde{w})$$ andwhere $\tilde{w}$ is any lift of $w$ to $j^*\Omega^1_{M/S}$, and one may check that this map does not depend on the choice of the basis $z$ or on the lift $\tilde{w}$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge w)$$ and one may check that this map does not depend on the choice of the basis $z$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge \tilde{w})$$ where $\tilde{w}$ is any lift of $w$ to $j^*\Omega^1_{M/S}$, and one may check that this map does not depend on the choice of the basis $z$ or on the lift $\tilde{w}$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

deleted 7 characters in body
Source Link

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow (\widehat{I}_P/\widehat{I}_P^2)^\vee\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$$$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge w)$$ and one may check that this map does not depend on the choice of the basis $z$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow (\widehat{I}_P/\widehat{I}_P^2)^\vee\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge w)$$ and one may check that this map does not depend on the choice of the basis $z$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

So as it turns out the key fact is the beautiful description of dualizing sheaves in terms of 'generalized determinants' given in Knudsen-Mumford's "The Projectivity of the Moduli Space of Stable Curves" (I and II).

There, in general given a scheme $X$ and a perfect complex of $\mathcal{O}_X$-modules $F^\bullet$, which on an open cover $\{U\}$ of $X$ is quasi-isomorphic to a bounded complex of finite-free $\mathcal{O}_X$-modules $G^\bullet_U$, one can define the generalized determinant bundle $\det(F^\bullet)$, which is locally given by the alternating tensor product of determinants of the free sheaves $G^i$. $$\det(F^\bullet)|_U = \bigotimes_{i\ge 0} (\det(G^i))^{(-1)^i}$$ This generalized $\det$ commutes with arbitrary base change and is invariant under quasi-isomorphisms, so in practice to compute it on a coherent sheaf $F$, it suffices to let $G^\bullet$ be a bounded finite locally free resolution of $F$ and apply the above formula.

In our case, we want to take $F^\bullet$ to be the complex $\Omega^1_{C/S}$ concentrated in degree zero, and we'd like to understand the etale local picture of $\det(\Omega^1_{C/S})$. We may find an etale covering $\{u : U\rightarrow C\}$ such that each $U$ admits a regular immersion $j : U\hookrightarrow M$ with $M$ smooth of relative dimension 2 over $S$ (needs justification).

Letting $I$ be the sheaf of ideals of $U\hookrightarrow M$, we then have an exact sequence (needs justification) $$0\rightarrow I/I^2\rightarrow j^*\Omega^1_{M/S}\rightarrow\Omega^1_{U/S}\rightarrow 0$$ where the first two terms are locally free. Since $\det$ commutes with base change, and $u$ is etale, we have $$u^*\omega_{C/S} = u^*\det(\Omega^1_{C/S}) = \det(u^*\Omega^1_{C/S}) = \det(\Omega^1_{U/S}) = (I/I^2)^\vee\otimes \big(\wedge^2 j^*\Omega^1_{M/S}\big)$$ Fixing a point $P\in C$, and passing to the limit over all etale neighborhoods of $P$, the exact sequence above becomes: $$0\rightarrow \widehat{I}_P/\widehat{I}_P^2\rightarrow \widehat{j^*\Omega^1_{M/S,P}}\rightarrow \widehat{\Omega^1_{C/S,P}}\rightarrow 0$$ or more concretely, $$0\rightarrow \frac{(xy-a)}{(xy-a)^2}\rightarrow \left(\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}\right)(dx\oplus dy)\rightarrow\frac{\widehat{\mathcal{O}}_s[[x,y]]}{(xy-a)}((dx\oplus dy)/(ydx+xdy)\rightarrow 0$$ where now the first two terms are free, and the map between them is given by $$xy-a\mapsto d(xy-a) = ydx + xdy$$ Assuming $\det$ commutes with ind-etale localization (needs justification?), we get $$\widehat{\omega_{C/S,P}} = (\widehat{I}_P/\widehat{I}_P^2)^\vee\otimes\big(\wedge^2 \widehat{j^*\Omega^1_{M/S,P}}\big)$$ Let $z\in \widehat{I/I^2}_P$ be a basis, with dual basis $z^\vee$. Then the canonical map $\theta : \widehat{\Omega^1_{C/S,P}}\rightarrow\widehat{\omega_{C/S,P}}$ is given by sending $w\in\widehat{\Omega^1_{C/S,P}}$ to $$\theta(w) = z^\vee\otimes (dz\wedge w)$$ and one may check that this map does not depend on the choice of the basis $z$. In particular, we may choose $z = xy-a$, and we would get: $$\theta(dx) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dx = (xy-a)^\vee\otimes x(dy\wedge dx)$$ $$\theta(dy) = (xy-a)^\vee\otimes ((ydx+xdy)\wedge dy = (xy-a)^\vee\otimes y(dx\wedge dy)$$ The choice of coordinates $x,y$ in the presentation of $\widehat{\mathcal{O}_{P}}$ determines a basis of $\widehat{\omega_{C/S,P}}$ given by $$w(x,y) := (xy-a)^\vee\otimes(dy\wedge dx)$$ where we have $$x\cdot w(x,y) = \theta(dx)\quad\text{and}\quad y\cdot w(x,y) = -\theta(dy)$$ Thus, $w(x,y)$ is basically "$dx/x$" (ie, $\frac{1}{x}\theta(dx)$), or equivalently "$-dy/y$". Thus, we may compute: $$(x^e-y^e)w(x,y) = x^ew(x,y) - y^ew(x,y) = x^{e-1}\theta(dx) + y^{e-1}\theta(dy)$$ as desired.

edited body
Source Link
Loading
added 208 characters in body
Source Link
Loading
Source Link
Loading