2025-11-14T21:37:11.126794

Fibrations by plane projective rational quartic curves in characteristic two

Hilario, St├Г┬╢hr
We give a complete classification, up to birational equivalence, of all fibrations by plane projective rational quartic curves in characteristic two.
academic

рд╡рд┐рд╢реЗрд╖рддрд╛ рджреЛ рдореЗрдВ рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдкрд░рд┐рдореЗрдп рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░реЛрдВ рджреНрд╡рд╛рд░рд╛ рддрдВрддреБрдХрд░рдг

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

  • рдкреЗрдкрд░ ID: 2409.05464
  • рд╢реАрд░реНрд╖рдХ: Fibrations by plane projective rational quartic curves in characteristic two
  • рд▓реЗрдЦрдХ: Cesar Hilario, Karl-Otto St├╢hr
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: 10 рдЕрдХреНрдЯреВрдмрд░, 2025
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2409.05464

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

рдпрд╣ рдкреЗрдкрд░ рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдкрд░ рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдкрд░рд┐рдореЗрдп рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░реЛрдВ рдХреЗ рддрдВрддреБрдХрд░рдг рдХрд╛ рд╕рдВрдкреВрд░реНрдг рджреНрд╡рд┐рд╡рд░реНрдгреА рддреБрд▓реНрдпрддрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред

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

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

рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рддрдВрддреБрдХрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╢рд╛рдЦрд╛ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ, рдЬреЛ рд╡рд┐рд╢реЗрд╖рддрд╛ p > 0 рдореЗрдВ рдкрд░рд┐рдореЗрдп рд╡рдХреНрд░ рддрдВрддреБрдХрд░рдг рдХреЗ рдЕрдзреНрдпрдпрди рдкрд░ рдХреЗрдВрджреНрд░рд┐рдд рд╣реИред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ:

  1. рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕: рдШрд╛рдд d = 2 рдХрд╛ рдорд╛рдорд▓рд╛ рд╢рдВрдХреБ рдмрдВрдбрд▓реЛрдВ (conic bundles) рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдПрдХ рд▓рдВрдмрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдЗрддрд┐рд╣рд╛рд╕ рд╣реИ рдЬреЛ рдЗрддрд╛рд▓рд╡реА рд╕реНрдХреВрд▓ рдХреЗ рдХрд╛рд░реНрдп рддрдХ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рд╣рд╛рд▓ рд╣реА рдореЗрдВ рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╢реЗрд╖рддрд╛ рдореЗрдВ рдЧрд╣рди рдЕрдзреНрдпрдпрди рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред
  2. рд╡рд┐рд╢реЗрд╖рддрд╛ рд╕реАрдорд╛: рдЬрдм рддрдВрддреБ рдШрд╛рдд d > 2 рд╣реЛ, рддреЛ рдЗрд╕рдХрд╛ рдЕрдВрдХрдЧрдгрд┐рддреАрдп рд╡рдВрд╢ g = (d-1)(d-2)/2 рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рдВрд╢ с╕б = 0 рд╕реЗ рдЕрдзрд┐рдХ рд╣реИ, рдЗрд╕рд▓рд┐рдП рддрдВрддреБ рдореЗрдВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ рд╣реЛрдиреА рдЪрд╛рд╣рд┐рдПред рдмрд░реНрдЯрд┐рдиреА рдкреНрд░рдореЗрдп рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдпрд╣ рдХреЗрд╡рд▓ рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╢реЗрд╖рддрд╛ p > 0 рдореЗрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред
  3. рд╡рд┐рд╢реЗрд╖рддрд╛ рдмрд╛рдзрд╛: рдЯреЗрдЯ рдХреЗ рд╡рдВрд╢ рдкрд░рд┐рд╡рд░реНрддрди рд╕реВрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ p рдХреЛ m+1 рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдЬрд╣рд╛рдВ m рдкреВрд░реНрдгрд╛рдВрдХ 2(g-с╕б) = (d-1)(d-2) рдХрд╛ рдПрдХ рднрд╛рдЬрдХ рд╣реИред d = 4 рдХреЗ рд▓рд┐рдП, p тИИ {2,3,7}ред

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

  • p = 3 рдФрд░ p = 7 рдХреЗ рдорд╛рдорд▓реЛрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рдкрд╣рд▓реЗ рд╕реЗ Salom├гo рдФрд░ рджреВрд╕рд░реЗ рд▓реЗрдЦрдХ рджреНрд╡рд╛рд░рд╛ рдХрд┐рдпрд╛ рдЬрд╛ рдЪреБрдХрд╛ рд╣реИ
  • рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдХрд╛ рдорд╛рдорд▓рд╛ рдЕрджреНрд╡рд┐рддреАрдп рдЧреБрдг рд░рдЦрддрд╛ рд╣реИ: рдкреНрд░рддреНрдпреЗрдХ рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдкрд░рд┐рдореЗрдп рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рддрдВрддреБрдХрд░рдг рдПрдХ рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рддрдВрддреБрдХрд░рдг рдХрд╛ рдШрд╛рдд p рдЕрд╡рд┐рднрд╛рдЬреНрдп рдЖрд╡рд░рдг рд╣реИ
  • рдпрд╣ рд╡рд┐рд╢реЗрд╖рддрд╛ p = 2 рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреА рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рд╡рд┐рд╢реЗрд╖рддрд╛ рд╣реИ, рдЬреЛ p > 2 рдореЗрдВ рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИ

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

  1. рд╕рдВрдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг: рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдкрд░ рд╕рднреА рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдкрд░рд┐рдореЗрдп рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рддрдВрддреБрдХрд░рдг рдХрд╛ рд╕рдВрдкреВрд░реНрдг рджреНрд╡рд┐рд╡рд░реНрдгреА рддреБрд▓реНрдпрддрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  2. рдкрд╛рдБрдЪ рд╡рдХреНрд░ рд╡рд░реНрдЧ: рд╕рд╛рдорд╛рдиреНрдп рддрдВрддреБ C = T╬╖ рдХреЛ рдкрд╛рдБрдЪ рдЕрд╕рдВрдпреБрдХреНрдд рд╡рдХреНрд░ рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рддрд╛ рд╣реИ
  3. рдЖрдВрддрд░рд┐рдХ рдЧреБрдг рд╡рд┐рд╢реЗрд╖реАрдХрд░рдг: рддреАрди рдЖрдВрддрд░рд┐рдХ рдЧреБрдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд╛рдБрдЪ рд╡рдХреНрд░ рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХреЛ рдЕрд▓рдЧ рдХрд░рддрд╛ рд╣реИ
  4. рдЫрджреНрдо-рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд: рдирд┐рдпрдорд┐рдд рд╡рдХреНрд░реЛрдВ рдХреА рджреВрд╕рд░реА рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХреЛ рдкреНрд░рд╕реНрддреБрдд рдФрд░ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ
  5. рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрдВрддреБрдХрд░рдг: рдкрд╛рдБрдЪ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрдВрддреБрдХрд░рдг рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рдирд╕реЗ рдХреЛрдИ рднреА рдРрд╕рд╛ рддрдВрддреБрдХрд░рдг рдЖрдзрд╛рд░ рдкрд░рд┐рд╡рд░реНрддрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ

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

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

рдорд╛рди рд▓реАрдЬрд┐рдП C рд╡рд┐рд╢реЗрд╖рддрд╛ p = 2 рдХреЗ рдХреНрд╖реЗрддреНрд░ K рдкрд░ рдПрдХ рдирд┐рдпрдорд┐рдд рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЧреИрд░-рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рдЬреНрдпрд╛рдорд┐рддреАрдп рдкрд░рд┐рдореЗрдп рд╡рдХреНрд░ рд╣реИ, рдЕрдВрдХрдЧрдгрд┐рддреАрдп рд╡рдВрд╢ h┬╣(O_C) = 3ред рд▓рдХреНрд╖реНрдп C рдХреЛ K рдкрд░ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╕рдореАрдХрд░рдгреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рдХреЗ рд░реВрдк рдореЗрдВ рд╕рд╛рдХрд╛рд░ рдХрд░рдирд╛ рд╣реИред

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

