"Bad" reduction of Shimura curves via dual graphs - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T12:08:12Z http://mathoverflow.net/feeds/question/51935 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/51935/bad-reduction-of-shimura-curves-via-dual-graphs "Bad" reduction of Shimura curves via dual graphs jvo 2011-01-13T09:01:58Z 2011-03-18T12:29:28Z <p>I have the following naive (and inexpert) question about the reduction of Shimura curves at primes dividing the discriminant of the underlying quaternion algebra. It requires some background to state. That is, let $F$ be a totally real field of degree $d$. Fix a real place $\tau_1$ in the set of real places $\lbrace \tau_1, \ldots, \tau_d \rbrace$ of $F$. Let $B$ be a quaternion algebra over $F$ that is split at $\tau_1$ and ramified at $\tau_2, \ldots, \tau_d$. Let $H \subset \widehat{B}~(= B \otimes \widehat{Z})$ be a compact open subgroup. Let $M_H$ denote the Shimura curve over $F$ of level $H$, with complex points given by \begin{align*} M_H({\bf{C}}) &amp;= B^{\times}\backslash \widehat{B}^{\times} \times \left({\bf{C}}-{\bf{R}} \right)/H.\end{align*} Fix a prime $v \subset \mathcal{O}_{F}$. Assume that $H$ can be factored as $H^v \times H_v$, with $H_v \subset B_v^{\times}~(= B^{\times} \otimes F_v)$ maximal. If $v$ does not divide the discriminant of $B$, then it is known by work of Morita and Carayol that $M_H$ has good reduction over $v$, hence that there exists a smooth model ${\bf{M}}_H$ of $M_H$ over <code>$\mathcal{O}_{(v)}$</code>. If $v$ divides the discriminant of the quaternion algebra $B$, then it is known by work of Varshavsky for instance that there exists an integral model <code>${\bf{M}}_{H}^V$</code> of <code>$M_H$</code> over <code>$\mathcal{O}_{(v)}$</code>. (N.B. there is apparently also a model due to Drinfeld, described extensively in the literature for the case of $F={\bf{Q}}$, though it is not clear to me why Drinfeld's work, which seems to require a moduli theoretic description of <code>$M_H$</code>, extends to the general totally real fields setting). Anyhow, let <code>$F_v$</code> denote the completion of $F$ at $v$, with <code>$\kappa_v$</code> the residue field and <code>$\pi_v$</code> a uniformizer. By Cerednik's theorem, the completion of <code>${\bf{M}}_H^V$</code> along its closed fibre is canonically isomorphic to the product \begin{align*} GL(F_v)\backslash \widehat{\Omega}^{unr} \times D^{\times}\backslash \widehat{D}^{\times}/\overline{H}^v. \end{align*} Here, <code>$\widehat{\Omega}^{unr}$</code> denotes the product <code>$\widehat{\Omega} \times_{\operatorname{Spf}\mathcal{O}_{F_v}} \operatorname{Spf} \mathcal{O}_{F_v}^{unr}$</code>, where $\widehat{\Omega}$ denotes the $v$-adic upper half plane (viewed as a formal scheme), and <code>$\mathcal{O}_{F_v}^{unr}$</code> the ring of Witt vectors with coefficients in <code>$\overline{\kappa}_v$</code>. The action of <code>$\gamma \in GL(F_v)$</code> on $\widehat{\Omega}^{unr}$ is via the image of $\gamma$ in <code>$PGL(F_v)$</code> on the component $\widehat{\Omega}$, and via multiplication by $\operatorname{Frob}_v^{n(\gamma)}$ on <code>$\widehat{\mathcal{O}}_{F_v}^{unr}$</code>, where $n(\gamma) = - ord_v \left( \det(\gamma) \right)$. As well, $D$ denotes the totally definite quaternion algebra over $F$ obtained from $B$ by switching invariants at $v$ and $\tau_1$, with $\overline{H}^v$ the compact open subgroup of $\widehat{D}^{\times v}$ corresponding to $H^v$ under a fixed isomorphism $B^{\times v} \cong D^{\times v}$. The theory of Mumford-Kurihara unifomization then gives the following information about this curve <code>${\bf{M}}_{H}^V$</code>:</p> <ol> <li>The curve <code>${\bf{M}}_{H}^V$</code> is an <em>admissible</em> curve over <code>$\mathcal{O}_{F_v}$</code> in the sense of Jordan-Livne, i.e.</li> </ol> <p>(i) <code>${\bf{M}}_H^V$</code> is a flat, proper curve over <code>$\mathcal{O}_{F_v}$</code> with a smooth generic fibre.</p> <p>(ii) The special fibre of <code>${\bf{M}}_H^V$</code> is reduced; the normalization of each of its irreducible components is isomorphic to <code>${\bf{P}}^1_{\kappa_v}$</code>, and its only singular points are <code>$\kappa_v$</code>-rational, ordinary double points.</p> <p>(iii) The local ring <code>${\bf{M}}_{H, x}$</code> at any singular point $x$ of the special fibre is isomorphic as an <code>$\mathcal{O}_{F_v}$</code>-algebra to <code>$\mathcal{O}_{F_v}[[X,Y]]/(XY - \pi_v^{m(x)})$</code>, for $m(x) \geq 1$ a uniquely determined integer.</p> <ol> <li>The dual graph <code>$\mathcal{G}({\bf{M}}_H^V) = (\mathcal{V}({\bf{M}}_H^V),\mathcal{E}({\bf{M}}_H^V))$</code> of the special fibre of <code>${\bf{M}}_H^V$</code> is<br> isomorphic to <code>$GL(F_v)^{+} \backslash \left( \Delta \times D^{\times}\backslash \widehat{D}^{\times}/\overline{H}^v \right)$</code>, minus any loops. Here, <code>$GL(F_v)^+ \subset GL(F_v)$</code> denotes the collection of matrices with determinant having even $v$-adic valuation, and $\Delta = (\mathcal{V}(\Delta), \mathcal{E}(\Delta))$ the Bruhat-Tits tree of $SL(F_v)$.</li> </ol> <p>My question is the following: why is the edgeset <code>$\mathcal{E}({\bf{M}}_H^V)$</code> nonempty? The dual graph <code>$\mathcal{G}({\bf{M}}_H^V)$</code> is clearly disconnected, and seen easily to be given by the disjoint union of connected graphs \begin{align*} \coprod_i \mathcal{G}_i &amp;= \coprod_i \overline{\Gamma}_i \backslash \Delta. \end{align*} Here, each $\overline{\Gamma}_i$ denotes the image in $PGL(F_v)$ of a suitable arithmetic subgroup $\Gamma_i \subset D^{\times} \cong D_v^{\times} \cong GL(F_v)$. Each component graph $\mathcal{G}_i = (\mathcal{V}_i, \mathcal{E}_i)$ is connected. Now, since $\Delta$ is a tree, each component graph $\mathcal{G}_i = \overline{\Gamma}_i \backslash \Delta$ is a tree. It is then well known that each (first) Betti number $\beta(\mathcal{G}_i) := \vert \mathcal{E}_i \vert - \vert \mathcal{V}_i \vert + 1$ must vanish, i.e. $\vert \mathcal{E}_i \vert = \vert \mathcal{V}_i \vert -1 = 0$. If so, then the cardinality of the edgeset $\mathcal{E}({\bf{M}}_H^V)$ must also equal zero. i.e. the special fibre of ${\bf{M}}_H^V$ would have no singular points ... what have I missed here?</p> http://mathoverflow.net/questions/51935/bad-reduction-of-shimura-curves-via-dual-graphs/51947#51947 Answer by inkspot for "Bad" reduction of Shimura curves via dual graphs inkspot 2011-01-13T11:47:22Z 2011-01-13T11:47:22Z <p>"Now, since $\Delta$ is a tree, each component graph ... is a tree." This isn't convincing, since the universal cover of any graph is a tree. In fact, your argument would prove that every curve possessing a Mumford-Kurihara uniformization has genus zero.</p> http://mathoverflow.net/questions/51935/bad-reduction-of-shimura-curves-via-dual-graphs/51961#51961 Answer by stankewicz for "Bad" reduction of Shimura curves via dual graphs stankewicz 2011-01-13T14:16:52Z 2011-01-13T19:01:11Z <p>Inkspot is indeed correct that the component graphs are indeed not generally trees.</p> <p>As you seem to have deduced for yourself, Cerednik-Drinfeld uniformization is a highly nontrivial concept, and it really helps to have some examples to set it in your mind. Most helpful in this direction is Ogg's "Mauvaise réduction des courbes de Shimura" where he draws out a few of these dual graphs.</p> <p>In general the dual graphs have $2h$ vertices $x$ where $h$ is the class number of $\mathcal{O}_x$, a level $H$ Eichler order in $D$ (your totally definite quaternion algebra, so note there's a choice of which $x$ to make here, but as long as the level is squarefree all orders are hereditary and it doesn't make a difference).</p> <p>An orbit-stabilizer theorem computation then shows that for instance when $B$ is a quaternion algebra over $\mathbf{Q}$, $p+1$ (the size of the set of edges $y$ stemming from a particular vertex $x$ in the Bruhat-Tits tree) is equal to $\sum_{e(y) = x} \frac{\mathcal{O}_x^\times}{\mathcal{O}_y^\times}$. So it's not just that there are edges, but we know exactly how many there are! (For a readable account of details of this, see Kurihara's paper on Equations defining Shimura Curves)</p> <p>Also, if I may take issue with 1.(ii) and 1.(iii), you've given a good description of the special fiber over $\overline \kappa_v$ (which is what I'm taking the dual graph to represent the data for), not necessarily $\kappa_v$. What you've claimed is that the special fiber is a Mumford Curve, that is, the transverse union of a number of copies of $\mathbb{P}^1$'s. The truth is that the special fiber is a <em>quadratic twist</em> of a Mumford curve, where the Galois action is not simply given by the $| \kappa_v|$-Frobenius, but where the action of Frobenius is identified with the action of the Atkin-Lehner operator $w_p$, which interchanges some of the components (if you want to think about the graph, its vertex set can be partitioned into ${x_1, \dots , x_h, x_1', \dots, x_h'}$ where $w_p(x_i) = x_i'$).</p> <p>All that said, some of the best advice I've heard for trying to understand this stuff is to first completely understand what happens when $v$ divides the LEVEL because in that case the moduli problem is much easier (if an abelian variety here is isogenous to a product of supersingular elliptic curves, it's isomorphic to a product of supersingular elliptic curves)</p> <p>Here are a few additional references:</p> <p><a href="http://www.math.mcgill.ca/cfranc/documents/bctranslation.pdf" rel="nofollow">http://www.math.mcgill.ca/cfranc/documents/bctranslation.pdf</a> (a translation of Boutot-Carayol)</p> <p><a href="http://math.berkeley.edu/~ribet/Articles/bimodules.pdf" rel="nofollow">http://math.berkeley.edu/~ribet/Articles/bimodules.pdf</a> (this includes a somewhat more intuitive description of the components of the Mumford curve)</p> <p><a href="http://math.uga.edu/~pete/thesis.pdf" rel="nofollow">http://math.uga.edu/~pete/thesis.pdf</a> (a comprehensive introduction to Shimura Curves and the action of the Atkin-Lehner group)</p> <p><a href="http://www.springerlink.com/content/gj8365486214l141/" rel="nofollow">http://www.springerlink.com/content/gj8365486214l141/</a> (this is Oort's "which abelian surfaces are products of supersingular elliptic curves", see also his book on moduli of supersingular abelian varieties, as when $v$ ramifies in $B$, you're asking a question about moduli of supersingular abelian varieties, see the appendix on Honda-Tate theory to the thesis above)</p>