1: \documentclass{amsart}
2: \usepackage{amssymb}
3: \usepackage{amsmath}
4: \begin{document}
5: \input epsf.sty
6:
7:
8:
9:
10:
11:
12: \def\phi{{\varphi}}
13: \def\d{{\rm d}}
14: \def\D{{\rm D}}
15: \def\Q{{\mathbb Q}}
16: \def\Z{{\mathbb Z}}
17: \def\C{{\mathbb C}}
18: \def\N{{\mathbb N}}
19: \def\P{{\mathbb P}}
20: \def\R{{\mathbb R}}
21: \def\deg{{\rm deg\,}}
22: \def\Re{{\rm Re\,}}
23: \def\Det{{\rm Det}}
24: \def\dim{{\rm dim\,}}
25: \def\Gal{{\rm Gal\,}}
26: \def\PGL{{\rm PGL\,}}
27: \def\Rat{{\rm Rat\,}}
28: \def\Aut{{\rm Aut\,}}
29: \def\St{{\rm St\,}}
30:
31:
32: \title{On trees covering chains or stars}
33: \author{F. Pakovich}
34: \address{
35: Department of Mathematics,
36: Ben Gurion University of the Negev,
37: P.O.B. 653, Beer Sheva 84105, Israel}
38: \email{pakovich@cs.bgu.ac.il }
39: \date{}
40: \maketitle
41: \begin{abstract} In this paper, in the context of the ``Dessins d'enfants'' theory, we give
42: a combinatorial criterion for a plane tree
43: to cover a tree from the classes of ``chains" or ``stars''. Besides, we discuss some applications of this result which are related to the arithmetical theory of torsion on curves.
44:
45: \end{abstract}
46:
47: \def\bp{\begin{proposition}}
48: \def\ep{\end{proposition}}
49: \def\bt{\begin{theorem}}
50: \def\et{\end{theorem}}
51: \def\be{\begin{equation}}
52: \def\l{\label}
53: \def\ee{\end{equation}}
54: \def\bl{\begin{lemma}}
55: \def\el{\end{lemma}}
56: \def\bc{\begin{corollary}}
57: \def\ec{\end{corollary}}
58: \def\pr{\noindent{\it Proof. }}
59: \def\note{\noindent{\bf Note. }}
60: \def\bd{\begin{definition}}
61: \def\ed{\end{definition}}
62: \newtheorem{theorem}{Theorem}[section]
63: \newtheorem{lemma}{Lemma}[section]
64: \newtheorem{definition}{Definition}[section]
65: \newtheorem{corollary}{Corollary}[section]
66: \newtheorem{proposition}{Proposition}[section]
67:
68: \section{Introduction} In this paper, in the context of the Grothendieck theory of ``Dessins d'enfants'',
69: we describe necessary and sufficient combinatorial conditions for an $n$-edged plane tree $\lambda$
70: to cover a $d$-edged tree from the classes of ``chains" or ``stars''
71: (see Fig. 1).
72: Since for a $d$-edged chain (resp. for a $d$-edged star) the
73: corresponding Shabat polynomial is equivalent to the $d$-th Chebyshev polynomial
74: $T_d(z)$ (resp. to the polynomial $z^d$)
75: these conditions correspond to the requirement that, after
76: an appropriate normalisation,
77: the Shabat polynomial $P(z)$ corresponding to $\lambda$
78: admits a
79: compositional factorisation of the form $P(z)=T_d(\tilde P(z))$ (resp. of the form $P(z)=(\tilde P(z))^d$).
80: Our main result was announced with a sketched proof in the note \cite{p2}. Here we give a detailed proof
81: and discuss some applications.
82: \vskip 0.1cm
83: \medskip
84: \epsfxsize=8truecm
85: \centerline{\epsffile{cs.eps}}
86: \smallskip
87: \centerline{Figure 1.}
88: \medskip
89:
90: For the case of chains the investigated question is related to arithmetics of hyperelliptic curves
91: via a construction proposed in \cite{p}.
92: This construction
93: associates to an $n$-edged tree $\lambda$ a hyperelliptic curve $H_{\lambda}$, defined over the field of modules of $\lambda$, such that
94: the divisor $n(\rho^+_{\infty} -\rho^-_{\infty}),$ where
95: $\rho^+_{\infty},\rho^-_{\infty}$ are the
96: points of $H_{\lambda}$ over infinity, is principal.
97: The order of the divisor $\rho^+_{\infty} -\rho^-_{\infty}$
98: in the Picard group of $H_{\lambda}$ is equal to $n/d_c,$ where $d_c$ is
99: a maximal number such that $\lambda$
100: covers a $d_c$-edged chain. This order is an invariant
101: with respect to the action of the absolut Galois group $\Gal(\bar\Q/\Q)$ on plane trees and the calculation of this invariant in purely combinatorial terms was the principal motivation for investigations of this paper.
102:
103: For a tree $\lambda$ define its {\it branch} growing from its vertex
104: $u$ as a maximal subgraph of $\lambda$ for which
105: $u$ is a vertex of valency one. The orientation of the sphere induces
106: in a natural way a cyclic ordering of branches of $\lambda$ growing from a common vertex. Say that two branches of a tree $\lambda$
107: are {\it adjacent} if they grow from a common
108: vertex and one of them follows the other with respect to this
109: ordering. The
110: number of edges of a branch $a$ is called its {\it weight} and is denoted by $|a|$.
111:
112: The main result of this paper is the following theorem.
113:
114: \bt \l{mt}
115: Let $\lambda$ be an $n$-edged
116: tree and $d\vert n$. Then $\lambda$ covers a $d$-edged
117: chain (resp. a $d$-edged star) if and only if the sum
118: (resp. the difference) of weights of any two
119: adjacent branches of $\lambda$ is divisible by $d$.
120: \et
121:
122: It is not hard to see that for an $n$-edged tree $\lambda$ a number $d_c$ (resp. a number $d_s$)
123: such that $\lambda$
124: covers a $d_c$-edged chain (resp. a $d_s$-edged star) is an invariant
125: with respect to the action of the group $\Gal(\bar\Q/\Q)$ on trees. Theorem \ref{mt} provides a purely combinatorial description
126: of these invariants.
127:
128:
129: \bc \l{co}
130: For a tree $\lambda$ the invariant $d_c$ (resp. $d_s$) is equal to
131: the greatest common divisor of all sums $\vert a \vert + \vert b \vert$
132: (resp. differences $\vert a \vert - \vert b \vert$) such that $a$ and $b$ are adjacent branches of $\lambda.$
133: \ec
134:
135:
136: The paper has the following structure. At first we
137: recall a construction from \cite{p} which explains an algebro-geometric meaning of the invariant $d_c$ and discuss some situations
138: in which Theorem \ref{mt} and Corollary \ref{co} may be useful.
139: Then we give conditions for a unicellular dessin $\lambda$ to cover an other unicellular dessin, or to be a chain or a star, in terms of arithmetical properties of the canonical involution of oriented edges of $\lambda.$ Finally we prove theorem \ref{mt} and discuss some of its
140: particular cases.
141:
142: Throughout this paper we will freely use the standard definitions and results of the ``Dessins d'enfants'' theory (see e.g. \cite{sh}, \cite{shl}). Notice that in contrast to the paper \cite{p}
143: we will assume that all dessins and Belyi functions considered below are clean.
144:
145: \section{Plane trees and hyperelliptic curves}
146:
147: In this subsection we recall a construction from the paper \cite{p} which associates to an $n$-edged tree $\lambda$ with the field of
148: modules $k_{\lambda}$ a hyperelliptic curve $H_{\lambda}$ defined over $k_{\lambda}$ such that
149: the divisor $n(\rho^+_{\infty} -\rho^-_{\infty}),$ where
150: $\rho^+_{\infty},\rho^-_{\infty}$ are
151: the points of $H_{\lambda}$ over infinity, is principal.
152:
153: Let $\lambda$ be a tree and let
154: $\beta(z)$
155: be a polynomial from the corresponding equivalence class of Belyi functions.
156: Set $$H_{\lambda}:
157: w^2=R(z),$$ where $R(z)$ is a monic polynomial whose (simple) roots are
158: zeroes of odd multiplicity of the polynomial $\beta(z).$ In other words, if we identify $\lambda$ with the preimage of the segment $[0,1]$ under the map $\beta(z)\,:\, \C\P^1\rightarrow \C\P^1,$ then
159: roots of $R(z)$ coincide with vertices of odd valency of $\lambda.$
160:
161: \bp[\cite{p}] \l{prop}
162: For an $n$-edged tree $\lambda$ the curve
163: $H_{\lambda}$ is defined over $k_{\lambda}$ and
164: the divisor $n(\rho^+_{\infty} -\rho^-_{\infty})$ is principal.
165: Furthermore, the order of the divisor $\rho^+_{\infty} -\rho^-_{\infty}$ in the Picard group of $H_{\lambda}$
166: is equal to $n/d_c,$ where $d_c$ is
167: a maximal number such that $\lambda$
168: covers a $d_c$-edged chain.
169: \ep
170: In order to make Proposition \ref{prop} useful it is important to
171: have an expression for the order of the divisor $\rho^+_{\infty} -\rho^-_{\infty}$ in the Picard group of $H_{\lambda}$ in purely combinatorial terms and corollary \ref{co} provides such an expression.
172: Below we briefly discuss some applications of Proposition \ref{prop}.
173:
174: For any tree $\lambda$ a total number
175: of vertices of odd valency $o_{\lambda}$ is even and $o_{\lambda}=2$ if and only if $\lambda$ is a chain. Furthermore, for
176: the genus $g_{\lambda}$ of $H_{\lambda}$ the formula
177: $g_{\lambda}=(o_{\lambda}-2)/2$ holds. So, the first interesting examples to which the
178: construction above is applicable are the trees with 4 vertices
179: of odd valency. This class consists of trees
180: homeomorphic either to
181: the letter $X$ or to the letter $Y$ (see Fig. 2) and leads to elliptic curves. Note that
182: after a passage
183: to the Weierstrass canonical form the divisor $\rho_{\infty}^+-\rho_{\infty}^-$ transforms to a point $(A,B)$ of finite order on
184: $H_{\lambda}$ such that $A,B\in k_{\lambda}.$
185:
186: For instance (\cite{p}), the $5$-edged $Y$-tree $\lambda_1$ shown on the Fig. 2 leads to the point $(21, -243)$ of order $5$ on the curve $w^2=4v^3+540v+10665.$ On the other hand, the $6$-edged $X$-tree $\lambda_2$ leads to the point $(3,-16)$ on
187: the curve $w^2=4v^3+84v-104$. In the last case the order of the corresponding point is
188: equal to $3$ since Theorem \ref{mt} implies that $d_c(\lambda_2)=2.$
189: \vskip 0.4cm
190: \medskip
191: \epsfxsize=8truecm
192: \centerline{\epsffile{ex.eps}}
193: \smallskip
194: \centerline{Figure 2.}
195: \medskip
196:
197: Proposition \ref{prop} permits to use for the study of $X$- and
198: $Y$-trees the well developed arithmetical
199: theory of elliptic curves. For example, in the paper \cite{p}, as a corollary of a description of groups $E(\Q)_{tors}$ for elliptic curves over $\Q$ given by
200: Mazur \cite{Ma}, {\it a complete list of $Y$-trees defined over $\Q$} was obtained. More general,
201: using
202: the result of Merel \cite{Me} one can provide a
203: {\it lower} bound for the degree of the field of
204: modules of an $X$- or a $Y$-tree which
205: depends only on the invariant $d_c$ (see \cite{p}).
206:
207: Another interesting application of
208: proposition \ref{prop}
209: is a method for the finding of
210: examples of rational divisors of finite order on curves
211: defined over $\Q$ (or more generally over number fields) with $g> 1$.
212: Since for the
213: curves with $g> 1$ the results similar to the ones of Mazur and Merel do not exist,
214: it is interesting how big such an order can be with respect to $g$ (see e.g. \cite{Fl}, \cite{Le}).
215: Using proposition \ref{prop} and certain series of
216: trees
217: one can obtain for instance
218: the following result (\cite{p}):
219: {\it for any
220: $m$ from the interval $g+1\le m\le 2g+1$ there exists a hyperelliptic
221: curve of genus $g$ defined over $\Q$ with a rational divisor of order
222: $m$.} Note that in order to establish this result we do not have to
223: calculate Belyi functions, all the information needed can be obtained
224: from the combinatorial analysis of corresponding trees.
225:
226:
227:
228:
229:
230: \section{Conditions for a unicellular dessin to cover an other
231: unicellular dessin, or to be a chain or a star}
232:
233: Recall that {\it an edge rotation group} $ER(\lambda)$ of a dessin
234: $\lambda$ is a permutation group of oriented edges of $\lambda$
235: generated by two permutations $\rho_0,$ $\rho_1.$ The permutation
236: $\rho_0$ cyclically permutes oriented edges of $\lambda$ around vertices from which they go out
237: in the order induced by the orientation of the ambient surface,
238: and the permutation
239: $\rho_1$ reverses the orientation of edges.
240: Clearly, $ER(\lambda)$ can be identified with the monodromy group of
241: a Belyi function corresponding to $\lambda.$
242:
243:
244: Let $\lambda$ be an $n$-edged unicellular dessin. Then the
245: permutation
246: $\rho_0\rho_1$ is a cycle of length $2n$.
247: We associate with $\lambda$ a permutation
248: $\phi_{\lambda}\subset S_{2n}$ according to the following rule:
249: enumerate oriented edges of $\lambda$ by the symbols $0,1,\,...\,,2n-1$
250: in such a way that the cycle $\rho_0\rho_1$ coincides with the cycle
251: $(01\,...\,2n-1)$ and set $\phi_{\lambda}(i)=
252: \rho_1(i).$ So, $\phi_{\lambda}$ coincides with
253: $\rho_1$ but we use a special notation to stress the fact that oriented edges of $\lambda$ are numerated in a specific way. Note that $\phi_{\lambda}$ is a fix points free involution
254: defined up to a conjugation by some power of the cycle $(01\,...\,2n-1)$.
255: Conversely, starting from a fix points free involution $\phi_{\lambda}$ defined on the set $\{0,1,\,...\,,2n-1\}$ we can construct an $n$-edged
256: unicellular dessin as follows:
257: enumerate in the counter-clockwise direction the edges of a
258: $2n$-gon by the numbers $0,1,\,...\,,2n-1$
259: and glue them along $\phi_{\lambda}.$ Two such involutions correspond to the same dessin
260: if and only if they are conjugated by some power of the cycle $(01\,...\,2n-1)$.
261:
262: It is convenient to define the involution
263: $\phi_{\lambda}$ on the whole set $\Z$
264: setting the value of $\phi_{\lambda}(j)$, for $j=2nl+\tilde j,$ where $l,\tilde j\in \Z,$ $0\leq \tilde j\leq 2n-1,$
265: equal to $2nl+\phi_{\lambda}(\tilde j).$
266:
267:
268: \bp \l{mp}
269: Let $\lambda$ be an $n$-edged unicellular dessin and
270: $d\vert n$. Then $\lambda$ covers a
271: $d$-edged dessin $\mu$ if and only if
272: \be
273: \phi_{\lambda}(i+2d)\equiv\phi_{\lambda}(i)\ ({\rm mod}\ 2d)
274: \ \ \ \ {\it and} \ \ \ \ \phi_{\lambda}(i)\not\equiv i \ ({\rm mod}\ 2d)
275: \ee for any $i\in \mathbb Z.$
276: Furthermore, if conditions above are satisfied then $\mu$ is also
277: unicellular and is defined
278: uniquely by the condition
279: $\phi_{\mu}(i)\equiv\phi_{\lambda}(i)\ ({\rm mod}\ 2d)$.
280: \ep
281:
282:
283:
284:
285: \pr Indeed, an $n$-edged dessin $\lambda$ covers
286: a $d$-edged dessin $\mu$ if and only if
287: $ER(\lambda)$ has an imprimitivity system $\Omega$ with $2d$ blocks
288: such that a permutation induced by $\phi_{\lambda}$ on the set of blocks
289: of $\Omega$ has no fix points. Since
290: $ER(\lambda)$ contains the cycle $(01...2n-1)$
291: such an imprimitivity system should be a collection of the sets
292: $A_i,$ $0\leq i\leq 2d-1,$ where $A_i$ consists of numbers congruent to $i$ $\rm mod$ $2d.$ Moreover, since the permutations $(01...2n-1)$ and $\rho_1=\phi_{\lambda}$ generate
293: $ER(\lambda),$ the collection $A_i,$ $0\leq i\leq 2d-1,$ is an imprimitivity system
294: if and only if $\phi_{\lambda}(A_i)=A_{\phi(i)}$ for all $i,$ $0\leq i\leq 2d-1.$
295: This condition is equivalent to the first condition of the proposition. The second condition
296: of the proposition is equivalent to the requirement that
297: the permutation of the set of blocks
298: of $\Omega$ induced by $\phi_{\lambda}$
299: has no fix points.
300:
301: \bc \l{coro} Let $\lambda$ be an $n$-edged tree. Then $\lambda$ covers a
302: $d$-edged tree if and only if
303: \be \l{z}
304: \phi_{\lambda}(i+2d)\equiv\phi_{\lambda}(i)\ ({\rm mod}\ 2d)
305: \ee for any $i\in \mathbb Z.$
306: \ec
307:
308: \pr Indeed, for an $n$-edged tree $\lambda$ we have:
309: \be \l{ffb}
310: \phi_{\lambda}(i)-i \equiv
311: 2\vert a_i \vert -1 \ ({\rm mod}\ 2n),
312: \ee
313: where $a_i$ denotes the branch
314: of $\lambda$ which contains the oriented edge with number $i$
315: and grows from the starting point of this edge
316: (see Fig. 3).
317:
318: \medskip
319: \epsfxsize=13truecm
320: \centerline{\epsffile{br.eps}}
321: \smallskip
322: \centerline{Figure 3.}
323:
324:
325: Therefore, the equality \be \l{iop}
326: \phi_{\lambda}(i)-
327: i\equiv 1\
328: ({\rm mod}\ 2)
329: \ee holds and hence the second condition of Proposition \ref{mp} is always satisfied. Furthermore,
330: since $\lambda$ is a tree the dessin $\mu$ also is a tree.
331:
332: \bp \l{pch}
333: Let $\mu$ be a $d$-edged unicellular dessin. Then $\mu$
334: is a chain if and only if
335: \be \l{ch}
336: \phi_{\mu}(i)-\phi_{\mu}(i+1)\equiv 1\ ({\rm mod}\ 2d)
337: \ee for any $i\in \Z.$
338: \ep
339:
340: \pr A dessin $\mu$ is a $d$-edged chain if and only if $\phi_
341: {\mu}
342: $
343: has the form
344: \be \l{c}
345: \phi_{\mu}(j)=\begin{cases}
346: \phi_{\mu}(0)-j,&\text{if $0\leq j \leq \phi_{\mu}(0);$}\\
347: 2d+\phi_{\mu}(0)-j,&\text{if $\phi_{\mu}(0) < j \leq 2d-1,$}
348: \end{cases}
349: \ee where $\phi_{\mu}(0)$ is an odd number between
350: $1$ and $2d-1$ (see Fig. 4). Clearly, condition \eqref{c} implies
351: condition \eqref{ch}.
352:
353: In the opposite direction,
354: summing equalities \eqref{ch} from $i=0$ to $i=j-1$ we obtain
355: $$
356: \phi_{\mu}(j)\equiv \phi_{\mu}(0)-j \ ({\rm mod}\ 2d).
357: $$
358: This implies that $\phi_{\mu}$ has the form \eqref{c}.
359: In order to establish that $\phi_{\mu}(0)$ is odd note that
360: if $\phi_{\mu}(0)=2l$ for some $l,$ $0\leq l \leq d-1,$
361: then \eqref{c} implies that $\phi_{\mu}(l)=l$ in contradiction with \eqref{iop}.
362:
363:
364: \bp \l{pst} Let $\mu$ be a $d$-edged unicellular dessin which has at least one vertex of
365: valency $1.$ Then $\mu$
366: is a star if and only if
367: \be \l{st}
368: \phi_{\mu}(i)+\phi_{\mu}(i+1)\equiv 2i+1\ ({\rm mod}\
369: 2d)
370: \ee for any $i\in \Z$.
371: \ep
372:
373: \pr A dessins $\mu$ is a $d$-edged star if and only if $\phi_{\mu}$
374: has the form
375: \be \l{s1}
376: \phi_{\mu}(j)=\begin{cases}
377: j+(-1)^j\phi_{\mu}(0),&\text{if $0 \leq j+(-1)^j\phi_{\mu}(0) \leq 2d-1;$}\\
378: j+(-1)^j\phi_{\mu}(0)-2d,&\text{if $2d-1 < j+(-1)^j\phi_{\mu}(0) ;$}\\
379: 2d+j+(-1)^j\phi_{\mu}(0),&\text{if $j+(-1)^j\phi_{\mu}(0) < 0,$}
380: \end{cases}
381: \ee
382: where either $\phi_{\mu}(0)=1$ or $\phi_{\mu}(0)=2d-1$ (see Fig. 4).
383:
384: \vskip 0.2cm
385: \medskip
386: \epsfxsize=10truecm
387: \centerline{\epsffile{ch.eps}}
388: \smallskip
389: \centerline{Figure 4.}
390: \vskip 0.2cm
391: \noindent Clearly, condition \eqref{s1} implies condition \eqref{st}.
392:
393: In the opposite direction, we have:
394: $$\phi_{\mu}(0)+(-1)^{j-1}\phi_{\mu}(j)=\sum^{j-1}_{i=0}(-1)^i(\phi_{\mu}(i)+\phi_{\mu}(i+1))\equiv\sum^{j-1}_{i=0}(-1)^i(2i+1) \ ({\rm mod}\
395: 2d).
396: $$ Since $$\sum^{j-1}_{i=0}(-1)^i(2i+1)
397: =(-1)^{j-1} j\,,$$ we conclude that
398: \be \l{x}
399: \phi_{\mu}(j)\equiv j+(-1)^j\phi_{\mu}(0) \ ({\rm mod}\ 2d).
400: \ee
401: This implies that $\phi_{\mu}$ has the form \eqref{s1}.
402: In order to show that $\phi_{\mu}(0)\equiv\pm 1\ ({\rm mod}\ 2d)
403: $ note that, since $\mu$ has at least one vertex of
404: valency 1, the permutation $\rho_0$ has at least one fixed
405: point $l$. Since
406: $$\rho_0=(01...2d-1)\phi_{\mu},$$ the equalities $\rho_0(l)=l$ and
407: \eqref{x} imply that
408: $
409: \phi_{\mu}(0)\equiv \pm 1 \ ({\rm mod}\
410: 2d).
411: $
412: \vskip 0.1cm
413: \bc \l{lco} An $n$-edged tree covers a
414: $d$-edged chain (resp. a
415: $d$-edged star) if and only if
416: \be \l{ch3}
417: \phi_{\lambda}(i)-\phi_{\lambda}(i+1)\equiv 1\ ({\rm mod}\ 2d)
418: \ee
419: (resp.
420: \be \l{st3}
421: \phi_{\lambda}(i)+\phi_{\lambda}(i+1)\equiv 2i+1\ ({\rm mod}\
422: 2d)\, )
423: \ee
424: for any $i\in \Z.$
425: \ec
426:
427: \pr Indeed, if an $n$-edged tree $\lambda$ covers
428: a $d$-edged tree $\mu$ then by corollary \ref{coro} equality \eqref{z} holds. Furthermore, if $\mu$ is a $d$-edged
429: chain (respectively, a $d$-edged star) then by proposition \ref{pch} (resp. by proposition \ref{pst})
430: equality \eqref{ch} (resp. equality \eqref{st}) holds.
431: Since $\phi_{\mu}(i)\equiv\phi_{\lambda}(i)\ ({\rm mod}\ 2d)$ this implies that condition \eqref{ch3} (resp. condition \eqref{st3}) is satisfied.
432:
433: In the opposite direction, arguing as above we conclude that condition \eqref{ch3} (resp. condition \eqref{st3}) implies the condition
434: \be \l{rys}
435: \phi_{\lambda}(j)\equiv \phi_{\lambda}(0)-j \ ({\rm mod}\ 2d)
436: \ee
437: (resp. the condition
438: \be \l{oce}
439: \phi_{\lambda}(j)\equiv j+(-1)^j\phi_{\lambda}(0) \ ({\rm mod}\ 2d)\, ).
440: \ee
441: Since \eqref{rys} as well as \eqref{oce}
442: implies \eqref{z} it follows from corollary \ref{coro}
443: that $\lambda$ covers a $d$-edged tree $\mu.$
444: Furthermore, since \eqref{ch3} (resp. \eqref{st3}) implies
445: \eqref{ch} (resp. \eqref{st}),
446: proposition \ref{pch} (resp. proposition \ref{pst} taking into account that any tree has vertices of valency one) implies that $\mu$
447: is a $d$-edged chain (resp. a $d$-edged star).
448:
449:
450: \section{Proof of theorem \ref{mt}}
451: In view of corollary \ref{lco} in order to prove theorem \ref{mt} we only must
452: show that conditions \eqref{ch3},\eqref{st3} are
453: actually equivalent to the conditions described in the theorem.
454: It follows from formula \eqref{ffb} that for any $i,$ $1\leq i \leq 2n-2,$ we have:
455: $$
456: \phi_{\lambda}(i+1)-\phi_{\lambda}(i)+1
457: =
458: (\phi_{\lambda}(i+1)-(i+1))+
459: (i-\phi_{\lambda}(i))+2\equiv $$
460: $$\equiv 2\vert a_{i+1} \vert +2\vert a_{\phi_{\lambda}(i)} \vert
461: \ ({\rm mod}\ 2d).
462: $$
463: Since branches $a_{i+1}$ and $a_{\phi_{\lambda}(i)}$ are adjacent and any adjacent branches have such a form for some $i$ (see Fig. 5),
464: this implies that
465: condition \eqref{ch3} holds if and only if
466: the sum
467: of the weights of any two
468: adjacent branches of $\lambda$ is divisible by $d$.
469:
470: Similarly,
471: $$
472: \phi_{\lambda}(i+1)+\phi_{\lambda}(i)-(2i+1)=
473: (\phi_{\lambda}(i+1)-(i+1))-
474: (i-\phi_{\lambda}(i))\equiv $$
475: $$\equiv 2\vert a_{i+1} \vert -2\vert a_{\phi_{\lambda}(i)} \vert
476: \ ({\rm mod}\ 2d)
477: $$ and therefore condition \eqref{st3}
478: is satisfied if and only if the
479: difference of the weights of any two
480: adjacent branches of $\lambda$ is divisible by $d$.
481:
482: \medskip
483: \epsfxsize=6truecm
484: \hskip 0.4cm\centerline{\epsffile{last.eps}}
485: \smallskip
486: \centerline{Figure 5.}
487:
488: \vskip 0.4cm
489:
490: Let us remark
491: that the condition of the theorem concerning
492: chains is automatically satisfied at every vertex of $\lambda$ of valency $2$. In particular, an $n$-edged chain covers a $d$-edged chain
493: if and only if $d\vert n$ that corresponds to the decomposition $T_n(z)=T_d (T_{n/d}(z))$.
494: On the
495: other hand, for a vertex $u$ of odd valency $k$ this condition is equivalent to the requirement that $d\vert \, \vert a \vert$
496: for any branch $a$ growing from $u.$
497: Indeed, the set of all branches growing from $u$ has the form
498: $a_{i},a_{\rho_0(i)}, a_{\rho_0^{2}(i)}, ... , a_{\rho_0^{k-1}(i)}$
499: for some $i,$ $0\leq i \leq 2n-1.$
500: Since $k$ is odd, for any $j\geq 0$ we have:
501: $$
502: \vert a_{\rho_0^{j+1}(i)} \vert-\vert a_{\rho_0^{j}(i)}\vert =
503: \sum_{s=0}^{k-2}(-1)^s (\,\vert a_{\rho_0^{j+s+1}(i)} \vert+\vert a_{\rho_0^{j+s+2}(i)}\vert\ ) \equiv 0 \ ({\rm mod}\ d).$$
504: Since also
505: \be \l{pum}
506: \vert a_{\rho_0^{j+1}(i)} \vert+\vert a_{\rho_0^{j}(i)}\vert
507: \equiv 0 \ ({\rm mod}\
508: d), \ \ \ \ \ j\geq 0,
509: \ee
510: this implies that $2\vert a_{\rho_0^{j}(i)} \vert \equiv 0 \ ({\rm mod}\
511: d)$ for any $j,$ $0 \leq j \leq k-1.$ Hence,
512: either $\vert a_{\rho_0^{j}(i)} \vert \equiv 0 \ ({\rm mod}\
513: d)$
514: or $\vert a_{\rho_0^{j}(i)} \vert \equiv d/2 \ ({\rm mod}\
515: d).$
516: If for all $j,$ $0 \leq j \leq k-1,$ we have $\vert a_{\rho_0^{j}(i)} \vert \equiv d/2 \ ({\rm mod}\ d)$
517: then summing these equalities and taking into account that $k$ is odd we conclude that
518: $$n=\vert a_{i} \vert +\vert a_{\rho_0^{}(i)} \vert + ... +\vert a_{\rho_0^{k-1}(i)} \vert\equiv d/2 \ ({\rm mod}\
519: d)$$ in contradiction with $d\vert n.$ Therefore, $d \vert\, \vert a_{\rho_0^{j}(i)} \vert $ for at least one $j,$ $0 \leq j \leq k-1.$ It follows now
520: from equalities \eqref{pum} by induction
521: that $d \vert\, \vert a_{\rho_0^{j}(i)} \vert $ for all $j,$ $0 \leq j \leq k-1.$
522:
523:
524:
525:
526:
527:
528:
529:
530:
531:
532:
533:
534: \bibliographystyle{amsplain}
535: \begin{thebibliography}{10}
536:
537:
538: \bibitem {Fl} E. F. Flynn, \textit{The arithmetic of hyperelliptic
539: curves,} in ``Algorithms in Algebraic Geometry and applications'',
540: Birkhauser, (``Progress in Mathematics'', vol. {\bf 143}),
541: 165-175 (1996).
542:
543:
544: \bibitem {Le} F. Lepr\'evost, \textit{Famille de courbes hyperelliptique
545: de genre $g$ munies d'une classe de diviseurs rationnels d'ordre
546: $2g^2+4g+1$,} (``Progress in Mathematics'', vol. {\bf 116}),
547: 107-119 (1994).
548:
549:
550: \bibitem {Me} L. Merel, \textit{Bornes pour la torsion des courbes
551: elliptiques sur les corps de nombres,} Invent. Math. 124, no. 1-3,
552: 437--449 (1996).
553:
554: \bibitem {Ma} B. Mazur, \textit{Rational points on modular curves}, in
555: Modular functions of one variable, V, Lecture Notes in Math., Vol. 601,
556: Springer, Berlin, 1977, 107-148.
557:
558:
559:
560: \bibitem {p} F. Pakovitch, \textit{Combinatoire des arbres planaires et
561: arithm\'etique des courbes hyperelliptiques}, Ann. Inst. Fourier, 48, No.
562: 2, 1998, p. 1001-1029.
563:
564: \bibitem {p2} F. Pakovich, \textit{On trees admitting morphisms onto
565: hedgehogs or onto
566: chains}, Russ. Math. Surv. 55, No.3, 593-594 (2000).
567:
568:
569: \bibitem {sh} L. Schneps, P. Lochak (eds.) \textit{The Grothendieck
570: Theory of Dessins D'enfants}, London
571: mathematical society
572: lecture notes series, vol. 200, Cambridge University Press 1994.
573:
574: \bibitem {shl} L. Schneps, P. Lochak (eds.) \textit{Geometric Galois
575: Actions. 2. The inverse Galois
576: problem, moduli spaces and mapping class groups,
577: }, London mathematical society
578: lecture
579: notes series, part 1,2, v. 242,243, Cambridge University Press, 1997.
580:
581:
582:
583:
584:
585: \end{thebibliography}
586:
587:
588:
589:
590:
591:
592:
593:
594:
595:
596:
597:
598:
599:
600:
601:
602:
603:
604:
605:
606:
607:
608:
609:
610:
611:
612:
613:
614:
615:
616:
617:
618:
619:
620:
621:
622:
623:
624:
625: \end{document}
626:
627:
628: