12.07.2015 Views

Intersection theory on moduli spaces of curves ... - User Web Pages

Intersection theory on moduli spaces of curves ... - User Web Pages

Intersection theory on moduli spaces of curves ... - User Web Pages

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

7that <strong>on</strong>e obtains what is referred to as a metric ribb<strong>on</strong> graph. We refer to this numberas the length <strong>of</strong> the edge and the sum <strong>of</strong> the numbers around a boundary as the length<strong>of</strong> the boundary. The space <strong>of</strong> metric ribb<strong>on</strong> graphs <strong>of</strong> type (g, n) with boundary lengthsprescribed by x = (x 1 , x 2 , . . . , x n ) forms a topological space — in fact, an orbifold — whichwe denote by MRG g,n (x). Using an argument analogous to that <strong>of</strong> Bowditch and Epsteinwhich appears in [5], we prove the following.Theorem 3.9. The <strong>spaces</strong> M g,n (x) and MRG g,n (x) are homeomorphic as orbifolds.Therefore, <strong>on</strong>e may equivalently c<strong>on</strong>sider MRG g,n (x) rather than M g,n (x). One advantageis that the space <strong>of</strong> metric ribb<strong>on</strong> graphs possesses the natural orbifold cell decompositi<strong>on</strong>MRG g,n (x) =⋃MRG Γ (x),Γ∈RG g,nwhere a metric ribb<strong>on</strong> graph lies in the set MRG Γ (x) if its underlying ribb<strong>on</strong> graph coincideswith Γ. Furthermore, MRG Γ (x) is top-dimensi<strong>on</strong>al if and <strong>on</strong>ly if the ribb<strong>on</strong> graphΓ is trivalent. Since the volume does not care about cells <strong>of</strong> positive codimensi<strong>on</strong>, it canbe expressed as a sum over trivalent ribb<strong>on</strong> graphs as follows, where V Γ (x) denotes theWeil–Peterss<strong>on</strong> volume <strong>of</strong> MRG Γ (x).V g,n (x) =∑Γ∈TRG g,nV Γ (x)Part 2: Why do we obtain a product over the edges <strong>of</strong> the trivalent ribb<strong>on</strong> graph?Fix a ribb<strong>on</strong> graph Γ ∈ TRG g,n and an n-tuple <strong>of</strong> positive real numbers x = (x 1 , x 2 , . . . , x n ).Then for every positive real number N, we have the mapf : MRG Γ (x) → MRG Γ (Nx) → M g,n (Nx),which is a homeomorphism <strong>on</strong>to its image. This is the compositi<strong>on</strong> <strong>of</strong> two maps — thefirst scales the ribb<strong>on</strong> graph metric by a factor <strong>of</strong> N while the sec<strong>on</strong>d uses the Bowditch–Epstein c<strong>on</strong>structi<strong>on</strong>. C<strong>on</strong>sider the normalised Weil–Peterss<strong>on</strong> symplectic form ω <strong>on</strong>N 2M g,n (Nx) and note that it pulls back via f to a symplectic form <strong>on</strong> MRG Γ (x). The behaviour<strong>of</strong> this 2-form as N approaches infinity is described by the theorem below. Thepro<strong>of</strong> <strong>of</strong> this statement, which relies <strong>on</strong> a mixture <strong>of</strong> hyperbolic geometry and combinatorics,is <strong>on</strong>e <strong>of</strong> the main technical c<strong>on</strong>tributi<strong>on</strong>s in this part <strong>of</strong> the thesis. The key geometricintuiti<strong>on</strong> involved is the fact that, as the boundary lengths <strong>of</strong> a hyperbolic surfaceapproach infinity, the surface resembles a ribb<strong>on</strong> graph after appropriate rescaling <strong>of</strong> themetric. It has been brought to our attenti<strong>on</strong> that this result, with an alternative pro<strong>of</strong>, hasalso appeared recently in the work <strong>of</strong> M<strong>on</strong>dello [36].Theorem 3.20. In the N → ∞ limit, f ∗ ωN 2 c<strong>on</strong>verges pointwise <strong>on</strong> MRG Γ (x) to a 2-form Ω.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!