2025-11-23T05:58:16.477489

Some lower bounds for the maximal number of A-singularities in algebraic surfaces

Escudero
We construct algebraic surfaces with a large number of type A singularities. Bivariate polynomials presented in previous works for the construction of nodal surfaces and certain families of Belyi polynomials are used. In some cases explicit expressions in terms of classical Jacobi polynomials are obtained.
academic

рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рддрд╣реЛрдВ рдореЗрдВ A-рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП рдХреБрдЫ рдирд┐рдореНрди рд╕реАрдорд╛рдПрдВ

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

  • рдкреЗрдкрд░ ID: 2510.14539
  • рд╢реАрд░реНрд╖рдХ: рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рддрд╣реЛрдВ рдореЗрдВ A-рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╕рдВрдЦреНрдпрд╛ рдХреЗ рд▓рд┐рдП рдХреБрдЫ рдирд┐рдореНрди рд╕реАрдорд╛рдПрдВ
  • рд▓реЗрдЦрдХ: Juan Garc├нa Escudero
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: 16 рдЕрдХреНрдЯреВрдмрд░ 2025 (arXiv рдкреВрд░реНрд╡рдкреНрд░рд┐рдВрдЯ)
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2510.14539

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

рдпрд╣ рдкреЗрдкрд░ рдмрдбрд╝реА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ A-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рд╡рд╛рд▓реА рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рддрд╣реЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд░рддрд╛ рд╣реИред рдкреВрд░реНрд╡рд╡рд░реНрддреА рдХрд╛рд░реНрдп рдореЗрдВ рдиреЛрдбрд▓ рд╕рддрд╣реЛрдВ рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдЧрдП рджреНрд╡рд┐рдЪрд░ рдмрд╣реБрдкрджреЛрдВ рдФрд░ рдХреБрдЫ Belyi рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред рдХреБрдЫ рдорд╛рдорд▓реЛрдВ рдореЗрдВ, рд╢рд╛рд╕реНрддреНрд░реАрдп Jacobi рдмрд╣реБрдкрдж рд░реВрдк рдореЗрдВ рд╕реНрдкрд╖реНрдЯ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐рдпрд╛рдВ рдкреНрд░рд╛рдкреНрдд рдХреА рдЧрдИ рд╣реИрдВред

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

рд╕рдорд╕реНрдпрд╛ рд╡рд┐рд╡рд░рдг

рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдПрдХ рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рдорд░реНрдкрд┐рдд рд╣реИ: рджрд┐рдП рдЧрдП рдШрд╛рдд рдХреА рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рддрд╣реЛрдВ рдкрд░ A-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╕рдВрдЦреНрдпрд╛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рдирд╛ред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ, рдЬрдЯрд┐рд▓ рдкреНрд░рдХреНрд╖реЗрдкреА рд╕реНрдкреЗрд╕ P┬│(C) рдФрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдкреНрд░рдХреНрд╖реЗрдкреА рд╕реНрдкреЗрд╕ P┬│(R) рдореЗрдВ рдШрд╛рдд d рдХреА рд╕рддрд╣реЛрдВ рдкрд░ A╬╜-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╕рдВрдЦреНрдпрд╛ ╬╝A╬╜(d) рдФрд░ ╬╝(R)A╬╜(d) рдХрд╛ рдЕрдзреНрдпрдпрдиред

рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд╛ рдорд╣рддреНрд╡

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡: A-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рднрд╛рдЧ рд╣реИ, рдЬреЛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рддрд╣реЛрдВ рдХреЗ рдЬреНрдпрд╛рдорд┐рддреАрдп рдЧреБрдгреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдореМрд▓рд┐рдХ рд╣реИ
  2. рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рд╡рд┐рдХрд╛рд╕: рд╢рд╛рд╕реНрддреНрд░реАрдп Cayley рдШрди рд╕рддрд╣ рдФрд░ Kummer рдЪрддреБрд░реНрде рд╕рддрд╣ рд╕реЗ рд╢реБрд░реВ рдХрд░рдХреЗ, рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд╛ рдПрдХ рд▓рдВрдмрд╛ рдЗрддрд┐рд╣рд╛рд╕ рд╣реИ
  3. рддрдХрдиреАрдХреА рдЪреБрдиреМрддрд┐рдпрд╛рдВ: рдХрдИ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рд╡рд╛рд▓реА рд╕реНрдкрд╖реНрдЯ рд╕рддрд╣реЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд░реВрдк рд╕реЗ рдЕрддреНрдпрдВрдд рдЪреБрдиреМрддреАрдкреВрд░реНрдг рд╣реИ

рдореМрдЬреВрджрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рд╕реАрдорд╛рдПрдВ

рдореМрдЬреВрджрд╛ рдирд┐рдореНрди рд╕реАрдорд╛ рдкрд░рд┐рдгрд╛рдо рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдкрд░ рдХреЗрдВрджреНрд░рд┐рдд рд╣реИрдВ:

  • AтВБ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ (рдиреЛрдбреНрд╕) рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдЕрдкреЗрдХреНрд╖рд╛рдХреГрдд рдкрд░рд┐рдкрдХреНрд╡ рд╣реИ
  • рдЙрдЪреНрдЪ-рдХреНрд░рдо A╬╜ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ (╬╜ > 1) рдХреЗ рд▓рд┐рдП рдирд┐рдореНрди рд╕реАрдорд╛ рдкрд░рд┐рдгрд╛рдо рд╕реАрдорд┐рдд рд╣реИрдВ
  • рд╡рд┐рднрд┐рдиреНрди рдкреНрд░рдХрд╛рд░ рдХреА A рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХреАрдХреГрдд рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ рдХрд╛ рдЕрднрд╛рд╡ рд╣реИ

рдореВрд▓ рдпреЛрдЧрджрд╛рди

  1. Belyi рдмрд╣реБрдкрджреЛрдВ рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЛ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛: рддреАрди рдирдП Belyi рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░ BтБ╜┬╣тБ╛, BтБ╜┬▓тБ╛, BтБ╜┬│тБ╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдП, рдЬреЛ рдкреВрд░реНрд╡рд╡рд░реНрддреА рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд░реВрдк рд╕реЗ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддреЗ рд╣реИрдВ
  2. A-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреЗ рд▓рд┐рдП рдирд┐рдореНрди рд╕реАрдорд╛рдУрдВ рдореЗрдВ рд╕реБрдзрд╛рд░:
    • AтВВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреЗ рд▓рд┐рдП: ╬╝AтВВ(3m) тЙе 3m┬▓(3m-1)/2 + (3m(m-1)+1)тМК(m-1)/2тМЛ
    • AтВГтВШтВКтВБ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреЗ рд▓рд┐рдП: ╬╝AтВГтВШтВКтВБ(3(2m+1)) тЙе 3m(10m+7) + 4
  3. рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг рдкреНрд░рджрд╛рди рдХрд┐рдП: рдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛ рдХреНрд╖реЗрддреНрд░ рдкрд░ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╕рддрд╣реЛрдВ рдХреЗ рд╕реНрдкрд╖реНрдЯ рд╕рдореАрдХрд░рдг рджрд┐рдП, рдЬрд┐рдирдореЗрдВ рдЕрдЪреНрдЫреЗ рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЧреБрдг рд╣реИрдВ
  4. рд╢рд╛рд╕реНрддреНрд░реАрдп рдмрд╣реБрдкрджреЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП: рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдХреБрдЫ Belyi рдмрд╣реБрдкрджреЛрдВ рдХреЛ рд╢рд╛рд╕реНрддреНрд░реАрдп Jacobi рдмрд╣реБрдкрджреЛрдВ рдХреЗ рд░реВрдк рдореЗрдВ рд╡реНрдпрдХреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ

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

рдореВрд▓ рдирд┐рд░реНрдорд╛рдг рдврд╛рдВрдЪрд╛

рдЗрд╕ рдкреЗрдкрд░ рдХреА рд╡рд┐рдзрд┐ рджреЛ рдкреНрд░рдХрд╛рд░ рдХреЗ рдмрд╣реБрдкрджреЛрдВ рдХреЗ рд╕рдВрдпреЛрдЬрди рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ:

1. рджреНрд╡рд┐рдЪрд░ рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░ J

рджреНрд╡рд┐рдЪрд░ рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ:

─┤d,╧Д(x,y) := ╬╗d,╧Д тИП╬╝ Ld,╧Д,╬╝(x,y)

рдЬрд╣рд╛рдВ:

Ld,╧Д,╬╝(x,y) := y + (cos(2╧А/d(6╬╝-1/6 - ╧Д/╧А)) - x)tan(╧А/d(6╬╝-1/6 - ╧Д/╧А)) + sin(2╧А/d(6╬╝-1/6 - ╧Д/╧А))

рдкрд░рд┐рд╡рд░реНрддрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛ рдХреНрд╖реЗрддреНрд░ рдкрд░ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдмрд╣реБрдкрдж рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ:

Jd(x,y) := ─┤d,0(x, y/тИЪ3)

2. Belyi рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░

рддреАрди Belyi рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛ рдЧрдпрд╛:

BтБ╜┬╣тБ╛ рдкрд░рд┐рд╡рд╛рд░: k-1 рдЧреБрдгрдХ ╬╜ рд╡рд╛рд▓реЗ, -1 рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рди рд╡рд╛рд▓реЗ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрд┐рдВрджреБ, рдФрд░ рдПрдХ рдЧреБрдгрдХ ╬╜ рд╡рд╛рд▓рд╛, 1 рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рди рд╡рд╛рд▓рд╛ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрд┐рдВрджреБ, рдЬрд╣рд╛рдВ:

  • k = 3m+1, m тИИ ZтБ║
  • d = k╬╜+1, ╬╜ = 3n+k-2, n тИИ ZтЙе0

BтБ╜┬▓тБ╛ рдкрд░рд┐рд╡рд╛рд░: b-1 рдЧреБрдгрдХ ╬╜ рд╡рд╛рд▓реЗ, -1 рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рди рд╡рд╛рд▓реЗ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрд┐рдВрджреБ, рдПрдХ рдЧреБрдгрдХ ╬╜ рд╡рд╛рд▓рд╛, 1 рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рди рд╡рд╛рд▓рд╛ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрд┐рдВрджреБ, рдФрд░ рдПрдХ рдЧреБрдгрдХ ╬╡ рд╡рд╛рд▓рд╛, -1 рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдорд╛рди рд╡рд╛рд▓рд╛ рдЕрддрд┐рд░рд┐рдХреНрдд рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмрд┐рдВрджреБ

BтБ╜┬│тБ╛ рдкрд░рд┐рд╡рд╛рд░: рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рдкреИрд░рд╛рдореАрдЯрд░рдХрд░рдг, рдХрдИ рдорд╛рдорд▓реЛрдВ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддрд╛ рд╣реИ

рд╕рддрд╣ рдирд┐рд░реНрдорд╛рдг

рдореБрдЦреНрдп рдкреНрд░рдореЗрдп рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ рдШрд╛рдд d = 3q рдХреА рд╕рддрд╣:

Jd(u,v) + (BтБ╜с╡ЧтБ╛d,╬╜,╬╡(w) + 1)/2 = 0

рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ A╬╜-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ рд╣реИрдВ:

d(d-1)(s-1)/2 + d(d-3)/3 + 1

рдЬрд╣рд╛рдВ s = k,b,p рдХреНрд░рдорд╢рдГ t = 1,2,3 рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИрдВред

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

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

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

рдирд┐рд░реНрдорд╛рдг рд╕рддреНрдпрд╛рдкрди

рдкреЗрдкрд░ рдареЛрд╕ рдЙрджрд╛рд╣рд░рдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ:

  1. рдирд┐рдореНрди рдШрд╛рдд рдХреЗ рдорд╛рдорд▓реЗ:
    • 9рд╡реАрдВ рдШрд╛рдд рдХреА рд╕рддрд╣ рдореЗрдВ 127 рдЬрдЯрд┐рд▓ AтВВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ рд╣реИрдВ
    • 15рд╡реАрдВ рдШрд╛рдд рдХреА рд╕рддрд╣ рдореЗрдВ 376 AтВГ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ рд╣реИрдВ
    • 21рд╡реАрдВ рдШрд╛рдд рдХреА рд╕рддрд╣ рдореЗрдВ 757 AтВД рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ рд╣реИрдВ
  2. рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЙрдкрдХрд░рдг: рдирд┐рдореНрди рдШрд╛рдд рдХреЗ рдорд╛рдорд▓реЛрдВ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП Gr├╢bner рдЖрдзрд╛рд░ рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП Singular рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рд╕рд┐рд╕реНрдЯрдо рдХрд╛ рдЙрдкрдпреЛрдЧ

рджреГрд╢реНрдпрд╛рдВрдХрди

21рд╡реАрдВ рдШрд╛рдд рдХреА рд╕рддрд╣ рдХреЗ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП Surfer рджреГрд╢реНрдпрд╛рдВрдХрди рдЙрдкрдХрд░рдг рдХрд╛ рдЙрдкрдпреЛрдЧ, AтВД рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреЗ рд╡рд┐рддрд░рдг рдХреЛ рд╕рд╣рдЬ рд░реВрдк рд╕реЗ рджрд┐рдЦрд╛рддрд╛ рд╣реИред

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

