WikiDer > Неабелевская переписка Ходжа - Википедия

В алгебраическая геометрия и дифференциальная геометрия, то Неабелевская переписка Ходжа или же Корлетт – Симпсон (названный в честь Кевин Корлетт и Карлос Симпсон) является соответствием между Связки Хиггса и представительства фундаментальная группа гладкой, проективный комплексное алгебраическое многообразие, или компактный Кэлерово многообразие.

Эту теорему можно рассматривать как обширное обобщение Теорема Нарасимхана – Сешадри который определяет соответствие между стабильные векторные расслоения и унитарные представления фундаментальной группы компакта Риманова поверхность. На самом деле теорема Нарасимхана – Сешадри может быть получена как частный случай неабелевого соответствия Ходжа, установив поле Хиггса равным нулю.

История

Это было доказано М. С. Нарасимхан и К. С. Сешадри в 1965 г. стабильные векторные расслоения на компактной римановой поверхности соответствуют неприводимым проективным унитарным представлениям фундаментальной группы.^[1] Эта теорема была сформулирована в новом свете в работе Саймон Дональдсон в 1983 г., который показал, что стабильные векторные расслоения соответствуют Связи Янга – Миллса, чей голономия дает представление о фундаментальной группе Нарасимхана и Сешадри.^[2] Теорема Нарасимхана – Сешадри была обобщена со случая компактных римановых поверхностей на компактные кэлеровы многообразия Дональдсоном в случае алгебраических поверхностей и, в общем, Карен Уленбек и Шинг-Тунг Яу.^[3][4] Это соответствие между стабильными векторными расслоениями и Эрмитовы связи Янга – Миллса известен как Переписка Кобаяши – Хитчина.

Теорема Нарасимхана – Сешадри касается унитарный представления фундаментальной группы. Найджел Хитчин ввел понятие Связка Хиггса как алгебраический объект, который должен соответствовать сложный представления фундаментальной группы (на самом деле терминология «расслоение Хиггса» была введена Карлосом Симпсоном после работы Хитчина). Первый случай неабелевой теоремы Ходжа был доказан Хитчином, который рассмотрел случай расслоения Хиггса ранга два над компактной римановой поверхностью.^[5] Хитчин показал, что полистабильному расслоению Хиггса соответствует решение Уравнения Хитчина, система дифференциальных уравнений, полученная как размерная редукция Уравнения Янга – Миллса к измерению два. В этом случае Дональдсон показал, что решения уравнений Хитчина находятся в соответствии с представлениями фундаментальной группы.^[6]

Результаты Хитчина и Дональдсона для расслоений Хиггса ранга два на компактной римановой поверхности были значительно обобщены Карлосом Симпсоном и Кевином Корлеттом. Утверждение, что полистабильные расслоения Хиггса соответствуют решениям уравнений Хитчина, было доказано Симпсоном.^[7][8] Соответствие между решениями уравнений Хитчина и представлениями фундаментальной группы было показано Корлеттом.^[9]

Определения

В этом разделе мы напоминаем интересующие вас объекты неабелевой теоремы Ходжа.^[7][8]

Связки Хиггса

А Связка Хиггса над компактным кэлеровым многообразием ${ displaystyle (X, omega)}$ пара ${ displaystyle (E, Phi)}$ куда ${ displaystyle E to X}$ это голоморфное векторное расслоение и ${ displaystyle Phi: E to E otimes { boldsymbol { Omega}} ^ {1}}$ является ${ displaystyle operatorname {End} (E)}$-значный голоморфный ${ displaystyle (1,0)}$-форма на ${ displaystyle X}$, называется Поле Хиггса. Кроме того, поле Хиггса должно удовлетворять ${ Displaystyle Phi клин Phi = 0}$.

Связка Хиггса (полу) стабильный если для каждого собственного ненулевого когерентный подпучок ${ displaystyle { mathcal {F}} subset E}$ которое сохраняется полем Хиггса, так что ${ displaystyle Phi ({ mathcal {F}}) subset { mathcal {F}} otimes { boldsymbol { Omega}} ^ {1}}$, надо

