• Показать страницу
  • История страницы
  • Ссылки сюда

    • Различия

    Показаны различия между двумя версиями страницы.

    Ссылка на это сравнение

    Предыдущая версия справа и слева Предыдущая версия
    Следующая версия     		Предыдущая версия
    shared:s_k_spherical_2023 [21.05.2023 14:07]
    timashev     		shared:s_k_spherical_2023 [03.05.2025 23:58] (текущий)
    zhilina
    Строка 7: Строка 7:
     This is an online course based on the [[https://voovmeeting.com|VooV Meeting]] platform. VooV Meeting is a Chinese analogue of Zoom. To use VooV Meeting, Like Zoom, one has to [[https://voovmeeting.com/container.html?src=%2Ffill-in-region-and-birth.html%3Fpage%3DfillInRegionAndBirth%26platform%3Dweb%26from_page%3Dregister%26region%3Ddf%26lang%3Den%26scheme%3Dregister%26redirect_type%3D%26redirect_link%3D|create]] an account and [[https://voovmeeting.com/download-center.html?from=1001|install]] the application for free. This is an online course based on the [[https://voovmeeting.com|VooV Meeting]] platform. VooV Meeting is a Chinese analogue of Zoom. To use VooV Meeting, Like Zoom, one has to [[https://voovmeeting.com/container.html?src=%2Ffill-in-region-and-birth.html%3Fpage%3DfillInRegionAndBirth%26platform%3Dweb%26from_page%3Dregister%26region%3Ddf%26lang%3Den%26scheme%3Dregister%26redirect_type%3D%26redirect_link%3D|create]] an account and [[https://voovmeeting.com/download-center.html?from=1001|install]] the application for free.
      
    -Everyone who is interested in attending this course is invited to write to the lecturer at <fc #000080>dmitry.timashev@math.msu.ru</fc> in order to obtain the connection link and password.+Everyone who is interested in attending this course is invited to write to the lecturer at <color #0000cc>dmitry.timashev@math.msu.ru</color> in order to obtain the connection link and password.
      
     == Schedule: == == Schedule: ==
    Строка 16: Строка 16:
      
     **Last lecture:** 17.05.2023 **Last lecture:** 17.05.2023
    - 
    -[[:syllabus|Introduction, syllabus, references]] 
      
     {{:staff:timashev:spherical_varieties.pdf|Exam program}} {{:staff:timashev:spherical_varieties.pdf|Exam program}}
     +
     +[[:syllabus|Introduction, syllabus, references]]
      
     ---- ----
    Строка 29: Строка 29:
     Two motivating problems: tensor product decomposition of irreducible representations of SL_2 (Clebsch-Gordan formula) and Steiner's conic problem (how many smooth conics are tangent to 5 given conics in general position). Geomertic proof of the Clebsch-Gordan formula using line bundles on **P**^1 × **P**^1 and their restriction to the diagonal. Chasles' solution to Steiner's problem using a peculiar compactification of the space of smooth conics: the //space of complete conics//. Two motivating problems: tensor product decomposition of irreducible representations of SL_2 (Clebsch-Gordan formula) and Steiner's conic problem (how many smooth conics are tangent to 5 given conics in general position). Geomertic proof of the Clebsch-Gordan formula using line bundles on **P**^1 × **P**^1 and their restriction to the diagonal. Chasles' solution to Steiner's problem using a peculiar compactification of the space of smooth conics: the //space of complete conics//.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FFFB8CD32FA6C411A96968062EABF6ECD|Video]],+[[https://www.youtube.com/watch?v=CAMZyKk0uag&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=1&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FD60802AD32BC4E7A92C71932D5B290C4|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FD60802AD32BC4E7A92C71932D5B290C4|notes]]
      
    Строка 40: Строка 40:
     Digest and references for basic notions and facts from algebraic geometry and theory of algebraic groups: algebraic varieties, Zariski topology, structure sheaf, (quasi)affine and (quasi)projective varieties, morphisms, irreducibility, rational functions, (linear) algebraic groups, their homomorphisms, representations and actions on algebraic varieties, orbits and stabilizers. Geometric quotient, coset spaces and homogeneous varieties, homogeneous fibte bundles, induced representations. Digest and references for basic notions and facts from algebraic geometry and theory of algebraic groups: algebraic varieties, Zariski topology, structure sheaf, (quasi)affine and (quasi)projective varieties, morphisms, irreducibility, rational functions, (linear) algebraic groups, their homomorphisms, representations and actions on algebraic varieties, orbits and stabilizers. Geometric quotient, coset spaces and homogeneous varieties, homogeneous fibte bundles, induced representations.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F9CE6C3B62D5745828CEC5C75872E477F|Video]],+[[https://www.youtube.com/watch?v=edm55g8BFBw&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=2&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCB7463E50C0F4AF6B7FC7501A902E5D2|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCB7463E50C0F4AF6B7FC7501A902E5D2|notes]]
      
    Строка 51: Строка 51:
     //Frobenius reciprocity law//. Homogeneous line bundles and representations induced from characters. Reductive groups and remarkable subgroups therein (Borel subgroups, maximal unipotent subgroups, maximal tori). Classification of irreducible representations of connected reductive groups (//highest weight theory//). Geometric realization of irreducible representations: the //Borel-Weil theorem//. //Frobenius reciprocity law//. Homogeneous line bundles and representations induced from characters. Reductive groups and remarkable subgroups therein (Borel subgroups, maximal unipotent subgroups, maximal tori). Classification of irreducible representations of connected reductive groups (//highest weight theory//). Geometric realization of irreducible representations: the //Borel-Weil theorem//.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F58DF6D6B7B704BB4A7A85FE385E8747D|Video]],+[[https://www.youtube.com/watch?v=fMgcEwKGpb4&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=3&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F153E3FA28B444BA2B492C582469595C8|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F153E3FA28B444BA2B492C582469595C8|notes]]
      
    Строка 62: Строка 62:
     Extension of the Borel-Weil theorem to line bundles over partial flag varieties. Multiplicities of irreducible representations in the space of sections of a homogeneous line bundle. //Spherical homogeneous spaces//, equivalent characterizations of sphericality: existence of an open Borel orbit (and a Lie-algebraic version), non-existence of non-constant rational functions invariant under a Borel subgroup, multiplicity-free property for representations in the spaces of sections of homogeneous line bundles, or in the algebra of regular functions (in the quasi-affine case). Extension of the Borel-Weil theorem to line bundles over partial flag varieties. Multiplicities of irreducible representations in the space of sections of a homogeneous line bundle. //Spherical homogeneous spaces//, equivalent characterizations of sphericality: existence of an open Borel orbit (and a Lie-algebraic version), non-existence of non-constant rational functions invariant under a Borel subgroup, multiplicity-free property for representations in the spaces of sections of homogeneous line bundles, or in the algebra of regular functions (in the quasi-affine case).
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F43C4A11E5F6C42FBB3F9415F35332BDA|Video]],+[[https://www.youtube.com/watch?v=iDjGJBoF5PU&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=4&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F9FE9EEECB6EF402FBB425F598FC45AD3|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F9FE9EEECB6EF402FBB425F598FC45AD3|notes]]
      
    Строка 73: Строка 73:
     Examples of spherical homogeneous spaces: spheres, (partial) flag varieties, variety of smooth quadrics, group variety. //Symmetric subgroups// and //symmetric homogeneous spaces//. Symmetric spaces are spherical: start of the proof. Examples of spherical homogeneous spaces: spheres, (partial) flag varieties, variety of smooth quadrics, group variety. //Symmetric subgroups// and //symmetric homogeneous spaces//. Symmetric spaces are spherical: start of the proof.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F342DF1A6518E4393BFAFD361F04612D4|Video]], +[[https://www.youtube.com/watch?v=yW_tJPx8WYQ&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=5&pp=iAQB|Video]], 
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F762EDFB866A44BB287CFB624BDC95EC4|notes]]+[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FC43304DB2CCF45B2B8003E388CCE2313|notes]]
      
     ---- ----
    Строка 84: Строка 84:
     Symmetric spaces are spherical: end of the proof. //Spherical varieties//: definition and examples (smooth projective quadric hypersurface, space of all quadrics in **P**^n, variety of complete conics, determinantal varieties, toric varieties). Digression: Zariski tangent space, smooth and singular points. Symmetric spaces are spherical: end of the proof. //Spherical varieties//: definition and examples (smooth projective quadric hypersurface, space of all quadrics in **P**^n, variety of complete conics, determinantal varieties, toric varieties). Digression: Zariski tangent space, smooth and singular points.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F183CFB4D865E48BA9D491475EC3D43A8|Video]],+[[https://www.youtube.com/watch?v=cCjEHB3nYs8&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=6&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FB72C405B91D14661930CB36589C6A0C6|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FB72C405B91D14661930CB36589C6A0C6|notes]]
      
    Строка 95: Строка 95:
     Normal algebraic varieties. Separation property. //G-linearization// of line bundles over normal varieties. Formulation of the //Sumihiro theorem//: every point of a normal G-variety possesses a G-stable quasiprojective open neighbourhood. Lemma: the complement of an affine open subset is a divisor. Digression on divisors and line bundles: prime divisors, Weil divisors, effective divisors, vanishing order of a function along a prime divisor, zeroes and poles, principal divisors, Cartier divisors and rational sections of line bundles. A finite-dimensional space of global sections of a line bundle defines a rational map to a projective space. Normal algebraic varieties. Separation property. //G-linearization// of line bundles over normal varieties. Formulation of the //Sumihiro theorem//: every point of a normal G-variety possesses a G-stable quasiprojective open neighbourhood. Lemma: the complement of an affine open subset is a divisor. Digression on divisors and line bundles: prime divisors, Weil divisors, effective divisors, vanishing order of a function along a prime divisor, zeroes and poles, principal divisors, Cartier divisors and rational sections of line bundles. A finite-dimensional space of global sections of a line bundle defines a rational map to a projective space.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FADFE4DE8AE194CDDB9E0EBFB94A44925|Video]],+[[https://www.youtube.com/watch?v=uJAm0SVL7sw&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=7&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FAF1B7465BF2C40489368F22007019E50|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FAF1B7465BF2C40489368F22007019E50|notes]]
      
    Строка 106: Строка 106:
     Globally generated line bundles and morphisms to projective spaces. (Very) ample divisors. Lemma: a prime divisor on a normal G-variety not containing a G-orbit is Cartier. Proof of the Sumihiro theorem. Linearization of a G-action on a normal quasiprojective variety. The set of G-orbits on a spherical G-variety is finite. Globally generated line bundles and morphisms to projective spaces. (Very) ample divisors. Lemma: a prime divisor on a normal G-variety not containing a G-orbit is Cartier. Proof of the Sumihiro theorem. Linearization of a G-action on a normal quasiprojective variety. The set of G-orbits on a spherical G-variety is finite.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F51E763D4C0CE49DD9EBAC7D1074F3D68|Video]],+[[https://www.youtube.com/watch?v=Ai3cqo0-Ixk&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=8&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F5D061A8C3EAB473AB7FD18B08960910D|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F5D061A8C3EAB473AB7FD18B08960910D|notes]]
      
    Строка 117: Строка 117:
     A homogeneous space G/H is spherical if and only if any G-equivariant open embedding of G/H contains finitely many G-orbits. A homogeneous space G/H is spherical if and only if any G-equivariant open embedding of G/H contains finitely many G-orbits.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FDB0B0735466D489EAA388D89C8487D47|Video]],+[[https://www.youtube.com/watch?v=SqSMvr-7rzM&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=9&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FF9DD76DF06474C599A5EDDA60D046152|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FF9DD76DF06474C599A5EDDA60D046152|notes]]
      
    Строка 128: Строка 128:
     Problem of classification of spherical G-varieties with given open G-orbit. Birational invariants of a spherical variety: //weight lattice//, //rank//, //invariant valuations//. Problem of classification of spherical G-varieties with given open G-orbit. Birational invariants of a spherical variety: //weight lattice//, //rank//, //invariant valuations//.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F7FB973F07A8D40E8BFA695A95750945A|Video]],+[[https://www.youtube.com/watch?v=o4K87OYvj4E&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=10&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F8495F02821BE4A50886D62EE0226BA71|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F8495F02821BE4A50886D62EE0226BA71|notes]]
      
    Строка 139: Строка 139:
     Invariant valuations are uniquely defined by restriction to B-semi-invariants. Approximating a valuation by a G-invariant valuation and the values of G-invariant valuations at rational functions by the values at B-semi-invariant functions. //Valuation cone//. Invariant valuations are uniquely defined by restriction to B-semi-invariants. Approximating a valuation by a G-invariant valuation and the values of G-invariant valuations at rational functions by the values at B-semi-invariant functions. //Valuation cone//.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F7D3A0DB6CE9C469B9D9FC99D0BA7B356|Video]],+[[https://www.youtube.com/watch?v=IA1IIAE-9qc&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=11&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F66B0B6ACF4194087BEF22AC47FD272DE|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F66B0B6ACF4194087BEF22AC47FD272DE|notes]]
      
    Строка 150: Строка 150:
     Inequalities defining the valuation cone. Birational invariants of a spherical variety: //colors//, //colored data//. Example: weight lattice and valuation cone of G = (G×G)/diag(G). Inequalities defining the valuation cone. Birational invariants of a spherical variety: //colors//, //colored data//. Example: weight lattice and valuation cone of G = (G×G)/diag(G).
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FAEF117DE02A84BE1B4349161C2BEA124|Video]],+[[https://www.youtube.com/watch?v=Vbhr5OnxLFo&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=12&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F031C8FEFBD0647C798FC38BF8505397C|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F031C8FEFBD0647C798FC38BF8505397C|notes]]
      
    Строка 161: Строка 161:
     Example (continued): colors of G = (G×G)/diag(G). //Simple// spherical varieties are quasiprojective, finite cover of a spherical variety by simple open subvarieties. B-stable divisors containing a G-orbit, the canonical B-stable affine open chart. Example (continued): colors of G = (G×G)/diag(G). //Simple// spherical varieties are quasiprojective, finite cover of a spherical variety by simple open subvarieties. B-stable divisors containing a G-orbit, the canonical B-stable affine open chart.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F801AF701B15C442B857110513404E9F3|Video]],+[[https://www.youtube.com/watch?v=I_9PjNq8wFM&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=13&t=37s&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F121420BEAE2147A59EAF9AC61B1993FC|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F121420BEAE2147A59EAF9AC61B1993FC|notes]]
      
    Строка 172: Строка 172:
     The //colored cone// of a simple spherical variety, its properties. Axiomatic definition of a colored cone. A simple spherical variety is uniquely determined by its colored cone. The //colored cone// of a simple spherical variety, its properties. Axiomatic definition of a colored cone. A simple spherical variety is uniquely determined by its colored cone.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FD314EE1B9CFF4AC3A3AD098D80E53647|Video]],+[[https://www.youtube.com/watch?v=WsZSe7uWR-c&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=14&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FC24B01DAC1EF4A6FA740C61318F3B03C|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FC24B01DAC1EF4A6FA740C61318F3B03C|notes]]
      
    Строка 183: Строка 183:
     The //Gordan lemma//. Construction of a simple spherical variety from a colored cone. The //Gordan lemma//. Construction of a simple spherical variety from a colored cone.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FBE47A58F6EEE4CB797773D9C6F1015D9|Video]],+[[https://www.youtube.com/watch?v=RBeob2BJp2g&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=15&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCFAFE46AE31F416E89A395C30B9958E8|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCFAFE46AE31F416E89A395C30B9958E8|notes]]
      
    Строка 194: Строка 194:
     Classification of simple spherical varieties by colored cones. Classification of simple spherical varieties by colored cones.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FD2B70C5D4D0D48FEBACBD3ED314DF83A|Video]],+[[https://www.youtube.com/watch?v=oHzNcLi2G4o&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=16&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F4EE48FD1F3AF44AAB49C7BA9D7D556C5|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F4EE48FD1F3AF44AAB49C7BA9D7D556C5|notes]]
      
    Строка 205: Строка 205:
     Intersection of a colored cone with the valuation cone: geometric meaning. //Colored faces// and inclusion of orbit closures on a spherical variety. //Colored fans//. Intersection of a colored cone with the valuation cone: geometric meaning. //Colored faces// and inclusion of orbit closures on a spherical variety. //Colored fans//.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FE4248A3E7BC74712836D92F0C8F54EF2|Video]],+[[https://www.youtube.com/watch?v=JpXYfWNxkm4&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=17&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F32B106BD6E07490BA6DABC5E59BD6C15|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F32B106BD6E07490BA6DABC5E59BD6C15|notes]]
      
    Строка 216: Строка 216:
     Classification of spherical varieties by colored fans. Closure ordering on orbits and criterion of completeness of a spherical variety in terms of its colored fan. Classification of spherical varieties by colored fans. Closure ordering on orbits and criterion of completeness of a spherical variety in terms of its colored fan.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FF720653D156F47B0A024C3AF96AA3B48|Video]],+[[https://www.youtube.com/watch?v=TBSuA2vHEj8&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=18&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCB62A7C0A8C74E94ACECC58AB33D5878|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCB62A7C0A8C74E94ACECC58AB33D5878|notes]]
      
    Строка 227: Строка 227:
     Example: computation of colored data for the space of smooth conics. //Toric varieties//: computation of colored data. Example: computation of colored data for the space of smooth conics. //Toric varieties//: computation of colored data.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F9E948B5EE242487084308FA1790770E6|Video]],+[[https://www.youtube.com/watch?v=QLAEXeW4cus&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=19&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F8BB109D2642D4088B0867FD198FBA263|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F8BB109D2642D4088B0867FD198FBA263|notes]]
      
    Строка 238: Строка 238:
     Affine toric varieties and semigroup algebras. Classification of toric varieties by fans. Example: the fan of the projective space. Criterion of affinity of a spherical variety. Affine toric varieties and semigroup algebras. Classification of toric varieties by fans. Example: the fan of the projective space. Criterion of affinity of a spherical variety.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F51B3C6756EA04E3A9756D1C85AC930BF|Video]],+[[https://www.youtube.com/watch?v=ClhJ-Fn0teM&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=20&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F3857B775E8A744D8835A2D9096AD42FC|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F3857B775E8A744D8835A2D9096AD42FC|notes]]
      
    Строка 249: Строка 249:
     Criterion of affinity of a spherical variety: end of the proof. //Algebraic monoids// and equivariant embeddings of algebraic groups. Any (G×G)-equivariant affine open embedding of an algebraic group G is an algebraic monoid. //Reductive monoids//, their classification. Example: monoid of n×n matrices. Non-existence of non-trivial algebraic monoids with semisimple group of invertibles. Criterion of affinity of a spherical variety: end of the proof. //Algebraic monoids// and equivariant embeddings of algebraic groups. Any (G×G)-equivariant affine open embedding of an algebraic group G is an algebraic monoid. //Reductive monoids//, their classification. Example: monoid of n×n matrices. Non-existence of non-trivial algebraic monoids with semisimple group of invertibles.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F81F3D54614294C598405ECABB25B966D|Video]],+[[https://www.youtube.com/watch?v=iXST04D9-k0&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=21&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F2329C0532C8945E59B82688D3DD3000F|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F2329C0532C8945E59B82688D3DD3000F|notes]]
      
    Строка 260: Строка 260:
     //Local structure theorem// for spherical varieties: a homogeneous fiber bundle structure on the canonical B-stable affine open chart intersecting a G-orbit, //BLV-slice//. //Local structure theorem// for spherical varieties: a homogeneous fiber bundle structure on the canonical B-stable affine open chart intersecting a G-orbit, //BLV-slice//.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FEDA79831D3C04A7EA749C376C968004E|Video]],+[[https://www.youtube.com/watch?v=gb1UeKkjEP4&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=22&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F515F64C095F24386A548BE8990C7ABB9|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F515F64C095F24386A548BE8990C7ABB9|notes]]
      
    Строка 271: Строка 271:
     //Toroidal varieties//, criterion of smoothness. Every spherical variety is dominated by a toroidal variety. The valuation cone is polyhedral. The G-module structure of the space of sections of a line bundle over a spherical variety. //Toroidal varieties//, criterion of smoothness. Every spherical variety is dominated by a toroidal variety. The valuation cone is polyhedral. The G-module structure of the space of sections of a line bundle over a spherical variety.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F48CCB0F555274B6ABAB20785615D1D6D|Video]],+[[https://www.youtube.com/watch?v=LqjILE7syLw&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=23&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F09A2EAF3254C4105B0ED5803905B5F4C|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F09A2EAF3254C4105B0ED5803905B5F4C|notes]]
      
    Строка 282: Строка 282:
     Spherical double flag varieties and tensor product decompositions. Spherical double flag varieties and tensor product decompositions.
      
    -[[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2FCC056796A0834CD487506641533B3F82|Video]],+[[https://www.youtube.com/watch?v=WsCBF5oGbAc&list=PLWe9HlG1eGbSEfa39u2YcX5q0NXdAeu79&index=24&pp=iAQB|Video]],
     [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F802D5BE4DA7A4E38A64846B454D5F533|notes]] [[https://disk.pku.edu.cn/#/link/C67A6E714DB722B2F3C6C9645D047F25?gns=AC4C6B2B10714F1AB88F4C85417D132B%2F6D40509EC0EB466BAC5DE82646A2BCA8%2F802D5BE4DA7A4E38A64846B454D5F533|notes]]
    shared/s_k_spherical_2023.1684667228.txt.gz · Последнее изменение: 08.04.2025 16:42 (внешнее изменение)

  • Показать страницу
  • История страницы
  • Ссылки сюда
  • Недавние изменения