рдореБрдЦреНрдп рд╕реБрдзрд╛рд░

folding рдмрд╣реБрдкрдж FA┬▓d(u,v) рдФрд░ рдмрд╣реБрдкрдж M^j_d(w) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдиреЗ рдХреА рдкреВрд░реНрд╡рд╡рд░реНрддреА рд╡рд┐рдзрд┐ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ, рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдкреНрд░рддреНрдпреЗрдХ рдорд╛рдорд▓реЗ рдореЗрдВ рдПрдХ рдЕрддрд┐рд░рд┐рдХреНрдд A╬╜ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛ рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИред

рд╡рд┐рд╢рд┐рд╖реНрдЯ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкрд░рд┐рдгрд╛рдо

  • AтВБ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ (рдиреЛрдбреНрд╕): 3m рдШрд╛рдд рдХреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рддрд╣реЛрдВ рдХреЗ рд▓рд┐рдП, рдирд┐рдореНрди рд╕реАрдорд╛ 3m(3m-1)/2тМК3m/2тМЛ + (3m(m-1)+1)тМК(3m-1)/2тМЛ рд╣реИ
  • AтВВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ (cusps): ╬╝AтВВ(3m) тЙе 3m┬▓(3m-1)/2 + (3m(m-1)+1)тМК(m-1)/2тМЛ
  • рдЙрдЪреНрдЪ-рдХреНрд░рдо рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдПрдВ: ╬╝AтВГтВШтВКтВБ(3(2m+1)) тЙе 3m(10m+7) + 4

рд╕реНрдкрд╖реНрдЯ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐рдпрд╛рдВ

рдХреБрдЫ рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП, Jacobi рдмрд╣реБрдкрдж рд░реВрдк рдореЗрдВ рд╕реНрдкрд╖реНрдЯ рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐рдпрд╛рдВ рдкреНрд░рд╛рдкреНрдд рдХреА рдЧрдИ рд╣реИрдВ:

  • BтБ╜┬╣тБ╛тВЙтВШ┬▓,тВГтВШтВЛтВБ(w) = w┬│с╡РP┬╣'тБ╗┬│с╡РтВГтВШтВЛтВБ(1-2w)┬│с╡Р
  • BтБ╜┬▓тБ╛тВРтВКс╡жтВНс╡жтВЛтВБтВО,с╡жтВЛтВБ,тВРтВЛтВБ(w) = wс╡ГPс╡Г/с╡З'тБ╗с╡Зс╡жтВЛтВБ(1-2w)с╡З

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

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

  1. рд╢рд╛рд╕реНрддреНрд░реАрдп рдкрд░рд┐рдгрд╛рдо: Cayley рдШрди рд╕рддрд╣ (1869), Kummer рдЪрддреБрд░реНрде рд╕рддрд╣ рдЖрджрд┐ рдиреЗ рдЖрдзрд╛рд░ рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛
  2. рдЖрдзреБрдирд┐рдХ рд╡рд┐рдХрд╛рд╕: Chmutov, Barth, Endrass рдЖрджрд┐ рдХреЗ рдпреЛрдЧрджрд╛рди рдиреЗ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдирд┐рдореНрди рд╕реАрдорд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛
  3. рдКрдкрд░реА рд╕реАрдорд╛ рд╕рд┐рджреНрдзрд╛рдВрдд: Beauville, Miyaoka, Varchenko рдЖрджрд┐ рдХреЗ рдХрд╛рд░реНрдп рдиреЗ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреНрд░рддрд┐рдмрдВрдз рдкреНрд░рджрд╛рди рдХрд┐рдП

рдЗрд╕ рдкреЗрдкрд░ рдХреА рд╕реНрдерд┐рддрд┐

рдпрд╣ рдкреЗрдкрд░ рд▓реЗрдЦрдХ рдХреЗ рдкреВрд░реНрд╡рд╡рд░реНрддреА рдХрд╛рд░реНрдп рдХреЗ рдЖрдзрд╛рд░ рдкрд░:

  • 9 рдореЗрдВ 3m рдШрд╛рдд рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░ рдХреЛ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд┐рдпрд╛
  • 10,11 рдореЗрдВ Belyi рдмрд╣реБрдкрдж рд╡рд┐рдзрд┐ рдХреЛ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд┐рдпрд╛
  • 21 рдореЗрдВ рд╡рд┐рднрд┐рдиреНрди рдирд┐рд░реНрдорд╛рдг рддрдХрдиреАрдХреЛрдВ рдХреЛ рдПрдХреАрдХреГрдд рдХрд┐рдпрд╛

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

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

  1. рддреАрди рдирдП Belyi рдмрд╣реБрдкрдж рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХрд╛ рд╕рдлрд▓рддрд╛рдкреВрд░реНрд╡рдХ рдирд┐рд░реНрдорд╛рдг, рдЬреЛ A-рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдХреА рдирд┐рдореНрди рд╕реАрдорд╛рдУрдВ рдХреЛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд░реВрдк рд╕реЗ рд╕реБрдзрд╛рд░рддреЗ рд╣реИрдВ
  2. рдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛ рдХреНрд╖реЗрддреНрд░ рдкрд░ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╕реНрдкрд╖реНрдЯ рд╕рддрд╣ рд╕рдореАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд┐рдП
  3. рд╢рд╛рд╕реНрддреНрд░реАрдп Jacobi рдмрд╣реБрдкрджреЛрдВ рдХреЗ рд╕рд╛рде рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП

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

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

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

  1. рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп Belyi рдмрд╣реБрдкрдж рдирд┐рд░реНрдорд╛рдг рд╡рд┐рдзрд┐ рдЦреЛрдЬрдирд╛
  2. рдЙрдЪреНрдЪ рдШрд╛рдд рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рддрдХрдиреАрдХреЛрдВ рдореЗрдВ рд╕реБрдзрд╛рд░
  3. рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреА рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ (D-рдкреНрд░рдХрд╛рд░, E-рдкреНрд░рдХрд╛рд░) рдХреЗ рд▓рд┐рдП рд╕рдорд╛рди рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рдЕрдзреНрдпрдпрди

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

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

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

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

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

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

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

рд▓рд╛рдЧреВ рдкрд░рд┐рджреГрд╢реНрдп

  1. рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдФрд░ рдЧрдгрдирд╛ рд╕рдорд╕реНрдпрд╛рдПрдВ
  2. рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╕реНрдкрд╖реНрдЯ рдирд┐рд░реНрдорд╛рдг
  3. рднреМрддрд┐рдХреА рдореЗрдВ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рдЕрдВрддрд░реНрд╕рдВрдмрдВрдзреА рдЕрдиреБрд╕рдВрдзрд╛рди

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

рдкреЗрдкрд░ 27 рд╕рдВрдмрдВрдзрд┐рдд рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬреЛ рд╢рд╛рд╕реНрддреНрд░реАрдп Cayley, Kummer рдХрд╛рд░реНрдп рд╕реЗ рд▓реЗрдХрд░ рдЖрдзреБрдирд┐рдХ рдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдЕрдиреБрд╕рдВрдзрд╛рди рддрдХ рдлреИрд▓реЗ рд╣реБрдП рд╣реИрдВ, рдЬреЛ рдЗрд╕ рдХреНрд╖реЗрддреНрд░ рдХреЗ рдЧрд╣рд░реЗ рдРрддрд┐рд╣рд╛рд╕рд┐рдХ рдЖрдзрд╛рд░ рдФрд░ рд╕рдХреНрд░рд┐рдп рдЕрдиреБрд╕рдВрдзрд╛рди рд╕реНрдерд┐рддрд┐ рдХреЛ рдкреНрд░рддрд┐рдмрд┐рдВрдмрд┐рдд рдХрд░рддрд╛ рд╣реИред рдореБрдЦреНрдп рд╕рдВрджрд░реНрдн рд╕рд╛рд╣рд┐рддреНрдп рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  • 6 рдШрди рд╕рддрд╣реЛрдВ рдкрд░ Cayley рдХрд╛ рд╢рд╛рд╕реНрддреНрд░реАрдп рдХрд╛рд░реНрдп
  • 19 рдЪрддреБрд░реНрде рд╕рддрд╣реЛрдВ рдкрд░ Kummer рдХрд╛ рдЕрдЧреНрд░рдгреА рдЕрдиреБрд╕рдВрдзрд╛рди
  • 21 Belyi рдмрд╣реБрдкрджреЛрдВ рдФрд░ рд╡рд┐рд▓рдХреНрд╖рдгрддрд╛рдУрдВ рдкрд░ Labs рдХрд╛ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдХрд╛рд░реНрдп
  • рд▓реЗрдЦрдХ рдХрд╛ рдкреВрд░реНрд╡рд╡рд░реНрддреА рдХрд╛рд░реНрдп рд╢реНрд░реГрдВрдЦрд▓рд╛ 9-15

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