рдкреНрд░рдореЗрдп 1.1: рдЙрдкрд░реЛрдХреНрдд рд╢рд░реНрддреЛрдВ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рд╡рдХреНрд░ C рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╕рдореАрдХрд░рдгреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рдХреЗ рд▓рд┐рдП рд╕рдорд░реВрдкреА рд╣реИ:

(i) yтБ┤ + azтБ┤ + xz┬│ + bx┬▓z┬▓ + cxтБ┤ = 0 рдЬрд╣рд╛рдБ a,b,c тИИ K, c тИЙ K┬▓

(ii) yтБ┤ + azтБ┤ + bx┬▓y┬▓ + cx┬▓z┬▓ + bx┬│z + dxтБ┤ = 0
рдЬрд╣рд╛рдБ a,b,c,d тИИ K, a тИЙ K┬▓, b тЙа 0

(iii) byтБ┤ + dzтБ┤ + y┬▓z┬▓ + xz┬│ + (b+b┬▓c┬│)x┬▓z┬▓ + ax┬▓y┬▓ + ax┬│z + (ab┬▓c┬│+a┬▓d)xтБ┤ = 0 рдЬрд╣рд╛рдБ a,b,c,d тИИ K, a тИЙ K┬▓, b,c тЙа 0

(iv) yтБ┤ + azтБ┤ + xz┬│ + bx┬│z + cxтБ┤ = 0 рдЬрд╣рд╛рдБ a,b,c тИИ K, b тИЙ K┬▓

(v) yтБ┤ + dz┬▓y┬▓ + (c+a)zтБ┤ + dxz┬│ + bd x┬▓y┬▓ + x┬▓z┬▓ + bd x┬│z + b┬▓cxтБ┤ = 0 рдЬрд╣рд╛рдБ a,b,c,d тИИ K, a,b тИЙ K┬▓, d тЙа 0

рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐

1. рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдзрд┐

  • рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗрдЯрд┐рдВрдЧ рдХрд╛ рдЙрдкрдпреЛрдЧ
  • рд░реАрдореИрди-рд░реЛрдЪ рдкреНрд░рдореЗрдп рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ F|K рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдирд╛
  • рд╕реНрдерд╛рдиреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпреЛрдВ рдХреА рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдмреЗрдбреЛрдпрд╛-рд╕реНрдЯреЛрд╣рд░ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд▓рд╛рдЧреВ рдХрд░рдирд╛

2. рдирд┐рдпрдорд┐рдд рдПрдореНрдмреЗрдбрд┐рдВрдЧ рддрдХрдиреАрдХ

  • рдирд┐рдпрдорд┐рдд рднрд╛рдЬрдХ рдХреЗ рдЕрдиреБрднрд╛рдЧреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ C рдХреЛ P┬▓(K) рдореЗрдВ рдШрд╛рдд 2g-2=4 рдХреЗ рд╕рдорддрд▓ рд╡рдХреНрд░ рдХреЗ рд░реВрдк рдореЗрдВ рд╕рд╛рдХрд╛рд░ рдХрд░рдирд╛
  • рдЬрдм рдЧреИрд░-рдЪрд┐рдХрдирд╛ рдмрд┐рдВрджреБ p рдирд┐рдпрдорд┐рдд рднрд╛рдЬрдХ рд╣реИ, рддреЛ рдЗрд╕рдХреЗ рдЕрдиреБрднрд╛рдЧ F|K рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВ
  • рдЬрдм p рдЧреИрд░-рдирд┐рдпрдорд┐рдд рд╣реИ, рддреЛ p^r рдХреА рдШрд╛рддреЛрдВ рдХреЗ рд░реАрдореИрди-рд░реЛрдЪ рд╕реНрдерд╛рди рдХрд╛ рдЕрдзреНрдпрдпрди рдЖрд╡рд╢реНрдпрдХ рд╣реИ

3. рдЕрд╡рдХрд▓ рд╡рд┐рдзрд┐

  • рдирд┐рдпрдорд┐рдд рднрд╛рдЬрдХ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЕрд╡рдХрд▓ рдХрд╛ рдЙрдкрдпреЛрдЧ
  • рдЫрджреНрдо-рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХрд╛ рдкрд░рд┐рдЪрдп: рд╕рднреА рдЧреИрд░-рд╢реВрдиреНрдп рд╕рдЯреАрдХ рд╣реЛрд▓реЛрдореЛрд░реНрдлрд┐рдХ рдЕрд╡рдХрд▓реЛрдВ рдХреЗ рднрд╛рдЧрдлрд▓ рджреНрд╡рд╛рд░рд╛ рдЙрддреНрдкрдиреНрди рдЙрдк-рдХреНрд╖реЗрддреНрд░ E
  • рдпрд╣ рд╕рд┐рджреНрдз рдХрд░рдирд╛ рдХрд┐ рдХреНрд╖реЗрддреНрд░ рд╡рд┐рд╕реНрддрд╛рд░ E тКВ F рд╕рднреА рдорд╛рдорд▓реЛрдВ рдореЗрдВ рдШрд╛рдд 4 = p┬▓ рд╣реИ

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

рд╡рд░реНрдЧреАрдХрд░рдг рдврд╛рдВрдЪрд╛

рдкреЗрдкрд░ рдПрдХ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд░реНрдЧреАрдХрд░рдг рдврд╛рдВрдЪрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ:

  1. рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛: рд╕рднреА рдорд╛рдорд▓реЛрдВ рдореЗрдВ ╬┤(p) = 3, ╬┤(pтВБ) = 1, ╬┤(pтВЩ) = 0 (n тЙе 2)
  2. рдкрд░рд┐рдореЗрдпрддрд╛ рдорд╛рдирджрдВрдб: n тЙе 3 рдХреЗ рд▓рд┐рдП pтВВ рдкрд░рд┐рдореЗрдп рд╣реИ, рдХреБрдЫ рдорд╛рдорд▓реЛрдВ рдореЗрдВ pтВВ рдкрд░рд┐рдореЗрдп рд╣реИ
  3. рдирд┐рдпрдорд┐рддрддрд╛ рдЧреБрдг: рднрд╛рдЬрдХ p рдирд┐рдпрдорд┐рдд рдпрд╛ рдЧреИрд░-рдирд┐рдпрдорд┐рдд рд╣реЛ рд╕рдХрддрд╛ рд╣реИ

рдЖрдВрддрд░рд┐рдХ рдЧреБрдг рддрд╛рд▓рд┐рдХрд╛

рдкреНрд░рдХрд╛рд░рднрд╛рдЬрдХ p рдирд┐рдпрдорд┐рдд рд╣реИрдмрд┐рдВрджреБ pтВВ K-рдкрд░рд┐рдореЗрдп рд╣реИE = K(CтВВ)
(i)рд╣рд╛рдБрд╣рд╛рдБрд╣рд╛рдБ
(ii)рд╣рд╛рдБрдирд╣реАрдВрдирд╣реАрдВ
(iii)рдирд╣реАрдВрд╣рд╛рдБрдирд╣реАрдВ
(iv)рдирд╣реАрдВрдирд╣реАрдВрд╣рд╛рдБ
(v)рдирд╣реАрдВрдирд╣реАрдВрдирд╣реАрдВ

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рдкрд░рд┐рдгрд╛рдо

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

1. рд╕рдВрдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рдореЗрдп

рдпрд╣ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рд╢рд░реНрддреЛрдВ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рдкреНрд░рддреНрдпреЗрдХ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рдкрд╛рдБрдЪ рд╡рд░реНрдЧреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ, рдФрд░ рд╕реНрдкрд╖реНрдЯ рдорд╛рдирдХ рд░реВрдк рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред

2. рд╕рдорд░реВрдкрддрд╛ рд╡рд░реНрдЧ рд╡рд┐рд╢реЗрд╖реАрдХрд░рдг

  • рдорд╛рдорд▓реЛрдВ (ii), (iii), (v) рдореЗрдВ, рдмрд╣реБрдкрдж рд╡реНрдпрдВрдЬрдХ ab┬▓+c┬▓, bc┬│, ab┬▓d┬▓ рдХреНрд░рдорд╢рдГ рд╡рдХреНрд░ C рдХреЗ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╣реИрдВ
  • рдорд╛рдорд▓реЛрдВ (ii), (iii), (v) рдореЗрдВ, рдЬрдм рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдЧреИрд░-рд╢реВрдиреНрдп рд╣реЛ рддреЛ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рдЧреИрд░-рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╣реИ
  • рдорд╛рдорд▓реЛрдВ (i), (iv) рдореЗрдВ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рд╣рдореЗрд╢рд╛ рдЧреИрд░-рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╣реИ

3. рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдкреБрд▓рдмреИрдХ рдЧреБрдг

рд╕рднреА рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП:

  • рдорд╛рдирдХреАрдХреГрдд рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдкреБрд▓рдмреИрдХ CтВЩ|K n тЙе 3 рдХреЗ рд▓рд┐рдП рдкрд░рд┐рдореЗрдп рд╡рдХреНрд░ рд╣реИ
  • n = 2 рдХреЗ рд▓рд┐рдП рд╡рдВрд╢ 0 рдХрд╛ рдЪрд┐рдХрдирд╛ рд╡рдХреНрд░ рд╣реИ
  • n = 1 рдХреЗ рд▓рд┐рдП рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рд╣реИ

рдЬреНрдпрд╛рдорд┐рддреАрдп рдЧреБрдг

1. рд╡рд┐рд▓рдХреНрд╖рдг рдмрд┐рдВрджреБ рд╕рдВрд░рдЪрдирд╛

  • рдкреНрд░рддреНрдпреЗрдХ рд╡рдХреНрд░ C рдХрд╛ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рдЧреИрд░-рдЪрд┐рдХрдирд╛ рдмрд┐рдВрджреБ p рд╣реИ
  • рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рд╛рдорд╛рдиреНрдп рддрдВрддреБ C_K рдПрдХ рдкрд░рд┐рдореЗрдп рд╕рдорддрд▓ рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рд╡рд┐рд▓рдХреНрд╖рдг рдмрд┐рдВрджреБ рд╣реИ
  • рдпрд╣ рд╡рд┐рд▓рдХреНрд╖рдг рдмрд┐рдВрджреБ рдПрдХрд▓-рд╢рд╛рдЦрд╛ рд╣реИ, рдЧреИрд░-рдЪрд┐рдХрдиреЗ рдмрд┐рдВрджреБ p рдХреЗ рдКрдкрд░ рд╕реНрдерд┐рдд рд╣реИ

2. рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛ рдЧреБрдг

рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ C_K рд╡рд┐рд▓рдХреНрд╖рдг рд╣реИ (рд╕рднреА рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рдПрдХ рд╕рд╛рдорд╛рдиреНрдп рдмрд┐рдВрджреБ рдкрд░ рдкреНрд░рддрд┐рдЪреНрдЫреЗрдж рдХрд░рддреА рд╣реИрдВ), рдФрд░:

  • рдорд╛рдорд▓реЛрдВ (ii), (iii), (v): рд╕рднреА рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рджреНрд╡рд┐рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рд╣реИрдВ
  • рдорд╛рдорд▓реЛрдВ (i), (iv): рд╕рднреА рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рдЧреИрд░-рд╕рд╛рдзрд╛рд░рдг рд╡рд┐рднрдХреНрдд рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рд╣реИрдВ

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

рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕

  1. рд╢рдВрдХреБ рдмрдВрдбрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд: рдШрд╛рдд 2 рдХреЗ рдорд╛рдорд▓реЗ рдХрд╛ рдПрдХ рд▓рдВрдмрд╛ рдЗрддрд┐рд╣рд╛рд╕ рд╣реИ, рдЗрддрд╛рд▓рд╡реА рд╕реНрдХреВрд▓ рд╕реЗ рдЬрдЯрд┐рд▓ рддреНрд░рд┐-рдЖрдпрд╛рдореА рджреНрд╡рд┐рд╡рд░реНрдгреА рдЬреНрдпрд╛рдорд┐рддрд┐ рддрдХ
  2. рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рддрдВрддреБрдХрд░рдг: рдШрд╛рдд 3 рдХреЗ рдорд╛рдорд▓реЗ, рдПрдирд░рд┐рдХреЗрд╕ рд╕рддрд╣реЛрдВ рдХреЗ рд╡рд░реНрдЧреАрдХрд░рдг рд╡рд┐рд╕реНрддрд╛рд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рднреВрдорд┐рдХрд╛
  3. рдЙрдЪреНрдЪ рдШрд╛рдд рдорд╛рдорд▓реЗ: p=3,7 рдХреЗ рд▓рд┐рдП Salom├гo рдФрд░ St├╢hr рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди

рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ рдпреЛрдЧрджрд╛рди

  • d=4, p=2 рдорд╛рдорд▓реЗ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИ
  • рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдХреА рдЕрджреНрд╡рд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддреАрдп рдЧреБрдгреЛрдВ рдХреЛ рдкреНрд░рдХрдЯ рдХрд░рддрд╛ рд╣реИ
  • рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рддрдВрддреБрдХрд░рдг рдХреЗ рд╕рд╛рде рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ

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

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

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

рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡

  • рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╢реЗрд╖рддрд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рддрдВрддреБрдХрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд░рддрд╛ рд╣реИ
  • рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреА рд╡рд┐рд╢реЗрд╖ рдЧреБрдгреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдЧрд╣рди рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  • рд╡рд┐рд▓рдХреНрд╖рдг рддрдВрддреБрдУрдВ рдХреЗ рд╡рд┐рдиреНрдпрд╛рд╕ рдХреЗ рдЖрдЧреЗ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдЖрдзрд╛рд░ рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИ

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

  1. рд╡рд┐рд▓рдХреНрд╖рдг рддрдВрддреБ рд╡рд░реНрдЧреАрдХрд░рдг: рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рдФрд░ рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░реЛрдВ рдкрд░ рдХреЛрдбрд┐рд░рд╛-рдиреЗрд░реЙрди рдХреЗ рдХрд╛рд░реНрдп рдХреЗ рдЕрдиреБрд░реВрдк
  2. рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: рдЕрдзрд┐рдХ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
  3. рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреА рдЦреЛрдЬ

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

рд╢рдХреНрддрд┐рдпрд╛рдБ

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

рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдореВрд▓реНрдп

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

рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рдВрднрд╛рд╡рдирд╛рдПрдВ

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

рддрдХрдиреАрдХреА рдпреЛрдЧрджрд╛рди

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

рдпрд╣ рдкреЗрдкрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреНрд╖реЗрддреНрд░ рдХрд╛ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди рд╣реИ, рдЬреЛ рдПрдХ рдЖрдзрд╛рд░рднреВрдд рдФрд░ рдХрдард┐рди рд╡рд░реНрдЧреАрдХрд░рдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИ, рдФрд░ рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдЖрдЧреЗ рдХреЗ рд╡рд┐рдХрд╛рд╕ рдХреЗ рд▓рд┐рдП рдПрдХ рдордЬрдмреВрдд рдЖрдзрд╛рд░ рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИред