1 yana mohanty hyperbolic polyhedra: volume and scissors congruence ph.d. defense department of...
TRANSCRIPT
![Page 1: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/1.jpg)
1
Yana Mohanty
Hyperbolic Polyhedra: Volume and Scissors Congruence
Ph.D. DefenseDepartment of Mathematics
University of California, San DiegoJune 6, 2002
![Page 2: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/2.jpg)
2
Scissors Congruence
Example in 2-D:
![Page 3: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/3.jpg)
3
Scissors Congruence
2 polytopes are scissors congruent ifyou can cut one up into polygonal pieces that can be reassembled to give the other.
Example in 3-D:
Equalvolume
Not equidecomposable![Max Dehn, 1900]
![Page 4: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/4.jpg)
4
Key scissors congruence results
• 2 Dimensions– Euclidean: Equal area scissors congruence
[Euclid]
– Hyperbolic and spherical: Equal area scissors congruence [19th century]
• 3 Dimensions– Euclidean: Equal volume+same Dehn invariant
scissors congruence [Dehn, 1900( ); Sydler, 1965 ( )]
– Hyperbolic and spherical:Open conjecture
![Page 5: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/5.jpg)
5
The Classical Dehn Invariant
ZR RZ R RQ
Z
P=polyhedron E=edge(E)=dihedral angle at edge E (radians=# half revolutions)l(E)=length of E
Idea: find a function on P invariant under slicing
where g(a+b)=g(a)+g(b) and g()=0,))(()()( Pofedgesall
EgEPf
Pofedgesall
EEP )()(:)( Modern version:
R RQQ
![Page 6: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/6.jpg)
6
Regge symmetries
),',,',',,()',',',,,( cscsabsbsacbacba
where s=(b+b’+c+c’)/2.
•Involutive
•6j-symbol invariant under these
•Gives another tetrahedron
•…with the same volume and Dehn invariant!! [Justin Roberts, 1999]
•Generate a family of 12 scissors congruent tetrahedra
a
b
c
a’ c’
b’
•This relation applies to side lengths and dihedral angles![Regge and Ponzano, 1968]
![Page 7: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/7.jpg)
7
H3: The Poincare and upper half-space models (obtained by inversion)
z=0
z>0
metric:
2
2222
z
dzdydxds
d
Rd
2
Inversion:
metric:
2222
2222
)](1[4
zyx
dzdydxds
;1222 zyx
CONFORMAL
![Page 8: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/8.jpg)
8
H3: The upper halfspace model
(obtained by inversion)
metric:
2
2222
z
dzdydxds
z=0
z>0
![Page 9: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/9.jpg)
9
Ideal tetrahedron in H3 (Poincare model)
![Page 10: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/10.jpg)
10
Ideal tetrahedron in H3 (half-space model)
A
B
C
B
CAView from Above
![Page 11: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/11.jpg)
11
Important facts about volumes of ideal hyperbolic tetrahedra
• At any vertex
3
1ianglesdihedral
• Opposite dihedral angles are equal
• “Isosceles” ideal tetrahedra are the basic building blocks
![Page 12: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/12.jpg)
12
Isosceles ideal tetrahedronwith apex angle
A B
C
L()
![Page 13: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/13.jpg)
13
Reflections in H3 (half-space model)
= Inversions in hemispheres
sphere,planesphere,plane
line, circle line, circle
![Page 14: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/14.jpg)
14
T(ABCD)~T(ABC)
A
B
C
Isosceles tetrahedra as basic building blocks:Klein model picture
D’
T(ABCD)+T(ABC)=
T(ABD)+ T(BCD)+T(ACD)
View from Above
B
CA
D
2T(=2L()+2L()+2L()
D
![Page 15: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/15.jpg)
15
An arbitrary ideal tetrahedron as a linear combination of isosceles ideal tetrahedra
T(ABCD)~T(ABC)
A
B
C
D
T(ABCD)+T(ABC)=
T(ABD)+ T(BCD)+T(ACD)
View from Above
B
CA
D
Notation: L()= T(CBD’ )
D’
![Page 16: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/16.jpg)
16
Derivation of the volume of an isosceles ideal tetrahedron using integrals
Hemisphere
,1 22 yxz 0z
A
B
C
D
D’
cos
0
tan
0 1
322x
x
y yxzz
dxdydz
metric:
2
2222
z
dzdydxds
1
V(L()/2)
![Page 17: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/17.jpg)
17
Derivation of the volume of an isosceles ideal tetrahedron using integrals
where
V(L()/2)=()/2
-3 -2 -1 1 2 3
-0.4
-0.2
0.2
0.4
duu
0
sin2log)(
![Page 18: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/18.jpg)
18
Volume of an arbitrary ideal tetrahedron in terms of the
Lobachevsky function
V()=
where duu
0
sin2log)(
![Page 19: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/19.jpg)
19
What about non-ideal tetrahedra?
1 non-ideal point:
Step 1:Extend edges to infinity
![Page 20: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/20.jpg)
20
Step 2: view as a combo of ideal tetrahedra
b’
a’
“Twisted prism”=2 {a,b,c,p}={a,b,c,p}+{c’,b’,a’,p}={a,b,c,c’}+{a,a’,b’,c’}-{a,b,b’,c’}
ab
c
c’
C’
B’
A’
A’
B’
C’
p
AB
C
![Page 21: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/21.jpg)
21
Why bother with the twist?
Prism=2{a,b,c,a’’,b’’,c’’}={a,b,c,c’}+{a,a’,b’,c’}-{a,b,b’,c’}
b’a’
a
b
c
c’
C’
B’
A’
A’
B’
C’
A B C
b’’
a’’c’’
![Page 22: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/22.jpg)
22
Claim:3/4-ideal --> stump
continuousdeformation
2-D analogue:Klein or hyperboloid model
hypoideal ideal hyperideal
![Page 23: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/23.jpg)
23
Main idea of Leibon’s formula:
Take the idea of the (un)twisted prism to the extreme
A’
B’
C’
AB
C
A
BC
A’
B’C’
![Page 24: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/24.jpg)
24
Triangulation
A
BC
A’
B’C’
Octahedron
a
b
c
d
e
f
gh
Remark: the chiseled away stuff is all linear in A,B,C,A’,B’,C’
![Page 25: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/25.jpg)
25
Determining angles of the octahedron, cont’d
Half-space model
Linear constraints:
AB+BA+e=BC+CB+f=CD+DC+g=DA+AD+h=
AB+AD=aBA+BC=bCB+CD=cDC+DA=d
AB
BA
BCCB
CD
DC
DAAD
e
f
g
h
a
b
c
d 1-dim space of solutions
![Page 26: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/26.jpg)
26
Determining angles of the octahedron, cont’d
e
f
g
h
a
b
c
d
This is can occur!
ZAB
ZBA
ZBC ZCB
ZCD
ZDC
ZDA
ZAD
),,,,,,,( ADDADCCDCBBCBAABChoose a point in the 1-dim space of solutions
Solve for Z by ensuring holonomy condition:
1)sin()sin()sin()sin(
)sin()sin()sin()sin(
ZADZDCZCBZBA
ZDAZCDZBCZAB
Substitute sin()=(ei-e-i)/2 quadratic in e2iArgZ
![Page 27: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/27.jpg)
27
Which root is the correct one?
They both are!
)',',',,,(
)()()()()()()()(
CBACBAoffnslinear
ZADZDAZDCZCDZCBZBCZBAZAB
V(T) if Z=Arg(- sqrt…)/2
-V(T) if Z=Arg(+ sqrt…)/2
)]()()()()()()()([
)()()()()()()()()(2
ZADZDAZDCZCDZCBZBCZBAZAB
ZADZDAZDCZCDZCBZBCZBAZABTV
Second root octahedron with angles that are -angles of original octahedron
![Page 28: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/28.jpg)
28
b2
a2c2
b1
a1
c1a’1
b’2
a’2
b’1
c’2
c’1
Roots correspond to “dual” octahedra
Half prism=({a,b,c,c’}+{a,b,b’,a’,c’})/2
Actual case:
Note: angles are -each other
T=Average of the 2 octahedra
b2
a2c2
b1
a1
c1a’1
b’2
a’2
b’1
c’2
c’1
Warm-up:
a
c
b
b’c’
a’
a
c
b
b’c’
a’
{a,b,b’,a’,c}
![Page 29: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/29.jpg)
29
Geometric interpretation of V(T)
)]()()()()()()()([
)()()()()()()()()(2
DAADCDDCBCCBABBA
ADDADCCDCBBCBAAB
ZADZDAZDCZCDZCBZBCZBAZAB
ZADZDAZDCZCDZCBZBCZBAZABTV
2 T=
+
AB
BABC
CBCD
DC
DAAD
e
f
g
h
AB’
BA’BC’CB’
CD’
DC’
DA’ AD’
-e
-f
-g
-h
By Dupont’s unique 2-divisibility result
T=+
AB
BA
BC CB
CDDC
DAAD
AB’
BA’
BC’ CB’
CD’DC’
DA’AD’
![Page 30: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/30.jpg)
30
How to obtain T(s-A,B,s-C,s-A’,B’,s-C’) fromT(A,B,C,A’,B’,C’) (s=(A+C+A’+C’)/2)
T(A,B,C,A’,B’,C’)= +AB
BA
BC CB
CDDC
DAAD
AB’
BA’
BC’ CB’
CD’DC’
DA’AD’
T(s-A,B,s-C,s-A’,B’,s-C’)= AB
DC
BC CB
BA
DC
DAAD
AB’DC’
BC’CB’
CD’BA’
DA’AD’
+
![Page 31: 1 Yana Mohanty Hyperbolic Polyhedra: Volume and Scissors Congruence Ph.D. Defense Department of Mathematics University of California, San Diego June 6,](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cee5503460f949bc692/html5/thumbnails/31.jpg)
31
Future work
Constructive example of unique 2-divisibility:
How do you make this with ideal tetrahedra without dividing by 2?
Construct the Regge scissors congruence in Euclidean space