2025-11-12T15:16:11.274035

Derivations, 2-local derivations, biderivations and automorphisms of generalized Loop Heisenberg-Virasoro algebras

Ren, Tang
In this paper, the generalized Loop Heisenberg-Virasoro algebra is introduced. Firstly, we determine the derivations on the generalized Loop Heisenberg-Virasoro algebra. Then we show that all 2-local derivations are derivations. Furthermore, we determine the biderivations on the generalized Loop Heisenberg-Virasoro algebra are inner biderivations and give their applications. Finally, the automorphism groups on the generalized Loop Heisenberg-Virasoro algebra are presented.
academic

рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рдФрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рддреЛрдВ рдХреА рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ

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

  • рдкреЗрдкрд░ ID: 2503.19247
  • рд╢реАрд░реНрд╖рдХ: Derivations, 2-local derivations, biderivations and automorphisms of generalized Loop Heisenberg-Virasoro algebras
  • рд▓реЗрдЦрдХ: Qingyan Ren, Liming Tang (рд╣рд░рдмрд┐рди рд╕рд╛рдорд╛рдиреНрдп рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп)
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.RA (рд╡рд▓рдп рдФрд░ рдмреАрдЬрдЧрдгрд┐рдд)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: рдорд╛рд░реНрдЪ 2025 (arXiv v2: 24 рдЕрдХреНрдЯреВрдмрд░ 2025)
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2503.19247

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

рдпрд╣ рдкреЗрдкрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддрд╛ рд╣реИ рдФрд░ рдЗрд╕рдХреА рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИред рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдкрд░ рд╕рднреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХреЛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ; рдлрд┐рд░ рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рд╕рднреА 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╣реИрдВ; рдЖрдЧреЗ рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдкрд░ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рдЖрдВрддрд░рд┐рдХ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╣реИрдВ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЕрдиреБрдкреНрд░рдпреЛрдЧ рджрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВ; рдЕрдВрдд рдореЗрдВ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдХреЗ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рд╡рд░реНрдгрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

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

рдЕрдиреБрд╕рдВрдзрд╛рди рд╕рдорд╕реНрдпрд╛рдПрдБ

рдпрд╣ рдкреЗрдкрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд L(╬У) рдХреА рд╕рдВрд░рдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░рддрд╛ рд╣реИ, рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ:

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

рдорд╣рддреНрд╡

рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдирдВрдд-рд╡рд┐рдореАрдп рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рд╣реИ, рдЬреЛ рдЧрдгрд┐рдд рдФрд░ рднреМрддрд┐рдХреА рдХреЗ рдХрдИ рдХреНрд╖реЗрддреНрд░реЛрдВ рдореЗрдВ рдорд╣рддреНрд╡рдкреВрд░реНрдг рднреВрдорд┐рдХрд╛ рдирд┐рднрд╛рддрд╛ рд╣реИ:

  • рдпрд╣ рд╡реГрддреНрдд рдкрд░ рдШрд╛рдд рдПрдХ рд╕реЗ рдХрдо рдХреЗ рдЕрд╡рдХрд▓ рд╕рдВрдЪрд╛рд▓рдХреЛрдВ рдХреЗ рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рдХрд╛ рд╕рд╛рд░реНрд╡рднреМрдорд┐рдХ рдХреЗрдВрджреНрд░реАрдп рд╡рд┐рд╕реНрддрд╛рд░ рд╣реИ
  • рдЕрдиреБрд░реВрдк рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд, рд╕рдорд╛рдХрд▓рдиреАрдп рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ, рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд рдЖрджрд┐ рдХреНрд╖реЗрддреНрд░реЛрдВ рдореЗрдВ рд╡реНрдпрд╛рдкрдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рд╣реИ
  • рд╕рдВрд░рдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд (рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ рдЖрджрд┐) рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд╛ рдореВрд▓ рд╡рд┐рд╖рдп рд╣реИ

рд╡рд░реНрддрдорд╛рди рдЕрдиреБрд╕рдВрдзрд╛рди рд╕реАрдорд╛рдПрдБ

рдпрджреНрдпрдкрд┐ рдкрд╣рд▓реЗ рд╕реЗ рдХреБрдЫ рдЕрдиреБрд╕рдВрдзрд╛рди рдореМрдЬреВрдж рд╣реИрдВ:

  • рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдХреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рдФрд░ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ
  • рд╢реНрд░реЛрдбрд┐рдВрдЧрд░-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдХреА рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ
  • рд╡рд┐рдЯреНрдЯ рдмреАрдЬрдЧрдгрд┐рдд рдХреА 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ
  • рд╡рд┐рдХреГрдд рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдХреА рд╕рдВрд░рдЪрдирд╛

рд▓реЗрдХрд┐рди рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдЗрд╕ рдПрдХреАрдХреГрдд рдврд╛рдВрдЪреЗ рдХрд╛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдЕрдзреНрдпрдпрди рдЕрднреА рддрдХ рд░рд┐рдХреНрдд рд╣реИред

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

