arXiv:0908.2023v1 [math.GT] 14 Aug 2009

(1)

arXiv:0908.2023v1 [math.GT] 14 Aug 2009

FENGLUOANDJEAN-MARCSCHLENKER

Abstrat. Weonsideravolumemaximizationprogram to onstruthyperbolistrutures ontriangulated

3-manifolds,forwhihpreviousprogresshas leadtoonsiderangleassignmentswhihdonotorrespond toa

hyperboli metrion eahsimplex. Weshowthat ritialpointsofthe generalized volumeareassoiated to

geometristruturesmodeledontheextendedhyperbolispaethenaturalextensionofhyperbolispaeby

thedeSitterspaeexeptforthedegenerateasewhereallsimpliesareEulideaninageneralizedsense.

Thoseextendedhyperbolistruturesanrealizegeometriallyadeompositionofthemanifoldasonneted

sum,alongembeddedspheres(orprojetiveplanes)whiharetotallygeodesi,spae-likesurfaesinthedeSitter

partoftheextendedhyperbolistruture.

1. Introdution

1.1. TheCasson-Rivinprogramanditsextension. Thereareseveralwaystoonstruthyperbolimetris

onanideallytriangulated3-manifoldwithtorusboundary. Themostprominentones areThurston'salgebrai

gluingequationsand Casson-Rivin'sangle struture. Intheangle strutureapproah, onerst introduesthe

notionofangles onthetriangulationanduse theLobahevskyfuntion to denethevolumeof atetrahedron

