We introduce \emph{hierarchical depth}, a new invariant of line bundles and divisors, defined via maximal chains of effective sub-line bundles. This notion gives rise to \emph{hierarchical filtrations}, refining the structure of the Picard group and providing new insights into the geometry of algebraic surfaces. We establish fundamental properties of hierarchical depth, derive inequalities through intersection theory and the Hodge index theorem, and characterize filtrations that are Hodge-tight.
Using this framework, we develop a theory of \emph{hierarchical algebraic geometry codes}, constructed from evaluation spaces along these filtrations. This approach produces nested families of codes with controlled growth of parameters and identifies an optimal intermediate code maximizing a utility function balancing rate and minimum distance. Hierarchical depth thus provides a systematic method to construct AG codes with favorable asymptotic behavior, linking geometric and coding-theoretic perspectives.
Our results establish new connections between line bundle theory, surface geometry, and coding theory, and suggest applications to generalized Goppa codes and higher-dimensional evaluation codes.
рдкреЗрдкрд░ ID : 2507.01859рд╢реАрд░реНрд╖рдХ : Hierarchical filtrations of line bundles and optimal algebraic geometry codesрд▓реЗрдЦрдХ : Rahim Rahmati-Asgharрд╡рд░реНрдЧреАрдХрд░рдг : math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐), cs.IT (рд╕реВрдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд), math.AC (рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдмреАрдЬрдЧрдгрд┐рдд), math.IT (рдЧрдгрд┐рддреАрдп рд╕реВрдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп : 17 рдЕрдХреНрдЯреВрдмрд░ 2025 (arXiv рдкреНрд░реАрдкреНрд░рд┐рдВрдЯ)рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2507.01859v4 рдпрд╣ рдкреЗрдкрд░ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдирд╛рдордХ рд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдФрд░ рд╡рд┐рднрд╛рдЬрдХреЛрдВ рдХрд╛ рдПрдХ рдирдпрд╛ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕реЗ рдкреНрд░рднрд╛рд╡реА рдЙрдк-рд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдпрд╣ рдЕрд╡рдзрд╛рд░рдгрд╛ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдЙрддреНрдкрдиреНрди рдХрд░рддреА рд╣реИ, рдЬреЛ Picard рд╕рдореВрд╣ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкрд░рд┐рд╖реНрдХреГрдд рдХрд░рддреА рд╣реИ рдФрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рддрд╣реЛрдВ рдХреА рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рд▓рд┐рдП рдирдИ рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдкреНрд░рджрд╛рди рдХрд░рддреА рд╣реИред рд▓реЗрдЦрдХ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдХреЗ рдореМрд▓рд┐рдХ рдЧреБрдгреЛрдВ рдХреЛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддреЗ рд╣реИрдВ, рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ Hodge рд╕реВрдЪрдХрд╛рдВрдХ рдкреНрд░рдореЗрдп рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЕрд╕рдорд╛рдирддрд╛рдПрдВ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВ, рдФрд░ Hodge рд╕реБрд╕рдВрд╣рдд рдирд┐рд╕реНрдкрдВрджрдиреЛрдВ рдХреЛ рдЪрд┐рдиреНрд╣рд┐рдд рдХрд░рддреЗ рд╣реИрдВред
рдЗрд╕ рдврд╛рдВрдЪреЗ рдХреЗ рдЖрдзрд╛рд░ рдкрд░, рд▓реЗрдЦрдХ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛрдб рд╕рд┐рджреНрдзрд╛рдВрдд рд╡рд┐рдХрд╕рд┐рдд рдХрд░рддреЗ рд╣реИрдВ, рдЗрди рдирд┐рд╕реНрдкрдВрджрдиреЛрдВ рдХреЗ рд╕рд╛рде рдореВрд▓реНрдпрд╛рдВрдХрди рд╕реНрдерд╛рдиреЛрдВ рдХреЗ рд╕рд╛рде рдирд┐рд░реНрдорд╛рдг рдХрд░рдХреЗред рдпрд╣ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдирд┐рдпрдВрддреНрд░рд┐рдд рдкреИрд░рд╛рдореАрдЯрд░ рд╡реГрджреНрдзрд┐ рд╡рд╛рд▓реЗ рдиреЗрд╕реНрдЯреЗрдб рдХреЛрдб рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХрд╛ рдЙрддреНрдкрд╛рджрди рдХрд░рддрд╛ рд╣реИ рдФрд░ рдПрдХ рдЗрд╖реНрдЯрддрдо рдордзреНрдпрд╡рд░реНрддреА рдХреЛрдб рдХреА рдкрд╣рдЪрд╛рди рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рдХреЛрдб рджрд░ рдФрд░ рдиреНрдпреВрдирддрдо рджреВрд░реА рдХреЗ рдЙрдкрдпреЛрдЧрд┐рддрд╛ рдлрд▓рди рдХреЛ рд╕рдВрддреБрд▓рд┐рдд рдХрд░рддрд╛ рд╣реИред рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рдЕрдЪреНрдЫреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╡реНрдпрд╡рд╣рд╛рд░ рд╡рд╛рд▓реЗ AG рдХреЛрдб рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдПрдХ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд┐рдзрд┐ рдкреНрд░рджрд╛рди рдХрд░рддреА рд╣реИ, рдЬреЛ рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдХреЛ рдЬреЛрдбрд╝рддреА рд╣реИред
рд╢рд╛рд╕реНрддреНрд░реАрдп AG рдХреЛрдб рдХреА рд╕реАрдорд╛рдПрдВ : рдкрд╛рд░рдВрдкрд░рд┐рдХ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛрдб рдПрдХрд▓ рд╡рд┐рднрд╛рдЬрдХ рдФрд░ рдЗрд╕рдХреЗ рд╕рдВрдмрдВрдзрд┐рдд Riemann-Roch рд╕реНрдерд╛рдиреЛрдВ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдирд┐рд░реНрдорд┐рдд рд╣реЛрддреЗ рд╣реИрдВ, рд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдХреА рдЖрдВрддрд░рд┐рдХ рд╕рдВрд░рдЪрдирд╛ рдХреЗ рд╡рд┐рд╕реНрддреГрдд рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдХрдореА рд╣реЛрддреА рд╣реИредрд░реЗрдЦрд╛ рдмрдВрдбрд▓ рдирд┐рд╕реНрдкрдВрджрди рдХреА рдорд╣рддреНрддрд╛ : рд╕рджрд┐рд╢ рдмрдВрдбрд▓реЛрдВ рдХрд╛ рдирд┐рд╕реНрдкрдВрджрди рд╕реНрдерд┐рд░рддрд╛ рд╕реНрдерд┐рддрд┐рдпреЛрдВ, рд╕рд╣-рд╕рдорд░реВрдкрддрд╛ рд╡реНрдпрд╡рд╣рд╛рд░ рдФрд░ рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдпреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдореЗрдВ рдореВрд▓ рднреВрдорд┐рдХрд╛ рдирд┐рднрд╛рддрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдореМрдЬреВрджрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рд╕рдВрд░рдЪрдирд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рд╡реНрдпрд╡рд╕реНрдерд┐рддрддрд╛ рдХреА рдХрдореА рд╣реИредрдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ : рдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ, рдХреЛрдб рджрд░ рдФрд░ рдиреНрдпреВрдирддрдо рджреВрд░реА рдХреЛ рд╕рдВрддреБрд▓рд┐рдд рдХрд░рдирд╛ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛ рд╣реИ, рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП рдЗрд╖реНрдЯрддрдо рдкреИрд░рд╛рдореАрдЯрд░ рдХреА рдкрд╣рдЪрд╛рди рдХреЗ рд▓рд┐рдП рдирдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдЙрдкрдХрд░рдгреЛрдВ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИредрд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдХреА рдЖрдВрддрд░рд┐рдХ рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкрдХрдбрд╝рдиреЗ рдХреЗ рд▓рд┐рдП рдирдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдирд╛ рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ рдЕрдЪреНрдЫреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдЧреБрдгреЛрдВ рд╡рд╛рд▓реЗ AG рдХреЛрдб рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдПрдХ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд┐рдзрд┐ рдкреНрд░рджрд╛рди рдХрд░рдирд╛ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдЕрд╡рдзрд╛рд░рдгрд╛ рдХрд╛ рдкрд░рд┐рдЪрдп : рд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдХреА рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ h(L) рдХреЛ рдПрдХ рдирдП рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛, рдЬрд┐рд╕реЗ рдкреНрд░рднрд╛рд╡реА рдЙрдк-рд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреА рд▓рдВрдмрд╛рдИ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЪрд┐рдиреНрд╣рд┐рдд рдХрд┐рдпрд╛редрдореМрд▓рд┐рдХ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рд╕реНрдерд╛рдкрдирд╛ : рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдХреА рдкрд░рд┐рдорд┐рддрддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛, рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдКрдкрд░реА рд╕реАрдорд╛ рдЕрдиреБрдорд╛рди рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ h(L) тЙд cтВБ(L)┬╖H^(dim X-1)редHodge рд╕реБрд╕рдВрд╣рдд рдирд┐рд╕реНрдкрдВрджрди рд╕рд┐рджреНрдзрд╛рдВрдд : Hodge рд╕реБрд╕рдВрд╣рдд рдирд┐рд╕реНрдкрдВрджрдиреЛрдВ рдХрд╛ рдкрд░рд┐рдЪрдп рджрд┐рдпрд╛ рдФрд░ рдЪрд┐рдиреНрд╣рд┐рдд рдХрд┐рдпрд╛, рдЬреЛ Hodge рд╕реВрдЪрдХрд╛рдВрдХ рдЕрд╕рдорд╛рдирддрд╛ рдореЗрдВ рд╕рдорд╛рдирддрд╛ рдкреНрд░рд╛рдкреНрдд рдХрд░рддреЗ рд╣реИрдВредрдкрджрд╛рдиреБрдХреНрд░рдореАрдп AG рдХреЛрдб рдирд┐рд░реНрдорд╛рдг : рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдХреЗ рдЖрдзрд╛рд░ рдкрд░ рдирдП AG рдХреЛрдб рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХрд╛ рд╡рд┐рдХрд╛рд╕ рдХрд┐рдпрд╛, рдиреЗрд╕реНрдЯреЗрдб рдХреЛрдб рдЕрдиреБрдХреНрд░рдо CтВА тКВ CтВБ тКВ ... тКВ CтВХ рдХрд╛ рдЙрддреНрдкрд╛рджрди рдХрд┐рдпрд╛редрдЗрд╖реНрдЯрддрдо рдХреЛрдб рдХреА рдкрд╣рдЪрд╛рди : рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдХреЛрдб рдкрд░рд┐рд╡рд╛рд░ рдореЗрдВ рдПрдХ рдЕрджреНрд╡рд┐рддреАрдп рдЗрд╖реНрдЯрддрдо рдордзреНрдпрд╡рд░реНрддреА рдкрд░рдд рдХреЛрдб рдХреЗ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛, рдЬреЛ рдЙрдкрдпреЛрдЧрд┐рддрд╛ рдлрд▓рди Q(C) = (k/n)d рдХреЛ рдЕрдзрд┐рдХрддрдо рдХрд░рддрд╛ рд╣реИредрдкрд░рд┐рднрд╛рд╖рд╛ 1.1 (рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди) : рдорд╛рди рд▓реАрдЬрд┐рдП X рдХреНрд╖реЗрддреНрд░ F рдкрд░ рдПрдХ рдЪрд┐рдХрдирд╛ рдкреНрд░рдХреНрд╖реЗрдкреНрдп рд╡рд┐рд╡рд┐рдзрддрд╛ рд╣реИ, рдФрд░ L, X рдкрд░ рдПрдХ рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рд╣реИред L рдХрд╛ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рд╕реБрд╕рдВрдЧрдд рдЙрдк-рдкрд░рддреЛрдВ рдХрд╛ рдПрдХ рдкрд░рд┐рдорд┐рдд рд╕рдорд╛рд╡реЗрд╢рди рд╢реНрд░реГрдВрдЦрд▓рд╛ рд╣реИ:
F_L: O_X = LтВА тКВ LтВБ тКВ ... тКВ LтВХ = L
рдРрд╕рд╛ рдХрд┐ рдкреНрд░рддреНрдпреЗрдХ i = 1,...,h рдХреЗ рд▓рд┐рдП, рдПрдХ рдЧреИрд░-рд╢реВрдиреНрдп рдкреНрд░рднрд╛рд╡реА Cartier рд╡рд┐рднрд╛рдЬрдХ Eс╡в рдореМрдЬреВрдж рд╣реИ рдЬреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ:
Lс╡в тЙЕ Lс╡втВЛтВБ тКЧ O_X(Eс╡в)
рдкрд░рд┐рднрд╛рд╖рд╛ 1.2 (рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ) : L рдХреА рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ h(L) рдХреЛ рд╕рднреА рдкрд░рд┐рдорд┐рдд рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрдиреЛрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд▓рдВрдмрд╛рдИ рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
рдкреНрд░рд╕реНрддрд╛рд╡ 1.2 : рдпрджрд┐ L рдХреЗ рдкрд╛рд╕ рдХрдо рд╕реЗ рдХрдо рдПрдХ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдореМрдЬреВрдж рд╣реИ, рддреЛ рдирд┐рд╕реНрдкрдВрджрди рд▓рдВрдмрд╛рдИ рдХрд╛ рд╕рдореБрдЪреНрдЪрдп рдкрд░рд┐рдмрджреНрдз рд╣реИ рдФрд░ рдПрдХ рдЕрдзрд┐рдХрддрдо рдорд╛рди рдореМрдЬреВрдж рд╣реИред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ, h(L) рдкрд░рд┐рдорд┐рдд рд╣реИред
рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐ :
рдПрдХ рдкреНрд░рдЪреБрд░ рд░реЗрдЦрд╛ рдмрдВрдбрд▓ O_X(1) рдХреЛ рдареАрдХ рдХрд░реЗрдВ, H = cтВБ(O_X(1)) рд╕реЗрдЯ рдХрд░реЗрдВ рдХрд┐рд╕реА рднреА рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдХреЗ рд▓рд┐рдП, рд╕рднреА рдЕрдиреБрднрд╛рдЧреЛрдВ рдХрд╛ рдЧреБрдгрдирдлрд▓ sтВБ┬╖┬╖┬╖sтВХ, L рдХрд╛ рдПрдХ рдЧреИрд░-рд╢реВрдиреНрдп рдЕрдиреБрднрд╛рдЧ рджреЗрддрд╛ рд╣реИ рдЗрд╕рдХрд╛ рд╢реВрдиреНрдп рд╡рд┐рднрд╛рдЬрдХ EтВБ + ... + EтВХ тЙб cтВБ(L) рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ H^(dim X-1) рдХреЗ рд╕рд╛рде рдкреНрд░рддрд┐рдЪреНрдЫреЗрджрди рд╕реЗ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИ: h тЙд cтВБ(L)┬╖H^(dim X-1) рдЕрдиреБрдкрд╛рдд 1.5 : рдорд╛рди рд▓реАрдЬрд┐рдП C рдПрдХ рдЪрд┐рдХрдирд╛ рдкреНрд░рдХреНрд╖реЗрдкреНрдп рд╡рдХреНрд░ рд╣реИ, рдФрд░ L, C рдкрд░ рдПрдХ рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рд╣реИред рдпрджрд┐ L рдПрдХ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдХреЛ рд╕реНрд╡реАрдХрд╛рд░ рдХрд░рддрд╛ рд╣реИ, рддреЛ:
рдкреНрд░рддреНрдпреЗрдХ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдХреА рд▓рдВрдмрд╛рдИ рдЕрдзрд┐рдХрддрдо deg(L) рд╣реИ рдпрджрд┐ HтБ░(C,L) тЙа 0, рддреЛ h(L) = deg(L) рдкрд░рд┐рднрд╛рд╖рд╛ 1.11 (Hodge рд╕реБрд╕рдВрд╣рдд рдирд┐рд╕реНрдкрдВрджрди) : рдПрдХ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди рдХреЛ Hodge рд╕реБрд╕рдВрд╣рдд рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрджрд┐ рдкреНрд░рддреНрдпреЗрдХ рдордзреНрдпрд╡рд░реНрддреА рд╡рд┐рднрд╛рдЬрдХ Dт▒╝ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд░реВрдк рд╕реЗ рдПрдХ рдкреНрд░рдЪреБрд░ рд╡рд┐рднрд╛рдЬрдХ H рдХреЗ рд╕рдорд╛рдиреБрдкрд╛рддреА рд╣реЛ, рдЕрд░реНрдерд╛рддреН (H┬╖Dт▒╝)┬▓ = H┬▓Dт▒╝┬▓ред
рдкреНрд░рд╕реНрддрд╛рд╡ 1.13 : Hodge рд╕реБрд╕рдВрд╣рдд рдирд┐рд╕реНрдкрдВрджрди рдХреЗ рд▓рд┐рдП, рд╕рдЯреАрдХ рд╕реАрдорд╛рдПрдВ рд╣реИрдВ:
h тЙд H┬╖D рдпрджрд┐ D┬▓ тЙд N, рддреЛ h тЙд тМКтИЪ(NH┬▓)тМЛ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдирд┐рд╕реНрдкрдВрджрди F_L: LтВА тКВ LтВБ тКВ ... тКВ LтВХ = L рдФрд░ рдкрд░рд┐рдореЗрдп рдмрд┐рдВрджреБрдУрдВ рдХрд╛ рд╕рдореБрдЪреНрдЪрдп ╬У = {PтВБ,...,PтВЩ} рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ:
Cс╡в := C(X, Lс╡в, ╬У) = ev_╬У(HтБ░(X, Lс╡в))
рдпрд╣ рдиреЗрд╕реНрдЯреЗрдб рдХреЛрдб рдЕрдиреБрдХреНрд░рдо рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИ: CтВА тКВ CтВБ тКВ ... тКВ CтВХ
рдкреНрд░рд╕реНрддрд╛рд╡ 2.1 (P┬╣ рд╕реНрдерд┐рддрд┐) : рдорд╛рди рд▓реАрдЬрд┐рдП C = P┬╣, рд╢рд░реНрдд () рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рдиреЗ рд╡рд╛рд▓реЗ рдкрджрд╛рдиреБрдХреНрд░рдореАрдп AG рдХреЛрдб Cс╡в рдХреЗ рд▓рд┐рдП, рдЗрд╖реНрдЯрддрдо рдХреЛрдб Cс╡в рд╣реИ, рдЬрд╣рд╛рдВ:
рдкреНрд░рд╕реНрддрд╛рд╡ 2.5 (рд╕рд╛рдорд╛рдиреНрдп рд╡рдХреНрд░) : рдорд╛рди рд▓реАрдЬрд┐рдП C рд╡рдВрд╢ g рдХрд╛ рдПрдХ рдЪрд┐рдХрдирд╛ рдкреНрд░рдХреНрд╖реЗрдкреНрдп рд╡рдХреНрд░ рд╣реИ, 2g-1 тЙд i < n рдХреА рд╢реНрд░реЗрдгреА рдХреЗ рд▓рд┐рдП, рдЗрд╖реНрдЯрддрдо рдХреЛрдб рд╕реВрдЪрдХрд╛рдВрдХ рд╣реИ:
рдЙрджрд╛рд╣рд░рдг 2.10 : Hermitian рд╡рдХреНрд░ H: y^q + y = x^(q+1) рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ, рд╡рдВрд╢ g = q(q-1)/2, q┬│ рдкрд░рд┐рдореЗрдп рдмрд┐рдВрджреБ рд╣реИрдВред
q = 3 рд╕реНрдерд┐рддрд┐ : g = 3, n = 27, рдЗрд╖реНрдЯрддрдо рд╕реВрдЪрдХрд╛рдВрдХ i* = 14 рдпрд╛ 15, QтВБтВД = QтВБтВЕ тЙИ 5.777q = 5 рд╕реНрдерд┐рддрд┐ : g = 10, n = 125, рдЗрд╖реНрдЯрддрдо рд╕реВрдЪрдХрд╛рдВрдХ i* = 67, QтВЖтВЗ тЙИ 35.254рдЙрджрд╛рд╣рд░рдг 2.13 (рдкреНрд░рдХреНрд╖реЗрдкреНрдп рддрд▓) : S = P┬▓/FтВЗ, n = 57 рдкрд░рд┐рдореЗрдп рдмрд┐рдВрджреБ, рдШрди рд╕рдореАрдХрд░рдг рдХреЛ рд╣рд▓ рдХрд░рдХреЗ:
32i┬│ + 72i┬▓ - 82i - 171 = 0
рдЗрд╖реНрдЯрддрдо рд╕реВрдЪрдХрд╛рдВрдХ i* = 2, QтВВ тЙИ 3.94 рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИред
рдЙрджрд╛рд╣рд░рдг 2.16 (Hermitian рд╕рддрд╣) : q = 5 рдХреА рд╕реНрдерд┐рддрд┐ рдХреЗ рд▓рд┐рдП, рдЗрд╖реНрдЯрддрдо рд╕реВрдЪрдХрд╛рдВрдХ i* = 4; q = 101 рдХреА рд╕реНрдерд┐рддрд┐ рдХреЗ рд▓рд┐рдП, рдЗрд╖реНрдЯрддрдо рд╕реВрдЪрдХрд╛рдВрдХ i* = 49ред
рдпрд╣ рдкреЗрдкрд░ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ:
Goppa рдХрд╛ рдЕрдЧреНрд░рдгреА рдХрд╛рд░реНрдп : AG рдХреЛрдб рдХрд╛ рдореМрд▓рд┐рдХ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рдирд┐рд╕реНрдкрдВрджрди рд╕рд┐рджреНрдзрд╛рдВрдд : Atiyah-Bott рдЖрджрд┐ рджреНрд╡рд╛рд░рд╛ рд╕рджрд┐рд╢ рдмрдВрдбрд▓ рд╕реНрдерд┐рд░рддрд╛ рдкрд░ рдХрд╛рд░реНрдпHodge рд╕рд┐рджреНрдзрд╛рдВрдд : Hartshorne рдЖрджрд┐ рджреНрд╡рд╛рд░рд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдореЗрдВ рд╢рд╛рд╕реНрддреНрд░реАрдп рдкрд░рд┐рдгрд╛рдоAG рдХреЛрдб рдЕрдиреБрдХреВрд▓рди : Tsfasman-Vl─Гdut рдЖрджрд┐ рджреНрд╡рд╛рд░рд╛ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╕реАрдорд╛рдУрдВ рдкрд░ рдпреЛрдЧрджрд╛рдирдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рд░реЗрдЦрд╛ рдмрдВрдбрд▓реЛрдВ рдХрд╛ рдПрдХ рдирдпрд╛ рдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдкреНрд░рджрд╛рди рдХрд░рддреА рд╣реИ, рдЬреЛ рдЗрд╕рдХреА рдЖрдВрддрд░рд┐рдХ рдирд┐рд╕реНрдкрдВрджрди рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкрдХрдбрд╝рддрд╛ рд╣реИрдкрджрд╛рдиреБрдХреНрд░рдореАрдп AG рдХреЛрдб рд╢рд╛рд╕реНрддреНрд░реАрдп AG рдХреЛрдб рдХрд╛ рдПрдХ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рджреЗрддреЗ рд╣реИрдВ, рдирд┐рдпрдВрддреНрд░рд┐рдд рдкреИрд░рд╛рдореАрдЯрд░ рд╡рд╛рд▓реЗ рдиреЗрд╕реНрдЯреЗрдб рдХреЛрдб рдкрд░рд┐рд╡рд╛рд░реЛрдВ рдХрд╛ рдЙрддреНрдкрд╛рджрди рдХрд░рддреЗ рд╣реИрдВрдЗрд╖реНрдЯрддрдо рдордзреНрдпрд╡рд░реНрддреА рдкрд░рдд рдХреЛрдб рдХрд╛ рдЕрд╕реНрддрд┐рддреНрд╡ рдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рджрд░-рджреВрд░реА рд╡реНрдпрд╛рдкрд╛рд░ рдХреЗ рд▓рд┐рдП рдПрдХ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдорд╛рдзрд╛рди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЧрдгрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛ : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП, рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдХреА рдЧрдгрдирд╛ рдХрд╛рдлреА рдХрдард┐рди рд╣реЛ рд╕рдХрддреА рд╣реИрдкреНрд░рдпреЛрдЬреНрдпрддрд╛ рдХреА рд╢реНрд░реЗрдгреА : рд╕рд┐рджреНрдзрд╛рдВрдд рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╡рдХреНрд░реЛрдВ рдФрд░ рд╕рддрд╣реЛрдВ рдкрд░ рдХреЗрдВрджреНрд░рд┐рдд рд╣реИ, рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХреЗ рд▓рд┐рдП рдЖрдЧреЗ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИрд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ : рдареЛрд╕ рдЗрд╖реНрдЯрддрдо рдХреЛрдб рдХрд╛ рдирд┐рд░реНрдорд╛рдг рдЕрднреА рднреА рддрдХрдиреАрдХреА рдХрдард┐рдирд╛рдЗрдпреЛрдВ рдХреЛ рд╣рд▓ рдХрд░рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИрдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг : рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╡рд┐рд╡рд┐рдзрддрд╛рдУрдВ рддрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рдирд╛рдПрд▓реНрдЧреЛрд░рд┐рджрдорд┐рдХ рдХрд╛рд░реНрдпрд╛рдиреНрд╡рдпрди : рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдХреА рдЧрдгрдирд╛ рдФрд░ рдЗрд╖реНрдЯрддрдо рдХреЛрдб рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдкреНрд░рднрд╛рд╡реА рдПрд▓реНрдЧреЛрд░рд┐рджрдо рд╡рд┐рдХрд╕рд┐рдд рдХрд░рдирд╛рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╡рд┐рд╕реНрддрд╛рд░ : рдХреНрд╡рд╛рдВрдЯрдо рддреНрд░реБрдЯрд┐ рд╕реБрдзрд╛рд░ рдХреЛрдб рдФрд░ рдиреЗрдЯрд╡рд░реНрдХ рдХреЛрдбрд┐рдВрдЧ рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреА рдЦреЛрдЬ рдХрд░рдирд╛рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдирд╡рд╛рдЪрд╛рд░ : рдкрджрд╛рдиреБрдХреНрд░рдореАрдп рдЧрд╣рд░рд╛рдИ рдЕрд╡рдзрд╛рд░рдгрд╛ рдирдИ рд╣реИ, рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдПрдХ рдирдпрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддреА рд╣реИрдЬреНрдпрд╛рдорд┐рддреАрдп рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ : Hodge рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЧрд╣рд░реЗ рдЬреНрдпрд╛рдорд┐рддреАрдп рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдПрд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдореВрд▓реНрдп : рдЕрдиреБрдХреВрд▓рд┐рдд AG рдХреЛрдб рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рд▓рд┐рдП рдПрдХ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд┐рдзрд┐ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдЧрдгрд┐рддреАрдп рдХрдареЛрд░рддрд╛ : рдкреНрд░рдорд╛рдг рдкреВрд░реНрдг рд╣реИрдВ, рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рдордЬрдмреВрдд рд╣реИрд╕реАрдорд┐рдд рдЙрджрд╛рд╣рд░рдг : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреЗ рдареЛрд╕ рдЙрджрд╛рд╣рд░рдг рдХрдо рд╣реИрдВрдЧрдгрдирд╛рддреНрдордХ рдкрд╣рд▓реВ : рдкреНрд░рднрд╛рд╡реА рдПрд▓реНрдЧреЛрд░рд┐рджрдо рдФрд░ рдЬрдЯрд┐рд▓рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреА рдХрдореА рд╣реИрдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╕рддреНрдпрд╛рдкрди : рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдХреЛрдбрд┐рдВрдЧ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХрд╛ рд╕рддреНрдпрд╛рдкрди рдЕрдкрд░реНрдпрд╛рдкреНрдд рд╣реИрдпрд╣ рдХрд╛рд░реНрдп рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреНрд╖реЗрддреНрд░реЛрдВ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рднрд╛рд╡ рдбрд╛рд▓рдиреЗ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рд░рдЦрддрд╛ рд╣реИ:
рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ : рд░реЗрдЦрд╛ рдмрдВрдбрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдирдП рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд : AG рдХреЛрдб рдЕрдиреБрд╕рдВрдзрд╛рди рдореЗрдВ рдирдИ рджрд┐рд╢рд╛ рдЦреЛрд▓рддрд╛ рд╣реИрдЕрдВрддрдГрд╡рд┐рд╖рдп рдЕрдиреБрд╕рдВрдзрд╛рди : рдЬреНрдпрд╛рдорд┐рддрд┐ рдФрд░ рд╕реВрдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдЖрдЧреЗ рдХреЗ рдПрдХреАрдХрд░рдг рдХреЛ рдмрдврд╝рд╛рд╡рд╛ рджреЗрддрд╛ рд╣реИрдЙрдЪреНрдЪ-рдкреНрд░рджрд░реНрд╢рди рддреНрд░реБрдЯрд┐ рд╕реБрдзрд╛рд░ рдХреЛрдб рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╡рд╛рд▓реА рд╕рдВрдЪрд╛рд░ рдкреНрд░рдгрд╛рд▓рд┐рдпрд╛рдВ рдХреНрд╡рд╛рдВрдЯрдо рд╕реВрдЪрдирд╛ рдкреНрд░рд╕рдВрд╕реНрдХрд░рдг рдореЗрдВ рддреНрд░реБрдЯрд┐ рд╕реБрдзрд╛рд░ рдХреЛрдб рдбрд┐рдЬрд╛рдЗрди рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлреА рдореЗрдВ рдЬреНрдпрд╛рдорд┐рддрд┐-рдЖрдзрд╛рд░рд┐рдд рдирд┐рд░реНрдорд╛рдг рдкреЗрдкрд░ 24 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬреЛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐, рдХреЛрдбрд┐рдВрдЧ рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЧрдгрд┐рддреАрдп рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЗ рд╢рд╛рд╕реНрддреНрд░реАрдп рдФрд░ рдЖрдзреБрдирд┐рдХ рдХрд╛рд░реНрдпреЛрдВ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддреЗ рд╣реИрдВ, рдЬреЛ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдПрдХ рдордЬрдмреВрдд рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддреЗ рд╣реИрдВред