К разделу 14
75. Сколько симплектически неэквивалентных плоскостей размерности k имеет симплектическое пространство большей размерности? Докажите, что их число равно целой части k/2.
76. Полным флагом в линейном пространстве называется набор из последовательно вложенных друг в друга подпространств всех размерностей. Сколько симплектически неэквивалентных полных флагов имеет симплектическое пространство размерности 2n? Докажите, что их число равно (2n — 1)!! = 1 · 3 · 5 · ... ·(2n — 1).
77. В пространстве однородных многочленов нечетной степени от двух переменных имеется симплектическая структура, инвариантная относительно естественного действия группы сохраняющих площади линейных преобразований плоскости; эта структура единственна (с точностью до ненулевого множителя). Найдите ее явное выражение через коэффициенты многочленов.
78. В каждом слое лагранжева расслоения имеется естественная локальная аффинная структура (избранный класс систем координат, в которых лагранжевы эквивалентности задают аффинные преобразования).
79. Докажите, что график преобразования Лежандра гладкой функции является фронтом (образом лежандрова отображения гладкого лежандрова многообразия),
80. Основания перпендикуляров, опущенных из начала координат на касательные плоскости не содержащей начала координат поверхности в евклидовом пространстве, образуют поверхность, называемую производной (исходная же поверхность называется первообразной для своей производной). Докажите, что особенности производных гладких поверхностей — лежандровы (т. е. что производная диффеоморфна фронту лежандрова отображения).
81 (продолжение). Докажите, что особенности первообразных гладких поверхностей — лежандровы. Нарисуйте первообразные эллипса на плоскости и эллипсоида в трехмерном пространстве.
82. Фронтом какого лежандрова отображения является эквидистанта гладкой поверхности в евклидовом пространстве?
83. Фронтом какого лежандрова отображения является график (многозначной) функции расстояния до данной гладкой поверхности в евклидовом пространстве?
84. Докажите, что в слоях лежандрова расслоения имеются естественные структуры локально проективных пространств (так что лежандровы эквивалентности, т. е. диффеоморфизмы, сохраняющие контактную структуру и структуру лежандрова расслоения, задают на слоях проективные преобразования).
К разделу 15
85. Продолжим действие группы, порожденной отражениями плоскости в двух составляющих угол π/q зеркалах, на комплексную плоскость. Докажите, что ногообразие орбит само гомеоморфно комплексной плоскости, а многообразие нерегулярных орбит (орбит точек зеркал) — кривой z2 = ωq на плоскости двух комплексных переменных.
86. Продолжим действие группы, порожденной отражениями в диагональных плоскостях хi = xj трехмерного пространства х1 + х2 + х3 + х4 = 0 на комплексное пространство. Докажите, что многообразие орбит — трехмерное комплексное пространство, а многообразие нерегулярных орбит — комплексный ласточкин хвост.
87. На рис. 81 изображена вещественная часть многообразия нерегулярных орбит действия группы симметрий икосаэдра на комплексном пространстве. Где располагаются вещественные орбиты?
88. Преобразования группы монодромии, заданные функцией х3 — εх + у2, действуют на торе без точки, Докажите, что любую замкнутую несамопересекающуюся кривую на торе без точки, не стягиваемую на торе, можно перевести в любую другую такую кривую преобразованием из группы монодромии.
89. Сколько ручек имеет комплексная линия неособого уровня функции zn + ω2? Докажите, что их число равно g, если n = 2g + 1 или 2g + 2.
К разделу 16
90. Степени преобразования комплексной плоскости в себя (z, ω) → (az, aω), a = e2πi/q, образуют группу — бинарную группу g-угольника. Докажите, что все инвариантные относительно этой группы многочлены выражаются через X = zq, Y = ωq, Z = zω и что многообразие орбит совпадает с поверхностью XY = Zq в трехмерном комплексном пространстве. Докажите, что эта поверхность диффеоморфна нулевому множеству уровня простой функции Aq-1 трех комплексных переменных.
91. Докажите, что многообразие орбит действия бинарной группы тетраэдра (октаэдра, икосаэдра) на комплексной плоскости совпадает с поверхностью нулевого уровня функции Е6 (Е7, Е8) от трех комплексных переменных.