The Moduli Space of Real Binary Octics Kenneth Chu Doctoral Thesis Defense

advertisement
The Moduli Space of Real Binary Octics
Kenneth Chu
Doctoral Thesis Defense
Department of Mathematics
University of Utah
chu@math.utah.edu
March 9, 2006
The Moduli Space of Real Binary Octics
. – p.1/12
The Moduli Space of Real Binary Octics
Binary octics
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
= P
(
coeff. space of
binary octic forms
)!
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
= P
(
coeff. space of
binary octic forms
)!
= P(P)
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
= P
(
coeff. space of
binary octic forms
)!
= P(P) ∼
= CP8
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
= P
=
(
(
coeff. space of
binary octic forms
)!
= P(P) ∼
= CP8
unordered 8-point configurations
1
in CP , counting multiplicity
)
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
= P
=
(
(
coeff. space of
binary octic forms
)!
= P(P) ∼
= CP8
unordered 8-point configurations
1
in CP , counting multiplicity
)
Real
. – p.1/12
The Moduli Space of Real Binary Octics
1
Binary octics := Hypersurfaces in CP of degree 8
= P
=
(
(
coeff. space of
binary octic forms
)!
= P(P) ∼
= CP8
unordered 8-point configurations
1
in CP , counting multiplicity
)
Real := defining polynomial has coeff’s in R
. – p.1/12
The Moduli Space of Real Binary Octics
. – p.2/12
The Moduli Space of Real Binary Octics
MR
s
. – p.2/12
The Moduli Space of Real Binary Octics
R
:=
P(P
MR
s )/PGL(2, R)
s
. – p.2/12
The Moduli Space of Real Binary Octics
R
:=
P(P
MR
s )/PGL(2, R)
s
[
MR
0
. – p.2/12
The Moduli Space of Real Binary Octics
R
:=
P(P
MR
s )/PGL(2, R)
s
[
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
G
M0R,4
. – p.2/12
The Moduli Space of Real Binary Octics
R
:=
P(P
MR
s )/PGL(2, R)
s
[
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
i
0 1
2 3 4
# complex conjugate pairs
0 1
8 6
2 3 4
4 2 0
# real points
G
M0R,4
. – p.2/12
Main Results
. – p.3/12
Main Results
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
G
M0R,4
. – p.3/12
Main Results
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
G
M0R,4
5
R
∼
1.
= PΓi \ RH − H , i = 0, . . . , 4, with PΓR
i
explicitly given. They are arithmetic groups.
MR,i
0
. – p.3/12
Main Results
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
G
M0R,4
5
R
∼
1.
= PΓi \ RH − H , i = 0, . . . , 4, with PΓR
i
explicitly given. They are arithmetic groups.
MR,i
0
R , PΓR , PΓR are finite-index subgroups of
2. PΓR
,
PΓ
0
1
2
4
discrete reflection groups in Isom(RH5 ).
. – p.3/12
Main Results
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
G
M0R,4
5
R
∼
1.
= PΓi \ RH − H , i = 0, . . . , 4, with PΓR
i
explicitly given. They are arithmetic groups.
MR,i
0
R , PΓR , PΓR are finite-index subgroups of
2. PΓR
,
PΓ
0
1
2
4
discrete reflection groups in Isom(RH5 ).
3. The Allcock-Carlson-Toledo construction of MR
s is not a
hyperbolic orbifold.
. – p.3/12
Main Results
MR
0
=
M0R,0
G
M0R,1
G
M0R,2
G
M0R,3
G
M0R,4
5
R
∼
1.
= PΓi \ RH − H , i = 0, . . . , 4, with PΓR
i
explicitly given. They are arithmetic groups.
MR,i
0
R , PΓR , PΓR are finite-index subgroups of
2. PΓR
,
PΓ
0
1
2
4
discrete reflection groups in Isom(RH5 ).
3. The Allcock-Carlson-Toledo construction of MR
s is not a
hyperbolic orbifold. (In contrast with the cases of real
cubic surfaces and real binary sextics.)
. – p.3/12
The Deligne-Mostow Construction of MC
s
. – p.4/12
The Deligne-Mostow Construction of MC
s
MC
s
. – p.4/12
The Deligne-Mostow Construction of MC
s
MC
s
p
−→ PΓ\CH5
. – p.4/12
The Deligne-Mostow Construction of MC
s
MC
s
p
−→ PΓ\CH5
∪
MC
0
. – p.4/12
The Deligne-Mostow Construction of MC
s
MC
s
p
−→ PΓ\CH5
∪
MC
0
∪
p
5
−→ PΓ\ CH − H
. – p.4/12
The Deligne-Mostow Construction of MC
s
MC
s
p
−→ PΓ\CH5
∪
MC
0
∪
p
5
−→ PΓ\ CH − H
PΓ := PIsom(Λ)
. – p.4/12
The Deligne-Mostow Construction of MC
s
p
−→ PΓ\CH5
MC
s
∪
∪
p
MC
0
PΓ := PIsom(Λ)
Λ :=
Z[ i ]6 ,
5
−→ PΓ\ CH − H
2
4
−2
1−i
1+i
−2
3
2
5⊕4
−2
1−i
1+i
−2
3
2
5⊕4
0
1−i
1+i
3
0
5
. – p.4/12
The Deligne-Mostow Construction of MC
s
p
−→ PΓ\CH5
MC
s
∪
∪
p
MC
0
PΓ := PIsom(Λ)
Λ :=
Z[ i ]6 ,
5
−→ PΓ\ CH − H
2
4
−2
1−i
1+i
−2
3
2
5⊕4
signature(Λ) = (1+, 5−)
−2
1−i
1+i
−2
3
2
5⊕4
0
1−i
1+i
3
0
5
. – p.4/12
The Deligne-Mostow Construction of MC
s
p
−→ PΓ\CH5
MC
s
∪
∪
p
MC
0
PΓ := PIsom(Λ)
Λ :=
Z[ i ]6 ,
5
−→ PΓ\ CH − H
2
4
1+i
−2
1−i
−2
3
2
5⊕4
signature(Λ) = (1+, 5−)
CH
5
:= CH Λ ⊗Z[ i ] C
−2
1−i
1+i
−2
3
2
5⊕4
0
1−i
1+i
3
0
5
. – p.4/12
The Deligne-Mostow Construction of MC
s
p
−→ PΓ\CH5
MC
s
∪
∪
p
MC
0
PΓ := PIsom(Λ)
Λ :=
Z[ i ]6 ,
5
−→ PΓ\ CH − H
2
4
1+i
−2
1−i
−2
3
2
5⊕4
−2
1−i
1+i
−2
3
2
5⊕4
0
1−i
signature(Λ) = (1+, 5−)
5
:= CH Λ ⊗Z[ i ] C
[n
H :=
CH(r⊥ ) ⊂ CH5
CH
r ∈ Λ, hr, ri = −2
1+i
3
0
5
o
. – p.4/12
The Allcock-Carlson-Toledo Construction of MR
s
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
)
⊂
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
)
⊂
[
RH ( Fix(χ) ⊗Z R )
[χ]∈PIAI(Λ)
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
)
⊂
[
RH ( Fix(χ) ⊗Z R )
⊂
CH5
[χ]∈PIAI(Λ)
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
)
⊂
[
RH ( Fix(χ) ⊗Z R )
⊂
CH5
[χ]∈PIAI(Λ)
p ∈ P0
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
⊂
[
RH ( Fix(χ) ⊗Z R )
⊂
CH5
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
⊂
[
RH ( Fix(χ) ⊗Z R )
⊂
CH5
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
⊂
[
RH ( Fix(χ) ⊗Z R )
⊂
CH5
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
p ∈ P0R
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
⊂
[
RH ( Fix(χ) ⊗Z R )
⊂
CH5
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
p∈
P0R
κp
antiholomorphic involution Xp −→ Xp
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
⊂
[
RH ( Fix(χ) ⊗Z R )
CH5
⊂
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
p∈
P0R
κp
antiholomorphic involution Xp −→ Xp
1
κ
1
induced by complex conjugation CP −→ CP
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
⊂
[
RH ( Fix(χ) ⊗Z R )
CH5
⊂
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
p∈
P0R
κp
antiholomorphic involution Xp −→ Xp
κ
1
1
induced by complex conjugation CP −→ CP
κ∗p
involutive anti-isometry (IAI) Λ(Xp ) −→ Λ(Xp )
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
[
⊂
RH ( Fix(χ) ⊗Z R )
CH5
⊂
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
p∈
P0R
κp
antiholomorphic involution Xp −→ Xp
κ
1
1
induced by complex conjugation CP −→ CP
κ∗p
involutive anti-isometry (IAI) Λ(Xp ) −→ Λ(Xp )
χp
IAI Λ −→ Λ, which fixes the period of p
. – p.5/12
The Allcock-Carlson-Toledo Construction of MR
s
(
periods of
real octics
p ∈ P0
)
[
⊂
RH ( Fix(χ) ⊗Z R )
CH5
⊂
[χ]∈PIAI(Λ)
1
branched cover Xp −→ CP
with cyclic action σ
Λ(Xp ) ∼
= Λ integral cohomology with intersection form
p∈
P0R
κp
antiholomorphic involution Xp −→ Xp
κ
1
1
induced by complex conjugation CP −→ CP
κ∗p
involutive anti-isometry (IAI) Λ(Xp ) −→ Λ(Xp )
χp
IAI Λ −→ Λ, which fixes the period of p
5
:
Re-assemble
the
RH
’s
A-C-T construction of MR
s
“appropriately.”
. – p.5/12
PIAI(Λ)R and PIAI(Λ)antip
. – p.6/12
PIAI(Λ)R and PIAI(Λ)antip
PIAI(Λ)
. – p.6/12
PIAI(Λ)R and PIAI(Λ)antip
PIAI(Λ)
=
PIAI(Λ)
R
G
PIAI(Λ)antip
. – p.6/12
PIAI(Λ)R and PIAI(Λ)antip
PIAI(Λ)
=
PIAI(Λ)
R
G
PIAI(Λ)antip
PIAI(Λ)
PIsom(Λ)
. – p.6/12
PIAI(Λ)R and PIAI(Λ)antip
PIAI(Λ)
=
PIAI(Λ)
R
G
PIAI(Λ)antip
PIAI(Λ)R G PIAI(Λ)antip
PIAI(Λ)
=
PIsom(Λ)
PIsom(Λ)
PIsom(Λ)
| {z }
| {z }
5 elements
1 element
. – p.6/12
PIAI(Λ)R and PIAI(Λ)antip
PIAI(Λ)
=
PIAI(Λ)
R
G
PIAI(Λ)antip
PIAI(Λ)R G PIAI(Λ)antip
PIAI(Λ)
=
PIsom(Λ)
PIsom(Λ)
PIsom(Λ)
| {z }
| {z }
5 elements
1 element
PIAI(Λ)R
PIsom(Λ)
. – p.6/12
PIAI(Λ)R and PIAI(Λ)antip
PIAI(Λ)
=
PIAI(Λ)
R
G
PIAI(Λ)antip
PIAI(Λ)R G PIAI(Λ)antip
PIAI(Λ)
=
PIsom(Λ)
PIsom(Λ)
PIsom(Λ)
| {z }
| {z }
5 elements
PIAI(Λ)R
PIsom(Λ)
↔
n
1 element
connected components of MR
0
o
. – p.6/12
MR
0 and Its Connected Components
. – p.7/12
MR
0 and Its Connected Components
MR
0
. – p.7/12
MR
0 and Its Connected Components
∼
MR
0 = PIsom(Λ)
-

G
[χ]∈PIAI(Λ)R

RH5[χ] − H 
. – p.7/12
MR
0 and Its Connected Components
∼
MR
0 = PIsom(Λ)
∼
=
4
G
k=0
-
StabPIsom(Λ)

G
[χ]∈PIAI(Λ)R
(RH5[χk ]

RH5[χ] − H 
/
5
RH
[χk ] − H
)
. – p.7/12
MR
0 and Its Connected Components
∼
MR
0 = PIsom(Λ)
∼
=
4
G
k=0
-
StabPIsom(Λ)

G
[χ]∈PIAI(Λ)R
(RH5[χk ]

RH5[χ] − H 
/
5
RH
[χk ] − H
)
where PIAI(Λ)R /PIsom(Λ) = { [χ0 ], . . . , [χ4 ] } .
. – p.7/12
MR
0 and Its Connected Components
∼
MR
0 = PIsom(Λ)
∼
=
4
G
-
StabPIsom(Λ)
k=0
∼
=
4
G

G
[χ]∈PIAI(Λ)R
(RH5[χk ]

RH5[χ] − H 
/
5
RH
[χk ] − H
)
MR,k
0 ,
k=0
where PIAI(Λ)R /PIsom(Λ) = { [χ0 ], . . . , [χ4 ] } .
. – p.7/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp.
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices.
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
Every element of IAI(Λ) fixes a primitive null vector.
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
Every element of IAI(Λ) fixes a primitive null vector.
Fix a primitive null vector e6 ∈ Λ.
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
Every element of IAI(Λ) fixes a primitive null vector.
Fix a primitive null vector e6 ∈ Λ.
Then, every element of IAI(Λ) has a PIsom(Λ)-conjugate that fixes e6 .
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
Every element of IAI(Λ) fixes a primitive null vector.
Fix a primitive null vector e6 ∈ Λ.
Then, every element of IAI(Λ) has a PIsom(Λ)-conjugate that fixes e6 .
A complete list (but with redundancy) of Isom(Λ, e6 )-conjugacy classes of
e6 -preserving involutive anti-isometries is computable:
φI , φI′ , φII , φII′ , . . . , φVII′ .
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
Every element of IAI(Λ) fixes a primitive null vector.
Fix a primitive null vector e6 ∈ Λ.
Then, every element of IAI(Λ) has a PIsom(Λ)-conjugate that fixes e6 .
A complete list (but with redundancy) of Isom(Λ, e6 )-conjugacy classes of
e6 -preserving involutive anti-isometries is computable:
φI , φI′ , φII , φII′ , . . . , φVII′ .
The above is also a complete list (with redundancy) of representatives of
elements of PIAI(Λ)/PIsom(Λ).
. – p.8/12
Enumerating Elements of PIAI(Λ)R & PIAI(Λ)antip
PIsom(Λ)\CH5 has only one cusp. Λ has only one rankZ[ i ] -one
PIsom(Λ)-conjugacy class of null sublattices. Λ has only one
PIsom(Λ)-conjugacy class of primitive null vectors.
Every element of IAI(Λ) fixes a primitive null vector.
Fix a primitive null vector e6 ∈ Λ.
Then, every element of IAI(Λ) has a PIsom(Λ)-conjugate that fixes e6 .
A complete list (but with redundancy) of Isom(Λ, e6 )-conjugacy classes of
e6 -preserving involutive anti-isometries is computable:
φI , φI′ , φII , φII′ , . . . , φVII′ .
The above is also a complete list (with redundancy) of representatives of
elements of PIAI(Λ)/PIsom(Λ).
Each “primed and unprimed” pair has isometric fixed lattices.
. – p.8/12
Identifying “Topological Types” of φI , φI′ , . . . , φVII , φVII′
. – p.9/12
Identifying “Topological Types” of φI , φI′ , . . . , φVII , φVII′
O
Λ
(1+i)Λ
∼
= S8 .
. – p.9/12
Identifying “Topological Types” of φI , φI′ , . . . , φVII , φVII′
∼
= S8 . The monondromy group PIsom(Λ) is generated by “half
turns” of pairs of roots.
O
Λ
(1+i)Λ
. – p.9/12
Identifying “Topological Types” of φI , φI′ , . . . , φVII , φVII′
∼
= S8 . The monondromy group PIsom(Λ) is generated by “half
turns” of pairs of roots. The S8 above is realized as the permutation
group of the 8 distinct roots of a smooth octic.
O
Λ
(1+i)Λ
. – p.9/12
Identifying “Topological Types” of φI , φI′ , . . . , φVII , φVII′
∼
= S8 . The monondromy group PIsom(Λ) is generated by “half
turns” of pairs of roots. The S8 above is realized as the permutation
group of the 8 distinct roots of a smooth octic.
O
Λ
(1+i)Λ
Compute induced action of each of φI , φI′ , . . . , φVII , φVII′ :
. – p.9/12
Identifying “Topological Types” of φI , φI′ , . . . , φVII , φVII′
∼
= S8 . The monondromy group PIsom(Λ) is generated by “half
turns” of pairs of roots. The S8 above is realized as the permutation
group of the 8 distinct roots of a smooth octic.
O
Λ
(1+i)Λ
Compute induced action of each of φI , φI′ , . . . , φVII , φVII′ :
IAI
cycle structure
type
re-labeling
φI , φI′
(1)(2)(3)(4)(56)(78)
2
χ2
φII , φII′
(1)(2)(3)(4)(5)(6)(78)
1
χ1
φIII , φIII′
(1)(2)(34)(56)(78)
3
χ3
φIV , φIV′
(1)(2)(3)(4)(5)(6)(7)(8)
0
χ0
φV , φV′
same as φI , φI′
2
φVI , φVI′
(12)(34)(56)(78)
4 or antip
φVII , φVII′
(12)(34)(56)(78)
4 or antip
. – p.9/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
= PStabIsom(Λ) (Fix χk ) .
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
Fix(χk )
= PStabIsom(Λ) (Fix χk ) .
is a Z-lattice; its computation is straightforward. So
is that of PStabIsom(Λ) (Fix χk ).
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
Fix(χk )
= PStabIsom(Λ) (Fix χk ) .
is a Z-lattice; its computation is straightforward. So
is that of PStabIsom(Λ) (Fix χk ).
StabIsom(Λ) (Fix χk ) ( Isom(Fix χk )
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
Fix(χk )
= PStabIsom(Λ) (Fix χk ) .
is a Z-lattice; its computation is straightforward. So
is that of PStabIsom(Λ) (Fix χk ).
StabIsom(Λ) (Fix χk ) ( Isom(Fix χk )
The Vinberg diagrams for the following are computed:
Isom(Fix φVI ), Isom(Fix φVII ), and Isom(Fix χk ), for k = 0, 1, 2.
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
Fix(χk )
= PStabIsom(Λ) (Fix χk ) .
is a Z-lattice; its computation is straightforward. So
is that of PStabIsom(Λ) (Fix χk ).
StabIsom(Λ) (Fix χk ) ( Isom(Fix χk )
The Vinberg diagrams for the following are computed:
Isom(Fix φVI ), Isom(Fix φVII ), and Isom(Fix χk ), for k = 0, 1, 2.
These computations show that each of the above is a
reflection group.
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
Fix(χk )
= PStabIsom(Λ) (Fix χk ) .
is a Z-lattice; its computation is straightforward. So
is that of PStabIsom(Λ) (Fix χk ).
StabIsom(Λ) (Fix χk ) ( Isom(Fix χk )
The Vinberg diagrams for the following are computed:
Isom(Fix φVI ), Isom(Fix φVII ), and Isom(Fix χk ), for k = 0, 1, 2.
These computations show that each of the above is a
reflection group.
The fundamental domain of Isom(Fix φVI ) “has a discriminant
wall”, while that of Isom(Fix φVII ) does not,
. – p.10/12
About StabPIsom(Λ) RH5[χk ] and Distinguishing φVI & φVII
5
StabPIsom(Λ) RH[χk ]
Fix(χk )
= PStabIsom(Λ) (Fix χk ) .
is a Z-lattice; its computation is straightforward. So
is that of PStabIsom(Λ) (Fix χk ).
StabIsom(Λ) (Fix χk ) ( Isom(Fix χk )
The Vinberg diagrams for the following are computed:
Isom(Fix φVI ), Isom(Fix φVII ), and Isom(Fix χk ), for k = 0, 1, 2.
These computations show that each of the above is a
reflection group.
The fundamental domain of Isom(Fix φVI ) “has a discriminant
wall”, while that of Isom(Fix φVII ) does not, which implies
φVI = χ4
and
φVII = χantip .
. – p.10/12
A-C-T Construction of MR
s is NOT a Hyperbolic Orbifold
. – p.11/12
A-C-T Construction of MR
s is NOT a Hyperbolic Orbifold
Two kinds of real smooth 3-point configurations can deform to a real triple
point.
. – p.11/12
A-C-T Construction of MR
s is NOT a Hyperbolic Orbifold
Two kinds of real smooth 3-point configurations can deform to a real triple
point.
d
/
d-
d-
t
3
d
d-
t
3
S
o
d
. – p.11/12
A-C-T Construction of MR
s is NOT a Hyperbolic Orbifold
Two kinds of real smooth 3-point configurations can deform to a real triple
point.
d
/
d-
d-
t
d
d-
3
t
3
S
o
d
6
@
I
π/4
@
@
@
@t
6
tπ/2
-
. – p.11/12
A-C-T Construction of MR
s is NOT a Hyperbolic Orbifold
Two kinds of real smooth 3-point configurations can deform to a real triple
point.
d
/
d-
d-
t
d
d-
3
t
3
S
o
d
6
@
I
π/4
@
@
@
@t
6
tπ/2
vertex angle =
3π
4
6=
-
2π
n
. – p.11/12
THE END
THANK YOU!
. – p.12/12
Download