рд╕рдВрджрд░реНрдн 7 рдореЗрдВ рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рд╕реЗ рдкреНрд░реЗрд░рд┐рдд рд╣реЛрдХрд░, рдпрд╣ рдкреЗрдкрд░ рдЗрд╕реЗ рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рдПрдмреЗрд▓рд┐рдпрди рд╕рдореВрд╣ ╬У рдкрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд░рддрд╛ рд╣реИ, рдПрдХ рдПрдХреАрдХреГрдд рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рди рдХреЗрд╡рд▓ рдЬреНрдЮрд╛рдд рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЛрдВ (рдЬрдм ╬У=Z рд╣реЛ) рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рдЕрдзрд┐рдХ рд╡реНрдпрд╛рдкрдХ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред

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

  1. рдирдИ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдкрд░рд┐рдЪрдп: рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд L(╬У) рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдЬреЛ рдХрдИ рдЬреНрдЮрд╛рдд рдмреАрдЬрдЧрдгрд┐рддреЛрдВ рдХреЛ рдПрдХреАрдХреГрдд рдХрд░рддрд╛ рд╣реИ
  2. рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдмреАрдЬрдЧрдгрд┐рдд рдХрд╛ рдкреВрд░реНрдг рд╡рд░реНрдгрди: рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ DerL(╬У) = ad(L(╬У)) + (D_{HomZ(╬У,Ft,t^{-1})} тКХ D_{g(╬У)} тКХ D_{Ft,t^{-1}} тКХ D_{Ft,t^{-1}d/dt})
  3. 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдкреНрд░рдореЗрдп: рд╕рднреА 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╣реИрдВ (рдкреНрд░рдореЗрдп 10)
  4. рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг: рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ рд╕рднреА рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рдЖрдВрддрд░рд┐рдХ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╣реИрдВ (рдкреНрд░рдореЗрдп 15)
  5. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкрд░рд┐рдгрд╛рдо:
    • рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рд░реИрдЦрд┐рдХ рдорд╛рдирдЪрд┐рддреНрд░реЛрдВ рдХреЗ рд▓рд┐рдП рдЖрд╡рд╢реНрдпрдХ рдФрд░ рдкрд░реНрдпрд╛рдкреНрдд рд╢рд░реНрддреЛрдВ рдХрд╛ рд╡рд░реНрдгрди
    • рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдкрд░ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп post-Lie рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ рддреБрдЪреНрдЫ рд╣реИ
  6. рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рдХрд╛ рдирд┐рд░реНрдзрд╛рд░рдг: рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ AutL(╬У) тЙЕ A ├Ч Hom(╬У,Z) ├Ч ╧З(╬У) ├Ч AutZ ├Ч F* (рдкреНрд░рдореЗрдп 24)

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

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

рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд L(╬У) рдХреЗ рд▓рд┐рдП, рдЖрдзрд╛рд░ {L_{╬▒,i}, H_{╬▓,j} | ╬▒,╬▓ тИИ ╬У, i,j тИИ Z} рд╡рд╛рд▓реЗ рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рдЬреЛ рд▓рд╛рдИ рдХреЛрд╖реНрдардХ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ:

  • L_{╬▒,i}, L_{╬▓,j} = (╬▒-╬▓)L_{╬▒+╬▓,i+j}
  • L_{╬▒,i}, H_{╬▓,j} = -╬▓H_{╬▒+╬▓,i+j}
  • H_{╬▒,i}, H_{╬▓,j} = 0

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

рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХрд╛ рдирд┐рд░реНрдзрд╛рд░рдг рд╡рд┐рдзрд┐

рдореВрд▓ рд░рдгрдиреАрддрд┐: ╬У-рд╢реНрд░реЗрдгреАрдХреГрдд рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ

  1. рд╢реНрд░реЗрдгреАрдХреГрдд рд╡рд┐рдШрдЯрди (рд▓реЗрдореНрдорд╛ 2):
    • рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ DerL(╬У) = (DerL(╬У))_0 + adL(╬У)
    • ╬│тЙа0 рдХреЗ рд▓рд┐рдП рд╢реНрд░реЗрдгреАрдХреГрдд рд╡реНрдпреБрддреНрдкрддреНрддрд┐ DтИИ(DerL(╬У))╬│ рдХреЗ рд▓рд┐рдП, рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ D = ad{╬│^{-1}D(L_{0,0})} рдПрдХ рдЖрдВрддрд░рд┐рдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╣реИ
  2. рд╢реВрдиреНрдп-рд╢реНрд░реЗрдгреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╡рд┐рд╢реНрд▓реЗрд╖рдг (рд▓реЗрдореНрдорд╛ 3-4):
    • DтИИ(DerL(╬У))0 рдХреЗ рд▓рд┐рдП, D(L{╬▒,i}) = f_{╬▒,i}L_{╬▒,i} + g_{╬▒,i}H_{╬▒,i} рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ
    • D(L_{╬▒,i}, L_{╬▓,j}) рдХреА рдЧрдгрдирд╛ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдлрд▓рди рд╕рдореАрдХрд░рдг рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ:
      • f_{╬▒+╬▓,i+j} = f_{╬▒,i} + f_{╬▓,j}
      • (╬▒-╬▓)g_{╬▒+╬▓,i+j} = ╬▒g_{╬▒,i} - ╬▓g_{╬▓,j}
    • рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ f_{╬▒,i} = f_╬▒ (i рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░), fтИИHomZ(╬У,Ft,t^{-1})
    • рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ g_{╬▒,i} = g_╬▒, рдЬреЛ (╬▒-╬▓)g_{╬▒+╬▓} = ╬▒g_╬▒ - ╬▓g_╬▓ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИ
  3. рдорд╛рдирдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг: рдЪрд╛рд░ рдкреНрд░рдХрд╛рд░ рдХреА рд╢реВрдиреНрдп-рд╢реНрд░реЗрдгреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ
    • D^╧Ж: ╧ЖтИИHomZ(╬У,Ft,t^{-1}) рдХреЗ рдЕрдиреБрд░реВрдк
    • D^g: gтИИg(╬У) = {g:╬УтЖТFt,t^{-1} | (╬▒-╬▓)g_{╬▒+╬▓} = ╬▒g_╬▒ - ╬▓g_╬▓} рдХреЗ рдЕрдиреБрд░реВрдк
    • D^b: bтИИFt,t^{-1} рдХреЗ рдЕрдиреБрд░реВрдк
    • D^╧Б: ╧БтИИFt,t^{-1}d/dt рдХреЗ рдЕрдиреБрд░реВрдк

2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХрд╛ рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐

рдкрд░рд┐рднрд╛рд╖рд╛: рдорд╛рдирдЪрд┐рддреНрд░ ╬Ф:LтЖТL рдХреЛ 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрджрд┐ рдХрд┐рд╕реА рднреА x,yтИИL рдХреЗ рд▓рд┐рдП, рдПрдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ ╬Ф_{x,y} рдореМрдЬреВрдж рд╣реИ рдЬреИрд╕реЗ рдХрд┐ ╬Ф(x)=╬Ф_{x,y}(x), ╬Ф(y)=╬Ф_{x,y}(y)ред

