Relating the toric rank of a semistable curve and the first Betti number of its reduction graph - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T10:27:57Z http://mathoverflow.net/feeds/question/115030 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/115030/relating-the-toric-rank-of-a-semistable-curve-and-the-first-betti-number-of-its-r Relating the toric rank of a semistable curve and the first Betti number of its reduction graph Johan Commelin 2012-11-30T22:46:43Z 2012-12-01T10:55:59Z <h2>Introduction</h2> <p>Let $k$ be a local field. Let $C$ be the spectrum of $\mathcal{O}_{k}$. Let $X/k$ be a smooth projective curve with a semistable model $\mathcal{X}/C$.</p> <p>Let $J$ be the Jacobian of $X$. The identity component of the reduction $\tilde{J}$ fits into an exact sequence <code>$1 \to L \to \tilde{J}^{0} \to A \to 0,$</code> where $L$ is a linear group, and $A$ is an abelian variety. Furthermore $L$ can be decomposed in a torus $T$ and unipotent group $U$. (Since we have a semistable model, $U = 0$.) Let $t$ denote the rank of this torus $T$.</p> <p>We can also associate a reduction graph $G$ to $X$, see e.g., [Liu, §10.4], but as Liu points out there, there are different ways of defining a reduction graph. To this graph we can associate its first Betti number, which is the rank of the first homology group. (Observe that $\beta(G)$, equals <code>$\#E - \#V + 1$</code>. I.e., the number of edges left after removing a spanning tree.)</p> <h2>Claim</h2> <blockquote> <p>In [Zha, lem 5.2.2] it is suggested that $t$ equals the $\beta(G)$.</p> </blockquote> <p>I am looking for a proof of this claim. The first result that comes to mind is [Liu, prp 10.1.51(c)] but this is not exactly the result I am looking for. If we let $u$ denote the rank of $U$ (see above), then this proposition says $\beta(G) \le t + u$. Since $u = 0$ in our case, this does give an inequality in one direction.</p> <p>What makes the question more difficult is that (as far as I see) Zhang does not specify which definition of reduction graph he uses. I guess he uses the same definition as [Yam, 1.10], since that article is very much related to the results of [Zha]. This definition is pretty much the same as the one in [Liu], although I think [Yam] allows loops in the reduction graph, for self-intersections of irreducible components. The problem, of course, is that allowing or disallowing loops has quite an impact on the rank of the first homology group. Allowing loops raises $\beta(G)$, and therefore the above inequality ($\beta(G) \le t$) is no longer necessarily true.</p> <h2>Question</h2> <p>Since I am only taking my first steps into the theory of reduction graphs I do not know whether the ramblings above or the question that follows makes any sense. M question essentially boils down to:</p> <blockquote> <p>Under which conditions are $t$ and $\beta(G)$ equal, and why?</p> </blockquote> <hr> <h2>References</h2> <p>[Liu] <strong>Liu, Qing.</strong> Algebraic geometry and arithmetic curves. Translated from the French by Reinie Erné. Oxford Graduate Texts in Mathematics, 6. Oxford Science Publications. <em>Oxford University Press, Oxford,</em> 2002. xvi+576 pp.</p> <p>[Yam] <strong>Kazuhiko Yamaki.</strong> <em>Graph invariants and the height of the Gross-Schoen cycle.</em> 2009. url: <a href="http://jairo.nii.ac.jp/0019/00096332/en" rel="nofollow">http://jairo.nii.ac.jp/0019/00096332/en</a>.</p> <p>[Zha] <strong>Shou-Wu Zhang.</strong> <em>“Gross–Schoen Cycles and Dualising Sheaves”.</em> arXiv:<a href="http://arxiv.org/abs/0812.0371" rel="nofollow">math/0812.0371</a>.</p> http://mathoverflow.net/questions/115030/relating-the-toric-rank-of-a-semistable-curve-and-the-first-betti-number-of-its-r/115035#115035 Answer by Piotr Achinger for Relating the toric rank of a semistable curve and the first Betti number of its reduction graph Piotr Achinger 2012-11-30T23:50:14Z 2012-11-30T23:50:14Z <p>I never studied this, but here is I guess the natural approach:</p> <p>Suppost that the reduction is just a cycle of smooth curves $C_1, \ldots, C_k$ with $C_i$ intersecting $C_{(i+1)\mod k}$ in one point $p_i = q_{i+1\mod k}$ with $p_i\neq q_i$. </p> <p>How do we construct a line bundle on this cycle? Such a bundle $L$ gives us by pullback a collection of line bundles $L_i$ on $C_i$, hence a (surjective) map $\tilde J\to A:= \prod Pic^0(C_i)$. What is the kernel? Suppose $L$ is trivial on every $C_i$ and choose a trivialization. This gives us isomorphisms $L_{p_i} \to L_{q_i}$. The composition $L_{p_1} \to L_{q_2} \to L_{p_2} \to \ldots \to L_{q_2} \to L_{p_1}$ is an automorphism of a $1$-dimensional vector space, i.e., an element $t$ of a $1$-dimensional torus $\mathbb{G}_m$. This is all the data we need.</p> <p>In case there are more cycles, we will get such a $t$ for every cycle, hence the dimension of the toric part of $\tilde J$ will be equal to the number of cycles in the graph.</p> http://mathoverflow.net/questions/115030/relating-the-toric-rank-of-a-semistable-curve-and-the-first-betti-number-of-its-r/115055#115055 Answer by xuhan for Relating the toric rank of a semistable curve and the first Betti number of its reduction graph xuhan 2012-12-01T06:37:32Z 2012-12-01T06:37:32Z <p>Your "reduction" $\widetilde{J}$ is really the identity component of the reduction. Also, I think you should assume $\mathcal{X}$ is regular (as may be arranged). The big theorem that is relevant here is due to Raynaud (see 9.5/4 in "Neron Models"): the relative identity component of the Neron model is the separated open subgroup scheme ${\rm{Pic}}^0_{\mathcal{X}/C}$ inside the algebraic space ${\rm{Pic}}_{\mathcal{X}/C}$, so passing to special fibers gives that $\widetilde{J}$ is isomorphic to <code>${\rm{Pic}}^0_{\mathcal{X}_{\kappa}/\kappa}$</code>, where $\kappa$ is the residue field of $k$. </p> <p>So now the problem has nothing to do with Neron models and is entirely about how to compute the toric part of ${\rm{Pic}}^0_{X/K}$ for a connected semistable curve $X$ over an algebraically closed field $K$. We claim that the character group of the torus is canonically isomorphic to the integral homology of the (connected) graph associated to this semistable curve (so the rank $t$ of the torus is <em>always</em> the degree-1 Betti number of the graph). This is nicely explained (modulo a few details) in 9.2/8 of "Neron Models" using some exact sequences for the etale topology; the definition of the graph that is used there is given in the paragraph preceding 9.2/8 (using loops for "self-crossing" irreducible components).</p>