Uniform dessins on Shimura curves - KIT
Transcript of Uniform dessins on Shimura curves - KIT
Uniform dessins on Shimura curves
Jurgen Wolfart
joint work with Ernesto Girondo Sirvent and David Torres–Teigell, UAM Madrid
Math. Zeitschrift 2011 + work in progress
Mathematisches Seminar, Goethe–Universitat Frankfurt
KIT, December 2011
Outline
Outline
1 Outline
2 Basics about Belyı functions and dessins
3 Coexistence of dessins
4 Why Shimura curves are so special
5 Fields of definition and fields of moduli
6 Fields of definition: the uniform case
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 2 / 26
Basics about Belyı functions and dessins
Klein’s quartic (I)
Fundamental domain for the covering group (= surface group) Γ ofKlein’s quartic Q : x3y + y 3z + z3x = 0 in the hyperbolic plane H .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 3 / 26
Basics about Belyı functions and dessins
Triangle groups and Belyı functions
Also visible in the picture: Γ is subgroup of a triangle group, here of thegroup ∆(2, 3, 7) . The canonical projection
Q = Γ\H → ∆(2, 3, 7)\H ∼= P1(C)
defines a Belyı function β : meromorphic, non–constant and ramifiedabove three points only.
Fact 1 : all Belyı functions on compact Riemann surfaces come fromtriangle groups in this way.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 4 / 26
Basics about Belyı functions and dessins
Triangle groups and Belyı functions
Also visible in the picture: Γ is subgroup of a triangle group, here of thegroup ∆(2, 3, 7) . The canonical projection
Q = Γ\H → ∆(2, 3, 7)\H ∼= P1(C)
defines a Belyı function β : meromorphic, non–constant and ramifiedabove three points only.
Fact 1 : all Belyı functions on compact Riemann surfaces come fromtriangle groups in this way.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 4 / 26
Basics about Belyı functions and dessins
Dessins d’enfants
Fact 2 : on a compact Riemann surface X there is a Belyı function if andonly if — as an algebraic curve — X can be defined over a number field(Belyı 1979).
We may assume that 0, 1,∞ are the critical values of the Belyı functionβ . Then the β–preimage of the real interval ◦——• between 0 and 1forms a bipartite graph cutting the Riemann surface in simply connectedcells, a dessin d’enfant (Grothendieck 1984).
Here is an illustration, indicating as well the link to triangle groups:
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 5 / 26
Basics about Belyı functions and dessins
Dessins d’enfants
Fact 2 : on a compact Riemann surface X there is a Belyı function if andonly if — as an algebraic curve — X can be defined over a number field(Belyı 1979).
We may assume that 0, 1,∞ are the critical values of the Belyı functionβ . Then the β–preimage of the real interval ◦——• between 0 and 1forms a bipartite graph cutting the Riemann surface in simply connectedcells, a dessin d’enfant (Grothendieck 1984).
Here is an illustration, indicating as well the link to triangle groups:
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 5 / 26
Basics about Belyı functions and dessins
Klein’s quartic (II)
Another look on the Belyı function for Klein’s quartic Q , now: its dessin.The numbers indicate the necessary identifications on the border.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 6 / 26
Basics about Belyı functions and dessins
Dessins and conformal structures
As Grothendieck pointed out, dessins induce moreover the Riemannsurface structure.
Fact 3 : on the other hand, every dessin on a compact oriented 2–manifoldX defines a unique conformal structure on X such that the dessin belongsto some Belyı function on X (Grothendieck, Singerman 1974).
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 7 / 26
Basics about Belyı functions and dessins
Dessins and conformal structures
As Grothendieck pointed out, dessins induce moreover the Riemannsurface structure.
Fact 3 : on the other hand, every dessin on a compact oriented 2–manifoldX defines a unique conformal structure on X such that the dessin belongsto some Belyı function on X (Grothendieck, Singerman 1974).
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 7 / 26
Coexistence of dessins
A converse?
No. If a dessin exists on X , it is not at all unique. Simplest example: P1
At least, can we explain how the different dessins on the same curve arelinked to each other?And is it possible that on the same surface coexist several non–isomorphicdessins of the same type?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 8 / 26
Coexistence of dessins
Regular dessins
Restriction to more “comfortable” classes of dessins: a dessin D is calledregular if there is an automorphism group acting transitively on the edgesand preserving incidence, orientation and colours. Automatically, it acts asan automorphism group of the algebraic curve X as well. (For simplicity,we will restrict our attention now to genera g > 1 .)⇔ β is a normal covering⇔ X is quasiplatonic, has “many automorphisms”⇔ its covering group Γ is a normal subgroup of some triangle group ∆ .Here we have (E.Girondo/J.Wolfart 2005)
Theorem
Different regular dessins on the same quasiplatonic curve are induced byrenormalization and inclusions between triangle groups.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 9 / 26
Coexistence of dessins
Regular dessins
Restriction to more “comfortable” classes of dessins: a dessin D is calledregular if there is an automorphism group acting transitively on the edgesand preserving incidence, orientation and colours. Automatically, it acts asan automorphism group of the algebraic curve X as well. (For simplicity,we will restrict our attention now to genera g > 1 .)⇔ β is a normal covering⇔ X is quasiplatonic, has “many automorphisms”⇔ its covering group Γ is a normal subgroup of some triangle group ∆ .Here we have (E.Girondo/J.Wolfart 2005)
Theorem
Different regular dessins on the same quasiplatonic curve are induced byrenormalization and inclusions between triangle groups.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 9 / 26
Coexistence of dessins
Regular dessins
Restriction to more “comfortable” classes of dessins: a dessin D is calledregular if there is an automorphism group acting transitively on the edgesand preserving incidence, orientation and colours. Automatically, it acts asan automorphism group of the algebraic curve X as well. (For simplicity,we will restrict our attention now to genera g > 1 .)⇔ β is a normal covering⇔ X is quasiplatonic, has “many automorphisms”⇔ its covering group Γ is a normal subgroup of some triangle group ∆ .Here we have (E.Girondo/J.Wolfart 2005)
Theorem
Different regular dessins on the same quasiplatonic curve are induced byrenormalization and inclusions between triangle groups.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 9 / 26
Coexistence of dessins
Uniform dessins
have the same valency in all white vertices, also in all black vertices, andin all faces. The covering groups of their Riemann surfaces are torsion freesubgroups of triangle groups ∆ . Regular dessins are uniform, but notconversely:
In genus 2 there are 11 regular dessins on 3 non–isomorphic curves(Bolza ∼1900), but 579 uniform dessins on ca. 200 (?) curves(Singerman/Syddall 2003). On genus 4 curves there are already more than14 millions non–isomorphic uniform dessins (Zvonkin).
Can it happen that on one curve X live several uniform dessins of thesame type (i.e. with the same valencies)? ⇔Are there surface groups contained in several copies of the same trianglegroup?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 10 / 26
Coexistence of dessins
Uniform dessins
have the same valency in all white vertices, also in all black vertices, andin all faces. The covering groups of their Riemann surfaces are torsion freesubgroups of triangle groups ∆ . Regular dessins are uniform, but notconversely:
In genus 2 there are 11 regular dessins on 3 non–isomorphic curves(Bolza ∼1900), but 579 uniform dessins on ca. 200 (?) curves(Singerman/Syddall 2003). On genus 4 curves there are already more than14 millions non–isomorphic uniform dessins (Zvonkin).
Can it happen that on one curve X live several uniform dessins of thesame type (i.e. with the same valencies)? ⇔Are there surface groups contained in several copies of the same trianglegroup?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 10 / 26
Coexistence of dessins
Uniform dessins
have the same valency in all white vertices, also in all black vertices, andin all faces. The covering groups of their Riemann surfaces are torsion freesubgroups of triangle groups ∆ . Regular dessins are uniform, but notconversely:
In genus 2 there are 11 regular dessins on 3 non–isomorphic curves(Bolza ∼1900), but 579 uniform dessins on ca. 200 (?) curves(Singerman/Syddall 2003). On genus 4 curves there are already more than14 millions non–isomorphic uniform dessins (Zvonkin).
Can it happen that on one curve X live several uniform dessins of thesame type (i.e. with the same valencies)? ⇔Are there surface groups contained in several copies of the same trianglegroup?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 10 / 26
Coexistence of dessins
Klein’s quartic (III)
The regular and one of eight non–regular uniform dessins on Klein’squartic Q , both of type (2, 3, 7) (Syddall 1997, unpublished PhD thesis).How can this happen?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 11 / 26
Why Shimura curves are so special
Margulis’ obstruction
It means that the surface group Γ of Klein’s quartic is contained in a∆ = ∆(2, 3, 7) as normal subgroup, but moreover in 8 copies of ∆ as anon–normal subgroup.
A deep result by Margulis implies
Theorem
A non–arithmetic Fuchsian group Γ is contained in a unique maximalFuchsian group.
In fact, ∆ = ∆(2, 3, 7) and hence the surface group Γ of Klein’s quarticare arithmetic Fuchsian groups, therefore Margulis’ obstruction does notapply here because Q = Γ\H is a Shimura curve.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 12 / 26
Why Shimura curves are so special
Margulis’ obstruction
It means that the surface group Γ of Klein’s quartic is contained in a∆ = ∆(2, 3, 7) as normal subgroup, but moreover in 8 copies of ∆ as anon–normal subgroup.
A deep result by Margulis implies
Theorem
A non–arithmetic Fuchsian group Γ is contained in a unique maximalFuchsian group.
In fact, ∆ = ∆(2, 3, 7) and hence the surface group Γ of Klein’s quarticare arithmetic Fuchsian groups, therefore Margulis’ obstruction does notapply here because Q = Γ\H is a Shimura curve.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 12 / 26
Why Shimura curves are so special
A crashcourse in arithmetic Fuchsian groups
Extremely short survey about an important tool: let A be a
quaternion algebra
whose center k is a totally real number field,
having only one archimedian completion of type M2R .
In this completion, the (?) maximal order O of A becomes anOk–subalgebra of M2OL where OL denotes the ring of integers in an atmost quadratic extension L of k .
Its unit group O∗ becomes a subgroup of GL2OL , and its elements ofreduced norm ( = determinant) 1 form the norm one group O∗
1 . Thisgroup acts on the upper half plane as a Fuchsian group of the first kind.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 13 / 26
Why Shimura curves are so special
A crashcourse in arithmetic Fuchsian groups
Extremely short survey about an important tool: let A be a
quaternion algebra
whose center k is a totally real number field,
having only one archimedian completion of type M2R .
In this completion, the (?) maximal order O of A becomes anOk–subalgebra of M2OL where OL denotes the ring of integers in an atmost quadratic extension L of k .
Its unit group O∗ becomes a subgroup of GL2OL , and its elements ofreduced norm ( = determinant) 1 form the norm one group O∗
1 . Thisgroup acts on the upper half plane as a Fuchsian group of the first kind.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 13 / 26
Why Shimura curves are so special
The role of conjugations
Γ < PSL2R is called arithmetic, if it (more precisely: its preimage inSL2R ) is commensurable to such a norm one group. In fact, the trianglegroup ∆(2, 3, 7) is itself a norm one group O∗
1 of a quaternion algebra Awith center k = Q(cos 2π
7 ) , the cubic real subfield of the cyclotomic fieldQ(ζ7) of the seventh roots of unity.
So if O∗1 > Γ < ρO∗
1ρ−1 , we may extend ρ to a conjugation of O and A .
Skolem/Noether ⇒ ρ ∈ A , w.l.o.g. even ∈ O .
Then, Γ is contained in the intersection of at least two maximal orders ofA , in some Eichler order of A . Conversely, if Γ is contained in Eichlerorders, it is contained in several copies of O , hence in our specialsituation in several copies of ∆(2, 3, 7) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 14 / 26
Why Shimura curves are so special
The role of conjugations
Γ < PSL2R is called arithmetic, if it (more precisely: its preimage inSL2R ) is commensurable to such a norm one group. In fact, the trianglegroup ∆(2, 3, 7) is itself a norm one group O∗
1 of a quaternion algebra Awith center k = Q(cos 2π
7 ) , the cubic real subfield of the cyclotomic fieldQ(ζ7) of the seventh roots of unity.
So if O∗1 > Γ < ρO∗
1ρ−1 , we may extend ρ to a conjugation of O and A .
Skolem/Noether ⇒ ρ ∈ A , w.l.o.g. even ∈ O .
Then, Γ is contained in the intersection of at least two maximal orders ofA , in some Eichler order of A . Conversely, if Γ is contained in Eichlerorders, it is contained in several copies of O , hence in our specialsituation in several copies of ∆(2, 3, 7) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 14 / 26
Why Shimura curves are so special
Main condition
Theorem
Let X be a Shimura curve with surface group Γ ⊂ ∆ = ∆(p, q, r) where∆ = O∗
1 is the norm one group of some quaternion algebra A with centerk . Then we have several uniform dessins on X of type (p, q, r) if andonly if Γ is contained in a group conjugate to a Hecke type congruencesubgroup ∆0(℘) for ℘ a prime in k not dividing the discriminant D(A) .
(For the 85 arithmetic triangle groups, all k have class number 1(Takeuchi) so we can speak of primes instead of prime ideals.) Recall that
∆0(℘) :=
{(a bc d
)∈ ∆ with c ≡ 0 mod ℘
}is an intersection ∆ ∩ ρ∆ρ−1 where ρ may be assumed to be an element
of O of minimal nontrivial norm such as the matrix
(℘ 00 1
).
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 15 / 26
Why Shimura curves are so special
Main condition
Theorem
Let X be a Shimura curve with surface group Γ ⊂ ∆ = ∆(p, q, r) where∆ = O∗
1 is the norm one group of some quaternion algebra A with centerk . Then we have several uniform dessins on X of type (p, q, r) if andonly if Γ is contained in a group conjugate to a Hecke type congruencesubgroup ∆0(℘) for ℘ a prime in k not dividing the discriminant D(A) .
(For the 85 arithmetic triangle groups, all k have class number 1(Takeuchi) so we can speak of primes instead of prime ideals.) Recall that
∆0(℘) :=
{(a bc d
)∈ ∆ with c ≡ 0 mod ℘
}is an intersection ∆ ∩ ρ∆ρ−1 where ρ may be assumed to be an element
of O of minimal nontrivial norm such as the matrix
(℘ 00 1
).
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 15 / 26
Why Shimura curves are so special
Principal congruence subgroups
∆(℘) :=
{(a bc d
)∈ ∆ with c ≡ b ≡ 0 mod ℘ , a ≡ d ≡ 1 mod ℘
}of prime level ℘ is not only contained in one such intersection∆0(℘) = ∆ ∩ ρ∆ρ−1 but in q + 1 groups of this type, all conjugatein ∆ , where q is the norm of ℘ .
Example: In the case of Klein’s quartic, Γ = ∆(℘) C ∆(2, 3, 7) for theprime ℘ = 2− 2 cos 2π
7 of norm q = 7 in the center field k = Q(cos 2π7 ) .
We may symbolize the different dessins of type (2, 3, 7) (or the differentmaximal groups above Γ = ∆(℘) ) by the vertices of the following graph:
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 16 / 26
Why Shimura curves are so special
Principal congruence subgroups
∆(℘) :=
{(a bc d
)∈ ∆ with c ≡ b ≡ 0 mod ℘ , a ≡ d ≡ 1 mod ℘
}of prime level ℘ is not only contained in one such intersection∆0(℘) = ∆ ∩ ρ∆ρ−1 but in q + 1 groups of this type, all conjugatein ∆ , where q is the norm of ℘ .
Example: In the case of Klein’s quartic, Γ = ∆(℘) C ∆(2, 3, 7) for theprime ℘ = 2− 2 cos 2π
7 of norm q = 7 in the center field k = Q(cos 2π7 ) .
We may symbolize the different dessins of type (2, 3, 7) (or the differentmaximal groups above Γ = ∆(℘) ) by the vertices of the following graph:
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 16 / 26
Why Shimura curves are so special
Higher level
principal congruence subgroups like ∆(℘n) are contained in1 + (q + 1) + (q + 1)q + . . .+ (q + 1)qn−1 different copies of ∆ , forq = 7 , n = 2 visualised by the vertices of
and so on: for prime power levels one gets always a finite subtree of aBruhat–Tits tree (Bass–Serre tree? Brandt tree?).
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 17 / 26
Fields of definition and fields of moduli
Fields of moduli and fields of definition
Recall that smooth complex projective algebraic curves C with Belyıfunctions β , i.e. with dessins, can be defined by algebraic equations withcoefficients in some number field K . This is a field of definition for C ,and we may introduce in the same way a common field of definition for Cand β , a field of definition for the dessin.
These fields of definition are not unique, but all contain the field of moduliM(C ) of the curve, defined as the common fixed field of all σ ∈ GalQ/Qwith the property that there is an isomorphism fσ : C → Cσ .Exercise: this moduli field depends only on the isomorphism class of C .
Similarly, we consider moduli fields of dessins M(C , β) requiring from theisomorphisms fσ the additional compatibility condition
βσ ◦ fσ = β .
Apparently, M(C ) ⊂ M(C , β) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 18 / 26
Fields of definition and fields of moduli
Fields of moduli and fields of definition
Recall that smooth complex projective algebraic curves C with Belyıfunctions β , i.e. with dessins, can be defined by algebraic equations withcoefficients in some number field K . This is a field of definition for C ,and we may introduce in the same way a common field of definition for Cand β , a field of definition for the dessin.
These fields of definition are not unique, but all contain the field of moduliM(C ) of the curve, defined as the common fixed field of all σ ∈ GalQ/Qwith the property that there is an isomorphism fσ : C → Cσ .Exercise: this moduli field depends only on the isomorphism class of C .
Similarly, we consider moduli fields of dessins M(C , β) requiring from theisomorphisms fσ the additional compatibility condition
βσ ◦ fσ = β .
Apparently, M(C ) ⊂ M(C , β) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 18 / 26
Fields of definition and fields of moduli
Fields of moduli and fields of definition
Recall that smooth complex projective algebraic curves C with Belyıfunctions β , i.e. with dessins, can be defined by algebraic equations withcoefficients in some number field K . This is a field of definition for C ,and we may introduce in the same way a common field of definition for Cand β , a field of definition for the dessin.
These fields of definition are not unique, but all contain the field of moduliM(C ) of the curve, defined as the common fixed field of all σ ∈ GalQ/Qwith the property that there is an isomorphism fσ : C → Cσ .Exercise: this moduli field depends only on the isomorphism class of C .
Similarly, we consider moduli fields of dessins M(C , β) requiring from theisomorphisms fσ the additional compatibility condition
βσ ◦ fσ = β .
Apparently, M(C ) ⊂ M(C , β) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 18 / 26
Fields of definition and fields of moduli
Weil’s cocycle condition
In general, it is much easier to determine fields of moduli than fields ofdefinition.
Can C (or (C , β) or (C ,AutC ) ) be defined over its field of moduli?
Theorem (A. Weil)
Yes, if and only if for all σ ∈ GalQ/M(C ) there are isomorphismsfσ : C → Cσ such that for all σ , τ
fτσ = f τσ ◦ fτ .
This criterion is extremely useful in particular in rigid situations, i.e. if onlyone isomorphism fσ : C → Cσ exists:
If C has no nontrivial automorphism, it can be defined over M(C ) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 19 / 26
Fields of definition and fields of moduli
Weil’s cocycle condition
In general, it is much easier to determine fields of moduli than fields ofdefinition.
Can C (or (C , β) or (C ,AutC ) ) be defined over its field of moduli?
Theorem (A. Weil)
Yes, if and only if for all σ ∈ GalQ/M(C ) there are isomorphismsfσ : C → Cσ such that for all σ , τ
fτσ = f τσ ◦ fτ .
This criterion is extremely useful in particular in rigid situations, i.e. if onlyone isomorphism fσ : C → Cσ exists:
If C has no nontrivial automorphism, it can be defined over M(C ) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 19 / 26
Fields of definition and fields of moduli
Weil’s cocycle condition
In general, it is much easier to determine fields of moduli than fields ofdefinition.
Can C (or (C , β) or (C ,AutC ) ) be defined over its field of moduli?
Theorem (A. Weil)
Yes, if and only if for all σ ∈ GalQ/M(C ) there are isomorphismsfσ : C → Cσ such that for all σ , τ
fτσ = f τσ ◦ fτ .
This criterion is extremely useful in particular in rigid situations, i.e. if onlyone isomorphism fσ : C → Cσ exists:
If C has no nontrivial automorphism, it can be defined over M(C ) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 19 / 26
Fields of definition and fields of moduli
Rigidify !
Coombes and Harbater invented a method how to apply rigidity also insituations which are a priori non–rigid.
Theorem
Regular dessins can be defined over their moduli fields M(C , β) .
Idea: restrict the choice of the isomorphisms fσ by imposing even moreconditions: fσ(x) = σ(x) ∈ Cσ for some preimage x = β−1(r) ∈ C of arational r 6= 0, 1,∞ . In other words: consider even triplets (C , β, x)instead!
Consequence (Wolfart ’97/’06):
Theorem
Quasiplatonic curves C can be defined over their fields of moduli M(C ) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 20 / 26
Fields of definition and fields of moduli
Rigidify !
Coombes and Harbater invented a method how to apply rigidity also insituations which are a priori non–rigid.
Theorem
Regular dessins can be defined over their moduli fields M(C , β) .
Idea: restrict the choice of the isomorphisms fσ by imposing even moreconditions: fσ(x) = σ(x) ∈ Cσ for some preimage x = β−1(r) ∈ C of arational r 6= 0, 1,∞ . In other words: consider even triplets (C , β, x)instead!
Consequence (Wolfart ’97/’06):
Theorem
Quasiplatonic curves C can be defined over their fields of moduli M(C ) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 20 / 26
Fields of definition and fields of moduli
Some explicit results
In particular, all quasiplatonic curves in genera 1 < g < 6 can bedefined over Q since they are uniquely determined by type andautomorphism groups of their regular dessins.
What happens for the Shimura curves S(℘n) := ∆(℘n)\H discussedabove where ∆ is a (norm one) arithmetic triangle group and ℘ a prime inthe trace field not dividing the discriminant of the quaternion algebra?
M(S(℘)) = Q for ∆(2, 3, 7) if ℘ = p ≡ ±2,±3 mod 7M(S(℘)) = k = Q(cos 2π
7 ) if ℘ | p ≡ ±1 mod 7 (Streit 2000,Dzambic 2007),
M(S(℘)) is the splitting field of ℘ in the trace field k of ∆(Feierabend 2008, Clark/Voight 2011, preprint).
For all σ ∈ GalQ/Q one has S(℘)σ = S(σ(℘)) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 21 / 26
Fields of definition and fields of moduli
Some explicit results
In particular, all quasiplatonic curves in genera 1 < g < 6 can bedefined over Q since they are uniquely determined by type andautomorphism groups of their regular dessins.
What happens for the Shimura curves S(℘n) := ∆(℘n)\H discussedabove where ∆ is a (norm one) arithmetic triangle group and ℘ a prime inthe trace field not dividing the discriminant of the quaternion algebra?
M(S(℘)) = Q for ∆(2, 3, 7) if ℘ = p ≡ ±2,±3 mod 7M(S(℘)) = k = Q(cos 2π
7 ) if ℘ | p ≡ ±1 mod 7 (Streit 2000,Dzambic 2007),
M(S(℘)) is the splitting field of ℘ in the trace field k of ∆(Feierabend 2008, Clark/Voight 2011, preprint).
For all σ ∈ GalQ/Q one has S(℘)σ = S(σ(℘)) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 21 / 26
Fields of definition and fields of moduli
Latest news
Theorem
Under the same hypotheses we have M(S(℘n)) = M(S(℘)) .
(Recall: all curves quasiplatonic, hence moduli fields = fields of definition.)Reason. All Galois conjugates of S(℘n) have the same pattern of uniformdessins coming from ∆ . This pattern (described via the finite subtree ofthe Bruhat–Tits tree) occurs only for curves coming from congruencesubgroups of ∆ for prime power levels Galois conjugate to ℘n . Therefore,the only nontrivial Galois actions are of the type S(℘)σ = S(σ(℘)) .(J. Voight: arguments using moduli spaces are also available.)
What happens with the moduli field of the uniform non–regular dessinson S(℘n) ? Are they also fields of definition? And which ones?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 22 / 26
Fields of definition and fields of moduli
Latest news
Theorem
Under the same hypotheses we have M(S(℘n)) = M(S(℘)) .
(Recall: all curves quasiplatonic, hence moduli fields = fields of definition.)Reason. All Galois conjugates of S(℘n) have the same pattern of uniformdessins coming from ∆ . This pattern (described via the finite subtree ofthe Bruhat–Tits tree) occurs only for curves coming from congruencesubgroups of ∆ for prime power levels Galois conjugate to ℘n . Therefore,the only nontrivial Galois actions are of the type S(℘)σ = S(σ(℘)) .(J. Voight: arguments using moduli spaces are also available.)
What happens with the moduli field of the uniform non–regular dessinson S(℘n) ? Are they also fields of definition? And which ones?
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 22 / 26
Fields of definition: the uniform case
Uniform dessins: fields of moduli
As always, let S(℘n) := ∆(℘n)\H be the Shimura curve uniformised bythe principal congruence subgroup ∆(℘n) of a (maximal) arithmetictriangle group ∆ where ℘ is a prime in the center field of the quaternionalgebra A not dividing the discriminant of A .
Theorem
For all Belyı functions β induced by a copy of ∆ on S(℘n) the moduli fieldof the uniform dessin is
M(S(℘n), β) = M(S(℘n)) = M(S(℘)) .
Idea of proof: We may suppose that S(℘) is defined over M(S(℘)) . Thenall βσ are Belyı functions on S(℘n) of the same type as β and are of theshape β ◦ α for an automorphism α = ασ of S(℘n) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 23 / 26
Fields of definition: the uniform case
Uniform dessins: fields of definition
Theorem
Under the same hypotheses, M(S(℘)) is even a field of definition of(S(℘n), β) .
Idea: The automorphism group G = G (β) of the dessin, i.e. of(S(℘n), β) , is always conjugate to some ∆0(℘m)/∆(℘n) for some integer0 ≤ m ≤ n . For a given m , the possible subgroups G ⊂ AutS(℘n) are in1–to–1 correspondence to the possible β with isomorphic automorphismgroups. So,
Gσ = G (βσ)
= α−1σ Gασ for some ασ ∈ AutS(℘n) which can be made unique using a
variant of the Coombes–Harbater trick.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 24 / 26
Fields of definition: the uniform case
Uniform dessins: fields of definition
Theorem
Under the same hypotheses, M(S(℘)) is even a field of definition of(S(℘n), β) .
Idea: The automorphism group G = G (β) of the dessin, i.e. of(S(℘n), β) , is always conjugate to some ∆0(℘m)/∆(℘n) for some integer0 ≤ m ≤ n . For a given m , the possible subgroups G ⊂ AutS(℘n) are in1–to–1 correspondence to the possible β with isomorphic automorphismgroups. So,
Gσ = G (βσ)
= α−1σ Gασ for some ασ ∈ AutS(℘n) which can be made unique using a
variant of the Coombes–Harbater trick.
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 24 / 26
Fields of definition: the uniform case
Simultaneous field of definition
That the moduli field M(S(℘)) is a field of definition for all (S(℘n), β)does not mean that there is a model for S(℘n) defined over M(S(℘)) inwhich all uniform β are given simultaneously as rational functions withcoefficients in M(S(℘)) . How could such a common field of definitionlook like?
An easy argument using Galois theory for function fields gives
Theorem
All uniform Belyı functions β on S(℘n) can be defined simultaneaouslyover a common field of definition for S(℘n) and AutS(℘n) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 25 / 26
Fields of definition: the uniform case
Simultaneous field of definition
That the moduli field M(S(℘)) is a field of definition for all (S(℘n), β)does not mean that there is a model for S(℘n) defined over M(S(℘)) inwhich all uniform β are given simultaneously as rational functions withcoefficients in M(S(℘)) . How could such a common field of definitionlook like?
An easy argument using Galois theory for function fields gives
Theorem
All uniform Belyı functions β on S(℘n) can be defined simultaneaouslyover a common field of definition for S(℘n) and AutS(℘n) .
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 25 / 26
Fields of definition: the uniform case
The moduli field of the automorphism group
Galois cohomology (Clark/Voight) or another application of theCoombes–Harbater trick shows
Theorem
The pair (S(℘n),AutS(℘n)) can be defined over M(S(℘n),Aut S(℘n)) .
Clark and Voight can show that M(S(℘),AutS(℘)) is an extension ofsmall degree of M(S(℘)) : In the case of Klein’s quartic, this commonfield minimal of definition is Q(
√−7) .
In higher levels, this is no longer true!
Thank you for your attention – and merry Christmas!
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 26 / 26
Fields of definition: the uniform case
The moduli field of the automorphism group
Galois cohomology (Clark/Voight) or another application of theCoombes–Harbater trick shows
Theorem
The pair (S(℘n),AutS(℘n)) can be defined over M(S(℘n),Aut S(℘n)) .
Clark and Voight can show that M(S(℘),AutS(℘)) is an extension ofsmall degree of M(S(℘)) : In the case of Klein’s quartic, this commonfield minimal of definition is Q(
√−7) .
In higher levels, this is no longer true!
Thank you for your attention – and merry Christmas!
J. Wolfart (Frankfurt a.M.) Uniform dessins on Shimura curves KIT, December 2011 26 / 26