Using the connection between hyperelliptic curves, Clifford algebras, and complete intersections $X$ of two quadrics, we describe Ulrich bundles on $X$ and construct some of minimal possible rank.
рдкреЗрдкрд░ ID : 2212.07227рд╢реАрд░реНрд╖рдХ : Hyperelliptic curves and Ulrich sheaves on the complete intersection of two quadricsрд▓реЗрдЦрдХ : David Eisenbud, Frank-Olaf Schreyerрд╡рд░реНрдЧреАрдХрд░рдг : math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп/рд╕рдореНрдореЗрд▓рди : ├Йpijournal de G├йom├йtrie Alg├йbrique, рдЕрдиреБрдЪреНрдЫреЗрдж рд╕рдВрдЦреНрдпрд╛ 21 (2025)рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2212.07227 рдпрд╣ рдкреЗрдкрд░ рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░, рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рдФрд░ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рддрд╛ рд╣реИ рдФрд░ рдиреНрдпреВрдирддрдо рд╕рдВрднрд╛рд╡рд┐рдд рд░реИрдВрдХ рд╡рд╛рд▓реА рдХреБрдЫ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИред
рдореБрдЦреНрдп рд╕рдорд╕реНрдпрд╛ : рдЪрд┐рдХрдиреЗ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдФрд░ рд╡рд░реНрдЧреАрдХрд░рдг рдХрд╛ рдЕрдзреНрдпрдпрдирд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ : рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╡рд╕реНрддреБрдПрдВ рд╣реИрдВ, рдЬреЛ рдЕрдзрд┐рдХрддрдо рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ рдореЙрдбреНрдпреВрд▓ рд╕реЗ рдШрдирд┐рд╖реНрда рд░реВрдк рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрдВ рдФрд░ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рддрдерд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рдЕрдВрддрд░рд╡рд┐рд╖рдп рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИрдВрд╡рд░реНрддрдорд╛рди рд╕реАрдорд╛рдПрдВ : рдпрджреНрдпрдкрд┐ рдиреЙрд░рд░ рдХреА рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп рдиреЗ рдЪрд┐рдХрдиреЗ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдкрд░ рдЕрд╡рд┐рдШрдЯрдиреАрдп рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЛ рд░реИрдВрдХ 2^{g-1} рдХреЗ рд╕рд╛рде рдЪрд┐рдиреНрд╣рд┐рдд рдХрд┐рдпрд╛ рд╣реИ, рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рд╕рдВрдмрдВрдзрд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрднреА рднреА рдЕрдзреВрд░рд╛ рд╣реИрдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛ : рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдФрд░ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдХреЗ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдирдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдФрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рдирд╛рд╢реНрд░реЗрдгреА рддреБрд▓реНрдпрддрд╛ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ : рддреАрди рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХреЗ рдмреАрдЪ рдкрддреНрд░рд╛рдЪрд╛рд░ рдХрд╛ рдирд┐рд░реНрдорд╛рдг:рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ рд╕реБрд╕рдВрдЧрдд рд╢реАрд╡реНрд╕ рдХреА рд╢реНрд░реЗрдгреА рд╢реНрд░реЗрдгреАрдмрджреНрдз рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд C-рдореЙрдбреНрдпреВрд▓ рд╢реНрд░реЗрдгреА рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X рдкрд░ рд╕реБрд╕рдВрдЧрдд рд╢реАрд╡реНрд╕ рдХреА рд╢реНрд░реЗрдгреА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд░реИрдВрдХ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХреА : рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ X рдкрд░ рдкреНрд░рддреНрдпреЗрдХ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рдХреА рд░реИрдВрдХ r┬╖2^{g-2} рдХреЗ рд░реВрдк рдореЗрдВ рд╣реИ, рдЬрд╣рд╛рдВ rтЙе2 рдФрд░ rg рд╕рдо рд╣реИрдиреНрдпреВрдирддрдо рд░реИрдВрдХ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг : рдиреНрдпреВрдирддрдо рд╕рдВрднрд╛рд╡рд┐рдд рд░реИрдВрдХ 2^{g-1} рд╡рд╛рд▓реА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдФрд░ рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рджрд┐рдпрд╛рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рдореЗрдп рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛ : X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдФрд░ рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ рд░реЗрдиреЙрдб рдЧреБрдг рд╡рд╛рд▓реА рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╢реАрд╡реНрд╕ рдХреЗ рдмреАрдЪ рдПрдХ-рд╕реЗ-рдПрдХ рдкрддреНрд░рд╛рдЪрд╛рд░ рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛P^{2g+1} рдореЗрдВ рджреЛ рдЪрд┐рдХрдиреЗ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда QтВБтИйQтВВ рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рдирд╛ред рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡ E рд╡рд╣ рд╣реИ рдЬрд┐рд╕рдХреЗ рдорд░реЛрдбрд╝ рд╡реИрд╢реНрд╡рд┐рдХ рдЦрдВрдб рдХрд╛ рд╢реНрд░реЗрдгреАрдмрджреНрдз рдореЙрдбреНрдпреВрд▓ HтБ░_*(E) рдЕрдзрд┐рдХрддрдо рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ P_X-рдореЙрдбреНрдпреВрд▓ рд╣реИ, 0 рдбрд┐рдЧреНрд░реА рдореЗрдВ рдЙрддреНрдкрдиреНрди рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рд╡рд▓рдп рдкрд░ рд░реИрдЦрд┐рдХ рдореБрдХреНрдд рд╡рд┐рднреЗрджрди рд░рдЦрддрд╛ рд╣реИред
рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ L рдХреЗ рд▓рд┐рдП, рдЗрд╕рдХрд╛ рдкреБрд╢рдлреЙрд░рд╡рд░реНрдб HтБ░_*(L) ks,t рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рд╡рд▓рдп рдкрд░ рд╢реНрд░реЗрдгреАрдмрджреНрдз рдореБрдХреНрдд рдореЙрдбреНрдпреВрд▓ рд╣реИ, рдФрд░ рдорд╛рдирдЪрд┐рддреНрд░ ╧Ж: B тЖТ B(g+1) рдореМрдЬреВрдж рд╣реИ рдЬрд╣рд╛рдВ ╧Ж┬▓ = f┬╖Id_B, рдЬрд╣рд╛рдВ f рдбрд┐рдЧреНрд░реА 2g+2 рдХрд╛ рд╕рдЬрд╛рддреАрдп рдмрд╣реБрдкрдж рд╣реИред
рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рдмрд░реНрдирд╕реНрдЯреАрди-рдЧреЗрд▓'рдлреИрдВрдб-рдЧреЗрд▓'рдлреИрдВрдб рдкрддреНрд░рд╛рдЪрд╛рд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╢реНрд░реЗрдгреАрдмрджреНрдз P_X-рдореЙрдбреНрдпреВрд▓ рдФрд░ рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд C-рдореЙрдбреНрдпреВрд▓ рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ред рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо рд╣реИ:
P_X рдФрд░ C рдХреЛрдЬрд╝реБрд▓ рджреНрд╡реИрдд рд╢реНрд░реЗрдгреАрдмрджреНрдз рдмреАрдЬрдЧрдгрд┐рдд рдЬреЛрдбрд╝реА рдмрдирд╛рддреЗ рд╣реИрдВ Ext_(k,k) тЙЕ C рдФрд░ Ext_C(k,k) тЙЕ P_X рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ O_E-C^{ev} рджреНрд╡рд┐рдореЙрдбреНрдпреВрд▓ F_U рдореЙрдбреНрдпреВрд▓ рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХреЗ рдмреАрдЪ рддреБрд▓реНрдпрддрд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИ:
O_E-mod тЖРтЖТ mod-C^{ev}
L тЖж L тКЧ_{O_E} F_U
G тКЧ_{C^{ev}} F_U* тЖР G
рдЯреЗрдЯ рд╡рд┐рдШрдЯрди рдХрд╛ рдирдпрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ : рдЯреЗрдЯ рд╡рд┐рдШрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕реНрдерд┐рддрд┐ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛, рджреНрд╡рд┐рдЕрдирдВрдд рдкрд░рд┐рд╕рд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдЪрд┐рдиреНрд╣рд┐рдд рдХрд┐рдпрд╛рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рдХреА рдЬреНрдпрд╛рдорд┐рддреАрдп рдкреНрд░рд╛рдкреНрддрд┐ : рд╡рд┐рдХрд░реНрдгреАрдХрд░рдг рддрдХрдиреАрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рдЕрдореВрд░реНрдд рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рдХреЛ рдареЛрд╕ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ (рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░) рд╕реЗ рдЬреЛрдбрд╝рд╛рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рдХрд╛ рд╕рдВрдпреЛрдЬрди : рдиреЙрд░рд░ рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рдХреЛ рд░рдЪрдирд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рдХреЗ рдирдИ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛рдЪрд┐рдХрдиреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X тКВ P^{2g+1} рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ GтКЧF_U рдХреЗ рд░реВрдк рдХреА рд░реЗрдиреЙрдб рдЧреБрдг рд╡рд╛рд▓реА рд╢реАрд╡реНрд╕ рдХреЗ рдмреАрдЪ рдПрдХ-рд╕реЗ-рдПрдХ рдкрддреНрд░рд╛рдЪрд╛рд░ рдореМрдЬреВрдж рд╣реИред рд░реИрдВрдХ r рд╕рджрд┐рд╢ рдмрдВрдбрд▓ G рдХреЗ рдЕрдиреБрд░реВрдк рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд░реИрдВрдХ r┬╖2^{g-2} рд╣реИред
рдпрджрд┐ L, E рдкрд░ рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рд╣реИ, рддреЛ LтКЧF_U рдореЗрдВ рд░реЗрдиреЙрдб рдЧреБрдг рдирд╣реАрдВ рд╣реИ, рдЗрд╕рд▓рд┐рдП X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рдиреНрдпреВрдирддрдо рд╕рдВрднрд╛рд╡рд┐рдд рд░реИрдВрдХ 2^{g-1} рд╣реИ, рдФрд░ рдРрд╕реА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдореМрдЬреВрдж рд╣реИрдВред
рдпрджрд┐ r┬╖g тЙб 1 (mod 2), рддреЛ рд░реИрдВрдХ r┬╖2^{g-2} рдХреА рдХреЛрдИ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИред
P^{2g+2} рдореЗрдВ рдЪрд┐рдХрдиреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рд▓рд┐рдП, рд▓реЗрдЦрдХ рд░реИрдВрдХ 2^{g-1} рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдкреНрд░рддреНрдпрдХреНрд╖ рдирд┐рд░реНрдорд╛рдг рджреЗрддреЗ рд╣реИрдВ:
рдиреЙрд░рд░ рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди : рдкреБрдирд░рд╛рд╡рд░реНрддреА рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдореИрдЯреНрд░рд┐рдХреНрд╕ рдЬреЛрдбрд╝реА (╧Ж_n, ╧И_n) рдХрд╛ рдЙрдкрдпреЛрдЧрд╕рдорджреВрд░рд╕реНрде рдЙрдк-рд╕реНрдерд╛рди : рдкреНрд░рддрд┐рд╕рдордорд┐рдд рдореИрдЯреНрд░рд┐рдХреНрд╕ ╬Ы рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╕рдорджреВрд░рд╕реНрде рдЙрдк-рд╕реНрдерд╛рдирд╕рд╛рдорд╛рдиреНрдп рд╢рд░реНрдд : рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ ╬Ы рдХреА рд╕рд╛рдорд╛рдиреНрдп рдкрд╕рдВрдж рдХреЗ рд▓рд┐рдП, рдирд┐рд░реНрдорд╛рдг рдЖрд╡рд╢реНрдпрдХ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рджреЗрддрд╛ рд╣реИрд▓реЗрдЦрдХреЛрдВ рдиреЗ Macaulay2 рд╕реЙрдлреНрдЯрд╡реЗрдпрд░ рдкреИрдХреЗрдЬ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдЧрдгрдирд╛рддреНрдордХ рд╕рддреНрдпрд╛рдкрди рдХрд┐рдпрд╛:
рдЫреЛрдЯреЗ g рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП, рд╡рд┐рднрд┐рдиреНрди рд░реИрдВрдХ рдХреА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдареЛрд╕ рдмреЗрдЯреНрдЯреА рддрд╛рд▓рд┐рдХрд╛рдПрдВ рдФрд░ рд╕рд╣-рд╕рдорд░реВрдкрддрд╛ рддрд╛рд▓рд┐рдХрд╛рдПрдВ рдЧрдгрдирд╛ рдХреА рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднрд╡рд┐рд╖реНрдпрд╡рд╛рдгреА рдФрд░ рдЧрдгрдирд╛рддреНрдордХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╕рдВрдЧрддрд┐ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рд░реАрдб (1972) : рдкрд╣рд▓реА рдмрд╛рд░ рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдЬреИрдХреЛрдмрд┐рдпрди рдФрд░ рд╕рдорджреВрд░рд╕реНрде рдЙрдк-рд╕реНрдерд╛рди рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдмреАрдЪ рддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХреАрдиреЙрд░рд░ (1987) : рдПрдХрд▓ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдкрд░ рдЕрд╡рд┐рдШрдЯрдиреАрдп рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд░реИрдВрдХ 2^{g-1} рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛рдХрдкрд░рд╛рдиреЛрд╡ (1989) : рджреНрд╡рд┐рдШрд╛рдд рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рд╡рд┐рдХрд╛рд╕ рдХрд┐рдпрд╛рдХреБрдЬрд╝рдиреЗрддреНрд╕реЛрд╡ (2008) : рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рджреНрд╡рд┐рдШрд╛рдд рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХрд╛ рдЕрдзреНрдпрдпрдирдмреБрдЪрд╡реАрдЯреНрдЬ : рдХреЛрдЬрд╝реБрд▓ рджреНрд╡реИрдд рдФрд░ рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ рд╕рдиреНрдирд┐рдХрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдпреЛрдЧрджрд╛рдирджреЛ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдкреВрд░реНрдг рдЪрд┐рдиреНрд╣рд╛рдВрдХрди рдиреНрдпреВрдирддрдо рд░реИрдВрдХ 2^{g-1} рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХреА рдФрд░ рдЕрд╕реНрддрд┐рддреНрд╡ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рд╕рд╛рде рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдХреЗ рдмрд┐рдирд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд░реВрдк рд╕реЗ рдмрдВрдж рдХреНрд╖реЗрддреНрд░реЛрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддреА рд╣реИ рдЙрдЪреНрдЪ рд░реИрдВрдХ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЗ рд▓рд┐рдП, рдХреБрдЫ рдорд╛рдорд▓реЗ рдЕрднреА рднреА рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЕрдирд╕реБрд▓рдЭреЗ рд╣реИрдВ рдЧрдгрдирд╛рддреНрдордХ рд╕рддреНрдпрд╛рдкрди рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдЫреЛрдЯреЗ g рдорд╛рдиреЛрдВ рддрдХ рд╕реАрдорд┐рдд рд╣реИ рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕реНрдерд┐рддрд┐рдпреЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдореЙрдбреНрдпреВрд▓реА рд╕реНрдкреЗрд╕ рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рд╕рдорд╛рдХрд▓рдиреАрдп рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдХреА рдЦреЛрдЬ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ : рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐, рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдФрд░ рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЪрддреБрд░рд╛рдИ рд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ : рд╢рд╛рд╕реНрддреНрд░реАрдп рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЖрдзреБрдирд┐рдХ рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рддрд╛ рд╣реИрдкреВрд░реНрдгрддрд╛ : рдЕрд╕реНрддрд┐рддреНрд╡ рдкреНрд░рдорд╛рдг рдФрд░ рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рджреЛрдиреЛрдВ рд╣реИрдВ, рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рдЧрдгрдирд╛ рджреЛрдиреЛрдВ рдкрд░ рдЬреЛрд░ рджреЗрддрд╛ рд╣реИрдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ : рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЕрдореВрд░реНрдд рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ рдХреЗ рд▓рд┐рдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдмрд╛рдзрд╛ : рдЧрд╣рд░реА рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдкреГрд╖реНрдарднреВрдорд┐ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИрдЧрдгрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ : рдмрдбрд╝реЗ g рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП, рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднрд╡рд┐рд╖реНрдпрд╡рд╛рдгреА рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдирд╛ рдХрдард┐рди рд╣реИрд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдкреНрд░рддрд┐рдмрдВрдз : рд╡рд┐рдзрд┐ рдХреЛ рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рд╕реНрдерд┐рддрд┐рдпреЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рдиреЗ рдореЗрдВ рддрдХрдиреАрдХреА рдмрд╛рдзрд╛рдПрдВ рд╣реИрдВрд╢реИрдХреНрд╖рдгрд┐рдХ рдореВрд▓реНрдп : рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рдирдП рджреГрд╖реНрдЯрд┐рдХреЛрдг рдФрд░ рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рдВрднрд╛рд╡рдирд╛рдПрдВ : рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдХреЗ рдЕрдВрддрд░рд╡рд┐рд╖рдп рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рд╣реИрдкрджреНрдзрддрд┐ рдпреЛрдЧрджрд╛рди : рд╡рд┐рднрд┐рдиреНрди рдЧрдгрд┐рддреАрдп рд╢рд╛рдЦрд╛рдУрдВ рдХреЛ рдЬрдЯрд┐рд▓ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкреНрд░рднрд╛рд╡реА рд░реВрдк рд╕реЗ рдХреИрд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдП рдпрд╣ рджрд░реНрд╢рд╛рддрд╛ рд╣реИрдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдореЗрдВ рдЕрдзрд┐рдХрддрдо рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ рдореЙрдбреНрдпреВрд▓ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкреЗрдкрд░ рдореЗрдВ рд╕рдореГрджреНрдз рд╕рдВрджрд░реНрдн рд╕рд╛рд╣рд┐рддреНрдп рд╣реИ, рдЬреЛ рд╢рд╛рд╕реНрддреНрд░реАрдп рд░реАрдб, рдиреЙрд░рд░ рдХрд╛рд░реНрдп рд╕реЗ рд▓реЗрдХрд░ рдЖрдзреБрдирд┐рдХ рдХреБрдЬрд╝рдиреЗрддреНрд╕реЛрд╡, рдмреБрдЪрд╡реАрдЯреНрдЬ рдЖрджрд┐ рдХреЗ рдпреЛрдЧрджрд╛рди рддрдХ рд╡рд┐рд╕реНрддреГрдд рд╣реИ, рдЬреЛ рдЗрд╕ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреНрд╖реЗрддреНрд░ рдХреА рдЧрд╣рд░реА рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╕рдВрдЪрдп рдФрд░ рдЖрдзреБрдирд┐рдХ рд╡рд┐рдХрд╛рд╕ рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред