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.
рдкреЗрдкрд░ 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 рдХреЗ рджрд╢рдХ рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ рдФрд░ рдпреЗ рдкрд░рд┐рдорд┐рдд рдкреНрд░рд╕реНрддреБрддрд┐ рд╡рд╛рд▓реЗ рдЕрдирдВрдд рд╕рдореВрд╣ рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЗрдВ рд░рд╣рд╕реНрдпрдордп рд╕рдореВрд╣реЛрдВ рдХрд╛ рд╡рд░реНрдЧ рдорд╛рдирд╛ рдЬрд╛рддрд╛ рд╣реИред рдЗрди рд╕рдореВрд╣реЛрдВ рдХреЗ рдХрдИ рдЕрдкреНрд░рддреНрдпрд╛рд╢рд┐рдд рдЧреБрдг рд╣реИрдВ:
T рдФрд░ V рдкрд░рд┐рдорд┐рдд рдкреНрд░рд╕реНрддреБрддрд┐ рд╡рд╛рд▓реЗ, рдЕрдирдВрдд рдФрд░ рд╕рд░рд▓ рд╕рдореВрд╣реЛрдВ рдХреЗ рдкрд╣рд▓реЗ рдЙрджрд╛рд╣рд░рдг рд╣реИрдВ F рдХреА рд╕реБрдЧрдореНрдпрддрд╛ (amenability) рдПрдХ рдХрдард┐рди рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛ рд╣реИ рдЗрди рд╡рд┐рд╢реЗрд╖ рдЧреБрдгреЛрдВ рдХреЗ рдХрд╛рд░рдг, рдХрдИ "рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд" Thompson рд╕рдореВрд╣ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдП рдЧрдП рд╣реИрдВ, рдЬрд┐рдирдореЗрдВ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рд╢рд╛рдорд┐рд▓ рд╣реИрдВ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХрд╛ рдорд╣рддреНрд╡ : рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреЛ рдкрд╣рд▓реЗ Gromov рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ рдФрд░ Gersten рджреНрд╡рд╛рд░рд╛ рдФрдкрдЪрд╛рд░рд┐рдХ рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛, рдЬреЛ рднреВрдЧрдгрд┐рддреАрдп рдореАрдЯреНрд░рд┐рдХ рд╕реНрдкреЗрд╕ рдХрд╛ рдПрдХ рдЕрд░реНрдз-рд╕рдорд░реВрдкрддрд╛ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╣реИред рдЗрд╕рдХрд╛ рдХреНрд░рдо рдпрд╣ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ рдХреНрдпрд╛ рд╕рдореВрд╣ рдХрд╛ Cayley рдЧреНрд░рд╛рдл рдпреВрдХреНрд▓рд┐рдбреАрдп рдпрд╛ рдЕрддрд┐рдкрд░рд╡рд▓рдпрд┐рдХ рд╕реНрдкреЗрд╕ рдХреЗ "рдХрд░реАрдм" рд╣реИрдкреВрд░реНрд╡ рдкрд░рд┐рдгрд╛рдо : 2018 рдореЗрдВ Golan рдФрд░ Sapir рдиреЗ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ F, T, V рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВ, рдФрд░ рдкреВрдЫрд╛ рдХрд┐ рдХреНрдпрд╛ рдЙрдирдХрд╛ рдкреНрд░рдорд╛рдг рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ : рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдХреЗ рд╕реНрдерд▓реАрдп рдЧреБрдгреЛрдВ рд╕реЗ рдирд┐рдХрдЯрддрд╛ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБрдУрдВ рдХреА рдЙрдкрд╕реНрдерд┐рддрд┐ рд╕реЗрд╣рд╛рд▓рд╛рдВрдХрд┐ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХреБрдЫ рд╕рдорд╛рди рдкрд░рд┐рдгрд╛рдо рд╣реИрдВ, рд▓реЗрдХрд┐рди рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЧреБрдгреЛрдВ рдХреЗ рд▓рд┐рдП рдЕрднреА рддрдХ рдкреВрд░реНрдг рдкреНрд░рдорд╛рдг рдирд╣реАрдВ рдорд┐рд▓рд╛ рд╣реИред
рдореБрдЦреНрдп рдкреНрд░рдореЗрдп : рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВрд╕реНрдерд▓реАрдп рдкрд░рд┐рдгрд╛рдо : Dru┼гu, Mozes рдФрд░ Sapir рдХреЗ рдХрд╛рд░реНрдп рд╕реЗ, рдЗрд╕рдХрд╛ рдЕрд░реНрде рд╣реИ рдХрд┐ nV рдХреЗ рд╕рднреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдореЗрдВ рдХреЛрдИ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБ рдирд╣реАрдВ рд╣реИрдВрд╡рд┐рдзрд┐ рд╡рд┐рд╕реНрддрд╛рд░ : Golan рдФрд░ Sapir рдХреЗ рдореВрд▓ рддрд░реНрдХ рдХреЛ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рддрдХ рд╕рдлрд▓рддрд╛рдкреВрд░реНрд╡рдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡рд┐рдХрд╕рд┐рдд рдХреАрдВрдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рд▓рд┐рдП рд╕рд┐рджреНрдз рдХрд░рдирд╛ рдХрд┐ рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤ тИИ (0,1) рдореМрдЬреВрдж рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ ╬┤-рд╡рд┐рдЪрд▓рди рдлрд▓рди ╧Х╬┤(x) рд░реИрдЦрд┐рдХ рдлрд▓рди рдХреЗ рд╕рдорддреБрд▓реНрдп рд╡рд░реНрдЧ рдореЗрдВ рд╣реИред
рдкреНрд░рдореЗрдп 1.1 : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВред
рдкреИрдЯрд░реНрди (Patterns) : рдЗрдХрд╛рдИ рд╡рд░реНрдЧ 0,1 ┬▓ рдХреЗ рдЙрдк-рд╡рд┐рднрд╛рдЬрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ C┬▓ рдХреЗ рд╡рд┐рднрд╛рдЬрди рдХрд╛ рд╡рд░реНрдгрдирд░рдВрдЧреАрди рдмрд╛рдЗрдирд░реА рдкреЗрдбрд╝ : рдкреНрд░рддреНрдпреЗрдХ рдХреИрд░реЗрдЯ рдХреЛ рд░рдВрдЧ {a,b} рд╕реЗ рд░рдВрдЧрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬреЛ рдКрд░реНрдзреНрд╡рд╛рдзрд░ рдФрд░ рдХреНрд╖реИрддрд┐рдЬ рдЙрдк-рд╡рд┐рднрд╛рдЬрди рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИрдЧреНрд░рд┐рдб рдЖрд░реЗрдЦ (Grid Diagrams) : nV рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдХрд╛ рдЕрджреНрд╡рд┐рддреАрдп рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВрдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ 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 : рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤, 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 : рдирд┐рдЪрд▓реЗ рдмрд╛рдПрдВ рдЖрдпрдд RтВА(PтВЛ(g)) рдХреЛ рд╕рдорд╛рдпреЛрдЬрд┐рдд рдХрд░реЗрдВ рддрд╛рдХрд┐ рдпрд╣ 0,1/4 ├Ч0,1 рдХрд╛ рдЙрдк-рд╕рдореБрдЪреНрдЪрдп рдмрди рдЬрд╛рдП
рдЙрдк-рдкрде 2 : P╬аQтБ╗┬╣ рд░реВрдк рдХреА рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдирд┐рд░реНрдорд╛рдг, рдкреИрд░рд╛рдореАрдЯрд░ M тЙе 100 рдХрд╛ рдкрд░рд┐рдЪрдп
рдЙрдк-рдкрде 3 : рдиреНрдпреВрдирддрдо рд╢рдмреНрдж ╧ЙтВГ = gтВБтБ╗┬╣ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕реНрдерд┐рддрд┐ рдореЗрдВ рд╡рд╛рдкрд╕ рд▓реМрдЯреЗрдВ
рдЙрдк-рдкрде 4 : gтВГ рдХреЗ рдкрд╣рдЪрд╛рди рдорд╛рдирдЪрд┐рддреНрд░ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдЙрдкрдпреБрдХреНрдд рдЬрдирд░реЗрдЯрд░ рдЕрдиреБрдХреНрд░рдо рдЪреБрдиреЗрдВ
рдЙрдк-рдкрде 5 : gтВГ рдХреЗ рдкреНрд░рднрд╛рд╡ рдХреЛ рд╕рдорд╛рдкреНрдд рдХрд░реЗрдВ
рдЙрдк-рдкрде 6 : рд▓рдХреНрд╖реНрдп рддрддреНрд╡ рд╕реЗ рдЬреБрдбрд╝реЗрдВ
рдЖрд╡рд╢реНрдпрдХ рдЖрдпрдд рдХрд╛ рд╕рдВрд░рдХреНрд╖рдг : рдкрде рдирд┐рд░реНрдорд╛рдг рдкреНрд░рдХреНрд░рд┐рдпрд╛ рдХреЗ рджреМрд░рд╛рди рдЖрдпрдд рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЛ рдмрдирд╛рдП рд░рдЦрдирд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░реЗрдВрд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рдЕрдиреБрдорд╛рди : рдЧреНрд░рд┐рдб рдЖрд░реЗрдЦ рдХреА рдкрд░рд┐рд╢реЛрдзрди рдбрд┐рдЧреНрд░реА рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╢рдмреНрдж рд▓рдВрдмрд╛рдИ рдХреА рдирд┐рдЪрд▓реА рд╕реАрдорд╛ рджреЗрдВрд╕рдорд░реНрдерди рдЕрд╕рдВрдмрджреНрдзрддрд╛ : рд╡рд┐рднрд┐рдиреНрди рдЙрдк-рдкрдереЛрдВ рдХреЗ рд╡рд┐рднрд┐рдиреНрди рдХреНрд╖реЗрддреНрд░реЛрдВ рдореЗрдВ рдХрд╛рд░реНрдп рдХрд░рдиреЗ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╡рд┐рдирд┐рдореЗрдпрддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░реЗрдВрдпрд╣ рдкреЗрдкрд░ рд╢реБрджреНрдз рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрдгрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдХреЛрдИ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИред рд╕рднреА рдкрд░рд┐рдгрд╛рдо рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП рдЧрдП рд╣реИрдВред
рд░рдЪрдирд╛рддреНрдордХ рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдХрд┐рд╕реА рднреА g тИИ 2V рдФрд░ |g| тЙе 4 рдХреЗ рд▓рд┐рдП, рдореМрдЬреВрдж рд╣реИрдВ:
рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤ = 1/64, D = 10Q, Q тЙе 48M, M тЙе 100 рдкрде рд▓рдВрдмрд╛рдИ тАЦ╧ЙтАЦ < D|g| рдХрд┐рд╕реА рднреА рдЙрдкрд╕рд░реНрдЧ ╧Й' рдХреЗ рд▓рд┐рдП, |g╧Й'| > ╬┤|g| рдкреНрд░рддреНрдпреЗрдХ рдЙрдк-рдкрде рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ:
рд▓рдВрдмрд╛рдИ рдирд┐рдпрдВрддреНрд░рдг : тАЦ╧Йс╡втАЦ рдХреА рд╕реНрдкрд╖реНрдЯ рдКрдкрд░реА рд╕реАрдорд╛ рд╣реИрджреВрд░реА рдирд┐рдЪрд▓реА рд╕реАрдорд╛ : рдкрде рдкрд░ рд╕рднреА рдмрд┐рдВрджреБ рдкрд╣рдЪрд╛рди рд╕реЗ рдкрд░реНрдпрд╛рдкреНрдд рджреВрд░ рд╣реИрдВрд▓рдХреНрд╖реНрдп рдкреНрд░рд╛рдкреНрддрд┐ : рдЕрдВрдд рдореЗрдВ рдЕрдкреЗрдХреНрд╖рд┐рдд рд▓рдХреНрд╖реНрдп рддрддреНрд╡ рддрдХ рдкрд╣реБрдВрдЪрддрд╛ рд╣реИGolan-Sapir (2018) : рд╢рд╛рд╕реНрддреНрд░реАрдп Thompson рд╕рдореВрд╣ F, T, V рдХреЗ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛рд╣рд╛рд▓ рдХреЗ рд╡рд┐рд╕реНрддрд╛рд░ : рдХреБрдЫ рдЕрдиреБрд╕рдВрдзрд╛рди рдореВрд▓ рддрд░реНрдХ рдХреЛ рдЕрдиреНрдп рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддреЗ рд╣реИрдВGromov : рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЕрд╡рдзрд╛рд░рдгрд╛ рдХреЛ рдкрд╣рд▓реЗ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛Gersten : рднреВрдЧрдгрд┐рддреАрдп рдореАрдЯреНрд░рд┐рдХ рд╕реНрдкреЗрд╕ рдХреЗ рдЕрд░реНрдз-рд╕рдорд░реВрдкрддрд╛ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдХреЗ рд░реВрдк рдореЗрдВ рдФрдкрдЪрд╛рд░рд┐рдХ рдкрд░рд┐рднрд╛рд╖рд╛ рджреАDru┼гu-Mozes-Sapir : рд╡рд┐рдЪрд▓рди рдлрд▓рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБрдУрдВ рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛Brin (2004) : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛рд╕рдорд░реВрдкрддрд╛ рдкрд░рд┐рдгрд╛рдо : nV тЙЕ mV рдпрджрд┐ рдФрд░ рдХреЗрд╡рд▓ рдпрджрд┐ n = mрд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ nV рдХреЗ рдкрд╛рд╕ рд░реИрдЦрд┐рдХ рд╡рд┐рдЪрд▓рди рдлрд▓рди рд╣реИрдВрд╕реНрдерд▓реАрдп рдкрд░рд┐рдгрд╛рдо : nV рдХреЗ рд╕рднреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдореЗрдВ рдХреЛрдИ рд╡рд┐рдЪреНрдЫреЗрдж рдмрд┐рдВрджреБ рдирд╣реАрдВ рд╣реИрдВрд╡рд┐рдзрд┐ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХрддрд╛ : рдкреНрд░рдорд╛рдг рддрдХрдиреАрдХ рдХреЛ рдХрд┐рд╕реА рднреА рдЖрдпрд╛рдо n рддрдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИрддрдХрдиреАрдХреА рдЬрдЯрд┐рд▓рддрд╛ : рдкреНрд░рдорд╛рдг рдореБрдЦреНрдп рд░реВрдк рд╕реЗ n=2 рдХреЗ рдорд╛рдорд▓реЗ рдХреЗ рд▓рд┐рдП рд╣реИ, рд╣рд╛рд▓рд╛рдВрдХрд┐ рд▓реЗрдЦрдХ рджрд╛рд╡рд╛ рдХрд░рддреЗ рд╣реИрдВ рдХрд┐ рдпрд╣ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╣реЛ рд╕рдХрддрд╛ рд╣реИ рд▓реЗрдХрд┐рди рд╡рд┐рд╡рд░рдг рдкреВрд░реА рддрд░рд╣ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдирд╣реАрдВ рд╣реИрдВрд╕реНрдерд┐рд░рд╛рдВрдХ рдирд┐рд░реНрднрд░рддрд╛ : рдирд┐рд░реНрдорд╛рдг рдореЗрдВ рд╕реНрдерд┐рд░рд╛рдВрдХ (M, Q рдЖрджрд┐) рдХрд╛рдлреА рдмрдбрд╝реЗ рд╣реИрдВ, рдпреЗ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВрдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ рдЪрдпрди : рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЬрдирд░реЗрдЯрд┐рдВрдЧ рд╕реЗрдЯ XтВВV рдХреЛ рд▓реЗрдЦрдХ рджреНрд╡рд╛рд░рд╛ "рдЕрдХреНрд╖рдо рд╡рд┐рд╢реЗрд╖ рд╕рдВрдЧреНрд░рд╣" рдХреЗ рд░реВрдк рдореЗрдВ рд╕реНрд╡реАрдХрд╛рд░ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИрд╕реНрдерд┐рд░рд╛рдВрдХ рдЕрдиреБрдХреВрд▓рди : рдЫреЛрдЯреЗ рд╕реНрдерд┐рд░рд╛рдВрдХ ╬┤ рдФрд░ D рдЦреЛрдЬреЗрдВрдЕрдиреНрдп рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣ : рд╡рд┐рдзрд┐ рдХреЛ рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреЗ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд Thompson рд╕рдореВрд╣реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░реЗрдВрдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛ : рд╕рдВрдмрдВрдзрд┐рдд рдПрд▓реНрдЧреЛрд░рд┐рдердо рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреА рдЬрдЯрд┐рд▓рддрд╛ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд░реЗрдВрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреА рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдВ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддрд╛ рд╣реИрдкреВрд░реНрдг рдкреНрд░рдорд╛рдг : рд░рдЪрдирд╛рддреНрдордХ рдкреВрд░реНрдг рдкреНрд░рдорд╛рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЧрд╣рд░реЗ рдкрд░рд┐рдгрд╛рдо : рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд, рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕реНрдерд▓рд╡рд┐рдЬреНрдЮрд╛рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛ рдЬреЛрдбрд╝рддрд╛ рд╣реИрдЬрдЯрд┐рд▓ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ : рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг рдЕрдзрд┐рдХ рд╣реИрдВ, рдкрдардиреАрдпрддрд╛ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИрдЕрдзреВрд░рд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг : n > 2 рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рдкрд░реНрдпрд╛рдкреНрдд рд╡рд┐рд╕реНрддрд╛рд░ рдирд╣реАрдВ рд╣реИрдмрдбрд╝реЗ рд╕реНрдерд┐рд░рд╛рдВрдХ : рдирд┐рд░реНрдорд╛рдг рдореЗрдВ рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдЧрдП рд╕реНрдерд┐рд░рд╛рдВрдХ рдЗрд╖реНрдЯрддрдо рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВрд╢реИрдХреНрд╖рдгрд┐рдХ рдореВрд▓реНрдп : Thompson рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдпреЛрдЧрджрд╛рдирд╡рд┐рдзрд┐ рдореВрд▓реНрдп : рдкреНрд░рджрд╛рди рдХреА рдЧрдИ рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдВ рдЕрдиреНрдп рд╕рдореВрд╣ рд╡рд░реНрдЧреЛрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИрдВрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреВрд░реНрдгрддрд╛ : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдВрддрд░рд╛рд▓ рдХреЛ рднрд░рддрд╛ рд╣реИрдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЗ рд▓рд┐рдП рд▓рд╛рдЧреВ рд╣реИ:
рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди Thompson рд╕рдореВрд╣реЛрдВ рдФрд░ рдЙрдирдХреЗ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рд╡рд┐рдЪрд▓рди рдлрд▓рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдЕрдирдВрдд рд╕рдореВрд╣реЛрдВ рдХреА рдЕрд░реНрдз-рд╕рдорд░реВрдкрддрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рд╕рдорд╕реНрдпрд╛рдПрдВ рдкреЗрдкрд░ 18 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬрд┐рдирдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:
Brin рдХрд╛ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХрд╛ рдореВрд▓ рдкреЗрдкрд░ Golan-Sapir рдХрд╛ рд╢рд╛рд╕реНрддреНрд░реАрдп Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдкрд░ рдХрд╛рд░реНрдп Dru┼гu-Mozes-Sapir рдХрд╛ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдФрд░ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╢рдВрдХреБ рдкрд░ рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреНрдп рд╕рдВрдмрдВрдзрд┐рдд Thompson рд╕рдореВрд╣ рдФрд░ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдЕрдиреБрд╕рдВрдзрд╛рди рдпрд╣ рдкреЗрдкрд░ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА Thompson рд╕рдореВрд╣реЛрдВ рдХреЗ рд╡рд┐рдЪрд▓рди рдлрд▓рди рдХреА рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдореВрд╣ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдпреЛрдЧрджрд╛рди рджреЗрддрд╛ рд╣реИред рд╣рд╛рд▓рд╛рдВрдХрд┐ рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдг рдЬрдЯрд┐рд▓ рд╣реИрдВ, рд▓реЗрдХрд┐рди рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдЧрд╣рд░рд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ рд╣реИред