"Teichmuller theory"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
16번째 줄: 16번째 줄:
 
* http://moniker.name/worldmaking/?p=744
 
* http://moniker.name/worldmaking/?p=744
 
* http://orion.math.iastate.edu/dept/thesisarchive/MSCC/OLearyMSCCSS06.pdf
 
* http://orion.math.iastate.edu/dept/thesisarchive/MSCC/OLearyMSCCSS06.pdf
 
+
* \def
 
+
* An ideal triangle in (S,M) is a triangle with vertices at M, whose sides are geodesics.
 +
* \def
 +
* A horocycle at marked point p is a set of points "equidistant" to p. In lift to H^2, looks like circle tangent to boundary at p.
  
 
 
 
 
44번째 줄: 46번째 줄:
 
 
 
 
  
\def
+
<h5>shear coordinate</h5>
 
 
An ideal triangle in (S,M) is a triangle with vertices at M, whose sides are geodesics.
 
 
 
 
 
 
 
\def
 
  
A horocycle at marked point p is a set of points "equidistant" to p. In lift to H^2, looks like circle tangent to boundary at p.
+
*  
 +
* for tropical version of shear coordiante, see [[lamination and tropical shear coordinates on a marked surface|lamination and shear coordinates on a marked surface]]
  
 
 
 
 
92번째 줄: 89번째 줄:
  
 
 
 
 
 
 
 
 
<h5>shear coordinate</h5>
 
 
 
 
 
* for tropical version, see [[lamination and tropical shear coordinates on a marked surface|lamination and shear coordinates on a marked surface]]
 
  
 
 
 
 

2011년 8월 13일 (토) 08:12 판

introduction

 

 

review of hyperbolic geometry

 

 

Teichmuller space of a marked surface

Given marked surface (S,M) , the Teichmuller space T(S,M) is the space of metrics on (S,M) such that

  • are hyperbolic  (constant curvature -1)
  • have geodesic boundary at boundary of S
  • local neighborhood of point on boundary S can be mapped isometrically to neighborhood of a point here on one side of geodesic
  • have cusps at points in M

Considered up to diffeomorphism homotopic to identity.

Facts

(1) T(S,M) contractible

(2) T(S,M) is manifold of dimension 6g-6+2p+3b+c where g = genus, p=# of puncture, b = # boundary component, c=# of marked points on boundary

 

 

shear coordinate

 

 

 

decorated Teichmuller space

\def decorated Teichmuller space \tilde{T}(S,M) is

  • a point in T(S,M)
  • a choic of horocycle around each cusp from M

\def (Penner) For a arc A in (S,M) and \Sigma\in\tilde{T}(S,M),

the length of A with respect to \Sigma is

l_{\Sigma(A) = length on geodesic representative of A between intersections with horocycles around ends. (negative if 2 horocycles intersect) 

 

The \lambda - length is \lambda_{\Sigma}(A) : = e^{l_{\Sigma}(A)/2}

Note  :  \lambda_{\Sigma}(A) in \mathbb{R}_{> 0 }

 

\prop

In an ideal quadrilateral, the Ptolemy relation holds.

 

\thm (Penner)

For any triangulation (A_{i})

 

 

 

history

 

 

 

 

 

 

related items

 

 

 

 

 

encyclopedia

 

 

 

 

 

 

books

 

 

 

 

 

 

 

 

expositions

 

 

 

 

 

articles

 

 

 

 

 

 

question and answers(Math Overflow)

 

 

 

 

 

 

 

 

blogs

 

 

 

 

 

 

experts on the field

 

 

 

 

 

 

links