2025-11-10T02:36:08.396678

Hyperelliptic curves and Ulrich sheaves on the complete intersection of two quadrics

Eisenbud, Schreyer
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.
academic

рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдФрд░ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдХрд╛ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕

рдореВрд▓ рдЬрд╛рдирдХрд╛рд░реА

  • рдкреЗрдкрд░ 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 рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рд╡рд░реНрдгрди рдХрд░рддрд╛ рд╣реИ рдФрд░ рдиреНрдпреВрдирддрдо рд╕рдВрднрд╛рд╡рд┐рдд рд░реИрдВрдХ рд╡рд╛рд▓реА рдХреБрдЫ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИред

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

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

  1. рдореБрдЦреНрдп рд╕рдорд╕реНрдпрд╛: рдЪрд┐рдХрдиреЗ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдФрд░ рд╡рд░реНрдЧреАрдХрд░рдг рдХрд╛ рдЕрдзреНрдпрдпрди
  2. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡: рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╡рд╕реНрддреБрдПрдВ рд╣реИрдВ, рдЬреЛ рдЕрдзрд┐рдХрддрдо рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ рдореЙрдбреНрдпреВрд▓ рд╕реЗ рдШрдирд┐рд╖реНрда рд░реВрдк рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрдВ рдФрд░ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рддрдерд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рдЕрдВрддрд░рд╡рд┐рд╖рдп рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИрдВ
  3. рд╡рд░реНрддрдорд╛рди рд╕реАрдорд╛рдПрдВ: рдпрджреНрдпрдкрд┐ рдиреЙрд░рд░ рдХреА рдЖрд╡рдзрд┐рдХрддрд╛ рдкреНрд░рдореЗрдп рдиреЗ рдЪрд┐рдХрдиреЗ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдкрд░ рдЕрд╡рд┐рдШрдЯрдиреАрдп рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЛ рд░реИрдВрдХ 2^{g-1} рдХреЗ рд╕рд╛рде рдЪрд┐рдиреНрд╣рд┐рдд рдХрд┐рдпрд╛ рд╣реИ, рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рдорд╛рдорд▓реЗ рдореЗрдВ рд╕рдВрдмрдВрдзрд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрднреА рднреА рдЕрдзреВрд░рд╛ рд╣реИ
  4. рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛: рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдФрд░ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдХреЗ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдирдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдФрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рдирд╛

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

  1. рд╢реНрд░реЗрдгреА рддреБрд▓реНрдпрддрд╛ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛: рддреАрди рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХреЗ рдмреАрдЪ рдкрддреНрд░рд╛рдЪрд╛рд░ рдХрд╛ рдирд┐рд░реНрдорд╛рдг:
    • рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ рд╕реБрд╕рдВрдЧрдд рд╢реАрд╡реНрд╕ рдХреА рд╢реНрд░реЗрдгреА
    • рд╢реНрд░реЗрдгреАрдмрджреНрдз рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд C-рдореЙрдбреНрдпреВрд▓ рд╢реНрд░реЗрдгреА
    • рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X рдкрд░ рд╕реБрд╕рдВрдЧрдд рд╢реАрд╡реНрд╕ рдХреА рд╢реНрд░реЗрдгреА
  2. рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд░реИрдВрдХ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХреА: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ X рдкрд░ рдкреНрд░рддреНрдпреЗрдХ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рдХреА рд░реИрдВрдХ r┬╖2^{g-2} рдХреЗ рд░реВрдк рдореЗрдВ рд╣реИ, рдЬрд╣рд╛рдВ rтЙе2 рдФрд░ rg рд╕рдо рд╣реИ
  3. рдиреНрдпреВрдирддрдо рд░реИрдВрдХ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдирд┐рд░реНрдорд╛рдг: рдиреНрдпреВрдирддрдо рд╕рдВрднрд╛рд╡рд┐рдд рд░реИрдВрдХ 2^{g-1} рд╡рд╛рд▓реА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдФрд░ рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рджрд┐рдпрд╛
  4. рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рдореЗрдп рдкреНрд░рджрд╛рди рдХрд┐рдпрд╛: X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдФрд░ рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ рд░реЗрдиреЙрдб рдЧреБрдг рд╡рд╛рд▓реА рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╢реАрд╡реНрд╕ рдХреЗ рдмреАрдЪ рдПрдХ-рд╕реЗ-рдПрдХ рдкрддреНрд░рд╛рдЪрд╛рд░ рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛

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

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

