We give a complete classification, up to birational equivalence, of all fibrations by plane projective rational quartic curves in characteristic two.
- рдкреЗрдкрд░ 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 рдореЗрдВ рдкрд░рд┐рдореЗрдп рд╡рдХреНрд░ рддрдВрддреБрдХрд░рдг рдХреЗ рдЕрдзреНрдпрдпрди рдкрд░ рдХреЗрдВрджреНрд░рд┐рдд рд╣реИред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ:
- рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕: рдШрд╛рдд d = 2 рдХрд╛ рдорд╛рдорд▓рд╛ рд╢рдВрдХреБ рдмрдВрдбрд▓реЛрдВ (conic bundles) рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИ, рдЬрд┐рд╕рдХрд╛ рдПрдХ рд▓рдВрдмрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдЗрддрд┐рд╣рд╛рд╕ рд╣реИ рдЬреЛ рдЗрддрд╛рд▓рд╡реА рд╕реНрдХреВрд▓ рдХреЗ рдХрд╛рд░реНрдп рддрдХ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рд╣рд╛рд▓ рд╣реА рдореЗрдВ рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╢реЗрд╖рддрд╛ рдореЗрдВ рдЧрд╣рди рдЕрдзреНрдпрдпрди рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред
- рд╡рд┐рд╢реЗрд╖рддрд╛ рд╕реАрдорд╛: рдЬрдм рддрдВрддреБ рдШрд╛рдд d > 2 рд╣реЛ, рддреЛ рдЗрд╕рдХрд╛ рдЕрдВрдХрдЧрдгрд┐рддреАрдп рд╡рдВрд╢ g = (d-1)(d-2)/2 рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рдВрд╢ с╕б = 0 рд╕реЗ рдЕрдзрд┐рдХ рд╣реИ, рдЗрд╕рд▓рд┐рдП рддрдВрддреБ рдореЗрдВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ рд╣реЛрдиреА рдЪрд╛рд╣рд┐рдПред рдмрд░реНрдЯрд┐рдиреА рдкреНрд░рдореЗрдп рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдпрд╣ рдХреЗрд╡рд▓ рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╢реЗрд╖рддрд╛ p > 0 рдореЗрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред
- рд╡рд┐рд╢реЗрд╖рддрд╛ рдмрд╛рдзрд╛: рдЯреЗрдЯ рдХреЗ рд╡рдВрд╢ рдкрд░рд┐рд╡рд░реНрддрди рд╕реВрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛ 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 рдореЗрдВ рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИ
- рд╕рдВрдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг: рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдкрд░ рд╕рднреА рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдкрд░рд┐рдореЗрдп рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рддрдВрддреБрдХрд░рдг рдХрд╛ рд╕рдВрдкреВрд░реНрдг рджреНрд╡рд┐рд╡рд░реНрдгреА рддреБрд▓реНрдпрддрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рдкрд╛рдБрдЪ рд╡рдХреНрд░ рд╡рд░реНрдЧ: рд╕рд╛рдорд╛рдиреНрдп рддрдВрддреБ C = T╬╖ рдХреЛ рдкрд╛рдБрдЪ рдЕрд╕рдВрдпреБрдХреНрдд рд╡рдХреНрд░ рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рдХрд░рддрд╛ рд╣реИ
- рдЖрдВрддрд░рд┐рдХ рдЧреБрдг рд╡рд┐рд╢реЗрд╖реАрдХрд░рдг: рддреАрди рдЖрдВрддрд░рд┐рдХ рдЧреБрдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд╛рдБрдЪ рд╡рдХреНрд░ рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХреЛ рдЕрд▓рдЧ рдХрд░рддрд╛ рд╣реИ
- рдЫрджреНрдо-рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд: рдирд┐рдпрдорд┐рдд рд╡рдХреНрд░реЛрдВ рдХреА рджреВрд╕рд░реА рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХреЛ рдкреНрд░рд╕реНрддреБрдд рдФрд░ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ
- рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрдВрддреБрдХрд░рдг: рдкрд╛рдБрдЪ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрдВрддреБрдХрд░рдг рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рдирд╕реЗ рдХреЛрдИ рднреА рдРрд╕рд╛ рддрдВрддреБрдХрд░рдг рдЖрдзрд╛рд░ рдкрд░рд┐рд╡рд░реНрддрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ
рдорд╛рди рд▓реАрдЬрд┐рдП 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
- рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗрдЯрд┐рдВрдЧ рдХрд╛ рдЙрдкрдпреЛрдЧ
- рд░реАрдореИрди-рд░реЛрдЪ рдкреНрд░рдореЗрдп рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ F|K рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдирд╛
- рд╕реНрдерд╛рдиреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпреЛрдВ рдХреА рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдмреЗрдбреЛрдпрд╛-рд╕реНрдЯреЛрд╣рд░ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд▓рд╛рдЧреВ рдХрд░рдирд╛
- рдирд┐рдпрдорд┐рдд рднрд╛рдЬрдХ рдХреЗ рдЕрдиреБрднрд╛рдЧреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ C рдХреЛ P┬▓(K) рдореЗрдВ рдШрд╛рдд 2g-2=4 рдХреЗ рд╕рдорддрд▓ рд╡рдХреНрд░ рдХреЗ рд░реВрдк рдореЗрдВ рд╕рд╛рдХрд╛рд░ рдХрд░рдирд╛
- рдЬрдм рдЧреИрд░-рдЪрд┐рдХрдирд╛ рдмрд┐рдВрджреБ p рдирд┐рдпрдорд┐рдд рднрд╛рдЬрдХ рд╣реИ, рддреЛ рдЗрд╕рдХреЗ рдЕрдиреБрднрд╛рдЧ F|K рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВ
- рдЬрдм p рдЧреИрд░-рдирд┐рдпрдорд┐рдд рд╣реИ, рддреЛ p^r рдХреА рдШрд╛рддреЛрдВ рдХреЗ рд░реАрдореИрди-рд░реЛрдЪ рд╕реНрдерд╛рди рдХрд╛ рдЕрдзреНрдпрдпрди рдЖрд╡рд╢реНрдпрдХ рд╣реИ
- рдирд┐рдпрдорд┐рдд рднрд╛рдЬрдХ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдЕрд╡рдХрд▓ рдХрд╛ рдЙрдкрдпреЛрдЧ
- рдЫрджреНрдо-рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХрд╛ рдкрд░рд┐рдЪрдп: рд╕рднреА рдЧреИрд░-рд╢реВрдиреНрдп рд╕рдЯреАрдХ рд╣реЛрд▓реЛрдореЛрд░реНрдлрд┐рдХ рдЕрд╡рдХрд▓реЛрдВ рдХреЗ рднрд╛рдЧрдлрд▓ рджреНрд╡рд╛рд░рд╛ рдЙрддреНрдкрдиреНрди рдЙрдк-рдХреНрд╖реЗрддреНрд░ E
- рдпрд╣ рд╕рд┐рджреНрдз рдХрд░рдирд╛ рдХрд┐ рдХреНрд╖реЗрддреНрд░ рд╡рд┐рд╕реНрддрд╛рд░ E тКВ F рд╕рднреА рдорд╛рдорд▓реЛрдВ рдореЗрдВ рдШрд╛рдд 4 = p┬▓ рд╣реИ
рдкреЗрдкрд░ рдПрдХ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд░реНрдЧреАрдХрд░рдг рдврд╛рдВрдЪрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ:
- рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛: рд╕рднреА рдорд╛рдорд▓реЛрдВ рдореЗрдВ ╬┤(p) = 3, ╬┤(pтВБ) = 1, ╬┤(pтВЩ) = 0 (n тЙе 2)
- рдкрд░рд┐рдореЗрдпрддрд╛ рдорд╛рдирджрдВрдб: n тЙе 3 рдХреЗ рд▓рд┐рдП pтВВ рдкрд░рд┐рдореЗрдп рд╣реИ, рдХреБрдЫ рдорд╛рдорд▓реЛрдВ рдореЗрдВ pтВВ рдкрд░рд┐рдореЗрдп рд╣реИ
- рдирд┐рдпрдорд┐рддрддрд╛ рдЧреБрдг: рднрд╛рдЬрдХ p рдирд┐рдпрдорд┐рдд рдпрд╛ рдЧреИрд░-рдирд┐рдпрдорд┐рдд рд╣реЛ рд╕рдХрддрд╛ рд╣реИ
| рдкреНрд░рдХрд╛рд░ | рднрд╛рдЬрдХ p рдирд┐рдпрдорд┐рдд рд╣реИ | рдмрд┐рдВрджреБ pтВВ K-рдкрд░рд┐рдореЗрдп рд╣реИ | E = K(CтВВ) |
|---|
| (i) | рд╣рд╛рдБ | рд╣рд╛рдБ | рд╣рд╛рдБ |
| (ii) | рд╣рд╛рдБ | рдирд╣реАрдВ | рдирд╣реАрдВ |
| (iii) | рдирд╣реАрдВ | рд╣рд╛рдБ | рдирд╣реАрдВ |
| (iv) | рдирд╣реАрдВ | рдирд╣реАрдВ | рд╣рд╛рдБ |
| (v) | рдирд╣реАрдВ | рдирд╣реАрдВ | рдирд╣реАрдВ |
рдпрд╣ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рд╢рд░реНрддреЛрдВ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рдкреНрд░рддреНрдпреЗрдХ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рдкрд╛рдБрдЪ рд╡рд░реНрдЧреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ, рдФрд░ рд╕реНрдкрд╖реНрдЯ рдорд╛рдирдХ рд░реВрдк рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред
- рдорд╛рдорд▓реЛрдВ (ii), (iii), (v) рдореЗрдВ, рдмрд╣реБрдкрдж рд╡реНрдпрдВрдЬрдХ ab┬▓+c┬▓, bc┬│, ab┬▓d┬▓ рдХреНрд░рдорд╢рдГ рд╡рдХреНрд░ C рдХреЗ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╣реИрдВ
- рдорд╛рдорд▓реЛрдВ (ii), (iii), (v) рдореЗрдВ, рдЬрдм рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдЧреИрд░-рд╢реВрдиреНрдп рд╣реЛ рддреЛ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рдЧреИрд░-рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╣реИ
- рдорд╛рдорд▓реЛрдВ (i), (iv) рдореЗрдВ рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рд╣рдореЗрд╢рд╛ рдЧреИрд░-рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╣реИ
рд╕рднреА рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП:
- рдорд╛рдирдХреАрдХреГрдд рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдкреБрд▓рдмреИрдХ CтВЩ|K n тЙе 3 рдХреЗ рд▓рд┐рдП рдкрд░рд┐рдореЗрдп рд╡рдХреНрд░ рд╣реИ
- n = 2 рдХреЗ рд▓рд┐рдП рд╡рдВрд╢ 0 рдХрд╛ рдЪрд┐рдХрдирд╛ рд╡рдХреНрд░ рд╣реИ
- n = 1 рдХреЗ рд▓рд┐рдП рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░ рд╣реИ
- рдкреНрд░рддреНрдпреЗрдХ рд╡рдХреНрд░ C рдХрд╛ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рдЧреИрд░-рдЪрд┐рдХрдирд╛ рдмрд┐рдВрджреБ p рд╣реИ
- рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рд╛рдорд╛рдиреНрдп рддрдВрддреБ C_K рдПрдХ рдкрд░рд┐рдореЗрдп рд╕рдорддрд▓ рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рд╡рд┐рд▓рдХреНрд╖рдг рдмрд┐рдВрджреБ рд╣реИ
- рдпрд╣ рд╡рд┐рд▓рдХреНрд╖рдг рдмрд┐рдВрджреБ рдПрдХрд▓-рд╢рд╛рдЦрд╛ рд╣реИ, рдЧреИрд░-рдЪрд┐рдХрдиреЗ рдмрд┐рдВрджреБ p рдХреЗ рдКрдкрд░ рд╕реНрдерд┐рдд рд╣реИ
рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ C_K рд╡рд┐рд▓рдХреНрд╖рдг рд╣реИ (рд╕рднреА рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рдПрдХ рд╕рд╛рдорд╛рдиреНрдп рдмрд┐рдВрджреБ рдкрд░ рдкреНрд░рддрд┐рдЪреНрдЫреЗрдж рдХрд░рддреА рд╣реИрдВ), рдФрд░:
- рдорд╛рдорд▓реЛрдВ (ii), (iii), (v): рд╕рднреА рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рджреНрд╡рд┐рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рд╣реИрдВ
- рдорд╛рдорд▓реЛрдВ (i), (iv): рд╕рднреА рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рдЧреИрд░-рд╕рд╛рдзрд╛рд░рдг рд╡рд┐рднрдХреНрдд рд╕реНрдкрд░реНрд╢ рд░реЗрдЦрд╛рдПрдВ рд╣реИрдВ
- рд╢рдВрдХреБ рдмрдВрдбрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд: рдШрд╛рдд 2 рдХреЗ рдорд╛рдорд▓реЗ рдХрд╛ рдПрдХ рд▓рдВрдмрд╛ рдЗрддрд┐рд╣рд╛рд╕ рд╣реИ, рдЗрддрд╛рд▓рд╡реА рд╕реНрдХреВрд▓ рд╕реЗ рдЬрдЯрд┐рд▓ рддреНрд░рд┐-рдЖрдпрд╛рдореА рджреНрд╡рд┐рд╡рд░реНрдгреА рдЬреНрдпрд╛рдорд┐рддрд┐ рддрдХ
- рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рддрдВрддреБрдХрд░рдг: рдШрд╛рдд 3 рдХреЗ рдорд╛рдорд▓реЗ, рдПрдирд░рд┐рдХреЗрд╕ рд╕рддрд╣реЛрдВ рдХреЗ рд╡рд░реНрдЧреАрдХрд░рдг рд╡рд┐рд╕реНрддрд╛рд░ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рднреВрдорд┐рдХрд╛
- рдЙрдЪреНрдЪ рдШрд╛рдд рдорд╛рдорд▓реЗ: p=3,7 рдХреЗ рд▓рд┐рдП Salom├гo рдФрд░ St├╢hr рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
- d=4, p=2 рдорд╛рдорд▓реЗ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИ
- рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдХреА рдЕрджреНрд╡рд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддреАрдп рдЧреБрдгреЛрдВ рдХреЛ рдкреНрд░рдХрдЯ рдХрд░рддрд╛ рд╣реИ
- рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рддрдВрддреБрдХрд░рдг рдХреЗ рд╕рд╛рде рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ
- рд╕рдВрдкреВрд░реНрдгрддрд╛: рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдкрд░ рд╕рдорддрд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рдкрд░рд┐рдореЗрдп рдЪрддреБрд░реНрде рдШрд╛рдд рд╡рдХреНрд░ рддрдВрддреБрдХрд░рдг рдХрд╛ рд╕рдВрдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рд╕рдВрд░рдЪрдирд╛: рдЗрди рддрдВрддреБрдХрд░рдгреЛрдВ рдФрд░ рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рддрдВрддреБрдХрд░рдг рдХреЗ рдмреАрдЪ рдЖрд╡рд╢реНрдпрдХ рд╕рдВрдмрдВрдз рдХреЛ рдкреНрд░рдХрдЯ рдХрд░рддрд╛ рд╣реИ
- рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХрддрд╛: рдирд┐рд░реНрдорд┐рдд рдкрд╛рдБрдЪ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рддрдВрддреБрдХрд░рдг рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рдорд╛рдорд▓реЛрдВ рдХреЛ рдХрд╡рд░ рдХрд░рддреЗ рд╣реИрдВ
- рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╢реЗрд╖рддрд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рддрдВрддреБрдХрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд░рддрд╛ рд╣реИ
- рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреА рд╡рд┐рд╢реЗрд╖ рдЧреБрдгреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдЧрд╣рди рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рд╡рд┐рд▓рдХреНрд╖рдг рддрдВрддреБрдУрдВ рдХреЗ рд╡рд┐рдиреНрдпрд╛рд╕ рдХреЗ рдЖрдЧреЗ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдЖрдзрд╛рд░ рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИ
- рд╡рд┐рд▓рдХреНрд╖рдг рддрдВрддреБ рд╡рд░реНрдЧреАрдХрд░рдг: рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рдФрд░ рдЕрд░реНрдз-рджреАрд░реНрдШрд╡реГрддреНрддреАрдп рд╡рдХреНрд░реЛрдВ рдкрд░ рдХреЛрдбрд┐рд░рд╛-рдиреЗрд░реЙрди рдХреЗ рдХрд╛рд░реНрдп рдХреЗ рдЕрдиреБрд░реВрдк
- рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: рдЕрдзрд┐рдХ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
- рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреА рдЦреЛрдЬ
- рддрдХрдиреАрдХреА рдЧрд╣рд░рд╛рдИ: рдлрд▓рди рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд, рдЕрд╡рдХрд▓ рдЬреНрдпрд╛рдорд┐рддрд┐, рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдЖрджрд┐ рдХрдИ рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреА рдЧрд╣рди рддрдХрдиреАрдХреЗрдВ рд▓рд╛рдЧреВ рдХрд░рддрд╛ рд╣реИ
- рд╕рдВрдкреВрд░реНрдгрддрд╛: рд╕рдВрдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рдХреЛрдИ рдорд╛рдорд▓рд╛ рдЫреВрдЯрд╛ рдирд╣реАрдВ рд╣реИ
- рдирд╡реАрдирддрд╛: рдЫрджреНрдо-рдирд┐рдпрдорд┐рдд рдХреНрд╖реЗрддреНрд░ рдЕрд╡рдзрд╛рд░рдгрд╛ рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ, рдирдИ рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рд╡реНрдпрд╡рд╕реНрдерд┐рддрддрд╛: рд╕рдВрдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪрд╛ рдФрд░ рдЧрдгрдирд╛ рд╡рд┐рдзрд┐ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ
- рдЖрдзрд╛рд░рднреВрдд рд╕рд┐рджреНрдзрд╛рдВрдд: рд╡рд┐рд╢реЗрд╖рддрд╛ 2 рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЖрдзрд╛рд░рднреВрдд рдкрд░рд┐рдгрд╛рдо рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рдкрджреНрдзрддрд┐: рд╡рд┐рдХрд╕рд┐рдд рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпрд╛рдБ рд╕рдВрдмрдВрдзрд┐рдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИрдВ
- рд╕рдВрдмрдВрдзрд┐рддрддрд╛: рд╡рд┐рднрд┐рдиреНрди рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рдХреЛ рдкреНрд░рдХрдЯ рдХрд░рддрд╛ рд╣реИ
- рддрдВрддреБрдХрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд: рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рддрдВрддреБрдХрд░рдг рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдЯреЗрдореНрдкрд▓реЗрдЯ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐: рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдиреБрдкреНрд░рдпреЛрдЧ
- рдЧрдгрдирд╛ рд╡рд┐рдзрд┐: рдареЛрд╕ рдЧрдгрдирд╛ рдФрд░ рд╡рд░реНрдЧреАрдХрд░рдг рд╡рд┐рдзрд┐ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
- рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╡рд┐рдХрд╛рд╕: рдмреЗрдбреЛрдпрд╛-рд╕реНрдЯреЛрд╣рд░ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рдХреЛ рд╕реБрдзрд╛рд░рддрд╛ рдФрд░ рд▓рд╛рдЧреВ рдХрд░рддрд╛ рд╣реИ
- рд╡рд░реНрдЧреАрдХрд░рдг рддрдХрдиреАрдХ: рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд░реНрдЧреАрдХрд░рдг рд╡рд┐рдзрд┐ рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддрд╛ рд╣реИ
- рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╕рд┐рджреНрдзрд╛рдВрдд: рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпреЛрдВ рдХреА рдкрд╣рдЪрд╛рди рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рдкреЗрдкрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреНрд╖реЗрддреНрд░ рдХрд╛ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди рд╣реИ, рдЬреЛ рдПрдХ рдЖрдзрд╛рд░рднреВрдд рдФрд░ рдХрдард┐рди рд╡рд░реНрдЧреАрдХрд░рдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИ, рдФрд░ рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдЖрдЧреЗ рдХреЗ рд╡рд┐рдХрд╛рд╕ рдХреЗ рд▓рд┐рдП рдПрдХ рдордЬрдмреВрдд рдЖрдзрд╛рд░ рддреИрдпрд╛рд░ рдХрд░рддрд╛ рд╣реИред