Beijing Institute of Mathematical Sciences and Applications Beijing Institute of Mathematical Sciences and Applications

  • About
    • President
    • Governance
    • Partner Institutions
    • Visit
  • People
    • Management
    • Faculty
    • Postdocs
    • Visiting Scholars
    • Administration
    • Academic Support
  • Research
    • Research Groups
    • Courses
    • Seminars
  • Join Us
    • Faculty
    • Postdocs
    • Students
  • Events
    • Conferences
    • Workshops
    • Forum
  • Life @ BIMSA
    • Accommodation
    • Transportation
    • Facilities
    • Tour
  • News
    • News
    • Announcement
    • Downloads
About
President
Governance
Partner Institutions
Visit
People
Management
Faculty
Postdocs
Visiting Scholars
Staff
Administration
Academic Support
Research
Research Groups
Courses
Seminars
Join Us
Faculty
Postdocs
Students
Events
Conferences
Workshops
Forum
Life @ BIMSA
Accommodation
Transportation
Facilities
Tour
News
News
Announcement
Downloads
Qiuzhen College, Tsinghua University
Yau Mathematical Sciences Center, Tsinghua University (YMSC)
Tsinghua Sanya International  Mathematics Forum (TSIMF)
Shanghai Institute for Mathematics and  Interdisciplinary Sciences (SIMIS)
BIMSA > BIMSA Topology Seminar An algorithm to recognize H 3-manifold groups
An algorithm to recognize H 3-manifold groups
Organizers
Matthew Burfitt , Jingyan Li , Jie Wu , Nanjun Yang , Jiawei Zhou
Speaker
Fengchun Lei
Time
Tuesday, May 27, 2025 1:00 PM - 2:00 PM
Venue
A3-4-301
Online
Zoom 482 240 1589 (BIMSA)
Abstract
A finitely presented group $G$ is called a 3-manifold group if $G$ is isomorphic to the fundamental group of a compact connected 3-manifold. Stallings proved in 1960s that there is no algorithm to determine whether an arbitrary finitely presented group is a 3-manifold group. Let $H$ be a handlebody of genus $n \geq 1$, $\mathcal{J} = {J_1,\dots, J_m}$ a collection of pairwise disjoint simple closed curves on $\partial H$. The manifold obtained by attaching 2-handles to H along $\mathcal{J}$ and filling each of the resulting 2-sphere with a 3-ball (if any) is called a m-relator 3-manifold, and is denoted by $H_\mathcal{J}$. From the construction, $G = \pi_1(H_\mathcal{J})$ has a natural presentation as $< x_1,\dots,x_n ; r_1,\dots,r_m>$, where $\pi_1(H) = < x_1,\dots, x_n>$, and $r_i = [J_i] \in \pi_1(H)$ (after some conjugation) for $1 \leq i \leq m$. Such a presentation is called an H presentation of $G$. If a group $G$ admits an $H$ presentation, we call $G$ an $H$ 3-manifold group. Here is our main
result:

\textbf{Theorem} For a given finitely presented group $G = < x_1,\dots, x_n ; r_1,\dots, r_m>$, there exists an algorithm to determine whether it is an $H$ presentation (therefore an $H$ 3-manifold group).

In the talk, I will explain the idea to show the theorem. This is a joint work
with Liyuan Ma, Liang Liang, Xuezhi Zhao, and Jie Wu.
Speaker Intro
Professor Fengchun Lei received his Ph.D. from Jilin University in 1990, once was a professor in Dalian University of Technology, and has joined in BIMSA from March, 2025. His research interests include 3-manifold topology, knot theory and topological data analysis. He ever won the second prize of Science and Technology Progress Award of the State Education Commission, and was selected into the "Cross-Century Excellent Talent Program" of the State Ministry of Education.
Beijing Institute of Mathematical Sciences and Applications
CONTACT

No. 544, Hefangkou Village Huaibei Town, Huairou District Beijing 101408

北京市怀柔区 河防口村544号
北京雁栖湖应用数学研究院 101408

Tel. 010-60661855 Tel. 010-60661855
Email. administration@bimsa.cn

Copyright © Beijing Institute of Mathematical Sciences and Applications

京ICP备2022029550号-1

京公网安备11011602001060 京公网安备11011602001060