2nd Pan Pacific Conference on Topology

The 2nd Pan Pacific International
Conference on Topology and Applications

November 13–17, 2017
Host: Pusan National University. Venue: Novotel Ambassador Busan
Busan, Republic of Korea
Organizers
Conference Co-Chairs
Savador Garcia-Ferreira, UNAM, Mexico
Sang Youl Lee, Pusan National University, Korea
Scientific Committee
Jiling Cao, Auckland University of Technology, New Zealand
Jae Choon Cha , POSTECH, Korea
Yasunao Hattori, Shimane University, Japan
Akio Kawauchi, OCAMI, Japan
Jan van Mill, University of Amsterdam, Netherlands
Angel Tamariz-Mascarúa, UNAM, Mexico
Jongil Park, Seoul National University, Korea
Zhongqiang Yang, Shantou University, China
Local Organizing Committee

Yongju Bae, Kyungpook National University, Korea
Jinseock Cho , Busan National University of Education, Korea
Young Ho Im , Pusan National University, Korea
Jieon Kim , Pusan National University, Korea
Yong Do Lim , Sungkyunkwan University, Korea
Juncheol Pyo , Pusan National University, Korea
Sponsors
Pusan National University
BK21 Plus Center for Math Research and Education
National Research Foundation of Korea
Busan National University of Education
Table of Contents
Time Table
Program at a Glance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Scientific Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Time Table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Program
Day By Day . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Plenary Lectures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Special Sessions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Abstracts
Plenary Lectures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Special Sessions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
General Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .120
Transportation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
1
Program at a Glance
Nov. 13 (Mon.) Nov. 14 (Tue.) Nov. 15 (Wed.) Nov. 16 (Thu.) Nov. 17 (Fri.)
Time Program Time Program Time Program Time Program Program
08:00~09:25 Registration 08:30~05:00 Registration 08:30~05:00 Registration 08:30~05:00 Registration
Opening
09:25~0940 Roland van der Mikhail Daisuke
Remark
09:00~09:50 Veen 09:00~09:50 Tkachenko 09:00~09:50 Kishimoto
(Plenary Lecture) (Plenary Lecture) (Plenary Lecture)
Francisco
09:50~10:10 Coffee Break 09:50~10:10 Coffee Break 09:50~10:10 Coffee Break
09:40~10:30 Gonzalez Acuña
(Plenary Lecture) Jesus A. Alvarez R.Hernandez-
Wen Huang
10:10~11:00 Lopez 10:10~11:00 Gutierrez 10:10~11:00
(Plenary Lecture)
(Plenary Lecture) (Plenary Lecture)
10:30~11:00 Coffee Break
E
Dmitri X
Jongil Park Jie Wu Woong Kook
11:00~11:50 11:10~12:00 Shakhmatov 11:10~12:00 11:10~12:00 C
(Plenary Lecture) (Plenary Lecture) (Plenary Lecture)
(Plenary Lecture) U
R
12:00~12:10 Photo Time S
11:50~01:20 Lunch Time 12:00~01:20 Lunch Time 12:00~01:20 Lunch Time
12:10~01:20 Lunch Time I
Special Session Special Session Special Session Special Session O
01:20~02:20 01:20~02:20 01:20~02:20 01:20~02:20
(Slot A) (Slot E) (Slot I) (Slot M) N
Special Session Special Session Special Session Special Session
02:30~03:30 02:30~03:30 02:30~03:30 02:30~03:30
(Slot B) (Slot F) (Slot J) (Slot N)
03:30~03:50 Coffee Break 03:30~03:50 Coffee Break 03:30~03:50 Coffee Break 03:30~03:50 Coffee Break
03:50~04:50 03:50~04:50 03:50~04:50 03:50~04:50
(Slot C) (Slot G) (Slot K) (Slot O)
05:00~06:00 05:00~06:00 05:00~06:00 05:00~06:00
(Slot D) (Slot H) (Slot L) (Slot P)
Closing
Welcome &
06:20~08:00 06:20~08:00 Dinner 06:20~08:00
Reception Conference
Dinner
Nov. 13 (Mon.) Nov. 14 (Tue.) Nov. 15 (Wed.) Nov. 16 (Thu.)
Session Special Session Session
Room Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot
Code Title Organizers
A B C D E F G H I J K L M N O P
Norio Iwase
(Kyushu University)
D. Juan-Pineda
(Universidad Nacional
Algebraic
AT Board Room Autonoma de Mexico) ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
Topology
Feng Chun Lei
(Dalian University of Technology)
Yongjin Song
(Inha University)
Sergey A. Antonyan
Autónoma de México)
Geometric
GT Ball Room B Akira Koyama ○ ○ ○ ○ ○ ○ ○ ○
Topology
(Waseda University)
Zhongqiang Yang
(Shantou University)
Alejandro Illanes
CT Continuum Theory Camellia (Universidad Nacional ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
Autónoma de México)
Jiling Cao
(Auckland University of
Technology)
Set-Theoretic Savador Garcia-Ferreira
STT Iris Room ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
Topology (Universidad Nacional
Autonoma de Mexico)
Yasunao Hattori
(Shimane University)
Nov. 13 (Mon.) Nov. 14 (Tue.) Nov. 15 (Wed.) Nov. 16 (Thu.)
Session Special Session Session
Room Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot Slot
Code Title Organizers
A B C D E F G H I J K L M N O P
Rodrigo
Hernández-Gutiérrez
(Universidad Autonoma
Ventanas Metropolitana)
ST Set Theory ○ ○ ○ ○ ○ ○ ○ ○
Room H. Sakai
(Kobe University)
Shu Guo Zhang
(Sichuan University)
Yongju Bae
(Kyungpook National University)
Seiichi Kamada
KT Knot Theory Ball Room A (Osaka City University) ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
M. Eudave-Munoz
Autonoma de Mexico)
Keonhee Lee
(Chungnam National University)
DS Dynamical Systems Ball Room C ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
En Hui Shi
(Suzhou University)
Sang-Eon Han
(Chonbuk National University)
Applied Topology
and Azalea Lilac Jinhan Park
ATIA (Pukyong National University) ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
Inter-Disciplinary Room
Wei Yao
Applications
(Hebei University of Science and
Technology)
Differential Seoung Dal Jung

(Jeju National University)
DG Geometry Rose Room ○ ○ ○ ○ ○ ○ ○ ○
Juncheol Pyo
and Topology
(Pusan National University)
Nov. 13 (Mon.) Grandballroom
08:00~09:25 Registration
09:25~09:40 Opening Remark
Francisco Gonzalez Acuña
09:40~10:30
(Plenary Lecture)
Jongil Park
11:00~11:50
(Plenary Lecture)
11:50~01:20 Lunch
Board Room Ball Room B Camellia Iris Room Ventanas Room
AT GT CT STT ST
Slot GT
01:20~02:20 AT STT
A (~02:25)
Slot GT
02:30~03:30 AT STT
B (02:40~03:25)
Slot
03:50~04:50 AT STT
C
Slot STT
05:00~06:00 AT
D (~05:30)
06:20~08:00 Welcome Reception
Nov. 14 (Tue.) Grandballroom

Roland van der Veen
09:00~09:50
(Plenary Lecture)
Jesus A. Alvarez Lopez
10:10~11:00
(Plenary Lecture)
Dmitri Shakhmatov
11:10~12:00
(Plenary Lecture)
12:00~12:10 Photo Time
12:10~01:20 Lunch
AT GT CT STT ST
Slot GT
01:20~02:20 AT CT STT ST
E (~02:25)
Slot GT
02:30~03:30 AT CT STT ST
F (02:40~03:25)
Slot ST
03:50~04:50 AT CT STT
G (~04:20)
Slot CT STT
05:00~06:00 AT
H (~05:40) (~05:30)
06:20~08:00 Dinner
Grandballroom Nov. 13 (Mon.)
Registration 08:30~05:00
Opening Remark 08:45~09:00
Francisco Gonzalez Acuña
09:00~09:50
(Plenary Lecture)
Coffee Break 09:50~10:10
Jongil Park
10:10~11:00
(Plenary Lecture)
Lunch 12:00~01:20
Ball Room A Ball Room C Azalea Lilac Room Rose Room
KT DS ATIA DG
KT DG Slot
DS 01:20~02:20
(~02:00) (~02:00) A
KT Slot
DS DG 02:30~03:30
(~03:10) B
Slot
KT DS DG 03:50~04:50
C
KT DG Slot
DS 05:00~06:00
(~05:40) (~05:30) D
Welcome Reception 06:20~08:00
Grandballroom Nov. 14 (Tue.)

Roland van der Veen
09:00~09:50
(Plenary Lecture)
10:10~11:00
(Plenary Lecture)
Dmitri Shakhmatov
11:10~12:00
(Plenary Lecture)
Photo Time 12:00~12:10
Lunch 12:10~01:20
KT DS ATIA DG
KT DG Slot
DS ATIA 01:20~02:20
(~02:00) (~02:00) E
KT Slot
DS ATIA DG 02:30~03:30
(~03:10) F
Slot
KT DS ATIA DG 03:50~04:50
G
KT Slot
DS DG 05:00~06:00
(~05:40) H
Dinner 06:20~08:00
Nov. 15 (Wed.) Grandballroom
Mikhail Tkachenko
09:00~09:50
(Plenary Lecture)
R.Hernandez-Gutierrez
10:10~11:00
(Plenary Lecture)
Jie Wu
11:10~12:00
(Plenary Lecture)
12:00~01:20 Lunch
AT GT CT STT ST
Slot GT
01:20~02:20 AT CT STT ST
I (~02:25)
Slot GT
02:30~03:30 AT CT STT ST
J (02:40~03:25)
Slot
03:50~04:50 AT CT STT ST
K
Slot CT STT
05:00~06:00 AT
L (~05:40) (~05:30)
Nov. 16 (Thu.) Grandballroom

Daisuke Kishimoto
09:00~09:50
(Plenary Lecture)
Wen Huang
10:10~11:00
(Plenary Lecture)
Woong Kook
11:10~12:00
(Plenary Lecture)
12:00~01:20 Lunch
AT GT CT STT ST
Slot GT
01:20~02:20 CT ST
M (~02:25)
Slot GT
02:30~03:30 CT ST
N (02:40~03:25)
Slot
03:50~04:50 CT
O
Slot
05:00~06:00
P
06:20~08:00 Closing & Conference Dinner
Grandballroom Nov. 15 (Wed.)
Mikhail Tkachenko
09:00~09:50
(Plenary Lecture)
R.Hernandez-Gutierrez
10:10~11:00
(Plenary Lecture)
Jie Wu
11:10~12:00
(Plenary Lecture)
Lunch 12:00~01:20
KT DS ATIA DG
KT Slot
DS ATIA 01:20~02:20
(~02:00) I
KT Slot
DS ATIA 02:30~03:30
(~03:10) J
Slot
KT ATIA 03:50~04:50
K
KT Slot
05:00~06:00
(~05:40) L
Grandballroom Nov. 16 (Thu.)

Daisuke Kishimoto
09:00~09:50
(Plenary Lecture)
Wen Huang
10:10~11:00
(Plenary Lecture)
Woong Kook
11:10~12:00
(Plenary Lecture)
Lunch 12:00~01:20
KT DS ATIA DG
KT Slot
DS ATIA 01:20~02:20
(~02:00) M
KT Slot
DS ATIA 02:30~03:30
(~03:10) N
Slot
KT DS ATIA 03:50~04:50
O
KT Slot
DS 05:00~06:00
(~05:40) P
Closing & Conference Dinner 06:20~08:00
Program
The 2nd Pan Pacific International Conference on Topology and Applications
Program day 1
Monday, November 13
09:25–09:40 Opening Remarks
09:40–10:30 Plenary Lecture Grandball Room

Surface-knot groups and 3-manifold groups
Francisco Gonzalez Acuña
10:30-11:00 Coffee Break

A classification problem on 4-manifolds
Jongil Park
11:50–01:20 Lunch
• Slot A (01:20–02:20)
01:20–02:20 Special Session
Code Session Title . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Room see
AT Algebraic Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Board Room 23
GT Geometry Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ball Room B 26
STT Set-Theoretic Topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Iris Room 31
KT Knot Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ball Room A 36
DS Dynamic Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ball Room C 41
DG Differential Geometry and Topology . . . . . . . . . . . . . . . Rose Room 47
• Slot B (02:30–03:30)
03:30–03:50 Coffee Break

13
• Slot C (03:50–04:50)
• Slot D (05:00–06:00)
06:20–08:00 Welcome Reception
Program day 2
Tuesday, November 14

A polynomial time knot polynomial
Roland van der Veen

A trace formula for foliated flows

Topological groups which are hard to come by
Dmitri Shakhmatov
14
12:00–01:20 Lunch
• Slot E (01:20–02:20)
CT Continuum Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Camellia 28
ST Set Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ventanas Room 34
ATIA Applied Topology and Inter-Disciplinary Applications . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Azalea Lilac Room 45
• Slot F (02:30–03:30)
03:30–03:50 Coffe Break
15
• Slot G (03:50–04:50)
• Slot H (05:00–06:00)
06:20–08:00 Dinner
Program day 3
Wednessday, November 15

Continuous images of dense subspaces of products and topological groups
Mikhail Tkachenko
16
Countable dense homogeneity and non-definable spaces
Rodrigo Hernandez-Gutierrez

Topological complexity of the work map
Jie Wu
12:00–01:20 Lunch
• Slot I (01:20–02:20)
ATIA Applied Topology and Inter-Disciplinary Applications . . . . . . . . . .
• Slot J (02:30–03:30)
17
• Slot K (03:50–04:50)
• Slot L (05:00–06:00)
Program day 4
Thursday, November 16

Counting gauge groups
Daisuke Kishimoto

Measure complexity and Mobius disjointness
Wen Huang

Simplicial networks and data analysis
Woong Kook
18
12:00–01:20 Lunch
• Slot M (01:20–02:20)
• Slot N (02:30–03:30)
• Slot O (03:50–04:50)
19
• Slot P (05:00–06:00)
06:20–08:00 Closing & Conference Dinner
20
Plenary Lectures
PL. Plenary Lectures
November 13 (Monday) Grandball Room

09:40–10:30 Chair: Young Ho Im
09:40–10:30 Surface-knot groups and 3-manifold groups

Francisco Gonzalez Acuña [PL-01, p. 51]
11:00–11:50 Chair: Seiichi Kamada
11:00–11:50 A classification problem on 4-manifolds

Jongil Park [PL-02, p. 51]
November 14 (Tuesday) Grandball Room

09:00–09:50 Chair: Jinseok Cho
09:00–09:50 A polynomial time knot polynomial

Roland van der Veen [PL-03, p. 52]
10:10–11:00 Chair: Seoung Dal Jung
10:10–11:00 A trace formula for foliated flows

Jesus A. Alvarez Lopez [PL-04, p. 52]
11:10–12:00 Chair: Yasunao Hattori
11:10–12:00 Topological groups which are hard to come by

Dmitri Shakhmatov [PL-05, p. 52]
November 15 (Wednesday) Grandball Room

09:00–09:50 Chair: Jiling Cao
09:00–09:50 Continuous images of dense subspaces of products and topological

groups
Mikhail Tkachenko [PL-06, p. 53]
21
10:10–11:00 Chair: Angel Tamariz-Mascarúa
10:10–11:00 Countable dense homogeneity and non-definable spaces

Rodrigo Hernandez-Gutierrez [PL-07 p. 54]
11:10–12:00 Chair: Enhui Shi
11:10–12:00 Topological complexity of the work map

Jie Wu [PL-08, p. 54]
November 16 (Thursday) Grandball Room

09:00–09:50 Chair: Norio Iwase
09:00–09:50 Counting gauge groups

Daisuke Kishimoto [PL-09, p. 55]
10:10–11:00 Chair: Yongjin Song
10:10–11:00 Measure complexity and Mobius disjointness

Wen Huang [PL-10, p. 55]
11:10–12:00 Chair: Yong Do Lim
11:10–12:00 Simplicial networks and data analysis

Woong Kook [PL-11, p. 55]
22
Special Sessions
AT. Algebraic Topology
November 13 (Monday) Board Room

01:20–02:20 On the vc-geometric dimension in Mapping class groups

Daniel Juan-Pineda (Centro de Ciencias Matematicas-UNAM) [AT-01, p. 57]
02:30–03:30 Homology of R-completions of groups and finite R-bad spaces

Sergei Ivanov
(Chebyshev Laboratory, St. Petersburg State University) [AT-02, p. 57]
03:50–04:20 Pairings of classifying spaces and admissible maps

measures
Yusuke Ueno (Fukuoka University) [AT-03, p. 57]
05:00–05:30 Virtually cyclic geometric dimesion of S-arithmetic groups

Luis Jorge Sánchez Saldaña
(Universidad Nacional Autónoma de México) [AT-04, p. 58]
November 14 (Tuesday) Board Room

01:20–01:50 The cohomology of projective unitary groups

Haibao Duan (Chinese Academy of Sciences) [AT-05, p. 58]
23
02:30–03:00 Right-angled Coxeter groups and manifolds

Andrei Vesnin (Sobolev Institute of Mathematics) [AT-06, p. 101]
03:50–04:20 Modular invariants under the actions of some reflection groups

related to Weyl groups
Erika Takigawa (Fukuoka University) [AT-07, p. ??]
05:00–05:30 Real K- theory and computations

Noe Barcenas (CCM UNAM-Mexico) [AT-08, p. 59]
November 15 (Wednesday) Board Room

01:20–02:20 Chair: Daniel Juan-Pineda
01:20–01:50 Topological complexity and fibrewise L-S category

Norio Iwase (Kyushu University) [AT-09, p. 59]
02:30–03:00 A functorial extension of the rational lift of the Kontsevich integral

Delphine Moussard (RIMS) [AT-10, p. 59]
03:50–04:20 Cancellation and homotopy rigidity of classic functors

Huang Ruizhi (National University of Singapore) [AT-11, p. 60]
24
05:00–05:30 Euler characteristics and the Zimmer program

Shengkui Ye (Xi’an Jiaotong-Liverpool University) [AT-12, p. 60]
25
GT. Geometric Topology
November 13 (Monday) Ball Room B

01:20–02:25 Chair: Akira Koyama
01:20–01:50 Variants of decomposition complexity in coarse geometry

Jerzy Dydak (University of Tennessee) [GT-01, p. 61]
01:55–02:25 Straight finite decomposition complexity and property A for coarse

spaces
Takamitsu Yamauchi (Ehime University) [GT-02, p. 61]
02:40–03:25 Chair: Katsuya Eda
02:40–03:00 Schreier coset graphs of Baumslag-Solitar groups

Takamichi Sato (Waseda University) [GT-03, p. 62]
03:05–03:25 Generalized L-separations and generalized L-Urysohn spaces

Shizhong Bai (Wuyi University) [GT-04, p. 62]
November 14 (Tuesday) Ball Room B

01:20–02:25 Chair: Zhongqiang Yang
01:20–01:50 Homological selections and fixed-point theorems

Vesko Valov (Nipissing University) [GT-05, p. 62]
01:55–02:25 Lipschitz subspaces of C(K)

Natalia Jonard (Universidad Nacional Autónoma de México) [GT-06, p. 62]
02:40–03:25 Chair: Enxin Wu
02:40–03:00 Markov-like generalized inverse systems and their limits

Hayato Imamura (Waseda University) [GT-07, p. 63]
03:05–03:25 Isovariant fibrations and absolute extensors

Alexander Bykov
(Benemérita Universidad Autónoma de Puebla) [GT-08, p. 63]
26
November 15 (Wednesday) Ball Room B
01:20–02:25 Chair: Jerzy Dydak
01:20–01:50 Two characterizations of G-A(N)R spaces for proper actions of Lie

groups
Sergey Antonyan (National University of Mexico) [GT-09, p. 64]
01:55–02:25 Diffeology – a new approach towards geometry

Enxin Wu (Shantou University) [GT-10, p. 64]
02:40–03:25 Chair: Tadeusz Dobrowolski
02:40–03:00 The function space with the hypo-graph topololy

Hanbiao Yang (Wuyi University) [GT-11, p. 64]
03:05–03:25 Function spaces with their compactifications homeomorphic

Katsuhisa Koshino (Kanagawa University) [GT-12, p. 65]
November 16 (Thursday) Ball Room B

01:20–02:25 Chair: Sergey Antonyan
01:20–01:50 Review and future of one-dimensional wild algebraic topology

Katsuya Eda (Waseda University) [GT-13, p. 65]
01:55–02:25 On Banachizability
Tadeusz Dobrowolski (Pittsburg State University) [GT-14, p. 65]
02:40–03:25 Chair: Vesko Valov
02:40–03:00 Homological properties of decomposition spaces

Akira Koyama (Wuyi University)
03:05–03:25 The function spaces of non-k-spaces

Zhongqiang Yang (Shantou University) [GT-16, p. 66]
27
CT. Continuum Theory
November 14 (Tuesday) Camellia

01:20–02:20 Chair: Verónica Martı́nez-de-la-Vega
01:20–02:20 Reversible properties of inverse limits with a single set valued

function
Van Nall (University of Richmond) [CT-01, p. 67]
02:30–03:30 A new example of a fixed-point free map of a tree-like continuum

Rodrigo Hernandez-Gutierrez
(Universidad Autonoma Metropolitana at Iztapalapa) [CT-02, p. 67]
03:50–04:20 Points of local and non-local connectedness in Generalized Inverse

Limits
Mauricio E. Chacon-Tirado
(Benemerita Universidad Autonoma de Puebla) [CT-03, p. 68]
04:20–04:50 Common Fixed points of group actions

Benjamin Vejnar (Charles University) [CT-04, p. 68]
04:50–05:40 Weak and Strong n-ods

Norberto Ordoñez Ramirez
(Universidad Autónoma del Estado de México) [CT-05, p. 68]
28
November 15 (Wednesday) Camellia
01:20–02:20 Chair: Norberto Ordoñez Ramirez
01:20–02:20 A scheme for constructing examples of generalized inverse

limits with some interesting examples
Judy Kennedy (Lamar University) [CT-06, p. 69]
02:30–03:30 Hereditarily contractible continua