withangleassignments. In[Luo07℄,Casson-Rivin'sanglestrutureprogramisextended tolosedtriangulated

3-manifold. The volume of angle struture is dened and theritial points of the volume is investigated in

[Luo07℄.

The goal of this paper is to investigate the relationship between the ritial points of the volume and a

naturalextensionofthehyperbolispaebythedeSitterspae. It turnsoutmanyoftheritialpointshave

geometrimeaningintermsofgeometristruturesbasedonthis extendedhyperbolispae.

1.2. Volumemaximizationon triangulated

3

-manifolds.

Denition1.1. Let

M

^be^a^losed3-manifold,andlet

T

^be^atriangulationof

M

^. ^Reall^that^thetriangulation

T

îs ôbtained âs ^follows. ^Take â ^nite ^set ôf ^disjoint Êulidean ^tetrahedra

s 1 , ..., s N

ând îdentify âll ^their

odimension-1faesinpairs byanehomeomorphisms. Thequotient spae

M

^inherits^a^naturaltriangulation, denotedby

T

^. ^A^wedge^of

T

îsâôuple

(e, s)

^,^wher^e

s

îsâ^simplexôf

T

^and

e

îsânêdgeôf

s

ⁱⁿ^the^unidentied

spae

∪ ^N _i=1 s i

^. ^The ^set ^of ^wedges ^of

T

^will ^be ^denoted ^by

W (T )

^, ^while ^the ^set ôf ^verties, êdges, ^2-faes ând

3-simpliesof

T

^will^be ^denoted^by

V (T), E(T ), F (T )

^and

S(T )

respetively.

The main ingredient in Casson-Rivin'sangle struture is based onthe observation that the vertex link of

anidealhyperbolitetrahedronis aEulidean triangle. In ourextension, weobservethat thevertexlink ofa

ompattetrahedronin thehyperboli,spherialorEulidean3-spaeisaspherial triangle. This promptsus

toproposethefollowingdenition.

Denition1.2. An angle strutureon

T

^is^a^funtion

θ : W (T ) → (0, π)

^suh^that:

•

^for ^eah ^edge

e

^of

T

^,^the ^sum ^of ^the

θ(w)

^over^the ^wedges ^of ^the ^form

w = (e, s), s ∈ S(T )

^,^is^equal ^to

2π

^,

•

^for ^eah

s ∈ S(T )

^and^eah^vertex

v

^of

s

^,

θ(e 1 , s) + θ(e 2 , s) + θ(e 3 , s) > π

^,^where^the

e i

^are ^the³^edges

of

s

^adjaent ^to

v

^,

•

^for^eah

s ∈ S(T )

^and^eah^vertex

v

^of

s

^,

θ(e 1 , s)+ θ(e 2 , s) < θ(e 3 , s)+π

^,^and^similarly^forpermutations of

1, 2, 3

^.

Date:v1Aug2009.

J.-M.S.waspartiallysupportedbytheANRprogramRepsurf:ANR-06-BLAN-0311. F.L.waspartiallysupportedbytheNSF:

nsf-dms0604352.

(2)

Wedenote by

AS(T )

^the ^spae^of ^angle assignmentson

T

^.

Thegeometrimeaningoftherstonditionisthat,ifthegeometristruturesonthesimpliesanbeglued

alongthefaes(thisisdisussedbelow)thentheanglesaddupattheedgessothatthereisnosingularitythere.

Theseondandthethirdonditionsmeanthatforeahsimplex thelinkofeahvertexisaspherialtriangle.

Itisquitepossiblethat,insomeases,

AS (T )

^might^beêmpty,^howeverâll^manifolds^doâdmitâtriangulation forwhih

AS(T )

^is^non-empty^[KL℄.

There is a well-dened manner, explainedin [Luo07℄ and realled in setions 4-5, to assoiateto an angle

assignment

θ ∈ AS(T )

â ^number ^whih îs, ⁱⁿ â ^preise ^way^, â generalized volume. This denes a funtion

V : AS(T ) → R

. This volume is dened in terms of anaturalextension of theShläi formula, so that it automatiallyveriesthisidentity.

If

θ 0

îsâ^ritial^pointôf

V

ⁱⁿ

AS(T )

^suh ^thatâll^theânglesâssigned^toâll^simpliesôf

T

^are^the^dihedral

angles of a hyperboli simplex, then, thanks to the Shläi formula, the lengths of an edge in the wedges

ontainingit math, sothat the faesof the simplies anbeglued isometriallyand

θ 0

^denes ^a^hyperboli

metrion

M

^. Ôneôf^the ^main^pointsôf^this ^paperîs^that ânêxtension ôf^this^statement^holds ^when

θ 0

^does

notassigntoallsimpliesof

T

^the^dihedralânglesôfâ^hyperboli^simplex.

1.3. Extendedhyperbolistrutures. Thereisarathernaturalextensionofthehyperbolispaebythede

Sitterspae,usedforinstanein[Sh98,Sh01℄inapolyhedralontextsomewhatreminisentofthearguments

followedhere. Weall

HS ³

^this^extended^hyperboli^spae, ^so^that

HS ³

ôntainsânôpen^subsetîsometri ^to

the3-dimensionalhyperbolispaeandanotheropensubsetisometritothequotientofthedeSitterspaeby

theantipodalmap.

Givena3-dimensionalmanifold

M

^,^anHS-strutureon

M

îsâ^geometri^struture^loally^modelledôn

HS ³

^.

Thisisexplainedin setion2.

1.4. The main result. The main result presented here is that most ritial points of the volume

V

^on ^the

interiorof

AS(T )

^have^a^naturalinterpretationintermsofHS-strutures.

Theorem1.3. Let

θ ∈ AS(T )

^be^a^ritial ^points^of

V

^. ^Then ôneôf ^the ^following âpplies.

(1)

θ

ôrresponds^toâ^spherial^metriôn

M

^(for^eah^simplex^of

T

^,^theânglesâre^the ânglesôfâ^spherial

simplex,andthose simplexan begluedisometrially along theirfaes, yielding aspherial metri),

(2)

θ

^orresponds^to^an HS-strutureon

M

^. Îf ^this êxtende^d^hyperboli ^struture^hasâ^de ^Sitter^part, ^then

itontainsatotallygeodesi surfae homeomorphi to

S ²

^or

R P ²

^,^whih ^is^normal ^surfaeⁱⁿ

T

^,

(3) all simplies in

T

âre êither Êulidean ôr îpped Êulidean ^(see ^below). ^The ^volume

V (θ)

^is ^then ^a

non-negativeintegermultiple of

2π ²

^. Îfât^leastône^simplexîsîpped,^then

V > 0

^and

(M, T )

^ontains

anormalsurfaehomeomorphi toasphere oraprojetive plane.

Therstaseshouldbelear,andanhappenonlyif

M

^is^dieomorphi^either^to

S ³

^or^to

R P ³

^. ^In^the^seond

ase, thetotally geodesispae-likesurfaes in thede Sitterparts of the HS-struturerealizegeometriallya

deomposition of

M

ⁱⁿ irredutible parts, eah of whih arries a hyperboli metri. The third ase is quite speial,presumablyitanouronlyinveryspei ases,see below.

1.5. Geometri interpretation. The rst idea in Theorem 1.3 is that onsidering HS-strutures radially

simplies the way in whih one an nd hyperboli strutures on 3-manifolds by a ritial point argument.

Indeed,if

M

îs^reduible,^there^might^still^beâ^ritial^pointôf

V

^on

AS(T )

^,orrespondingnottoahyperboli metri(whihisimpossibleif

M

^is^reduible)^but^to^aHS-struture,withadeSitterpartorrespondingtoeah inompressiblespherein

M

^.

Thereishoweveralimittothisargument,asitstands. GivenaHS-struture

h

^on

M

^,^the^set^of^its^hyperboli

points isadomain

N ⊂ M

^on ^whih ^the^restrition^of

h

^denes ^a^omplete ^hyperboli^metri. ^The^de^Sitter

parts of

h

^are topologiallyeither produts of

S ² × R

or produts ofa projetiveplane by aninterval. This means that eah onnetedomponent ofthe boundary of

N

^has^to ^beêither â^sphere ôrâ^projetive^plane,

(3)

1.6. Further possible extensions. The onstrutionof HS-strutures assoiated to ritial points of

V

^on

AS(T )

^suggests^that â^furtherêxtensionôf ^the^spae ôfângleassignments

AS(T )

^should^be^possible,^allowing

forinstanefor angleassignmentssuhthat thesumofanglesatavertexofasimplex isequalto orlessthan

π

^. ^Suh^anglesassignmentswouldorrespondsgeometrially(atritialpointsof

V

⁾^to triangulationswith at least onevertex in the de Sitterpartof the HS-struture obtained. This line of investigation is notpursued

here.

2. Extendedhyperboli strutures

2.1. The extended hyperboli spae. One way to dene this extension is to onsider a stritly onvex

quadri

Q

ⁱⁿ^the^projetive^3-spae

R P ³

^. ^Given^two^distint^points

x, y ∈ R P ³ \ Q

^,^let

D

^be^the^projetive^line

ontaining

x

^and

y

^. ^If

D

^intersets

Q

^,^let

a, b

^be^the^points^between

D

^and

Q

^,^hosen^so^that

a, x, y, b

^ourⁱⁿ

thisyliorderon

D

^. ^Then^dene^the^Hilbert^distane^between

x

^and

y

^as

d H (x, y) = 1

2 log[a, b; x, y ] ,

where

[·, ·; ·, ·]

^denotes^theross-ratio. If

D

^does^not^interset

Q

^,^use^the^same^formula^with

a, b

^replaed^by^the

omplexintersetionsofthelineontaining

x, y

^with

Q

^. ^This^denes^a^distane ⁱⁿ^whih^the^ball^bounded^by

Q

^an^beinterpretedasaprojetivemodelof

H ³

^,^while^theôutsideîtâ^projetive^modelôf^the^quotientôf^the

deSitterspae

dS ³

^by^the^antipodal^map. ^In^partiular,

d H (x, y)

^an^be:

•

^real^and^negative,^if

x, y

^areⁱⁿ ^the^ball^bounded ^by

Q

^,^and^this^denes ^inside

Q

^a^projetive^model^of

thehyperboli 3-dimensionalspae(knownastheKleinmodel).

•

^real ^and ^positive,^if

x, y

^are^outside ^the^ball ^bounded ^by

Q

^and ^the ^line ^joining ^them ^intersets

Q

ⁱⁿ

twopoints. Thislineisthentime-likein

dS ³

^.

•

ⁱⁿ

i(0, π)

^, ^if

x, y

^are ^outside

Q

ând ^the ^line ôntaining ^them ^does ^not înterset

Q

^, ^this ^line ^is ^then

spae-likein

dS ³

^.

•

ⁱⁿ

iπ/2 + R

,if

x

^is^inside ^the^ball^bounded^by

Q

^and

y

îsôutsideît.

• 0

^,^if^the^line^joining

x

^and

y

^is^tangent^to

Q

^. ^This ^line^is^then^a^light-likeⁱⁿ

dS ³

^.

Thesameonstrutionalsoworksin dimension2,yieldingtheextendedhyperboliplane

HS ²

^.

2.2. Thedouble over. Itissometimeshelpfultoonsiderthedoubleover

HS ˜ ³

^of

HS ³

^. ^It^is^dieomorphi

to

S ³

^,ând^has^two^hyperboliômponentsêahîsometri^to

H ³

^,ândône^de^Sitterômponentîsometri^to^the

full deSitterspae

dS ³

^. ^The ^same^worksⁱⁿ ^any^dimension.

HS ˜ ³

îsômposed ôf^twoôpiesôf ^the^hyperboli

3-spae,andofaoneopyofthewholedeSitterspae.

2.3. Extendedhyperbolistrutures. AnHS-strutureonalosed3-dimensionalmanifold

M

^is^a^geometri

strutureloally modeledon

HS ³

^,^withtransformationgroup

P SL(2, C )

^.

If

h

^is ^anHS-strutureon

M

^, ^the^set ^of^points ^of

M

^where

h

îs ^loally^hyperboli îsânôpen^subsetôf

M

^,

whihwedenoteby

M H

^, ^and^the^restrition^of

h

^to

M H

îsâômplete^hyperboli^metri. ^Similary,^the^set ôf

points of

M

^where

h

îs ^loally ^modeled ôn ^the^de ^Sitter ^spaeîs ân ôpen ^subsetôf

M

^, ^for ^whih ^we^use ^the

notation

M dS

^. ^Then

M H ∪ M dS

^is^dense^is

M

^,ândîtsômplementîsâ^surfae.

3. Triangles

3.1. The osine formula.

Denition3.1. We all

cosh

^the^restrition ^of^the ^funtion

x 7→ (e ^x + e ^−x )/2

^to

R _<0 ∪ [0, iπ] ∪ (iπ + R _>0 )

^.

With thisdenition,

cosh

îsâ^bijetion^fromîts^domainôf^denition ^to

R

.

Lemma3.2. Let

α 1 , α 2 , α 3

^be ^the ^(interior) ânglesôf â ^hyperboli ^triangle,ând ^let

a 1 , a 2 , a 3

^be ^the ^length ^of

the opposite edges. Then

(1)

cosh(a 1 ) = cos(α 1 ) + cos(α 2 ) cos(α 3 )

sin(α 2 ) sin(α 3 ) .

(4)

3.2. The triangle inequality. Considernowatriangle in

S ²

^, ^of ^angles

α 1 , α 2 , α 3

^. Ît îs â^simpleêxerise^to

hekthat thoseanglessatisfythefollowingequation:

(

T I 1

⁾

α 2 + α 3 < α 1 + π

Usingtheexterioranglesratherthantheinteriorangles,thisequationanbewritten as

(π − α 1 ) < (π − α 2 ) + (π − α 3 ) ,

whihisthetriangleinequalityforthedualtrianglein thesphere.

3.3. AlassiationofMöbiustriangles. Following[Luo93℄,weonsiderhereageneralizationofthenotion

ofspherial(orhyperboli) triangle.

Denition3.3. AMöbiustriangleisatriple

(α 1 , α 2 , α 3 ) ∈ (0, π) ³

^. ^Givenâ^Möbius^triangle,îtsêdge^lengths

are theomplex numbers

(a 1 , a 2 , a 3 )

^dened^by^Equation ^{(1 ),} ^with^the ^denition ^of

cosh

^given ^above.

Therationalefortheterminologyusedhereisthat,foranytriple

(α 1 , α 2 , α 3 ) ∈ (0, π) ³

^,^there^exists^a^triangle

intheomplexplaneboundedbythreeirles,uniqueuptoMöbiustransformation,sothatitsinneranglesare

the

α i

^'s. ^Theonstrutionsusedbelowarehoweverbasedmostlyontheextended hyperboliplaneandonreal projetivegeometry,ratherthanomplexprojetivegeometry. HoweverstikingtothetermsMöbiustriangle

shouldbehelpfultothereaderinsofarasitislosertothepreviousworksonthesubjets,e.g. [Luo07℄,[Luo93℄.

Lemma3.4. Let

T = (α 1 , α 2 , α 3 )

^be^a^Möbius ^triangle,^let

s = α 1 + α 2 + α 3

^,^and^let

a i

^be^the ^edge ^lengths^of

T

^. Êxatlyôneôf ^the ^following^ve âsesâpplies.

(1)

T

^is^spherial:

s > π

^,^and^the ^triangle inequalities

(T I 1 ), (T I 2 ), (T I 3 )

^hold. ^Then

a 1 , a 2 , a 3 ∈ i(0, π)

^.

(2)

T

^is^hyperboli:

s < π

^. ^Then ^the ^triangle inequalities

(T I 1 ), (T I 2 ), (T I 3 )

^hold, ^and

a 1 , a 2 , a 3 < 0

^.

(3)

T

^is^Eulidean:

s = π

^. ^Then^the ^triangle inequalities

(T I 1 ), (T I 2 ), (T I 3 )

^hold,^and

a 1 = a 2 = a 3 = 0

^.

(4)

T

^is^ipped ^hyperboli:

α 2 + α 3 > α 1 + π

^(or^similarly^after ^apermutationof

1, 2, 3

^). ^Then

a 1 < 0

while

a 2 , a 3 ∈ iπ + R _>0

.

(5)

T

îs îpped Êulidean:

α 2 + α 3 = α 1 + π

^(or ^similarly ^after ^apermutation of

1, 2, 3

^). ^Then

a 2 = a 3 = iπ

^and

a 1 = 0

^.

The proof (whih is elementary) is based on two preliminary statements. Let

α 1 , α 2 , α 3 ∈ (0, π)

^, ^and ^let

s = α 1 + α 2 + α 3

^.

Sub-Lemma3.5.

•

^If

α 2 + α 3 < π

^,^then

cosh(a 1 ) < 1

^(resp.

> 1

⁾ îfândônly îf

s > π

^(resp.

s < π

^).

•

^If

α 2 + α 3 > π

^,^then

cosh(a 1 ) < 1

^(resp.

> 1

⁾îf ândônlyîf

(T I 1 )

^holds^(resp.

α 2 + α 3 > π + α 1

^).

Sub-Lemma3.6.

cosh(a 1 ) > −1

îf ândônlyîf êither

α 2 > α 3

^and

(T I 3 )

^holds, ^or

α 3 > α 2

^and

(T I 2 )

^holds.

Proofof Lemma 3.4 . Supposerstthat thethreetriangleinequalitieshold. Then

T

îsⁱⁿ ôneôf^theâses^(1),

(2)or(4)dependingon

s

^. ^Note^also^that^if

(T I 1 )

^does^not^hold,^then^learly^both

(T I 2 )

^and

(T I 3 )

^are^satised.

So

T

îsⁱⁿâse⁽³⁾îf^there îsêqualityⁱⁿînequality

(T I 1 )

^,^or⁽⁵⁾^otherwise.

Inase(1),

cosh(a 1 ) < 1

^by ^Sub-Lemma^3.5, ^and

cosh(a 1 ) > −1

^by ^Sub-Lemma^3.6, ^so

a 1 ∈ i(0, π)

^by^the

denition of

cosh

ûsed ^here. ^The^same^holds ôfôurse^for

a 2

^and

a 3

^. ^In^ase^(2), ^Sub-Lemma ^3.5^shows^that

cosh(a i ) = 1

^for

i = 1, 2, 3

^so^that^all^the

a i

âre^zero. Înâse^(4),^the^rstâseôf^Sub-Lemma^3.5,

cosh(a 1 ) > 1

^,

sothat

a 1 < 0

^by^our^denition^of

cosh

^,^and^the^same^applies^to

a 2

^and

a 3

^.

Inase(3), theseond pointin Sub-Lemma3.5 showsthat

cosh(a 1 ) = 1

^,^while ^Sub-Lemma^3.6^shows^that

cosh(a 2 ) = cosh(a 3 ) = −1

^, ^so^that

a 2 = a 2 = iπ

^. ^The^sameârgumentâpplies^to âse^(5), ^then

cosh(a 1 ) > 1

while

cosh(a 2 ), cosh(a 3 ) < −1

^,^so^that

a 1 < 0

^while

a 2 , a 3 ∈ iπ + R _>

.

ThefollowinglemmashowsthattheedgelengthsdeterminetheshapeofaMöbiustriangle.

Lemma 3.7. Let

A = (α 1 , α 2 , α 3 )

^and

B = (β 1 , β 2 , β 3 )

^be ^two ^Möbius ^triangles ^whih âre ^not Êulidean ôr

ippedEulidean. Ifthe orrespondingedgelengthsof

A

^and

B

^are^the ^same, ^then

α i = β i

^for ^all ^i.

Theprooffollowsfromtheosinelawthat

(2)

cos(α 1 ) = − cosh(a 1 ) + cosh(a 2 ) cosh(a 3 )

sinh(a 2 ) sinh(a 3 ) .

(5)

3.4. Geometrirealization oftriangles. ThelassiationofMöbiustrianglesin Lemma3.4hasanatural

interpretation in termsof trianglesin the extendedhyperboliplane

HS ˜ ²

^. ^There ^is ^nointerpretation needed forspherial,Eulidean or hyperbolitriangle, but ippedhyperbolitriangleorrespondto trianglesin

HS ˜ ²

withonevertexandtwointheother.

Suppose

t

îs^suhâîpped^hyperideal^triangle,^with ^verties

v 1 , v 2 , v 3

^,^with

v 1

ⁱⁿôneôpyôf

H ²

^and

v 2 , v 3

in the other. Let

α i

^be ^the^angle ^of

t

^at

v i

^,

1 ≤ i ≤ 3

^. ^Those ângles ân^be ûnderstood ^byîpping

t

^,^that

is, onsidering the triangle

t ^′

^with ^verties

v 1 ^′ , v 2 , v 3

^, ^where

v ^′ 1

îs ^the ântipode ôf

v 1

ⁱⁿ

HS ˜ ²

^.

t ^′

îs â ûsual

hyperbolitriangle, anditsanglesare

β 1 = α 1

^,

β 2 = π − α 2 , β 3 = π − α 3

^. ^Sine

t ^′

îsâ^hyperboli^triangle,îts

anglessatisfy

β 1 + β 2 + β 3 < π ,

whihtranslatesas

α 1 + π < α 2 + α 3 ,

theinversetriangleinequalityfor

t

^. ^Similarly,

t

^satises^the^triangleinequality,

π + β 2 > β 1 + β 3

^and

π + β 3 > β 1 + β 2 ,

whihtranslatesas

α 1 + α 2 < π + α 3

^and

α 1 + α 3 < π + α 2 .

Thisshowsthat

(α 1 , α 2 , α 3 )

îsâîpped^hyperboli^triangle,âording^to^Lemma ^3.4. ^The^sameârgumentân

beusedbakwards,toshowthatanyippedhyperbolitriangleinthesenseofLemma3.4isthetripleofangles

ofaippedhyperbolitrianglein

HS ˜ ²

^.

FlippedEulideantrianglesan beunderstoodin thesamewaybut bytaking alimit. TheusualEulidean

triangles an be onsidered aslimits of hyperboli triangles of diameter going to zero atually, a blow-up

proedureisneessary,sinewhatwereallywanttoonsideraresequenesofdegeneratinghyperbolitriangles

forwhih theangles,andthereforetheratiooftheedgelengths,hasalimit. Thisanalso bedoneforipped

hyperbolitriangles,withvertiesonvergingeither toapointintheoneopyof thehyperboli planeof

HS ˜ ²

orto itsantipodein theother opy.

Puttingthistogether,weobtainthefollowingstatement.

Lemma3.8. Let

T = (α 1 , α 2 , α 3 )

^be^a^Möbius ^triangle.

(1) If

T

îs^spherial, ^thereîsâ^triangle

t ⊂ S ²

^,ûniqueûp^to^the âtionôf

O(3)

^,^with^angles

α 1 , α 2

^and

α 3

^.

(2) If

T

îs ^hyperboli, ^there îs â ^triangle

t ∈ H ²

^, ^unique ^up ^to ^the ^hyperboli isometries, with angles

α 1 , α 2 , α 3

^.

(3) If

T

îs Êulidean, ^there îs â ^triangle

t ⊂ R ²

, unique up to isometries and homotheties, with angles

α 1 , α 2 , α 3

^. În ôther ^terms, ^there îs â ^sequene ôf ^hyperboli ^triangles

(t n ) n∈ N

ⁱⁿ

H ²

^, ^with ^angles

α 1,n , α 2,n , α 3,n

^onverging^to

α 1 , α 2 , α 3

^,respetively.

(4) If

T

îs îpped ^hyperboli, ^thereîs â

t ∈ HS ˜ ²

^,^withône ^vertexⁱⁿ ôneôpy ôf

H ²

^and^twoⁱⁿ ^the ^other,

with angles

(α 1 , α 2 , α 3 )

^. Îtîsûniqueûp^to^the âtionôf

O(2, 1)

^on

HS ˜ ²

^.

(5) If

T

îsîppedÊulidean,^thereîsâ^sequeneôfîpped^hyperboli^triangles

(t n ) n∈ N

ⁱⁿ

HS ˜ ²

^,^with^angles

α 1,n , α 2,n , α 3,n

^onverging^to

α 1 , α 2 , α 3

^,respetively.

4. Three-dimensional simplies

4.1. AngleSystem. Wenowonsider3-dimensionalsimplies,andassign toeahwedgeanangle,asfollows.

Denition4.1. Suppose

s

^is^atetrahedron. Thenananglesystemon

s

^is^a^funtion

θ : {(e, s)|e

îsânêdgeôf

s} → (0, π)

^so ^that ^for^three ^edges

e i , e j , e k

ênding ât â ^vertex

v

^of

s

^, ^the ³ ^angles

θ(e i , s), θ(e j , s), θ(e k , s)

^are ^the

inneranglesofaspherialtriangle. Let

AS (s)

^be^the^spaeôfâllângle^systemsôn

s

^. Ân ângled^3-simplexîsâ

3-simplextogetherwithananglesystem.

If

T

^is ^atriangulationof alosed 3-manifold

M

^, ânângle^systemôn

T

^is^a^funtion

θ

^dened^on^the^set ^of

allwedges

{(e, s)|e

îsânêdgeôfâtetrahedron

s}

^so^that

•

^for^eah^edge

e

^of

T

^,^the^sum^of^the^values^of

θ

^on^the^wedges^having

e

âs^theirêdge îsêqual^to

2π

^,

•

^for^eah^3-simplex

s

ⁱⁿ

T

^,^the^restrition^of

θ

^to ^all^wedgesⁱⁿ

s

^forms^an^angle^system.

(6)

In thepaper[Luo07℄, the geometri prototypeof an angled 3-simplex is theMöbius tetrahedron. Namely

a topologial tetrahedron in

R ³

bounded by four 2-spheres of inner angles less than

π

^. ^However, ^there ^are

angled 3-simplex whih annot berealized asaMöbius 3-simplex. Our main observation is that, in termsof

HS-geometry, these angled 3-simplies all haveageometri meaning. Furthermore, the edge lengths,volume

and Shläi formulaanbegeneralizedtothe HS-geometry. These generalizationsareexatlythe underlying

geometrimeaningoftheorrespondingnotionsdened in[Luo07℄.

4.2. Fae angles.

Denition 4.2. Let

α = (α 12 , · · · , α 34 ) ∈ AS(s)

^. ^The ^fae ^angles ^of

α

^are ^the ^numbers

β ijk ∈ (0, π)

^dened,

for

{i, j, k, l} = {1, 2, 3, 4}

^,^by^the ^formula

cos(β _jk ⁱ ) = cos(α il ) + cos(α ij ) cos(α ik ) sin(α ij ) sin(α ik ) .

Thegeometrimeaningof thefaeangleis asfollows. Aordingtothedenition,atthe

i

^th^vertex

v i

^,^the

angles

α ij , α ik , α il

âre^the înner ângles ôfâ ^spherial^triangle

A jkl

^, ^whih ân^be ônsidered âs^the^link

v i

ⁱⁿ

thetetrahedron. Thenthefaeangle

β ⁱ _jk

^is^the

jk

^-th^edge^length^of

A jkl

^. ^By^denition,^fae^angles^are^thenⁱⁿ

(0, π)

^.

4.3. Edge lengths. Using the faes angles, we make eah odimension-

1

^fae ôf ân ângled tetrahedron

s

^a

Möbiustriangle. Thus, bylemma3.2, weandenefor eah edgein eahfae,anedge length. Thefollowing

isprovedin[Luo07℄.

Lemma4.3. If

L

îsân êdge ôf âtetrahedron

s

^with ân ângle ^systemând

D 1 , D 2

^are ^two^faes ^of

s

^having

L

asan edge,thenthe lengthof

L

ⁱⁿ

D 1

^is^the ^same^as^thatⁱⁿ

D 2

^.

Thusthefollowingiswelldened.

Denition 4.4. Let

α = (α 12 , · · · , α 34 ) ∈ AS(s)

^. ^The ^edge ^lengths ^of

α

^are ^the ^numbers

(l ij ) i6=j

^dened ^as

follows:

l ij

îs^the ^lengthôf ^theêdge

ij

ⁱⁿ^the ^two^faes^of

T

^adjaent ^to^the ^verties

i

^and

j

^.

4.4. A lassiation of simplies. It is now possible to desribe a lassiation of 3-dimensional angled

simplies. It is slightly more elaborate than the orresponding lassiation for Möbius triangles, beause

simpliesanbeippedin twoways,dependingonwhetheroneortwovertiesareinoneoftheopiesof

H ³

in

HS ˜ ³

^. ^Here îs^the ^denition ôf ^theîp ât ^theî-th ^vertex ôf

α ∈ AS(s)

^. ^See^[Luo07℄ ^for ^more^details. ^The

ippedsimplex

α ^′ = (α ^′ 12 , ..., α ^′ 34 )

^has^angles

α ^′ _ij = α ij

^for

j 6= i

^and

α ^′ _jk = π − α jk

^for

j, k 6= i

^. Geometrially, if

v 1 , v 2 , v 3 , v 4

âre^the^vertiesôfâ^spherial^simplex,^then^theîpped^simplex^(about^the^rst^vertex

v 1

⁾^is^the

spherialsimplexwithverties

−v 1 , v 2 , v 3 , v 4

^where

−v 1

îs^theântipodal^pointôf

v 1

^.

Lemma4.5. Let

α ∈ AS(s)

^. ^After^apermutationof

{1, 2, 3, 4}

^,

α

îsôf êxatly ôneôf^the ^following ^types:

(1) spherial: allfaes of

T

âre^spherial ^triangles, ândâllêdge ^lengthsâreⁱⁿ

i(0, π)

^.

(2) hyperboli: all faes of

T

âre ^hyperboli ^triangles,ândâll êdge ^lengthsâreⁱⁿ

R _<0

.

(3) ipped hyperboli: thefae

(234)

îsâ^hyperboli^triangle,^while^the^faesâdjaent^to^the ^vertex

1

^are

ippedhyperbolitriangles. Thelengthsofthe edges

(12), (13), (14)

^areⁱⁿ

iπ + R _>0

,whilethe lengthof the other edges arein

R _<0

.

(4) doubly ipped hyperboli: all faes of

T

âre îpped ^hyperboli ^triangles, ^the ^lengths ôf ^the êdges

(12)

^and

(34)

âre^negative^numbers^while^the ^lengthôf ^the ôtherêdgesâre ⁱⁿ

iπ + R _>0

.

(5) Eulidean: allfaes of

T

âreÊulidean ^triangles,âllêdge ^lengthsâre ^zero.

(6) ippedEulidean: thelengthoftheedges

(12), (13), 14)

^are^equal^to

iπ

^,^while^the^lengths^of

(14), (24), (34)

arezero.

(7) doubly ipped Eulidean: the lengthsof

(12), (34)

âre ^zero^whileâll ôtherêdges^have ^length

iπ

^.

Theterminologyisbased,asfortriangles,ontheideaofippingahyperbolisimplex: thismeansreplaing

oneof its verties, say

v 1

^, ^by^its ^antipode ⁱⁿ

HS ˜ ³

^. ^The ^dihedral ânglesât âll^three êdges ^notâdjaent ^to

v 1

are thenreplaedby theiromplement to

π

^, ând^the êetôn ^theêdge^lengthsîs âs^desribedⁱⁿ ^Lemma ^4.5.

Doublyippingahyperideal simplexmeansreplaingtwovertiesbytheirantipodesin

HS ˜ ³

^.

(7)

Proofof Lemma 4.5 . Let

α ∈ AS(s)

^,^let

v 1 , v 2 , v 3 , v 4

^be^the^verties^of

s

^. ^We^onsider^dierent^ases,^depending

onthelengthsoftheedgesof

s

ândⁱⁿ^partiularôfîts^fae

(v 1 , v 2 , v 3 )

^.

(1)

(v 1 , v 2 , v 3 )

îs â^spherial^triangle, î.e., îtsêdge ^lengthsâreⁱⁿ

i(0, π)

^. ^Lemma ^3.4, ^applied ^to^the ^three

otherfaesof

s

^,^shows^that ^the^lengthsôf^the^threeôtherêdgesôf

s

^are^alsoⁱⁿ

i(0, π)

^,^it^follows^that

s

isspherial.

(2)

(v 1 , v 2 , v 3 )

îs ^hyperboli. ^Then îts êdge ^lengthsâre ^negative, ând ônsidering ^Lemma ^3.4 ^shows^that

thereareonlytwopossibilities.

(a)

(v 2 , v 3 , v 4 )

îs ^hyperboli, ^that îs, îts êdge ^lengths âre ^negative. ^Then, âgain ^by ^Lemma ^3.4, ^the

lengthoftheedge

(v 1 , v 4 )

^is^also^negative,^so ^that

s

^is^hyperboli.

(b)

(v 2 , v 3 , v 4 )

îsîpped^hyperboli,^thatîs,^the^lengthsôf^theêdges

(v 2 , v 4 )

^and

(v 3 , v 4 )

^areⁱⁿ

iπ+ R _>0

. Thenthelengthof

(v 1 , v 4 )

^is^alsoⁱⁿ

iπ + R _>0

,sothat

s

^is^ipped^hyperboli.

(3)

(v 1 , v 2 , v 3 )

îsîpped^hyperboli,^weân^suppose^without^lossôf^generality^that^the^lengthôf

(v 1 , v 2 )

^is

in

R _>0

andthelengthsofthetwootheredgesarein

iπ + R _>0

. Twoasesarepossible.

(a)

(v 1 , v 2 , v 4 )

^is^hyperboli,^it^then^follows^from^Lemma^3.4^that

s

^is^ipped^hyperboli.

(b)

(v 1 , v 2 , v 4 )

îsîpped^hyperboli,ît^then^follows^from^Lemma^3.4^that

s

^is^doubly^ipped^hyperboli.

(4)

(v 1 , v 2 , v 3 )

îs Êulidean, ^so^that âll îtsêdges ^have ^zero^length. ^Lemma ^3.4 ^then ^shows ^that ^there âre

twopossibleases.

(a)

(v 1 , v 2 , v 4 )

îsÊulidean. ^Thenâllêdgesôf

s

^have^zero^length,^and

s

^is^Eulidean.

(b)

(v 1 , v 2 , v 4 )

îsîppedÊulidean,^so^that

(v 1 , v 4 )

^and

(v 2 , v 4 )

^have^length

iπ

^. ^In^this^ase

s

^if^ipped

Eulidean.

(5)

(v 1 , v 2 , v 3 )

îsîppedÊulidean,^weân^suppose ^without^lossôf^generality^that

(v 1 , v 2 )

^has^zero^length

zerowhilethelengthsoftheothertwoedgesareequalto

iπ

^. ^Thereâreâgain^twoâses^toônsider.

(a)

(v 1 , v 2 , v 4 )

îs Êulidean,^so^thatâllîtsêdge^lengthsâre^zero,ândîtêasily^follows^that

s

^is ^ipped

Eulidean.

(b)

(v 1 , v 2 , v 4 )

îs îpped Êulidean, ^so^that ^the êdges

(v 1 , v 4 )

^and

(v 2 , v 4 )

^have^length

iπ

^. ^Then

s

^is

doublyippedEulidean.

Aordingto thelemma, there arethree typesofangled simplies: Eulidean, hyperboliand spherial. A

angledsimplexisofEulidean(orhyperboli)typeifitanbeippedto aEulidean(orhyperboli)simplex.

A spherialtype simplexis thesameasaspherialsimplex. Thetypeofasimplex anbe determinedbythe

lengthofanyofitsedges.

Corollary 4.6. Suppose

e

îsân êdgeôf ânângled^simplex ôf^length

l(e)

^. ^Then

s

^is^of

(1) Eulidean type ifandonly if

l(e) ∈ {0, iπ}

^,

(2) hyperboli typeif andonlyif

l(e) ∈ R _<0 ∪ {iπ + r|r ∈ R _>0 }

^,

(3) spherial type ifandonly if

l(e) ∈ i(0, π)

^.

In partiular, if

e

^and

e ^′

âre^twoêdges ôfân ângled^simplex

s

^,^then^their ^lengths

l(e)

^and

l(e ^′ )

^areⁱⁿ^the ^same

subsetlistedabove.

4.5. Combinatorisof thespae of simplies. Thelassiationgivenin 4.4anbeinterpretedinterms

oftheHS-geometryasfollows,asforMöbiustrianglesinLemma 3.8. Let

s

^be^a^simplex,^and^let

α ∈ AS(s)

^.

(1) If

α

^is ^spherial,^the

α ij

âre^the^dihedralânglesôfâûnique^simplexⁱⁿ

S ³

^.

(2) If

α

^is ^hyperboli,^the

α ij

âre^the^dihedralânglesôfâûnique^simplex ⁱⁿ

H ³

^.

(3) If

α

^is^hyperboli,^the

α ij

HS ˜ ³

^,^with^three^vertiesⁱⁿ^one

oftheopiesof

H ³

ândôneⁱⁿ^theôther.

(4) If

α

^is^hyperboli,^the

α ij

HS ˜ ³

^,^with^two^vertiesⁱⁿ ^one

oftheopiesof

H ³

^and^twoⁱⁿ ^the^other.

(5) If

α

^is ^Eulidean, ^the

α ij

âre ^the ^dihedral ângles ôf ân Êulidean ^simplex, ûnique ûp ^to ^homothety.

Theyarealso limitsofsequenesofanglesofhyperbolisimplies.

(6) If

α

îs îppedÊulidean,îtîs^the^limitôfâ^sequeneôfânglesôfîpped^hyperboli^polyhedra.

(8)

(7) Similarly, if

α

îs ^doubly îpped Êulidean, ît îs ^the ^limit ôf â ^sequene ôf ângles ôf ^doubly îpped

hyperbolipolyhedra.

Considernow

AS (s)

âs^the^spaeôf^6-tuplesôfânglesⁱⁿ

(0, π)

^satisfying^some^linearinequalities. Itontains somesubdomainsorrespondingtothedierenttypesofsimplies. Itisinterestingtoonsidertheombinatoris

ofthisdeompositionof

AS (s)

^. ^The^denitions^show^learly^that ânyôntinuous^path^going^fromâ^simplexôf

spherialtypeto asimplex ofhyperbolitypehas to gothroughasimplex ofEulidean type. Moreover,the

only way to gofrom ahyperboli simplexto adoubly hyperbolisimplex is throughspherial simplies, and

similarlyfordoubly hyperbolisimplies.

5. The generalized volume

5.1. The Shläi formula. Thelast partof thepiture onsidered hereisthe generalizedvolume, whih is

denedforthesimpliesintheextendedhyperbolispae. Thereareseveralywaystodeneit,weuseherethe

Shläiformula,whihwerstreallforusual (spherialorhyperboli)simplies. Wereferto[Mil94,Vin93℄

foraproof.

Lemma 5.1. For any one-parameter family of spherial (resp. hyperboli) simplies, its volume

V

^satises

2dV = P

e Im(l e )dα e

^(resp.

2dV = P

e l e dα e

^).

Notethatthelengthsonsideredherearethosedenedabove,sothattheyarein

(0, π)

^for^spherial^simplies,

andin

R _<0

forhyperbolisimplies.

5.2. Thegeneralizedvolume. Thepreviouslemmaleadstoafairlynaturaldenitionofareal-valuedvolume

overthespaeofangledsimplies.

Denition 5.2. Let

s

^be ^a tetrahedron and let

ω

^be ^the

1

^-form ^(Shläi ^1-form) ^dened ^on

AS(s)

^by

2ω = P

e (Re(l e ) + Im(l e ))dα e

^.

Notethat theShläi1-formisaontinuous1-formdenedonthe6-dimensionalonvexpolytope

AS (s)

^.

Itisprovedin[Luo07℄ that,

Lemma5.3.

ω

^is^losed.

Remarkthat

ω

^vanishesôn^the^subspaeôfÊulidean^simplies.

Denition5.4. The generalizedvolume

V : AS(s) → R

isthe primitive of

ω

^whih ^vanishes ^on^the ^Eulidean

simplies.

There is another possibility, namely to dene the volume as a omplex-valued funtion, dening

ω

^as

(1/2) P

e l e dθ e

^. ^The^denition^hosen^here^serves^well^for^our^purposes.

Note that

V

ôrresponds ^to ^the ûsual ^volume ôn ^spherial ând ^hyperboli ^simplies ^by ^Lemma ^5.1. ^The

volumeofEulideansimpliesiszerobydenition. However,thevolumeofippedanddoublyippedEulidean

simplexesarenotzero.

Lemma5.5. Let

α ∈ AS(s)

^.

(1) Supposethat

α

îsîppedÊulidean,^with^the^lengthsôf^theêdgesâdjaent^to

v 1

^equal^to

iπ

^and^the ^other

lengthsequal to

0

^. ^Then

V (α) = π(α 12 + α 13 + α 14 − π) .

(2) Supposethat

α

îs^doubly îppedÊulidean,^with

l 12 = l 34 = 0

ând^the ôther ^lengthsêqual ^to

iπ

^. ^Then

V (α) = π(α 13 + α 14 + α 23 + α 24 − 2π) .

Note that in eahasethe volume, without thefator

π

^, îs êqual^to ^the âreaôfâ ^spherial^polygon ^this

willbeusefulbelow.

Proofof Lemma 5.5 . Fortherstase,onsiderasmalldeformationthatinreasesslightlythe

α 1i

^,

2 ≤ i ≤ 4

^.

This deforms

α

^into^a ^spherial^simplex

α ^′

^, ^with ^verties

v 2 , v 3

^and

v 4

^very^lose ^to ^the^antipode ^of

v 1

^. ^The

(spherial)Shläiformula,appliedtoa1-parameterformuladeformingthissimplextoasegmentoflength

π

^,

showsthatthevolumeofthissimplexisequalto

π(α ^′ 12 + α ^′ 13 + α ^′ 14 − π)

^,^and^the^result^follows^for

α

^.

(9)

Thesameargumentworksintheseondase,theorrespondingspherialsimplex nowhas

v 1 , v 2

^very^lose

andalmostantipodaltoboth

v 3

^and

v 4

^.

Thereisaquitedierentwaytodenethisvolume ofdomainsintheextended hyperbolispae,interms

ofananalytiontinuation[CK06℄.

5.3. Smoothness. Foralosed triangulated3-manifold

(M, T )

^,^the^volume

V

ôfânângle ^system

x ∈ AS(T )

isthesumofthevolumeofitsangled3-simplexes. Thus

v : AS(T ) → R

isa

C ¹

^smooth^funtion. ^Moreover^it

isrealanalytioutsidetheset ofEulideantypesimplies.

6. Critial points

ThissetionontainstheproofofTheorem 1.3.

6.1. Gluing onditions. Suppose

(M, T )

îs âônneted triangulatedlosed 3-manifold so that

AS(T ) 6= ∅

^.

Wewillonsiderthevolumeoptimization

V : AS(T ) → R

.

Lemma6.1. Let

θ 0 ∈ AS (T )

^be^a^ritial ^point^of

V

^on

AS(T )

^. ^Then, ^for ^eah ^edge

e

^of

T

^,^the ^lengths^of

e

for allthe simplies ontainingitare equal.

Thisfollowsfromthedenitionof

ω

^. ^By^the^lassiation^lemma^4.5ând^theônnetivityôf

M

^,^we^see^that

thetypesofanytwo3-simplexesin

T

ⁱⁿ

ω

^are^the^same.

If

ω

îsâ^loal^maximum^pointôf

V

^,^thenîtânnot^happen^that âll^3-simpliesⁱⁿ

ω

^are^Eulidean^simplies.

Indeed,ifotherwise,thevolumeof

ω

^is^zero. ^However,^if^we^perturb

ω

^slightlyⁱⁿ

AS(T )

^to^obtain^a^new^point

ω ^′

^, ^then ^all^simplies ⁱⁿ

ω ^′

^an ^be ^hyperboli ^and ^spherial^simplies. ^Thus

V (ω ^′ ) > V (ω)

^whih ^ontradits

theloalmaximumondition.

AordingtoLemma3.7,fornon-Eulideantypesimplies,edgelengthsdeterminetheisometrytype. Sowe

obtain,

Corollary 6.2. Suppose

ω

îs ^not ôf Êulidean ^type. ^The ^faes ôf ^the ^simplies ân ^be ^glued isometrially.

Furthermore,

θ 0

^denes ⁱⁿ^this ^wayêitherâ^spherial ^strutureôr âHS-struture

h

^on

M

^.

Indeed,therearetwopossibilities. Namelyeither allsimplieesin

ω

âreôf^spherial^type,ôr^theyâreâllôf

hyperbolitype. Inthespherialtypease,allsimpliesare spherialandaregluedbyisometries sothat the

sumofanglesaroundeahedgeis

2π

^. ^Thus^weôbtainâ^spherial^metriôn

M

^. În^theâse^whereâll^simplies

areofhyperbolitype,byLemma4.5,werealizeeahsimplexin

ω

^as^a^geometritetrahedronin

HS ˜ ³

^so^that

theirfaesanbegluedisometrially. Thus,weobtainanHS-strutureon

M

^. ^Indeed, ^there^are^two^subases

whihouldour. Intherstase,allsimpliesarehyperboli. Thusweobtainahyperbolimetrion

M

^. ^In

theseond ase,somesimplexisaipped hyperboli. Thenweobtainan HS-strutureon

M

^by^gluing ^these

geometritetrahedrain HS-geometry.

Notethat allvertiesof

T

^areⁱⁿ^the^hyperboli^part^of^thisHS-struture.

6.2. Normal spheres in HS-strutures. Continuing the proof of Theorem 1.3, we onsider here an HS-

struture

h

^on

M

^, ^along ^with ^a triangulation

T

^with ^all ^verties^of

T

ⁱⁿ ^the ^hyperboli^part ^of

h

^. ^Suppose

moreoverthatthedeSitterpart

M dS

^for

h

^is^non-empty. ^Let

M 0

^beâônnetedômponentôf

M dS

^.

Then

M 0

^isgeodesiallyomplete,soitisisometrieithertothedeSitterspae

dS ³

^or^to^its^quotient^by^the

antipodalmap (see[Mes07,ABB

+

07℄). Therefore anyplane inthe tangentspae to

M 0

ât â^pointîs ^tangent

toa(unique)totallygeodesispae-likeplanein

M 0

^,^whih^ishomeomorphieither to

S ²

⁽ⁱⁿ^the^rst^ase)^or

to

R P ²

⁽ⁱⁿ^the^seondâse). Êahôf^those^totally^geodesi^surfaesîsâ^normal^surfaeⁱⁿ^thetriangulation

T

of

M

^.

This simple argument shows that eah onneted omponent of the de Sitter part of

h

^orresponds ^to ^a

normalsurfaein

(M, T )

^.

(10)

6.3. NormalspheresforEulidean ritialpointsof

V

^. În^this^setion^weônsider^the^same^questionâs

in 6.2, about normalsurfaes in

(M, T )

^, ^but ^for ^ritial^points ^of

V

^for^whih âll^simplies âre ôf Êulidean

type. The argumentsare ofthesomehowsimilarbut are lessgeometri andmoreombinatorial, beausethe

geometristruturesonthesimpliesannotbegluedtoobtainageometristrutureofEulideantypeon

M

^.

Wehaveseenin5.2thatto eahipped(resp. doublyipped)Eulideansimplex

s

ⁱⁿ

T

^an^be^assoiated

aspherialtriangle(resp. aquadrilateral). Theedgesofthistriangle(resp. quadrilateral)areassoiatedtothe

2-faesof

T

^whih ^haveêxatly^twoêdges ôf^length

iπ

^. ^Eah ^suh ^fae ^bounds ^two^simplies ^whih ^are ^both

either ipped or doubly ipped. It follows that thetriangles (resp. quadrilaterals)an be glued along their

edgesto obtainalosedsurfae

Σ

^(whih ⁱⁿ^generalîs^notônneted)^however^this^gluingânnot ⁱⁿ^general

beisometriforthespherialmetrissinethelengthsoftheedgesdonotmath. Moreover,thevertiesofthe

triangulationof

Σ

ôrrespond^to^theêdgesôf

T

^of^length

iπ

^.

Remark6.3. Theanglesof the triangles(resp. quadrilateral) ateah vertexsumupto

2π

^.

Proof. Theanglesofthetriangles(resp. quadrilateral)adjaenttoeahvertexof

Σ

âreêqual^to ^theânglesôf

thesimplies of

T

^at ^theorrespondingedgeof length

iπ

^. ^Those^angle ^sum^up^to

2π

^by^denition ôf âângle

strutureon

T

^.

Corollary6.4. Eahonnetedomponentof

Σ

^ishomeomorphieithertothesphereortotheprojetiveplane.

The sumof the areasof thefaesof

Σ

îsânînteger ^multipleôf

2π

^.

Proof. Let

Σ 0

^beâônnetedômponentôf

Σ

^,^let

F 0

^be^the^setôfîts^2-faes,ând^let

V 0

^be^the^set^of^its^verties.

Given

f ∈ F 0

^and

v ∈ V 0

^, ^we^write

v ≃ f

^if

v

^is^adjaent^to

f

^,ⁱⁿ^this^ase^we^all

θ f,v

^the^angle^of

f

^at

v

^.

Let

a(f )

^be^the^area^of^the^fae

f

^of

Σ

^. ^For^eah^fae

f ∈ F 0

^of

Σ 0

^,^we^have^by^theGauss-Bonnetformula

X

v∈V 0 ,v≃f

(π − θ f,v ) = 2π − a(f ) .

Summingoverthefaesof

Σ 0

^yields^that

X

f∈F 0



 X

v∈V 0 ,v≃f

(π − θ f,v )



 = 2π#F 0 − X

f∈F 0

a(f ) .

The number of wedges in the triangulation of

Σ 0

îs ^twie ^the ^number ôf êdges, ^whih ^we ^denote ^by

#E 0

^.

Therefore

X

f∈F 0

X

v∈V 0 ,v≃f

π = 2π#E 0 .

Moreovertheanglesofthefaesat eahvertexsumupto

2π

^,^so^that

X

f∈F 0

X

v∈V 0 ,v≃f

θ f,v ) = 2π#V 0 .

UsingthedenitionoftheEulerharateristi,weobtainthat

X

f∈F 0

a(v) = 2π#V 0 − 2πE 0 = 2πF 0 = 2πχ(Σ 0 ) ,

andbothparts oftheorollaryfollowimmediately.

Corollary 6.5. At aritial pointof

V

^whereâll ^simplies âreôf Êulidean ^type,

V

îs ânînteger ^multiple ôf

2π ²

^.

Proof. Lemma5.5showsthatthevolumeofeahipped(resp. doublyipped)simplex isequalto

π

^times^the

areaoftheorrespondingtriangle(resp. quadrilateral)in

Σ

^. ^So^the^total^volume ^is

π

^times^the^area^of

Σ

^, ^so

thatitisanon-negativeintegermultiple of

2π ²

^.

(11)

7. Further questions

Themainpointpresentedhereisthatextendedhyperbolistrutureshaveanaturalrolewhenonstruting

geometri strutures on manifolds by maximization of volume over triangulated manifolds. This leads to a

numberofquestions,forwhihanswerswouldpresumablyhelpmakeprogressontheunderstandingofgeometri

strutureson3-manifolds.

Question7.1. IfM isaonnetedsumof several hyperboli3-manifolds, does Msupportan HS-struture?

Another,moregeneralquestion,iswhethertheonstrutionsonsideredhereanbeextendedtoenompass

angles strutureswith someidealverties. This wouldmean allowingangle strutureson simplies forwhih

the sumof theangles at avertexis equalto, rather than lessthan,

2π

^. Ôur^hopeîs ^that ^suh îdeal ^verties

wouldpermitritialpointsofthevolumetorealizetorusdeompositionsofnonatoroidal3-manifolds.Another

possibility,addingsomeexibilitytotheonstrution,wouldbetoallowforvertiesinthedeSitterpartofthe

extendedhyperboli spae.

Another natural question is of ourse to understand the ritial points of

V

^on ^the ^boundary ^of

AS(T )

^,

hopefullyshowingthat thoseboundaryritialpointsorrespondtoollapsings.

Alast,moretehnialquestion,iswhetherexisteneofaritialpointof

V

^on

AS(T )

^for^whih^all^simplies

are ofEulidean typehastopologial onsequeneson

M

^. ^Fôrînstane, îf âll^simplies âreÊulidean ^(rather

than only of Eulidean type), does it follow that

M

âdmits ân Êulidean ^metri ôr ^more ^generally îs

M

^a

onnetedsumofSeifert beredspaes? Thisis notobvioussinetheanglesofthesimplies addupto

2π

^at

the edges of

T

^, ^but ^theêdge ^lengths ^do^not ^math ^so ^that ^the^faes ôf ^the ^simplies ânnot ^beisometrially glued.

Referenes

[ABB

+

07℄ LarsAndersson, ThierryBarbot,RiardoBenedetti,FranesoBonsante,William M.Goldman,FrançoisLabourie,

KevinP.Sannell,and Jean-MarShlenker.Notes on: Lorentzspaetimes ofonstanturvature [Geom.Dediata

126(2007),345;mr2328921℄byG.Mess.Geom.Dediata,126:4770,2007.

[CK06℄ YunhiChoand Hyuk Kim.Volume of

C ^1,α

-boundary domaininextended hyperboli spae. J.Korean Math.So., 43(6):11431158,2006.

[KL℄ A.KitaevandFengLuo.Existeneofanglestrutureson3-manifolds,inpreparation

[Luo93℄ FengLuo.TriangulationsinMöbiusgeometry.Trans.Amer.Math.So.337(1993),no.1,181193.

[Luo07℄ FengLuo.Volumeandanglestrutureson3-manifolds.AsianJ.Math.,11(4):555566,2007.

[Mes07℄ GeoreyMess.Lorentzspaetimesofonstanturvature.Geom.Dediata,126:345,2007.

[Mil94℄ JohnMilnor.TheShläidierentialequality.InColletedpapers,vol.1.PublishorPerish,1994.

[Sh98℄ Jean-MarShlenker.Métriquessurlespolyèdreshyperboliquesonvexes.J.DierentialGeom.,48(2):323405,1998.

[Sh01℄ Jean-MarShlenker.ConvexpolyhedrainLorentzianspae-forms.AsianJ.Math.,5(2):327363,2001.

[Vin93℄ E.B.Vinberg,editor.GeometryII,GeometryofSpaesofConstantCurvature,volume29ofEnylopaediaof Mathe-

matialSienes.Springer,1993.

F.L.: DepartmentofMathematis,RutgersUniversity,Pisataway,NJ08854,USA.

J.-M.S.: InstitutdeMathématiquesdeToulouse,UMRCNRS5219,UniversitéToulouseIII,31062Toulouse

edex9,Frane.

arXiv:0908.2023v1 [math.GT] 14 Aug 2009