In this paper, we study certain moduli spaces of vector bundles on the blowup of the projective plane in at least 10 very general points. Moduli spaces of sheaves on general type surfaces may be nonreduced, reducible and even disconnected. In contrast, moduli spaces of sheaves on minimal rational surfaces and certain del Pezzo surfaces are irreducible and smooth along the locus of stable bundles. We find examples of moduli spaces of vector bundles on more general blowups of the projective plane that are disconnected and have components of different dimensions. In fact, assuming the SHGH Conjecture, we can find moduli spaces with arbitrarily many components of arbitrarily large dimension.
рдкреЗрдкрд░ ID : 2306.06175рд╢реАрд░реНрд╖рдХ : Interpolation and moduli spaces of vector bundles on very general blowups of the projective planeрд▓реЗрдЦрдХ : рдЗрдЬрд╝реНрдЬрд╝рдд рдХреЛрд╕реНрдХреБрди (рдЗрд▓рд┐рдиреЙрдп рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп рд╢рд┐рдХрд╛рдЧреЛ), рдЬреИрдХ рд╣реНрдпреВрдЗрдЬрд╝реЗрдВрдЧрд╛ (рдкреЗрдВрд╕рд┐рд▓реНрд╡реЗрдирд┐рдпрд╛ рд╕реНрдЯреЗрдЯ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп)рд╡рд░реНрдЧреАрдХрд░рдг : math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп : 2024, ├Йpijournal de G├йom├йtrie Alg├йbrique, рдЦрдВрдб 8, рд▓реЗрдЦ рд╕рдВрдЦреНрдпрд╛ 7рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2306.06175 рдпрд╣ рдкреЗрдкрд░ рдкреНрд░рдХреНрд╖реЗрдкреА рддрд▓ P┬▓ рдХреЗ рдХрдо рд╕реЗ рдХрдо 10 рдмрд╣реБрдд рд╕рд╛рдорд╛рдиреНрдп рдмрд┐рдВрджреБрдУрдВ рдкрд░ рд╡рд┐рд╕реНрдлреЛрдЯ рдХреЗ рдХреБрдЫ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рдиреЛрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИред рд╕рд╛рдорд╛рдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреА рд╕рддрд╣реЛрдВ рдкрд░ рд╢реАрдл рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдЕ-рдиреНрдпреВрдиреАрдХреГрдд, рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдпрд╛ рдпрд╣рд╛рдВ рддрдХ рдХрд┐ рдЕрд╕рдВрдпреБрдХреНрдд рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВред рдЗрд╕рдХреЗ рд╡рд┐рдкрд░реАрдд, рдиреНрдпреВрдирддрдо рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдФрд░ рдХреБрдЫ рдбреЗрд▓ рдкреЗрдЬрд╝реЛ рд╕рддрд╣реЛрдВ рдкрд░ рд╢реАрдл рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рд╕реНрдерд┐рд░ рдмрдВрдбрд▓ рд▓реЛрдХрд╕ рдкрд░ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдФрд░ рдЪрд┐рдХрдиреЗ рд╣реЛрддреЗ рд╣реИрдВред рд▓реЗрдЦрдХреЛрдВ рдиреЗ P┬▓ рдХреЗ рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рд╡рд┐рд╕реНрдлреЛрдЯреЛрдВ рдкрд░ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рдиреЛрдВ рдХреЗ рдЙрджрд╛рд╣рд░рдг рдЦреЛрдЬреЗ рд╣реИрдВ, рдЬреЛ рдЕрд╕рдВрдпреБрдХреНрдд рд╣реИрдВ рдФрд░ рд╡рд┐рднрд┐рдиреНрди рдЖрдпрд╛рдореЛрдВ рдХреА рд╢рд╛рдЦрд╛рдПрдВ рд░рдЦрддреЗ рд╣реИрдВред рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ, SHGH рдЕрдиреБрдорд╛рди рдХреЛ рдорд╛рдирддреЗ рд╣реБрдП, рдХрд┐рд╕реА рднреА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдХрд┐рд╕реА рднреА рдмрдбрд╝реЗ рдЖрдпрд╛рдо рдХреА рд╢рд╛рдЦрд╛рдУрдВ рд╡рд╛рд▓реЗ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдкрд╛рдП рдЬрд╛ рд╕рдХрддреЗ рд╣реИрдВред
рд╕рдорд╛рдзрд╛рди рдХреА рдЬрд╛рдиреЗ рд╡рд╛рд▓реА рдореВрд▓ рд╕рдорд╕реНрдпрд╛ :рдкреНрд░рдХреНрд╖реЗрдкреА рддрд▓ P┬▓ рдХреЗ рдХрдИ рд╕рд╛рдорд╛рдиреНрдп рдмрд┐рдВрджреБрдУрдВ рдкрд░ рд╡рд┐рд╕реНрдлреЛрдЯ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рд╕рддрд╣ X рдкрд░ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рдиреЛрдВ рдХреА рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдЕрдзреНрдпрдпрди рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рдЬрдм рд╡рд┐рд╕реНрдлреЛрдЯ рдмрд┐рдВрджреБрдУрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ nтЙе10 рд╣реЛ, рддреЛ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди MX,At(2,K,╧З) рдХреА рд╕рдВрдпреЛрдЬрдХрддрд╛ рдФрд░ рд╢рд╛рдЦрд╛ рд╕рдВрд░рдЪрдирд╛ рдкрд░ рдзреНрдпрд╛рди рдХреЗрдВрджреНрд░рд┐рдд рдХрд░рдирд╛ рд╕рдорд╕реНрдпрд╛ рдХреА рдорд╣рддреНрддрд╛ :рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреЗ рд╕рд╛рдВрд╕реНрдерд┐рддрд┐рдХ рдЧреБрдг рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рдореЙрдбреНрдпреВрд▓реА рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИрдВ рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рд╢реАрдл рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреЗ рд╡реНрдпрд╡рд╣рд╛рд░ рд╡рд┐рднрд┐рдиреНрди рдкрд░рд┐рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рдЙрд▓реНрд▓реЗрдЦрдиреАрдп рдЕрдВрддрд░ рджрд┐рдЦрд╛рддреЗ рд╣реИрдВ рдпреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рдиреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдорд╛рд░реНрдЧрджрд░реНрд╢рди рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВ рдореМрдЬреВрджрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рд╕реАрдорд╛рдПрдВ :рдиреНрдпреВрдирддрдо рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдФрд░ рдХреБрдЫ рдбреЗрд▓ рдкреЗрдЬрд╝реЛ рд╕рддрд╣реЛрдВ рдХреЗ рд▓рд┐рдП, рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рд╕реНрдерд┐рд░ рдмрдВрдбрд▓ рд▓реЛрдХрд╕ рдкрд░ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдФрд░ рдЪрд┐рдХрдиреЗ рд╣реЛрдиреЗ рдХреЗ рд▓рд┐рдП рдЬрд╛рдиреЗ рдЬрд╛рддреЗ рд╣реИрдВ рд╡рд╛рд▓реНрдЯрд░ рдиреЗ рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдХреБрдЫ рд╢рд░реНрддреЛрдВ рдХреЗ рддрд╣рдд (KY + F)┬╖A < 0 рд╣реЛрдиреЗ рдкрд░, рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╣реИ рд▓реЗрдХрд┐рди рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдХреЗ рд▓рд┐рдП, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ рдЬрдм рд╡рд╛рд▓реНрдЯрд░ рд╢рд░реНрдд рдХрд╛ рдЙрд▓реНрд▓рдВрдШрди рд╣реЛрддрд╛ рд╣реИ, рддреЛ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреЗ рд╡реНрдпрд╡рд╣рд╛рд░ рдЕрднреА рднреА рд╕реНрдкрд╖реНрдЯ рдирд╣реАрдВ рд╣реИрдВ рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛ :рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреЗ рд╕рдВрднрд╛рд╡рд┐рдд рд░реЛрдЧрдЬрдирдХ рд╡реНрдпрд╡рд╣рд╛рд░ рдХреА рдЦреЛрдЬ рдХрд░рдирд╛ рдпрд╣ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдирд╛ рдХрд┐ рдХрд┐рди рдкрд░рд┐рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп, рдЕрд╕рдВрдпреБрдХреНрдд рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рджрд┐рдЦрд╛рдИ рджреЗрддреЗ рд╣реИрдВ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреЗ рд╕рд╛рдВрд╕реНрдерд┐рддрд┐рдХ рдЧреБрдгреЛрдВ рдХреЗ рд╕рд╛рдорд╛рдиреНрдп рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдирдП рдЙрджрд╛рд╣рд░рдг рдФрд░ рдкреНрд░рддрд┐рдЙрджрд╛рд╣рд░рдг рдкреНрд░рджрд╛рди рдХрд░рдирд╛ рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкрд╣рд▓реА рдмрд╛рд░ рджреЗрдЦреЗ рдЧрдП рд░реЛрдЧрдЬрдирдХ рдШрдЯрдирд╛рдУрдВ рдХреА рдЦреЛрдЬ :рдЕрд╕рдВрдпреБрдХреНрдд рдФрд░ рд╡рд┐рднрд┐рдиреНрди рдЖрдпрд╛рдореЛрдВ рдХреА рд╢рд╛рдЦрд╛рдУрдВ рд╡рд╛рд▓реЗ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рдиреЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг SHGH рдЕрдиреБрдорд╛рди рдХреЛ рдорд╛рдирддреЗ рд╣реБрдП, рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдХрд┐рд╕реА рднреА рд╕рдВрдЦреНрдпрд╛ рдореЗрдВ рдХрд┐рд╕реА рднреА рдмрдбрд╝реЗ рдЖрдпрд╛рдо рдХреА рд╢рд╛рдЦрд╛рдУрдВ рд╡рд╛рд▓реЗ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдмрдВрдбрд▓реЛрдВ рдХреЗ рд╡рд░реНрдЧреАрдХрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рд╕реНрдерд╛рдкрдирд╛ :рд╕рд╛рдмрд┐рдд рдХрд┐рдпрд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдпреВрд▓рд░ рд╡рд┐рд╢реЗрд╖рддрд╛ рд╡рд╛рд▓реЗ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ V рдХрд╛ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп "рдкреНрд░рдХрд╛рд░ D" рд╣реИ рдкреНрд░рдХрд╛рд░ D рдХрд╛ рдкреВрд░реНрдг рд╡рд░реНрдЧреАрдХрд░рдг рджрд┐рдпрд╛, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ 10тЙдnтЙд17 рдХреЗ рдорд╛рдорд▓реЛрдВ рдХреЗ рд▓рд┐рдП рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреЗ рдареЛрд╕ рд╡рд┐рд╡рд░рдг рдкреНрд░рджрд╛рди рдХрд┐рдП :n=16 рдХреЗ рд▓рд┐рдП: MX,At(2,K,2) тЙЕ PтБ╡ (рдЬрдм 14/3 < t < 16/3); PтБ╡ рдХрд╛ 16 рдмрд┐рдВрджреБрдУрдВ рдкрд░ рд╡рд┐рд╕реНрдлреЛрдЯ (рдЬрдм 4 < t < 14/3) n=25 рдХреЗ рд▓рд┐рдП: MX,At(2,K,4) тЙЕ 25 PтБ╕ рдХрд╛ рдЕрд╕рдВрдпреБрдХреНрдд рд╕рдВрдШ (рдЬрдм 5 < t тЙд 27/5) рд╕рддрдд рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП :рдЬрдм n рдкреВрд░реНрдг рд╡рд░реНрдЧ рдирд╣реАрдВ рд╣реИ, рддреЛ рдкреНрд░рднрд╛рд╡реА рднрд╛рдЬрдХ D рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рдкреЗрд▓ рд╕рдореАрдХрд░рдг рдХреЛ рд╣рд▓ рдХрд░рдХреЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рдорд╕реНрдпрд╛ рдореЗрдВ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдХрд┐рдпрд╛, рдЧрдгрдирд╛ рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд┐рдП рд╕рддрд╣ X = Bl_{pтВБ,...,pтВЩ}P┬▓ рдкрд░ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди MX,At(r,cтВБ,╧З) рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рдирд╛, рдЬрд╣рд╛рдВ:
X, P┬▓ рдХрд╛ n рд╕рд╛рдорд╛рдиреНрдп рдмрд┐рдВрджреБрдУрдВ рдкрд░ рд╡рд┐рд╕реНрдлреЛрдЯ рд╣реИ At = tH - E рдзреНрд░реБрд╡реАрдХреГрдд рднрд╛рдЬрдХ рд╣реИ (t > тИЪn) (r,cтВБ,╧З) = (2,K,╧З) рдХреЗ рдорд╛рдорд▓реЗ рдкрд░ рдзреНрдпрд╛рди рдХреЗрдВрджреНрд░рд┐рдд рдХрд░рдирд╛, рдЬрд╣рд╛рдВ K рд╡рд┐рд╣рд┐рдд рднрд╛рдЬрдХ рд╣реИ рдкрд░рд┐рднрд╛рд╖рд╛ 3.1 : рдорд╛рди рд▓реАрдЬрд┐рдП v = (2,K,╧З) рдФрд░ ╧ЗтЙе1, D рдкреНрд░рднрд╛рд╡реА рднрд╛рдЬрдХ рд╡рд░реНрдЧ рд╣реИ рдЬреЛ ╧З(D)тЙе1 рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИред рд╕рджрд┐рд╢ рдмрдВрдбрд▓ V рдХрд╛ рдкреНрд░рдХрд╛рд░ D рд╣реИ, рдпрджрд┐ рдпрд╣ рд╕рдЯреАрдХ рдЕрдиреБрдХреНрд░рдо рдореЗрдВ рдлрд┐рдЯ рдмреИрдарддрд╛ рд╣реИ:
0 тЖТ O(D) тЖТ V тЖТ K(-D)тКЧI_Z тЖТ 0
рдЬрд╣рд╛рдВ Z рд▓рдВрдмрд╛рдИ 2╧З(O(D))-╧З рдХрд╛ рд╢реВрдиреНрдп-рдЖрдпрд╛рдореА рдпреЛрдЬрдирд╛ рд╣реИред
рдкреНрд░рдореЗрдп 3.2 : v = (2,K,╧З) (╧ЗтЙе1) рд╡рд┐рд╢реЗрд╖рддрд╛ рд╡рд╛рд▓рд╛ рдкреНрд░рддреНрдпреЗрдХ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ V рдХрд╛ рдареАрдХ рдПрдХ рдкреНрд░рдХрд╛рд░ D рд╣реИред
рдкреНрд░рд╕реНрддрд╛рд╡ 3.9 : рдпрджрд┐ V рдкреНрд░рдХрд╛рд░ D рдХрд╛ рдмрдВрдбрд▓ рд╣реИ рдФрд░ рдзреНрд░реБрд╡реАрдХрд░рдг AtтВА рдореМрдЬреВрдж рд╣реИ рдЬреЛ V рдХреЛ ╬╝-AtтВА рдЕрд░реНрдз-рд╕реНрдерд┐рд░ рдмрдирд╛рддрд╛ рд╣реИ, рддреЛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ:
2B┬╖D < B┬╖K рдЕрджреНрд╡рд┐рддреАрдп рдзреНрд░реБрд╡реАрдХрд░рдг AtD рдореМрдЬреВрдж рд╣реИ рдЬреЛ 2AtD┬╖D = AtD┬╖K рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ 2B┬╖D < B┬╖K рдФрд░ ╧З(D)тЙе1 рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рднрд╛рд╡реА рднрд╛рдЬрдХреЛрдВ рдХреЗ рд▓рд┐рдП:
рдЬрдм 10тЙдnтЙд12 рд╣реЛ (рдкреНрд░рдореЗрдп 4.8) :
рднрд╛рдЬрдХ D тИЪn рдХреЗ рд╕рддрдд рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рдХреЗ рд╡рд┐рд╖рдо рдЕрднрд┐рд╕рд╛рд░рдХреЛрдВ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ:
рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╡рд┐рд╖рдо рд╕рдВрдЦреНрдпрд╛ k рдХреЗ рд▓рд┐рдП, dk = ┬╜(pk-3), mk = ┬╜(qk-1) рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ Dk = dkH - mkE рд╢рд░реНрдд рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рднрд╛рдЬрдХ рд╣реИ рдЬрдм n=16 рд╣реЛ (рдкреНрд░рдореЗрдп 4.13) :
рд╢рд░реНрдд рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓рд╛ рдПрдХрдорд╛рддреНрд░ рднрд╛рдЬрдХ O рдФрд░ рдЕрдкрд╡рд╛рдж рднрд╛рдЬрдХ Ei рд╣реИред
рдкреНрд░рдХрд╛рд░ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рд╕реНрдерд╛рдкрдирд╛ :рд╕рдЯреАрдХ рдЕрдиреБрдХреНрд░рдо рдХреЗ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдмрдВрдбрд▓ рдХрд╛ рдЕрджреНрд╡рд┐рддреАрдп рдЕрдкрдШрдЯрди рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╕рд╣-рд╕рдорд░реВрдкрддрд╛ рдЧрдгрдирд╛ рд╕рдорд╕реНрдпрд╛ рдореЗрдВ рд░реВрдкрд╛рдВрддрд░рд┐рдд рдХрд░рдирд╛ рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдзрд┐ рдХрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ :рднрд╛рдЬрдХ рд╡рд░реНрдЧреАрдХрд░рдг рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдкреЗрд▓ рд╕рдореАрдХрд░рдг рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдирд╛ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╡рд╕реНрддреБрдУрдВ рдФрд░ рд╕рддрдд рднрд┐рдиреНрди рдХреЗ рдмреАрдЪ рдЧрд╣рд░рд╛ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХрд╛ рд╕рдЯреАрдХ рд╡рд┐рд╡рд░рдг :рд╡рд┐рд╕реНрддрд╛рд░ рд╡рд░реНрдЧреЛрдВ рдХреЗ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рддреНрдпреЗрдХ рд╢рд╛рдЦрд╛ рдХрд╛ рд╕рдЯреАрдХ рдЖрдпрд╛рдо рджреЗрдирд╛ рд╕рд╛рдмрд┐рдд рдХрд░рдирд╛ рдХрд┐ рд╡рд┐рднрд┐рдиреНрди рдкреНрд░рдХрд╛рд░ рдХреЗ рдЕрдиреБрд░реВрдк рд╢рд╛рдЦрд╛рдПрдВ рдЕрд╕рдВрдпреБрдХреНрдд рд╣реИрдВ SHGH рдЕрдиреБрдорд╛рди рдХрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ : рд╕реЗрдЧреНрд░реЗ-рд╣рд╛рд░рдмреЛрд░реНрди-рдЧрд┐рдорд┐рдЧреНрд▓рд┐рдпрд╛рдиреЛ-рд╣рд┐рд░реНрд╕рдЪрд╡рд┐рдЯреНрдЬрд╝ рдЕрдиреБрдорд╛рди рдХреЛ рдорд╛рдирдирд╛рдирд╛рдЧрддрд╛ рдЕрдиреБрдорд╛рди : рдЬрдм nтЙе10 рдФрд░ t>тИЪn рд╣реЛ, рддреЛ At рдкреНрд░рдЪреБрд░ рд╣реИрд╕рд╣-рд╕рдорд░реВрдкрддрд╛ рдЧрдгрдирд╛ : рд░реАрдореИрди-рд░реЛрдЪ рдкреНрд░рдореЗрдп рдФрд░ рд╢реАрдл рдХреЗ рд╕рдЯреАрдХ рдЕрдиреБрдХреНрд░рдореЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдирд╛рдкреНрд░рднрд╛рд╡реА рднрд╛рдЬрдХ D рдЕрдирдВрдд рдЕрдиреБрдХреНрд░рдо рдмрдирд╛рддреЗ рд╣реИрдВ:
O, 57H-18E, 2220H-702E, 84357H-26676E, ...
рдпреЗ рднрд╛рдЬрдХ тИЪ10 рдХреЗ рд╕рддрдд рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рд╕реЗ рдкрдврд╝реЗ рдЬрд╛ рд╕рдХрддреЗ рд╣реИрдВред
рднрд╛рдЬрдХ 6 рдЕрдирдВрдд рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдореЗрдВ рд╡рд┐рднрд╛рдЬрд┐рдд рд╣реЛрддреЗ рд╣реИрдВ, рдкреНрд░рддреНрдпреЗрдХ рдкрд░рд┐рд╡рд╛рд░ рд╡рд┐рднрд┐рдиреНрди рд╕рдВрддреБрд▓рди рд╢рд░реНрддреЛрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╣реИ:
рдкрд░рд┐рд╡рд╛рд░ (I): O, 2142H-594E, ... рдкрд░рд┐рд╡рд╛рд░ (II): 195H-54E, 255057H-70740E, ... рдЖрджрд┐ n=16 :рдЬрдм 14/3 < t < 16/3 рд╣реЛ: MX,At(2,K,2) тЙЕ PтБ╡ рдЬрдм 4 < t < 14/3 рд╣реЛ: MX,At(2,K,2) тЙЕ PтБ╡ рдХрд╛ 16 рдмрд┐рдВрджреБрдУрдВ рдкрд░ рд╡рд┐рд╕реНрдлреЛрдЯ n=25 :рдЬрдм 5 < t тЙд 27/5 рд╣реЛ: MX,At(2,K,4) тЙЕ 25 PтБ╕ рдХрд╛ рдЕрд╕рдВрдпреБрдХреНрдд рд╕рдВрдШ 10тЙдnтЙд15 рдХреЗ рд▓рд┐рдП:
рдЬрдм t > n/3 рд╣реЛ, рддреЛ MX,At(2,K,2) рдЦрд╛рд▓реА рд╣реИ рдЬрдм t n/3 рд╕реЗ рдиреАрдЪреЗ рдЬрд╛рддрд╛ рд╣реИ, рддреЛ P^(n-11) рдХреЗ рд╕рдорд░реВрдк рд╢рд╛рдЦрд╛ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддреА рд╣реИ рдкреНрд░рддреНрдпреЗрдХ рдЧреИрд░-рддреБрдЪреНрдЫ рднрд╛рдЬрдХ D рдХреЗ рд▓рд┐рдП, рдЬрдм t tD рд╕реЗ рдиреАрдЪреЗ рдЬрд╛рддрд╛ рд╣реИ, рддреЛ рдЖрдпрд╛рдо -╧З(2D-K)-1 рдХреА рдирдИ рд╢рд╛рдЦрд╛ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддреА рд╣реИ рд╕рднреА рд╢рд╛рдЦрд╛рдПрдВ рдкрд░рд╕реНрдкрд░ рдЕрд╕рдВрдпреБрдХреНрдд рд╣реИрдВ рдЕрдиреБрдкрд╛рдд 1.4 : SHGH рдЕрдиреБрдорд╛рди рдХреЛ рдорд╛рдирддреЗ рд╣реБрдП, 10тЙдnтЙд12 рдХреЗ рд▓рд┐рдП, рд╕рдХрд╛рд░рд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ k рдФрд░ r рджрд┐рдП рдЧрдП рд╣реЛрдВ, ╬╡>0 рдореМрдЬреВрдж рд╣реИ рдЬреЛ рдХрд┐ рдЬрдм тИЪn < t < тИЪn+╬╡ рд╣реЛ, рддреЛ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди MX,At(2,K,╧З) рдореЗрдВ рдХрдо рд╕реЗ рдХрдо k рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╢рд╛рдЦрд╛рдПрдВ рдЖрдпрд╛рдо r рдХреА рд╣реЛрддреА рд╣реИрдВред
n=12 рдХреЗ рдорд╛рдорд▓реЗ рдХреЗ рд▓рд┐рдП, рджреАрд╡рд╛рд░ рдкрд╛рд░ рдХрд░рдиреЗ рдХрд╛ рдЕрдиреБрдХреНрд░рдо рд╣реИ:
D tD рдирдИ рд╢рд╛рдЦрд╛
O 4 P┬╣
21H-6E 52/15 P┬╣тБ░
312H-90E 724/209 P┬╣тБ┤тБ╡
...
рд╡рд╛рд▓реНрдЯрд░ рдкреНрд░рдореЗрдп : рдЬрдм (KY + F)┬╖A < 0 рд╣реЛ, рддреЛ рджреНрд╡рд┐рдкрд░рд┐рдореЗрдп рдирд┐рдпрдВрддреНрд░рд┐рдд рд╕рддрд╣реЛрдВ рдкрд░ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╣реИрдУ'рдЧреНрд░реЗрдбреА рдкреНрд░рдореЗрдп : рдЬрдм ╧З рдЛрдгрд╛рддреНрдордХ рдЕрдирдВрдд рдХреА рдУрд░ рдЬрд╛рддрд╛ рд╣реИ, рддреЛ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп, рдиреНрдпреВрдиреАрдХреГрдд рдФрд░ рд╕рд╛рдорд╛рдиреНрдп рдмрди рдЬрд╛рддрд╛ рд╣реИрдЧреЙрдЯрд╢реЗ рдкрд░рд┐рдгрд╛рдо : рд╣рд┐рд▓реНрдмрд░реНрдЯ рдпреЛрдЬрдирд╛ рдХреА рдмреЗрдЯреНрдЯреА рд╕рдВрдЦреНрдпрд╛рдПрдВ n рдХреЗ рд╕рд╛рде рдПрдХрджрд┐рд╖реНрдЯ рд░реВрдк рд╕реЗ рдмрдврд╝рддреА рд╣реИрдВрдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкрд╣рд▓реА рдмрд╛рд░ рдЕрд╕рдВрдпреБрдХреНрдд рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреА рдЦреЛрдЬ рдмреЗрдЯреНрдЯреА рд╕рдВрдЦреНрдпрд╛ рдХреА рдПрдХрджрд┐рд╖реНрдЯрддрд╛ рдХреА рд╕рд╛рдорд╛рдиреНрдп рдЕрдкреЗрдХреНрд╖рд╛ рдХрд╛ рдЙрд▓реНрд▓рдВрдШрди рд╡рд╛рд▓реНрдЯрд░ рд╢рд░реНрдд рд╡рд┐рдлрд▓ рд╣реЛрдиреЗ рдкрд░ рдареЛрд╕ рдЙрджрд╛рд╣рд░рдг рдкреНрд░рджрд╛рди рдХрд░рдирд╛ рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдЬрдЯрд┐рд▓ рд╕рд╛рдВрд╕реНрдерд┐рддрд┐рдХ рд╡реНрдпрд╡рд╣рд╛рд░ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ рдЬрдм рд╡рд╛рд▓реНрдЯрд░ рд╢рд░реНрдд рдХрд╛ рдЙрд▓реНрд▓рдВрдШрди рд╣реЛрддрд╛ рд╣реИ, рддреЛ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпрддрд╛ рд╡рд┐рдлрд▓ рд╣реЛ рд╕рдХрддреА рд╣реИ SHGH рдЕрдиреБрдорд╛рди рдХреА рд╕рддреНрдпрддрд╛ рдЗрди рдШрдЯрдирд╛рдУрдВ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╣реИ рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо SHGH рдЕрдиреБрдорд╛рди рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИрдВ (рдкреВрд░реНрдг рд╡рд░реНрдЧ рдорд╛рдорд▓реЛрдВ рдХреЛ рдЫреЛрдбрд╝рдХрд░) рд╡рд┐рд╢реНрд▓реЗрд╖рдг рд╡рд┐рд╢рд┐рд╖реНрдЯ рдЪрд░реНрди рд╡рд┐рд╢реЗрд╖рддрд╛рдУрдВ рддрдХ рд╕реАрдорд┐рдд рд╣реИ рдЧрдгрдирд╛ рдЬрдЯрд┐рд▓рддрд╛ n рдХреЗ рд╕рд╛рде рддреЗрдЬреА рд╕реЗ рдмрдврд╝рддреА рд╣реИ рдЙрдЪреНрдЪ рд░реИрдВрдХ рдХреЗ рд╕рджрд┐рд╢ рдмрдВрдбрд▓реЛрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд░рдирд╛ рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреА рд╕рддрд╣реЛрдВ рдкрд░ рд╕рдорд╛рди рдШрдЯрдирд╛рдУрдВ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд░рдирд╛ SHGH рдЕрдиреБрдорд╛рди рдкрд░ рдирд┐рд░реНрднрд░ рди рд░рд╣рдиреЗ рд╡рд╛рд▓реА рд╡рд┐рдзрд┐рдпреЛрдВ рдХрд╛ рд╡рд┐рдХрд╛рд╕ рдХрд░рдирд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдирд╡рд╛рдЪрд╛рд░ : рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкрд╣рд▓реА рдмрд╛рд░ рд░реЛрдЧрдЬрдирдХ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреА рдЦреЛрдЬ, рдореМрдЬреВрджрд╛ рдЬреНрдЮрд╛рди рдХреЛ рдЪреБрдиреМрддреА рджреЗрдирд╛рд╡рд┐рдзрд┐ рдкреВрд░реНрдгрддрд╛ : рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐, рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рд╕рд╣-рд╕рдорд░реВрдкрддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдХрдИ рдЙрдкрдХрд░рдгреЛрдВ рдХрд╛ рд╕рдВрдпреЛрдЬрдирдЧрдгрдирд╛ рд╕рдЯреАрдХрддрд╛ : рдареЛрд╕ рдЖрдпрд╛рдо рдФрд░ рд╕рдЯреАрдХ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рд╡рд┐рд╡рд░рдг рдкреНрд░рджрд╛рди рдХрд░рдирд╛рдЙрджрд╛рд╣рд░рдг рд╕рдореГрджреНрдзрд┐ : рдХрдИ рдареЛрд╕ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЙрджрд╛рд╣рд░рдг рдФрд░ рд╡рд░реНрдЧреАрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рдирд╛рдЕрдиреБрдорд╛рди рдирд┐рд░реНрднрд░рддрд╛ : рдореВрд▓ рдкрд░рд┐рдгрд╛рдо SHGH рдЕрдиреБрдорд╛рди рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИрдВ, рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рдмрд┐рдирд╛ рд╢рд░реНрдд рдкреНрд░рдХреГрддрд┐ рдХреЛ рд╕реАрдорд┐рдд рдХрд░рдирд╛рд╕реАрдорд╛ рд╕реНрдерд╛рдиреАрдпрддрд╛ : рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╡рд┐рд╢рд┐рд╖реНрдЯ рдЪрд░реНрди рд╡рд┐рд╢реЗрд╖рддрд╛рдУрдВ рдкрд░ рдзреНрдпрд╛рди рдХреЗрдВрджреНрд░рд┐рдд рдХрд░рдирд╛, рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХреА рдбрд┐рдЧреНрд░реА рд╕реАрдорд┐рдд рд╣реИрдЧрдгрдирд╛ рдЬрдЯрд┐рд▓рддрд╛ : рдмрдбрд╝реЗ n рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП, рд╡рд░реНрдЧреАрдХрд░рдг рдЕрддреНрдпрдВрдд рдЬрдЯрд┐рд▓ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди : рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рддрд┐рдЙрджрд╛рд╣рд░рдг рдФрд░ рдирдИ рдШрдЯрдирд╛рдПрдВ рдкреНрд░рджрд╛рди рдХрд░рдирд╛рд╡рд┐рдзрд┐ рдореВрд▓реНрдп : рд╕реНрдерд╛рдкрд┐рдд рддрдХрдиреАрдХреА рдврд╛рдВрдЪрд╛ рдЕрдиреНрдп рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИрд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдорд╣рддреНрд╡ : рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рдиреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдорд╛рд░реНрдЧрджрд░реНрд╢рди рдкреНрд░рджрд╛рди рдХрд░рдирд╛рдпрд╣ рд╡рд┐рдзрд┐ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЗ рд▓рд┐рдП рдЙрдкрдпреБрдХреНрдд рд╣реИ:
рдкрд░рд┐рдореЗрдп рд╕рддрд╣реЛрдВ рдкрд░ рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рдХреА рд╢рд╛рдЦрд╛рдУрдВ рдХреА рд╕рдЯреАрдХ рдЧрдгрдирд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╡рд╛рд▓реА рд╕рдорд╕реНрдпрд╛рдПрдВ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╕рддрдд рднрд┐рдиреНрди рд╡рд┐рдзрд┐ рдХрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкреЗрдкрд░ 29 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдореБрдЦреНрдп рд░реВрдк рд╕реЗ:
рдкреНрд░рдЪреБрд░рддрд╛ рдкрд░ рдирд╛рдЧрддрд╛ рдХреЗ рд╢рд╛рд╕реНрддреНрд░реАрдп рдХрд╛рд░реНрдп SHGH рдЕрдиреБрдорд╛рди рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╕рд╛рд╣рд┐рддреНрдп рдкреНрд░рдХреНрд╖реЗрдк рд╕реНрдерд╛рди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдореВрд▓ рд╕рд╛рд╣рд┐рддреНрдп (рдЧреАрд╕реЗрдХрд░, рдорд╛рд░реБрдпрд╛рдорд╛ рдЖрджрд┐) рд╕рд╛рдВрд╕реНрдерд┐рддрд┐рдХ рдЧреБрдгреЛрдВ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп (рдУ'рдЧреНрд░реЗрдбреА, рдЧреЙрдЯрд╢реЗ рдЖрджрд┐)