2025-11-24T03:46:16.956357

Divergence functions of higher-dimensional Thompson's groups

Kodama
We prove that higher-dimensional Thompson's groups have linear divergence functions. By the work of Dru├Е┬гu, Mozes, and Sapir, this implies none of the asymptotic cones of $nV$ has a cut-point.
academic

рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди

рдмреБрдирд┐рдпрд╛рджреА рдЬрд╛рдирдХрд╛рд░реА

  • рдкреЗрдкрд░ ID: 2405.19923
  • рд╢реАрд░реНрд╖рдХ: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди
  • рд▓реЗрдЦрдХ: Yuya Kodama
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.GR (рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: 30 рдордИ 2024
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2405.19923

рд╕рд╛рд░рд╛рдВрд╢

рдпрд╣ рдкреЗрдкрд░ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВред Dru┼гu, Mozes рдФрд░ Sapir рдХреЗ рдХрд╛рд░реНрдп рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдЗрд╕рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐ nV рдХреЗ рд╕рднреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдореЗрдВ рдХреЛрдИ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБ рдирд╣реАрдВ рд╣реИрдВред

рдЕрдиреБрд╕рдВрдзрд╛рди рдкреГрд╖реНрдарднреВрдорд┐ рдФрд░ рдкреНрд░реЗрд░рдгрд╛

рд╕рдорд╕реНрдпрд╛ рдХреА рдкреГрд╖реНрдарднреВрдорд┐

Thompson рд╕рдореВрд╣ F, T рдФрд░ V рдХреЛ Richard Thompson рджреНрд╡рд╛рд░рд╛ 1960 рдХреЗ рджрд╢рдХ рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ рдФрд░ рдпреЗ рдкрд░рд┐рдорд┐рдд рдкреНрд░рд╕реНрддреБрддрд┐ рд╡рд╛рд▓реЗ рдЕрдирдВрдд рд╕рдореВрд╣ рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЗрдВ рд░рд╣рд╕реНрдпрдордп рд╕рдореВрд╣реЛрдВ рдХрд╛ рд╡рд░реНрдЧ рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИред рдЗрди рд╕рдореВрд╣реЛрдВ рдХреЗ рдХрдИ рдЕрдкреНрд░рддреНрдпрд╛рд╢рд┐рдд рдЧреБрдг рд╣реИрдВ:

  1. T рдФрд░ V рдкрд░рд┐рдорд┐рдд рдкреНрд░рд╕реНрддреБрддрд┐ рд╡рд╛рд▓реЗ, рдЕрдирдВрдд рдФрд░ рд╕рд░рд▓ рд╕рдореВрд╣реЛрдВ рдХреЗ рдкрд╣рд▓реЗ рдЙрджрд╛рд╣рд░рдг рд╣реИрдВ
  2. F рдХреА рд╕реБрдЧрдореНрдпрддрд╛ (amenability) рдПрдХ рдХрдард┐рди рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛ рд╣реИ
  3. рдЗрди рд╡рд┐рд╢реЗрд╖ рдЧреБрдгреЛрдВ рдХреЗ рдХрд╛рд░рдг, рдХрдИ "рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд" Thompson рд╕рдореВрд╣ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдП рдЧрдП рд╣реИрдВ, рдЬрд┐рдирдореЗрдВ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рд╢рд╛рдорд┐рд▓ рд╣реИрдВ

рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛

  1. рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХрд╛ рдорд╣рддреНрд╡: рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреЛ рдкрд╣рд▓реЗ Gromov рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ рдФрд░ Gersten рджреНрд╡рд╛рд░рд╛ рдФрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛, рдЬреЛ рднреВрдЧрдгрд┐рддреАрдп рдореАрдЯреНрд░рд┐рдХ рд╕реНрдкреЗрд╕ рдХрд╛ рдПрдХ рдЕрд░реНрдз-рд╕рдорд░реВрдкрддрд╛ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╣реИред рдЗрд╕рдХрд╛ рдХреНрд░рдо рдпрд╣ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ рдХреНрдпрд╛ рд╕рдореВрд╣ рдХрд╛ Cayley рдЧреНрд░рд╛рдл рдпреВрдХреНрд▓рд┐рдбреАрдп рдпрд╛ рдЕрддрд┐рдкрд░рд╡рд▓рдпрд┐рдХ рд╕реНрдкреЗрд╕ рдХреЗ "рдХрд░реАрдм" рд╣реИ
  2. рдкреВрд░реНрд╡ рдкрд░рд┐рдгрд╛рдо: 2018 рдореЗрдВ Golan рдФрд░ Sapir рдиреЗ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ F, T, V рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВ, рдФрд░ рдкреВрдЫрд╛ рдХрд┐ рдХреНрдпрд╛ рдЙрдирдХрд╛ рдкреНрд░рдорд╛рдг рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ
  3. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡: рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдХреЗ рд╕реНрдерд▓реАрдп рдЧреБрдгреЛрдВ рд╕реЗ рдирд┐рдХрдЯрддрд╛ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБрдУрдВ рдХреА рдЙрдкрд╕реНрдерд┐рддрд┐ рд╕реЗ

рдореМрдЬреВрджрд╛ рд╡рд┐рдзрд┐рдпреЛрдВ рдХреА рд╕реАрдорд╛рдПрдВ

рд╣рд╛рд▓рд╛рдВрдХрд┐ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХреБрдЫ рд╕рдорд╛рди рдкрд░рд┐рдгрд╛рдо рд╣реИрдВ, рд▓реЗрдХрд┐рди рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЧреБрдгреЛрдВ рдХреЗ рд▓рд┐рдП рдЕрднреА рддрдХ рдкреВрд░реНрдг рдкреНрд░рдорд╛рдг рдирд╣реАрдВ рдорд┐рд▓рд╛ рд╣реИред

рдореБрдЦреНрдп рдпреЛрдЧрджрд╛рди

  1. рдореБрдЦреНрдп рдкреНрд░рдореЗрдп: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВ
  2. рд╕реНрдерд▓реАрдп рдкрд░рд┐рдгрд╛рдо: Dru┼гu, Mozes рдФрд░ Sapir рдХреЗ рдХрд╛рд░реНрдп рд╕реЗ, рдЗрд╕рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐ nV рдХреЗ рд╕рднреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдореЗрдВ рдХреЛрдИ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБ рдирд╣реАрдВ рд╣реИрдВ
  3. рд╡рд┐рдзрд┐ рд╡рд┐рд╕реНрддрд╛рд░: Golan рдФрд░ Sapir рдХреЗ рдореВрд▓ рддрд░реНрдХ рдХреЛ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рддрдХ рд╕рдлрд▓рддрд╛рдкреВрд░реНрд╡рдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛
  4. рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡рд┐рдХрд╕рд┐рдд рдХреАрдВ

рд╡рд┐рдзрд┐ рд╡рд┐рд╡рд░рдг

рдХрд╛рд░реНрдп рдкрд░рд┐рднрд╛рд╖рд╛

рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рд▓рд┐рдП рд╕рд┐рджреНрдз рдХрд░рдирд╛ рдХрд┐ рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤ тИИ (0,1) рдореМрдЬреВрдж рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ ╬┤-рд╡рд┐рдЪрд▓рди рдлрд▓рди ╧Х╬┤(x) рд░реИрдЦрд┐рдХ рдлрд▓рди рдХреЗ рд╕рдорддреБрд▓реНрдп рд╡рд░реНрдЧ рдореЗрдВ рд╣реИред

рдореБрдЦреНрдп рдкреНрд░рдореЗрдп рдХрдерди

рдкреНрд░рдореЗрдп 1.1: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВред

рддрдХрдиреАрдХреА рдврд╛рдВрдЪрд╛

1. рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡

  • рдкреИрдЯрд░реНрди (Patterns): рдЗрдХрд╛рдИ рд╡рд░реНрдЧ 0,1┬▓ рдХреЗ рдЙрдк-рд╡рд┐рднрд╛рдЬрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ C┬▓ рдХреЗ рд╡рд┐рднрд╛рдЬрди рдХрд╛ рд╡рд░реНрдгрди
  • рд░рдВрдЧреАрди рдмрд╛рдЗрдирд░реА рдкреЗрдбрд╝: рдкреНрд░рддреНрдпреЗрдХ рдХреИрд░реЗрдЯ рдХреЛ рд░рдВрдЧ {a,b} рд╕реЗ рд░рдВрдЧрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬреЛ рдКрд░реНрдзреНрд╡рд╛рдзрд░ рдФрд░ рдХреНрд╖реИрддрд┐рдЬ рдЙрдк-рд╡рд┐рднрд╛рдЬрди рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИ
  • рдЧреНрд░рд┐рдб рдЖрд░реЗрдЦ (Grid Diagrams): nV рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдХрд╛ рдЕрджреНрд╡рд┐рддреАрдп рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВ

2. рдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ рдФрд░ рд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдЕрдиреБрдорд╛рди

рдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ XтВВV рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ, рдЬрд┐рд╕рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

XтВВV := {xтВА, xтВБ, xтВВ, yс╡в, Bс╡в, Cс╡в, x╠Вт▒╝, ┼╖тВБ, ╧Ас╡в, ╧А╠Дс╡в, ╬▒с╡в, ╬▓с╡в, B╠ВтВА, ╬│тВА, hxт▒╝, ─еxт▒╝ | i тИИ {0,1}, j тИИ {1,2}}

рдореБрдЦреНрдп рд▓реЗрдореНрдорд╛:

  • рдкреНрд░рд╕реНрддрд╛рд╡ 2.11: рдорд╛рди рд▓реАрдЬрд┐рдП g тИИ 2V рдХреА рдкрд░рд┐рд╢реЛрдзрди рдбрд┐рдЧреНрд░реА k рд╣реИ, рддреЛ g рдХреА XтВВV рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдХрдо рд╕реЗ рдХрдо k/8 рд╣реИ
  • рдкрд░рд┐рдгрд╛рдо 2.12: рдЖрд╡рд╢реНрдпрдХ рдЖрдпрдд R рдХреЗ рд▓рд┐рдП, рдпрджрд┐ рдХрдореА рд╢рд░реНрдд рд╕рдВрддреБрд╖реНрдЯ рдирд╣реАрдВ рд╣реИ, рддреЛ рд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдХрдо рд╕реЗ рдХрдо тАЦRтАЦ/8 рд╣реИ

3. рдкрде рдирд┐рд░реНрдорд╛рдг рд░рдгрдиреАрддрд┐

рдореБрдЦреНрдп рдкреНрд░рд╕реНрддрд╛рд╡ 3.3: рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤, D рдФрд░ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ Q рдореМрдЬреВрдж рд╣реИрдВ, рдЬреИрд╕реЗ рдХрд┐ |g| тЙе 4 рдХреЗ рд▓рд┐рдП g тИИ 2V, рд▓рдВрдмрд╛рдИ рдЕрдзрд┐рдХрддрдо D|g| рдХрд╛ рдПрдХ рдкрде рдореМрдЬреВрдж рд╣реИ, рдЬреЛ:

  • рдкрд╣рдЪрд╛рди рдХреЗ ╬┤|g|-рдкрдбрд╝реЛрд╕ рд╕реЗ рдмрдЪрддрд╛ рд╣реИ
  • g рд╕реЗ рд╡рд┐рд╢рд┐рд╖реНрдЯ рддрддреНрд╡ x╠ВтВБ^(-Q|g|)x╠ВтВВx╠ВтВБ^(Q|g|)xтВБ^(-Q|g|)xтВВxтВБ^(Q|g|) рддрдХ рдЬреБрдбрд╝рддрд╛ рд╣реИ

рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ рдмрд┐рдВрджреБ

1. рдЫрдГ-рдЦрдВрдб рдкрде рдирд┐рд░реНрдорд╛рдг

рдкрде рдХреЛ рдЫрдГ рдЙрдк-рдкрдереЛрдВ ╧ЙтВБ, ..., ╧ЙтВЖ рдореЗрдВ рд╡рд┐рдШрдЯрд┐рдд рдХрд░реЗрдВ:

рдЙрдк-рдкрде 1: рдирд┐рдЪрд▓реЗ рдмрд╛рдПрдВ рдЖрдпрдд RтВА(PтВЛ(g)) рдХреЛ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд░реЗрдВ рддрд╛рдХрд┐ рдпрд╣ 0,1/4├Ч0,1 рдХрд╛ рдЙрдк-рд╕рдореБрдЪреНрдЪрдп рдмрди рдЬрд╛рдП рдЙрдк-рдкрде 2: P╬аQтБ╗┬╣ рд░реВрдк рдХреА рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдирд┐рд░реНрдорд╛рдг, рдкреИрд░рд╛рдореАрдЯрд░ M тЙе 100 рдХрд╛ рдкрд░рд┐рдЪрдп рдЙрдк-рдкрде 3: рдиреНрдпреВрдирддрдо рд╢рдмреНрдж ╧ЙтВГ = gтВБтБ╗┬╣ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╡рд╛рдкрд╕ рд▓реМрдЯреЗрдВ рдЙрдк-рдкрде 4: gтВГ рдХреЗ рдкрд╣рдЪрд╛рди рдорд╛рдирдЪрд┐рддреНрд░ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдЙрдкрдпреБрдХреНрдд рдЬрдирд░реЗрдЯрд░ рдЕрдиреБрдХреНрд░рдо рдЪреБрдиреЗрдВ рдЙрдк-рдкрде 5: gтВГ рдХреЗ рдкреНрд░рднрд╛рд╡ рдХреЛ рд╕рдорд╛рдкреНрдд рдХрд░реЗрдВ рдЙрдк-рдкрде 6: рд▓рдХреНрд╖реНрдп рддрддреНрд╡ рд╕реЗ рдЬреБрдбрд╝реЗрдВ

2. рдореБрдЦреНрдп рддрдХрдиреАрдХреА рдкреНрд░рдмрдВрдзрди

  • рдЖрд╡рд╢реНрдпрдХ рдЖрдпрдд рдХрд╛ рд╕рдВрд░рдХреНрд╖рдг: рдкрде рдирд┐рд░реНрдорд╛рдг рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЗ рджреМрд░рд╛рди рдЖрдпрдд рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЛ рдмрдирд╛рдП рд░рдЦрдирд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░реЗрдВ
  • рд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдЕрдиреБрдорд╛рди: рдЧреНрд░рд┐рдб рдЖрд░реЗрдЦ рдХреА рдкрд░рд┐рд╢реЛрдзрди рдбрд┐рдЧреНрд░реА рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдХреА рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рджреЗрдВ
  • рд╕рдорд░реНрдерди рдЕрд╕рдВрдмрджреНрдзрддрд╛: рд╡рд┐рднрд┐рдиреНрди рдЙрдк-рдкрдереЛрдВ рдХреЗ рд╡рд┐рднрд┐рдиреНрди рдХреНрд╖реЗрддреНрд░реЛрдВ рдореЗрдВ рдХрд╛рд░реНрдп рдХрд░рдиреЗ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╡рд┐рдирд┐рдореЗрдпрддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░реЗрдВ

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рд╕реЗрдЯрдЕрдк

рдпрд╣ рдкреЗрдкрд░ рд╢реБрджреНрдз рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрдгрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдХреЛрдИ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИред рд╕рднреА рдкрд░рд┐рдгрд╛рдо рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП рдЧрдП рд╣реИрдВред

рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо

рдореБрдЦреНрдп рдкреНрд░рдореЗрдп рдкреНрд░рдорд╛рдг

рд░рдЪрдирд╛рддреНрдордХ рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдХрд┐рд╕реА рднреА g тИИ 2V рдФрд░ |g| тЙе 4 рдХреЗ рд▓рд┐рдП, рдореМрдЬреВрдж рд╣реИрдВ:

  • рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤ = 1/64, D = 10Q, Q тЙе 48M, M тЙе 100
  • рдкрде рд▓рдВрдмрд╛рдИ тАЦ╧ЙтАЦ < D|g|
  • рдХрд┐рд╕реА рднреА рдЙрдкрд╕рд░реНрдЧ ╧Й' рдХреЗ рд▓рд┐рдП, |g╧Й'| > ╬┤|g|

рдореБрдЦреНрдп рд▓реЗрдореНрдорд╛ рд╕рддреНрдпрд╛рдкрди

рдкреНрд░рддреНрдпреЗрдХ рдЙрдк-рдкрде рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ:

  1. рд▓рдВрдмрд╛рдИ рдирд┐рдпрдВрддреНрд░рдг: тАЦ╧Йс╡втАЦ рдХреА рд╕реНрдкрд╖реНрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рд╣реИ
  2. рджреВрд░реА рдирд┐рдЪрд▓реА рд╕реАрдорд╛: рдкрде рдкрд░ рд╕рднреА рдмрд┐рдВрджреБ рдкрд╣рдЪрд╛рди рд╕реЗ рдкрд░реНрдпрд╛рдкреНрдд рджреВрд░ рд╣реИрдВ
  3. рд▓рдХреНрд╖реНрдп рдкреНрд░рд╛рдкреНрддрд┐: рдЕрдВрдд рдореЗрдВ рдЕрдкреЗрдХреНрд╖рд┐рдд рд▓рдХреНрд╖реНрдп рддрддреНрд╡ рддрдХ рдкрд╣реБрдВрдЪрддрд╛ рд╣реИ

рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп

Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЕрдиреБрд╕рдВрдзрд╛рди

  • Golan-Sapir (2018): рд╢рд╛рд╕реНрддреНрд░реАрдп Thompson рд╕рдореВрд╣ F, T, V рдХреЗ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛
  • рд╣рд╛рд▓ рдХреЗ рд╡рд┐рд╕реНрддрд╛рд░: рдХреБрдЫ рдЕрдиреБрд╕рдВрдзрд╛рди рдореВрд▓ рддрд░реНрдХ рдХреЛ рдЕрдиреНрдп рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддреЗ рд╣реИрдВ

рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╕рд┐рджреНрдзрд╛рдВрдд

  • Gromov: рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЕрд╡рдзрд╛рд░рдгрд╛ рдХреЛ рдкрд╣рд▓реЗ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛
  • Gersten: рднреВрдЧрдгрд┐рддреАрдп рдореАрдЯреНрд░рд┐рдХ рд╕реНрдкреЗрд╕ рдХреЗ рдЕрд░реНрдз-рд╕рдорд░реВрдкрддрд╛ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдХреЗ рд░реВрдк рдореЗрдВ рдФрдкрдЪрд╛рд░рд┐рдХ рдкрд░рд┐рднрд╛рд╖рд╛ рджреА
  • Dru┼гu-Mozes-Sapir: рд╡рд┐рдЪрд▓рди рдлрд▓рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБрдУрдВ рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛

рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣

  • Brin (2004): рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛
  • рд╕рдорд░реВрдкрддрд╛ рдкрд░рд┐рдгрд╛рдо: nV тЙЕ mV рдпрджрд┐ рдФрд░ рдХреЗрд╡рд▓ рдпрджрд┐ n = m

рдирд┐рд╖реНрдХрд░реНрд╖ рдФрд░ рдЪрд░реНрдЪрд╛

рдореБрдЦреНрдп рдирд┐рд╖реНрдХрд░реНрд╖

  1. рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВ
  2. рд╕реНрдерд▓реАрдп рдкрд░рд┐рдгрд╛рдо: nV рдХреЗ рд╕рднреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдореЗрдВ рдХреЛрдИ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБ рдирд╣реАрдВ рд╣реИрдВ
  3. рд╡рд┐рдзрд┐ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХрддрд╛: рдкреНрд░рдорд╛рдг рддрдХрдиреАрдХ рдХреЛ рдХрд┐рд╕реА рднреА рдЖрдпрд╛рдо n рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ

рд╕реАрдорд╛рдПрдВ

  1. рддрдХрдиреАрдХреА рдЬрдЯрд┐рд▓рддрд╛: рдкреНрд░рдорд╛рдг рдореБрдЦреНрдп рд░реВрдк рд╕реЗ n=2 рдХреЗ рдорд╛рдорд▓реЗ рдХреЗ рд▓рд┐рдП рд╣реИ, рд╣рд╛рд▓рд╛рдВрдХрд┐ рд▓реЗрдЦрдХ рджрд╛рд╡рд╛ рдХрд░рддреЗ рд╣реИрдВ рдХрд┐ рдпрд╣ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╣реЛ рд╕рдХрддрд╛ рд╣реИ рд▓реЗрдХрд┐рди рд╡рд┐рд╡рд░рдг рдкреВрд░реА рддрд░рд╣ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдирд╣реАрдВ рд╣реИрдВ
  2. рд╕реНрдерд┐рд░рд╛рдВрдХ рдирд┐рд░реНрднрд░рддрд╛: рдирд┐рд░реНрдорд╛рдг рдореЗрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ (M, Q рдЖрджрд┐) рдХрд╛рдлреА рдмрдбрд╝реЗ рд╣реИрдВ, рдпреЗ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ
  3. рдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ рдЪрдпрди: рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ XтВВV рдХреЛ рд▓реЗрдЦрдХ рджреНрд╡рд╛рд░рд╛ "рдЕрдХреНрд╖рдо рд╡рд┐рд╢реЗрд╖ рд╕рдВрдЧреНрд░рд╣" рдХреЗ рд░реВрдк рдореЗрдВ рд╕реНрд╡реАрдХрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ

рднрд╡рд┐рд╖реНрдп рдХреА рджрд┐рд╢рд╛рдПрдВ

  1. рд╕реНрдерд┐рд░рд╛рдВрдХ рдЕрдиреБрдХреВрд▓рди: рдЫреЛрдЯреЗ рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤ рдФрд░ D рдЦреЛрдЬреЗрдВ
  2. рдЕрдиреНрдп рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣: рд╡рд┐рдзрд┐ рдХреЛ рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреЗ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░реЗрдВ
  3. рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛: рд╕рдВрдмрдВрдзрд┐рдд рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд░реЗрдВ

рдЧрд╣рди рдореВрд▓реНрдпрд╛рдВрдХрди

рд▓рд╛рдн

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреА рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ
  2. рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддрд╛ рд╣реИ
  3. рдкреВрд░реНрдг рдкреНрд░рдорд╛рдг: рд░рдЪрдирд╛рддреНрдордХ рдкреВрд░реНрдг рдкреНрд░рдорд╛рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  4. рдЧрд╣рд░реЗ рдкрд░рд┐рдгрд╛рдо: рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд, рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕реНрдерд▓рд╡рд┐рдЬреНрдЮрд╛рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ

рдХрдорд┐рдпрд╛рдВ

  1. рдЬрдЯрд┐рд▓ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐: рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг рдЕрдзрд┐рдХ рд╣реИрдВ, рдкрдардиреАрдпрддрд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ
  2. рдЕрдзреВрд░рд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: n > 2 рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рдкрд░реНрдпрд╛рдкреНрдд рд╡рд┐рд╕реНрддрд╛рд░ рдирд╣реАрдВ рд╣реИ
  3. рдмрдбрд╝реЗ рд╕реНрдерд┐рд░рд╛рдВрдХ: рдирд┐рд░реНрдорд╛рдг рдореЗрдВ рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдЧрдП рд╕реНрдерд┐рд░рд╛рдВрдХ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ

рдкреНрд░рднрд╛рд╡

  1. рд╢реИрдХреНрд╖рдгрд┐рдХ рдореВрд▓реНрдп: Thompson рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдпреЛрдЧрджрд╛рди
  2. рд╡рд┐рдзрд┐ рдореВрд▓реНрдп: рдкреНрд░рджрд╛рди рдХреА рдЧрдИ рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдВ рдЕрдиреНрдп рд╕рдореВрд╣ рд╡рд░реНрдЧреЛрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ
  3. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреВрд░реНрдгрддрд╛: рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдВрддрд░рд╛рд▓ рдХреЛ рднрд░рддрд╛ рд╣реИ

рд▓рд╛рдЧреВ рдкрд░рд┐рджреГрд╢реНрдп

рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЗ рд▓рд┐рдП рд▓рд╛рдЧреВ рд╣реИ:

  1. рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди
  2. Thompson рд╕рдореВрд╣реЛрдВ рдФрд░ рдЙрдирдХреЗ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
  3. рд╡рд┐рдЪрд▓рди рдлрд▓рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
  4. рдЕрдирдВрдд рд╕рдореВрд╣реЛрдВ рдХреА рдЕрд░реНрдз-рд╕рдорд░реВрдкрддрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рд╕рдорд╕реНрдпрд╛рдПрдВ

рд╕рдВрджрд░реНрдн

рдкреЗрдкрд░ 18 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬрд┐рдирдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  • Brin рдХрд╛ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХрд╛ рдореВрд▓ рдкреЗрдкрд░
  • Golan-Sapir рдХрд╛ рд╢рд╛рд╕реНрддреНрд░реАрдп Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдкрд░ рдХрд╛рд░реНрдп
  • Dru┼гu-Mozes-Sapir рдХрд╛ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдкрд░ рд╕рд┐рджреНрдзрд╛рдВрдд
  • рдЕрдиреНрдп рд╕рдВрдмрдВрдзрд┐рдд Thompson рд╕рдореВрд╣ рдФрд░ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЕрдиреБрд╕рдВрдзрд╛рди

рдпрд╣ рдкреЗрдкрд░ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреА рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдпреЛрдЧрджрд╛рди рджреЗрддрд╛ рд╣реИред рд╣рд╛рд▓рд╛рдВрдХрд┐ рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг рдЬрдЯрд┐рд▓ рд╣реИрдВ, рд▓реЗрдХрд┐рди рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдЧрд╣рд░рд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ рд╣реИред