рдкреНрд░рдорд╛рдг рд╡рд┐рдЪрд╛рд░ (рдкреНрд░рдореЗрдп 10):

  1. рдорд╛рди рд▓реЗрдВ рдХрд┐ ╬Ф рдПрдХ 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╣реИ, L_{0,i} рдФрд░ L_{1,j} рдХреЛ рдареАрдХ рдХрд░реЗрдВ
  2. ╬Ф_{L_{0,i},L_{1,j}} рдХреЛ рд╕рдВрдмрдВрдзрд┐рдд рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдХреЗ рд░реВрдк рдореЗрдВ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ
  3. ╬Ф^{(1)} = ╬Ф - ╬Ф_{L_{0,i},L_{1,j}} рдХреЛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ, рддрдм ╬Ф^{(1)}(L_{0,i}) = ╬Ф^{(1)}(L_{1,j}) = 0
  4. рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЪрд░рдг (рд▓реЗрдореНрдорд╛ 7-9):
    • рдпрджрд┐ ╬Ф(L_{╬▒,i})=0, рддреЛ ╬Ф_{L_{╬▒,i},x} рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╣реИ
    • рдпрджрд┐ ╬Ф(L_{0,i})=╬Ф(L_{1,j})=0, рддреЛ рд╕рднреА ╬▒тИИ╬У, kтИИZ рдХреЗ рд▓рд┐рдП ╬Ф(L_{╬▒,k})=0
    • рдпрджрд┐ рд╕рднреА ╬Ф(L_{╬▒,i})=0, рддреЛ ╬ФтЙб0
  5. рдирд┐рд╖реНрдХрд░реНрд╖: ╬Ф^{(1)}тЙб0, рдЗрд╕рд▓рд┐рдП ╬Ф=╬Ф_{L_{0,i},L_{1,j}} рдПрдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╣реИ

рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХрд╛ рд╡рд░реНрдЧреАрдХрд░рдг рд╡рд┐рдзрд┐

рдкрд░рд┐рднрд╛рд╖рд╛: рджреНрд╡рд┐рд░реИрдЦрд┐рдХ рдорд╛рдирдЪрд┐рддреНрд░ f:L├ЧLтЖТL рдХреЛ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрджрд┐ рдпрд╣ рджреЛрдиреЛрдВ рдШрдЯрдХреЛрдВ рдореЗрдВ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╣реИред

рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐ (рдкреНрд░рдореЗрдп 15):

  1. рдкреВрд░реНрдгрддрд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ: рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ L(╬У) рдПрдХ рдкреВрд░реНрдг рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рд╣реИ (рд▓реЗрдореНрдорд╛ 11), рдЕрд░реНрдерд╛рддреН L(╬У)=L(╬У),L(╬У)
  2. рдХреЗрдВрджреНрд░реАрдп рддрддреНрд╡ рдЧреБрдг (рд▓реЗрдореНрдорд╛ 12): рдпрджрд┐ ╬▒тИИC(L(╬У)), рддреЛ f(x,╬▒)=f(╬▒,x)=0
  3. рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдпрддрд╛ рдЧреБрдг (рд▓реЗрдореНрдорд╛ 13): f(x,y),u,v = [[x,y],f(u,v)]
  4. рдЪрд░рдгрдмрджреНрдз рдкреНрд░рдорд╛рдг:
    • рдЪрд░рдг (i): рдПрдХ ╬╗тИИF рдореМрдЬреВрдж рд╣реИ рдЬреИрд╕реЗ рдХрд┐ f(L_{0,i},L_{m,j}) тЙб ╬╗L_{0,i},L_{m,j} (mod FH_{0,i+j})
    • рдЪрд░рдг (ii): f(L_{0,i},H_{m,j}) тЙб ╬╗L_{0,i},H_{m,j} (mod FH_{0,i+j})
    • рдЪрд░рдг (iii): рд╕рднреА xтИИL(╬У) рдХреЗ рд▓рд┐рдП, f(L_{0,i},x) тЙб ╬╗L_{0,i},x (mod FH_{0,i+j})
    • рдЪрд░рдг (iv): f(x,y) тЙб ╬╗x,y (mod FH_{0,i+j})
    • рдЪрд░рдг (v): рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдЧреБрдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдореЙрдбреНрдпреВрд▓реЛ рдкрдж рдХреЛ рд╣рдЯрд╛рдПрдБ, f(x,y) = ╬╗x,y рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВ

рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рдХрд╛ рдирд┐рд░реНрдзрд╛рд░рдг

рд░рдгрдиреАрддрд┐:

  1. рд╕рдорд░реВрдкрддрд╛ рд╢рд░реНрддреЗрдВ (рд▓реЗрдореНрдорд╛ 20-21): L(╬У)тЙЕL(╬У') рдпрджрд┐ рдФрд░ рдХреЗрд╡рд▓ рдпрджрд┐ рдПрдХ aтИИF* рдореМрдЬреВрдж рд╣реИ рдЬреИрд╕реЗ рдХрд┐ a╬У'=╬У
  2. рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд░реВрдк: рдХреЛрдИ рднреА ╬╕тИИAutL(╬У) рдХреЛ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд▓рд┐рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ
    • ╬╕(L_{╬▒,i}) = a╬╝(╬▒,i)L_{╬▒/a,╬╡(╬▒,i)}
    • ╬╕(H_{╬▒,i}) = a╬╝(╬▒,i)H_{╬▒/a,╬╡(╬▒,i)}
  3. рдкрд╛рдБрдЪ рдкреНрд░рдХрд╛рд░ рдХреА рдореВрд▓ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ (рд▓реЗрдореНрдорд╛ 23):
    • ╬╕_a: aтИИA={aтИИF*|a╬У=╬У} рдХреЗ рдЕрдиреБрд░реВрдк
    • ╬╕_╧Ж: ╧ЖтИИHom(╬У,Z) рдХреЗ рдЕрдиреБрд░реВрдк
    • ╬╕_╧З: ╧ЗтИИ╧З(╬У) (рд╕рдореВрд╣ рд╕рдорд░реВрдкрддрд╛ ╬УтЖТF*) рдХреЗ рдЕрдиреБрд░реВрдк
    • ╬╕_╧И: ╧ИтИИAutZ={id,-id} рдХреЗ рдЕрдиреБрд░реВрдк
    • ╬╕_b: bтИИF* рдХреЗ рдЕрдиреБрд░реВрдк
  4. рд╕рдореВрд╣ рд╕рдорд░реВрдкрддрд╛ (рдкреНрд░рдореЗрдп 24): рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ рдорд╛рдирдЪрд┐рддреНрд░ ╬и:(a,╧Ж,╧З,╧И,b)тЖж╬╕_a╬╕_╧Ж╬╕_╧З╬╕_╧И╬╕_b рдПрдХ рд╕рдорд░реВрдкрддрд╛ рд╣реИ

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

рдиреЛрдЯ: рдпрд╣ рдкреЗрдкрд░ рд╢реБрджреНрдз рдЧрдгрд┐рдд рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЕрдиреБрд╕рдВрдзрд╛рди рд╣реИ, рдЗрд╕рдореЗрдВ рдкреНрд░рдпреЛрдЧ рдФрд░ рдбреЗрдЯрд╛рд╕реЗрдЯ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИрдВред рд╕рднреА рдкрд░рд┐рдгрд╛рдо рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХрд┐рдП рдЧрдП рд╣реИрдВред

рдкреНрд░рдорд╛рдг рддрдХрдиреАрдХреЗрдВ

  1. рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рд╕рд┐рджреНрдзрд╛рдВрдд: рд╡реНрдпреБрддреНрдкрддреНрддрд┐, рдХреЗрдВрджреНрд░, рдЖрджрд░реНрд╢ рдЖрджрд┐ рдореВрд▓ рдЕрд╡рдзрд╛рд░рдгрд╛рдУрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ
  2. рд╢реНрд░реЗрдгреАрдХреГрдд рд╕рдВрд░рдЪрдирд╛: L_{0,0} рдХреА рдЕрд░реНрдз-рд╕рд░рд▓рддрд╛ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ ╬У-рд╢реНрд░реЗрдгреАрдХрд░рдг рдХрд╛ рдкрд░рд┐рдЪрдп
  3. рдлрд▓рди рд╕рдореАрдХрд░рдг: рд▓рд╛рдИ рдХреЛрд╖реНрдардХ рд╕рдВрдмрдВрдзреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдлрд▓рди рд╕рдореАрдХрд░рдг рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛ рдФрд░ рд╣рд▓ рдХрд░рдирд╛
  4. рдкреНрд░реЗрд░рдг рдФрд░ рдирд┐рд░реНрдорд╛рдг: рд╡рд┐рднрд┐рдиреНрди рдорд╛рдорд▓реЛрдВ рдХрд╛ рд╡реНрдпрд╡рд╕реНрдерд┐рдд рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдФрд░ рдорд╛рдирдХ рд░реВрдкреЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдг

рд╕рддреНрдпрд╛рдкрди рд╡рд┐рдзрд┐

рдкреНрд░рддреНрдпреЗрдХ рдкреНрд░рдореЗрдп рдкреВрд░реНрдг рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  • рдкрд░реНрдпрд╛рдкреНрддрддрд╛ рдФрд░ рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХрд╛ рджреНрд╡рд┐рдореБрдЦреА рдкреНрд░рдорд╛рдг
  • рдкреНрд░рддрд┐рдЙрджрд╛рд╣рд░рдг рджреНрд╡рд╛рд░рд╛ рдмрд╣рд┐рд╖реНрдХрд╛рд░
  • рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЛрдВ рдХрд╛ рд╡рд┐рд╕реНрддреГрдд рд╡рд┐рд╢реНрд▓реЗрд╖рдг

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

рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ (рдкреНрд░рдореЗрдп 5)

DerL(╬У) = ad(L(╬У)) + (D_{HomZ(╬У,Ft,t^{-1})} тКХ D_{g(╬У)} тКХ D_{Ft,t^{-1}} тКХ D_{Ft,t^{-1}d/dt})

рдпрд╣ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдмреАрдЬрдЧрдгрд┐рдд рдХрд╛ рдкреВрд░реНрдг рд╡рд┐рдШрдЯрди рджреЗрддрд╛ рд╣реИ:

  • рдЖрдВрддрд░рд┐рдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рднрд╛рдЧ: ad(L(╬У))
  • рдмрд╛рд╣рд░реА рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рднрд╛рдЧ: рдЪрд╛рд░ рдЙрдк-рд╕реНрдерд╛рдиреЛрдВ рдХрд╛ рдкреНрд░рддреНрдпрдХреНрд╖ рдпреЛрдЧ
    • рд╕рдореВрд╣ рд╕рдорд░реВрдкрддрд╛рдУрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ
    • рд╡рд┐рд╢реЗрд╖ рдлрд▓рди g рдХреЗ рдЕрдиреБрд░реВрдк рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ
    • рд╕реНрдерд┐рд░рд╛рдВрдХреЛрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ
    • рдЕрд╡рдХрд▓ рд╕рдВрдЪрд╛рд▓рдХреЛрдВ рдХреЗ рдЕрдиреБрд░реВрдк рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ

2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдкреНрд░рдореЗрдп (рдкреНрд░рдореЗрдп 10)

L(╬У) рдкрд░ рдкреНрд░рддреНрдпреЗрдХ 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдПрдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╣реИ

рдпрд╣ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдХрдареЛрд░рддрд╛ рдкрд░рд┐рдгрд╛рдо рд╣реИ, рдЬреЛ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдХреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╕рдВрд░рдЪрдирд╛ рдмрд╣реБрдд "рдХрдареЛрд░" рд╣реИ, рдХреЛрдИ рд╡рд╛рд╕реНрддрд╡рд┐рдХ 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ (рдЕрд░реНрдерд╛рддреН рдЬреЛ рд╡реИрд╢реНрд╡рд┐рдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдирд╣реАрдВ рд╣реИ) рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИред

рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╡рд░реНрдЧреАрдХрд░рдг (рдкреНрд░рдореЗрдп 15)

L(╬У) рдкрд░ рдкреНрд░рддреНрдпреЗрдХ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдПрдХ рдЖрдВрддрд░рд┐рдХ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╣реИ

рдЕрд░реНрдерд╛рддреН рдХреЛрдИ рднреА рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ f рдХрд╛ рд░реВрдк f(x,y)=╬╗x,y рд╣реИ, рдЬрд╣рд╛рдБ ╬╗тИИFред рдпрд╣ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдореЗрдВ рдХреЛрдИ рдЧреИрд░-рддреБрдЪреНрдЫ рдмрд╛рд╣рд░реА рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдирд╣реАрдВ рд╣реИред

рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкрд░рд┐рдгрд╛рдо

рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рд░реИрдЦрд┐рдХ рдорд╛рдирдЪрд┐рддреНрд░ рд╡рд░реНрдгрди (рдкреНрд░рдореЗрдп 16): рд░реИрдЦрд┐рдХ рдорд╛рдирдЪрд┐рддреНрд░ ╧Ж:L(╬У)тЖТL(╬У) рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рд╣реИ (рдЕрд░реНрдерд╛рддреН ╧Ж(x),x=0) рдпрджрд┐ рдФрд░ рдХреЗрд╡рд▓ рдпрджрд┐ рдПрдХ ╬╗тИИF рдФрд░ рд░реИрдЦрд┐рдХ рдорд╛рдирдЪрд┐рддреНрд░ ╧Д:L(╬У)тЖТC(L(╬У)) рдореМрдЬреВрдж рд╣реИ рдЬреИрд╕реЗ рдХрд┐ ╧Ж(x)=╬╗x+╧Д(x)ред

Post-Lie рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ (рдкреНрд░рдореЗрдп 18): L(╬У) рдкрд░ рдХреЛрдИ рднреА рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп post-Lie рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ рддреБрдЪреНрдЫ рд╣реИ (рдЕрд░реНрдерд╛рддреН рдЧреБрдгрди рд╢реВрдиреНрдп рд╣реИ)ред

рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ (рдкреНрд░рдореЗрдп 24)

AutL(╬У) тЙЕ A ├Ч Hom(╬У,Z) ├Ч ╧З(╬У) ├Ч AutZ ├Ч F*

рдпрд╣ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рдХреА рдкреВрд░реНрдг рд╕рдВрд░рдЪрдирд╛ рджреЗрддрд╛ рд╣реИ, рдпрд╣ рдкрд╛рдБрдЪ рд╕рдореВрд╣реЛрдВ рдХрд╛ рдкреНрд░рддреНрдпрдХреНрд╖ рдЧреБрдгрдирдлрд▓ рд╣реИ:

  • A: ╬У рдХреЛ рдЕрдкрд░рд┐рд╡рд░реНрддрд┐рдд рд░рдЦрдиреЗ рд╡рд╛рд▓реА рдЧреИрд░-рд╢реВрдиреНрдп рд╕рдВрдЦреНрдпрд╛рдПрдБ
  • Hom(╬У,Z): рд╕рдореВрд╣ рд╕рдорд░реВрдкрддрд╛рдПрдБ
  • ╧З(╬У): рд╡рд┐рд╢реЗрд╖рддрд╛ рд╕рдореВрд╣
  • AutZ: рдкреВрд░реНрдгрд╛рдВрдХ рд╡рд▓рдп рдХреА рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ
  • F*: рдЧреИрд░-рд╢реВрдиреНрдп рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХрд╛ рдЧреБрдгрдХ рд╕рдореВрд╣

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

рдореБрдЦреНрдп рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛рдПрдБ

  1. рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдкреНрд░рдХрд╛рд░ рдХреЗ рдмреАрдЬрдЧрдгрд┐рдд:
    • рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд 18
    • рд╢реНрд░реЛрдбрд┐рдВрдЧрд░-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд 5,19
    • рд╡рд┐рдЯреНрдЯ рдмреАрдЬрдЧрдгрд┐рдд 13
  2. рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдкреНрд░рдХрд╛рд░ рдХреЗ рдмреАрдЬрдЧрдгрд┐рдд:
    • рд╡рд┐рдХреГрдд рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд 4,6,15,17
    • рджрд░реНрдкрдг рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд 8,9,10,11
    • рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд 12
  3. рд╕рдВрд░рдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди:
    • рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рдФрд░ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ 5,12,13,15,18
    • 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ 1,2
    • рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ 3,10,16,17,19,20

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

  • рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ L(╬У) рд╕рдВрджрд░реНрдн 7 рдХреЗ рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдХреЛ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдХрд░рддрд╛ рд╣реИ (рдЬрдм ╬У=Z рд╣реЛ)
  • рдПрдХреАрдХрд░рдг: рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд 12 рдХреЛ рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЗ рдХреЗ рд░реВрдк рдореЗрдВ рд╢рд╛рдорд┐рд▓ рдХрд░рддрд╛ рд╣реИ
  • рд╡рд┐рдзрд┐ рдЙрдзрд╛рд░: рд╕рдВрджрд░реНрдн 2,5,12,18,19 рдХреА рд╕рдорд╛рди рддрдХрдиреАрдХреА рд╡рд┐рдзрд┐рдпреЛрдВ рдХреЛ рдЕрдкрдирд╛рддрд╛ рд╣реИ

рдЗрд╕ рдкреЗрдкрд░ рдХреЗ рд▓рд╛рдн

  1. рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рдврд╛рдВрдЪрд╛: рдХрд┐рд╕реА рднреА рдПрдмреЗрд▓рд┐рдпрди рд╕рдореВрд╣ ╬У рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИ
  2. рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдкреВрд░реНрдгрддрд╛: рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ, 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ, рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдФрд░ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдУрдВ рдХрд╛ рдПрдХ рд╕рд╛рде рдЕрдзреНрдпрдпрди
  3. рд╕рдореГрджреНрдз рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдорд╛рдирдЪрд┐рддреНрд░реЛрдВ рдФрд░ post-Lie рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХрд╛ рд╡рд░реНрдгрди

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

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

  1. L(╬У) рдХреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ, рд╕реНрдкрд╖реНрдЯ рдкреНрд░рддреНрдпрдХреНрд╖ рдпреЛрдЧ рд╡рд┐рдШрдЯрди рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
  2. 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХреА рдХрдареЛрд░рддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ: рд╕рднреА 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╡реИрд╢реНрд╡рд┐рдХ рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╣реИрдВ
  3. рд╕рднреА рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдХреЛ рд╡рд░реНрдЧреАрдХреГрдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ: рдХреЗрд╡рд▓ рдЖрдВрддрд░рд┐рдХ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ рд╣реИрдВ
  4. рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЪрд┐рд╣реНрдирд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ: рдкрд╛рдБрдЪ рд╕рдореВрд╣реЛрдВ рдХрд╛ рдкреНрд░рддреНрдпрдХреНрд╖ рдЧреБрдгрдирдлрд▓
  5. рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдорд╛рдирдЪрд┐рддреНрд░реЛрдВ рдФрд░ post-Lie рд╕рдВрд░рдЪрдирд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ: рдкреВрд░реНрдг рд╡рд░реНрдгрди рджрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ

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

  • рдЕрдирдВрдд-рд╡рд┐рдореАрдп рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдПрдХ рдкреВрд░реНрдг рд╕рдВрд░рдЪрдирд╛ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЖрдзрд╛рд░ рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
  • рдпрд╣ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ рдХрд┐ рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдореЗрдВ рдЕрдЪреНрдЫреА рдХрдареЛрд░рддрд╛ рдЧреБрдг рд╣реИрдВ
  • рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд, рдореЙрдбреНрдпреВрд▓ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдЖрдЧреЗ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд┐рдП рдЧрдП рд╣реИрдВ

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

  1. рдкреНрд░рддрд┐рдмрдВрдзрд┐рдд рд╢рд░реНрддреЗрдВ: рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ рдХрд┐ рдЖрдзрд╛рд░ рдХреНрд╖реЗрддреНрд░ F рд╡рд┐рд╢реЗрд╖рддрд╛ рд╢реВрдиреНрдп рдХрд╛ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд░реВрдк рд╕реЗ рдмрдВрдж рдХреНрд╖реЗрддреНрд░ рд╣реЛ
  2. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ: рд╢реБрджреНрдз рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЕрдиреБрд╕рдВрдзрд╛рди, рдареЛрд╕ рднреМрддрд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдореЗрдВ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ
  3. рдЧрдгрдирд╛рддреНрдордХ рдЬрдЯрд┐рд▓рддрд╛: рд╡рд┐рд╢рд┐рд╖реНрдЯ ╬У рдХреЗ рд▓рд┐рдП, рдХреБрдЫ рдЧрдгрдирд╛рдПрдБ рдЕрдзрд┐рдХ рдЬрдЯрд┐рд▓ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ
  4. рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд: рдЗрд╕ рдмреАрдЬрдЧрдгрд┐рдд рдХреЗ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ (рдпрд╣ рдПрдХ рд╕реНрд╡рддрдВрддреНрд░ рдмрдбрд╝рд╛ рд╡рд┐рд╖рдп рд╣реИ)

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

рдпрджреНрдпрдкрд┐ рдкреЗрдкрд░ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рдкреНрд░рд╛рдХреГрддрд┐рдХ рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛рдУрдВ рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  1. рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд: L(╬У) рдХреЗ рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡, рднрд╛рд░ рдореЙрдбреНрдпреВрд▓ рдЖрджрд┐ рдХрд╛ рдЕрдзреНрдпрдпрди
  2. рдХреЗрдВрджреНрд░реАрдп рд╡рд┐рд╕реНрддрд╛рд░: рдХреЗрдВрджреНрд░реАрдп рддрддреНрд╡реЛрдВ рдХреЗ рд╕рд╛рде рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдмреАрдЬрдЧрдгрд┐рдд рдХрд╛ рдЕрдзреНрдпрдпрди
  3. рдкрд░рд┐рдорд╛рдгреАрдХрд░рдг: рд╕рдВрдмрдВрдзрд┐рдд рдХреНрд╡рд╛рдВрдЯрдо рд╕рдореВрд╣ рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдЕрдзреНрдпрдпрди
  4. рднреМрддрд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧ: рдЕрдиреБрд░реВрдк рдХреНрд╖реЗрддреНрд░ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреА рдЦреЛрдЬ
  5. рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг: рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рд▓реВрдк рдкреНрд░рдХрд╛рд░ рдХреЗ рдмреАрдЬрдЧрдгрд┐рддреЛрдВ рдХрд╛ рдЕрдзреНрдпрдпрди

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

рд▓рд╛рдн

1. рдЧрдгрд┐рддреАрдп рдХрдареЛрд░рддрд╛

  • рд╕рднреА рдкреНрд░рдореЗрдпреЛрдВ рдХреЗ рдкрд╛рд╕ рдкреВрд░реНрдг рдХрдареЛрд░ рдкреНрд░рдорд╛рдг рд╣реИрдВ
  • рддрд░реНрдХ рд╕реНрдкрд╖реНрдЯ рд╣реИ, рдЪрд░рдг рд╡рд┐рд╕реНрддреГрдд рд╣реИрдВ
  • рд▓реЗрдореНрдорд╛ рдФрд░ рдкреНрд░рдореЗрдп рддрд╛рд░реНрдХрд┐рдХ рд░реВрдк рд╕реЗ рд╕рдВрдЧрдард┐рдд рд╣реИрдВ, рдкрд░рдд рджрд░ рдкрд░рдд рдЖрдЧреЗ рдмрдврд╝рддреЗ рд╣реИрдВ

2. рд╡реНрдпрд╡рд╕реНрдерд┐рдд рдкреВрд░реНрдгрддрд╛

  • рдЪрд╛рд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХрд╛ рдПрдХ рд╕рд╛рде рдЕрдзреНрдпрдпрди (рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, рд╕реНрд╡рддреБрд▓реНрдпрддрд╛рдПрдБ)
  • рдкреНрд░рддреНрдпреЗрдХ рднрд╛рдЧ рдкреВрд░реНрдг рд╡рд░реНрдгрди рджреЗрддрд╛ рд╣реИ
  • рдЙрдирдХреЗ рдмреАрдЪ рдЬреИрд╡рд┐рдХ рд╕рдВрдмрдВрдз рд╣реИрдВ (рдЬреИрд╕реЗ рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдкрд░рд┐рдгрд╛рдо рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдорд╛рдирдЪрд┐рддреНрд░реЛрдВ рдкрд░ рд▓рд╛рдЧреВ)

3. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдирд╡рд╛рдЪрд╛рд░

  • рдирдИ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛ L(╬У) рдХрд╛ рдкрд░рд┐рдЪрдп, рдХрдИ рдЬреНрдЮрд╛рдд рдорд╛рдорд▓реЛрдВ рдХреЛ рдПрдХреАрдХреГрдд рдХрд░рддрд╛ рд╣реИ
  • рдорд╣рддреНрд╡рдкреВрд░реНрдг рдХрдареЛрд░рддрд╛ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ (2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдкреНрд░рдореЗрдп, рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╡рд░реНрдЧреАрдХрд░рдг)
  • рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ

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

  • ╬У-рд╢реНрд░реЗрдгреАрдХреГрдд рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдЪрддреБрд░ рдЙрдкрдпреЛрдЧ рд╕рдорд╕реНрдпрд╛ рдХреЛ рд╕рд░рд▓ рдХрд░рддрд╛ рд╣реИ
  • рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреЗ рд▓рд┐рдП рдлрд▓рди рд╕рдореАрдХрд░рдг рд╡рд┐рдзрд┐
  • рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рдкреНрд░рдорд╛рдг рдореЗрдВ рдкреВрд░реНрдгрддрд╛ рдЧреБрдг рдХрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ

5. рд▓реЗрдЦрди рдЧреБрдгрд╡рддреНрддрд╛

  • рд╕рдВрд░рдЪрдирд╛ рд╕реНрдкрд╖реНрдЯ рд╣реИ, рддрд░реНрдХ рдкреНрд░рд╡рд╛рд╣рд┐рдд рд╣реИ
  • рдкрд░рд┐рдЪрдп рднрд╛рдЧ рдкреГрд╖реНрдарднреВрдорд┐ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп рдХреЛ рдкрд░реНрдпрд╛рдкреНрдд рд░реВрдк рд╕реЗ рдкреНрд░рд╕реНрддреБрдд рдХрд░рддрд╛ рд╣реИ
  • рдкреНрд░рдорд╛рдг рд╡рд┐рд╕реНрддреГрдд рд╣реИрдВ, рд╕рдордЭрдиреЗ рдФрд░ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдиреЗ рдореЗрдВ рдЖрд╕рд╛рди рд╣реИрдВ

рдХрдорд┐рдпрд╛рдБ

1. рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкреНрд░рджрд░реНрд╢рди рдЕрдкрд░реНрдпрд╛рдкреНрдд

  • рдпрджреНрдпрдкрд┐ рдХреНрд░рдорд╡рд┐рдирд┐рдореЗрдп рдорд╛рдирдЪрд┐рддреНрд░реЛрдВ рдФрд░ post-Lie рд╕рдВрд░рдЪрдирд╛рдУрдВ рдХреЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рджрд┐рдП рдЧрдП рд╣реИрдВ, рд▓реЗрдХрд┐рди рдЕрдкреЗрдХреНрд╖рд╛рдХреГрдд рд╕рдВрдХреНрд╖рд┐рдкреНрдд рд╣реИрдВ
  • рднреМрддрд┐рдХреА рдпрд╛ рдЕрдиреНрдп рдЧрдгрд┐рддреАрдп рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдХреА рдХрдореА рд╣реИ
  • рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдореВрд▓реНрдп рдХреЛ рджрд░реНрд╢рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдареЛрд╕ рдЙрджрд╛рд╣рд░рдг рдирд╣реАрдВ рджрд┐рдП рдЧрдП рд╣реИрдВ

2. рддрдХрдиреАрдХреА рд╕реАрдорд╛рдПрдБ

  • рдЖрдзрд╛рд░ рдХреНрд╖реЗрддреНрд░ рдкрд░ рдЖрд╡рд╢реНрдпрдХрддрд╛рдПрдБ (рд╡рд┐рд╢реЗрд╖рддрд╛ рд╢реВрдиреНрдп, рдмреАрдЬрдЧрдгрд┐рддреАрдп рд░реВрдк рд╕реЗ рдмрдВрдж) рдХрд╛рдлреА рдордЬрдмреВрдд рд╣реИрдВ
  • рд╕рд╛рдорд╛рдиреНрдп ╬У рдХреЗ рд▓рд┐рдП, рдХреБрдЫ рдЧрдгрдирд╛рдПрдБ рдкрд░реНрдпрд╛рдкреНрдд рд░реВрдк рд╕реЗ рд╕реНрдкрд╖реНрдЯ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ
  • рд╡рд┐рд╢реЗрд╖ ╬У рдХреЗ рд╡рд┐рд╢рд┐рд╖реНрдЯ рдорд╛рдорд▓реЛрдВ рдХреА рдЪрд░реНрдЪрд╛ рдирд╣реАрдВ рдХреА рдЧрдИ рд╣реИ

3. рддреБрд▓рдирд╛рддреНрдордХ рд╡рд┐рд╢реНрд▓реЗрд╖рдг

  • рдЬреНрдЮрд╛рдд рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЛрдВ (рдЬреИрд╕реЗ ╬У=Z) рдХреЗ рд╕рд╛рде рд╡рд┐рд╕реНрддреГрдд рддреБрд▓рдирд╛ рдХреА рдХрдореА рд╣реИ
  • рдХреМрди рд╕реЗ рдкрд░рд┐рдгрд╛рдо рдирдП рд╣реИрдВ, рдХреМрди рд╕реЗ рдЬреНрдЮрд╛рдд рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рд╣реИрдВ, рдпрд╣ рд╕реНрдкрд╖реНрдЯ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ

4. рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдПрдБ

  • рдЕрдирд╕реБрд▓рдЭреА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХреЛ рд╕реНрдкрд╖реНрдЯ рд░реВрдк рд╕реЗ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
  • рднрд╡рд┐рд╖реНрдп рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛рдУрдВ рдХреА рдЪрд░реНрдЪрд╛ рдХрдо рд╣реИ

рдкреНрд░рднрд╛рд╡ рдореВрд▓реНрдпрд╛рдВрдХрди

рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдпреЛрдЧрджрд╛рди:

  • рдЙрдЪреНрдЪ: рдЕрдирдВрдд-рд╡рд┐рдореАрдп рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд▓рд┐рдП рдирдП рдЙрджрд╛рд╣рд░рдг рдФрд░ рд╡рд┐рдзрд┐рдпрд╛рдБ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  • рдПрдХреАрдХреГрдд рдврд╛рдВрдЪрд╛ рд╕рдВрдмрдВрдзрд┐рдд рдмреАрдЬрдЧрдгрд┐рддреЛрдВ рдХреЗ рд╕рд╛рдорд╛рдиреНрдп рдЧреБрдгреЛрдВ рдХреЛ рд╕рдордЭрдиреЗ рдореЗрдВ рд╕рд╣рд╛рдпрддрд╛ рдХрд░рддрд╛ рд╣реИ
  • рдХрдареЛрд░рддрд╛ рдкрд░рд┐рдгрд╛рдо (2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ, рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпрд╛рдБ) рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡ рд░рдЦрддреЗ рд╣реИрдВ

рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдореВрд▓реНрдп:

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

рдкреБрдирд░реБрддреНрдкрд╛рджрдиреАрдпрддрд╛:

  • рдЙрдЪреНрдЪ: рд╕рднреА рдкреНрд░рдорд╛рдг рдкреВрд░реНрдг рдЧрдгрд┐рддреАрдп рддрд░реНрдХ рд╣реИрдВ
  • рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рддрд╛рд░реНрдХрд┐рдХ рдЕрдиреБрдорд╛рди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ
  • рдЧрдгрдирд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧреЛрдВ рдореЗрдВ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ, рдкреБрдирд░реБрддреНрдкрд╛рджрдиреАрдпрддрд╛ рд╕рдорд╕реНрдпрд╛рдПрдБ рдирд╣реАрдВ рд╣реИрдВ

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

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

рд╕рдВрджрд░реНрдн (рдореБрдЦреНрдп рд╕рд╛рд╣рд┐рддреНрдп)

2 Ayupov S, Yusupov B. 2-Local derivations of infinite-dimensional Lie algebras. J. Algebra Appl. 2020

5 Chen H, Fan G, Han J, et al. Structures of Generalized Loop Schr├╢dinger-Virasoro algebras. Mediterr. J. Math. 2018

7 Fan G, Su Y, Wu H. Loop Heisenberg-Virasoro Lie conformal algebra. J. Math. Phys. 2014

12 Liu D, Zhu L. Generalized Heisenberg-Virasoro algebras. Front. Math. China. 2009

18 Wu H, Wang S, Yue X. Structures of generalized loop Virasoro algebras. Comm. Algebra. 2014

19 Wang D, Yu X. Biderivations and linear commuting maps on the Schr├╢dinger-Virasoro Lie algebra. Comm. Algebra. 2013


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

рдпрд╣ рдЕрдирдВрдд-рд╡рд┐рдореАрдп рд▓рд╛рдИ рдмреАрдЬрдЧрдгрд┐рдд рд╕рдВрд░рдЪрдирд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдХреНрд╖реЗрддреНрд░ рдореЗрдВ рдПрдХ рдЙрдЪреНрдЪ рдЧреБрдгрд╡рддреНрддрд╛ рдХрд╛ рд╢реБрджреНрдз рдЧрдгрд┐рдд рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреЗрдкрд░ рд╣реИред рдкреЗрдкрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд▓реВрдк рд╣рд╛рдЗрдЬреЗрдирдмрд░реНрдЧ-рд╡рд┐рд░рд╛рд╕реЛрд░реЛ рдмреАрдЬрдЧрдгрд┐рдд рдирд╛рдордХ рдПрдХ рдирдИ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╕рдВрд░рдЪрдирд╛ рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрддрд╛ рд╣реИ рдФрд░ рдЗрд╕рдХреА рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ, 2-рд╕реНрдерд╛рдиреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ, рджреНрд╡рд┐рд╡реНрдпреБрддреНрдкрддреНрддрд┐рдпреЛрдВ рдФрд░ рд╕реНрд╡рддреБрд▓реНрдпрддрд╛ рд╕рдореВрд╣ рдХреА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИред рд╕рднреА рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рдкрд╛рд╕ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдг рд╣реИрдВ, рддрд░реНрдХ рд╕реНрдкрд╖реНрдЯ рд╣реИ, рдФрд░ рддрдХрдиреАрдХ рдареЛрд╕ рд╣реИред

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

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

рдХрдорд┐рдпрд╛рдБ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдкреНрд░рджрд░реНрд╢рди рдФрд░ рдЕрдиреНрдп рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рдХреА рдХрдореА рдореЗрдВ рд╣реИрдВ, рд▓реЗрдХрд┐рди рдпрд╣ рдПрдХ рдЙрддреНрдХреГрд╖реНрдЯ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрдгрд┐рдд рдкреЗрдкрд░ рдХреЗ рд░реВрдк рдореЗрдВ рдЗрд╕рдХреЗ рдореВрд▓реНрдп рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИред рдпрд╣ рдХрд╛рд░реНрдп рдмрд╛рдж рдХреЗ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди рдФрд░ рднреМрддрд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреЗ рд▓рд┐рдП рдПрдХ рдареЛрд╕ рдЖрдзрд╛рд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред