Русская Википедия:Монодромия
В математике монодро́ми́ей[1] называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.
История
Открытие монодромии восходит к спору Д’Аламбера и Эйлера о том, какие значения принимает логарифм на отрицательных числах. Логарифм не может быть определён в нуле, поэтому для того, чтобы дать ответ на этот вопрос, необходимо выйти в комплексную область. На ненулевые комплексные числа логарифм распространяется при помощи аналитического продолжения. Во времена Эйлера эта техника ещё не была формализована, и он руководствовался носящей его имя формулой (известной, однако, ещё Котсу): <math>\log(\cos x + i\sin x) = ix</math>. Если вещественное число <math>x</math> пробегает отрезок от <math>0</math> до <math>\pi</math>, то точка <math>z = \cos x + i\sin x</math> пробегает верхнюю половину единичной окружности в комплексной плоскости, и при <math>x = \pi</math> имеем <math>z = -1</math>. С другой стороны, <math>\log z = ix</math> при этом пробегает отрезок мнимой оси от <math>0</math> до <math>i\pi</math>, так что естественно считать, что <math>\log (-1) = i\pi</math>.
Однако если не ограничиваться полуокружностью, а позволить точке <math>z</math> пробежать всю окружность, то соответствующая точка <math>x</math>, легко видеть, должна будет пробежать от <math>0</math> до <math>2\pi</math>, и тем самым логарифм пробежит отрезок от <math>0</math> до <math>2\pi i</math>. Стало быть, с точки зрения Эйлера, необходимо позволить комплексному логарифму <math>\mathrm{Log}~1</math> принимать как значение <math>0</math>, так и значение <math>2\pi i</math> — а позволяя обходить единичную окружность сколько угодно раз в любом направлении, то и все значения <math>2\pi in</math> для всевозможных целых чисел <math>n</math>. Для решения этой проблемы Эйлеру пришлось признавать, что комплексный логарифм есть «многозначная функция» — понятие, строго определённое Риманом через много лет.
Демистификация «логарифма как многозначной функции»: монодромия дифференциальных уравнений
С точки зрения современной математики, решение этой проблемы в следующем. Формула Котеса — Эйлера <math>\log(\cos x + i\sin x) = ix</math> есть немногим более, чем способ сказать, что логарифм удовлетворяет дифференциальному уравнению <math>y'(x) = 1/x</math>. Если представлять функцию как её график, то геометрически это означает, что в точке <math>(x,y) \in \Complex^2</math> график логарифма касается прямой, натянутой на вектор <math>\partial_x+\partial_y/x</math>, где <math>\partial_x,~\partial_y</math> — единичные вектора, направленные вдоль координатных осей. Когда <math>x,y \in \R</math>, <math>x>0</math>, интегральные кривые такого векторного поля пересекают каждую вертикальную прямую по одному разу, и тем самым являются графиками функций, которые в действительности суть функции <math>y(x) = \log x + C</math>. Зная начальное условие <math>y(1) = 0</math>, это позволяет восстановить, что такое логарифм.
Вместе с тем, если рассмотреть векторное поле <math>\partial_x + \partial_y/x</math> как голоморфное векторное поле на <math>\Complex^2</math> (не определённое при <math>x = 0</math>), то его интегральные кривые, хотя и будут хорошо определёнными голоморфными кривыми в <math>\Complex^2</math>, не будут графиками никакой функции <math>y = y(x)</math>: каждую прямую вида <math>x = C</math> интегральные кривые этого поля пересекают в бесконечном множестве точек, отличающихся друг от друга сдвигом на вектор <math>(0,2\pi in)</math>.
С точки зрения теории дифференциальных уравнений, полезно рассматривать эту картинку не как плоскость, а как тривиальное расслоение со слоем <math>\Complex</math> над сферой Римана с несколькими проколами (в данном случае в точках <math>0</math> и <math>\infty</math>). Топологически сфера Римана с двумя проколами является кольцом <math>S^1 \times (-1,+1)</math>, и потому её фундаментальная группа изоморфна <math>\pi_1(S^1) = \Z</math>. Образующей этой группы служит гомотопический класс единичной окружности; при обнесении вокруг единичной окружности решение дифференциального уравнения сдвигается на <math>2\pi i</math>. Это формально говорится следующим образом: монодромией дифференциального уравнения <math>y'(x) = 1/x</math> является представление циклической группы <math>\Z</math>, отправляющей образующую в сдвиг на <math>2\pi i</math>. Действие определяется следующим образом: точка <math>(x,y)</math> воспринимается как граничное условие дифференциального уравнения в ограничении его на нашу петлю, решение аналитически продолжается вдоль петли, и при возвращении в начальную точку определяет какое-то новое значение в ней. Преобразование слоя, переводящее изначальное граничное условие в результат аналитического продолжения, называется преобразованием монодромии.
Особый интерес представляет монодромия линейных фуксовых уравнений. В данном случае ответом будет не одна функция, а несколько, то есть сечение расслоения со слоем не <math>\Complex</math>, а <math>\Complex^n</math>. Кроме того, поскольку уравнение линейное, аналитическое продолжение решения вокруг замкнутой петли будут определять не абы какие голоморфные преобразования <math>\Complex^n</math>, а линейные. Таким образом, монодромия линейного фуксова уравнения есть отображение <math>\pi_1(\Complex\mathrm{P}^1 \setminus \{z_1,\dots,z_k\}) \to \mathrm{GL}(n,\Complex)</math>. Поскольку фундаментальная группа сферы с несколькими проколами свободная, можно задавать такое представление, связав с каждым проколом, кроме одного, комплексную матрицу (тогда монодромия вокруг оставшегося прокола будет матрицей, обратной к произведению известных матриц монодромии, взятых в правильном порядке). Знаменитая проблема Римана — Гильберта спрашивает, можно ли по всякому наперёд заданному набору проколов и матриц монодромии вокруг оных восстановить линейное фуксово уравнение. Она была положительно решена Племелем в 1908 году, пока Ильяшенко не обнаружил, что для того, чтобы это решение было верным, необходимо, чтобы хотя бы одна матрица монодромии была диагонализуема. После этого в 1989 году Болибрух построил контрпример, тем самым дав отрицательное решение классического варианта проблемы Римана — Гильберта.[2]
Монодромия накрытий
Пожалуй, самое простое понятие монодромии возникает в топологии, а именно в теории накрытий. Пусть <math>p \colon Y \to X</math> — накрытие (у которого база линейно связна, а тотальное пространство, быть может, несвязно), и <math>x, x' \in X</math> — две точки в базе. Соединив их путём <math>\gamma</math>, и поднимем этот путь в тотальное пространство накрытия. Этот подъём будет зависеть от выбора прообраза точки <math>y(x) \in p^{-1}(x)</math>, но, по теореме о накрывающей гомотопии, не более того. В частности, выбор <math>y(x)</math> («граничного условия») однозначно определяет <math>y(x')</math>. Поставим пути <math>\gamma</math> в соответствие отображение <math>p^{-1}(x) \to p^{-1}(x')</math>, переводящее точку <math>y(x)</math> в соответствующую точку <math>y(x')</math> («отображение Коши»). Это отображение не зависит от гомотопического класса пути с прибитыми концами, в частности, если путь был петлёй, то он даёт перестановку слоя <math>p^{-1}(x) = Y_x</math>, зависящую только от гомотопического класса этой петли. Сопоставление гомотопическому классу петли перестановки слоя даёт отображение <math>\pi_1(X) \to \mathfrak{S}(Y_x)</math>, которое, как легко проверить, является гомоморфизмом групп. Этот гомоморфизм называется представлением монодромии, а его образ — группой монодромии.
Исторически теория накрытий была формализована именно в связанных с монодромией дифференциальных уравнений работах Римана, где он формализовывал понятие многозначной функции. Его накрытиями были накрытия проколотой сферы Римана, на которых «многозначные функции» становились бы хорошо знакомыми однозначными функциями, а различные значения многозначных функций в одной точке были бы просто её значениями на всех прообразах этой точки в накрытии. Например, для двузначной функции <math>\sqrt{z}</math> соответствующим накрытием является двулистное накрытие сферы Римана, проколотой в точках <math>0</math> и <math>\infty</math>, для комплексного логарифма — универсальное накрытие того же самого. Группами монодромии в данных случаях служат соответственно группы <math>\Z/2\Z</math> и <math>\Z</math>. Аналогично <math>m</math>-листное накрытие сферы с двумя проколами соответствует <math>m</math>-значной функции <math>\sqrt[m]{z}</math> и имеет группу монодромии <math>\Z/m\Z</math>, так что имеет смысл говорить о логарифме как о «корне бесконечной степени».
Рассмотрим многозначную функцию <math>y = y(x)</math>, заданную условием <math>x = P(y)</math>, где <math>P</math> — достаточно общий многочлен степени <math>n</math>. Накрытие, на котором фунцкия <math>y</math> становится однозначной, имеет <math>n</math> листов, так что его группа монодромии является подгруппой симметрической группы <math>\mathfrak{S}_n</math>, и для достаточно общего многочлена она исчерпывает всю симметрическую группу. Разрешимость уравнения <math>P(t) = 0</math> в радикалах (то есть представимость функции <math>y(x)</math> как композицию арифметических операций и взятий корней <math>m_i</math>-степеней) соответствует тому, что соответствующее накрытие получается как композиция накрытий с группами монодромии <math>\Z/m_i\Z</math>, иными словами, является разрешимой группой. Тот факт, что симметрические группы <math>\mathfrak{S}_n</math> разрешимы при <math>n < 5</math>, соответствует разрешимости в радикалах уравнений вплоть до четвёртой, а неразрешимость группы <math>\mathfrak{S}_5</math> соответствует теореме Абеля — Руффини. Эта теорема заключает в себе самое раннее понятие о топологической природе монодромии.
Монодромия плоских связностей
В дифференциальной геометрии понятие монодромии возникает как особый случай понятия голономии. Именно, пусть <math>E \to X</math> — некое расслоение, для простоты векторное, и <math>\nabla</math> — связность в нём. Тогда с каждым кусочно-гладким путём <math>\gamma \colon [0;1] \to X</math> можно связать операцию параллельного перенесения <math>E_{\gamma(0)} \to E_{\gamma(1)}</math> при помощи связности. В частности, если рассматривать замкнутые кусочно-гладкие петли с началом в точке <math>x</math>, это даст преобразование слоя, то есть элемент группы <math>\mathrm{GL}(E_{x})</math>. Поскольку класс кусочно-гладких петель замкнут относительно конкатенации, а обращение направления обхода петли даёт обратный эндоморфизм, то множество всех таких эндоморфизмов составляет группу. Эта группа называется группой голономии.
Если же вдобавок связность была плоской, то из теоремы Фробениуса, применённой к распределению горизонтальному распределению на тотальном пространстве <math>E</math> следует, что голономия вдоль петли не меняется при её малых деформациях, то есть зависит только от её гомотопического класса. Поэтому для плоских связностей имеет смысл говорить скорее о монодромии, нежели о голономии. В топологических терминах это соответствует следующему: из теоремы Фробениуса следует, что любой вектор в плоском расслоении локально продолжается до плоского сечения (такие сечения ещё называют горизонтальными, параллельными или ковариантно постоянными). Если рассмотреть тотальное пространство расслоения <math>E</math> с другой топологией (будем обозначать <math>E</math> с такой топологией <math>E'</math>), в которой базисом открытых множеств будут пересечения локальных горизонтальных сечений с открытыми подмножествами в <math>E</math>, то отображение проекции <math>E' \to X</math> будет на самом деле накрытием, и монодромия такого накрытия будет просто монодромией расслоения с плоской связностью.
Оригинальное, эйлеровское понятие монодромии для линейных дифференицальных уравнений первого порядка с комплексным временем можно получить, если рассмотреть тривиальное голоморфное расслоение над проколотой сферой Римана со связностью, соответствующей этому дифференциальному уравнению. Следует заметить, однако, что если уравнение было второго или большего порядка, то изыскать его интерпретацию в терминах некой плоской связности геометрической природы если и возможно, то является крайне нетривиальной задачей: например, немало трудов посвящено связи между гипергеометрическим уравнением и связностью Гаусса — Манина.[3][4]
Идея того, как применять монодромию для неплоских связностей, развивается Богомоловым и его учениками. Рассмотрим для простоты риманову поверхность <math>X</math> с отмеченной точкой <math>x</math>, и рассмотрим категорию всевозможных конечных подмножеств <math>S \subset X</math>, не содержащих <math>x</math>, где морфизм <math>S \to S'</math> имеется, если только <math>S \supset S'</math> (если думать про объект <math>S</math> как про риманову поверхность <math>X</math>, из которой выкололи точки подмножества <math>S</math>, то морфизм будет просто тождественным вложением более проколотой поверхности в менее проколотую). Теперь применим к этой категории функтор в категорию групп <math>S \mapsto \pi_1(X \setminus S, x)</math>. Предел получившейся диаграммы групп будем обозначать <math>\Pi_1(X,x)</math>. Про эту группу можно неформально думать как про фундаментальную группу поверхности <math>X</math>, проколотой во всех точках, кроме <math>x</math>. Кусочно-гладкая петля, базированная в точке <math>x</math>, имеет хорошо определённый класс в этой группе, поскольку имеет его в фундаментальных группах всевозможных поверхностей, проколотых вне этой петли. Если <math>(E,\nabla)</math> — расслоение со связностью над <math>X</math>, то отображение, переводящее петлю в голономию связности вдоль неё, есть гомоморфизм <math>\Pi_1(X,x) \to \mathrm{GL}(E_x)</math>, аналогичный представлению монодромии. На группе <math>\Pi_1(X,x)</math> может быть введена нетривиальная топология — именно, предел дискретных топологий вдоль описанной выше диаграммы. В таком случае связности будет соответствовать непрерывное представление, если эта связность была плоская вне нескольких точек (например, такова связность Леви-Чивиты для поверхности многогранника в <math>\R^3</math>). В известной аналогии между римановыми поверхностями и числовыми полями такая группа <math>\Pi_1(X,x)</math> соответствует (однако, не буквально) проконечному пополнению группы Галуа.
Примечания
Шаблон:Викисловарь Шаблон:Примечания
- ↑ Ударение на четвёртый слог исторически характерно для московской школы, на третий — для петербуржской.
- ↑ А. А. Болибрух, «Проблема Римана — Гильберта на комплексной проективной прямой», Матем. заметки, 46:3 (1989), 118—120
- ↑ С. Блох. [1]
- ↑ У. Дж. Хоффман. Arithmetic properties of Picard-Fuchs differential equations
