quasitoric manifolds and toric origami manifoldsmasuda/toric2014_osaka/s. park(slide).pdf ·...
TRANSCRIPT
Quasitoric manifolds and toric origami manifolds
Seonjeong Park
Joint work with Mikiya Masuda(OCU)In progress work with M. Masuda & Z. Haozhi
Division of Mathematical Models,National Institute for Mathematical Sciences, South Korea
2014 Toric Topology in Osaka, January 21–24, 2014Osaka City University
Seonjeong Park (NIMS) Quasitoric and toric origami 1 / 34
Table of contents
1 Quasitoric manifolds
2 Toric origami manifolds
3 Relationship between quasitoric manifolds and toric origami manifolds
Seonjeong Park (NIMS) Quasitoric and toric origami 2 / 34
Table of contents
1 Quasitoric manifolds
2 Toric origami manifolds
3 Relationship between quasitoric manifolds and toric origami manifolds
Seonjeong Park (NIMS) Quasitoric and toric origami 2 / 34
Table of contents
1 Quasitoric manifolds
2 Toric origami manifolds
3 Relationship between quasitoric manifolds and toric origami manifolds
Seonjeong Park (NIMS) Quasitoric and toric origami 2 / 34
Quasitoric manifolds
A quasitoric manifold is a closed smooth manifold M of dim. 2n with asmooth Tn action such that
the action of Tn on M is locally standard;
the orbit space M/Tn can be identified with a simple polytope.
Example
1 projective non-singular toric varieties
2 CP 2#CP 2
Non-example
For n > 1, Tn-action on S2n ⊆ Cn ⊕ R given by
(t1, . . . , tn) · (z1, . . . , zn, r) = (t1z1, . . . , tnzn, r)
is locally standard, but it cannot give rise to a quasitoric manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 3 / 34
Quasitoric manifolds
A quasitoric manifold is a closed smooth manifold M of dim. 2n with asmooth Tn action such that
the action of Tn on M is locally standard;
the orbit space M/Tn can be identified with a simple polytope.
Example
1 projective non-singular toric varieties
2 CP 2#CP 2
Non-example
For n > 1, Tn-action on S2n ⊆ Cn ⊕ R given by
(t1, . . . , tn) · (z1, . . . , zn, r) = (t1z1, . . . , tnzn, r)
is locally standard, but it cannot give rise to a quasitoric manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 3 / 34
Quasitoric manifolds
A quasitoric manifold is a closed smooth manifold M of dim. 2n with asmooth Tn action such that
the action of Tn on M is locally standard;
the orbit space M/Tn can be identified with a simple polytope.
Example
1 projective non-singular toric varieties
2 CP 2#CP 2
Non-example
For n > 1, Tn-action on S2n ⊆ Cn ⊕ R given by
(t1, . . . , tn) · (z1, . . . , zn, r) = (t1z1, . . . , tnzn, r)
is locally standard, but it cannot give rise to a quasitoric manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 3 / 34
Properties of quasitoric manifolds
1 There is a one-to-one correspondence
quasitoric manifolds M 1:1←→ characteristic pairs (P,λ).
2 Every omniorientation of a quasitoric manifold M determines a stablyalmost complex structure.
CP 2#CP 2
(−1−1
) (10
)
(0−1
)
(01
) CP 2#CP 2
(11
) (10
)
(21
)
(01
)
Seonjeong Park (NIMS) Quasitoric and toric origami 4 / 34
Properties of quasitoric manifolds
1 There is a one-to-one correspondence
quasitoric manifolds M 1:1←→ characteristic pairs (P,λ).
2 Every omniorientation of a quasitoric manifold M determines a stablyalmost complex structure.
CP 2#CP 2
(−1−1
) (10
)
(0−1
)
(01
) CP 2#CP 2
(11
) (10
)
(21
)
(01
)
Seonjeong Park (NIMS) Quasitoric and toric origami 4 / 34
Symplectic manifolds
A symplectic manifold M is a manifold equipped with a symplectic formω ∈ Ω2(M) that is closed (dω = 0) and non-degenerate.
Example
v
X
Y
The unit sphere S2 in R3 is a symplecticmanifold.
ωv(X,Y ) = v · (X × Y ) = det(v,X, Y )
Non-example
1 For n > 1, S2n cannot be a symplectic manifold.
2 A quasitoric manifold CP 2#CP 2 cannot admit a symplectic form.
Seonjeong Park (NIMS) Quasitoric and toric origami 5 / 34
Symplectic manifolds
A symplectic manifold M is a manifold equipped with a symplectic formω ∈ Ω2(M) that is closed (dω = 0) and non-degenerate.
Example
v
X
Y
The unit sphere S2 in R3 is a symplecticmanifold.
ωv(X,Y ) = v · (X × Y ) = det(v,X, Y )
Non-example
1 For n > 1, S2n cannot be a symplectic manifold.
2 A quasitoric manifold CP 2#CP 2 cannot admit a symplectic form.
Seonjeong Park (NIMS) Quasitoric and toric origami 5 / 34
Symplectic manifolds
A symplectic manifold M is a manifold equipped with a symplectic formω ∈ Ω2(M) that is closed (dω = 0) and non-degenerate.
Example
v
X
Y
The unit sphere S2 in R3 is a symplecticmanifold.
ωv(X,Y ) = v · (X × Y ) = det(v,X, Y )
Non-example
1 For n > 1, S2n cannot be a symplectic manifold.
2 A quasitoric manifold CP 2#CP 2 cannot admit a symplectic form.
Seonjeong Park (NIMS) Quasitoric and toric origami 5 / 34
Folded symplectic manifolds
A folded symplectic form on a 2n-dim’l manifold M is a closed 2-form ω
ωn vanishes transversally on a submanifold Z,
ωn|Z has maximal rank.
The submanifold Z is called the folding hypersurface or fold.
Example
1 (R2d, x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi), Z = x1 = 0.2 (S2n ⊂ Cn ⊕ R, ωCn ⊕ 0), Z = S2n−1 ⊂ Cn ⊕ 0
Theorem [Cannas da Silva, 2010]
Let M be a 2n-dim’l manifold with a stably almost complex structure J .Then M admits a folded symplectic form consistent with J in any degree2 cohomology class.
NOTE: Omnioriented quasitoric manifolds admit folded symplectic forms.
Seonjeong Park (NIMS) Quasitoric and toric origami 6 / 34
Folded symplectic manifolds
A folded symplectic form on a 2n-dim’l manifold M is a closed 2-form ω
ωn vanishes transversally on a submanifold Z,
ωn|Z has maximal rank.
The submanifold Z is called the folding hypersurface or fold.
Example
1 (R2d, x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi), Z = x1 = 0.2 (S2n ⊂ Cn ⊕ R, ωCn ⊕ 0), Z = S2n−1 ⊂ Cn ⊕ 0
Theorem [Cannas da Silva, 2010]
Let M be a 2n-dim’l manifold with a stably almost complex structure J .Then M admits a folded symplectic form consistent with J in any degree2 cohomology class.
NOTE: Omnioriented quasitoric manifolds admit folded symplectic forms.
Seonjeong Park (NIMS) Quasitoric and toric origami 6 / 34
Folded symplectic manifolds
A folded symplectic form on a 2n-dim’l manifold M is a closed 2-form ω
ωn vanishes transversally on a submanifold Z,
ωn|Z has maximal rank.
The submanifold Z is called the folding hypersurface or fold.
Example
1 (R2d, x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi), Z = x1 = 0.2 (S2n ⊂ Cn ⊕ R, ωCn ⊕ 0), Z = S2n−1 ⊂ Cn ⊕ 0
Theorem [Cannas da Silva, 2010]
Let M be a 2n-dim’l manifold with a stably almost complex structure J .Then M admits a folded symplectic form consistent with J in any degree2 cohomology class.
NOTE: Omnioriented quasitoric manifolds admit folded symplectic forms.
Seonjeong Park (NIMS) Quasitoric and toric origami 6 / 34
Folded symplectic manifolds
A folded symplectic form on a 2n-dim’l manifold M is a closed 2-form ω
ωn vanishes transversally on a submanifold Z,
ωn|Z has maximal rank.
The submanifold Z is called the folding hypersurface or fold.
Example
1 (R2d, x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi), Z = x1 = 0.2 (S2n ⊂ Cn ⊕ R, ωCn ⊕ 0), Z = S2n−1 ⊂ Cn ⊕ 0
Theorem [Cannas da Silva, 2010]
Let M be a 2n-dim’l manifold with a stably almost complex structure J .Then M admits a folded symplectic form consistent with J in any degree2 cohomology class.
NOTE: Omnioriented quasitoric manifolds admit folded symplectic forms.
Seonjeong Park (NIMS) Quasitoric and toric origami 6 / 34
Origami manifolds
Let (M,ω) be a folded symplectic manifold with a fold Z.Let i : Z →M be the inclusion.Then i∗ω has a 1-dimensional kernel on Z.
Definition [Cannas da Silva-Guillemin-Pires, IMRN 2011]
ω is called an origami form if this line field is the vertical bundle of anoriented S1-fiber bundle Z
π→ B over a compact base B.
Example (continued)
1 ω = x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi on R2d is not origami.
2 ωCn ⊕ 0 on S2n ⊂ Cn ⊕ R is origami because the line field is thevertical bundle of the Hopf bundle π : S2n−1 → CPn−1.
Seonjeong Park (NIMS) Quasitoric and toric origami 7 / 34
Origami manifolds
Let (M,ω) be a folded symplectic manifold with a fold Z.Let i : Z →M be the inclusion.Then i∗ω has a 1-dimensional kernel on Z.
Definition [Cannas da Silva-Guillemin-Pires, IMRN 2011]
ω is called an origami form if this line field is the vertical bundle of anoriented S1-fiber bundle Z
π→ B over a compact base B.
Example (continued)
1 ω = x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi on R2d is not origami.
2 ωCn ⊕ 0 on S2n ⊂ Cn ⊕ R is origami because the line field is thevertical bundle of the Hopf bundle π : S2n−1 → CPn−1.
Seonjeong Park (NIMS) Quasitoric and toric origami 7 / 34
Origami manifolds
Let (M,ω) be a folded symplectic manifold with a fold Z.Let i : Z →M be the inclusion.Then i∗ω has a 1-dimensional kernel on Z.
Definition [Cannas da Silva-Guillemin-Pires, IMRN 2011]
ω is called an origami form if this line field is the vertical bundle of anoriented S1-fiber bundle Z
π→ B over a compact base B.
Example (continued)
1 ω = x1dx1 ∧ dy1 +∑d
i=2 dxi ∧ dyi on R2d is not origami.
2 ωCn ⊕ 0 on S2n ⊂ Cn ⊕ R is origami because the line field is thevertical bundle of the Hopf bundle π : S2n−1 → CPn−1.
Seonjeong Park (NIMS) Quasitoric and toric origami 7 / 34
Toric origami manifolds
The action of a Lie group G on an origami manifold (M,ω) is Hamiltonianif it admits a moment map µ : M → g∗ satisfying the conditions:
µ collects Hamiltonian functions, i.e., d〈µ,X〉 = ιX#ω,∀X ∈ g := Lie(G), where X# is the vector field generated by X;
µ is equivariant with respect to the given action of G on M and thecoadjoint action of G on the dual vector space g∗.
A toric origami manifold is a compact connected origami manifold (M,ω)equipped with an effective Hamiltonian action of a torus T withdimT = 1
2 dimM .
NOTE: If Z = ∅, a toric origami manifold is a toric symplectic manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 8 / 34
Toric origami manifolds
The action of a Lie group G on an origami manifold (M,ω) is Hamiltonianif it admits a moment map µ : M → g∗ satisfying the conditions:
µ collects Hamiltonian functions, i.e., d〈µ,X〉 = ιX#ω,∀X ∈ g := Lie(G), where X# is the vector field generated by X;
µ is equivariant with respect to the given action of G on M and thecoadjoint action of G on the dual vector space g∗.
A toric origami manifold is a compact connected origami manifold (M,ω)equipped with an effective Hamiltonian action of a torus T withdimT = 1
2 dimM .
NOTE: If Z = ∅, a toric origami manifold is a toric symplectic manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 8 / 34
Examples1 T = (S1)2 acts on (CP 2, ω) by
(t1, t2) · [z1, z2, z3] = [t1z1, t2z2, z3]
with moment map
µ(z1, z2, z3) =
(|z1|2
|z1|2 + |z2|2 + |z3|2,
|z2|2
|z1|2 + |z2|2 + |z3|2
).
2 T = (S1)2 acts on (S4 ⊂ C2 ⊕ R, ωCn ⊕ 0) by
(t1, t2) · (z1, z2, r) = (t1z1, t2z2, r)
with moment map
µ(z1, z2, r) = (|z1|2, |z2|2).
CP 2µ
S4µ
Seonjeong Park (NIMS) Quasitoric and toric origami 9 / 34
Origami templates
An origami template consists of a pair (P,F), where P is a collection ofDelzant polytopes in Rn and F is a collection of facets and pairs of facetsof polytopes in P s.t.
(O1) ∀ F, F ′ ∈ F , if F ⊂ P and F ′ ⊂ P ′, then ∃ U ⊂open
Rn s.t.
U ∩ P = U ∩ P ′;(O2) if F ∈ F or F, F ′ ∈ F , then neither F nor any of its neighboring
facets occur elsewhere in F ;
(O3) the topological space, denoted |(P,F)|, constructed from the disjointunion tPj , Pj ∈ P, by identifying facet pairs in F is connected.
Theorem (Cannas da Silva-Guillemin-Pires, 2011)
toric origami manifolds 1:1←→ origami templates
NOTE: M/T ∼=homeo
|(P,F)| as a manifold with corners.
Seonjeong Park (NIMS) Quasitoric and toric origami 10 / 34
Origami templates
An origami template consists of a pair (P,F), where P is a collection ofDelzant polytopes in Rn and F is a collection of facets and pairs of facetsof polytopes in P s.t.
(O1) ∀ F, F ′ ∈ F , if F ⊂ P and F ′ ⊂ P ′, then ∃ U ⊂open
Rn s.t.
U ∩ P = U ∩ P ′;(O2) if F ∈ F or F, F ′ ∈ F , then neither F nor any of its neighboring
facets occur elsewhere in F ;
(O3) the topological space, denoted |(P,F)|, constructed from the disjointunion tPj , Pj ∈ P, by identifying facet pairs in F is connected.
Theorem (Cannas da Silva-Guillemin-Pires, 2011)
toric origami manifolds 1:1←→ origami templates
NOTE: M/T ∼=homeo
|(P,F)| as a manifold with corners.
Seonjeong Park (NIMS) Quasitoric and toric origami 10 / 34
RemarksNon-orientable toric origami manifolds1
RP2
with F = a red dot
Klein bottle
with F = two red dots
The black dot is corresponding to afixed point, and each red dot iscorresponding to the point whoseisotropy subgroup is Z2.
Non-simply connected origami templates
=
torus
P = two intervalsF = two pairs of blue dots
1An origami template is oriented if the polytopes in P come with an orientation andF consists solely of pairs of facets which belong to polytopes with opposite orientations.
Seonjeong Park (NIMS) Quasitoric and toric origami 11 / 34
Motivation
For an orientable toric origami manifold M ,
if MT 6= ∅, M is a torus manifold2.
if |(P,F)| is (combinatorially) a simple polytope, M is a quasitoricmanifold.
Question
What about the converse?
2A torus manifold is a 2n-dim’l oriented compact connected smooth manifold Mwith an effective action of T = Tn with MT 6= ∅.
Seonjeong Park (NIMS) Quasitoric and toric origami 12 / 34
Motivation
For an orientable toric origami manifold M ,
if MT 6= ∅, M is a torus manifold2.
if |(P,F)| is (combinatorially) a simple polytope, M is a quasitoricmanifold.
Question
What about the converse?
2A torus manifold is a 2n-dim’l oriented compact connected smooth manifold Mwith an effective action of T = Tn with MT 6= ∅.
Seonjeong Park (NIMS) Quasitoric and toric origami 12 / 34
projective
toric
manifolds
toric
manifolds
???
quasitoric
manifolds
???
torus manifolds
???
toric origami manifolds
T 2, RP 2
Seonjeong Park (NIMS) Quasitoric and toric origami 13 / 34
Not all torus manifolds admit toric origami forms.
From the following facts
S4 × S4 is simply connected,
(S4 × S4)/T 4 = |(P,F)| has four facets,
(S4 × S4)/T 4 = |(P,F)| has four vertices,
we can show that S4 × S4 cannot be a toric origami manifold.
Theorem (Masuda-P)
Let S2ni (ni ≥ 1) be the standard 2ni-sphere with the standardTni-sphere with the standard Tni-action for i = 1, . . . , k. Then
∏ki=1 S
2ni
with the product action of∏ki=1 T
ni admits a toric origami form if andonly if ni = 1 except for one i.
Seonjeong Park (NIMS) Quasitoric and toric origami 14 / 34
Not all torus manifolds admit toric origami forms.
From the following facts
S4 × S4 is simply connected,
(S4 × S4)/T 4 = |(P,F)| has four facets,
(S4 × S4)/T 4 = |(P,F)| has four vertices,
we can show that S4 × S4 cannot be a toric origami manifold.
Theorem (Masuda-P)
Let S2ni (ni ≥ 1) be the standard 2ni-sphere with the standardTni-sphere with the standard Tni-action for i = 1, . . . , k. Then
∏ki=1 S
2ni
with the product action of∏ki=1 T
ni admits a toric origami form if andonly if ni = 1 except for one i.
Seonjeong Park (NIMS) Quasitoric and toric origami 14 / 34
projective
toric
manifolds
toric
manifolds
???
quasitoric
manifolds
???
torus manifolds
S4 × S4
toric origami manifolds
T 2, RP 2
Seonjeong Park (NIMS) Quasitoric and toric origami 15 / 34
All 4-dimensional quasitoric manifolds are equivariantly diffeomorphic tosome toric origami manifolds.
There is a one-to-one correspondence
simply conn. cpt sm. 4-mfd M with effective T 2 − action1:1←→ unimodular sequences v1, . . . , vd,
where vi and vi+1 form a basis of Z2 for i = 1, . . . , d and vd+1 = v1.
For d ≥ 4, there is vj (1 ≤ j ≤ d) which satisfies
εj−1vj−1 + εjvj+1 + ajvj = 0 (with aj = ±1 or 0, εj = det(vj , vj+1)).
Use induction on d.
Theorem (Masuda-P)
Any simply connected compact smooth 4-manifold M with an effectivesmooth action of T 2 is equivariantly diffeomorphic to a toric origamimanifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 16 / 34
All 4-dimensional quasitoric manifolds are equivariantly diffeomorphic tosome toric origami manifolds.
There is a one-to-one correspondence
simply conn. cpt sm. 4-mfd M with effective T 2 − action1:1←→ unimodular sequences v1, . . . , vd,
where vi and vi+1 form a basis of Z2 for i = 1, . . . , d and vd+1 = v1.
For d ≥ 4, there is vj (1 ≤ j ≤ d) which satisfies
εj−1vj−1 + εjvj+1 + ajvj = 0 (with aj = ±1 or 0, εj = det(vj , vj+1)).
Use induction on d.
Theorem (Masuda-P)
Any simply connected compact smooth 4-manifold M with an effectivesmooth action of T 2 is equivariantly diffeomorphic to a toric origamimanifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 16 / 34
All 4-dimensional quasitoric manifolds are equivariantly diffeomorphic tosome toric origami manifolds.
There is a one-to-one correspondence
simply conn. cpt sm. 4-mfd M with effective T 2 − action1:1←→ unimodular sequences v1, . . . , vd,
where vi and vi+1 form a basis of Z2 for i = 1, . . . , d and vd+1 = v1.
For d ≥ 4, there is vj (1 ≤ j ≤ d) which satisfies
εj−1vj−1 + εjvj+1 + ajvj = 0 (with aj = ±1 or 0, εj = det(vj , vj+1)).
Use induction on d.
Theorem (Masuda-P)
Any simply connected compact smooth 4-manifold M with an effectivesmooth action of T 2 is equivariantly diffeomorphic to a toric origamimanifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 16 / 34
Example CP 2#CP 2
(01
) (11
)(
21
)
(10
)
(P,F)
+
−
(10
)
(01
)
(11
)
(21
)
|(P,F)|
Seonjeong Park (NIMS) Quasitoric and toric origami 17 / 34
Remarks
Not all omniorientations of a quasitoric manifold determine toric origamiforms.
Let Mb be an omnioriented quasitoric manifold which is corresponding to aunimodular sequence (1, 0), (0, 1), (1, b), (0, 1). Then, the omniorientationof Mb admits a toric origami form if and only if b = ±1 or b = ±2.
(10
)
(01
)
(1b
)
(01
)
Mb
Seonjeong Park (NIMS) Quasitoric and toric origami 18 / 34
ObservationLet F1, . . . , Fn, Fn+1 be the facets of ∆n.
1 By cutting the face F1 ∩ · · · ∩ Fk, we get a new polytopeP ≈ ∆n−k+1 ×∆k−1 whose facets G,F ′1, . . . , F
′k, F
′k+1, . . . , F
′n+1,
where G ≈ ∆n−k ×∆k−1, F ′1, . . . , F′k ≈ ∆n−k+1 ×∆k−2, and
F ′k+1, . . . , F′n+1 ≈ ∆n−k ×∆k−1.
2 Let P1 be the polytope obtained from ∆n by cutting a vertexF1 ∩ · · · ∩ Fn of ∆n. Then facets of P1 are of the form
G1, F′n+1 ≈ ∆n−1 &F ′1, . . . , F
′n ≈ vc(∆n−1).
3 By cutting a face G1 ∩ F ′1 ∩ · · · ∩ F ′k from P1, we get a new polytopeP2 ≈ vc(∆n−k ×∆k) whose facets are
F ′′n+1 ≈ ∆n−1, G2 ≈ ∆n−k−1 ×∆k, G′1 ≈ ∆n−k ×∆k−1,
F ′′1 , . . . , F′′k ≈ vc(∆n−k ×∆k−1), F ′′k+1, . . . , F
′′n ≈ vc(∆n−k−1 ×∆k).
Seonjeong Park (NIMS) Quasitoric and toric origami 19 / 34
ObservationLet F1, . . . , Fn, Fn+1 be the facets of ∆n.
1 By cutting the face F1 ∩ · · · ∩ Fk, we get a new polytopeP ≈ ∆n−k+1 ×∆k−1 whose facets G,F ′1, . . . , F
′k, F
′k+1, . . . , F
′n+1,
where G ≈ ∆n−k ×∆k−1, F ′1, . . . , F′k ≈ ∆n−k+1 ×∆k−2, and
F ′k+1, . . . , F′n+1 ≈ ∆n−k ×∆k−1.
2 Let P1 be the polytope obtained from ∆n by cutting a vertexF1 ∩ · · · ∩ Fn of ∆n. Then facets of P1 are of the form
G1, F′n+1 ≈ ∆n−1 &F ′1, . . . , F
′n ≈ vc(∆n−1).
3 By cutting a face G1 ∩ F ′1 ∩ · · · ∩ F ′k from P1, we get a new polytopeP2 ≈ vc(∆n−k ×∆k) whose facets are
F ′′n+1 ≈ ∆n−1, G2 ≈ ∆n−k−1 ×∆k, G′1 ≈ ∆n−k ×∆k−1,
F ′′1 , . . . , F′′k ≈ vc(∆n−k ×∆k−1), F ′′k+1, . . . , F
′′n ≈ vc(∆n−k−1 ×∆k).
Seonjeong Park (NIMS) Quasitoric and toric origami 19 / 34
ObservationLet F1, . . . , Fn, Fn+1 be the facets of ∆n.
1 By cutting the face F1 ∩ · · · ∩ Fk, we get a new polytopeP ≈ ∆n−k+1 ×∆k−1 whose facets G,F ′1, . . . , F
′k, F
′k+1, . . . , F
′n+1,
where G ≈ ∆n−k ×∆k−1, F ′1, . . . , F′k ≈ ∆n−k+1 ×∆k−2, and
F ′k+1, . . . , F′n+1 ≈ ∆n−k ×∆k−1.
2 Let P1 be the polytope obtained from ∆n by cutting a vertexF1 ∩ · · · ∩ Fn of ∆n. Then facets of P1 are of the form
G1, F′n+1 ≈ ∆n−1 &F ′1, . . . , F
′n ≈ vc(∆n−1).
3 By cutting a face G1 ∩ F ′1 ∩ · · · ∩ F ′k from P1, we get a new polytopeP2 ≈ vc(∆n−k ×∆k) whose facets are
F ′′n+1 ≈ ∆n−1, G2 ≈ ∆n−k−1 ×∆k, G′1 ≈ ∆n−k ×∆k−1,
F ′′1 , . . . , F′′k ≈ vc(∆n−k ×∆k−1), F ′′k+1, . . . , F
′′n ≈ vc(∆n−k−1 ×∆k).
Seonjeong Park (NIMS) Quasitoric and toric origami 19 / 34
Now, let Mr,s be a quasitoric manifold over ∆n ×∆m whose characteristicmatrix is of the form Λr,s.
Λr,s =
En
1
.
.
.
1
1
.
.
.
1
2
.
.
.
2
s
0
.
.
.
0
Em
1
.
.
.
1
r
0
.
.
.
0
1
.
.
.
1
1
.
.
.
1
Seonjeong Park (NIMS) Quasitoric and toric origami 20 / 34
Lemma
A quasitoric manifold Mm,n over ∆n ×∆m is equivariantly homeomorphicto a toric origami manifold.
1 Let F1, . . . , Fn+m+1 be the facets of ∆n+m and let the correspondingoutward normal vectors are e1, . . . , en+m,−e1 − · · · − en+m.
2 Let P be the polytope obtained by cutting F1 ∩ · · · ∩ Fn+m and thenby cutting G ∩ F ′1 ∩ · · · ∩ F ′n, where G,F ′1, . . . , F
′n+m are new facets
obtained from the first cutting.
3 The origami template which we want is the pair of P = ∆n+m, Pand F = (Fn+m+1, F
′′n+m+1).
∆1 ×∆2
= ♦
e1
e2
e3 e1 + e2 + e3
2e1 + 2e2 + e3
∆2 ×∆1
= ♦
e2
e3
e12e1 + e2 + e3
e1 + e2 + e3
Seonjeong Park (NIMS) Quasitoric and toric origami 21 / 34
Lemma
A quasitoric manifold Mm,n over ∆n ×∆m is equivariantly homeomorphicto a toric origami manifold.
1 Let F1, . . . , Fn+m+1 be the facets of ∆n+m and let the correspondingoutward normal vectors are e1, . . . , en+m,−e1 − · · · − en+m.
2 Let P be the polytope obtained by cutting F1 ∩ · · · ∩ Fn+m and thenby cutting G ∩ F ′1 ∩ · · · ∩ F ′n, where G,F ′1, . . . , F
′n+m are new facets
obtained from the first cutting.
3 The origami template which we want is the pair of P = ∆n+m, Pand F = (Fn+m+1, F
′′n+m+1).
∆1 ×∆2
= ♦
e1
e2
e3 e1 + e2 + e3
2e1 + 2e2 + e3
∆2 ×∆1
= ♦
e2
e3
e12e1 + e2 + e3
e1 + e2 + e3
Seonjeong Park (NIMS) Quasitoric and toric origami 21 / 34
Lemma
A quasitoric manifold Mm,1 over ∆n ×∆m is equivariantly homeomorphicto a toric origami manifold.
1 Let F1, . . . , Fn+m+1 be the facets of ∆n+m and let the correspondingoutward normal vectors are e1, . . . , en+m,−e1 − · · · − en+m.
2 Let P be the polytope obtained from ∆n+m by cuttingF2 ∩ · · · ∩ Fn+m+1 and then by cutting G ∩ F ′2 ∩ · · · ∩ F ′n ∩ F ′n+m+1,where G and F ′1, . . . , F
′n are new facets obtained by the first cutting.
3 P = ∆n+m, P and F = (F1, F′′1 ).
= ♦
−e1 − e2 − e3
e2
e3 −e1
−2e1 − e3
Seonjeong Park (NIMS) Quasitoric and toric origami 22 / 34
Lemma
A quasitoric manifold Mm,1 over ∆n ×∆m is equivariantly homeomorphicto a toric origami manifold.
1 Let F1, . . . , Fn+m+1 be the facets of ∆n+m and let the correspondingoutward normal vectors are e1, . . . , en+m,−e1 − · · · − en+m.
2 Let P be the polytope obtained from ∆n+m by cuttingF2 ∩ · · · ∩ Fn+m+1 and then by cutting G ∩ F ′2 ∩ · · · ∩ F ′n ∩ F ′n+m+1,where G and F ′1, . . . , F
′n are new facets obtained by the first cutting.
3 P = ∆n+m, P and F = (F1, F′′1 ).
= ♦
−e1 − e2 − e3
e2
e3 −e1
−2e1 − e3
Seonjeong Park (NIMS) Quasitoric and toric origami 22 / 34
Lemma
Two quasitoric manifolds Mr,s and Mm−r+1,n−s+1 over ∆n ×∆m areweakly equivariantly diffeomorphic.
Define an isomorphism Θ: Zn+m → Zn+m by
e1 7→ −∑n+1
i=1 ei −∑m
j=r+1 en+j
en+1 7→ 2e1 + 2∑n
i=s+1 ei +∑m
j=1 en+j
e2, . . . , es, en+r+1, . . . , en+m 7→ e2, . . . , es, en+r+1, . . . , en+m
es+1, . . . , en, en+2, . . . , en+r 7→ −es+1, . . . ,−en,−en+2, . . . ,−en+r
Proposition
Any quasitoric manifold over ∆n ×∆m with n,m ≤ 2 is weaklyequivariantly homeomorphic to a toric origami manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 23 / 34
Lemma
Two quasitoric manifolds Mr,s and Mm−r+1,n−s+1 over ∆n ×∆m areweakly equivariantly diffeomorphic.
Define an isomorphism Θ: Zn+m → Zn+m by
e1 7→ −∑n+1
i=1 ei −∑m
j=r+1 en+j
en+1 7→ 2e1 + 2∑n
i=s+1 ei +∑m
j=1 en+j
e2, . . . , es, en+r+1, . . . , en+m 7→ e2, . . . , es, en+r+1, . . . , en+m
es+1, . . . , en, en+2, . . . , en+r 7→ −es+1, . . . ,−en,−en+2, . . . ,−en+r
Proposition
Any quasitoric manifold over ∆n ×∆m with n,m ≤ 2 is weaklyequivariantly homeomorphic to a toric origami manifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 23 / 34
Theorem [Choi & P & Suh]
Any quasitoric manifold over ∆n ×∆1 is homeomorphic to
two-stage generalized Bott manifolds,
M1,1 over ∆n ×∆1, or
M1,1 over ∆1 ×∆n.
M1,1∼=eq M1,n over ∆n ×∆1 & M1,1
∼=eq Mn,1 over ∆1 ×∆n.
Proposition
Any quasitoric manifold over ∆n ×∆1 is homeomorphic to a toric origamimanifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 24 / 34
Denote
1n =
1...1
n×1
, 2m =
2...2
m×1
.
Consider a quasitoric manifold M over∏hi=1 ∆ni whose reduced
characteristic matrix is 1n1 2n1 · · · 2n1
1n2 1n2 · · · 2n2
......
. . ....
1nh1nh
· · · 1nh
.
Proposition
M admits a toric origami form.
Seonjeong Park (NIMS) Quasitoric and toric origami 25 / 34
Let F1, . . . , Fn, Fn+1 be the facets of ∆n whose outward normal vectorsare e1, . . . , en,−e1 − · · · − en, where n =
∑hi=1 ni.
1 Let P1 be the polytope obtained from ∆n by cutting F1 ∩ · · · ∩ Fn.
Then, P1 ≈ vc(∆n) and we get new facets G1, F(1)1 , . . . , F
(1)n+1,
2 Let P2 be the polytope obtained from P1 by cutting
G1 ∩ F (1)1 ∩ · · ·F (1)
n1 . Then, P2 ≈ vc(∆n−n1 ×∆n1) and we get new
facets G2, G(1)1 , F
(2)1 , . . . , F
(2)n+1,
3 Let P3 be the polytope obtaind from P2 by cutting
G2 ∩ F (2)n1+1 ∩ · · ·F
(2)n1+n2
. Then P3 ≈ vc(∆n−n1−n2 ×∆n2 ×∆n1)
and we get new facets G3, G(2)1 , G
(1)2 , F
(3)1 , . . . , F
(3)n+1,
...
4 Let Ph be the polytope obtained from Ph−1 by cutting
Gh−1 ∩ F(h−1)n−nh+1 ∩ · · · ∩ F
(h−1)n . Then Ph ≈ vc(∆nh × · · · ×∆n1)
and we get new facets Gh, G(1)h−1, . . . , G
(h−1)1 , F
(h)1 , . . . , F
(h)n+1.
5 P = ∆n, Ph, F = (Fn+1, F(h)n+1).
Seonjeong Park (NIMS) Quasitoric and toric origami 26 / 34
Denote
1n =
1...1
n×1
, 0m =
20...0
m×1
, (2) =
20...0
n1×1
.
Consider a quasitoric manifold M over∏hi=1 ∆ni whose reduced
characteristic matrix is 1n1 (2) · · · (2)1n2 1n2 · · · 0n2
......
. . ....
1nh1nh
· · · 1nh
.
Proposition
M admits a toric origami form.
Seonjeong Park (NIMS) Quasitoric and toric origami 27 / 34
Bundle structures on polytopes
Let ∆ = ∩Nj=1x ∈ t∗ | 〈ηj , x〉 ≤ κj and ∆ = ∩Ni=1x ∈ t∗ | 〈ηi, x〉 ≤ κibe simple polytopes. We say that a simple polytope ∆ ⊂ t∗ is a bundlewith fiber ∆ over the base ∆ if there exists a short exact sequence
0→ tι→ t
π→ t→ 0
so that
∆ is combinatorially equivalent to the product ∆× ∆.
If ηj′ denotes the outward conormal to the facet F ′j of ∆ which
corresponds to Fj × ∆ ⊂ ∆× ∆, then η′j = ι(ηj) for all 1 ≤ j ≤ N .
If ηi′ denotes the outward conormal to the facet F ′i of ∆ which
corresponds to ∆× Fi ⊂ ∆× ∆, then π(ηi′) = ηi for all 1 ≤ i ≤ N .
The facets F ′1, . . . , F′N
are called fiber facets and the facets F ′1, . . . , F′N
are called base facets.
Seonjeong Park (NIMS) Quasitoric and toric origami 28 / 34
Bundle structures on origami templates
Let (P,F), (P, F), and (P, F) be origami templates defined in t∗, t∗, andt∗, respectively.
Definition
An origami template (P,F) is a bundle with fiber (P, F) over the base ∆(respectively, a bundle with fiber ∆ over the base (P, F)) if there exists ashort exact sequence
0→ tι→ t
π→ t→ 0
so that
each P ∈ P is a bundle with fiber P ∈ P over the base ∆(respectively, a bundle with fiber ∆ over a base P ∈ P.
if F occurs in F , then there F (respectively, F ) must occur in F(respectively, F) such that F is a bundle with fiber F over the base∆ (respectively, a bundle with fiber ∆ over a base F ).
Seonjeong Park (NIMS) Quasitoric and toric origami 29 / 34
Lemma
A quasitoric manifold over a cube (∆1)3 is homeomorphic to a toricorigami manifold.
Let M be a quasitoric manifold over (∆1)3. Up to homeomorphism, by S.Hasui, the reduced characteristic matrix of M is one of the following 1 0 0
a1 1 0a2 a3 1
,
1 2 01 1 0b1 b2 1
,
1 2 c1
1 1 c2
0 0 1
,
1 2 21 1 21 1 1
.(i) The first case gives rise to a Bott manifold which admits a symplectictoric structure.
(ii)
e3
e1
e2
−e1 − e2 + ae3
= ♦e1 + e2 + b1e3
2e1 + e2 + b2e3
Seonjeong Park (NIMS) Quasitoric and toric origami 30 / 34
Lemma
A quasitoric manifold over a cube (∆1)3 is homeomorphic to a toricorigami manifold.
Let M be a quasitoric manifold over (∆1)3. Up to homeomorphism, by S.Hasui, the reduced characteristic matrix of M is one of the following 1 0 0
a1 1 0a2 a3 1
,
1 2 01 1 0b1 b2 1
,
1 2 c1
1 1 c2
0 0 1
,
1 2 21 1 21 1 1
.(i) The first case gives rise to a Bott manifold which admits a symplectictoric structure.
(ii)
e3
e1
e2
−e1 − e2 + ae3
= ♦e1 + e2 + b1e3
2e1 + e2 + b2e3
Seonjeong Park (NIMS) Quasitoric and toric origami 30 / 34
(iii)
=e2
e1
c1e1 + c2e2 + e3
−e1 − e2
♦e1 + e2
2e1 + e2
(iv)
=
e1
e2e3
♦e1 + e2 + e3
2e1 + e2 + e3
2e1 + 2e2 + e3
Seonjeong Park (NIMS) Quasitoric and toric origami 31 / 34
Remarks
Up to weakly equivariant homeomorphism, for a quasitoric manifold Mover (∆1)3, if M has no bundle structure, then the reduced characteristicmatrix of M is one of the following1 2 2
1 1 21 1 1
,
1 2 10 1 12 2 1
,
1 1 10 1 22 1 1
,
1 2 20 1 21 1 1
.
Seonjeong Park (NIMS) Quasitoric and toric origami 32 / 34
Future
Prove or disprove the following
1 any quasitoric manifold with β2 = 2 is equivariantly homeomorphic toa toric origami manifold.
2 any quasitoric manifold over∏hi=1 ∆ni is equivariantly homeomorphic
to a toric origami manifold.
3 any toric manifold is equivariantly homeomorphic to a toric origamimanifold.
Seonjeong Park (NIMS) Quasitoric and toric origami 33 / 34