${ displaystyle { frac { operatorname {deg} ({ mathcal {F}})} { operatorname {rank} ({ mathcal {F}})}} <{ frac { operatorname {deg} ( E)} { operatorname {rank} (E)}} quad { text {(соответственно}} leq { text {)}}.}$

Это рациональное число называется склон, обозначенный ${ displaystyle mu (E)}$, а приведенное выше определение отражает определение стабильное векторное расслоение. Связка Хиггса полистабильный если это прямая сумма стабильных расслоений Хиггса одного и того же наклона и, следовательно, полустабильна.

Эрмитовы связности Янга – Миллса и уравнения Хитчина.

Обобщение уравнения Хитчина на более высокие измерения можно сформулировать как аналог Эрмитовы уравнения Янга – Миллса для некоторого соединения, построенного из пары ${ displaystyle (E, Phi)}$. А Эрмитова метрика ${ displaystyle h}$ на связке Хиггса ${ displaystyle (E, Phi)}$ рождает Черн связь ${ displaystyle nabla _ {A}}$ и кривизна ${ displaystyle F_ {A}}$. Условие, что ${ displaystyle Phi}$ голоморфно можно сформулировать как ${ displaystyle { bar { partial}} _ {A} Phi = 0}$. Уравнения Хитчина на компактной римановой поверхности утверждают, что

${ displaystyle { begin {case} & F_ {A} + [ Phi, Phi ^ {*}] = lambda operatorname {Id} _ {E} & { bar { partial}} _ { A} Phi = 0 end {case}}}$

для постоянного ${ Displaystyle лямбда = -2 пи я му (Е)}$. В более высоких измерениях эти уравнения обобщаются следующим образом. Определите соединение ${ displaystyle D}$ на ${ displaystyle E}$ к ${ Displaystyle D = nabla _ {A} + Phi + Phi ^ {*}}$. Эта связь называется Эрмитова связь Янга – Миллса (а метрика a Эрмитова метрика Янга – Миллса если

${ displaystyle Lambda _ { omega} F_ {D} = lambda operatorname {Id} _ {E}.}$

Это сводится к уравнениям Хитчина для компактной римановой поверхности.

Представления фундаментальной группы и гармонической метрики

Представление фундаментальной группы ${ displaystyle rho двоеточие pi _ {1} (X) to operatorname {GL} (r, mathbb {C})}$ приводит к векторному расслоению с плоской связностью следующим образом. В универсальный чехол ${ displaystyle { hat {X}}}$ из ${ displaystyle X}$ это основной пакет над ${ displaystyle X}$ со структурной группой ${ displaystyle pi _ {1} (X)}$. Таким образом, есть связанный пакет к ${ displaystyle { hat {X}}}$ данный

${ displaystyle E = { hat {X}} times _ { rho} mathbb {C} ^ {r}.}$

Этот векторный набор естественно оснащен плоским соединением ${ displaystyle D}$. Если ${ displaystyle h}$ является эрмитовой метрикой на ${ displaystyle E}$, определите оператор ${ displaystyle D_ {h} ''}$ следующее. Разложить ${ Displaystyle D = partial + { bar { partial}}}$ в операторы типа ${ displaystyle (1,0)}$ и ${ displaystyle (0,1)}$, соответственно. Позволять ${ displaystyle A '}$ быть единственным оператором типа ${ displaystyle (1,0)}$ так что ${ displaystyle (1,0)}$-связь ${ displaystyle A '+ { bar { partial}}}$ сохраняет метрику ${ displaystyle h}$. Определять ${ Displaystyle Phi = ( partial -A ') / 2}$, и установите ${ displaystyle D_ {h} '' = { bar { partial}} + Phi}$. Определить псевдокривизна из ${ displaystyle h}$ быть ${ displaystyle G_ {h} = (D_ {h} '') ^ {2}}$.

Метрика ${ displaystyle h}$ как говорят гармонический если

${ displaystyle Lambda _ { omega} G_ {h} = 0.}$

Обратите внимание, что условие ${ displaystyle G_ {h} = 0}$ эквивалентно трем условиям ${ Displaystyle { bar { partial}} ^ {2} = 0, { bar { partial}} Phi = 0, Phi wedge Phi = 0}$, так что если ${ displaystyle G_ {h} = 0}$ тогда пара ${ displaystyle (E, Phi)}$ определяет расслоение Хиггса с голоморфной структурой на ${ displaystyle E}$ предоставленный Оператор Dolbeault ${ displaystyle { bar { partial}}}$.

Это результат Корлетта, что если ${ displaystyle h}$ гармоничен, то он автоматически удовлетворяет ${ displaystyle G_ {h} = 0}$ и так возникает расслоение Хиггса.^[9]

Пространства модулей

Для каждого из трех понятий: расслоения Хиггса, плоских связностей и представлений фундаментальной группы можно определить пространство модулей. Это требует понятия изоморфизма между этими объектами. Далее зафиксируем гладкое комплексное векторное расслоение ${ displaystyle E}$. Считается, что каждое расслоение Хиггса имеет лежащее в основе гладкое векторное расслоение ${ displaystyle E}$.

• (Связки Хиггса) Группа сложных калибровочные преобразования ${ Displaystyle { mathcal {G}} ^ { mathbb {C}}}$ действует на съемочной площадке ${ displaystyle { mathcal {H}}}$ расслоений Хиггса по формуле ${ Displaystyle г cdot (Е, Phi) = (г cdot E, г Phi g ^ {- 1})}$. Если ${ displaystyle { mathcal {H}} ^ {ss}}$ и ${ Displaystyle { mathcal {H}} ^ {s}}$ обозначим подмножества полустабильных и стабильных расслоений Хиггса соответственно, то получим пространства модулей

${ displaystyle M_ {Dol} ^ {ss}: = { mathcal {H}} ^ {ss} // { mathcal {G}} ^ { mathcal {C}}, qquad M_ {Dol} ^ { s}: = { mathcal {H}} ^ {s} / { mathcal {G}} ^ { mathcal {C}}}$

где эти коэффициенты взяты в смысле геометрическая теория инвариантов, поэтому орбиты, замыкания которых пересекаются, отождествляются в пространстве модулей. Эти пространства модулей называются Пространства модулей Дольбо. Обратите внимание, что, установив ${ Displaystyle Phi = 0}$, в качестве подмножеств получаются пространства модулей полустабильных и стабильных голоморфных векторных расслоений ${ displaystyle N_ {Dol} ^ {ss} subset M_ {Dol} ^ {ss}}$ и ${ displaystyle N_ {Dol} ^ {s} subset M_ {Dol} ^ {s}}$. Также верно, что если определить пространство модулей ${ displaystyle M_ {Dol} ^ {ps}}$ полистабильных расслоений Хиггса, то это пространство изоморфно пространству полустабильных расслоений Хиггса, поскольку каждая калибровочная орбита полустабильных расслоений Хиггса содержит в своем замыкании единственную орбиту полистабильных расслоений Хиггса.

• (Плоские соединения) Групповые комплексные калибровочные преобразования действуют также на множестве ${ displaystyle { mathcal {A}}}$ плоских соединений ${ displaystyle nabla}$ на гладком векторном расслоении ${ displaystyle E}$. Определите пространства модулей

${ displaystyle M_ {dR}: = { mathcal {A}} // { mathcal {G}} ^ { mathcal {C}}, qquad M_ {dR} ^ {*}: = { mathcal { A}} ^ {*} / { mathcal {G}} ^ { mathcal {C}},}$

куда ${ displaystyle { mathcal {A}} ^ {*}}$ обозначает подмножество, состоящее из неприводимых плоских связностей ${ displaystyle nabla}$ которые не делятся на прямую сумму ${ displaystyle nabla = nabla _ {1} oplus nabla _ {2}}$ на некотором расщеплении ${ displaystyle E = E_ {1} oplus E_ {2}}$ гладкого векторного расслоения ${ displaystyle E}$. Эти пространства модулей называются пространства модулей де Рама.

• (Представления) Набор представлений ${ displaystyle operatorname {Hom} ( pi _ {1} (X), operatorname {GL} (r, mathbb {C}))}$ фундаментальной группы ${ displaystyle X}$ действует общая линейная группа сопряжением представлений. Обозначим надстрочными индексами ${ displaystyle +}$ и ${ displaystyle *}$ подмножества, состоящие из полупростые представления и неприводимые представления соответственно. Затем определим пространства модулей

${ displaystyle M_ {B} ^ {+} = operatorname {Hom} ^ {+} ( pi _ {1} (X), operatorname {GL} (r, mathbb {C})) // G , qquad M_ {B} ^ {*} = operatorname {Hom} ^ {*} ( pi _ {1} (X), operatorname {GL} (r, mathbb {C})) / G}$

полупростых и неприводимых представлений соответственно. Эти коэффициенты взяты в смысле геометрическая теория инвариантов, где две орбиты идентифицируются, если их замыкания пересекаются. Эти пространства модулей называются Пространства модулей Бетти.

Заявление

Неабелеву теорему Ходжа можно разделить на две части. Первая часть была доказана Дональдсоном в случае расслоения Хиггса ранга два над компактной римановой поверхностью и в целом Корлеттом.^[6][9] В общем случае неабелева теорема Ходжа верна для гладкого комплексного проективного многообразия ${ displaystyle X}$, но некоторые части соответствия имеют место в более общем виде для компактных кэлеровых многообразий.

Неабелева теорема Ходжа (часть 1): Представление ${ displaystyle rho: pi _ {1} (X) to operatorname {GL} (r, mathbb {C})}$ фундаментальной группы полупросто тогда и только тогда, когда плоское векторное расслоение ${ displaystyle E = { hat {X}} times _ { rho} mathbb {C} ^ {r}}$ допускает гармоническую метрику. Кроме того, представление неприводимо тогда и только тогда, когда плоское векторное расслоение неприводимо.

Вторая часть теоремы была доказана Хитчином в случае расслоения Хиггса ранга два на компактной римановой поверхности и, вообще, Симпсоном.^[5][7][8]

Неабелева теорема Ходжа (часть 2): Связка Хиггса ${ displaystyle (E, Phi)}$ имеет эрмитову метрику Янга – Миллса тогда и только тогда, когда она полистабильна. Эта метрика является гармонической и поэтому возникает из полупростого представления фундаментальной группы тогда и только тогда, когда Классы Черна ${ displaystyle c_ {1} (E)}$ и ${ displaystyle c_ {2} (E)}$ исчезнуть. Более того, расслоение Хиггса стабильно тогда и только тогда, когда оно допускает неприводимую эрмитову связность Янга – Миллса и, следовательно, происходит из неприводимого представления фундаментальной группы.

В совокупности переписку можно сформулировать следующим образом:

Неабелева теорема Ходжа: Расслоение Хиггса (которое топологически тривиально) возникает из полупростого представления фундаментальной группы тогда и только тогда, когда оно полистабильно. Более того, оно возникает из неприводимого представления тогда и только тогда, когда оно устойчиво.

В терминах пространств модулей

Неабелево соответствие Ходжа дает не только биекцию множеств, но и гомеоморфизмы пространств модулей. В самом деле, если два расслоения Хиггса изоморфны в том смысле, что они могут быть связаны калибровочным преобразованием и, следовательно, соответствуют одной и той же точке в пространстве модулей Дольбо, то соответствующие представления также будут изоморфны и давать одну и ту же точку в пространстве модулей Дольбо. Пространство модулей Бетти. В терминах пространств модулей неабелева теорема Ходжа может быть сформулирована следующим образом.

Неабелева теорема Ходжа (версия с пространством модулей): Есть гомеоморфизмы ${ Displaystyle M_ {Dol} ^ {ss} cong M_ {dR} cong M_ {B} ^ {+}}$ пространств модулей, которые ограничиваются гомеоморфизмами ${ Displaystyle M_ {Dol} ^ {s} cong M_ {dR} ^ {*} cong M_ {B} ^ {*}}$.

В общем случае эти пространства модулей будут не просто топологические пространства, но имеют некоторую дополнительную структуру. Например, пространство модулей Дольбо и пространство модулей Бетти ${ displaystyle M_ {Dol} ^ {ss}, M_ {B} ^ {+}}$ естественно комплексные алгебраические многообразия, а там, где оно гладкое, пространство модулей де Рама ${ displaystyle M_ {dR}}$ - риманово многообразие. На общем месте, где эти пространства модулей гладкие, отображение ${ displaystyle M_ {dR} to M_ {B} ^ {+}}$ является диффеоморфизмом, и поскольку ${ displaystyle M_ {B} ^ {+}}$ - комплексное многообразие на гладком геометрическом множестве, ${ displaystyle M_ {dR}}$ получает согласованную риманову и комплексную структуру и, следовательно, является кэлеровым многообразием.

Точно так же на гладком геометрическом месте карта ${ displaystyle M_ {B} ^ {+} to M_ {Dol} ^ {ss}}$ является диффеоморфизмом. Однако, хотя оба пространства модулей Дольбо и Бетти имеют естественные комплексные структуры, они не изоморфны. Фактически, если они обозначены ${ displaystyle I, J}$ (для ассоциированных интегрируемых почти сложные конструкции) тогда ${ displaystyle IJ = -JI}$. В частности, если определить третью почти сложную структуру с помощью ${ displaystyle K = IJ}$ тогда ${ displaystyle I ^ {2} = J ^ {2} = K ^ {2} = IJK = - operatorname {Id}}$. Если объединить эти три сложные структуры с римановой метрикой, полученной из ${ displaystyle M_ {dR}}$, то на гладком геометрическом множестве пространства модулей становятся Гиперкэлерово многообразие.

Связь с соответствием Хитчина – Кобаяши и унитарными представлениями

Если установить поле Хиггса ${ displaystyle Phi}$ к нулю, то расслоение Хиггса - это просто голоморфное векторное расслоение. Это дает включение ${ displaystyle N_ {Dol} ^ {ss} subset M_ {Dol} ^ {ss}}$ пространства модулей полустабильных голоморфных векторных расслоений в пространство модулей расслоений Хиггса. Соответствие Хитчина – Кобаяши дает соответствие между голоморфными векторными расслоениями и эрмитовыми связностями Янга – Миллса над компактными кэлеровыми многообразиями и поэтому может рассматриваться как частный случай неабелевого соответствия Ходжа.

Когда базовое векторное расслоение топологически тривиально, голономия эрмитовой связности Янга – Миллса приведет к унитарному представлению фундаментальной группы, ${ displaystyle rho: pi _ {1} (X) to operatorname {U} (r)}$. Подмножество пространства модулей Бетти, соответствующее унитарным представлениям, обозначенное ${ Displaystyle N_ {B} ^ {+}}$, будет изоморфно отображаться на пространство модулей полустабильных векторных расслоений ${ displaystyle N_ {Dol} ^ {ss}}$.

Примеры

Расслоения Хиггса первого ранга на компактных римановых поверхностях

Частный случай, когда ранг базового векторного расслоения равен единице, приводит к более простому соответствию.^[10] Во-первых, любое линейное расслоение устойчиво, так как нет собственных ненулевых подпучков. В этом случае расслоение Хиггса состоит из пары ${ Displaystyle (L, Phi)}$ голоморфного линейного расслоения и голоморфного ${ displaystyle (1,0)}$-форма, поскольку эндоморфизмы линейного расслоения тривиальны. В частности, поле Хиггса не связано с голоморфным линейным расслоением, поэтому пространство модулей ${ displaystyle M_ {Dol}}$ разделится как продукт, и единичная форма автоматически удовлетворяет условию ${ Displaystyle Phi клин Phi = 0}$. Калибровочная группа линейного расслоения коммутативна, поэтому действует тривиально на поле Хиггса ${ displaystyle Phi}$ по спряжению. Таким образом, пространство модулей можно идентифицировать как продукт

${ displaystyle M_ {Dol} = operatorname {Jac} (X) times H ^ {0} (X, { boldsymbol { Omega}} ^ {1})}$

из Якобиева многообразие из ${ displaystyle X}$, классифицирующий все голоморфные линейные расслоения с точностью до изоморфизма, и векторное пространство ${ displaystyle H ^ {0} (X, { boldsymbol { Omega}} ^ {1})}$ голоморфных ${ displaystyle (1,0)}$-форм.

В случае расслоения Хиггса ранга один на компактных римановых поверхностях можно получить дальнейшее описание пространства модулей. Фундаментальная группа компактной римановой поверхности a группа поверхностей, дан кем-то

${ displaystyle pi _ {1} (X) = langle a_ {1}, dots, a_ {g}, b_ {1}, dots, b_ {g} mid [a_ {1}, b_ { 1}] cdots [a_ {g}, b_ {g}] = e rangle}$

куда ${ displaystyle g}$ это род римановой поверхности. Представления ${ displaystyle pi _ {1} (X)}$ в общую линейную группу ${ Displaystyle OperatorName {GL} (1, mathbb {C}) = mathbb {C} ^ {*}}$ поэтому даются ${ displaystyle 2g}$-наборы ненулевых комплексных чисел:

${ displaystyle operatorname {Hom} ( pi _ {1} (X), mathbb {C} ^ {*}) = ( mathbb {C} ^ {*}) ^ {2g}.}$

С ${ displaystyle mathbb {C} ^ {*}}$ абелево, сопряжение на этом пространстве тривиально, а пространство модулей Бетти ${ Displaystyle M_ {B} = ( mathbb {C} ^ {*}) ^ {2g}}$. С другой стороны, по Двойственность Серра, пространство голоморфных ${ displaystyle (1,0)}$-forms двойственен когомологии пучков ${ displaystyle H ^ {1} (X, { mathcal {O}} _ {X})}$. Якобиево многообразие - это Абелева разновидность дается частным

${ displaystyle operatorname {Jac} (X) = { frac {H ^ {1} (X, { mathcal {O}} _ {X})} {H ^ {1} (X, mathbb {Z })}},}$

так имеет касательные пространства, заданные векторным пространством ${ displaystyle H ^ {1} (X, { mathcal {O}} _ {X})}$, и котангенсный пучок

${ displaystyle T ^ {*} operatorname {Jac} (X) = operatorname {Jac} (X) times H ^ {1} (X, { mathcal {O}} _ {X}) ^ {* } = operatorname {Jac} (X) times H ^ {0} (X, { boldsymbol { Omega}} ^ {1}) = M_ {Dol}.}$

То есть пространство модулей Дольбо, пространство модулей голоморфных линейных расслоений Хиггса, является просто кокасательным расслоением к якобиану, пространству модулей голоморфных линейных расслоений. Таким образом, неабелево соответствие Ходжа дает диффеоморфизм

${ Displaystyle T ^ {*} OperatorName {Jac} (X) cong ( mathbb {C} ^ {*}) ^ {2g}}$

что не является биголоморфизмом. Можно проверить, что естественные комплексные структуры на этих двух пространствах различны и удовлетворяют соотношению ${ displaystyle IJ = -JI}$, задающий гиперкэлерову структуру на кокасательном расслоении якобиана.

Обобщения

Можно определить понятие принципала ${ displaystyle G}$-Набор Хиггса для комплекса редуктивная алгебраическая группа ${ displaystyle G}$, вариант расслоения Хиггса в категории основные связки. Есть понятие стабильный основной пакет, и можно определить устойчивый принципал ${ displaystyle G}$-Хиггс связка. Для этих объектов верна версия неабелевой теоремы Ходжа, связывающая основные ${ displaystyle G}$-Пучки Хиггса к представлениям фундаментальной группы в ${ displaystyle G}$.^[7][8][11]

Неабелева теория Ходжа

Соответствие между расслоениями Хиггса и представлениями фундаментальной группы можно сформулировать как своего рода неабелевский Теорема Ходжа, то есть аналогия Разложение Ходжа из Кэлерово многообразие, но с коэффициентами в неабелевой группе ${ Displaystyle OperatorName {GL} (п, mathbb {C})}$ вместо абелевой группы ${ displaystyle mathbb {C}}$. Экспозиция здесь следует за обсуждением Оскара Гарсиа-Прада в приложении к Уэллсу. Дифференциальный анализ на комплексных многообразиях..^[12]

Разложение Ходжа

Разложение Ходжа компактного кэлерова многообразия разлагает комплекс когомологии де Рама в лучшее Когомологии Дольбо:

${ displaystyle H_ {dR} ^ {k} (X, mathbb {C}) = bigoplus _ {p + q = k} H_ {Dol} ^ {p, q} (X).}$

На первой степени это дает прямую сумму

${ displaystyle H ^ {1} (X, mathbb {C}) = H ^ {0,1} (X) oplus H ^ {1,0} (X) cong H ^ {1} (X, { mathcal {O}} _ {X}) oplus H ^ {0} (X, { boldsymbol { Omega}} ^ {1})}$

где мы применили Теорема Дольбо сформулировать когомологии Дольбо в терминах когомологии пучков пучка голоморфных ${ displaystyle (1,0)}$-формы ${ displaystyle { boldsymbol { Omega}} ^ {1},}$ и структурный пучок ${ displaystyle { mathcal {O}} _ {X}}$ голоморфных функций на ${ displaystyle X}$.

Неабелевы когомологии

При строительстве когомологии пучков, пучок коэффициентов ${ displaystyle { mathcal {F}}}$ всегда является пучком абелевых групп. Это потому, что для абелевой группы каждая подгруппа нормальный, поэтому фактор-группа

${ displaystyle { check {H}} ^ {k} (X, { mathcal {F}}) = Z ^ {k} (X, { mathcal {F}}) / B ^ {k} (X , { mathcal {F}})}$

коциклов пучка кограницами пучка всегда корректно определена. Когда сноп ${ displaystyle { mathcal {F}}}$ не абелева, эти факторы не обязательно корректно определены, и поэтому теории пучковых когомологий не существуют, за исключением следующих особых случаев:

• ${ displaystyle k = 0}$: Группа когомологий 0-го пучка всегда является пространством глобальных сечений пучка ${ displaystyle { mathcal {F}}}$, поэтому всегда четко определен, даже если ${ displaystyle { mathcal {F}}}$ неабелевский.
• ${ displaystyle k = 1}$: Когомологии 1-го пучка набор корректно определен для неабелевого пучка ${ displaystyle { mathcal {F}}}$, но это не частное группа.
• ${ displaystyle k = 2}$: В некоторых частных случаях аналог когомологий пучков второй степени может быть определен для неабелевых пучков, используя теорию герберы.

Ключевой пример неабелевых когомологий возникает, когда пучок коэффициентов равен ${ Displaystyle { mathcal {GL}} (г, mathbb {C})}$, пучок голоморфных функций в комплекс общая линейная группа. В данном случае это общеизвестный факт из Когомологии Чеха что набор когомологий

${ displaystyle { check {H}} ^ {1} (X, { mathcal {GL}} (r, mathbb {C}))}$

находится во взаимно однозначном соответствии с множеством голоморфных векторных расслоений ранга ${ displaystyle r}$ на ${ displaystyle X}$, с точностью до изоморфизма. Отметим, что существует выделенное голоморфное векторное расслоение ранга ${ displaystyle r}$, тривиальное векторное расслоение, так что это на самом деле когомология заостренный набор. В частном случае ${ displaystyle r = 1}$ полная линейная группа - это абелева группа ${ displaystyle mathbb {C} ^ {*}}$ ненулевых комплексных чисел относительно умножения. В этом случае получается группа голоморфных линейных расслоений с точностью до изоморфизма, иначе известное как Группа Пикард.

Неабелева теорема Ходжа

Первая группа когомологий ${ Displaystyle Н ^ {1} (Х, mathbb {C})}$ изоморфна группе гомоморфизмов фундаментальной группы ${ displaystyle pi _ {1} (X)}$ к ${ displaystyle mathbb {C}}$. Это можно понять, например, применив Теорема Гуревича. Таким образом, упомянутое выше регулярное разложение Ходжа можно сформулировать как

${ displaystyle operatorname {Hom} ( pi _ {1} (X), mathbb {C}) cong H ^ {1} (X, { mathcal {O}} _ {X}) oplus H ^ {0} (X, { boldsymbol { Omega}} ^ {1}).}$

Неабелево соответствие Ходжа дает следующую аналогию этого утверждения теоремы Ходжа для неабелевых когомологий. Пучок Хиггса состоит из пары ${ displaystyle (E, Phi)}$ куда ${ displaystyle E}$ - голоморфное векторное расслоение, а ${ displaystyle Phi in H ^ {0} (X, operatorname {End} (E) otimes { boldsymbol { Omega}} ^ {1})}$ голоморфен, эндоморфизмозначный ${ displaystyle (1,0)}$-форма. Голоморфное векторное расслоение ${ displaystyle E}$ может быть отождествлен с элементом ${ displaystyle { check {H}} ^ {1} (X, { mathcal {GL}} (r, mathbb {C}))}$ как уже упоминалось выше. Таким образом, связку Хиггса можно рассматривать как элемент прямого произведения

${ displaystyle (E, Phi) in { check {H}} ^ {1} (X, { mathcal {GL}} (r, mathbb {C})) oplus H ^ {0} ( X, operatorname {End} (E) otimes { boldsymbol { Omega}} ^ {1}).}$

Неабелево соответствие Ходжа дает изоморфизм из пространства модулей ${ Displaystyle OperatorName {GL} (г, mathbb {C})}$-представления фундаментальной группы ${ displaystyle pi _ {1} (X)}$ к пространству модулей расслоений Хиггса, которое, следовательно, может быть записано как изоморфизм

${ displaystyle operatorname {Rep} ( pi _ {1} (X), operatorname {GL} (r, mathbb {C})) cong { check {H}} ^ {1} (X, { mathcal {GL}} (r, mathbb {C})) oplus H ^ {0} (X, operatorname {End} (E) otimes { boldsymbol { Omega}} ^ {1}) .}$

Это можно рассматривать как аналог обычного разложения Ходжа, описанного выше. Пространство модулей представлений ${ displaystyle operatorname {Rep} ( pi _ {1} (X), operatorname {GL} (r, mathbb {C}))}$ играет роль первых когомологий ${ displaystyle X}$ с неабелевыми коэффициентами множество когомологий ${ displaystyle { check {H}} ^ {1} (X, { mathcal {GL}} (r, mathbb {C}))}$ играет роль пространства ${ displaystyle H ^ {1} (X, { mathcal {O}} _ {X})}$, а группа ${ displaystyle H ^ {0} (X, operatorname {End} (E) otimes { boldsymbol { Omega}} ^ {1})}$ играет роль голоморфных (1,0) -форм ${ displaystyle H ^ {0} (X, { boldsymbol { Omega}} ^ {1})}$.

Изоморфизм здесь записывается ${ displaystyle cong}$, но это не реальный изоморфизм множеств, так как пространство модулей расслоений Хиггса не дается буквально прямой суммой выше, поскольку это только аналогия.

Структура Ходжа

Пространство модулей ${ displaystyle M_ {Dol} ^ {ss}}$ полустабильных расслоений Хиггса имеет естественное действие мультипликативной группы ${ displaystyle mathbb {C} ^ {*}}$, задаваемый масштабированием поля Хиггса: ${ displaystyle lambda cdot (E, Phi) = (E, lambda Phi)}$ за ${ displaystyle lambda in mathbb {C} ^ {*}}$. Для абелевых когомологий такая ${ displaystyle mathbb {C} ^ {*}}$ действие порождает Структура Ходжа, являющееся обобщением разложения Ходжа когомологий компактного кэлерова многообразия. Один из способов понять неабелеву теорему Ходжа - использовать ${ displaystyle mathbb {C} ^ {*}}$ действие на пространстве модулей ${ displaystyle M_ {B} ^ {+}}$ для получения фильтрации Ходжа. Это может привести к новым топологическим инвариантам основного многообразия ${ displaystyle X}$. Например, таким образом получаются ограничения на то, какие группы могут выступать в качестве фундаментальных групп компактных кэлеровых многообразий.^[7]

Рекомендации