P^{2g+1} рдореЗрдВ рджреЛ рдЪрд┐рдХрдиреЗ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда QтВБтИйQтВВ рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рдирд╛ред рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡ E рд╡рд╣ рд╣реИ рдЬрд┐рд╕рдХреЗ рдорд░реЛрдбрд╝ рд╡реИрд╢реНрд╡рд┐рдХ рдЦрдВрдб рдХрд╛ рд╢реНрд░реЗрдгреАрдмрджреНрдз рдореЙрдбреНрдпреВрд▓ HтБ░_*(E) рдЕрдзрд┐рдХрддрдо рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ P_X-рдореЙрдбреНрдпреВрд▓ рд╣реИ, 0 рдбрд┐рдЧреНрд░реА рдореЗрдВ рдЙрддреНрдкрдиреНрди рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рд╡рд▓рдп рдкрд░ рд░реИрдЦрд┐рдХ рдореБрдХреНрдд рд╡рд┐рднреЗрджрди рд░рдЦрддрд╛ рд╣реИред

рдореБрдЦреНрдп рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪрд╛

1. рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд

рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ L рдХреЗ рд▓рд┐рдП, рдЗрд╕рдХрд╛ рдкреБрд╢рдлреЙрд░рд╡рд░реНрдб HтБ░_*(L) ks,t рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рд╡рд▓рдп рдкрд░ рд╢реНрд░реЗрдгреАрдмрджреНрдз рдореБрдХреНрдд рдореЙрдбреНрдпреВрд▓ рд╣реИ, рдФрд░ рдорд╛рдирдЪрд┐рддреНрд░ ╧Ж: B тЖТ B(g+1) рдореМрдЬреВрдж рд╣реИ рдЬрд╣рд╛рдВ ╧Ж┬▓ = f┬╖Id_B, рдЬрд╣рд╛рдВ f рдбрд┐рдЧреНрд░реА 2g+2 рдХрд╛ рд╕рдЬрд╛рддреАрдп рдмрд╣реБрдкрдж рд╣реИред

2. BGG рдкрддреНрд░рд╛рдЪрд╛рд░

рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рдмрд░реНрдирд╕реНрдЯреАрди-рдЧреЗрд▓'рдлреИрдВрдб-рдЧреЗрд▓'рдлреИрдВрдб рдкрддреНрд░рд╛рдЪрд╛рд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╢реНрд░реЗрдгреАрдмрджреНрдз P_X-рдореЙрдбреНрдпреВрд▓ рдФрд░ рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд C-рдореЙрдбреНрдпреВрд▓ рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ред рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо рд╣реИ:

  • P_X рдФрд░ C рдХреЛрдЬрд╝реБрд▓ рджреНрд╡реИрдд рд╢реНрд░реЗрдгреАрдмрджреНрдз рдмреАрдЬрдЧрдгрд┐рдд рдЬреЛрдбрд╝реА рдмрдирд╛рддреЗ рд╣реИрдВ
  • Ext_(k,k) тЙЕ C рдФрд░ Ext_C(k,k) тЙЕ P_X

3. рдореЛрд░рд┐рддрд╛ рддреБрд▓реНрдпрддрд╛

рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ O_E-C^{ev} рджреНрд╡рд┐рдореЙрдбреНрдпреВрд▓ F_U рдореЙрдбреНрдпреВрд▓ рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдХреЗ рдмреАрдЪ рддреБрд▓реНрдпрддрд╛ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░рддрд╛ рд╣реИ:

O_E-mod тЖРтЖТ mod-C^{ev}
L тЖж L тКЧ_{O_E} F_U
G тКЧ_{C^{ev}} F_U* тЖР G

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

  1. рдЯреЗрдЯ рд╡рд┐рдШрдЯрди рдХрд╛ рдирдпрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рдЯреЗрдЯ рд╡рд┐рдШрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕реНрдерд┐рддрд┐ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛, рджреНрд╡рд┐рдЕрдирдВрдд рдкрд░рд┐рд╕рд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдЪрд┐рдиреНрд╣рд┐рдд рдХрд┐рдпрд╛
  2. рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рдХреА рдЬреНрдпрд╛рдорд┐рддреАрдп рдкреНрд░рд╛рдкреНрддрд┐: рд╡рд┐рдХрд░реНрдгреАрдХрд░рдг рддрдХрдиреАрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рдЕрдореВрд░реНрдд рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рдХреЛ рдареЛрд╕ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ (рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░) рд╕реЗ рдЬреЛрдбрд╝рд╛
  3. рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рдХрд╛ рд╕рдВрдпреЛрдЬрди: рдиреЙрд░рд░ рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рдХреЛ рд░рдЪрдирд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рдХреЗ рдирдИ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛

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

рдкреНрд░рдореЗрдп 1.1 (рдореБрдЦреНрдп рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рдореЗрдп)

рдЪрд┐рдХрдиреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди X тКВ P^{2g+1} рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ E рдкрд░ GтКЧF_U рдХреЗ рд░реВрдк рдХреА рд░реЗрдиреЙрдб рдЧреБрдг рд╡рд╛рд▓реА рд╢реАрд╡реНрд╕ рдХреЗ рдмреАрдЪ рдПрдХ-рд╕реЗ-рдПрдХ рдкрддреНрд░рд╛рдЪрд╛рд░ рдореМрдЬреВрдж рд╣реИред рд░реИрдВрдХ r рд╕рджрд┐рд╢ рдмрдВрдбрд▓ G рдХреЗ рдЕрдиреБрд░реВрдк рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд░реИрдВрдХ r┬╖2^{g-2} рд╣реИред

рдкреНрд░рдореЗрдп 5.10 (рдЕрд╕реНрддрд┐рддреНрд╡ рдкреНрд░рдореЗрдп)

рдпрджрд┐ L, E рдкрд░ рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рд╣реИ, рддреЛ LтКЧF_U рдореЗрдВ рд░реЗрдиреЙрдб рдЧреБрдг рдирд╣реАрдВ рд╣реИ, рдЗрд╕рд▓рд┐рдП X рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рдиреНрдпреВрдирддрдо рд╕рдВрднрд╛рд╡рд┐рдд рд░реИрдВрдХ 2^{g-1} рд╣реИ, рдФрд░ рдРрд╕реА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдореМрдЬреВрдж рд╣реИрдВред

рдкреНрд░рд╕реНрддрд╛рд╡ 5.11 (рдЖрд╡рд╢реНрдпрдХ рд╢рд░реНрдд)

рдпрджрд┐ r┬╖g тЙб 1 (mod 2), рддреЛ рд░реИрдВрдХ r┬╖2^{g-2} рдХреА рдХреЛрдИ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИред

рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐

рдкреНрд░рддреНрдпрдХреНрд╖ рдирд┐рд░реНрдорд╛рдг (рдЦрдВрдб 6)

P^{2g+2} рдореЗрдВ рдЪрд┐рдХрдиреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рд▓рд┐рдП, рд▓реЗрдЦрдХ рд░реИрдВрдХ 2^{g-1} рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХрд╛ рдкреНрд░рддреНрдпрдХреНрд╖ рдирд┐рд░реНрдорд╛рдг рджреЗрддреЗ рд╣реИрдВ:

  1. рдиреЙрд░рд░ рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди: рдкреБрдирд░рд╛рд╡рд░реНрддреА рд░реВрдк рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдореИрдЯреНрд░рд┐рдХреНрд╕ рдЬреЛрдбрд╝реА (╧Ж_n, ╧И_n) рдХрд╛ рдЙрдкрдпреЛрдЧ
  2. рд╕рдорджреВрд░рд╕реНрде рдЙрдк-рд╕реНрдерд╛рди: рдкреНрд░рддрд┐рд╕рдордорд┐рдд рдореИрдЯреНрд░рд┐рдХреНрд╕ ╬Ы рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╕рдорджреВрд░рд╕реНрде рдЙрдк-рд╕реНрдерд╛рди
  3. рд╕рд╛рдорд╛рдиреНрдп рд╢рд░реНрдд: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ ╬Ы рдХреА рд╕рд╛рдорд╛рдиреНрдп рдкрд╕рдВрдж рдХреЗ рд▓рд┐рдП, рдирд┐рд░реНрдорд╛рдг рдЖрд╡рд╢реНрдпрдХ рдЙрд▓рд░рд┐рдЪ рдореЙрдбреНрдпреВрд▓ рджреЗрддрд╛ рд╣реИ

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рд╕рддреНрдпрд╛рдкрди

рд▓реЗрдЦрдХреЛрдВ рдиреЗ Macaulay2 рд╕реЙрдлреНрдЯрд╡реЗрдпрд░ рдкреИрдХреЗрдЬ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдЧрдгрдирд╛рддреНрдордХ рд╕рддреНрдпрд╛рдкрди рдХрд┐рдпрд╛:

  • рдЫреЛрдЯреЗ g рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП, рд╡рд┐рднрд┐рдиреНрди рд░реИрдВрдХ рдХреА рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛
  • рдареЛрд╕ рдмреЗрдЯреНрдЯреА рддрд╛рд▓рд┐рдХрд╛рдПрдВ рдФрд░ рд╕рд╣-рд╕рдорд░реВрдкрддрд╛ рддрд╛рд▓рд┐рдХрд╛рдПрдВ рдЧрдгрдирд╛ рдХреА
  • рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рднрд╡рд┐рд╖реНрдпрд╡рд╛рдгреА рдФрд░ рдЧрдгрдирд╛рддреНрдордХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╕рдВрдЧрддрд┐ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛

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

рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рдкреГрд╖реНрдарднреВрдорд┐

  • рд░реАрдб (1972): рдкрд╣рд▓реА рдмрд╛рд░ рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдЬреИрдХреЛрдмрд┐рдпрди рдФрд░ рд╕рдорджреВрд░рд╕реНрде рдЙрдк-рд╕реНрдерд╛рди рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдмреАрдЪ рддреБрд▓реНрдпрддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХреА
  • рдиреЙрд░рд░ (1987): рдПрдХрд▓ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдкрд░ рдЕрд╡рд┐рдШрдЯрдиреАрдп рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд░реИрдВрдХ 2^{g-1} рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛
  • рдХрдкрд░рд╛рдиреЛрд╡ (1989): рджреНрд╡рд┐рдШрд╛рдд рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХреЗ рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рд╡рд┐рдХрд╛рд╕ рдХрд┐рдпрд╛

рдЖрдзреБрдирд┐рдХ рд╡рд┐рдХрд╛рд╕

  • рдХреБрдЬрд╝рдиреЗрддреНрд╕реЛрд╡ (2008): рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рджреГрд╖реНрдЯрд┐рдХреЛрдг рд╕реЗ рджреНрд╡рд┐рдШрд╛рдд рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХрд╛ рдЕрдзреНрдпрдпрди
  • рдмреБрдЪрд╡реАрдЯреНрдЬ: рдХреЛрдЬрд╝реБрд▓ рджреНрд╡реИрдд рдФрд░ рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ рд╕рдиреНрдирд┐рдХрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдпреЛрдЧрджрд╛рди

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

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

  1. рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдЕрддрд┐рдкреГрд╖реНрда рдХреЗ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдкрд░ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдкреВрд░реНрдг рдЪрд┐рдиреНрд╣рд╛рдВрдХрди
  2. рдиреНрдпреВрдирддрдо рд░реИрдВрдХ 2^{g-1} рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХреА рдФрд░ рдЕрд╕реНрддрд┐рддреНрд╡ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛
  3. рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рд╕рд╛рде рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП

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

  1. рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдХреЗ рдмрд┐рдирд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд░реВрдк рд╕реЗ рдмрдВрдж рдХреНрд╖реЗрддреНрд░реЛрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддреА рд╣реИ
  2. рдЙрдЪреНрдЪ рд░реИрдВрдХ рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЗ рд▓рд┐рдП, рдХреБрдЫ рдорд╛рдорд▓реЗ рдЕрднреА рднреА рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЕрдирд╕реБрд▓рдЭреЗ рд╣реИрдВ
  3. рдЧрдгрдирд╛рддреНрдордХ рд╕рддреНрдпрд╛рдкрди рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдЫреЛрдЯреЗ g рдорд╛рдиреЛрдВ рддрдХ рд╕реАрдорд┐рдд рд╣реИ

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

  1. рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕реНрдерд┐рддрд┐рдпреЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░
  2. рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рдХреЗ рдореЙрдбреНрдпреВрд▓реА рд╕реНрдкреЗрд╕ рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдЕрдзреНрдпрдпрди
  3. рд╕рдорд╛рдХрд▓рдиреАрдп рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдХреА рдЦреЛрдЬ

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

рд▓рд╛рдн

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ: рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐, рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдФрд░ рдХреНрд▓рд┐рдлреЛрд░реНрдб рдмреАрдЬрдЧрдгрд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЪрддреБрд░рд╛рдИ рд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рддрд╛ рд╣реИ
  2. рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░: рд╢рд╛рд╕реНрддреНрд░реАрдп рдореИрдЯреНрд░рд┐рдХреНрд╕ рд╡рд┐рдШрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЖрдзреБрдирд┐рдХ рд╡реНрдпреБрддреНрдкрдиреНрди рд╢реНрд░реЗрдгреА рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рддрд╛ рд╣реИ
  3. рдкреВрд░реНрдгрддрд╛: рдЕрд╕реНрддрд┐рддреНрд╡ рдкреНрд░рдорд╛рдг рдФрд░ рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рджреЛрдиреЛрдВ рд╣реИрдВ, рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рдЧрдгрдирд╛ рджреЛрдиреЛрдВ рдкрд░ рдЬреЛрд░ рджреЗрддрд╛ рд╣реИ
  4. рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐: рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЕрдореВрд░реНрдд рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ рдХреЗ рд▓рд┐рдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрдЬреНрдЮрд╛рди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ

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

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

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

  1. рд╢реИрдХреНрд╖рдгрд┐рдХ рдореВрд▓реНрдп: рдЙрд▓рд░рд┐рдЪ рд╢реАрд╡реНрд╕ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рдирдП рджреГрд╖реНрдЯрд┐рдХреЛрдг рдФрд░ рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  2. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рдВрднрд╛рд╡рдирд╛рдПрдВ: рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдХреЗ рдЕрдВрддрд░рд╡рд┐рд╖рдп рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рд╣реИ
  3. рдкрджреНрдзрддрд┐ рдпреЛрдЧрджрд╛рди: рд╡рд┐рднрд┐рдиреНрди рдЧрдгрд┐рддреАрдп рд╢рд╛рдЦрд╛рдУрдВ рдХреЛ рдЬрдЯрд┐рд▓ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкреНрд░рднрд╛рд╡реА рд░реВрдк рд╕реЗ рдХреИрд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рдП рдпрд╣ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ

рдкреНрд░рдпреЛрдЬреНрдп рдкрд░рд┐рджреГрд╢реНрдп

  1. рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
  2. рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд рдореЗрдВ рдЕрдзрд┐рдХрддрдо рдХреЛрд╣реЗрди-рдореИрдХреЙрд▓реЗ рдореЙрдбреНрдпреВрд▓ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг
  3. рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдиреБрдкреНрд░рдпреЛрдЧ

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

рдкреЗрдкрд░ рдореЗрдВ рд╕рдореГрджреНрдз рд╕рдВрджрд░реНрдн рд╕рд╛рд╣рд┐рддреНрдп рд╣реИ, рдЬреЛ рд╢рд╛рд╕реНрддреНрд░реАрдп рд░реАрдб, рдиреЙрд░рд░ рдХрд╛рд░реНрдп рд╕реЗ рд▓реЗрдХрд░ рдЖрдзреБрдирд┐рдХ рдХреБрдЬрд╝рдиреЗрддреНрд╕реЛрд╡, рдмреБрдЪрд╡реАрдЯреНрдЬ рдЖрджрд┐ рдХреЗ рдпреЛрдЧрджрд╛рди рддрдХ рд╡рд┐рд╕реНрддреГрдд рд╣реИ, рдЬреЛ рдЗрд╕ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреНрд╖реЗрддреНрд░ рдХреА рдЧрд╣рд░реА рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╕рдВрдЪрдп рдФрд░ рдЖрдзреБрдирд┐рдХ рд╡рд┐рдХрд╛рд╕ рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред