On intersection graphs of stable curves, appearing as

On intersection graphs of stable curves, appearing as
boundary points of origami curves
Michael Maier
1
∗
Introduction
Origamis will play a central role in this article. They are a special kind of surfaces, which occur
by sticking a finite number of unit squares together according to special rules. If you provide them
with special complex structures, the result is a family of Riemann surfaces of the same topological
type and therewith points in the corresponding moduli space. All together they form an algebraic
curve called origami curve.
More specifically origami curves are a special kind of Teichm¨
uller curves, that is they are the
images of geodesic discs in the moduli space. If we trace back Lochak’s approach, who invented
the name origami, one can regard them as generalisations of ”dessins d’enfants” (see [Lo]).
If one extends these curves to the boundary of the moduli space, the result is a projective curve.
Then the added points correspond to stable curves. The boundary of the moduli space can be
separated in strata, which are determined by the topological typeis of the stable curves. The
latter can be characterised by an intersection graph: Each irreducible component corresponds to a
vertex, each singularity to an edge. This edge, as ordinary double point, connects the two vertices
corresponding to the two components on whom the point lies or is a loop if it is shared by only
one component. Furthermore the graph has a natural N0 vertex weight, which assigns to a vertex
the geometric genus of the corresponding component.
The aim of this article is to discover, which boundary strata of the moduli space admit intersections
with origami curves. The answer is given by the following theorem.
Theorem 1. An undirected graph with at least one edge is the intersection graph of a stable curve
appearing as a boundary point of an origami curve, iff it is finite, connected and bridge free. Every
N0 -vertex weight assigning the geometric genus to each component can be realized this way.
A general introduction to origamis and origami curves as well as references to other authors working on origamis and Teichm¨
uller curves can be found for example in [Sch1] and [Moe].
This article is based on my diplom thesis, which was written at the Universit¨at Karlsruhe and
advised by Professor Frank Herrlich and Dr. Gabriela Schmith¨
usen.
∗ [email protected]
1
1 INTRODUCTION
2
This work is divided in five sections and organized as follows: In the second section the definitions and basic facts are introduced. A defining attribute of origamis is that they correspond to
finite unbranched coverings p : O∗ → E ∗ , where E ∗ is the punctured torus and the closure O of
O∗ is a closed surface.
The boundary points of the origami curve C(O) are stable curves that arise by contracting the
preimage of a simple closed geodesic (according to the hyperbolic metric) on E ∗ . This will be
explained in the third section and is used for proving the results of this article.
The fourth section shows the easy implication of the proof of Theorem 1, namely that each intersection graph is of the given kind.
The fifth section deals with the other implication. We construct a suitable origami for each appropriate graph. To accomplish this one shows that each of these graphs has an N vertex weight
with special properties. With the help of that weight one constructs the origami as desired.
Special thanks go to Professor Herrlich, because this work would not have been possible without
his mentoring beyond my diplom thesis. He always had an open door and took time to reread
and constructively correct my concept. Further I am indebted to PD Dr. Stefan K¨
uhnlein for
his ideas on the graph theoretical part of the fifth section. By using Menger’s Theorem the proof
became much more elegant. Last but not least I want to thank Dr. Gabriela Schmith¨
usen for
her corrections and annotations both on the subject and form. These helpful ideas made the text
much more readable and far better understandable. Without this help the publication would not
have been possible.
3
2 DEFINITIONS
2
Definitions
This work discusses boundary strata, which appear as boundary points of origami curves. They can
be described as intersection graphs. Therefore we recall some basic facts about graphs, origamis
and stable curves.
2.1
Graphs
Further information can be found in standard textbooks like [ClHo] or [Ai]. We distinguish between
undirected graphs, as they occur in the statement of Theorem 1, and digraphs, which will be used
in the proof.
Definition 1
1. By a directed graph or digraph we will understand a tuple G = (V, E, Φ) consisting of a set
of vertices V, a set of edges E with V ∩ E = ∅ and a map Φ : E −→ V × V.
2. A trail of length p ∈ N0 is a tuple t = (v0 , e1 , v1 , ..., ep , vp ) ∈ V × (E × V)p with
Φ(ei ) = (vi−1 , vi ) and vi 6= vj for i 6= j, except possibly v0 = vp (closed trail ).
3. Two trails t1 = (v0 , e1 , v1 , ..., ep , vp ), t2 = (v0′ , e′1 , v1′ , ..., e′p′ , vp′ ′ ) are said to be edge-disjoint,
iff ei 6= e′j for i = 1, . . . , p, j = 1, . . . , p′ .
4. Let M be a set. An M weight of the vertices (respectively the edges) is a map Ψ : V −→ M
(respectively Ψ : E −→ M ).
5. By an undirected graph we will understand as above a tuple G = (V, E, Φ) consisting of a set
of vertices V, a set of edges E with V ∩ E = ∅ and a map
Φ : E −→ (V×V)/∼. Here ∼ is defined by (a, b)∼(c, d) :⇔ (a = c and b = d) or (a = d and b = c).
The definitions 1.2-1.4 apply analogously for undirected graphs.
6. A bridge is an edge e with Φ(e)=(v, v ′ ) for which each trail from v to v ′ contains e.
A graph is called bridge free, if none of its edges is a bridge.
7. The following map ν is called the valence map of an undirected graph
ν:V
v
−→ N0
7→ |{e ∈ E | Φ(e) = [(v, v ′ )]∼ , v ′ ∈ V}| + |{e ∈ E | Φ(e) = [(v, v)]∼ }|
8. The class of pairs (G, φ) consisting of an undirected, finite, bridge free, connected graph G
with at least one edge together with an N0 edge weight φ on G will be denoted by G.
4
2 DEFINITIONS
2.2
Origamis
Definition and remark 2.
1. An origami is a finite set of disjoint unit squares Qi := [0, 1]2 in R2 (i = 1, . . . , m) together
with a gluing rule, identifying each right side with exactly one left side (by translation) and
each upper one with a lower one, such that a compact connected surface O of genus g is
obtained. We mark the n points of O which are covered by the vertices of the squares. O∗ is
defined by O∗ := O \ {marked points}.
2. In order to draw origamis in a simple way we will specify the gluing rule by either joining
the edges directly or such that the edge is glued to the next free opposite edge. If that is not
possible we will mark the two edges by a common label.
Example:
•
•
⋆
⋆
⋆
•
•
•
⋆
⋆
2
1
2
1
Here the origami is a surface of genus 2 with 2
marked points (•, ⋆).
In this case by gluing the
surface according to the
labels we obtain a surface
of again genus 2 with 1
marked point.
3. One may equivalently define origamis as unramified finite coverings O∗ −→E ∗ of the oncepunctured torus E ∗ = (R2 \ Z2 )/Z2 .
We use this in the following item to get complex structures on O, when we are given complex
structures on E.
4. For each τ ∈ H we obtain a complex structure on E by mapping the unit square onto the
parallelogram Pτ with the vertices 0, 1, τ + 1, τ ∈ C. This gives us a Riemann surface in
the moduli space M1,1 (marked point (0, 0) covering 0) biholomorphic to the elliptic curve
C/(Z + τ Z). Therefore we obtain the map ϕE : H −→ M1,1 .
More generally we may take an origami O of genus g and n marked points (covering the
vertices of the squares). We can lift the complex structure of ϕE (τ )∗ on E ∗ via the
unramified covering O∗ −→ E ∗ and obtain a complex structure on O∗ . This makes O∗ a
Riemann surface which we call ϕO (τ ).
We obtain the map ϕO : H −→ Mg,n which assigns to τ ∈ H an n-punctured Riemann
surface of genus g.
5
2 DEFINITIONS
5. Let π : Tg,n −→ Mg,n be the natural projection from the Teichm¨
uller space Tg,n to the moduli
⊂
- Tg,n
space Mg,n . Then ϕO descends from a holomorphic isometric inclusion ϕf
O : H
(according to the hyperbolic and the Teichm¨
uller metric), such that π ◦ ϕf
=
ϕ
O
O . The
image of ϕf
then
is
a
Teichm¨
u
ller
disc,
denoted
by
∆(O).
The
canonical
projection
maps
O
this Teichm¨
uller disc to π(∆(O)) = ϕO (H) which turns out to be an algebraic curve called
origami curve C(O) (see e.g. [Sch2]).
⊂
⊂
--
∆(O)
H
⊂
ϕfO
ϕO
π |∆(O)
--
?
?
C(O)
2.3
⊆Tg,n
-
⊂
⊆-
π
?
?
Mg,n
Stable curves
In this section we will introduce stable complex algebraic curves. Further information can be
found in [Be1], [Be2], [Be3], [DeMu], [Mu] and [HaMo].
Definition 3.
1. An n-punctured stable curve of genus g is a projective connected curve X of arithmetic genus
g over C together with a finite set {p1 , . . . , pn } ⊂ X, fulfilling the following properties:
– The finite set D ⊂ X of singularities of X is disjoint from {p1 , . . . , pn }.
– Every singularity c ∈ D is an ordinary double point.
– For each irreducible component Xi of X with Xi ∼
= P1C the total number of singularities
counted in multiplicities (that is singularities in the inner of a component are counted
twice) and the number of punctures is greater than 2.
2. The intersection graph Γ(X) of a stable curve X with l ≥ 1 irreducible components X1 , . . . , Xl
and the set D of singularities on X is the undirected graph with
V = {X1 , . . . , Xl }, E = D and
Φ : E −→ V × V/ ∼
(Xi , Xj )∼ : ∃ i, j ∈ {1, . . . , l} i 6= j : c ∈ Xi ∩ Xj
c 7→
(Xi , Xi )∼ : ∃! i ∈ {1, . . . , l} : c ∈ Xi
Φ is well defined, as each c ∈ D is an ordinary double point and hence lies on at most 2
irreducible components.
Remark 4. In addition we obtain a natural vertex weight by assigning to each vertex the geometric
genus of the corresponding irreducible component.
These stable curves of genus g with n marked points form the boundary of the moduli space Mg,n
and define the Deligne-Mumford compactification M g,n of the moduli space.
6
3 BOUNDARY POINTS OF ORIGAMI CURVES
3
Boundary points of origami curves
In this section we will describe the degeneration of the surface which results by moving along the
origami curve towards the boundary of the moduli space.
More precisely we show:
Lemma 1. Let O be an origami and p : O∗ → E ∗ the associated, finite, unramified covering.
Then each boundary point of the origami curve C(O) is a stable curve, which arises by contracting
the full preimage of a not null-homotopic, simple closed path on E.
For further information especially on T g,n see [HeSch]. A more general statement for surfaces with
translation structures can be found in [Sch2].
For our purpose we use the following description of the Teichm¨
uller space Tg,n : We are given a
reference surface R of genus g with n marked points p1 , . . . , pn . The punctured surface R∗ arises
from the reference surface by removing the marked points.


X Riemann surface of genus g, with n marked points, ,

f : R −→ X diffeomorphism, mapping the
∼
Tg,n = (X, f ) 

marked points of R onto the marked points of X
[X, f ] ∼ [X ′ , f ′ ] :⇔ f ′ ◦ f −1 homotopic to a biholomorphic map.
As above X ∗ is the punctured surface associated to X. More about Teichm¨
uller spaces can be
found in [ImTa] and [Ab2].
From now on we will think of a not null-homotopic, simple closed path γ on X as a simple closed
path on X ∗ , which is not null-homotopic on X. By deforming γ in its homotopy class if necessary
such that it does not contain any puncture.
If we take any not null-homotopic, simple closed path γ on R, then for each (X, f ) ∈ Tg,n we
get a not null-homotopic, simple closed path f (γ) on X. If g ≥ 1, n ≥ 1 the punctured Riemann
surface X ∗ has the universal covering H and so there is a hyperbolic metric on it. Therefore in
the homotopy class of f (γ) there is a unique geodesic. That way for each such γ we obtain a
continuous map lγ : Tg,n −→ R>0 with
lγ (X, f ) = ”hyperbolic length of the geodesic in the homotopy class of f (γ)”.
From now on we will take an origami O of genus g and n marked points as reference surface. Using
the notation of 2.2.5 on page 5 we get the following diagram:
lγ ∆(O) ⊆ Tg,n
R>0
H
⊂
⊂
ϕfO
ϕO
-
π
?
? - ?
?
C(O) ⊆ Mg,n
Now we are interested in the boundary points of C(O) in M g,n , that is the stable curves that occur
in the closure of the origami curve in the compactified moduli space. Hence we have to take the
appropriate boundaries of all spaces that occur in the diagram and extend the maps continously.
For the upperhalf plane we take Q ∪ {∞} as boundary together with the horocycle topology (see
[Bea]). For Tg,n we take as closure the augmented Teichm¨
uller space (as introduced by Abikoff,
see [Ab1]) and for the moduli space Mg,n we take the Deligne-Mumford compactification.
The map π : Tg,n −→ Mg,n has a natural extension π : T g,n −→ M g,n .
7
3 BOUNDARY POINTS OF ORIGAMI CURVES
∆(O) ⊆
- T g,n
H ∪ Q ∪ {∞}
ϕfO
ϕO
-
lγ R≥0 ∪ {∞}
π
?
?
? ?
C(O) ⊆ M g,n
For each r ∈ Q ∪ {∞} we may choose a neighbourhood Ur ⊂ H ∪ Q ∪ {∞} of r such that
Ur \ {r} ⊂ H and π|ϕf
O (Ur ) is a homeomorphism. We define
lγr := lγ ◦ π −1 |ϕfO (Ur ) : ϕO (Ur ) −→ R≥0 ∪ {∞}
Lemma 2. Let O be an origami of genus g with n vertices, r ∈ Q ∪ {∞},
p : O∗ → E ∗ the corresponding, finite and unramified covering and ϕO : H → Mg,n the map
belonging to the origami curve C(O) := ϕO (H) (Mg,n , Tg,n , lγr as above). Then we have:
a) If O = E up to homotopy there is a unique, simple closed, not null-homotopic path γ(r) on
r
E such that lγ(r)
(ϕE (r)) = 0. For any closed path γ not homotopic to a power of γ(r) we
r
obtain lγ (ϕE (r)) 6= 0.
b) In general for each closed path γ on O it holds that
lγr (ϕO (r)) = 0 ⇔ p(γ) is freely homotopic to a power of γ(r).
c) ϕO (r) is a stable curve topologically obtained by contracting a systemS
{γ1 , . . . , γk } of simple
closed, not null-homotopic, pairwise not homotopic pathes such that γi = p−1 (γ(r)), that
is by contracting the full preimage of γ(r).
Proof:
a) For O = E we have g = n = 1 and therefore T1,1 = H, M1,1 = H/SL2 (Z). Without loss
of generality we can assume r = ∞, as any element of Q can be mapped to ∞ by an element of SL2 (Z). On the other hand SL2 (Z) acts on π1 (E ∗ ) up to conjugation such that
A(r)
lγr = lA(γ) ∀A ∈ SL2 (Z).
ϕE (τ ) is covered by D = {z ∈ C | |z| < 1} for each τ ∈ H. We fix the sequence τm := m · i
converging to ∞. For symmetry reasons the covering can be chosen such that the fundamental domain is bounded by the geodesics between zm , −z m , −zm , z m ∈ ∂D (see [Sch2]):
−z m
zm
γ ′′
γ′
zm
−zm
As the covering of elliptic curves is well known, we have the two not null-homotopic closed
geodesics γ ′ , γ ′′ on E whose lift is connecting the opposite sides of the boundary. γ ′ belongs
to the real axis and γ ′′ to the imaginary axis by our chart map.
8
3 BOUNDARY POINTS OF ORIGAMI CURVES
For m → ∞ it follows that zm → i and therefore the fundamental domain degenerates as
indicated in the following picture for m1 < m2 < m3 :
−z m3
zm3
−z m2
zm2
−z m1
zm1
−zm1
z m1
z m2
−zm2
−zm3
z m3
From this we see directly:
m→∞
m→∞
lγ∞′ (ϕE (τm )) −→ lγ∞′ (ϕE (∞)) = 0 and lγ∞′′ (ϕE (τm )) −→ lγ∞′′ (ϕE (∞)) = ∞
Now we take any closed path γ not homotopic to a power of
γ(∞) = γ ′ . As l∞ depends only on the geodesic in the homotopy
class, we can assume that γ is a geodesic. Now we take a closer
look at the once-punctured cylinder which is obtained by cutting
E along γ ′ . Equivalently it is possible to regard the punctured
cylinder as a once-punctured square whose left side is glued to
the right one.
γ′
γ ′′
γ′
γ′
γ ′′
γ
If γ intersects γ ′ it follows that lγ (τm ) ≥ lγ ′′ (τm ) as γ ′′ is
the shortest connection between the two lifts of γ ′ . Therefore
m→∞
lγ∞ (τm ) −→ ∞ and in particular lγ∞ (∞) 6= 0.
γ′
If γ does not intersect γ ′ , it is completely contained in the oncepunctured cylinder. As γ is not null-homotopic and not homotopic
to a power of γ ′ , it is not in the subgroup generated by γ ′ and
γ ′′ . So γ orbits the puncture. But as it is not null-homotopic
on E it has to orbit the cylinder as well. So it intersects itself
and therefore is not simple. According
√ to [Ya] for a geodesic that
intersects √
itself we have 4 · ln(1 + 2) ≤ l(γ). Therefore we find
τ →∞
4 · ln(1 + 2) ≤ lγ∞ (ϕE (τ )) −→ lγ∞ (ϕE (∞)) 6= 0.
γ′
γ
γ′
9
3 BOUNDARY POINTS OF ORIGAMI CURVES
b) Recall that ϕE (τ )∗ is a Riemann surface covered by the Riemann surface ϕO (τ )∗ . Let
H −→ ϕE (τ )∗ be the universal covering. By the theorem of the universal covering we obtain
the following commutative diagram:
H
∗
ϕO (τ )
p?
?
ϕE (τ )∗
Let γ be a closed path on O. So p(γ) is λ times a closed path on E and we call the
corresponding simple path γE . Therefore we have lγ (ϕO (τ )) = lp(γ) (ϕE (τ )) = λ · lγE (ϕE (τ ))
r
and hence lγr (ϕO (r)) = lp(γ)
(ϕE (r)) = λ · lγrE (ϕE (r)), which together with a) leads directly
to the assertion.
c) From b) we know, that degeneration arises by contracting the full preimage p−1 (γ(r)) of γ(r).
The connected components of the preimage do not intersect and they are not homotopic to
each other on O∗ . So we can conclude, that the obtained singularities are ordinary double
points. Each irreducible component is bordered by at least two singularities, as none of the
preimages is null-homotopic on O, and by at least one puncture, as it covers E. So ϕO (r)
is, as a point in M g,n , a stable curve of arithmetic genus g with n punctures.
3.1
Examples
1. For each r ∈ Q ∪ {∞} the origami E induces a stable curve that has the intersection graph
G0 := Γ(ϕE (r)) with one vertex, the irreducible component of genus 0, and with a loop.
τ →r
0
G0
2. For the following origami O one has more than one intersection graph.
For example G1 := Γ(ϕE (∞)) 6= G2 := Γ(ϕE (0)).
2
1
1
2
2
1
1
2
τ →∞
1
G1
τ →0
0
0
G2
10
4 OCCURING INTERSECTION GRAPHS
4
Occuring intersection graphs
In the following we will take a closer look at the type of the intersection graph of the boundary
points of an origami curve.
Lemma 3. Let O be an origami and r ∈ Q ∪ {∞}. Then Γ(ϕO (r)) is a finite, connected, bridge
free, undirected graph with at least one edge.
Proof: By definition Γ(ϕO (r)) is an undirected graph and has at least one edge because O covers
E. Therefore ϕO (r) has at least one geodesic of length zero. As an origami is connected the
degeneration leads to a connected stable curve and hence the intersection graph is also connected.
To complete the proof, it remains to show that Γ(ϕO (r)) is bridge free. This was first observed
by M. M¨oller and G. Schmith¨
usen (unpublished).
Assume there is an origami O and r ∈ Q ∪ {∞} for which Γ(ϕO (r)) has a bridge. Then there
is a connected component γˆ of p−1 (γ(r)) separating O. That is we have two open connected
components X1 , X2 such that X1 ∪· X2 = O \ γˆ .
For any m ∈ N we get an origami O′ by dividing each square of O in m2 small squares. Then the
lift of γˆ separates O′ . We choose m such that the intersection of the lift of γˆ and any single square
is connected on O′ . So without loss of generality we can assume, that this is the case on O.
X1
X2
As the degeneration of E only depends on the homotopy class of γ(r) and as γ(r) is simple closed,
we can think of it as the straight line with slope r on E and the same for γˆ . In the case r 6= ∞
let X1 be the part above γˆ , X2 the part below γˆ . We see that each square passed by γˆ has no
entire bottom side contained in X1 . But at least for one square its upper side is entirely in X1 .
Obviously for each square that totally lies in X1 the lower and upper side are entirely contained in
this part. Hence it is not possible to glue the upper and lower sides of the squares that lie entirely
in X1 , since there are more upper sides than lower sides. Therefore such an O can not exist.
In the case r = ∞ it is the same, but for left and right instead of lower and upper sides, if we take
X1 right of γˆ .
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
5
11
Construction of an origami to a given intersection graph
The converse implication of the theorem is that for every pair (G, φ) ∈ G, where G is as in Def.
1.8, G is a graph with properties as in the definition and φ is any N0 vertex weight, there exists an
origami O and an element r ∈ Q ∪ {∞} such that Γ(ϕO (r)) is isomorphic to G and the geometric
genus of each component is the value of φ at the related vertex.
The proof will be constructive and consists of the following steps:
5.1 Introduction of three ”elementary” generating graph transformations.
5.2 According to 5.1 one can find a special N edge weight.
5.3 Development of a prototype for the components of an origami.
5.4 Modification of the construction.
5.1
Graph transformations
As a first step we try to get a better understanding for the finite, bridge free and connected graphs
with at least one edge. We will see that each of these graphs can be created out of the graph G0 ,
which consists of one vertex and one loop, by the following three graph transformations. One can
easily check that every graph finitely generated by the three transformations out of G0 is finite,
bridge free and connected.
α) Adding a loop:
β) Adding a vertex on an edge (possibly a loop):
γ) Adding an edge between two vertices:
The idea is to take a finite graph G as above and to simplify it step-by-step by removing vertices
and edges until we get G0 . The operations α) and β) can be easily inverted, as long as there
remains another vertex respectively another edge. So we can reduce G to a loop free graph, where
every vertex has at least valence 3 (valence 1 would mean that G is not bridge free).
Now we want to invert γ) in order to reduce the graph further. The problem is to verify, that
we can find an edge such that the resulting graph is still bridge free. Our consideration will be
completed by the following lemma.
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
12
Lemma 4. Let G be a loop free, finite, connected, bridge free and undirected graph where
ν(v) ≥ 3 ∀v ∈ V. Then there exist adjacent vertices a, b ∈ V, which are connected by two
additional edge-disjoint trails.
Proof: If G has no cut of capacity 2, then the number of edges separating any two distinct points
is greater than 2. (Of course there is no cut of capacity 0 as the graph is connected and none
of capacity 1 as it is bridge free.) Then Menger’s theorem ([Bo], Theorem 5. on page 52) tells
us that for each two vertices there are at least 3 edge-disjoint trails connecting both. Especially
every two adjacent vertices are connected by two additional edge-disjoint trails.
Otherwise there are finitely many cuts of capacity 2 and we can take one (V′ , V \ V′ ) with the
property, that there is no cut (V′′ , V \ V′′ ) of capacity 2 such that V′′ ⊂ V′ . Let G′ be the full
subgraph defined by V′ . Then G′ is connected and it is bridge free, since V′ was chosen minimal.
Let v1 , v2 ∈ V′ be the vertices adjacent to V \ V′ in G.
Assume first that v1 = v2 . Then ν(v1 ) ≥ 3 in G′ , as G is loop free and else there would be the
properly ”smaller” cut ( V′ \ {v1 } , V \ V′ ∪ {v1 } ) of capacity 2 (in addition this proves, that
|V′ | > 1). For the same reason G′ has no cut of capacity 2 as this cut would be also a cut of capacity 2 in G. Then as above every two vertices in V′ are connected by at least three edge-disjoint
trails in G′ and therefore in G.
In the other case v1 6= v2 , there can only be cuts of capacity 2 in G′ separating v1 from v2 , as
there is no properly ”smaller” cut of capacity 2. These cuts disappear if we add an edge between
v1 and v2 . Therefore the obtained graph has only cuts of capacity 3 or more. Again by Menger’s
theorem each pair of vertices is connected by three edge-disjoint trails. As there is a trail in G
connecting v1 and v2 with vertices in V \ V′ , every two points of V′ are connected in G by three
edge-disjoint trails.
13
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
e and the associated N edge weight
G
5.2
As seen in the last section, one can construct finite, connected, bridge free and undirected graphs
with at least one edge out of the graph G0 by using the graph transformations α, β and γ. Now we
e Further more we create a flow (without
will use this to orient our graph and obtain a digraph G.
source and sink) which is a special kind of N edge weight ψ satisfying (1).
Lemma 5. For every finite, connected, bridge free and undirected graph G there exists a digraph
e and an N edge weight ψ : E
e = E −→ N, such that G can be obtained from G
e by disregarding the
G
directions of the edges and such that the following holds:
X
X
e=V
ψ(e) = 0 ∀v ∈ V
(1)
ψ(e) −
|
e∈E
e
pr2 (Φ(e))
=v
{z
incoming edges
}
|
e∈E
e
pr1 (Φ(e))
=v
{z
outgoing edges
}
Proof:
e is uniquely determined and ψ : E
e = E = {e} −→ N, e 7→ 1 fulfils
For G0 this is clearly true, as G
(1), as ψ(e) − ψ(e) = 0
According to the last section it remains to show that one can get a suitable digraph and an N
edge weight if one of the transformations α), β) and γ) is applied. This can be done as follows:
α) Adding a loop:
β) Adding a vertex on an edge (possibly a loop):
γ) Adding an edge between two vertices:
a3
a2
2a3
a4
2a2
2a3−1
2a4
2a4+1
2a2+1
a1
2a1
2a1+1
b
2b
2b
1
In this case in general we have to take an intermediate step in which we double the whole N
edge weight. That way we obtain another suitable flow (this is true more generally - compare
the following remark). Then we choose a trail between the two vertices we want to connect
and raise respectively lower (depending on the direction) the weight by 1 along it.
The intermediate step was necessary to get in general another N edge weight, more precisely
that no edge weight becomes 0. In explicit constructions one should check whether it is
really necessary.
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
e with property (1) and q =
Remark 5. If ψ is an N edge weight of G
∀e ∈ E, then
qψ : E −→ N,
a
b
14
∈ Q>0 such that b | ψ(e)
(qψ)(e) := qψ(e)
e with property (1).
is a well defined N edge weight of G
This will be used in section 5.4 for q ∈ N ⊂ Q>0 . The general statement is helpful for explicit
construction in order to lower the edge weight and therefore make the resulting origami smaller.
15
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
5.3
r-components
In this section we generate an origami for a given weighted graph (G, φ) in G with the aid of
5.1-5.2, such that its origami curve has a boundary point with that graph as intersection graph.
The idea is to construct each vertex separately and to use the N edge weight such that the parts
fit together.
Definition 6. An r-component, for r ∈ Q ∪ {∞}, of an origami O is the closure of a connected
component of O \ p−1 (γ(r)), where p and γ(r) are defined as in Lemma 2.
Remark 7. On ϕO (r) the images of the r-components correspond exactly to the closures Xi of
the irreducible components (see Lemma 2 c) ). The r-components form a closed covering of O for
each r ∈ Q ∪ {∞}.
As we will see, one can obtain all graphs in G by considering only limits towards ∞. That is
they can be obtained as intersection graphs of the stable curve generated by contracting the full
preimage of the horizontal simple closed path γ(∞) on E.
Consequently it is sufficient to illustrate the origami in the following way: We order the squares,
starting with any square and then putting the right adjacent square directly right of it. We
continue like this until we arrive at the first square again. Then we repeat the same procedure,
starting from a new square. That way the only missing information is how to glue the upper and
lower sides of the squares. This can be described by a permutation π ∈ Sn (where n is the number
of squares).
For example:
4
5
3
1
2
1
2
π(1)
π(2)
2
1
2
3
3
1
3
3
4
4
π(3)
4
4
π(4)
5
5
π(5)
π=
1
4
2
5
3
1
4
6
5
2
6
3
∈ S6
2
6
6
1
6
π(6)
The full preimage of γ(∞) decomposes into three connected components γ1 , γ2 , γ3 and there are
two ∞-components (see picture). As in general, each component contains as many upper as lower
halves of squares.
γ1
@
@
2
4
3
γ2
1
3
4
2
γ3
1
∞-component 1
∞-component 2
16
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
Now we look at one vertex v ∈ V of a given graph G and for the moment we disregard its N0
vertex weight, that is its genus. Then we have l ∈ N0 loops and m ∈ N0 incoming and outgoing
edges ei which are not loops. We assign an ai ∈ Z \ {0} to each of the ei using an N edge weight ψ
with property (1), such that ai = ψ(ei ) if ei is directed towards v and ai = −ψ(ei ) else. So we get
m
P
ai = 0. Using this we can define the associated ∞-component X ′ (l, a1 , . . . , am ) in most cases
i=1
as it is shown below (the remaining cases will be treated in chapter 5.4). In this illustration we
assume, that a1 , ..., ai > 0 and ai+1 , ..., am < 0.
X ′ (l, a1 , . . . , am ):
v and adjacent edges:
a2
a1
B
B
...
B
B
B?
N ..
rv
.
6
B
B
B
... B
BN
l
ai
ai+1
|
l
l
?
am
{z
...
a1
...
..
.
}|
l
{z
...
a2
...
}
...
6 l−ai+1
z
}|
{
...
z
|
...
{z }
?
..
.
6
ai
−am
}|
...
{






l





The upper and lower half squares fit to the half squares of the adjacent components because of
the N edge weight. The squares are glued together as indicated above.
l
?






In the case m = 0, that is if there is only one vertex, we construct
.
.
l
6
l
′
.
?
X (l) as indicated in the picture:





6 l
Remark 8. As mentioned above the definition of X ′ (l, a1 , . . . , am ) is useful for the construction
of ∞-components, but not sufficient. Apart from the disregarded genus, it is in general false that
one obtains a connected part, see the counter example below. In the case l = 0 it is possible that
the component splits apart. In some cases this problem can be solved by rearranging the edge, but
even this is not possible in every case. And it is even hard to say when this is possible. This will
be our aim in the next section.
3
A
−3
U A
r
A
4
A
U
−4
X ′ (0, 3, 4, −3, −4) :
3
A
AU
4
r
r
A
AU
−4
−3
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
5.4
17
Genus and unit
To transform the definition of X ′ (l, a1 , . . . , am ) in order to assure that it is connected, the first
step is to glue crosswise like this:
←
→→
←
This might not be a solution, if there exists an ai with |ai | = 1 that is an incoming or outgoing
edge with weight 1, like in the following illustrations:
←
→→
←
←
→→
←
←
→→
←
or
In order to include the genus in the construction and such that the problem does not arise we recall
remark 5. It will be useful to raise the N edge weight by multiplying it with a natural number,
called the unit λ, in order to broaden the parts of the origami.
...
...
|{z}
λ
...
←
→→
←
←
→→
←
←
→→
←
This gives us a construction of (connected) ∞-components and we will use a similar approach to
control the genus of the component. As shown in lemma 6, it is possible to raise the genus to
g ∈ N by crossed gluing g times inside the component as below. In order to provide enough space
inside, the unit must be at most 2g +1. As a raise of the unit strongly increases the number of
squares of the origami, one is interested in the smallest unit in which this construction is possible
- the minimal unit. The following remark helps to get an estimate by an upper bound.
...
Remark 9. Let (G, φ) ∈ G and (V, E) = G then it follows for the minimal unit λ that:
λ ≤ 2 · max φ(v) + 2
v∈V
18
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
So in particular, it is ensured that there is always a suitable unit. Therefore we can go on with
the construction for the components:
v and adjacent edges:
X(φ(v), l, a1 , . . . , am ):
if l = 0 if necessary (does not count towards φ(v))
B
...
B
B?
N ..
r
l
v φ(v)
.
6
B
B
B
... B
BN
am
ai+1
ai
...
{z
←
→→
←
B
a1
}|
...
..
l
.
?
6
...
|
{z
}
−ai+1
φ(v) in quantity
a2
}|
...
{
...
Defined for l ∈ N0 , m ∈ N, ai ∈ Z\{0} and
m
P
z
ai
}| {
...
...
|
...
{z
−am
?
6
..
.
←
→→
←
B
z
←
→→
←
a2
a1






l





}
ai = 0.
i=1
Lemma 6. Let (G, φ) ∈ G and Xv := X(φ(v), l, a1 , . . . , am ) as it is defined above. Then it follows:
a) The Xv together form an origami O with ϕO (∞) = G.
b) Each Xv has geometric genus φ(v).
Proof:
e and an N edge weight, such that condition
a) Like in Section 5.1-5.2 we construct a digraph G
(1) is fulfilled. Then with the construction as above we get the ∞-components Xv . For
each edge (v, v ′ ) with weight a the component Xv contains a lower half squares, and Xv′
contains a upper half squares. Together they form whole squares, and that way an origami
is obtained.
As we glued along the preimage of γ(∞), the degeneration produces edges in the intersection
graph.
b) We will use Euler’s formula to calculate the genus g using the natural triangulation on
ϕO (∞). Let V be the number of vertices, E the number of edges and F the number of faces,
then it follows:
2g − 2 = −V + E − F
(2)
19
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
if l = 0 if necessary (does not count towards φ(v))
...
...
...
..
.
..
.
←
→→
←
l
?
6
φ(v) in quantity
...
←
→→
←
←
→→
←
...
...
?
6
...






l





First we regard the case φ(v) = 0. That means there are no internal cross gluing, and l = 0:
F =
–
m
X
i=1
– For a triangulation:
E=
|ai |
3
·F
2
– The difficult part is to calculate the number of vertices. We will separate this into two
cases:
i) Xv′ connected: There are m vertices that descend from contracted geodesics. To
calculate the rest of the vertices, we start with a set of 2F points, as each half
square had two vertices, and take a closer look at the equivalence relation induced
by the gluing. The identification of left and right sides forms pairs of vertices, so
we have F points. For the gluing of the upper and lower sides, most points form
pairs again. But there are two special points, the point in which the upper and the
lower parts of half squares are glued. These two points are glued to each other and
together with m − 2 pairs of other points (oneP
pair for each edge beside the first
m
two) they form the point p. So we have V = 12 i=1 |ai | + 2.
p b
×
×
...
...
p
b
b
p
×
...
b
p
...
...
×
bp
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
20
ii) Xv′ not connected: Let r ∈ N be the number of connected components C1 , ..., Cr we
would obtain without cross gluing. Using part i) we can conclude that the number
of vertices would be


r
m
X
X
1X
1
|ai | + 2 =
|ai | + 2r
2
2 i=1
j=1
ai in Cj
Each cross gluing reduces the number of vertices by 2, and we need r − 1 of them.
@
@• @⋆
l
•
⋆
△
l
@ @
@• @⋆•
⋄
△ ⋄
@ @
@ @
It follows that
– The result for the genus
1
1
g = (−V + E − F ) + 1 =
2
2
•
⋆
←
→→
←
@
⋆• ⋆
@ @
@ @
m
1X
|ai | + 2
V =
2 i=1
!
m
m
m
X
1X
3X
−
|ai | + 1 = 0
|ai | − 2 +
|ai | −
2 i=1
2 i=1
i=1
For l ≥ 1 Xv′ is connected. But we have to count the number of vertices carefully because
we obtain two for each geodesic contracted inside a component.
This is because they depart
P
atP
the closure of the component. For
each
loop
we
get
|a
|
+
2 additional faces, that is
i
P
1
3
|a
|
+
3
additional
edges,
and
|a
|
+
1
additional
vertices.
As above we get g = 0.
i
i
2
2
Let φ(v) ∈ N0 : Now we will take a look at what happens at the internal crosswise gluing.
l
A
• • A•
←
→→
←
A
• ⋆ A△
l
l
l
l
•
⋆
△
A
A
•
•
•
A
A
l
As above we get two vertices less for each cross gluing which raises the genus by 1 as desired.
The geometric genus is φ(v). This proves Lemma 6.
This completes the proof of Theorem 1 and gives us a possibility for constructing origamis to a
given element of G.
In order to clarify the construction we give some examples.
21
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
Construction examples
1. (G3 , φ3 ) ∈ G
• 0
0 •
• 0
• 0
X(0, 0, 4, −2, −2) :
?
r 0
A
U
A
−2
−2
@
@@
@@
@@
@@
@@
@@
@@
2
3
A
0
U r
A
@
@@
@@
@
2
A
U A
r 0
?
−3
1•
•
- 1
• 1
γ
4
•
•
2•
•
- 1? 3
2
•
X(0, 0, 2, 3, −5) :
@
@
@@
@@
@
············
·············
············
·············
············
2
···················
····················
···················
····················
···················
X(0, 0, 5, −4, −1) :
?
r 0
A
U
A
−1
−4
1
•
•
γ
@@
@@
@@
?
−5
5
•
1
•
4
•
-
β
-
•
•
5
•
6
1
1
?
•
6
1
β
β −1
•
•
2
1
•
1
•
•
β −1
•
-
1
-•
•
•
•
β
•
β −1
2
•
•
•
•
γ −1
1
•
•
•
γ −1
1
•
1
5.5
X(0, 0, 1, 2, −3) :
·····
············
······
············
·····
············
······
····· ············
············
···················
····················
···················
····················
···················
1
@
@@
@@
@
@@
@@
@@
@
@@
@@
@@
@@
@@
@
1
······
·······
······
·······
······
2
22
5 CONSTRUCTION OF AN ORIGAMI TO A GIVEN INTERSECTION GRAPH
•
0
2. (G4 , φ4 ) ∈ G
•
1
•
-
?
r 0
?
−1
1
1
•
•
β
1
• - •
1
•
•
α
X ′ (1, 1, −1) :
1
A
U A
r 0
A
U
A
−1
−1
1
•
2
β −1
α−1
•
•
0
•
1
1
- • - •
1
?
6
β
•
•
1
1
• - • - •
1
1
•
α
1
1
1
- • - • - •
1
1
X(0, 1, 1, −1) :
λ=5
X ′ (0, 1, 1, −1, −1) : departs!
λ=5
X ′ (0, 1, −1) :
?
r 2
λ=5
?
−1
1
2
3
4
5
································
·································
································
·································
································
HH
Y
*
H
j
H
································
·································
································
·································
································
2
1
4
3
5
•
β −1
α−1
?
6
X(0, 0, 1, 1, −1, −1) :
×
I
R
X(2, 0, 1, −1) :
································
·································
································
·································
································
×
×
R
I
I
R
································
·································
································
·································
································
REFERENCES
23
References
[Ab1] Abikoff, William: Degenerating families of Riemann surfaces.
Ann. of Math. 105, 29-44, 1977.
[Ab2] Abikoff, William: The real analytic theory of Teichm¨
uller space.
Lecture Notes in Mathematics, 820, Springer-Verlag, New York, 1980.
[Ai] Aigner, Martin: Graphentheorie.
Teubner Studienbuch, Stuttgart, 1984.
[Bea] Beardon, Alan F.: The geometry of discrete groups.
Graduate Texts in Mathematics, 91, Springer-Verlag, New York, 1983.
[Be1] Bers, Lipman: Spaces of degenerating Riemann surfaces.
Discontin. Groups Riemann Surf., Proc. 1973, Conf. Univ. Maryland, 43-55, 1974.
[Be2] Bers, Lipman: On Spaces of Riemann surfaces with nodes.
Bull. Amer. Math. Soc. 80, 1219-1222, 1974.
[Be3] Bers, Lipman: Deformations and moduli of Riemann surfaces with nodes and signatures.
Math. Scand. 36, 12-16, 1975.
[Bo] Bollob´as, B´ela: Graph Theory.
Graduate Texts in Mathematics 63, Springer Verlag, New York, 1997.
[ClHo] Clark, John; Holton, Derek A.: A first look at graph theory
World Scientific Publishing Company, London, 1991.
[DeMu] Deligne, Pierre; Mumford, David: The irreducibility of the space of curves of given genus.
´
Inst. Hautes Etudes
Sci Publ. Math. 36, 75-109, 1969.
[EaGa] Earle, Clifford J.; Gardiner, Frederick P.: Teichm¨
uller disks and Veech’s
F-structures.
American Mathematical Society. Contemp. Math. 201, 165-189, 1997.
[FaKr] Farkas, Hershel M.; Kra, Irwin: Riemann Surfaces.
Graduate Texts in Mathematics 71, Springer-Verlag, New York, 1992.
[HaMo] Harris, Joe; Morrisson, Ian: Moduli of curves.
Graduate Texts in Mathematics 187, Springer-Verlag, New York, 1998.
[HeSch] Herrlich, Frank; Schmith¨
usen, Gabriela: On the boundary of Teichm¨
uller disks in
Teichm¨
uller and in Schottky space
Handbook of Teichm¨
uller theory, European Mathematical Society, 2006.
[ImTa] Imayoshi, Yoichi; Taniguchi, Masahiko: An introduction to Teichm¨
uller spaces.
Springer-Verlag, Tokyo, 1992.
[Lo] Lochak, Pierre: On arithmetic curves in the moduli space of curves.
Journal de l’Institut de Math. de Jussieu 4, No. 3, 443-508, 2005.
g -relations.
[Moe] M¨oller, Martin: Teichm¨
uller curves, Galois action and GT
Preprint (2003), to appear in math. news
[MM] McMullen, Curtis: Billiards and Teichm¨
uller curves on Hilbert modular surfaces.
Journal of the American Mathematical Society 16 No. 4, 2003.
[Mu] Mumford, David: Stability of projective varieties.
Enseign. Math. 23, 39-110, 1977.
REFERENCES
[Sch1] Schmith¨
usen, Gabriela: An algorithm for finding the veech group of an origami.
Experimental Mathematics 13, 459-472, 2004.
[Sch2] Schmith¨
usen, Gabriela: Veech groups of origamis.
PhD Thesis in Karlsruhe, 2005.
[Ya] Yamada, Akira: On Mardens’s universal constant of Fuchsian Groups II.
Journal d’analyse math. 41, 234 - 248, 1982.
24