Wlodzimierz J. Charatonik
(Missouri University of Science and Technology) [CT-07, p. 69]
03:50–04:20 Compactifiable classes of continua

Adam Bartoŝ (Charles University) [CT-08, p. 69]
04:20–04:50 Midpoint functions in continua

Patricia Pellicer-Covarrubias (Charles University) [CT-09, p. 70]
04:50–05:40 The class of almost meshed locally connected continua is

HSn -determined, for each n ∈ N − {1, 2}
Fernando Macı́as-Romero
(Benemérita Universidad Autónoma de Puebla) [CT-10, p. 70]
November 15 (Wednesday) Camellia

01:20–02:20 Chair: Patricia Pellicer-Covarrubias
01:20–02:20 2-manifolds and inverse limits of set-valued functions on

intervals
Sina Greenwood (University of Auckland) [CT-11, p. 71]
29
02:30–03:30 Shore Sets in Hyperspaces

Verónica Martı́nez-de-la-Vega
03:50–04:20 Induced open mappings, an example

Alejandro Illanes
04:20–04:50 Almost meshed locally connected continua without unique n-fold

hyperspace suspension
David Herrera-Carrasco
(Benemérita Universidad Autónoma de Puebla) [CT-14, p. 72]
30
STT. Set-Theoretic Topology
November 13 (Monday) Iris Room

01:20–02:20 Chair: Yasaunao Hattori
01:20–02:20 On productively strongly paracompact spaces

Heikki Junnila (University of Helsinki) [STT-01, p. 73]
02:30–03:30 Chair: Yasaunao Hattori
02:30–03:00 Compactness properties defined by open point games

Alejandro Dorantes-Aldama (Ehime University) [STT-02, p. 73]
03:00–03:30 On spaces of step functions over GO-spaces and Menger property

Ming-Yue Guo (Beijing University of Technology) [STT-03, p. 73]
03:50–04:50 Chair: Yasser Ferman Ortiz Castillo
03:50–04:20 Product theorems on dimensions

Yasaunao Hattori (Shimane University) [STT-04, p. 74]
04:20–04:50 Resolutions of topological spaces

Aleksander Blaszczyk (University of Silesia) [STT-05, p. 74]
05:00–05:30 Chair: Yasser Ferman Ortiz Castillo
05:00–05:30 Topological spaces induced by countable elementary submodels

Hang Zhang (Southwest Jiaotong University) [STT-06, p. 75]
November 14 (Tuesday) Iris Room

01:20–02:20 Chair: Szymon Dolecki
01:20–02:20 The lexicographically ordered square is not monotonically

star-finite
Wei-Xue Shi (Nanjing University) [STT-07, p. 75]
31
02:30–03:30 Chair: Szymon Dolecki
02:30–03:00 Categorical properties and more on the hyperspace of convergent

sequences
Yasser Ferman Ortiz Castillo
(Instituto de Matematica e Estatistica da Universidade) [STT-08, p. 75]
03:00–03:30 I-sequential topological spaces

Sudip Kumar Pal (Diamond Harbour Women’s University) [STT-09, p. 75]
03:50–04:20 The τ -precompact Hausdorff group reflection of topological groups

Xiao Zhiqiang (Nanjing Normal University) [STT-10, p. 76]
04:20–04:50 On the tightness and the k-property of free topological groups

Li-Hong Xie (Wuyi University) [STT-11, p. 76]
05:00–05:30 Groups with Many Small Subgroups

Victor Hugo Yañez Salazar (Ehime University) [STT-12, p. 76]
November 15 (Wednesday) Iris Room

01:20–02:20 Chair: Heikki Junnila
01:20–02:20 Non-trivial non weakly pseudocompact spaces

Angel Tamariz-Mascarúa
(Universidad Nacional Autonoma de Mexico) [STT-13, p. 77]
02:30–03:30 Chair: Heikki Junnila
02:30–03:00 Oscillation revisited

Jiling Cao (Auckland University of Technology) [STT-14, p. 77]
03:00–03:30 Some special Menger spaces and its applicatons in Cp-theory

Jiakui Yu (Si Chuan university) [STT-15, p. 77]
32
03:50–04:20 Continuous extensions of maps between sequential cascades groups

Szymon Dolecki (Mathematical Institute of Burgundy) [STT-16, p. 77]
04:20–04:50 On a class of realcompact uniform spaces

Asylbek Chekeev (Balasagyn Kyrgyz National University) [STT-17, p. 78]
05:00–05:30 Neighborhood assignments in metrization theorem and rough set

theory
Zuoming Yu (Jiangsu University of Science and Technology) [STT-18, p. 79]
33
ST. Set Theory
November 14 (Tuesday) Ventanas Room

01:20–02:20 Chair: Rodrigo Hernandez-Gutierrez
01:20–02:20 Algebraic Ramsey-Theoretic Statements with an Uncountable

Flavour
David Fernández-Bretón (University of Michigan) [ST-01, p. 80]
02:30–03:00 Equivalence relations and Borel reduction

Longyun Ding (Nankai University) [ST-02, p. 81]
03:00–03:30 Borel isomorphisms at the second level

Takayuki Kihara (Nagoya University) [ST-03, p. 81]
03:50–04:20 Uncountable Fordor-type reflection principle and reflection of

meta-Lindelöfness
André Ottenbreit Maschio Rodrigues (Kobe University) [ST-04, p. 81]
November 15 (Wednesday) Ventanas Room

01:20–02:20 Chair: Hiroshi Sakai
01:20–02:20 Sacks indestructible ultrafilters and the HL property

David Chodounsky (Institute of Mathematics CAS) [ST-05, p. 82]
02:30–03:30 Ultrafilter limits in matrix iterations

Diego A. Mejı́a (Shizuoka University) [ST-06, p. 82]
34
03:50–04:20 Constant prediction, strong porosity, and unsymmetric game ideals

Joerg Brendle (Kobe University) [ST-07, p. 83]
04:20–04:50 Tukey reduction on F sigma ideal

Jialiang He (Sichuan University) [ST-08, p. 83]
November 16 (Thursday) Ventanas Room

01:20–02:20 Chair: Shuguo Zhang
01:20–02:20 Simultaneously reflection, successors of singulars and Jonsson

cardinals
Liuzhen Wu (Chinese Academy of Sciences) [ST-09, p. 84]
02:30–03:30 Chair: Shuguo Zhang
02:30–03:00 On supercompactness of omega 1

Daisuke Ikegami (Tokyo Denki University) [ST-10, p. 84]
03:00–03:30 On reflection principles of indescribable sets

Hiroshi Sakai (Kobe University) [ST-11, p. 84]
35
KT. Knot Theory
November 13 (Monday) Ball Room A

01:20–02:00 Chair: Seiichi Kamada
01:20–01:40 Skein invariants for oriented surface-links

Sang Youl Lee (Pusan National Univeristy) [KT-01, p. 85]
01:40–02:00 Generalized torsion elements and bi-orderability of 3-manifold groups

Masakazu Teragaito (Hiroshima University) [KT-02, p. 85]
02:30–03:10 Chair: Masakazu Teragaito
02:30–02:50 Isotopic deformations of immersed surfaces in 4-space and

their braid presentations
Seiichi Kamada (Osaka City University) [KT-03, p. 85]
02:50–03:10 Cubulated moves for 2-knots

Gabriela Hinojosa (State University of Morelos) [KT-,04 p. 85]
03:50–04:50 Chair: Mario Eudave-Muñoz
03:50–04:10 Seifert forms and knot concordance

Taehee Kim (Konkuk University) [KT-05, p. 86]
04:10–04:30 Thin representations for the one-cone torus group

Hirotaka Akiyoshi (Osaka City University) [KT-06, p. 86]
04:30–04:50 On triple point numbers of immersed surface-knots

Kengo Kawamura
(Osaka City University Advanced Mathematical Institute) [KT-07, p. 86]
05:00–05:40 Chair: Hirotaka Akiyoshi
05:00–05:20 Double coverings of virtual doodles and their invariants

Naoko Kamada (Nagoya City University) [KT-08, p. 86]
36
05:20–05:40 Embeddings of multibranched surfaces in the 3-sphere
Mario Eudave-Muñoz (UNAM) [KT-09, p. 87]
November 14 (Tuesday) Ball Room A

01:20–02:00 Chair: Young Ho Im
01:20–01:40 Trace-free characters and abelian knot contact homology

Fumikazu Nagasato (Meijo University) [KT-10, p. 88]
01:40–02:00 Hyperbolic primitive/Seifert knots in the 3-sphere

Sungmo Kang (Chonnam National University) [KT-11, p. 88]
02:30–03:10 Chair: Fumikazu Nagasato
02:30–02:50 New extension of a quandle and its related homology group

Yongju Bae (Kyungpook National University) [KT-12, p. 88]
02:50–03:10 On Quasi-alternating links

Nafaa Chbili (United Arab Emirates University) [KT-13, p. 89]
03:50–04:50 Chair: Migiwa Sakurai
03:50–04:10 Normal forms on virtual braid groups

Bruno Cisneros de la Cruz (CONACYT - IMATE UNAM) [KT-14, p. 89]
04:10–04:30 A family of polynomial invariants for knotoids

Young Ho Im (Pusan National University) [KT-15, p. 90]
04:30–04:50 On marked graph diagrams of immersed surface-links

Jieon Kim (Pusan National University) [KT-16, p. 90]
05:00–05:40 Chair: Bruno Cisneros de la Cruz
05:00–05:20 Relationship between finite type invariants and forbidden moves

Migiwa Sakurai
(National Institute of Technology, Ibaraki College) [KT-17, p. 90]
37
05:20–05:40 Irreducible 3-manifolds that cannot be obtained by 0-surgery on a
knot
Min Hoon Kim (Korea Institute for Advanced Study) [KT-18, p. 91]
November 15 (Wednesday) Ball Room A

01:20–02:00 Chair: Kazuhiro Ichihara
01:20–01:40 On flat plumbing baskets for links

Mikami Hirasawa (Nagoya Institute of Technology) [KT-19, p. 91]
01:40–02:00 Upper bounds on braid index and arc index

Seungsang Oh (Korea University) [KT-20, p. 91]
02:30–03:10 Chair: Seungsang Oh
02:30–02:50 Thin position for incompressible surfaces in 3-manifolds

Kazuhiro Ichihara (Nihon University) [KT-21, p. 92]
02:50–03:10 Loop braid groups: ubiquitous objects opening the door to a plethora
of questions
Celeste Damiani (OCAMI) [KT-22, p. 92]
03:50–04:50 Chair: Fabiola Manjarrez-Gutierrez
03:50–04:10 Vanishing elements in a knot group by Dehn fillings

Kimihiko Motegi (Nihon University) [KT-23, p. 92]
04:10–04:30 On the Neuwirth conjecture and (1,1)-knots

José Angel Frı́as (UNAM) [KT-24, p. 92]
04:30–04:50 On genus three keen weakly reducible Heegaard splittings

Jung Hoon Lee (Chonbuk National University) [KT-25, p. 93]
05:00–05:40 Chair: Kimihiko Motegi
05:00–05:20 The Γ-polynomials of Abe-Tange’s ribbon knots

Hideo Takioka (OCAMI) [KT-26, p. 93]
38
05:20–05:40 On the classification of (1,1)-knots of genus g
Fabiola Manjarrez-Gutierrez (UNAM) [KT-27, p. 93]
November 16 (Thursday) Ball Room A

01:20–02:00 Chair: Yongju Bae
01:20–01:40 Coherent band-Gordian distances between knots and links with

up to seven crossings
Taizo Kanenobu (Osaka City University) [KT-28, p. 93]
01:40–02:00 Toroidal surgeries and the genus of the knot

Araceli Guzmán Tristán (UNAM) [KT-29, p. 94]
02:30–03:10 Chair: Taizo Kanenobu
02:30–02:50 Dynamics on Surfaces

Hyungryul Baik (KAIST) [KT-30, p. 94]
02:50–03:10 On a game ”Region Select” induced from region crossing change

Megumi Hashizume (Meiji University and OCAMI) [KT-31, p. 95]
03:50–04:50 Chair: Jinseok Cho
03:50–04:10 Grid diagram for singular links

Hwa Jeong Lee (DGIST) [KT-32, p. 95]
04:10–04:30 Height, trunk and representativity of knots

Makoto Ozawa (Komazawa University) [KT-33, p. 95]
04:30–04:50 Toroidal 2-handle additions on genus 2 or 3 boundary component

Luis Celso Chan Palomo (Universidad Autónoma de Yucatán) [KT-34, p. 96]
05:00–05:40 Chair: Makoto Ozawa
05:00–05:20 Volume conjecture of trivalent graph

Jinseok Cho (Busan National University of Education) [KT-35, p. 96]
39
05:20–05:40 Topology of 4D universe for every 3-dimensional manifold
Akio Kawauchi
(Osaka City University Advanced Mathematical Institute) [KT-36, p. 96]
40
DS. Dynamical Systems
November 13 (Monday) Ball Room C

01:20–02:20 Chair: Keonhee Lee
01:20–01:50 Hausdorff dimension in inhomogeneous Diophantine approximation

Seonhee Lim (Seoul National University) [DS-01, p. 98]
01:50–02:20 Approximation of Bernoulli measures for non-uniformly hyperbolic

systems
Gang Liao (Soochow University) [DS-02, p. 98]
02:30–03:30 Chair: Nguyen Huu Du
02:30–03:00 Sets of recurrence involving prime numbers

Younghwan Son (POSTECH) [DS-03, p. 98]
03:00–03:30 Sensitive open map semigroups on Peano continua having a free arc
Suhua Wang (Jiangsu University of Science and Technology) [DS-04, p. 98]
03:50–04:50 Chair: Gang Liao
03:50–04:20 Livsic theory for actions of higher rank groups

Nhan Phu Chung (Sungkyunkwan University) [DS-05, p. 99]
04:20–04:50 Spectral decomposition and stability of flows with expanding

measures
Ngoc-Thach Nguyen (Chungnam National University) [DS-06, p. 99]
05:00–06:00 Chair: Seunghee Lee
05:00–05:30 Dynamic behavior of a stochastic predator-prey system under regime

switching
Nguyen Thanh Dieu (Vinh University) [DS-07, p. 99]
05:30–06:00 Homoclinic classes of weak measure expansive diffeomorphisms

Jumi Oh (Sungkyunkwan University) [DS-08, p. 99]
41
November 14 (Tuesday) Ball Room C
01:20–02:20 Chair: Seonhee Lim
01:20–01:50 Lyapunov and Sacker-Sell spectral intervals for differential-algebraic

equations
Vu Hoang Linh (Vietnam National University) [DS-09, p. 100]
01:50–02:20 A note of syndetic sensitivity in uniform spaces

Huoyun Wang (Guangzhou University) [DS-10, p. 100]
02:30–03:30 Chair: Namjip Koo
02:30–03:00 A combinatorial approach to the Littlewood conjecture in a field of

formal series
Sanghoon Kwon (KIAS) [DS-11, p. 101]
03:00–03:30 On stochastic dynamic equations with time-varying delay on time

scales
Le Anh Tuan (Hanoi Industry University) [DS-12, p. 101]
03:50–04:50 Chair: Enhui Shi
03:50–04:20 Expansivity, hyperbolicity, and shadowing in linear dynamics

U. B. Dari (University of Louisville) [DS-13, p. 101]
04:20–04:50 Periodic points of continuum-wise expansive homeomorphisms

Bowon Kang (Chungnam National University) [DS-14, p. 102]
05:00–06:00 Chair: Younghwan Son
05:00–05:30 Some results of the strong laws of large numbers and the ergodic
theorems for random sets
Duong Xuan Giap (Vinh University) [DS-15, p. 102]
05:30–06:00 Hyperbolicity of shadowable homoclinic classes

Junmi Park (Chungnam National University) [DS-16, p. 102]
42
November 15 (Wednesday) Ball Room C
01:20–02:20 Chair: Vu Hoang Linh
01:20–01:50 On data-dependence of implicit dynamic equations on time scales

Nguyen Huu Du (VIASM) [DS-17, p. 103]
01:50–02:20 Periodic points for amenable group actions on uniquely arcwise

connected continua
Enhui Shi (Soochow University) [DS-18, p. 104]
02:30–03:30 Chair: Wen Huang
02:30–03:00 Stability radius of stochastic differential algebraic equations under

structured perturbations
Nguyen Hong Son (The Army Officer College No.1) [DS-19, p. 104]
03:00–03:30 Hyperbolicity of the eventual shadowing diffeomorphisms

Manseob Lee (Mokwon Uninersity) [DS-20, p. 104]
November 16 (Thursday) Ball Room C

01:20–02:20 Chair: Nguyen Thanh Dieu
01:20–01:50 Chain transitive sets for continuous dynamical systems

Seunghee Lee (National Institute for Mathematical Sciences) [DS-21, p. 105]
01:50–02:20 Symbolic n-expansive systems

Jisang Yoo (Sungkyunkwan University) [DS-22, p. 105]
02:30–03:30 Chair: Jisang Yoo
02:30–03:00 Topological entropy of strong invariantly meausre expansiveness

with POTP
Jaehyun Jeong (Chungnam National University) [DS-23, p. 105]
03:00–03:30 Lyapunov exponents for dynamic equations on time scales

Khong Chi Nguyen (Tantrao University) [DS-24, p. 106]
43
03:50–04:50 Chair: Duong Xuan Giap
03:50–04:20 Topological stability of group actions with shadowable measures

Meihua Dong (Chungnam National University) [DS-25, p. 106]
04:20–04:50 On Bohl exponent of linear singular discrete-time systems

Ngo Thi Thanh Nga (Thang Long University) [DS-26, p. 106]
05:00–06:00 Chair: Jumi Oh
05:00–05:30 IP∗ -sets in function field and mixing properties

Dibyendu De (University of Kalyani) [DS-27, p. 107]
05:30–06:00 Hyperbolic structure of volume preserving diffeomorphisms

Jiweon Ahn (Chungnam National University) [DS-28, p. 107]
44
ATIA. Applied Topology and Inter-Disciplinary Applications
November 14 (Tuesday) Azalea Lilac Room

01:20–02:20 Chair: Wei Yao
01:20–02:20 Fixed point property for non-Hausdorspaces and its applications

Sang-Eon Han (Chonbuk National University) [ATIA-01, p. 108]
02:30–03:30 Chair: Alexander Sostak
02:30–03:30 L-soft sets and rough L-sets are lattice-valued sets

Shenggang Li (Shaanxi Normal University) [ATIA-02, p. 108]
03:50–04:50 Chair: Alexander Sostak
03:50–04:20 L-soft sets and rough L-sets are lattice-valued sets

Ahmed Mostafa Khalil (Shaanxi Normal University) [ATIA-03, p. 109]
04:20–04:50 On common fixed points of (ψ, φ)-type ciric contractions in complete

metric spaces
Lakshmi Kanta Dey
(National Institute of Technology Durgapur) [ATIA-04, p. 109]
November 15 (Wednesday) Azalea Lilac Room

01:20–02:20 Chair: Shenggang Li
01:20–02:20 Fuzzy k-pseudometrics and fuzzy k-pseudometric spaces

Alexander Sostak (University of Latvia) [ATIA-05, p. 110]
02:30–03:00 Digitizations associated with several types of digital topological

approach
Jeang Min Kang (Yonsei University) [ATIA-06, p. 110]
45
03:00–03:30 On stratied (L,M)-fuzzy convergence spaces
Bin Pang (Beijing Institute of Technology) [ATIA-07, p. 111]
03:50–04:20 On completeness of the Hausdorff fuzzy metric spaces

Changqing Li (Minnan Normal University) [ATIA-08, p. 112]
04:20–04:50 Completeness in probabilistic quasi-uniform spaces and fuzzy

quasi-metric spaces
Yueli Yue (Ocean University of China) [ATIA-09, p. 112]
November 15 (Thursday) Azalea Lilac Room

01:20–02:20 Chair: Sang-Eon Han
01:20–02:20 Soberity in topology, lattice theory and domain theory

Wei Yao (Hebei University of Science and Technology) [ATIA-10, p. 112]
02:30–03:00 Non-hyperbolic solutions to tangle equations involving composite

links
Yang Jingling (The Chinese University of Hong Kong) [ATIA-11, p. 112]
03:00–03:30 SI-continuous spaces, K-bounded sober spaces and domains

Kaiyun Wang (Shaanxi Normal University) [ATIA-12, p. 113]
03:50–04:20 The kR -property in sequential fans and the applications in the free
Abelian topological groups
Fucai Lin (Minnan Normal University) [ATIA-13, p. 113]
04:20–04:50 On commutative semiconical residuated lattice-ordered idempotent

monoids
Chen Wei (Minnan Normal University) [ATIA-14, p. 114]
46
DG. Differential Geometry and Topology
November 13 (Monday) Rose Room

01:20–02:00 Chair: Juncheol Pyo
01:20–02:00 Heat trace asymptotics, curvature tensors and BFK-gluing formula

for zeta-determinants
Yoonweon Lee (Inha University) [DG-01, p. 115]
02:30–03:00 Kodaira-Serre duality on transversely Kahler foliations

Seoung Dal Jung (Jeju National University) [DG-02, p. 115]
03:00–03:30 New area form on a complex surface in Dn,m and the the holonomy
displacement in the principal U (n)-bundle over Dn,m
Taechang Byun (Sejong University) [DG-03, p. 115]
03:50–04:20 Approximation of minimal surfaces

Dae Won Yoon (Gyeongsang National University) [DG-04, p. 116]
04:20–04:50 Characterizations of warped product pointwise semi-slant

submanifolds of Sasakian manifolds
Jae Won Lee (Gyeongsang National University) [DG-05, p. 116]
05:00–05:30 p-harmonic functions and connectedness at infinity of complete

submanifolds in a Riemannian manifold
Keomkyo Seo (Sookmyung Women’s University) [DG-06, p. 117]
47
November 14 (Tuesday) Rose Room
01:20–02:00 Invariants of ruled surfaces and applications

Huili Liu (Northeastern University) [DG-07, p. 117]
02:30–03:00 Pseudo-Hermitian symmetries on contact manifolds

Jong Taek Cho (Chonnam National University) [DG-08, p. 117]
03:00–03:30 Complex and Quaternionic hyperbolic Kleinian groups with real

trace fields
Sungwoon Kim (Jeju National University) [DG-09, p. 117]
03:50–04:20 Uniqueness of Families of Minimal Surfaces in R3

Eunjoo Lee (KIAS) [DG-10, p. 118]
04:20–04:50 Cyclic translating soliton for the inverse mean curvature flow
Daehwan Kim (Pusan National University) [DG-11, p. 118]
05:00–05:30 Bach-flat h-almost gradient Ricci solitons

Seungsu Hwang (Chung-Ang University) [DG-12, p. 119]
05:30–06:00 Delaunay type domains for an overdetermined elliptic problem in

Sn × R and Hn × R
Filippo Morabito (KAIST) [DG-13, p. 119]
48
Abstract
Plenary Lectures
PL. Plenary Lectures
[PL-01] Surface-knot groups and 3-manifold groups
Francisco Gonzalez Acuña
(Instituto de Matemáticas UNAM Cuernavaca and CIMAT Guanajuato)
The problem of determining which fundamental groups of spaces, in some in-

teresting class of spaces, are closed-3-manifold groups has been considered in the
literature; for example, for the class of compact Kahler groups [Dimca, Suciu] and for
the class of 2-stratifolds with empty 0-stratum [Gömez-Larrañaga, González-Acuña,
Heil]. We will discuss this problem for the class of complements, in four space, of
orientable smooth closed 2-submanifolds, yielding a class of groups called irreducible
C-groups [Kulikov] or connected LOG groups [Gilbert, Howie]. A central result is
: Theorem[GR].The only orientable-closed-3-manifold group that is the fundamental
group of the complement of a smooth orientable closed surface in S 4 is Z. The problem
for nonorientable-closed 3-manifold groups is open.
[PL-02] A classification problem on 4-manifolds

Jongil Park (Seoul National University)
One of the fundamental problems in 4-manifolds topology is to classify simply

connected smooth/symplectic 4-manifolds and complex surfaces. Although topologists
and geometers working on 4-manifolds have obtained many fruitful and remarkable
results in this direction in last 30 years, the complete answer is still far from reach.
In this talk I’d like to review known results on the classification of 4-manifolds
and a knot-surgery technique introduced by R. Fintushel and R. Stern which turned
out to be one of most powerful tools in study of smooth/symplectic 4-manifolds. If a
time is allowed, I’ll also investigate applications of a knot-surgery technique to solve
some open problems in smooth/symplectic 4-manifolds.
51
[PL-03] A polynomial time knot polynomial
Roland van der Veen (Leiden University)
We present a knot invariant Z strong enough to distinguish all prime knots up to

ten crossings and simple enough to be computable in polynomial time. Z includes the
Alexander polynomial, extends to tangles and behaves well under strand doubling
and reversal. Since Z was obtained from the Drinfeld double of the simplest non-
commutative Lie algebra, many more invariants like it are accessible. We will survey
the most important ingredients of this construction and the commutator calculus used
to make it computable. Time permitting connections to the colored Jones polynomial
and new bounds on the knot genus will be mentioned.
A handout for this talk can be found at: http://www.rolandvdv.nl/PPICTA2 A
summary of the main results is available at: https://arxiv.org/abs/1708.04853
[PL-04] A trace formula for foliated flows

Jesus A. Alvarez Lopez (University of Santiago de Compostela)
We consider a smooth compact foliated manifold with a foliated flow; that is, a
flow that maps leaves to leaves. Assume that the foliated flow is simple in the sense
that its fixed points and closed orbits are simple in a usual way, and it is transverse
to the leaves without fixed points (thus the foliation is of codimension one). Then
a distributional trace formula was conjectured and justified by V. Guillemin and C.
Deninger, having different potential applications in mind. It states that there should
be some traces of the action of the flow on the leafwise reduced cohomology whose
values are distributions on the line, called distributional traces, so that the corre-
sponding Leftchetz distribution has certain expression given by local contributions
from the fixed points and closed orbits. The case without fixed points was solved by
Y. Kordyukov and myself in 2002. The talk will be about the recent progress we have
made to show the distributional trace formula in the general case.
This is joint work with Y. Kordyukov and E. Leichtnam.
52
[PL-05] Topological groups which are hard to come by
Dmitri Shakhmatov (Ehime University)
In this talk, we discuss recent progress with respect to three problems in topolog-
ical groups theory:
(1) the problem of the existence of minimally almost periodic group topologies on
groups,
(2) the problem of the existence of group topologies on groups having the small
subgroup generating property (SSGP),
(3) the problem of the existence of a topologically simple dense subgroup G of
some power of the circle group which is canonically isomorphic to its own Pontryagin
dual G∧ (this implies that all closed subgroups and all Hausdorff quotients of both G
and G∧ are reflexive, i.e., G is strongly reflexive).
[PL-06] Continuous images of dense subspaces of products and topological groups

Mikhail Tkachenko (Universidad Autonoma Metropolitana)
The starting point for the study mentioned in the title is B. Efimov’s theorem
(1965) stating that every compact Hausdorff space representable as a continuous
image of an arbitrary Σ-product of compact metrizable spaces is necessarily metrizable
and, hence, has countable weight. In 1979, the author of this presentation proved
that the conclusion of Efimov’s theorem is also valid for compact continuous images
of arbitrary σ-products of compact metrizable spaces. Though the two results look
quite similar, the topological properties of Σ- and σ-products of compact spaces are
very different—-the former spaces are countable compact while the latter ones are
always σ-compact.
It turns out that both results are particular cases of a general theorem on com-
pact continuous images of dense subspaces of Σ-products of spaces with a countable
network. Interestingly, the factors of Σ-products need not be compact, it suffices to
assume only that they are regular (Tkachenko, 1982; an improvement by Tkachuk,
2001). In the lecture we will present several results going in the same direction.
53
Another line of investigation of compact continuous images also goes back to
B. Efimov who established fifty two years ago that every family γ of Gδ -sets in a
compact dyadic space contains a countable subfamily λ whose union is dense in
S
γ. Afterwards, in 1987, Arhangel’skii considered systematically compact contin-
uous images of (dense subspaces of) σ-compact topological groups and established
far-reaching generalizations of Efimov’s theorem on dyadic spaces. This study has
been continued by several mathematicians (mostly, Arhangel’skii’s ex-students) and
a big number of new and profound facts have been found. We are going to trace this
progress up to the date and present new (and remind old) open problems in this area.
[PL-07] Countable dense homogeneity and non-definable spaces

Rodrigo Hernandez-Gutierrez (Universidad Autonoma Metropolitana at Iztapalapa)
A space X is countable dense homogeneous (CDH) if it is separable and every

time that D, E are countable dense subsets of X, then there is a homeomorphism
h : X → X such that h[D] = E. We can find examples of CDH spaces among the
classical examples of general topology: Euclidean spaces, the Cantor set, Erdös space,
the Hilbert cube, the irrationals are all CDH.
Notice that all examples given above are Polish. An interesting question by Fitz-
patrick and Zhou (1990) is whether there are spaces that are CDH but not Polish.
The first examples of such spaces were given under additional axioms of set theory.
Eventually, non-Polish CDH spaces were constructed under ZFC.
In this talk we shall present the history of this problem, which kinds of CDH
spaces are known to exist (consistently or in ZFC) and the problems that remain
open.
[PL-08] Topological complexity of the work map

Jie Wu (National University of Singapore)
We introduce the topological complexity of the work map associated to a robot

system. In broad terms, this measures the complexity of any algorithm controlling,
not just the motion of the configuration space of the given system, but the task for
54
which the system has been designed. From a purely topological point of view, this is
a homotopy invariant of a map which generalizes the classical topological complexity
of a space.
[PL-09] Counting gauge groups

Daisuke Kishimoto (Kyoto University)
The gauge group is the topological group of automorphisms of a principal bundle,

and its homotopy theory has been developed in connection with the homotopy theory
of mapping spaces and fiberwise homotopy theory. The driving force of the study of
gauge groups is the counting problem: we consider all principal bundles with fixed
structure group and a base space, and count the number of gauge groups of these
principal bundles up to homotopy equivalences, H-equivalences, and so on. In this
talk, I will explain a recent result on the counting of the homotopy types of gauge
groups as loop spaces.
This is joint work with Mitsunobu Tsutaya.
[PL-10] Measure complexity and Mobius disjointness

Wen Huang (University of Science and Technology of China)
We will review some progress about Sarnak’s Mobius disjointness conjecture by

the measure complexity. Some examples incuding (Quasi)-discrete spectrum systems
and skew product maps on torus over a rotation of the circle will be discussed.
[PL-11] Simplicial networks and data analysis

Woong Kook (Seoul National University)
Applied topology has emerged as an important method for data analysis since the
birth of topological data analysis (TDA). A simplicial network, or a high-dimensional
network, was recently introduced in applied topology for the purpose of addressing
55
high order relations among data by generalizing network invariants for dyadic rela-
tions.
In this talk, we will review basic concepts of TDA, highlighting homology theory
as a data classification method. In comparison, analysing simplicial networks with
an emphasis on local information as well as global classification naturally reveals
harmonic classes as a proper tool with which combinatorial methods can be combined.
Information centrality for simplicial networks will be presented as an example.
56
Special Sessions
AT. Algebraic Topology
[AT-01] On the vc-geometric dimension in Mapping class groups

Daniel Juan-Pineda (Centro de Ciencias Matematicas-UNAM)
We give a young on the geometric vc dimension of mapping class groups, we use

this to bound the vc-geometric dimension for braid groups on the sphere.
[AT-02] Homology of R-completions of groups and finite R-bad spaces

Sergei Ivanov (Chebyshev Laboratory, St. Petersburg State University)
In the talk I will remind the Bousfield-Kan theory of R-completions and R-

homological localizations of spaces and its connection with the theory of R-completions
and HR-localizations of groups. Then I will present our new results in this theory (with
R. Mikhailov). In particular, we prove that the second mod-p homology group of a
free pro-p-group (considered as a discrete group) H2 (Fp∧ , Z/p) is uncountable and the
second rational homology group of the rational completion of a free group (considered
as a discrete group) H2 (FQ∧ , Q) is uncountable. Using this we prove that the wedge of
two circles is a Q-bad space which is the first example of a finite Q-bad space.
[AT-03] Pairings of classifying spaces and admissible maps

Yusuke Ueno (Fukuoka University)
We consider the maps between classifying spaces of compact Lie groups of certain
forms. If the restriction map on a classifying space is a weak epimorphism, then the
restriction on the other is known to factor through the classifying spaces of the center
of the compact Lie group. Suppose a group is a semi-simple subgroup of a given
connected compact Lie group with same rank. Replacing the weak epimorphism by
the inclusion, analogous results are obtained. We will show, however, that if the
subgroup is not semi-simple, the corresponding result does not hold.
57
[AT-04] Virtually cyclic geometric dimesion of S-arithmetic groups
Luis Jorge Sánchez Saldaña (Universidad Nacional Autónoma de México)
In this talk we will describe how to bound the virtually cyclic geometric dimension
for S-arithmetic groups. The main ingredients of our proof are the study of the the
semi-simple isometric action of an S-arithmetic group in its associated Bruhat-Tits
building, and the Lück-Weiermann construction.
[AT-05] The cohomology of projective unitary groups

