trying to understand the support of the sheaf of relative differentials

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

So I'm trying to understand a proof of Belyi's theorem from http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf

specifically lemma 3.4.

The setup is as follows: Let $X/\mathbb{C}$ be a curve, and let $t : X\rightarrow\mathbb{P}^1_\mathbb{C}$ be a meromorphic function on $X$ thought of as a covering map of degree $n$. Further, let $\text{Crit}(t)$ denote the critical points of the cover $t$ - ie, the points in $\mathbb{P}^1_\mathbb{C}$ which have fewer than $n$ pre-images under $t$.

Then, he claims that $\text{Crit}(t) = t(\text{supp}(\Omega^1_{X/\mathbb{P}^1_\mathbb{C}}))$.

Now, it's my understanding that the critical points of $t$ should be the images of the ramification points of $t$ under $t$, so I've been trying to understand why it should be the case that the sheaf of relative differentials of $X/\mathbb{P}^1_\mathbb{C}$ should be nonzero only on the ramification points (or at least only above the critical points).

To this end, I'm trying to understand the definition given in Hartshorne (III.8), namely: $\Omega^1_{X/\mathbb{P}^1_\mathbb{C}} = \Delta^*(\mathcal{I}/\mathcal{I}^2)$, where $\Delta : X\rightarrow X\times_{\mathbb{P}^1_\mathbb{C}} X$ is the diagonal map, and $\mathcal{I}$ is the sheaf of ideals of the image $\Delta(X)$ in some open subset $W\subset X\times_{\mathbb{P}^1_\mathbb{C}} X$.

I kind of understand sheaves of ideals (they're essentially functions on the ambient space that vanish on the closed subscheme), but I'm still not very comfortable with the notion of $\Delta^*(\mathcal{I}/\mathcal{I}^2)$ (in this case defined to be $\Delta^{-1}\mathcal{I}/\mathcal{I}^2\otimes_{\Delta^{-1}\mathcal{O}_{X\times X}}\mathcal{O}_X$, where the fibred product is taken over $\mathbb{P}^1$).

Any comments on how I should think of $\Delta^*(...)$ and why the sheaf of relative differentials only have nonzero stalks at ramification points would be awesome!

thanks.

-

1
Try looking at the local picture. Pick local coordinates on $X$ and $\mathbb P^1$, centered on a ramification point on $X$, such that the morphism is given by $z \mapsto z^k$. Write down the short exact sequence associated of tangent sheaves associated to the morphism, and note that the differential of $f$ is $k z^{k-1} dz$. For a fixed $z \not= 0$ this morphism $T_X \to f^*T_{\mathbb P^1}$ is surjective, because it is injective and both spaces are of dimension 1, so the sheaf of relative differentials is zero. For $z = 0$, the morphism is zero, whence the support of the relative sheaf. – Gunnar Magnusson Apr 29 2012 at 7:58

1
In my understanding, $\Delta^*(\mathcal{I}/\mathcal{I}^2)$ is technically convenient because it is obviously well-defined, but not a good way to reason about differentials in practice. First, you need to understand $\Omega_{X/\Bbbk}$, where $X$ is a smooth variety over a field $\Bbbk$. (This is essentially the sheaf of differential forms.) Once you understand this, $\Omega_{X/Y}$ is obtained (for a morphism $X \to Y$) by taking $\Omega_{X/\Bbbk}$ and modding out by pullbacks of differential forms on $Y$. – Charles Staats Apr 29 2012 at 21:48
Qualification: $\Delta^*(\mathcal{I}/\mathcal{I}^2)$ is often not the best way to reason about differentials in practice, particularly when you are learning. – Charles Staats Apr 29 2012 at 21:50

2 Answers

Ravi Vakil has a good explaination for the definition $\Delta^*(I/I^2)$ in his notes. See his AG notes here or here (chapter 23). In particular, I guess thinking about this locally makes it a little clearer what's going on, in terms of derivations etc. Also, when $X$ is smooth, it is instructive to see that this really gives the cotangent bundle on $X$.

As for your question about ramification points: Let $f:X\to Y$ be a finite morphism of curves (I will assume that these are smooth in the following). It is useful to have in mind the exact sequence $$0\to f^*\Omega_{Y}\to \Omega_X \to \Omega_{X|Y}\to 0.$$(This is exact at the right in the smooth case, but not in general). Note that $\Omega_{X|Y}$ is a torsion sheaf since the two other sheaves are locally free of the same rank (they are line bundles on $X$). At a point $q\in Y$ and $p\in X$ in the preimage of $q$, let $dx$ denote a generator for $\Omega_{Y,q}$ as a $O_{Y,q}$-module. Now, $(\Omega_{X|Y})_P=0$ if and only if $f^*dx$ is a generator of $\Omega_{X,p}$, which happens if and only if $f$ pulls back a local parameter to a local parameter, that is $p$ is unramified. Moreover, the exact sequence above shows that the ramification index is exactly the length of the sheaf $\Omega_{X|Y}$. Finally, note that this sequence gives the Riemann hurwitz formula, relating the canonical divisors of $X$ and $Y$ and the ramification divisor of $f$.

-

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Let $\pi:X\to Y$ be a finite morphism of curves.

Then, for any point $x$ in $X$ lying over $y$ in $Y$, the coefficient $v_x(\pi)$ of $\Omega_{\pi}$ is the valuation of the different of the extension of dvr's $\mathcal{O}_{y}\subset \mathcal{O}_x$. If you are working in characteristic zero, then $$v_y(\pi) = e_x-1,$$ where $e_x$ is the ramification index. So you see that $\Omega_{\pi}$ is supported on the ramification points.

Also, you have a short exact sequence (it's on page 2 of Chapter IV.2 in Hartshorne) which relates $\Omega_\pi$ with $\Omega_X$ and $\Omega_Y$. The above actually shows the important Riemann-Hurwitz formula: $$K_X = \pi^{\ast} K_Y + R.$$ Here $R$ is the ramification divisor. This equals $\Omega_{\pi}$ in this case.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 77, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9392982125282288, "perplexity_flag": "head"}