Haibao Duan (Chinese Academy of Sciences)
Let c : U (n → P U (n) := U (n)/S 1 be the quotient map of the unitary group U (n)
of rank n by its center subgroup S 1 . Based on a refinement of the Gysin sequence
of the circle fibration c we determine the integral cohomology of the quotient group
P U (n).
[AT-06] Right-angled Coxeter groups and manifolds

Andrei Vesnin (Sobolev Institute of Mathematics)
Let R be the class of combinatorial 3-dimensional polytopes of simple combinato-

rial type, different from a tetrahedron, without 3- and 4-belts of faces. In particular,
R contains the dodecahedron and fullerenes. Due to Pogorelov (1967) and Andreev
(1970), R is exactly the class of polytopes which can be realised in a hyperbolic 3-
space with all dihedral angles to be right. Let G be Coxeter group, generated by
reflection of faces of a polytope from R.
We will discuss a method to construct hyperbolic 3-manifolds with fundamen-
tal groups commensurable with G. Various generalisations of the method and the
relations with moment-angle manifolds will be presented.
References:
A. Vesnin, Right-angled polyhedra and hyperbolic 3-manifolds, Russian Mathe-
matical Surveys, 2017, 72(3), 335-374.
58
[AT-07] Modular invariants under the actions of some reflection groups related to
Weyl groups
Erika Takigawa (Fukuoka University)
Some modular representations of reflection groups related to Weyl groups are

considered. The rational cohomology of the classifying space of a compact connected
Lie group is expressed as a ring of invariants, which is a polynomial ring. If such Lie
groups are locally isomorphic, the rational representations of their Weyl groups are
equivalent. However, the integral representations need not be equivalent. Under the
mod p reductions, we consider the structure of the rings. We will ask if such rings of
invariants are polynomial algebras, and if each of them can be realized as the mod p
cohomology of a space.
[AT-08] Real K- theory and computations

Noe Barcenas (CCM UNAM-Mexico)
We will discuss the twisted version of Real K theory and develope a spectral
sequence aiming to compute it. This is joint work wit Michael Joach.
[AT-09] Topological complexity and fibrewise L-S category

Norio Iwase (Kyushu University)
We use a fibrewise A infinite technology to determine fibrewise L-S category. As

an application, we give a short proof for determining topological complexity of Klein
bottle.
[AT-10] A functorial extension of the rational lift of the Kontsevich integral

Delphine Moussard (RIMS)
Garoufalidis and Kricker defined an invariant of knots in homology 3-spheres

which is a rational lift of the Kontsevich integral, and proved that their invariant
satisfies splitting formulas with respect to a surgery move called null-move. Follow-
ing the Cheptea-Habiro-Massuyeau’s construction of a functorial LMO invariant for
Lagrangian cobordisms, we define a functorial extension of the Garoufalidis-Kricker’s
59
invariant. As an application, we obtain splitting formulas for this invariant with re-
spect to null Lagrangian-preserving surgery, a generalization of the null-move.
[AT-11] Cancellation and homotopy rigidity of classic functors

Huang Ruizhi (National University of Singapore)
Cancellation and non-cancellation phenomena are widely investigated both in al-

gebra and geometry. Comparing to algebraic cancellation, geometric cancellation is
more mysterious which was illustrated by a classic example of Hilton and Roitberg.
In this work, we considered the cancellation problem in homotopy theory which can
be viewed as a special case of homotopy rigidity. We proved general homotopy cancel-
lation theorems and homotopy rigidity of loop and suspension functors in particular
categories.
[AT-12] Euler characteristics and the Zimmer program

Shengkui Ye (Xi’an Jiaotong-Liverpool University)
Let M r be a connected manifold with nonvanishing Euler characteristic modulo 3

(mod 6; resp.). Then any group of SL(n, Z) (n > r + 1) on Mr by homeomorphisms
is trivial (finite, resp.). This confirms a conjecture related to Zimmer’s program for
these manifolds.
60
GT. Geometric Topology
[GT-01] Variants of decomposition complexity in coarse geometry

Jerzy Dydak (University of Tennessee)
I will outline various ways of dualizing concepts from topology to coarse geometry.
Most interesting are the cases of paracompactness and covering dimension. By decom-
position complexity I mean any coarse invariant defined in terms of splitting, for any
positive number r > 0, a metric space X into subsets that can be expressed as a union
of a uniformly bounded family that consists of r-disjoint sets. The strongest such in-
variant is asymptotic dimension of Gromov, the weakest such invariant is an analog
of weak paracompactness. Up to now there were a few intermediate invariants: finite
decomposition complexity (Yu and collaborators), straight finite decomposition com-
plexity (Dranishnikov and Zarichnyi), and Asymptotic Property C (Dranishnikov).
Recently, Yamauchi gave a very ingenious proof that infinite direct sum of integers
has Asymptotic Property C and T.Davila generalized it by showing that any infinite
direct product of groups of finite asymptotic dimension has Asymptotic Property C.
I will outline how to define Asymptotic Property D, a coarse invariant stronger than
Asymptotic Property C. By using ideas from Matrix Algebra, I will show that any
infinite product of spaces of finite asymptotic dimension has Asymptotic Property D,
thus generalizing theorems of Yamauchi and Davila.
[GT-02] Straight finite decomposition complexity and property A for coarse spaces
Takamitsu Yamauchi (Ehime University)
Property A was introduced by Yu (2000) as a sufficient condition for coarse Baum-

Connes conjecture (or coarse embeddability into a Hilbert space). Straight finite
decomposition complexity was defined by Dranishnikov and Zarichnyi (2014) as a
stronger condition than property A and a common generalization of both asymp-
totic property C due to Dranishnikov (2000) and finite decomposition complexity
due to Guentner, Tessera and Yu (2012). The above four properties were defined
for metric spaces and can be extended to coarse spaces naturally. Bell, Moran and
Nagorko (2017) studied the relation of the above properties for general coarse spaces
and they posed several questions. In this talk, we consider a question of Bell, Moran
61
and Nagorko asking whether every coarse space with straight finite decomposition
complexity has property A.
[GT-03] Schreier coset graphs of Baumslag-Solitar groups

Takamichi Sato (Waseda University)
Let BS(1, n) = hA, B | AB = B n Ai be the Baumslag-Solitar group, where n ≥ 2.

It is known that BS(1, n) is isomorphic to a group G0 generated by two affine maps
of the real line. In this talk, we construct Schreier coset graphs of the group G0 for
stabilizers of all points of the real line and the above two generators through the
action of G0 on the real line. Moreover, we classify the Schreier coset graphs up to
isomorphism.
[GT-04] Generalized L-separations and generalized L-Urysohn spaces

Shizhong Bai (Wuyi University)
This paper is to introduce the concepts of generalized L-Ti separations (i=-

1,0,1,2), generalizedL-Urysohn spaces and generalized L-homeomorphism in general-
ized L-topological spaces, developed by the author. Furthermore, we are to give some
basic properties, interrelations and some counterexamples of the concepts above.
[GT-05] Homological selections and fixed-point theorems

Vesko Valov (Nipissing University)
In this talk we consider homological selection theorems and their applications to

obtain fixed-point theorems for usco homologically U V n set-valued maps.
[GT-06] Lipschitz subspaces of C(K)

Natalia Jonard (Universidad Nacional Autónoma de México)
Let K be an uncountable metric compact space and consider the Banach space
C(K) of real continuous functions defined on K endowed with the supremum norm.
It is well known that C(K) is isometrically universal for the class of all separable
62
Banach spaces. In particular, If K1 and K2 are uncountable metrizable compacta,
C(K1 ) contains an isometric copy of C(K2 ) and vice versa. Even more, by Milutin’s
theorem, C(K1 ) and C(K2 ) are always topologically isomorphic. This implies that it
is not possible to distinguish between K1 and K2 by means of topological information
about C(K1 ) and C(K2 ). However, this situation changes when we consider certain
geometric properties of the spaces C(K).
In this talk we will show how the possibility of embedding euclidean spaces Rn →
C(K) in such a way that the image in C(K) is made of Lipschitz functions is tightly
related to the Hausdorff dimension of K.
[GT-07] Markov-like generalized inverse systems and their limits

Hayato Imamura (Waseda University)
Markov interval maps were introduced by Holte (2002) and she showed that any
two inverse limits with Markov interval bonding maps with the same pattern were
homeomorphic. Banič and Lunder (2013) extended the notation from continuous maps
to set-valued functions, called generalized Markov interval functions, and applied the
theory of generalized inverse limits with set-valued functions. In this talk we introduce
Markov-like functions as a generalization of generalized Markov interval functions
and show that any two generalized inverse limits with Markov-like bonding functions
having same pattern are homeomorphic. Consequently we can give a generalization
of Holte, Banič and Lunder.
[GT-08] Isovariant fibrations and absolute extensors

Alexander Bykov (Benemérita Universidad Autónoma de Puebla)
For a given compact group G, we consider the category Isov-M of metrizable

G-spaces and isovariant maps. Recall that a G-map f : X → Y is called isovariant
if it preserves isotropy groups (stabilizers), that is, Gx = Gf (x) for all x ∈ X. In our
talk we are going to speak about some characterizations of Hurewicz fibrations and
absolute (neighborhood) extensors in the category Isov-M.
63
[GT-09] Two characterizations of G-A(N)R spaces for proper actions of Lie groups
Sergey Antonyan (National University of Mexico)
In this talk we consider equivariant extension properties of metrizable proper (in

the sense of R. Palais) G-spaces, where G is a Lie group. Generalizing well known
results of J. Jaworowski and R. Lashof, we shall present two characterizations of G-
A(N)R spaces in terms of H-fixed point sets, where H runs the family of all compact
subgroups of G. Related open problems will also be discussed.
[GT-10] Diffeology – a new approach towards geometry

Enxin Wu (Shantou University)
Smooth manifolds are important objects in mathematics and physics. However,

the category of smooth manifolds are too small to do many useful categorical oper-
ations. On the other hand, the category of (weakly Hausdorff compactly generated)
topological spaces are well-behaved, but the geometry is lost on such spaces. Can we
combine these two approaches? What extra could we obtain?
[GT-11] The function space with the hypo-graph topololy

Hanbiao Yang (Wuyi University)
For compacta (i.e., compact metrizable spaces) X and Y , we consider the set
C(X, Y ) which consists of all continuous maps from X to Y . Let Y be a dendrite
(i.e., a one-dimensional compact absolute retract (AR)). Let v0 be one end point of
S
Y and ↓v0 f = x∈X {x} × [v0 , f (x)] is closed subset of X × Y where [v0 , f (x)] is the
unique arc from v0 to f (x), for f ∈ C(X, Y ). We define the space ↓v0 C(X, Y ) =
{↓v0 f | f ∈ C(X, Y )} with the topology inherited from the Vietoris topology of the
hyperspace Cld(X ×Y ) of non-empty closed sets in X ×Y . Let ↓C(X, Y ) be the closure
of ↓C(X, Y ) in Cld(X × Y ). Let c0 be the subspace of the Hilbert cube Q = [−1, 1]N
defined as follows:

c0 = (xi )i∈N ∈ Q lim xi = 0 .
i→∞
It is proved that the pair (↓C(X, Y ), ↓C(X, Y )) is homeomorphic to (Q, c0 ).

64
On the other hand, let v1 be one end point of Y and v0 be other end point of
Y . In this case, ↓v0 C(X, Y ) is not connected but we can investigate its connected
components.
[GT-12] Function spaces with their compactifications homeomorphic to the Hilbert

cube
Katsuhisa Koshino (Kanagawa University)
For spaces X and Y , C(X, Y ) denotes the space of continuous maps from X to
Y endowed with the compact-open topology. In this talk, we shall present several
conditions on X and Y under which the space C(X, Y ) admits a “natural” compact-
ification C̄(X, Y ) such that the pair (C̄(X, Y ), C(X, Y )) is homeomorphic to (Q, s),
where Q is the Hilbert cube and s is the pseudo-interior of Q.
[GT-13] Review and future of one-dimensional wild algebraic topology

Katsuya Eda (Waseda University)
Algebraic topology of one-dimensional spaces has been developed in these twenty

years and some basic questions about one dimensional Peano continua have been
answered. In this talk I review such results and talk about possible furture develop-
ments.
[GT-14] On Banachizability
Tadeusz Dobrowolski (Pittsburg State University)
For a normed linear space Y , we are interested in finding a stronger complete

topology τ on Y such that X = (Y, τ ) becomes a complete metric linear space X (an
F -space). Such an X, if exists, must be unique. Moreover, if X is separable, Y must
be Borel. In the realm of separable metric groups, Solecki showed that, for a separable
Borel Abelian group Y , a stronger Polish group topology on Y doesn’t exist iff there
is a topological embedding i : C ω → Ŷ such that, for all c, c0 ∈ C ω ,
c − c0 ∈ Cfω ⇔ i(c) − i(c0 ) ∈ Y,

65
that is, i sends the cosets of C ω /Cfω into the cosets of Ŷ /Y in a one-to-one manner.
Above, C ω stands for the countable product of the Cantor group C, Cfω for eventually
zero sequences, and Ŷ for the completion of Y . We show that if Y is additionally a
separable normed linear space, then the resulting Polish group X must be an F -space.
A geometric characterization for Banachizability of Y will be given.
[GT-15] Homological properties of decomposition spaces

Akira Koyama (Waseda University)
Since 1960 the decomposition space X of the Euclidean 3-space R3 by the Case-
Chamberlin continuum C has been investigated and Shrikhande showed that X is not
simply connected and not locally simply connected. Bogopolski and Zastrow showed
that the first dimensional singular homology group of X is not trivial. We are dis-
cussing (local) homological properties of X.
[GT-16] The function spaces of non-k-spaces

Zhongqiang Yang (Shantou University)
For a Tychonoff space X, let ↓ CF (X) denote the collection of the hypographs of
all continuous maps from X to [0, 1] with the Fell topology. We give an example of
non-k-space X such that ↓ CF (X) is homeomorphic to c0 , where Q = [−1, 1]N is the
Hilbert cube, Σ = {(xn ) ∈ Q : sup |xn | < 1} and c0 = {(xn ) ∈ Σ : lim xn = 0} are its
subspaces. This answer an open problem.
66
CT. Continuum Theory
[CT-01] Reversible properties of inverse limits with a single set valued function
Van Nall (University of Richmond)
I f is an upper semi-continuous set valued function from a compact set X into the
closed subsets of X and the inverse limit of f is connected, then the inverse limit of
f −1 is connected. So we say being connected is a reversible property. We will explore
other reversible properties but with restrictions on the bonding functions and the
factor spaces since there do not appear to be any properties as broadly reversible as
connectedness.
[CT-02] A new example of a fixed-point free map of a tree-like continuum

Rodrigo Hernandez-Gutierrez (Universidad Autonoma Metropolitana at Iztapalapa)
One of the oldest and most important open problems in continuum theory is the
plane fixed point problem: Does every continuum that does not separate the plane
have the fixed point property? For one-dimensional continua, this is equivalent to
asking whether every tree-like continuum in the plane has the fixed point property.
So far this problem remains unanswered.
Bellamy constructed the first example of a tree-like continuum without the fixed
point property in 1980. Later, Oversteegen and Rogers produced another example
similar to that of Bellamy using an explicit inverse limit construction. The complexity
of the trees and maps in the Oversteegen-Rogers example grows exponentially, which
makes it difficult to visualize the example.
In this talk, the speaker will describe a new example of a tree-like continuum
without the fixed point property also obtained by using inverse limits of trees. The
advantage of this new example is that the trees involved have a simpler structure and
the bonding maps have uniformly bounded valence. We hope this example gives a bet-
ter understanding of fixed point-free maps on tree-like continua that might eventually
lead to the solution of the plane fixed point problem.
67
[CT-03] Points of local and non-local connectedness in Generalized Inverse Limits
Mauricio E. Chacon-Tirado (Benemerita Universidad Autonoma de Puebla)
Let M be a closed subset of [0, 1] × [0, 1]. The generalized inverse limit of M was
introduced by Mahavier and is defined as
←−M = {(x1 , x2 , . . . ) ∈ [0, 1] : for each n ∈ N, (xn+1 , xn ) ∈ M }.

N
lim
Notice that when M is the graph of a map f : [0, 1] → [0, 1], then lim
←−M is the usual
inverse limit of f . A natural question is to study the relations between properties of
lim
←−M and properties of M . In this talk we study some properties of M that allow us
to identify the points of local arcwise-connectedness and nonlocal connectedness of
lim
←−M .
[CT-04] Common Fixed points of group actions

Benjamin Vejnar (Charles University)
We study the conditions under which every action of a group on a continuum has
a fixed point. We are dealing e.g. with commutative groups or compact groups and
with some classes of continua like dendrites, dendroids, lambda-dendroids or uniquely
arcwise connected continua.
[CT-05] Weak and Strong n-ods

Norberto Ordoñez Ramirez (Universidad Autónoma del Estado de México)
Let n > 1 be a natural number. We recall that an n-od is a continuum X, for

which there is a subcontinuum Z of X, such that X − Z = E1 ∪ . . . ∪ En where Ei 6= ∅
for each i = 1, . . . , n, and Ei ∩ E j = ∅ whenever i 6= j. We introduce the following
concepts.
• A weak n-od is a continuum X, for which there are subcontinua X1 , . . . , Xn
of X such that X = ni=1 Xi , ni=1 Xi 6= ∅ and Xj is not contained in i6=j Xi
S T S
for each j = 1, . . . , n.
• A strong n-od is a continuum X, for which there is a subcontinuum Z of X,
such that X − Z = E1 ∪ . . . ∪ En where Ei 6= ∅ for each i = 1, . . . , n, and
E i ∩ E j = ∅ whenever i 6= j.
68
From the definitions, we have that every strong n-od is an n-od and every n-od is a
weak n-od.
In this talk we will present some nice results related with the structure of these
kind of spaces. In particular, we will show that every n-od which is not a strong n-od
contains at least two indecomposable subcontinua and we will see that in the classes
of locally connected continua and hereditarily decomposable continua, every n-od is
a strong n-od. Also we will show that there are exactly six locally connected continua
that are not a 3-od. Finally, we will characterize the dimension of the hyperspace of
subcontinua for a finite graph using the concept of weak n-od.
[CT-06] A scheme for constructing examples of generalized inverse limits with some
interesting examples
Judy Kennedy (Lamar University)
We present a natural scheme for constructing examples of generalized inverse lim-

its, and follow with some examples and their properties. We also introduce a definition
of topological entropy on closed subsets of the square, investigate its properties and
then give an example of a subset T of the square that has zero topological entropy,
but if any point of the square not in T is added, the resulting entropy is infinity.
[CT-07] Hereditarily contractible continua

Wlodzimierz J. Charatonik (Missouri University of Science and Technology)
We will present a characterization of hereditarily contractible continua as point-

wise smooth dendroids. The notion of pointwise smooth dendroids is due S. T. Czuba,
who also proved that every hereditarily contractible continuum is a pointwise smooth
dendroid. We will discuss properties and examples of pointwise smooth dendroids and
sketch a proof of the opposite implication. The proof uses Michael’s selection theorem.
[CT-08] Compactifiable classes of continua

Adam Bartoŝ (Charles University)
We study the question whether a given family of metrizable compacta can be

disjointly combined into one metrizable compact space such that the corresponding
69
quotient space is also a metrizable compactum. For a family of continua this is equiv-
alent to the existence of a metrizable compactum whose connected components are
the original spaces (up to homeomorphism).
We give sufficient and necessary conditions for a class of spaces to be compactifiable
in this sense - in terms of subspaces of rectangles, hyperspaces, and inverse limits. We
also give examples of compactifiable and non-compactifiable classes.
Every hereditary class of metrizable compacta with a universal element is com-
pactifiable, so compactifiability of a hereditary class might be viewed as a weaker
form of the existence of a universal element.
[CT-09] Midpoint functions in continua

Patricia Pellicer-Covarrubias (Universidad Nacional Autónoma de México)
In this talk we consider midpoint functions for the hyperspace of arcs and single-
tons of a continuum X. We determine necessary and/or sufficient conditions under
which such functions are continuous, open or closed, among other properties. We
also characterize some classes of continua in terms of the behavior of the midpoint
functions.
[CT-10] The class of almost meshed locally connected continua is HSn -determined,
for each n ∈ N − {1, 2}
Fernando Macı́as-Romero (Benemérita Universidad Autónoma de Puebla)
For a metric continuum X and n ∈ N , we consider the hyperspaces Cn (X) (re-

spectively, Fn (X)) of all nonempty closed subsets of X with at most n components
(respectively, n points). Let HSn (X) be the quotient space Cn (X)/Fn (X) with the
quotient topology. In this talk we see that: if X and Y are almost meshed locally con-
nected continua and HSn (X) is homeomorphic to HSn (Y ), then X is homeomorphic
to Y , for each n ∈ N − {1, 2}.
70
[CT-11] 2-manifolds and inverse limits of set-valued functions on intervals
Sina Greenwood (University of Auckland)
Suppose for each n ∈ N, fn : [0, 1] → 2[0,1] is a function whose graph Γ(fn ) =

{(x, y) ∈ [0, 1]2 : y ∈ fn (x)} is closed in [0, 1]2 (here 2[0,1] is the space of non-empty
closed subsets of [0, 1]). We outline a proof that the generalized inverse limit lim(fn ) =
←−
(xn ) ∈ [0, 1]N : ∀n ∈ N, xn ∈ fn (xn+1 ) of such a sequence of functions cannot be an
arbitrary continuum. The proof we outline specifically determines that if such an
inverse limit is a 2-manifold then it is a torus and hence it is impossible to obtain a
sphere.
[CT-12] Shore Sets in Hyperspaces

Verónica Martı́nez-de-la-Vega (UNAM)
Let X be a continuum and A a subcontinuum of X with empty interior.

A is a a continuum of colocal connectedness in X provided that for each open
subset U of X with A ⊂ U there exists an open subset V of X such that A ⊂ V ⊂ U
and X \ V is connected.
A is not a weak cut continuum in X if for any pair of points x, y ∈ X with x, y ∈
/A
there is a subcontinuum M of X such that x, y ∈ M and M ∩ A = ∅.
A is a nonblock continuum in X provided that there exist a sequence of subcon-
S
tinua M1 , M2 , . . . of X such that M1 ⊂ M2 ⊂ · · · and Mn is dense in X \ A.
n∈N
A is shore continuum in X provided that for each ε > 0 there is a subcontinuum
M of X such that H(M, X) < ε and M ∩ A = ∅.
It is easy to show that: Colocal connectedness ⇒ not weak cut ⇒ nonbolck ⇒
shore.
In this talk we present several conditions under which F1 (X) satisfies these con-
ditions in the Hyperspaces Fn (X), 2X and Cn (X).
71
[CT-13] Induced open mappings, an example
Alejandro Illanes (UNAM)
For a Hausdorff space X, let Sc(X) denote the hyperspace of all nontrivial conver-
gent sequences in X, endowed with the Vietoris topology. Given a mapping between
Hausdorff spaces f from X onto Y, the induced mapping Sc(f) from Sc(X) into Sc(Y) is
defined by Sc(f)(A)=f(A) (the image of A under f). In this talk we will present an ex-
ample of a strong light open mapping between Hausdorff Fréchet-Urysohn spaces such
that Sc(f) is not open. This answers a question by D. Maya, P, Pellicer-Covarrubias
and R. Pichardo-Mendoza.
[CT-14] Almost meshed locally connected continua without unique n-fold hyper-
space suspension
David Herrera-Carrasco (Benemérita Universidad Autónoma de Puebla)
For a metric continuum X and n ∈ N , we consider the hyperspaces Cn (X) (re-

spectively, Fn (X)) of all nonempty closed subsets of X with at most n components
(respectively, n points). Let HSn (X) be the quotient space Cn (X)/Fn (X) with the
quotient topology. In this talk we prove that: there are almost meshed locally con-
nected continua without unique n-fold hyperspace suspension, for each n ∈ N .
72
STT. Set-Theoretic Topology
[STT-01] On productively strongly paracompact spaces

Heikki Junnila (University of Helsinki)
A space X is productively strongly paracompact if X × Y is strongly paracompact

for every strongly paracompact space Y . We show that every productively strongly
paracompact metrizable space is supercompact (i.e., every directed open cover is
refined by an open partition) and locally σ-compact.
[STT-02] Compactness properties defined by open point games

Alejandro Dorantes-Aldama (Ehime University)
For a topological space X we define the selectively sequentially pseudocompact

game Ssp(X) by the followig rules: at round n, Player I selects a non-empty open sub-
set Un of X and Player II chooses a point xn inside Un. Player II wins if the sequence
(xn) has a convergent subsequence in X; otherwise, Player I is declared a winner. Con-
sidering the (non)existing of (stationary) winning strategies for each of the players in
this open-point game creates a fine structure of the interval between sequential com-
pactness and (selective sequential) pseudocompactness. We study this fine structure
thoroughly, distinguishing most of the new convergence properties defined by this
open-point game. We consider also related compactness properties obtained when
the winner of the open-point game is determined by some weaker properties than the
existence of a convergent subsequence.
[1] A. Dorantes-Aldama, D. Shakhmatov, Selective sequential pseudocompactness,
Topology Appl. 222 (2017), 53–69.
[STT-03] On spaces of step functions over GO-spaces and Menger property

Ming-Yue Guo (Beijing University of Technology)
Given a GO-space (generalized ordered topological space) L, the Dedekind com-

pletion of L is denoted by cL. An element x ∈ cL is in T (L) if and only if x ∈ cL \ L,
or x = ∞, or x ∈ L and x has the immediate successor in L. Points of T (L) that
73
are in L are declared isolated. The other points inherit base neighborhoods from the
Dedekind completion cL.
We show that if L is a GO-space then T (L)n is covered by finitely many closed
homeomorphic copies of a closed subspace of Cp (L, n + 1). We also show that if L
is a GO-space and T (L)n is Lindelöf (Menger) for each n then Sp (L, n) is Lindelöf
(Menger) for each n, where Sp (L, n) is the subspace of Cp (L, n), which consists of all
step functions with finitely many steps and constant functions.
We show that if L is a countably compact GO-space then Cp (L, n) is Menger for
each n if and only if T (L) is Lindelöf. If L is a first countable GO-space such that L0
is countably compact and Y =ClL (L \ L0 ) ∩ L0 is scattered with rank(Y ) < ω1 , then
Cp (L, m) is a Menger space if and only if Cp (L, m) is a Lindelöf space, where m ∈ N.
We finally show that if L is a GO-space then Sp (L, n) is dense in Cp (L, n) for each
n ∈ N.
[STT-04] Product theorems on dimensions

Yasaunao Hattori (Shimane University)
We will give a quick survey on the dimensions of product spaces. The behavior
of the covering (inductive) dimension of the product of topological groups,and the
transfinite dimensions of the products of are discussed. We also recall some open
questions in the topic.
[STT-05] Resolutions of topological spaces

Aleksander Blaszczyk (University of Silesia)
There is proved that every compact Hausdorff space X is an irreducible image of

a zero-dimensional compact Hausdorff F -space X + such that w(X + ) ≤ w(X)ω . The
construction is inspired by the extremely disconnected resolutions. However, instead
of ultrafilters, inverse limit methods are used.
74
[STT-06] Topological spaces induced by countable elementary submodels
Hang Zhang (Southwest Jiaotong University)
We give a study of the quotient-like topological spaces induced by countable el-

ementary submodels, which were introduced by Bandlow and Dow, and studied by
Eisworth, Burton and Tall recently. We will show backgrounds and share our rencent
results on this topic. We think there are many things worth exploring.
[STT-07] The lexicographically ordered square is not monotonically star-finite

Wei-Xue Shi (Nanjing University)
In this talk, we will prove that the lexicographically ordered square is not mono-
tonically star-finite which answers a question posed by Popvassilev and Porter.
[STT-08] Categorical properties and more on the hyperspace of convergent sequences

Yasser Ferman Ortiz Castillo (Instituto de Matematica e Estatistica da Universidade)
The hyperspace of convergent sequence is the subspace of the hyperspace of com-

pact sets with the Vietoris Topology which consist in all infinite countable sets with
an unique accumulation point. In this talk we will present some problems and ad-
vances on connectedness, categorical properties and contractibility of the hyperspace
of convergent sequences of Frechet-Urysohn spaces.
[STT-09] I-sequential topological spaces

Sudip Kumar Pal (Diamond Harbour Women’s University)
In this paper a new notion of topological spaces which is a strictly weaker than
rst countable spaces namely, I-sequential topological spaces is introduced and inves-
tigated. This new space is also a quotient of a metric space.
75
[STT-10] The τ -precompact Hausdorff group reflection of topological groups
Xiao Zhiqiang (Nanjing Normal University)
The most important compactification of a Tychnoff is the Ĉech-Stone compact-

ification. From the category theory point of view, this is the compact Hausdorff re-
flection of a Tychonoff space. For an arbitrary topological group G, the compact
Hausdorff reflection of G coincides with the Bohr compactification of G. In this talk,
for each infinite cardinal number τ , we consider the τ -precompact Hausdorff reflec-
tion of a topological group which is a generalization of the Bohr compactification and
ω-narrow Hausdorff reflection. Some properties of the τ -precompact Hausdorff group
reflection functor are also obtained.
[STT-11] On the tightness and the k-property of free topological groups

Li-Hong Xie (Wuyi University)
In this talk, the countable tightness and the k-space property in free topological
groups over generalized metrizable spaces are considered. The following main results
are obtained: (1) A space X is separable or discrete if and only if the free topological
group F (X) is of countable tightness for a paracompact σ-, k-space X; (2) A space
X is an ℵ0 -space or discrete if and only if F (X) is of countable tightness for a normal
k ∗ -metrizable k-space X; (3) A space X is a kω -space or discrete if and only if F (X)
is a k-space for a k ∗ -metrizable space X. Some results on the countable tightness and
the k-property of free topological groups over metric spaces are improved.
[STT-12] Groups with Many Small Subgroups

Victor Hugo Yañez Salazar (Ehime University)
Let G be a group. For a subset A of G, Cyc(A) denotes the set of all elements of
G which generate the cyclic subgroup contained in A. If the smallest subgroup of G
generated by Cyc(U ) is dense in G for every neighborhood U of the identity, then G
is said to have the small subgroup generating property (abbreviated to SSGP). SSGP
groups form a proper subclass of the class of minimally almost peandriod groups.
In the realm of abelian groups, this property has been studied by Comfort, Gould,
Dikranjan and Shakhmatov. The structure of abelian groups having an SSGP group
topology was completely described in the case of zero divisible rank and infinite
76
divisible rank. We resolve the remaining case of abelian groups of finite positive
divisible rank, thereby answering several remaining questions regarding the existence
of these type of topologies. This is joint work with Dmitri Shakhmatov.
[STT-13] Non-trivial non weakly pseudocompact spaces

Angel Tamariz-Mascarúa (Universidad Nacional Autonoma de Mexico)
A space Z is weakly pseudocompact if Z is Gδ -dense in at least one of its compact-

ifications. In 1996 F.W. Eckertson proposed the following problem: Find examples of
Baire non Lindelöf spaces which are not weakly pseudocompact. Eckertson gave a
list of natural candidates. In this talk we show that, indeed, part of this list produces
examples of this type. In fact, we present product spaces which are Baire non-Lindelöf
and not weakly pseudocompact.
[STT-14] Oscillation revisited

Jiling Cao (Auckland University of Technology)
In 2009, Beer and Levi introduced the notion of the oscillation Ω(f, A) of a function
f : hX, di → hY, ρi between two metric spaces hX, di and hY, ρi at a nonempty subset
A of X, defined so that when A = {x}, we get Ω(f, {x}) = ω(f, x), where ω(f, x)
denotes the classical notion of oscillation of f at the point x ∈ X. The study of (joint)
continuity of the map (f, A) 7→ Ω(f, A) involves with some appropriate function space
and hyperspace topologies. In the talk, I will present some results in this direction.
[STT-15] Some special Menger spaces and its applicatons in Cp-theory

Jiakui Yu (Si Chuan university)
It is still an open problem that is there, provably in ZFC, a nontrivial example

of a set of reals such that X does not satisfy Hurewicz property, but all finite powers
of X satisfy Menger property? In this talk, we consider this question, and related
questions. Some specail spaces have been constructed and some interesting results
and their applications will be presented.
77
[STT-16] Continuous extensions of maps between sequential cascades
Szymon Dolecki (Mathematical Institute of Burgundy)
A sequential cascade is a tree, well-founded for the inverse order, and such that
the set of immediate successors of each non-maximal element is infinitely countable.
It can be considered as a subspace of the sequential tree. It is proved that each non-
trivial continuous map from the extremal elements of a sequential cascade to the
extremal elements of another sequential cascade can be continuously extended to a
map between full subcascades. This result has application to subsequential topologies
and to classifications of ultrafilters.
[STT-17] On a class of realcompact uniform spaces

Asylbek Chekeev (Balasagyn Kyrgyz National University)
We consider a category ZU nif , whose objects are uniform spaces, morphisms

are coz-mappings of uniform spaces [1]. For uniform spaces uX and vY a mapping
f : uX → vY is called coz-mapping if f −1 (Zv ) ⊂ Zu , where Zu (Zv ) is a set of all zero-
sets of uniformly continuous functions on uX (vY ). In [2] it was shown that a uniform
space uX is realcompact in the category ZU nif if and only if it is R − zu -copmplete,
i.e. every maximal countably centered system on Zu converges in it. We will call
realcompact spaces in the category ZU nif as realcompact uniform spaces. In this talk
in the category ZU nif for realcompact uniform spaces the spectral characterizations
are given and the spectral theorem is proved. In a category U nif of all uniform spaces
and uniformly continuous mappings a class of spaces that provides the Kulpa spectral
theorem [3] is established.
Historically the beginning of spectral analysis of the structure of compacta is
the fundamental Shchepin spectral theorem [4]. The generalizations of the spectral
theorem for a class of Tychonoff spaces were proved by Arhangel’skiǐ [5]. And further
generalization of the spectral theorem was given by Tkachenko [6], [7]. In category
T ych of Tychonoff spaces for a class of realcompact spaces the spectral theorem was
proved by Chigogidze [8].
References [1] Frolik Z. Four functors into paved spaces, In seminar uniform
spaces 1973-4. Matematický ústav USAV, Praha, (1975), 27–72. [2] Chekeev A.A.,
78
Kasymova T.J. Ultrafilters-completeness on zero-sets of uniformly continuous func-
tions,Topology Atlas, Toposym, (2016). [3] Kulpa W. Factorization theorems and prop-
erties of the covering type, Uniwersytet Ślaski, Katowice, (1980). [4] Shchepin E.V.
Topology of limit spaces of uncountable inverse spectra,Uspehi Math. Nauk, XXXI
(1976), 191–226 (in Russian). [5] Arhangel’skiǐ A.V. Distribution of the Shchepin in-
verse spectra theorem on completely regular spaces, Doklady Akad. Nauk SSSR, 233
(1977), 265–268 (in Russian). [6] Tkachenko M. Some results on inverse spectra, I,
Comment. Math. Univ. Carolinae, 22:3 (1981), 621–633. [7] Tkachenko M. Some re-
sults on inverse spectra, II, Comment. Math. Univ. Carolinae, 22:4(1981), 819–841. [8]
Chigogidze A., Fedorchuk V.V. Absolute retracts and infinite-dimensional manifolds,
”Nauka”, Moscow, (1992) (in Russian).
[STT-18] Neighborhood assignments in metrization theorem and rough set theory

Zuoming Yu (Jiangsu University of Science and Technology)
We make a survey of our recent work on characterizing metrizable spaces and

generalized metrizable spaces with neighborhood assignments. We find that the cores
of neighborhood assignments play an important role in this research. Also, it is helpful
when we study rough set theory. We will give some examples in this talk.
79
ST. Set Theory
[ST-01] Algebraic Ramsey-Theoretic Statements with an Uncountable Flavour

David Fernández-Bretón (University of Michigan)
The canonical example of an algebraic Ramsey-theoretic statement is the Hindman–

Galvin–Glazer theorem:
Theorem: Let G be any infinite abelian group, and suppose that we colour its
elements with finitely many colours. Then there is an infinite X ⊆ G such that the
set
FS(X) = {x1 + · · · + xn | x1 , . . . , xn ∈ X are distinct and n ∈ N}
of finite sums of elements of X (with no repetitions) is monochromatic.
In order to spread some uncountable flavour onto this theorem, there are several
directions that one can take. For example, one can ask whether the above statement
remains true when one tries to replace “infinite X” with “uncountable X”. This state-
ment turns out to fail, so one might ask how badly does it fail: how many colours can
we use in a colouring that will render any FS(X), for uncountable X, panchromatic?
This is another question whose answer takes us into the uncountable realm. Another
possibility is to increase the number of colours in exchange of decreasing the size of
the monochromatic set: which groups satisfy the property that whenever they are
coloured with some fixed uncountable number of colours, there will be a monochro-
matic FS(X) for some X of a prescribed finite size? And, quite naturally, one might
also ask all of these questions of other algebraic Ramsey-theoretic results (such as van
der Waerden’s theorem that for every finite colouring of an abelian group, there will
be monochromatic arithmetic progressions of arbitrarily large (finite) length). All of
these questions have been addressed, in the past couple of years, by diverse subsets of
the set {Komjáth, Rinot, D. Soukup, W. Weiss, myself} (among others). My plan is
to provide a panoramic overview of this exciting line of research, and point towards
possible future lines of enquiry.
80
[ST-02] Equivalence relations and Borel reduction
Longyun Ding (Nankai University)
In Descriptive Set Theory, Borel reduction is an useful tool to characterize the

relative complexity of equivalence relations from vary branches in mathematics. In
resent years, many logicians worked on this topic and many interesting results were
founded. In this talk, we will give a survey on this topic, from the beginning to some
brand new results.
[ST-03] Borel isomorphisms at the second level

Takayuki Kihara (Nagoya University)
Given two spaces are second-level Borel isomorphic if there exists a bijection be-
tween these spaces which preserves Gδσ . Jayne and Rogers in 1979 showed that any
two countable dimensional uncountable Polish spaces are second-level Borel isomor-
phic. Their results led us to the question of how many second-level Borel isomorphism
types of Polish spaces there are.
We settle this question by showing that there are continuum many second-level
Borel isomorphism types of compact metrizable spaces. Our proof involves various
computability-theoretic notions such as Kumabe-Slaman forcing, continunous de-
grees, and countable Scott sets (standard systems of countable nonstandard models of
Peano Arithmetic). We also mention the relationship between our results and Roman
Pol’s 1981 solution to Alexandrov’s old problem in infinite dimensional topology.
[ST-04] Uncountable Fordor-type reflection principle and reflection of meta-Lindelöfness

André Ottenbreit Maschio Rodrigues (Kobe University)
This is a joint work with Sakaé Fuchino and Hiroshi Sakai.

The Fodor-type Reflection Principle (FRP) is a reflection principle introduced in
[1]. We work with the following generalization of FRP for higher cardinalities:
Definition 1. Let µ, κ be regular cardinals with µ+ < κ. . F RP − (µ, < κ) denotes
that for every regular λ ≥ κ the following statement holds: ”For any stationary
S ⊂ E λµ and any function g with domain S such that g(α) ∈ [α]µ for each α ∈ S,
81
there is γ < λ with µ < cf (γ) < κ such that Zg ∩ [γ]µ is stationary in [γ]µ , where
Zg := {x ∈ [λ]µ : sup(x) ∈ Sand|g(sup(x)) ∩ x| = µ}.”
This principle is an alternative (by a slight modification) to a more straightforward
generalization F RP (µ, < κ). Both versions coincide for µ = ω, however the F RP −
version is more appealing since the other version turns out to fail under simple car-
dinal arithmetical assumptions (for example,F RP (ω1 , < ωω+1 ) fails under CH). The
original FRP is equivalent to F RP − (ω, ω2 ).
In [2], FRP was proven to be equivalent to the reflection of meta-Lindelöfness
in a certain class of topological spaces. In this talk, we present a generalization of
that result. More specifically, for regular µ, κ with µ+ < κ we prove that F RP − (µ, κ)
is equivalent to the reflection under κ of a generalization of meta-Lindelöfness on a
certain class of topological spaces.
References
[1] S. Fuchino, I. Juhász, L. Soukup, Z. Szentmiklóssy, and T. Usuba. Fodor-type
reflection principle and reflection of metrizability and meta-Lindelöfness. Topology
Appl., 157(8):1415–1429, 2010.
[2] S. Fuchino, H. Sakai, L. Soukup, and T. Usuba. More about the fodor-type
reflection principle. 01 2012.
[ST-05] Sacks indestructible ultrafilters and the HL property

David Chodounsky (Institute of Mathematics CAS)
The indestructibility of reaping families of subsets of integers with the Sacks forc-
ing is connected with the Halpern–Lauchli (HL) property. The central point of our
investigation is the question of existence of Sacks indestructible ultrafilters, i.e. HL
reaping filters. The problem of existence of such ultrafilters remains an open problem.
[ST-06] Ultrafilter limits in matrix iterations

Diego A. Mejı́a (Shizuoka University)
A version of ultrafilter limits along finite support iterations (fsi) was developed by
Goldstern, Mejı́a and Shelah to preserve unbounded families by fsi adding restricted
eventually different reals. As a result, they obtained a model where all the cardinals
82
in the left side of Cichon’s diagram are pairwise different and also different from the
cardinals of the right side.
In this talk we explain how to define ultrafilter limits in matrix iterations. This re-
quires less hypotheses and it is much simpler to construct in comparison to Goldstern-
Mejı́a-Shelah’s version for fsi. This tool is used to construct a model where 7 cardi-
nals in Cichon’s diagram are pairwise different (maximum number of different values
known so far that is consistent with ZFC). We also present some other applications
of this method.
[ST-07] Constant prediction, strong porosity, and unsymmetric game ideals

Joerg Brendle (Kobe University)
We explore the close connection between the notion of constant prediction due
to Kamo, the concept of strong porosity of Hrusak and Zindulka, and unsymmetric
game ideals originally introduced by Newelski and Roslanowski. As a consequence of
this connection, we obtain answers to several problems in the literature. For exam-
ple, we show that the covering numbers of the unsymmetric game ideals are above
non(meager) and therefore above their uniformities, thus answering a question of
Newelski and Roslanowski. This result, then, translates to analogous statements about
the constant prediction number and about the covering number of the strong porosity
ideal.
[ST-08] Tukey reduction on F sigma ideal

Jialiang He (Sichuan University)
In this talk, we will condider Tukey reduction among Borel ideal. Some new results
will be presented here by game proof. We show that for any fragmented ideal either
has a maximal Tukey type or Tukey less than sumable ideal.
83
[ST-09] Simultaneously reflection, successors of singulars and Jonsson cardinals
Liuzhen Wu (Chinese Academy of Sciences)
It is widely open that whether successors of singulars cardinals are necessarily

Jonsson cardinals. Eisworth and Shelah prove that the existence of non-Jonsson suc-
cessor of singular cardinal implies certain form of simultaneously reflection principle.
Recently, we find the existence of non-Jonsson successor of singular cardinal also
implies the failure of some stronger form of simultaneously reflection principle.
[ST-10] On supercompactness of omega 1

Daisuke Ikegami (Tokyo Denki University)
In ZFC, most large cardinals are much larger than cardinals such as omega,
omega 1, and the continumm. However, if one does not assume the Axiom of Choice,
it is known that omega 1 could have some large cardinal properties such as mea-
surability and supercompactness. In this talk, we present some consequences of the
supercompactness of omega 1 in ZF without the Axiom of Choice. This is joint work
with Nam Trang.
[ST-11] On reflection principles of indescribable sets

Hiroshi Sakai (Kobe University)
n this talk, we compare several kinds of reflection principles of Π1n -indescribable

sets with the Π1n+1 -indescribability. Among other things, we show the following: (1)
In the constructible universe L, the standard reflection principle of Π1n -indescribable
sets is equivalent to the Π1n+1 -indescribability. (2) For n < 3, the standard reflection
principle of Π1n -indescribable sets does not imply the Π1n+1 -indescribability. We also
present a variation of a reflection principle of Π1n -indescribable sets which is equivalent
to the Π1n+1 -indescribability.
84
KT. Knot Theory
[KT-01] Skein invariants for oriented surface-links

Sang Youl Lee (Pusan National Univeristy)
An oriented surface-link is an oriented closed surface smoothly embedded in 4-

space. Two oriented surface-links are equivalent if they are ambient isotopic. In this
talk, I would like to introduce skein invariants for oriented surface-links built from
oriented marked graph diagrams.
[KT-02] Generalized torsion elements and bi-orderability of 3-manifold groups

Masakazu Teragaito (Hiroshima University)
It is known that a bi-orderable group has no generalized torsion element, but

the converse does not hold in general. We conjecture that the converse holds for
the fundamental groups of 3-manifolds, and verify the conjecture for non-hyperbolic,
geometric 3-manifolds. We also confirm the conjecture for some infinite families of
closed hyperbolic 3-manifolds. In the course of the proof, we prove that each standard
generator of the Fibonacci group F(2, m) (m ¿ 2) is a generalized torsion element.
[KT-03] Isotopic deformations of immersed surfaces in 4-space and their braid pre-
sentations
Seiichi Kamada (Osaka City University)
An immersed surface-link is a generically immersed closed surface in Euclidian

4-space. We discuss isotopic deformations of immersed surface-links and braid pre-
sentations of oriented immersed surface-links. A theorem of Markov type for braid
presentations of immersed surface-links is presented.
[KT-04] Cubulated moves for 2-knots

Gabriela Hinojosa (State University of Morelos)
In this talk, we will prove that given two cubical links of dimension two in R4 ,
they are isotopic if and only if one can pass from one to the other by a finite sequence
85
of cubulated moves. These moves are analogous to the Reidemeister and Roseman
moves for classical tame knots of dimension one and two, respectively.
[KT-05] Seifert forms and knot concordance

Taehee Kim (Konkuk University)
Two knots are called concordant if they cobound a locally flat annulus in the
product of the 3-sphere and the unit interval. In this talk, I will discuss distinction of
knots having the same Seifert form (and hence the same Alexander polynomial) mod-
ulo concordance using Cheeger-Gromov’s L2-signature defects. I will also talk about
relationships between coprimeness of the Alexander polynomials and concordance.
[KT-06] Thin representations for the one-cone torus group

Hirotaka Akiyoshi (Osaka City University)
We study ”thin” representations for the one-cone torus group into the isometry
group of the 3-dimensional hyperbolic space, and give several parametrizations for
the space of such representations. This is a progress report on the project whose goal
is to establish an analogue of the Jorgensen theory for once-punctured torus Kleinian
groups.
[KT-07] On triple point numbers of immersed surface-knots

Kengo Kawamura (Osaka City University Advanced Mathematical Institute)
An immersed surface-knot is a closed and connected surface immersed in a 4-space

generically. The triple point number of an immersed surface-knot is the minimum
number of triple points needed for its generic projection into a 3-space. In this talk,
we introduce some results on the triple point number of an immersed surface-knot.
[KT-08] Double coverings of virtual doodles and their invariants

Naoko Kamada (Nagoya City University)
A doodle on a surface is an equivalence class of a collection of immersed circles in

surfaces modulo Reidemeister moves of type I and II and surgeries on surfaces. It was
86
originally defined by R. Fenn and P. Tayler in [R. Fenn and P. Tayler, Introducing
doodles, Topology of low-dimensional manifolds l, Lecture Notes in Math. 722 (1979),
37–43] as an equivalence class of a collection of embedded circles in the 2-sphere. It
was extended to immersed circles in the 2-sphere in [M. Khovanov, Doodle groups,
Trans. Amer, Math. Soc. 349 (1997), 2297–2315] by M. Khovanov. A. Bartholomew,
R. Fenn, S. Kamada and N. Kamada [arXiv:1612.08473v1] generalize the notion of
doodles to doodles on surfaces. Doodles on surfaces correspond to virtual doodles
on the plane. In this talk we discuss double coverings of virtual doodles and their
invariants of virtual doodles. This research is supported by JSPS KAKENHI Grant
Number 15K04879.
[KT-09] Embeddings of multibranched surfaces in the 3-sphere

Mario Eudave-Muñoz (UNAM)
Let L be a closed 1-manifold, that is, L is a finite collection of circles S 1 . Let E

be a compact 2-manifold, and φ : ∂E → L a map, such that: (i) For each connected
component Ei of E, ∂Ei 6= ∅. (ii) For each connected component c of ∂E, the re-
striction φ|c : c → φ(c) is a covering map. The quotient space X = L ∪φ E is called
a multibranched surface, and we say that it is obtained from (E, L, φ). Note that E
and L may be disconnected.
For a component c of ∂E, the degree of the covering map φ|c : c → φ(c) is the
degree of c, denoted by d(c). We say that a multibranched surface X is regular if for
each component ` of L, if c and c0 are components of ∂E that are attached to `, then
d(c) = d(c0 ).
Matsuzaki and Ozawa proved that any multibranched surface can be embedded
in R4 , and that a multibranched surface embeds in some orientable 3-manifold if and
only if it is regular.
We consider the following question: When a multibranched surface can be em-
bedded in the 3-sphere S 3 ? In particular we consider the multibranched surface
X = L ∪φ E, where L has n components `1 , `2 , . . . , `n , E is a compact connected
surface of genus g with n boundary components ∂E = {c1 , c2 , . . . , cn }, where ci is
attached to `i by a covering map of degree pi . We prove that many classes of these
multibranched surfaces can be embedded in S 3 .
87
[KT-10] Trace-free characters and abelian knot contact homology
Fumikazu Nagasato (Meijo University)
In [1], L. Ng discovered a framework to construct a homology via a conormal unit

bundle associated with a knot in 3-space, called the knot contact homology. By trans-
lating the framework topologically, he found the correspondence (Ng’s conjecture) of
degree 0 part of the abelian knot contact homology of a knot K and the coordinate
ring of the character variety of the 2-fold branched covering of 3-sphere branched
along K. The correspondence has been confirmed for 2-bridge knots, however, that is
still unclear in general.
In this talk, we will reveal the mechanism of the correspondence exactly by using
the trace-free characters of the knot group. Then we will introduce an obstruction,
called a ghost character of a knot, to the correspondence to be true. Using the ghost
characters, we will show a counter-example to Ng’s conjecture.
Reference: [1] L. Ng: Knot and braid invariants from contact homology I, Geom.
Topol. 9 (2005), 247-297.
[KT-11] Hyperbolic primitive/Seifert knots in the 3-sphere

Sungmo Kang (Chonnam National University)
A Primitive/Seifert knot is defined to be a simple closed curve lying in a genus 2

Heegaard surface of the 3-sphere bounding two handlebody such that it is primitive
in one handlebody and Seifert in the other handlebody. This knot admits a small
Seifert fibered Dehn surgery at a surface slope. The authors have struggled to classify
hyperbolic primitive/Seifer knots in the 3-sphere for a long time. In this talk, I will
show the recent state of the research on the classification.
[KT-12] New extension of a quandle and its related homology group

Yongju Bae (Kyungpook National University)
In 2003, Carter, Elhamdadi, Nikiforou and Saito defined the abelian extension of a
quandle by using a quandle 2−cocycle invariant of the quandle, and many researchers
have studied the properties of the extension.
88
In this talk, I will introduce a new extension of a quandle Q by an abelian group
A, which is a generalization of the original abelian extension. Also I will show that
there is another cohomology group H n (Q, A) of Q whose 2−cocycle invariants are
related to the new extension of Q by A.
[KT-13] On Quasi-alternating links

Nafaa Chbili (United Arab Emirates University)
The Purpose of this talk is to give a brief introduction to the class of quasi-
alternating links. We will introduce the basic properties of these links. Then we will
discuss the obstruction criteria to quasi-alternateness of links obtained by Qazaqzeh-
Chbili and Teragaito in terms of polynomial invariants of links.
[KT-14] Normal forms on virtual braid groups

Bruno Cisneros de la Cruz (CONACYT - IMATE UNAM)
In this talk I will present a general background on virtual knot theory, then I will
present normal forms on virtual braid groups, finally we’ll see how this can help us
to solve the genus problem for virtual braids.
Virtual knot theory was defined by L. Kauffman at the late 90’s, it is a gener-
alization to classical virtual knot theory. They are defined via knot - type diagrams
identified up to certain Reidemeister type moves, however they have a topological
counterpart as knots embedded in thickened surfaces, identified up to isotopy, diffeo-
morphisms and ”stability”. Virtual braids are the braid version of virtual knots and
we have an Alexander and Markov theorem for virtual knots. Virtual braids generalize
classical braids (i.e. classical braids embeds in virtual braids), however the properties
of classical braids do not extend straight forward to virtual braids, for example solu-
tions to the word problem, representations or normal forms on virtual braids are not
as easy as in the classical case.
89
[KT-15] A family of polynomial invariants for knotoids
Young Ho Im (Pusan National University)
We introduce a family of polynomial invariants for knotoids. Via the corresponding

Gauss diagrams for knotoids, we investigate the method to calculate these polynomial
invariants. Also we give some properties and examples.
[KT-16] On marked graph diagrams of immersed surface-links

Jieon Kim (Pusan National University)
An immersed surface-knot is an immersed image of a closed surface in the 4-space

4
R generically. S. Kamada and K. Kawamura introduced normal forms of immersed
surface-links. By using this, we define marked graph diagrams of immersed surface-
links. A surface-link is a smoothly embedded surface in the 4-space R4 . K. Yoshikawa
introduced 8 types of local moves of marked graph diagrams of surface-links, called
Yoshikawa moves. C. Kearton, V. Kurlin, and F. J. Swenton showed that two surface-
links are equivalent if and only if their marked graph diagrams are related by finite
sequence of these Yoshikawa moves. We generalize Yoshikawa moves to local moves for
marked graph diagrams of immersed surface-links. We give some examples of marked
graph diagrams of immersed surface-links.
[KT-17] Relationship between finite type invariants and forbidden moves

Migiwa Sakurai (National Institute of Technology, Ibaraki College)
Vassiliev introduced filtered invariants of knots using crossing changes (1990),

called finite type invariants. For Vassiliev invariants, Ohyama introduced a notion
of n-triviality (1990) and Taniyama generalized it to obtain a notion of n-similarity
(1992). Goussarov, Polyak, and Viro introduced finite type invariants of virtual knots
using virtualization (2000). Noboru Ito and the speaker mimicked their ideas, and
defined finite type invariants of virtual knots and a notion that corresponds to n-
similarity, using forbidden moves (2017, preprint). In this talk, we consider a rela-
tionship between finite type invariants and forbidden moves.
90
[KT-18] Irreducible 3-manifolds that cannot be obtained by 0-surgery on a knot
Min Hoon Kim (Korea Institute for Advanced Study)
We give infinitely many examples of closed, orientable, irreducible 3-manifolds M

such that b1 (M ) = 1 and π1 (M ) has weight 1, but M is not the result of Dehn surgery
along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and
Wilton. We also show that there are infinitely many closed, orientable 3-manifolds
which are topologically homology cobordant to S 1 × S 2 , but not homology cobordant
to any Seifert-fibered manifold. This is joint work with Matt Hedden and Kyungbae
Park.
[KT-19] On flat plumbing baskets for links

Mikami Hirasawa (Nagoya Institute of Technology)
A flat plumbing basket (FPB) is a special form of Seifert surfaces, obtained by

plumbing flat annuli to a disk, where the gluing regions are all contained in the disk.
The notion of FPB was introduced in 2008 (Bull. Lond. Math. Soc), where we showed
that any link in S 3 can be realized as the boundary of a FPB, and gave an algorithm
to obtain a word representing a FPB for any link. In this talk we survey recent works
on FPB. The topics include enumeration of FPBs, relation to other invariants like Arf
invariant, trials to construct FPBs with minimal number of bands, and in particular,
degeneration of such numbers under the connected sum of links.
[KT-20] Upper bounds on braid index and arc index

Seungsang Oh (Korea University)
In this talk, we introduce a bisected vertex leveling of a plane graph. Using this
planar embedding, we present elementary proofs of well-known upper bounds of the
braid index b(L) and the arc index a(L) for any knot or non-split link L according to
the minimal crossing number c(L), which are b(L) ≤ 21 c(L)+1 and a(L) ≤ c(L)+2. We
also find a quadratic upper bound of the minimal crossing number of delta diagrams
of L.
91
[KT-21] Thin position for incompressible surfaces in 3-manifolds
Kazuhiro Ichihara (Nihon University)
I will talk about an algorithm to build 3-manifolds with closed separating in-
compressible surfaces and about thin position method to study such surfaces and
Heegaard splittings.
[KT-22] Loop braid groups: ubiquitous objects opening the door to a plethora of
questions
Celeste Damiani (OCAMI)
The study of loop braid groups has been widely developed during the last twenty
years, in different domains of mathematics and mathematical physics. They have been
called with several names such as motion groups, groups of permutation-conjugacy
automorphisms, braid-permutation groups, welded braid groups and untwisted ring
groups. We will give a glance on how every equivalent definition carries open questions
in the domain it belongs to.
[KT-23] Vanishing elements in a knot group by Dehn fillings

Kimihiko Motegi (Nihon University)
Let K be a hyperbolic knot in the 3-sphere and G(K) the knot group of K. We
show that for each nontrivial element g in G(K), there are only finitely many Dehn
fillings which trivialize g. This is joint work with Kazuhiro Ichihara and Masakazu
Teragaito.
[KT-24] On the Neuwirth conjecture and (1,1)-knots

José Angel Frı́as (UNAM)
The Neuwirth conjecture states that for any non-trivial knot K in the 3-sphere,
there exists a closed surface F containing K such that F ∩ E(K) is connected, incom-
pressible and boundary incompressible. F is called a Neuwirth surface for K. This
has been verified for some families of knots but in general remains an open question.
92
We give a description of all possible Neuwirth surfaces for (1,1)-knots. As a corollary
we get that satellite (1,1)-knots satisfy the conjecture.
[KT-25] On genus three keen weakly reducible Heegaard splittings

Jung Hoon Lee (Chonbuk National University)
A Heegaard splitting is keen weakly reducible if there is a unique pair of disjoint

compressing disks on opposite sides of the Heegaard surface. We show that a manifold
admitting a keen weakly reducible Heegaard splitting is obtained by gluing two handle
number one manifolds along two incompressible surfaces F1 and F2 . Moreover, we
show that if a manifold admits a genus three keen weakly reducible Heegaard splitting,
then any incompressible torus can be isotoped to be disjoint from F1 or F2 .
[KT-26] The Γ-polynomials of Abe-Tange’s ribbon knots

Hideo Takioka (Osaka City University Advanced Mathematical Institute)
Abe and Tange constructed a sequence of slice disks with the same exterior. They
proved that these slice disks are ribbon disks and the sequence contains infinitely
many ribbon disks. In this talk, we show that all ribbon disks in the sequence are
mutually distinct by using the Γ-polynomial, that is, the common zeroth coefficient
polynomial of the HOMFLYPT and Kauffman polynomials.
[KT-27] On the classification of (1,1)-knots of genus g

Fabiola Manjarrez-Gutierrez (UNAM)
In a previous work, joint with Eudave and Ramirez, genus two (1,1)-knots have
been classified. The next natural step is to pursue the general classification of (1,1)-
knots of genus g. In order to find such classification we need compute the genus of
tunnel number one satellite knots. We have developed an algorithm to determine the
genus of tunnel number one satellite knots. The classification of (1,1)-knots of genus
g is still in progress.
93
[KT-28] Coherent band-Gordian distances between knots and links with up to seven
crossings
Taizo Kanenobu (Osaka City University)
A coherent band surgery is a local move for an oriented link, and the coherent
band-Gordian distance of two links is the minimum number of coherent band surgeries
needed to transform one into the other. We give a table of coherent band-Gordian
distances between knots and 2-component links with up to seven crossings.
[KT-29] Toroidal surgeries and the genus of the knot

Araceli Guzmán Tristán (UNAM)
In 2003, M. Teragaito conjectured that if a hyperbolic knot k ⊂ S 3 admits a

toroidal slope r, then |r| ≤ 4g, where g represents the genus of k. This conjecture
was proved for alternating and for genus one knots by Teragaito in 2003 and also for
genus two knots by S. Lee in 2009, but it remains open on the general case.
In this talk I will present different bounds for toroidal slopes in terms of the genus
of the knot which are close to the bound conjectured by Teragaito.
[KT-30] Dynamics on Surfaces

Hyungryul Baik (KAIST)
Thurston classified surface homeomorphisms up to isotopy. Most surface home-

omorphisms are so-called pseudo-Anosov. For each pseudo-Anosov homeomorphism,
there is an associated number called the stretch factor which tells us how the it-
erations of the homeomorphism changes the length of a simple closed curve on the
surface (with respect to an arbitrary metric of constant curvature). We try to find a
number-theoretic characterization of these numbers, and discuss the difficulty of the
problem and partial results. This talk partially represents joint work with A. Rafiqu
and C. Wu.
94
[KT-31] On a game ”Region Select” induced from region crossing change
Megumi Hashizume (Meiji University and OCAMI)
In recent years, Akio Kawauchi, Kengo Kishimoto and Ayaka Shimizu proposed
a game called Region Select. This game based on a local transformation on link
diagram called region crossing change. In this talk, we’d like to discuss about the
most ”difficult” initial state of the game.
[KT-32] Grid diagram for singular links

Hwa Jeong Lee (DGIST)
In this presentation, we define the set of singular grid diagrams SG which provides
a unified description for singular links, singular Legendrian links, singular transverse
links, and singular braids. We also classify the complete set of all equivalence relations
on SG which induce the bijection onto each singular object. This is a joint work with
Byung Hee An.
[KT-33] Height, trunk and representativity of knots

Makoto Ozawa (Komazawa University)
In this talk, we investigate three geometrical invariants of knots, the height, the
trunk and the representativity.
First, we give a conterexample for the conjecture which states that the height is
additive under connected sum of knots. We also define the minimal height of a knot
and give a potential example which has a gap between the height and the minimal
height.
Next, we show that the representativity is bounded above by a half of the trunk.
And also we define the trunk of a tangle and show that if a knot has an essential tangle
decomposition, then the representativity is bounded above by the half of either trunk
of tangles.
Finally, we remark on the difference among Gabai’s thin position, Scharlemann–
Thompson’s thin position and minimal critical position. We also give an example
of a knot which bounds an essential non-orientable spanning surface, but it has the
representativity greater than two.
95
[KT-34] Toroidal 2-handle additions on genus 2 or 3 boundary component
Luis Celso Chan Palomo (Universidad Autónoma de Yucatán)
Let M be a compact connected orientable 3-manifold and F be a boundary com-

ponent of M with genus two or three. A slope on F is an isotopy class of essential
simple closed curves on F . Denote by M [α] the 3-manifold obtained from M by
attaching a 2-handle to M along α. Let ∆(α, β) denote the minimal geometric inter-
section number among all the curves representing the slopes. In a previous work we
prove that if M is simple, α and β are separating slopes, M [α] and M [β] are toroidal
then ∆(α, β) ≤ 10. In this talk we will try to improve the upper bound for ∆(α, β)
at least in the case of genus three, this is work in progress.
[KT-35] Volume conjecture of trivalent graph

Jinseok Cho (Busan National University of Education)
We introduce the colored Jones polynomials of knotted trivalent graphs and sug-
gest generalized volume conjecture. The volume in this conjecture is of the hyperbolic
manifold with parabolic meridians and we introduce a method to obtain the hyper-
bolic volume combinatorially.
[KT-36] Topology of 4D universe for every 3-dimensional manifold

Akio Kawauchi (Osaka City University Advanced Mathematical Institute)
A 4D universe is a 4-dimensional boundary-less connected oriented manifold with

every 3-dimensional closed connected oriented manifold embedded. A 4D punctured
universe is a 4-dimensional boundary-less connected oriented manifold with the punc-
tured manifold of every 3-dimensional closed connected oriented manifold embed-
ded. It is known that every 4D universe and every 4D punctured universe are 4-
dimensional open manifolds. If a 3-dimensional closed connected orientable manifold
is considered as a 3D universe, then every spacetime is embedded in every 4D uni-
verse since the trivial line bundle over every 3D universe is embedded in it. For
any 4-dimensional oriented manifold Y, some topological invariants of Y with values
taken in {0, 1, 2, . . . , +∞} are defined and called the topological indexes of Y . Any
4D universe and 4D punctured universe are known to have certain infinity of these
96
topological indexes. In this talk, it is shown that every 4D universe and every 4D
punctured universe have always infinitely generated second rational homology group.
97
DS. Dynamical Systems
[DS-01] Hausdorff dimension in inhomogeneous Diophantine approximation

Seonhee Lim (Seoul National University)
In this talk, we will start with the relation between dynamics and certain problems
in number theory, especially in Diophantine approximation. The main result is : for
any positive epsilon, the set of epsilon badly approximable vectors w in the inhomo-
geneous Diophantine inequality liminf q ||qv − w|| > epsilon is not of full Hausdorff
dimension for almost every vector v. We will explain the proof which uses dynamics
on homogeneous spaces.
[DS-02] Approximation of Bernoulli measures for non-uniformly hyperbolic

Gang Liao (Soochow University)
An invariant measure is called a Bernoulli measure if the corresponding dynamics

is isomorphic to a Bernoulli shift. We prove that for C 1+α diffeomorphisms any weak-
mixing hyperbolic measure could be approximated by Bernoulli measures. This also
holds true for C 1 diffeomorphisms preserving a weak-mixing hyperbolic measure with
dominated Oseledets decomposition.
[DS-03] Sets of recurrence involving prime numbers

Younghwan Son (POSTECH)
We establish some results on sets of recurrence which refine some of previous re-
sults obtained by Sarkozy, Furstenberg, Kamae and Mendes France and Bergelson and
Leisgine. The proof relies on new equidistribution results involving prime numbers.
[DS-04] Sensitive open map semigroups on Peano continua having a free arc
Suhua Wang (Jiangsu University of Science and Technology)
Let X be a Peano continuum having a free arc and let C 0 (X) be the semigroup
of continuous self-maps of X. A subsemigroup F ⊂ C 0 (X) is said to be sensitive, if
there is some constant c > 0 such that for any nonempty open set U ⊂ X, there is
some f ∈ F such that the diameter diam(f (U )) > c. We show that if X admits a
98
sensitive commutative subsemigroup F of C 0 (X) consisting of continuous open maps,
then either X is an arc, or X is a circle.
[DS-05] Livsic theory for actions of higher rank groups

Nhan Phu Chung (Sungkyunkwan University)
In this talk, we will present Livsic theory of continuous (Holder) cocycles for
group actions. In contrast to the map case, when the acting groups are higher rank,
for certain systems we always have cocycle superrigidity without any assumptions of
cocycles on periodic data.
[DS-06] Spectral decomposition and stability of flows with expanding measures

Ngoc-Thach Nguyen (Chungnam National University)
In this talk we discuss some recent and ongoing works on the dynamics of measure
expanding [resp. measure expansive] flows on a compact metric space. In the first
part, we will prove that any measure expanding flow with shadowing has a spectral
decomposition, and give an example to show that a measure expansive flow with
shadowing property does not have a spectral decomposition in general. In the second
part, we will claim that an integrated flow of a C 1 vector field without a singularity is
C 1 stably invariantly measure expanding (or C 1 stably invariantly measure expansive)
if and only if it satisfies Axiom A and no-cycle condition.
[DS-07] Dynamic behavior of a stochastic predator-prey system under regime

switching
Nguyen Thanh Dieu (Vinh University)
In this talk we deal with regime switching predator-prey models perturbed by

white noise.We give a threshold by which we know whenever a switching predator-
prey system is eventually extinct or permanent.We also give some numerical solutions
to illustrate that under the regime switching, the permanence or extinction of the
switching system may be very different from the dynamics in each fixed state.
99
[DS-08] Homoclinic classes of weak measure expansive diffeomorphisms
Jumi Oh (Sungkyunkwan University)
Recently the notion of measure expansiveness of a homeomorphism on a compact

metric space was introduced by Morales [2], and a generalized concept, weak measure
expansiveness, was introduced by Lee and Oh [1]. In this talk, we consider weak
measure expansive diffeomorphisms from the generic point of view, and show that C 1
generically, every weak measure expansive homoclinic class of a diffeomorphism on a
compact smooth manifold is hyperbolic.
References [1] K. Lee and J. Oh, Weak measure expansive flows, J. Diff. Eqn.
260(2) (2016), 1078-1090. [2] C. A. Morales, Measure-expansive systems, preprint.
IMPA, D083 (2011).
[DS-09] Lyapunov and Sacker-Sell spectral intervals for differential-algebraic equa-

tions
Vu Hoang Linh (Vietnam National University)
It is well known that asymptotic stability, exponential stability, and exponential

dichotomy are important notions in the qualitative analysis of dynamical systems.
Lyapunov and Sacker-Sell spectra provide powerful tools for the stability analysis of
dynamical systems. In this talk, we extend the theory of Lyapunov and Sacker-Sell
spectral intervals from ordinary differential equations to differential-algebraic equa-
tions. Differential-algebraic equations are mixed systems of differential and algebraic
equations, which can be considered as differential equations on manifolds as well. We
also briefly discuss the possibility of approximating spectral intervals by using smooth
matrix factorizations.
[DS-10] A note of syndetic sensitivity in uniform spaces

Huoyun Wang (Guangzhou University)
In this paper, the notions of periodic point were compared, and the sensitivity
of semigroup actions on uniform Hausdorff spaces was studied. We proved that for a
semigroup action on a uniform space, if it is syndetically transitive and not minimal,
then it is syndetically sensitive. Especially, if an abelian semigroup action on a uniform
100
space is transitive, not minimal and has a dense set of MM-periodic points, then it is
syndetically sensitive.
[DS-11] A combinatorial approach to the Littlewood conjecture in a field of formal

series
Sanghoon Kwon (KIAS)
A well-known problem of Littlewood concerning simultaneous Diopantine approx-

imation is still open. In view of the difficulty of the problem, it may be of interest to
consider the analogous problem for a field K of formal Laurent series. The problem is
strongly related to the dynamics on the space of rank 3 Z-lattices SL(3,K)/SL(3,Z),
where Z is a discrete subring of polynomial in K. We will prove that this analogous
problem for K to the Littlewood conjecture in real numbers is not true. In the proof,
we use the geometry of Bruhat-Tits building associated to the group SL(3,K) and the
dynamics involving 2-dimensional shift system.
[DS-12] On stochastic dynamic equations with time-varying delay on time scales

Le Anh Tuan (Hanoi Industry University)
The aim of this topic is to consider the existence, uniqueness and uniformly ex-
ponential p-stability of the solution for nabla-stochastic dynamic delay equations on
time scales via Lyapunov functions. This work can be considered as a unification and
generalization of stochastic difference and stochastic differential delay equations.
[DS-13] Expansivity, hyperbolicity, and shadowing in linear dynamics

U. B. Dari (University of Louisville)
In this talk we establish relationships between notions of expansivity and hyper-

cyclicity, supercyclicity, Li-Yorke chaos and shadowing in linear dynamics. In par-
ticular, we solve a basic problem in linear dynamics by proving the existence of
nonhyperbolic invertible operators with the shadowing property. This contrasts with
the expected results for nonlinear dynamics on compact manifolds, illuminating the
richness of dynamics of infinite dimensional linear operators.
101
[DS-14] Periodic points of continuum-wise expansive homeomorphisms
Bowon Kang (Chungnam National University)
H. Kato introduced the notion of continuum-wise expansiveness: A homeomor-

phism f of a compactum X is continuum-wise expansive if there is c > 0 such that
if A is a nondegenerate subcontinuum of X, then there is an integer n = n(A) ∈ Z
such that
diamf n (A) > c,
where diamB = sup{d(x, y)|x, y ∈ B} for any B ⊆ X. Then expansiveness implies

continuum-wise expansive, but the converse does not could in general. K. Sakai showed
that if a continuous map f : X → X is positively expansive, then the set of all periodic
points of f is nonempty. In this talk, we introduce several properties of continuum-
wise expansive homeomorphisms. Furthermore, we will discuss the relation between
the above map and its periodic points.
[DS-15] Some results of the strong laws of large numbers and the ergodic theorems
for random sets
Duong Xuan Giap (Vinh University)
At this conference, we provide some our new results of the strong laws of large
numbers and the ergodic theorems for random variables whose values are closed sub-
sets of a separable Banach space. Some types of convergence will be considered:
Kuratowski convergence, Mosco convergence and convergence in the gap topology.
[DS-16] Hyperbolicity of shadowable homoclinic classes

Junmi Park (Chungnam National University)
Let X be a vector field on a compact smooth Riemannian manifold M endowed

with the C 1 topology, and let HX (γ) be the homoclinic class for X associated to a
hyperbolic periodic orbit γ. We say that X has the R-robustly shadowing property
on HX (γ) if there exists a residual set R of U(X) which is a C 1 neighborhood of X
such that for any Y ∈ U(X), Y has the shadowing property on HY (γY ), where γY is
the continuation of γ. In this talk, we show that if X has the R-robustly shadwoing
property on HX (γ), then it is hyperbolic.
102
[DS-17] On data-dependence of implicit dynamic equations on time scales
Nguyen Huu Du (VIASM)
In this talk, we are concerned with the dependence of some characteristics of

implicit dynamic equation of the form
Ax∆ (t) = Bx(t), t∈T (0.1)
on both the coefficients {A, B} and time scale T.

The equation (0.1) can be considered as a unified form between linear differential
algebraic equation (DAEs) and linear implicit difference equations. It is well known
that, due to the fact that this dynamics equation is constrained, extra difficulties
appear in the analysis of stability as well numerical treatments of implicit dynamic
equations. These difficulties are typically characterized by so-called index concepts.
We also see that the exponential stability and the stability of numerical methods of
this dynamic systems related the stability domains of scalar equations, generated by
the values in the spectrum of the matrices pencil {A, B}. Therefore, firstly, it worths
to consider the dependence of the spectrum when the pair {A, B} varies. Next, it is
meaningful to investigate the relation of the stability domains for a sequence Tn of
time scales when it is convergent.
Last, we consider the continuity of stability radii of the equations
An x∆n (t) = Bn x(t) (0.2)
subjected to general structured perturbations of the form
[Ãn , B̃n ] ; [An , Bn ] + Dn Σn En , (0.3)
where Σn ∈ N, are unknown disturbance matrices; Dn , En are known scaling matrices

defining the ”structure” of the perturbations.
The main results obtained are
• to establish a relationship between the stability domains corresponding to a
convergent sequence of time scales;
• to analyze how the spectrum of matrix pairs and the exponential stability of
(0.2) depends on data when (An , Bn , Tn )
103
• and to study the convergence of the stability radii of equations (0.2) with gen-
eral structured perturbations of the form (0.3) when the data (An , Bn ; Dn , En ; Tn )
tends to A, B; D, E; T.
This fact plays an important role in the calculation of stability radii be-
cause in practice we need to approximate them.
[DS-18] Periodic points for amenable group actions on uniquely arcwise connected
continua
Enhui Shi (Soochow University)
A continuum X is uniquely arcwise connected if for any two different points x

and y in X, there is a unique arc [x, y] in X connecting them. We show that every
amenable group action on a uniquely arcwise connected continuum either has a fixed
point or has a 2-periodic point.
[DS-19] Stability radius of stochastic differential algebraic equations under struc-

tured perturbations
Nguyen Hong Son (The Army Officer College No.1)
In this talk we shall deal with L2 -stability and calculating the stability radius
of linear stochastic differential algebraic equations (SDAE): Edx(t) = Ax(t)dt +
PN
j=1 Dj ∆j (Cx(t))dwj (t), where E, A are constant matrices. The stability radius is
defined as the smallest value r of the norm of the real (or complex) perturbations
destabilizing the system. The formula of stability radius is established. An example
is given to illustrate the results.
[DS-20] Hyperbolicity of the eventual shadowing diffeomorphisms

Manseob Lee (Mokwon Uninersity)
In this talk, we show the followings: (i) if a diffeomorphism f has the C 1 robustly
eventual shadowing property on the chain recurrence set then it satisfies Axiom A
without cycles, (ii) if a diffeomorphism f has the C 1 robustly eventual shadowing
104
property on the chain recurrence class then it is hyperbolic. The results is a gener-
alization of Sakai [C 1 -stably shadowable chain components, Ergod. Theory Dynam.
Syst., 28 (2008), 987–1029] and Wen, Gan and Wen [C 1 -stably shadowable chain
components are hyperbolic, J. Diff. Equat. 246 (2009), 340-357].
[DS-21] Chain transitive sets for continuous dynamical systems

Seunghee Lee (National Institute for Mathematical Sciences)
The stability conjecture of Palis and Smale is to characterize the structurally

stable systems. Regarding the notion of stability, there is a subtle difference between
the case of a whole system and the case of any local system. In this talk, we consider
a local stability with respect to chain transitive sets for continuous systems.
[DS-22] Symbolic n-expansive systems

Jisang Yoo (Sungkyunkwan University)
We show examples of n-expansive (but not (n-1)-expansive) topologically mixing

systems, and positively n-expansive minimal homeomorphisms. The former is in the
class of Cantor space homeomorphisms and the latter in minimal subshifts. In both
cases, symbolic dynamics is used to build new examples of finite expansiveness.
[DS-23] Topological entropy of strong invariantly meausre expansiveness with POTP

Jaehyun Jeong (Chungnam National University)
Let X be a compact metric space and f : X → X be a homeomorphism. In this

talk, we recall the notions of strong invariantly measure expansiveness, POTP and
topological entropy for a homeomorphism. Then we prove that 0 ≤ h(f ) < ∞ if f is
strong invariantly measure expansive with POTP, h(f ) > 0 if Ω(f ) is uncountable.
Also, we can find the relationships between topological entropy and the distribution
of the periodic points. Furthermore we will discuss the above results for continuous
flows.
105
[DS-24] Lyapunov exponents for dynamic equations on time scales
Khong Chi Nguyen (Tantrao University)
In this paper. we deal with a concept of Lyapunov exponents for functions defined
on time scales and study some its basic properties. We also establish the relationship
between Lyapunov exponents and stability of a linear dynamic equation. This work
can be considered as a unification and generalization of investigations of Lyapunov
exponents on continuous and discrete times.
[DS-25] Topological stability of group actions with shadowable measures

Meihua Dong (Chungnam National University)
Recently, Chung and Lee [to appear in Proc. AMS] introduced a notion of topo-
logical stability for group actions on a compact metric space X, and showed that if an
action of a finitely generated group on X is expansive and has the shadowing property
then it is topologically stable. In this talk, we study the stability problem of group
actions from measure theoretic viewpoint. More precisely, we extend the concepts of
topological stability and shadowing properties from group actions to Borel measures
µ on X, and prove that if a finitely generated group action T is µ-expansive and has
the µ-shadowing then it is µ-topologically stable. Moreover we show that if there exist
g ∈ G such that Tg is expansive and has the µ-shadowing then T is µ-topologically
stable. Afterwards, we derive some properties of topologically stable measures and
measures with the shadowing property.
[DS-26] On Bohl exponent of linear singular discrete-time systems

Ngo Thi Thanh Nga (Thang Long University)
Consider the linear singular discrete-time system
En x(n + 1) = An x(n) n ∈ N, n ≥ n0 , (1)
where En , An are real or complex matrices of size d × d, En is singular for all n ≥ n0 ,

x(n) are d-dimensional vectors, n0 is a given integer. Systems like (1) arise in various
application such as population dynamics, economics, control theory, etc. The analysis
of system (1) is difficult due to the singularity of the leading coefficient matrix. In
this report, we discuss the stability of system (1). First, we extend the notion of
106
Bohl exponent for linear singular discrete time systems of tractability index 1. Then,
we investigate some properties of the Bohl exponent and use the Bohl exponent to
characterize the exponential stability and stability robustness. An example is also
given for illustration.
[DS-27] IP∗ -sets in function field and mixing properties

Dibyendu De (University of Kalyani)
The ring of polynomials over a finite field Fp [x] has received much attention both
from a combinatorial view point and in regard to its action on measurable dynamical
system. In the case of (Z, +) we know that the ideal generated by any nonzero ele-
ment is an IP∗ -set. In the present article we first establish that the analogous result
is true for Fp [x]. We further use this result to establish some mixing properties of the
action of (Fp [x], +). We shall also discuss on Khintchine’s recurrence for the action
of (Fp [x] \ {0}, ·) and we pose the following question

Question: Given any ergodic system X, B, µ, Tf ∈(Fq [x],·) , are the sets,
{f ∈ Fq [x] : µ(A ∩ Tf A ∩ Tf 2 A) > µ(A)3 − }

and
{f ∈ Fq [x] : µ(A ∩ Tf A ∩ Tf 2 A ∩ Tf 3 A > µ(A)4 − }
syndetic subsets of (Fq [x], ·)?
[DS-28] Hyperbolic structure of volume preserving diffeomorphisms

Jiweon Ahn (Chungnam National University)
There are many results in the theory of differentiable dynamical systems to char-
acterize the hyperbolic structure of diffeomorphims in topological viewpoint. In this
talk, we study the hyperbolic structure of volume preserving diffeomorphisms on a
compact smooth manifold in measure theoretic viewpoint.
107
ATIA. Applied Topology and Inter-Disciplinary Applications
[ATIA-01] Fixed point property for non-Hausdorff spaces and its applications
Sang-Eon Han (Chonbuk National University)
We talk about both the FPP and the AFPP for non-Hausdorff topological spaces
(or digital spaces). Besides, we refer to some applicatoions of this approach [1],[5].
More precisely, we focus on the following approaches. (1) FPP for Khalimsky topo-
logical spaces [4], [6] (2) FPP for Marcus-Wyse topological spaces [3], [4] (3) FPP for
Alexandroff spaces with T0-separation axiom (4) As a further work, the FPP for space
set topological spaces is mentioned [2]. Keywords. Fixed point property, Khalimsky
topological space, Space set topology AMS 2010. 54A10, 68U10.
References [1] S.-E. Han, Banach fixed point theorem from the viewpoint of digital
topology, Journal of Nonlinear Sciences and Applications 9(3) 895-905, 2016. [2] S.-E.
Han, Properties of space set topological spaces, Filomat, 30(9) 2475-2487, 2016 [3] S.-
E. Han, Almost fixed point property for digital spaces associated with Marcus-Wyse
topological spaces, Journal of Nonlinear Sciences and Applications 10, 34-47, 2017.
[4] S.-E. Han, Fixed point property for digital spaces, Journal of Nonlinear Sciences
and Applications 10, 2510-2523, 2017. [5] S.-E. Han, The FPP of an M-retract and
its applications, Topology and its Applications, Online First press, 2017. [6] S.-E.
Han, The fixed point property of the smallest open neighborhood of the Khalimsky
topological plane, Filomat, Online First press, 2017.
[ATIA-02] L-soft sets and rough L-sets are all lattice-valued sets
Shenggang Li (Shaanxi Normal University)
Type-2 fuzzy sets, rough sets, and soft sets have become popular. This paper
concerns with the relevance of soft set theory, type-2 fuzzy set theory, and rough set
theory to fuzzy set theory. It is proved that every L-soft set is an L-subset, every
type-2 fuzzy set is both a [0; 1][0;1]-subset and a fuzzy set, and every rough L-set
is an IL-subset, where [0; 1] is the closed unit interval of the real line, and IL =
(a; b) ∈ L2 |a ≤ b with the point wise order. This allows us to study L-soft sets, type-2
fuzzy sets, and rough L-sets by looking them as lattice-valued sets or fuzzy sets. Some
108
illustration examples are given, and a correction to Deli et al.’s related paper [Journal
of Intelligent and Fuzzy Systems 30(2016)2073-2082] is also given.
[ATIA-03] L-soft sets and rough L-sets are lattice-valued sets

Ahmed Mostafa Khalil (Shaanxi Normal University)
This talke appeal a further concern to fuzzy set theory. First we proves that L-soft
sets and L-subsets are the same for L a poset (which implies that each kind of soft sets
having already been involved is just a kind of L-subsets for an appropriate Hutton
algebra L). Based on this,it clarifies some useful notions on soft sets, including some
redefined operations (e.g. point-wise union, point-wise intersection, sup product, and
inf product) of L-soft sets (particularly, ivifp-soft sets), most of which can be found in
published papers (for the finite set case). Some related and fundamental results (which
improve the corresponding and published results) and corrections to several these
published papers are also presented. Next we consider the similar things for rough
L-sets. For a complete lattice L, we define the generalized L-approximation space
(X,Y,R), the strong approximation (i.e. the pair of the strong lower approximation
and the strong upper approximation) and the approximation (i.e. the pair of the
lower approximation and the upper approximation) of an L-set in this generalized L-
approximation space.These notions not only generalize Pawlak approximation space
and related notions, but also preserve some crucial properties of the original notions.
It is pointed that every strong approximation or approximation of an L-set in a
generalized L-approximation space can be thought to be IL −set, where IL is the so
called called interval lattice induced by L with the point wise order.
[ATIA-04] On common fixed points of (ψ, φ)-type ciric contractions in complete metric
spaces
Lakshmi Kanta Dey (National Institute of Technology Durgapur)
In this talk, we propose the notions of (ψ, φ)-type Ciric contraction and (ψ, φ)-
type Ciric contraction pair in complete metric spaces. In this structure, we derive a
fixed point theorem and a common fixed point theorem consistent with the said con-
tractions. Finally, we give some examples and explore the possibility of an application
to objectify our obtained results.
109
[ATIA-05] Fuzzy k-pseudometrics and fuzzy k-pseudometric spaces
Alexander Sostak (University of Latvia)
An important class of spaces was introduced by I.A. Bakhtin under the name
”metric type” (I.A. Bakhtin, The contraction mapping principle in almost metric
spaces, Functional Analysis, 30 (1989), 26 - 37) and independently rediscovered by S.
Czerwik under the name ”b-metric”. (S.Czerwik, Contraction mappings in b-metric
spaces, Acta Math. Inform. Univ. Ostravensis, I (1993), 5 - 1). Metric-type spaces
generalize ”classic” metric spaces by replacing the triangularity axiom with a more
general axiom d(x, z) ≤ k · (d(x, y) + d(y, z)) for all x, y, z ∈ X where k ≥ 1 is a fixed
constant. In this talk, we introduce a fuzzy version of a metric-type space calling it a
fuzzy k-(pseudo)metric space, illustrate it by several examples, and study topological
properties of such spaces. We consider sequences in fuzzy k-(pseudo)metric spaces,
define the property of completeness for such spaces and prove a certain version of the
Baire Category Theorem.
[ATIA-06] Digitizations associated with several types of digital topological approaches

Jeang Min Kang (Yonsei University)
When digitizing subspaces in the Euclidean subspace in a certain digital topolog-

ical approach, we are strongly required to preserve topological properties of the given
spaces such as connectedness. Thus the present paper studies four kinds of local rules
associated with lower limit, upper limit, Khalimsky and Marcus Wyse (for short,
L-, U-, K- and M-, respectively) topologies which are used for L-, U-, K- and M-
digitizing subspaces of the Euclidean nD space into digital topological spaces. While
the L-, U- and K-digitizations are proved to preserve connectedness of objects, the
M-digitization has some limitation of having the connectedness preserving (for short,
CP-) property. This approach can be substantially used for studying applied topology
and computer science.
110
[ATIA-07] On stratified (L,M)-fuzzy convergence spaces
Bin Pang (Beijing Institute of Technology)
With the development of fuzzy topology, convergence structures have been gen-
eralized to the fuzzy case. The fuzzification of convergence structures in the frame-
work of (L,M)-fuzzy topology is one of important directions towards the discussion
of fuzzy convergence theory. In this talk, we will propose a new kind of fuzzy conver-
gence structures, which is called stratified (L,M)-fuzzy convergence structures, and
explore its categorical properties. Moreover, we will establish its categorical relations
with stratified (L,M)-topologies as well as some existing fuzzy convergence structures.
Let L be a completely distributive De Morgan algebra and let M be a completely
distributive lattice. We consider the following categories: S(L,M)-FC: The category
of stratified (L,M)-fuzzy convergence spaces. S(L,M)-FTop: The category of strat-
ified (L,M)-fuzzy topological spaces[1,2,3]. (L,M)-FC: The category of (L,M)-fuzzy
convergence spaces[4,5]. E(L,M)-FC: The category of enriched (L,M)-fuzzy conver-
gence spaces[6,7]. S(L,M)-FQC: The category of stratified (L,M)-fuzzy Q-convergence
spaces[8,9]. The main results are: (1) S(L,M)-FC is a Cartesian closed topological cat-
egory; (2) S(L,M)-FC is a bireflective full subcategory of (L,M)-FC; (2) S(L,M)-FTop
can be embedded in S(L,M)-FC as a reflective full subcategory; (3) E(L,M)-FC can
be embedded in S(L,M)-FC as a coreflective full subcategory; (4) S(L,M)-FQC can
be embedded in E(L,M)-FC as a reflective full subcategory.
References [1] A. P. Sostak, On a fuzzy topological structure, Suppl. Rend. Circ.
Mat. Palermo Ser. II, 11 (1985), 89-103. [2] T. Kubiak, On fuzzy topologies, Ph.D.
Thesis, Adam Mickiewicz, Poznan, Poland, 1985. [3] U. Hohle and A. P. Sostak,
Axiomatic foudations of fixed-basis fuzzy topology, In: U. Hohle, S.E. Rodabaugh
(Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Handbook
Series, vol.3, Kluwer Academic Publishers, Boston, Dordrecht, London, (1999), 123-
173. [4] B. Pang, On (L,M)-fuzzy convergence spaces, Fuzzy Sets Syst., 238 (2014),
46-70. [5] B. Pang and F. G. Shi, Degrees of compactness of (L,M)-fuzzy convergence
spaces and its applications, Fuzzy Sets Syst., 251 (2014), 1-22. [6] B. Pang, Enriched
(L,M)-fuzzy convergence spaces, J. Intell. Fuzzy Syst., 27 (2014), 93-103. [7] B. Pang
and Y. Zhao, Several types of enriched (L,M)-fuzzy convergence spaces, Fuzzy Sets
Syst., 321 (2017), 55-72. [8] B. Pang and J.M. Fang, L-fuzzy Q-convergence structures,
111
Fuzzy Sets Syst., 182 (2011), 53-65. [9] B. Pang and Y. Zhao, Stratified (L,M)-fuzzy
Q-convergence spaces, Iran. J. Fuzzy Syst., 13(2016), 95-111.
[ATIA-08] On completeness of the Hausdorff fuzzy metric spaces

Changqing Li (Minnan Normal University)
In this report, completeness and completableness of the Hausdorff fuzzy metric

spaces on the family of nonempty finite sets are explored. Also, a necessary and
sufficient condition for the Hausdorff fuzzy metric spaces on the family of nonempty
compact sets to be complete is studied.
[ATIA-09] Completeness in probabilistic quasi-uniform spaces and fuzzy quasi-metric

spaces
Yueli Yue (Ocean University of China)
In this talk, we want give a kind of completeness in probabilistic quasi-uniform

space. Considering the idea of Lindgren and Fletcher, we use pair T-filters to define
Cauchy completeness in probabilistic quasi-uniform space. We prove Cauchy com-
pleteness is equivalent to the 1-completeness introduced by Hohle in probabilistic
uniform space. The completion of probabilistic quasi-uniform space is also discussed
in this paper.
[ATIA-10] Soberity in topology, lattice theory and domain theory

Wei Yao (Hebei University of Science and Technology)
Although soberity is a separation axioms for topological spaces, it has important

applications in lattice theory and domain theory. More precisely, it is link of the du-
ality between the category of domains and that of completely distributive lattices,
and the main objects of the famous Parpert-Parpert-Isbell adjunctions.In this talk,
we will give a survey on the background of soberity as well as its main results. An-
other purpose is to introduce a new aproach of the soberity of the Scott topology on
continuous dcpos by using Scott open sets directly.
112
[ATIA-11] Non-hyperbolic solutions to tangle equations involving composite links
Yang Jingling (The Chinese University of Hong Kong)
Solving tangle equations is deeply connected with studying enzyme action on

DNA. The main goal of this paper is to solve the system of tangle equations N (O +
X1 ) = b1 and N (O + X2 ) = b2 #b3 , where we assume X1 and X2 are rational tangles,
and bi is a 2-bridge link, i = 1, 2, 3 with both b2 and b3 nontrivial. In fact, Buck and
Mauricio’s paper has discussed about two cases (1) the double branched cover of the
tangle O (denoted by O) e is a Seifert fibered space (2) O e is reducible. In this paper,
we will solve the equations under a more general situation when O e is not hyperbolic,
i.e.O is not π-hyperbolic. Besides, we also solve tangle equations involving 2-bridge
links only under the assumption O is an algebraic tangle.
[ATIA-12] SI-continuous spaces, K-bounded sober spaces and domains

Kaiyun Wang (Shaanxi Normal University)
In this talk, we shall investigate the relationships among SI-continuous spaces, k-

bounded sober spaces and domains. The main results are: (1) The irreducibly-derived
topological space of every SI-continuous space is k-bounded sober; (2) Zhao and Ho
asked in recent paper that for each T0 space X, whether KB(X) (the set of all irre-
ducible closed sets of X whose suprema exist) is the canonical k-bounded sobrification
of X in the sense of Keimel and Lawson. We construct a counterexample to give a
negative answer. (3) We establish an adjunction between the category of domains and
the category of SI-continuous spaces which are dcpos under the specialization order.
[ATIA-13] The kR -property in sequential fans and the applications in the free Abelian
topological groups
Fucai Lin (Minnan Normal University)
A space X is called a kR -space, if X is Tychonoff and the necessary and sufficient

condition for a real-valued function f on X to be continuous is that the restriction
of f to each compact subset is continuous. In this paper, we shall discuss the kR -
property of two product of sequential fans and of free Abelian topological groups by
applying the κ-fan introduced by T. Banakh, and prove the following two results:
113
(1) the space Sω1 × Sω1 is not a kR -space;
(2) the assumption b > ω1 holds if and only if the product Sω × Sω1 is a kR -space
if and only if Sω × Sω1 is a k-space.
These results generalize some well-known results on sequential fans. Furthermore,
we generalize some results of K. Yamada in the free Abelian topological groups by ap-
plying the kR -property of two product of the sequential fans. Finally, some interesting
open questions about the kR -spaces are posed.
[ATIA-14] On
commutative semiconical residuated lattice-ordered idempotent monoids
Chen Wei (Minnan Normal University)
In this paper, we study semiconical idempotent residuated lattices. An algebra

of this kind is a semiconical generalized Sugihara monoid(SGSM) if it is generated
by the lower bounds of the monid identity. Our main theorem establishes a category
equivalence between SGSM and Brouwerian algebra with a nucleus(i.e., a closure
operator preserving the lattice operations).
114
DG. Differential Geometry and Topology
[DG-01] Heat trace asymptotics, curvature tensors and BFK-gluing formula for
zeta-determinants
Yoonweon Lee (Inha University)
The gluing formula for the zeta-determinants of Laplacians on a compact Rie-

mannian manifold was proved by Burghelea, Friedlander and Kappeler in 1990’s by
using the Dirichlet-to-Neumann operator. In the proof of this formula there appears
a real polynomial of degree at least the half of the dimension of the underlying man-
ifold. This polynomial plays an important role in the BFK-gluing formula. Recently
we recognized that the coefficients of this polynomial and the heat trace asymptotics
of the Dirichlet-to-Neumann operator can be expressed by some curvature tensors
such that scalar curvatures and principal curvatures. In this talk we discuss this fact
when the cutting hypersurface is a 2-dimensional manifold. This talk is based on the
joint work with Klaus Kirsten.
[DG-02] Kodaira-Serre duality on transversely Kahler foliations

Seoung Dal Jung (Jeju National University)
On a transversely Kahler foliation, the Kodaira-Serre duality does not necessarily

hold unless the foliation is minimal. In this talk, we review the basic cohomology on
foliated manifolds and exhibit a version of Kodaira-Serre duality that does hold in all
cases.
[DG-03] New area form on a complex surface in Dn,m and the the holonomy dis-
placement in the principal U (n)-bundle over Dn,m
Taechang Byun (Sejong University)
Consider Dn,m = U (n, m)/ (U (n) × U (m)), the dual of the the Grassmannian
manifold and the principal U (n) bundle over Dn,m , U (n) → U (n, m)/U (m) → Dn,m .
Given a nontrivial X ∈ Mm×n (C), consider a two dimensional subspace M 0 ⊂ M ⊂
u(n, m), induced by X, iX ∈ Mm×n (C). For any g ∈ U (n, m), M 0 gives rise to a
complete oriented surface S = S(X, g) in Dn,m related to (X, g) ∈ Mm×n (C)×U (n, m)
115
such that there are both a complex structure from M 0 and a new area form ω(X,g) ,
called an area form ω(X,g) related to (X, g), on the surface S. Let c be a smooth,
simple, closed, orientation-preserving curve on S parametrized by 0 ≤ t ≤ 1, and ĉ
its horizontal lift in the bundle U (n) → U (n, m)/U (m) → Dn,m . Then the holonomy
displacement is given by the right action of eΨ for some Ψ ∈ SpanR {i(X ∗ X)k |k =
1, · · · , p} ⊂ u(n), p = the the number of distinct positive eigenvalues of X ∗ X, such
that
ĉ(1) = ĉ(0) · eΨ and Tr(Ψ) = 2i Area(c),
where Area(c) is the “area,” produced by ω(X,g) , of the region on the surface S, sur-
rounded by c. And Ψ can be represented as the solution of a system of first order
ordinary linear differential equations. Especially, if X ∗ X has a single positive eigen-
value with algebraic multiplicity q ∈ N, then S is totally geodesic and for some
A ∈ u(n),
!
Iq Oq×(n−q)
Ψ = eiθ A A∗ ∈ u(n)
O(n−q)×q On−q
with θ = 2q Area(c) = 2q A(c), where A(c) is the area of the same region, produced by
an area form on S induced from the metric on Dn,m .
[DG-04] Approximation of minimal surfaces

Dae Won Yoon (Gyeongsang National University)
In this paper, we consider a surface in terms of the components of Frenet frame

along the given spatial curve as a geodesic in the Euclidean 3-space. We construct
the isogeodesic surface pencil of a minimal area. Also we give some examples for
approximate minimal ruled surfaces and minimal rotational surfaces.
[DG-05] Characterizations of warped product pointwise semi-slant submanifolds of

Sasakian manifolds
Jae Won Lee (Gyeongsang National University)
In this talk, we classify warped product pointwise semi-slant submanifolds of a

Sasakian manifold. We provide intriguing theorems on warped product pointwise
116
semi-slant submanifolds in a Sasakian manifold such that the structure vector field is
tangential to a base manifold and each fiber is pointwise slant.
[DG-06] p-harmonic functions and connectedness at infinity of complete submani-

folds in a Riemannian manifold
Keomkyo Seo (Sookmyung Women’s University)
A complete minimal submanifold in a Riemannian manifold satisfies a fundamen-

tal second-order elliptic inequality which is called Simons’s inequality. This inequality
with additional geometric assumption enables us to find rigidity of such submanifolds
in many cases. In this talk, we obtain the p-fundamental tone estimates of minimal
submanifolds with certain conditions on the norm of the second fundamental form.
Moreover, we discuss the connectedness at infinity of complete submanifolds by using
the theory of p-harmonic function. For lower-dimensional cases, we are able to prove
a rigidity of complete noncompact hypersurface without assuming minimality of the
hypersurface.
[DG-07] Invariants of ruled surfaces and applications

Huili Liu (Northeastern University)
In this talk we will summarize our work on the invariants, kinematical character-
izations and applications of the non-developable ruled surfaces in 3-spaces.
[DG-08] Pseudo-Hermitian symmetries on contact manifolds

Jong Taek Cho (Chonnam National University)
For a contact manifold, we have the two fundamental structures associated with a
given contact form. One is a Riemannian metric and the other is a transversal almost
complex structure. In this talk, we focus on the pseudo-Hermitian geometry or CR
geometry which preserves a transversal almost complex structure. In particular, using
the Tanaka-Webster connection as a canonical connection, we study different types
of symmetries.
117
[DG-09] Complex and Quaternionic hyperbolic Kleinian groups with real trace
fields
Sungwoon Kim (Jeju National University)
We show that if a complex or quaternionic hyperbolic Kleinian group has real trace
field, then it preserves a totally geodesic submanifold of constant negative sectional
curvature. This is an analog of Maskit’s theorem in PSL(2,C) for general semisimple
Lie groups of rank 1.
[DG-10] Uniqueness of Families of Minimal Surfaces in R3

Eunjoo Lee (KIAS)
We show that an umbilic-free minimal surface in R3 should be one of the associate

family of the catenoid if and only if the geodesic curvatures of its lines of curvature
have a constant ratio. As a corollary, the helicoid is shown to be the unique umbilic-
free minimal surface whose lines of curvature have the same geodesic curvature. A
similar characterization for the deformation family of minimal surfaces with planar
lines of curvature is given as well.
[DG-11] Cyclic translating soliton for the inverse mean curvature flow
Daehwan Kim (Pusan National University)
Translating soliton is a special solution for the inverse mean curvature flow, it is
translated by the translating direction without deforming its shape under the inverse
mean curvature flow. We deal with the surface foliated by circles, it is called a cyclic
surface, to be a translating soliton for the inverse mean curvature flow. It becomes
a surface of revolution with the axis parallel to translating direction and we find its
profile curve. We obtain that there is no complete rotationally invariant translating
soliton for the inverse mean curvature flow.
118
[DG-12] Bach-flat h-almost gradient Ricci solitonsBach-flat h-almost gradient Ricci
solitons
Seungsu Hwang (Hiroshima University)
We study an h-almost gradient Ricci soliton on an n-dimensional complete mani-

fold M . It generalizes a gradient Ricci soliton. We prove that if the manifold is Bach-
flat and dh/du > 0, then the manifold M is either Einstein or rigid. In particular,
such a manifold has harmonic Weyl curvature.
[DG-13] Delaunay type domains for an overdetermined elliptic problem in Sn × R

and Hn × R
Filippo Morabito (KAIST)
We prove the existence of a countable family of Delaunay type domains
Ωt ⊂ Mn × R,
t ∈ N, where Mn is the Riemannian manifold Sn or Hn and n ≥ 2, bifurcating from

the cylinder B n × R (where B n is a geodesic ball of radius 1 in Mn ) for which the
first eigenfunction of the Laplace-Beltrami operator with zero Dirichlet boundary
condition also has constant Neumann data at the boundary. The overdetermined
problem 
 ∆g u + λ u = 0
 in Ωt
u=0 on ∂Ωt

g(∇u, ν) = const on ∂Ωt

has a bounded positive solution for some positive constant λ, where g is the standard
metric in Mn × R. The domains Ωt are rotationally symmetric and periodic with
respect to the R-axis of the cylinder and the sequence {Ωt }t converges to the cylinder
B n × R.
119
General Information
• Conference Venue
The conference will be held in Novotel Ambassador Busan Hotel, Haeundae, Bu-
san, Korea.
Code Session Title Room
PL Plenary Lectures Grandball Room
AT Algebraic Topology Board Room
GT Geometric Topology Ball Room B
CT Continuum Theory Camellia
STT Set-Theoretic Topology Iris Room
ST Set Theory Ventanas Room
KT Knot Theory Ball Room A
DS Dynamical Systems Ball Room C
ATIA Applied Topology and Inter-Disciplinary Applications Azalea Lilac Room
DG Differential Geometry and Topology Rose Room
• Registration
The online registration is required to participate in the conference. During the con-
ference, the registration desk will be located on the 5th floor of Novotel Ambassador
Busan Hotel.
• Novotel Ambassador Busan Hotel

Address 1405-16 Jung-dong, Haeundae-gu, Busan, Korea.
Tel +82–51–743–1234.
Website http://novotel.ambatelen.com/busan/main.amb
Check-in Time After 02:00
Check-out Time Before 12:00
Internet Service Free Wi-Fi is available.
120
• Presentation
Every talk should use a beam projector. Unfortunately we cannot arrange a black-
board talk. The simplest way would be bringing a pdf file in a usb stick. A laptop
connected to the beam projector will be available. If you prefer to use an overhead
projector for transparency films, let me know in advance please.
There will be a supplemental board in the lecture room for, e.g., drawing a picture
or writing an additional equation. (But don’t plan to use this for the whole talk
please!)
• Meals
We invite all registered participants to the welcome reception dinner on November

13 Monday, dinner on November 14 Tuesday, and Conference Dinner on November
15 Wednesday. (You should bring your name tag!) Also, we serve lunch November
13–16. We do not arrange nor provide meals except this. You can have breakfast on
the 1st floor of the Novotel Ambassador Busan Hotel if you want. (Breakfast is 24,200
KRW. This is not included in your room charge.)
• Useful Phone Number

Taxi 051–600–1000, 051–200–2000
In emergency 010–3824–6412 (Professor Sang Youl Lee)
121
Transportation
I From Incheon International Airport to Busan

There are two options: Limousine Bus and Train.
· Limousine Bus from Incheon International Airport to Busan
Central Bus Terminal.
For detailed information (fares and schedule), see Incheon Airport Web-
site (http:// www.airport.kr/airport/traffic/bus/busList.iia?flag=E). It
takes approximately 5 hours.
· Train from Incheon International Airport to Busan Station.
There are two ways. The key difference is that the first is a direct train
but runs less frequently, while the second requires a switch to another
train (at Seoul Station) but runs more frequently.
- Airport → Busan: at the airport, take a KTX to Busan Station.
This is a high-speed rail which may be compared with TGV, ICE,
and Shinkansen. It takes roughly 3 hours and 40 minutes, and the
fare is around 65,000 KRW. More precise information on the fare
and schedule is available at Korail Website
(http://www.letskorail.com/ebizbf/EbizBfIndex eng.do). The names
of the stations are ”Incheon Airport” and ”Busan”.
- Airport → Seoul Station → Busan: at the airport, take KO-
RAIL Airport Railroad to Seoul Station. Detailed fare and schedule
information is available at Incheon Aiport Railroad Express Web-
site (http://english.arex. or.kr/jsp/eng/main.jsp). At Seoul Sta-
tion, take KTX train to Busan Station. See Korail Website
(http:// www.letskorail.com/ebizbf/EbizBfIndex eng.do) for more
information. The KTX fare is approximately 60,000 KRW, and it
takes about 2 hours and 45 minutes; these may vary depending on
the schedule and dates. I would remark that the transfer at Seoul
Station is between Level B7 and 1 and includes some move on foot,
though the route is well-equipped with elevators and escalators.
122
For detailed direction from Busan Station to Novotel Ambassador Busan Hotel,
please see below.
I Directions to Novotel Ambassador Hotel

The following are directions to the hotel from various places in Busan:
· From Busan Central Bus Terminal: at Nopo-dong metro station,
take Metro Line 1 (Sinpyung direction). Transfer at Seomyun Station
onto Metro Line 2 (Jangsan direction). Take off at Haeundae Station.
Walk approximately 600m towards Novotel Ambassador Hotel, Haeun-
dae beach. The fare is 1,500 KRW, and it takes approximately 85 min-
utes.
· From Gimhae International Airport:
- By limousine bus: get on at Gimhae International Airport stop,
off at Novotel Ambassador Hotel stop. The first bus is at 05:10 and
the last bus is at 21:40 (every 25 minutes). The fare is 7,000 KRW,
and it takes approximately 65 minutes.
- By metro: at Gimhae International Airport Station, take Busan-
Gimhae Light Rail Transit (Sasang direction). Transfer at Sasang
Station to Metro Line 2 (Jangsan direction). Take off at Haeundae
Station, and then walk approximately 600m towards Novotel Am-
bassador Hotel, Haeundae beach. The fare is 2,800 KRW, and it
takes approximately 100 minutes.
· From Busan Station:
- By bus: at Busan Station stop, take Express Bus #1003. Take off
at the Haeundae Hot Spring Crossroad stop. Walk approximately
50m towards Novotel Ambassador Hotel, Haeundae beach. The fare
is 1,800 KRW, and it takes approximately 45 minutes.
- By metro: at Busan Station, take Metro Line 1 (Nopo direction).
Transfer at Seomyun Station onto Metro Line 2 (Jangsan direc-
tion). Get off at Haeundae Station and walk approximately 600m
towards Novotel Ambassador Hotel, Haeundae beach. The fare is
1,500 KRW.
123
Author Index
Author Index
A Dari, U. B. DS-13, 101

Acuña, Francisco Gonzalez PL-01, 51 De, Dibyendu DS-27, 107
Ahn, Jiweon DS-28, 107 Dey, Lakshmi Kanta ATIA-04, 109
Akiyoshi, Hirotaka KT-06, 86 Dieu, Nguyen Thanh DS-07, 99
Antonyan, Sergey GT-09, 64 Ding, Longyun ST-02, 81
Dobrowolski, Tadeusz GT-14, 65
B Dolecki, Szymon STT-16, 77
Bae, Yongju KT-12, 88 Dong, Meihua DS-25, 106
Bai, Shizhong GT-04, 62 Dorantes-Aldama, Alejandro STT-02, 73
Baik, Hyungryul KT-30, 94 Du, Nguyen Huu DS-17, 103
Barcenas, Noe AT-08, 59 Duan, Haibao AT-05, 58
Bartoŝ , Adam CT-08, 69 Dydak, Jerzy GT-01, 61
Blaszczyk, Aleksander STT-05, 74
Brendle, Joerg ST-07, 83 E
Bykov, Alexander GT-08, 63 Eda, Katsuya GT-13, 65
Byun, Taechang DG-03, 115 Eudave-MuÑoz, Mario KT-09, 87
C F
Cao, Jiling STT-14, 77 Fernández-Bretón , David ST-01, 80
Castillo, Yasser Ferman Ortiz STT-08, 75 Frı́as, José Angel KT-24, 92
Chacon-Tirado , Mauricio E. CT-03, 68
Charatonik, Wlodzimierz J. CT-07, 69 G
Chbili, Nafaa KT-13, 89 Giap, Duong Xuan DS-15, 102
Chekeev, Asylbek STT-17, 78 Greenwood, Sina CT-11, 71
Cho, Jinseok KT-35, 96 Guo, Ming-Yue STT-03, 73
Cho, Jong Taek DG-08, 117
Chodounsky, David ST-05, 82 H
Chung, Nhan Phu DS-05, 99 Han, Sang-Eon ATIA-01, 108
Cisneros de la Cruz, Bruno Aarón Hashizume, Megumi KT-31, 95
KT-14, 89 Hattori, Yasaunao STT-04, 74
He, Jialiang ST-08, 83
D Hernandez-Gutierrez, Rodrigo PL-07, 54
Damiani, Celeste KT-22, 92 Hernandez-Gutierrez, Rodrigo CT-02, 67
127
Herrera-Carrasco, David CT-14, 72 Kim, Sungwoon DG-09, 117
Hinojosa, Gabriela KT-,04 85 Kim, Taehee KT-05, 86
Hirasawa, Mikami KT-19, 91 Kishimoto, Daisuke PL-09, 55
Huang, Wen PL-10, 55 Kook, Woong PL-11, 55
Hwang, Seungsu DG-12, 119 Koshino, Katsuhisa GT-12, 65
Koyama, Akira GT-15, 66
I Kumar Pal, Sudip STT-09, 75
Ichihara, Kazuhiro KT-21, 92 Kwon, Sanghoon DS-11, 101
Ikegami, Daisuke ST-10, 84
Illanes, Alejandro CT-13, 72 L
Im, Young Ho KT-15, 90 Lee, Eunjoo DG-10, 118
Imamura, Hayato GT-07, 63 Lee, Hwa Jeong KT-32, 95
Ivanov, Sergei AT-02, 57 Lee, Jae Won DG-05, 116
Iwase, Norio AT-09, 59 Lee, Jung Hoon KT-25, 93
Lee, Manseob DS-20, 104
J Lee, Sang Youl KT-01, 85
Jeong, Jaehyun DS-23, 105 Lee, Seunghee DS-21, 105
Jingling, Yang ATIA-11, 112 Lee, Yoonweon DG-01, 115
Jonard, Natalia GT-06, 62 Li, Changqing ATIA-08, 112
Juan-Pineda, Daniel AT-01, 57 Li, Shenggang ATIA-02, 108
Jung, Seoung Dal DG-02, 115 Liao, Gang DS-02, 98
Junnila, Heikki STT-01, 73 Lim, Seonhee DS-01, 98
Lin, Fucai ATIA-13, 113
K Linh, Vu Hoang DS-09, 100
Kamada, Naoko KT-08, 86 Liu, Huili DG-07, 117
Kamada, Seiichi KT-03, 85 Lopez, Jesus A. Alvarez PL-04, 52
Kanenobu, Taizo KT-28, 93
Kang, Bowon DS-14, 102 M
Kang, Jeang Min ATIA-06, 110 Macı́as-Romero, Fernando CT-10, 70
Kang, Sungmo KT-11, 88 Manjarrez-Gutierrez, Fabiola KT-27, 93
Kawamura, Kengo KT-07, 86 Martı́nez-de-la-Vega, Verónica CT-12, 71
Kawauchi, Akio KT-36, 96 Mejı́a, Diego A. ST-06, 82
Kennedy, Judy CT-06, 69 Morabito, Filippo (KAIST) DG-13, 119
Khalil, Ahmed Mostafa ATIA-03, 109
Kihara, Takayuki ST-03, 81 Motegi, Kimihiko KT-23, 92
Kim, Daehwan DG-11, 118 Moussard, Delphine AT-10, 59
Kim, Jieon KT-16, 90
Kim, Min Hoon KT-18, 91
128
N Sostak, Alexander ATIA-05, 110
Nagasato, Fumikazu KT-10, 88
Nall, Van CT-01, 67 T
Nga, Ngo Thi Thanh DS-26, 106 Takigawa, Erika AT-07, ??
Nguyen, Khong Chi DS-24, 106 Takioka, Hideo KT-26, 93
Nguyen, Ngoc-Thach DS-06, 99 Tamariz-Mascarúa, Angel STT-13, 77
Teragaito, Masakazu KT-02, 85
O Tkachenko, Mikhail PL-06, 53
Oh, Jumi DS-08, 99 Tristán,TristánAraceli Guzmán KT-29, 94
Oh, Seungsang KT-20, 91 Tuan, Le Anh DS-12, 101
Ottenbreit Maschio Rodrigues, André
ST-04, 81 U
Ozawa, Makoto KT-33, 95 Ueno, Yusuke AT-03, 57
P V
Pal, Sudip Kumar STT-09, 75 Valov, Vesko GT-05, 62
Palomo, Luis Celso Chan KT-34, 96 Veen, Roland van der PL-03, 52
Pang, Bin ATIA-07, 111 Vejnar, Benjamin CT-04, 68
Park, Jongil PL-02, 51 Vesnin, Andrei AT-06, 58
Park, Junmi DS-16, 102
Pellicer-Covarrubias, Patricia CT-09, 70 W
Wang, Huoyun DS-10, 100
R Wang, Kaiyun ATIA-12, 113
Ramirez, Norberto Ordoñez CT-05, 68 Wang, Suhua DS-04, 98
Ruizhi, Huang AT-11, 60 Wei, Chen ATIA-14, 114
Wu, Enxin GT-10, 64
S Wu, Jie PL-08, 54
Sakai, Hiroshi ST-11, 84 Wu, Liuzhen ST-09, 84
Sakurai, Migiwa KT-17, 90
Salazar, Victor Hugo Yañez STT-12, 76 X
Sánchez Saldaña, Luis Jorge AT-04, 58 Xie, Li-Hong STT-11, 76
Sato, Takamichi GT-03, 62
Seo, Keomkyo DG-06, 117 Y
Shakhmatov, Dmitri PL-05, 52 Yamauchi, Takamitsu GT-02, 61
Shi, Enhui DS-18, 104 Yang, Hanbiao GT-11, 64
Shi, Wei-Xue STT-07, 75 Yang, Zhongqiang GT-16, 66
Son, Nguyen Hong DS-19, 104 Yao, Wei ATIA-10, 112
Son, Younghwan DS-03, 98 Ye, Shengkui AT-12, 60
129
Yoo, Jisang DS-22, 105
Yoon, Dae Won DG-04, 116
Yu, Jiakui STT-15, 77
Yu, Zuoming STT-18, 79
Yue, Yueli ATIA-09, 112
Z
Zhang, Hang STT-06, 75
Zhiqiang, Xiao STT-10, 76
130
131
4 Floor Layout
Ventanas Room
Set Theory
E/C
E/V
Rest Room
(W)
Rest Room
(M)
Iris Room
Set-Theoretic Topology
5 Floor Layout
Differential Geometry
and Topology
Azalea Lilac
Board
Rose Room
Room
Room Applied Topology and
Algebraic Topology
Inter-Disciplinary
Application
Grand Ballroom
Ball Room B (Ball Room A & B) Ball Room A
Geometric Topology Plenary Lectures Knot Theory
Registration Desk
Camellia
Continuum Theory
Ball Room C
Dynamical Systems

2nd Pan Pacific Conference on Topology

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2nd Pan Pacific Conference on Topology

Uploaded by

Copyright:

Available Formats

The 2nd Pan Pacific International

Conference on Topology and Applications

Local Organizing Committee

General Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .120

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

Differential Seoung Dal Jung

Nov. 14 (Tue.) Grandballroom

Grandballroom Nov. 14 (Tue.)

Nov. 16 (Thu.) Grandballroom

Grandballroom Nov. 16 (Thu.)

09:25–09:40 Opening Remarks

09:40–10:30 Plenary Lecture Grandball Room

10:30-11:00 Coffee Break

11:00–11:50 Plenary Lecture Grandball Room

03:30–03:50 Coffee Break

06:20–08:00 Welcome Reception

09:00–09:50 Plenary Lecture Grandball Room

09:50-10:10 Coffee Break

10:10–11:00 Plenary Lecture Grandball Room

11:10–12:00 Plenary Lecture Grandball Room

03:30–03:50 Coffe Break

09:00–09:50 Plenary Lecture Grandball Room

09:50-10:10 Coffee Break

11:10–12:00 Plenary Lecture Grandball Room

03:30–03:50 Coffe Break

09:00–09:50 Plenary Lecture Grandball Room

09:50-10:10 Coffee Break

10:10–11:00 Plenary Lecture Grandball Room

11:10–12:00 Plenary Lecture Grandball Room

03:30–03:50 Coffe Break

06:20–08:00 Closing & Conference Dinner

PL. Plenary Lectures

November 13 (Monday) Grandball Room

09:40–10:30 Surface-knot groups and 3-manifold groups

11:00–11:50 Chair: Seiichi Kamada

11:00–11:50 A classification problem on 4-manifolds

November 14 (Tuesday) Grandball Room

09:00–09:50 A polynomial time knot polynomial

10:10–11:00 Chair: Seoung Dal Jung

10:10–11:00 A trace formula for foliated flows

11:10–12:00 Chair: Yasunao Hattori

11:10–12:00 Topological groups which are hard to come by

November 15 (Wednesday) Grandball Room

09:00–09:50 Continuous images of dense subspaces of products and topological

10:10–11:00 Countable dense homogeneity and non-definable spaces

11:10–12:00 Chair: Enhui Shi

11:10–12:00 Topological complexity of the work map

November 16 (Thursday) Grandball Room

09:00–09:50 Counting gauge groups

10:10–11:00 Chair: Yongjin Song

10:10–11:00 Measure complexity and Mobius disjointness

11:10–12:00 Chair: Yong Do Lim

11:10–12:00 Simplicial networks and data analysis

AT. Algebraic Topology

November 13 (Monday) Board Room

01:20–02:20 On the vc-geometric dimension in Mapping class groups

02:30–03:30 Chair: Yongjin Song

02:30–03:30 Homology of R-completions of groups and finite R-bad spaces

03:50–04:50 Chair: Yongjin Song

03:50–04:20 Pairings of classifying spaces and admissible maps

05:00–06:00 Chair: Yongjin Song

05:00–05:30 Virtually cyclic geometric dimesion of S-arithmetic groups

November 14 (Tuesday) Board Room