stringtranslate.com

Орбифолд

Эту терминологию не следует винить во мне. Она была получена демократическим путем в ходе моего курса 1976–77 гг. Орбифолд — это нечто со многими складками; к сожалению, слово «многообразие» уже имеет другое определение. Я попробовал «foldamani», которое было быстро заменено предложением «многообразный». После двух месяцев терпеливых заявлений «нет, не многообразие, многообразие мертво », мы провели голосование, и «орбифолд» победил.

Терстон (1978–1981, стр. 300, раздел 13.2) объясняет происхождение слова «орбифолд»

Сравнение гиперболической симметрии с евклидовой симметрией
Пример 23-звездного орбифолда

В математических дисциплинах топологии и геометрии орбифолд (от "орбит-многообразие") является обобщением многообразия . Грубо говоря, орбифолд - это топологическое пространство , которое локально является конечным групповым фактором евклидова пространства .

Определения орбифолда давались несколько раз: Ичиро Сатаке в контексте автоморфных форм в 1950-х годах под названием V-многообразие ; [1] Уильямом Терстоном в контексте геометрии 3-многообразий в 1970-х годах [2] , когда он придумал название орбифолд после голосования своих студентов; и Андре Хефлигером в 1980-х годах в контексте программы Михаила Громова по пространствам CAT(k) под названием орбиэдр . [3]

Исторически орбифолды впервые возникли как поверхности с особыми точками задолго до того, как они были формально определены. [4] Один из первых классических примеров возник в теории модулярных форм [5] с действием модулярной группы на верхней полуплоскости : версия теоремы Римана–Роха справедлива после того, как фактор компактифицируется добавлением двух точек возврата орбифолда. В теории 3-многообразий теория волокнистых пространств Зейферта , инициированная Гербертом Зейфертом , может быть сформулирована в терминах 2-мерных орбифолдов. [6] В геометрической теории групп , после Громова, дискретные группы изучались в терминах локальных свойств кривизны орбиэдров и их накрывающих пространств. [7]

В теории струн слово «орбифолд» имеет несколько иное значение, [8] подробно обсуждаемое ниже. В двумерной конформной теории поля оно относится к теории, присоединенной к подалгебре неподвижной точки вершинной алгебры под действием конечной группы автоморфизмов .

Основным примером базового пространства является факторпространство многообразия под действием, возможно, бесконечной группы диффеоморфизмов с конечными подгруппами изотропии . [9] В частности, это применимо к любому действию конечной группы ; таким образом, многообразие с границей несет естественную орбифолдную структуру, поскольку оно является фактором своего двойника по действию .

Одно топологическое пространство может нести различные структуры орбифолда. Например, рассмотрим орбифолд O , связанный с факторпространством 2-сферы вдоль поворота на ; он гомеоморфен 2-сфере, но естественная структура орбифолда отличается. Можно перенять большинство характеристик многообразий для орбифолдов, и эти характеристики обычно отличаются от соответствующих характеристик базового пространства. В приведенном выше примере фундаментальная группа орбифолда O равна , а ее эйлерова характеристика орбифолда равна 1.

Формальные определения

Определение с использованием орбифолдного атласа

Подобно многообразию, орбифолд определяется локальными условиями; однако, вместо того, чтобы локально моделироваться на открытых подмножествах , орбифолд локально моделируется на факторах открытых подмножеств по действиям конечной группы. Структура орбифолда кодирует не только структуру базового факторпространства, которое не обязательно должно быть многообразием, но и структуру подгрупп изотропии .

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

Коллекция орбифолдных карт называется орбифолдным атласом, если выполняются следующие свойства:

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

Обратите внимание, что структура орбифолда определяет подгруппу изотропии любой точки орбифолда с точностью до изоморфизма: ее можно вычислить как стабилизатор точки в любой карте орбифолда. Если U i U j U k , то существует единственный элемент перехода g ijk в Γ k такой, что

g ijk · ψ ik = ψ jk · ψ ij

Эти переходные элементы удовлетворяют

(Ad g ijkf ik = f jk · f ij

а также отношение коцикла (гарантирующее ассоциативность)

ж км ( г ijk ) · г ikm знак равно г ijm · г jkm .

В более общем смысле, к открытому покрытию орбифолда картами орбифолда присоединены комбинаторные данные так называемого комплекса групп (см. ниже).

Точно так же, как и в случае многообразий, на склеивающие отображения можно наложить условия дифференцируемости, чтобы дать определение дифференцируемого орбифолда . Он будет римановым орбифолдом , если в дополнение к этому на картах орбифолда имеются инвариантные римановы метрики , а склеивающие отображения являются изометриями .

Определение с использованием группоидов Ли

Напомним, что группоид состоит из набора объектов , набора стрелок и структурных отображений, включая исходные и целевые отображения и другие отображения, позволяющие составлять и инвертировать стрелки. Он называется группоидом Ли , если оба и являются гладкими многообразиями, все структурные отображения гладкие, а оба исходных и целевых отображения являются субмерсиями. Пересечение исходного и целевого слоев в заданной точке , то есть множество , является группой Ли, называемой группой изотропии в . Группоид Ли называется собственным, если отображение является собственным , и эталь , если оба исходных и целевых отображения являются локальными диффеоморфизмами .

Орбифолдный группоид задается одним из следующих эквивалентных определений:

Поскольку группы изотропии собственных группоидов автоматически компактны , условие дискретности подразумевает, что изотропии должны быть фактически конечными группами . [10]

Орбифолдные группоиды играют ту же роль, что и орбифолдные атласы в определении выше. Действительно, орбифолдная структура на хаусдорфовом топологическом пространстве определяется как класс эквивалентности Мориты орбифолдного группоида вместе с гомеоморфизмом , где — пространство орбит группоида Ли (т.е. фактор по эквивалентному отношению, когда есть с и ) . Это определение показывает, что орбифолды являются особым видом дифференцируемого стека .

Связь между двумя определениями

Если атлас орбифолда находится на пространстве , можно построить псевдогруппу, составленную из всех диффеоморфизмов между открытыми множествами , которые сохраняют функции перехода . В свою очередь, пространство ростков его элементов является группоидом орбифолда. Более того, поскольку по определению атласа орбифолда каждая конечная группа действует точно на , группоид автоматически эффективен, т. е. отображение инъективно для любого . Два различных атласа орбифолда порождают одну и ту же структуру орбифолда тогда и только тогда, когда их ассоциированные группоиды орбифолда эквивалентны по Морите. Следовательно, любая структура орбифолда согласно первому определению (также называемая классическим орбифолдом ) является особым видом структуры орбифолда согласно второму определению.

Наоборот, если задан орбифолдный группоид , то существует канонический орбифолдный атлас над его орбитным пространством, чей ассоциированный эффективный орбифолдный группоид является Морита-эквивалентным . Поскольку орбитные пространства Морита-эквивалентных группоидов гомеоморфны, орбифолдная структура согласно второму определению редуцирует орбифолдную структуру согласно первому определению в эффективном случае. [11]

Соответственно, хотя понятие атласа орбифолда проще и чаще встречается в литературе, понятие группоида орбифолда особенно полезно при обсуждении неэффективных орбифолдов и отображений между орбифолдами. Например, отображение между орбифолдами может быть описано гомоморфизмом между группоидами, который несет больше информации, чем лежащее в основе непрерывное отображение между лежащими в основе топологическими пространствами.

Примеры

Орбифолдная фундаментальная группа

Существует несколько способов определения орбифолдной фундаментальной группы . Более сложные подходы используют орбифолдные покрывающие пространства или классифицирующие пространства группоидов . Самый простой подход (принятый Хефлигером и известный также Терстону) расширяет обычное понятие цикла , используемое в стандартном определении фундаментальной группы .

Орбифолдный путь — это путь в базовом пространстве, снабженный явным кусочным подъемом сегментов пути на орбифолдные карты и явными элементами группы, идентифицирующими пути в перекрывающихся картах; если базовый путь является петлей, он называется орбифолдной петлей . Два орбифолдных пути идентифицируются, если они связаны посредством умножения на элементы группы в орбифолдных картах. Орбифолдная фундаментальная группа — это группа, образованная гомотопическими классами орбифолдных петель.

Если орбифолд возникает как фактор-группа односвязного многообразия M по собственному жесткому действию дискретной группы Γ, то фундаментальную группу орбифолда можно отождествить с Γ. В общем случае это расширение Γ на π 1 M .

Говорят, что орбифолд является развертываемым или хорошим , если он возникает как фактор по действию группы; в противном случае он называется плохим . Универсальное накрывающее орбифолд может быть построено для орбифолда по прямой аналогии с построением универсального накрывающего пространства топологического пространства, а именно как пространство пар, состоящих из точек орбифолда и гомотопических классов путей орбифолда, соединяющих их с базовой точкой. Это пространство, естественно, является орбифолдом.

Обратите внимание, что если орбифолдная карта на стягиваемом открытом подмножестве соответствует группе Γ, то существует естественный локальный гомоморфизм Γ в орбифолдную фундаментальную группу.

Фактически следующие условия эквивалентны:

Орбифолды как диффеологии

Орбифолды могут быть определены в общих рамках диффеологии [12] и, как было доказано, эквивалентны [13] оригинальному определению Ичиро Сатаке : [1]

Определение: Орбифолд — это диффеологическое пространство, локально диффеоморфное в каждой точке некоторому , где — целое число, а — конечная линейная группа, которая может меняться от точки к точке.

Это определение требует нескольких замечаний:

Обратите внимание, что фундаментальная группа орбифолда как диффеологического пространства не совпадает с фундаментальной группой, определенной выше. Последняя связана со структурным группоидом [18] и его группами изотропии.

Орбипространства

Для приложений в геометрической теории групп часто бывает удобно иметь немного более общее понятие орбифолда, предложенное Хефлигером. Орбипространство для топологических пространств является тем же, чем орбифолд для многообразий. Орбипространство является топологическим обобщением концепции орбифолда. Оно определяется заменой модели для карт орбифолда локально компактным пространством с жестким действием конечной группы, т. е. таким, для которого точки с тривиальной изотропией являются плотными. (Это условие автоматически выполняется точным линейным действием, поскольку точки, зафиксированные любым нетривиальным элементом группы, образуют собственное линейное подпространство .) Также полезно рассматривать структуры метрического пространства на орбипространстве, заданные инвариантными метриками на картах орбипространства, для которых склеивающие отображения сохраняют расстояние. В этом случае обычно требуется, чтобы каждая карта орбипространства была пространством длины с уникальными геодезическими, соединяющими любые две точки.

Пусть X — орбипространство, наделенное метрической пространственной структурой, для которой карты являются геодезическими пространствами длины. Предшествующие определения и результаты для орбифолдов можно обобщить, чтобы дать определения фундаментальной группы орбипространства и универсального покрывающего орбипространства с аналогичными критериями развертываемости. Функции расстояния на картах орбипространства можно использовать для определения длины пути орбипространства в универсальном покрывающем орбипространстве. Если функция расстояния в каждой карте неположительно искривлена , то аргумент сокращения кривой Биркгофа можно использовать для доказательства того, что любой путь орбипространства с фиксированными конечными точками гомотопен уникальной геодезической. Применяя это к постоянным путям в карте орбипространства, следует, что каждый локальный гомоморфизм инъективен и, следовательно:

Комплексы групп

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

Определение

Комплекс групп ( Y , f , g ) на абстрактном симплициальном комплексе Y задается формулой

Элементы группы должны дополнительно удовлетворять условию коцикла

ж π ρ ( г ρστ ) г πρτ знак равно г π στ г π ρσ

для каждой цепочки симплексов (Это условие пусто, если Y имеет размерность 2 или меньше.)

Любой выбор элементов h στ в Γ σ дает эквивалентный комплекс групп, определяя

Комплекс групп называется простым , если g ρστ = 1 всюду.

Часто бывает удобнее и концептуально привлекательнее перейти к барицентрическому подразделению Y . Вершины этого подразделения соответствуют симплексам Y , так что к каждой вершине прикреплена группа. Ребра барицентрического подразделения естественно ориентированы (соответствуют включениям симплексов), и каждое направленное ребро дает включение групп. К каждому треугольнику прикреплен переходный элемент, принадлежащий группе ровно из одной вершины; а тетраэдры, если таковые имеются, дают соотношения коцикла для переходных элементов. Таким образом, комплекс групп включает только 3-скелет барицентрического подразделения; и только 2-скелет, если он простой.

Пример

Если X — орбифолд (или орбипространство), выбираем покрытие открытыми подмножествами из орбифолдных карт f i : V i U i . Пусть Y — абстрактный симплициальный комплекс, заданный нервом покрытия : его вершины — множества покрытия, а его n -симплексы соответствуют непустым пересечениям U α = U i 1 ··· U i n . Для каждого такого симплекса существует связанная группа Γ α и гомоморфизмы f ij становятся гомоморфизмами f στ . Для каждой тройки ρ σ τ , соответствующей пересечениям

имеются карты φ i  : V i U i , φ ij  : V ij U i U j и φ ijk  : V ijk U i U j U k и склеивающие карты ψ : V ij V i , ψ' : V ijk V ij и ψ" : V ijk V i .

Существует единственный элемент перехода g ρστ в Γ i такой, что g ρστ · ψ " = ψ · ψ . Соотношения, которым удовлетворяют элементы перехода орбифолда, влекут за собой те, которые требуются для комплекса групп. Таким образом, комплекс групп может быть канонически связан с нервом открытого покрытия с помощью карт орбифолда (или орбипространства). На языке некоммутативной теории пучков и gerbes комплекс групп в этом случае возникает как пучок групп, связанный с покрытием U i ; данные g ρστ являются 2-коциклом в некоммутативных когомологиях пучка , а данные h στ дают 2-кограничное возмущение.

Группа краевого пути

Группа реберных путей комплекса групп может быть определена как естественное обобщение группы реберных путей симплициального комплекса. В барицентрическом подразделении Y возьмем генераторы e ij , соответствующие ребрам от i до j , где i j , так что существует инъекция ψ ij  : Γ i Γ j . Пусть Γ будет группой, порожденной e ij и Γ k с соотношениями

е ij −1 · грамм · е ij знак равно ψ ij ( грамм )

для g в Γ i и

е ик = е jk · е ij · г ijk

если я j k .

Для фиксированной вершины i 0 группа реберных путей Γ( i 0 ) определяется как подгруппа Γ, порожденная всеми произведениями

г 0 · е я 0 я 1 · г 1 · е я 1 я 2 · ··· · г n · е я п я 0

где i 0 , i 1 , ..., i n , i 0 — реберный путь, g k лежит в Γ i k и e ji = e ij −1, если i j .

Развивающиеся комплексы

Симплициальное собственное действие дискретной группы Γ на симплициальном комплексе X с конечным фактором называется регулярным , если оно удовлетворяет одному из следующих эквивалентных условий: [9]

Фундаментальная область и фактор Y = X / Γ в этом случае могут быть естественным образом идентифицированы как симплициальные комплексы, заданные стабилизаторами симплексов в фундаментальной области. Комплекс групп Y называется развертываемым, если он возникает таким образом.

Действие Γ на барицентрическое подразделение X ' пространства X всегда удовлетворяет следующему условию, более слабому, чем регулярность:

Действительно, симплексы в X ' соответствуют цепям симплексов в X , так что подсимплекс, заданный подцепями симплексов, однозначно определяется размерами симплексов в подцепи. Когда действие удовлетворяет этому условию, то g обязательно фиксирует все вершины σ. Прямой индуктивный аргумент показывает, что такое действие становится регулярным на барицентрическом подразделении; в частности

На самом деле нет необходимости переходить к третьему барицентрическому подразделению: как замечает Хефлигер, используя язык теории категорий , в этом случае 3-скелет фундаментальной области X " уже несет все необходимые данные, включая переходные элементы для треугольников, чтобы определить группу ребер-путей, изоморфную Γ.

В двух измерениях это особенно просто описать. Фундаментальная область X " имеет ту же структуру, что и барицентрическое подразделение Y ' комплекса групп Y , а именно:

Затем можно определить группу ребер-путей. Подобная структура наследуется барицентрическим подразделением Z ', и его группа ребер-путей изоморфна группе Z .

Орбиэдры

Если счетная дискретная группа действует регулярным симплициальным собственным действием на симплициальном комплексе , фактору можно задать не только структуру комплекса групп, но и структуру орбипространства. Это приводит в более общем виде к определению «орбиэдра», симплициального аналога орбифолда.

Определение

Пусть X — конечный симплициальный комплекс с барицентрическим подразделением X '. Структура орбиэдра состоит из:

Это действие Γ i на L i ' продолжается до симплициального действия на симплициальном конусе C i над L i ' (симплициальное соединение i и L i '), фиксируя центр i конуса. Отображение φ i продолжается до симплициального отображения C i на звезду St( i ) точки i , перенося центр на i ; таким образом, φ i отождествляет C i / Γ i , фактор звезды i в C i , с St( i ) и дает карту орбиэдра в точке i .

Если i j k , то существует единственный элемент перехода g ijk в Γ k такой, что

g ijk ·ψ ik = ψ jk ·ψ ij

Эти переходные элементы удовлетворяют

(Ad g ijkf ik = f jk · f ij

а также отношение коцикла

ψ км ( г ijk ) · г ikm знак равно г ijm · г jkm .

Основные свойства

Треугольники групп

Исторически одним из важнейших приложений орбифолдов в геометрической теории групп были треугольники групп . Это простейший двумерный пример, обобщающий одномерный «интервал групп», обсуждаемый в лекциях Серра о деревьях, где объединенные свободные произведения изучаются в терминах действий на деревьях. Такие треугольники групп возникают всякий раз, когда дискретная группа действует просто транзитивно на треугольники в аффинном построении Брюа–Титса для SL 3 ( Q p ); в 1979 году Мамфорд обнаружил первый пример для p = 2 (см. ниже) как шаг в создании алгебраической поверхности, не изоморфной проективному пространству , но имеющей те же числа Бетти . Треугольники групп были подробно разработаны Герстеном и Столлингсом, в то время как более общий случай комплексов групп, описанный выше, был независимо разработан Хефлигером. Основной геометрический метод анализа конечно представленных групп в терминах метрических пространств неположительной кривизны принадлежит Громову. В этом контексте треугольники групп соответствуют неположительно искривленным 2-мерным симплициальным комплексам с регулярным действием группы, транзитивным на треугольниках .

Треугольник групп — это простой комплекс групп, состоящий из треугольника с вершинами A , B , C. Существуют группы

Существует инъективный гомоморфизм Γ ABC во все остальные группы и группы ребер Γ XY в Γ X и Γ Y . Все три способа отображения Γ ABC в группу вершин согласуются. (Часто Γ ABC является тривиальной группой.) Евклидова метрическая структура на соответствующем орбипространстве неположительно искривлена ​​тогда и только тогда, когда линк каждой из вершин в карте орбиэдра имеет обхват не менее 6.

Этот обхват в каждой вершине всегда четный и, как заметил Столлингс, может быть описан в вершине A , скажем, как длина наименьшего слова в ядре естественного гомоморфизма в Γ A объединенного свободного произведения над Γ ABC реберных групп Γ AB и Γ AC :

Результат с использованием евклидовой метрической структуры не является оптимальным. Углы α, β, γ в вершинах A , B и C были определены Столлингсом как 2π, деленные на обхват. В евклидовом случае α, β, γ ≤ π/3. Однако, если требуется только, чтобы α + β + γ ≤ π, можно отождествить треугольник с соответствующим геодезическим треугольником в гиперболической плоскости с метрикой Пуанкаре (или евклидовой плоскости, если выполняется равенство). Классический результат гиперболической геометрии заключается в том, что гиперболические медианы пересекаются в гиперболическом барицентре [19] , как и в знакомом евклидовом случае. Барицентрическое подразделение и метрика из этой модели дают неположительно искривленную метрическую структуру на соответствующем орбипространстве. Таким образом, если α+β+γ≤π,

Пример Мамфорда

Самолет Фано

Пусть α = задано биномиальным разложением (1 − 8) 1/2 в Q 2 и положим K = Q ( α ) Q 2 . Пусть

ζ = exp 2 π i /7
λ = ( α − 1)/2 = ζ + ζ 2 + ζ 4
μ = λ / λ *.

Пусть E = Q ( ζ ), 3-мерное векторное пространство над K с базисом 1, ζ и ζ 2. Определим K -линейные операторы на E следующим образом:

Элементы ρ , σ и τ порождают дискретную подгруппу GL 3 ( K ), которая действует должным образом на аффинном здании Брюа–Титса, соответствующем SL 3 ( Q 2 ). Эта группа действует транзитивно на всех вершинах, ребрах и треугольниках в здании. Пусть

σ 1 знак равно σ , σ 2 знак равно ρσρ -1 , σ 3 знак равно ρ 2 σρ -2 .

Затем

Элементы σ и τ порождают стабилизатор вершины. Связь этой вершины можно отождествить со сферическим зданием SL 3 ( F 2 ), а стабилизатор можно отождествить с группой коллинеаций плоскости Фано , порожденной 3-кратной симметрией σ, фиксирующей точку, и циклической перестановкой τ всех 7 точек, удовлетворяющей στ = τ 2 σ . Отождествляя F 8 * с плоскостью Фано, σ можно считать ограничением автоморфизма Фробениуса σ ( x ) = x 22 плоскости F 8 , а τ — умножением на любой элемент, не принадлежащий простому полю F 2 , т. е. генератором порядка 7 циклической мультипликативной группы плоскости F 8 . Эта группа Фробениуса действует просто транзитивно на 21 флаге плоскости Фано, т. е. линиях с отмеченными точками. Таким образом, формулы для σ и τ на E «поднимают» формулы на F 8 .

Мамфорд также получает действие, просто транзитивное на вершинах здания, переходя к подгруппе Γ 1 = < ρ , σ , τ , − I >. Группа Γ 1 сохраняет Q ( α )-значную эрмитову форму

f ( x , y ) = xy * + σ ( xy *) + σ 2 ( xy *)

на Q (ζ) и может быть отождествлен с U 3 (f) GL 3 ( S ), где S = Z [ α , 1/2 ]. Так как S /( α ) = F 7 , то существует гомоморфизм группы Γ 1 в GL 3 ( F 7 ). Это действие оставляет инвариантным 2-мерное подпространство в F 7 3 и, следовательно, порождает гомоморфизм Ψ группы Γ 1 в SL 2 ( F 7 ), группу порядка 16·3·7. С другой стороны, стабилизатор вершины является подгруппой порядка 21, и Ψ инъективно на этой подгруппе. Таким образом, если конгруэнт-подгруппа Γ 0 определена как обратный образ относительно Ψ 2- силовской подгруппы SL 2 ( F 7 ) , то действие Γ 0 на вершинах должно быть просто транзитивным.

Обобщения

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

Картрайт и др. рассматривают действия над зданиями, которые просто транзитивны на вершинах . Каждое такое действие производит биекцию (или модифицированную двойственность) между точками x и прямыми x * в комплексе флагов конечной проективной плоскости и набором ориентированных треугольников точек ( x , y , z ), инвариантных относительно циклической перестановки, таких, что x лежит на z *, y лежит на x * и z лежит на y *, и любые две точки однозначно определяют третью. Полученные группы имеют генераторы x , помеченные точками, и отношения xyz = 1 для каждого треугольника. В общем случае эта конструкция не будет соответствовать действию над классическим аффинным зданием.

В более общем смысле, как показали Баллманн и Брин, подобные алгебраические данные кодируют все действия, которые просто транзитивны на вершинах неположительно искривленного двумерного симплициального комплекса, при условии, что связь каждой вершины имеет обхват не менее 6. Эти данные состоят из:

Элементы g в S обозначают вершины g · v в звене фиксированной вершины v ; а отношения соответствуют ребрам ( g −1 · v , h · v ) в этом звене. Граф с вершинами S и ребрами ( g , h ), для g −1 h в S , должен иметь обхват не менее 6. Исходный симплициальный комплекс может быть восстановлен с использованием комплексов групп и второго барицентрического подразделения.

Двудольный граф Хивуда

Дальнейшие примеры неположительно искривленных 2-мерных комплексов групп были построены Святковским на основе действий, просто транзитивных на ориентированных ребрах и индуцирующих 3-кратную симметрию на каждом треугольнике; в этом случае комплекс групп также получается из регулярного действия на втором барицентрическом подразделении. Простейший пример, обнаруженный ранее Баллманном, начинается с конечной группы H с симметричным набором генераторов S , не содержащим тождества, таким образом, что соответствующий граф Кэли имеет обхват не менее 6. Ассоциированная группа порождается H и инволюцией τ , подчиненной (τg) 3 = 1 для каждого g в S .

Фактически, если Γ действует таким образом, фиксируя ребро ( v , w ), то существует инволюция τ, меняющая местами v и w . Связь v состоит из вершин g · w для g в симметричном подмножестве S из H = Γ v , порождая H, если связь связна. Предположение о треугольниках подразумевает, что

τ·( г · в ) = г −1 · в

для g в S. Таким образом, если σ = τ g и u = g −1 · w , то

σ( v ) знак равно ш , σ( ш ) знак равно ты , σ( ты ) знак равно ш .

Из простой транзитивности на треугольнике ( v , w , u ) следует, что σ 3 = 1.

Второе барицентрическое подразделение дает комплекс групп, состоящий из синглетонов или пар барицентрически подразделенных треугольников, соединенных вдоль их больших сторон: эти пары индексируются фактор-пространством S /~, полученным путем идентификации обратных в S . Одиночные или «связанные» треугольники, в свою очередь, соединены вдоль одного общего «хребта». Все стабилизаторы симплексов тривиальны, за исключением двух вершин на концах хребта со стабилизаторами H и <τ>, и оставшихся вершин больших треугольников со стабилизатором, порожденным соответствующим σ. Три из меньших треугольников в каждом большом треугольнике содержат переходные элементы.

Когда все элементы S являются инволюциями, ни один из треугольников не нужно удваивать. Если H взять за диэдральную группу D 7 порядка 14, порожденную инволюцией a и элементом b порядка 7, такими что

аб = б −1 а ,

тогда H порождается 3 инволюциями a , ab и ab 5 . Связь каждой вершины задается соответствующим графом Кэли, поэтому это просто двудольный граф Хивуда , т.е. точно такой же, как в аффинном построении для SL 3 ( Q 2 ). Эта структура связи подразумевает, что соответствующий симплициальный комплекс обязательно является евклидовым построением . Однако в настоящее время, по-видимому, неизвестно, может ли какой-либо из этих типов действий быть фактически реализован на классическом аффинном построении: группа Мамфорда Γ 1 (по модулю скаляров) является просто транзитивной только на ребрах, но не на ориентированных ребрах.

Двумерные орбифолды

Двумерные орбифолды имеют следующие три типа особых точек:

Компактный 2-мерный орбифолд имеет эйлерову характеристику, заданную формулой

,

где — эйлерова характеристика базового топологического многообразия , а — порядки угловых отражателей, а — порядки эллиптических точек.

Двумерный компактный связный орбифолд имеет гиперболическую структуру, если его эйлерова характеристика меньше 0, евклидову структуру, если она равна 0, а если его эйлерова характеристика положительна, то он либо плохой , либо имеет эллиптическую структуру (орбифолд называется плохим, если он не имеет многообразия в качестве накрывающего пространства). Другими словами, его универсальное накрывающее пространство имеет гиперболическую, евклидову или сферическую структуру.

Компактные 2-мерные связные орбифолды, которые не являются гиперболическими, перечислены в таблице ниже. 17 параболических орбифолдов являются факторами плоскости по 17 группам обоев .

3-мерные орбифолды

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

Теорема об орбифолде. Пусть M — малое 3-многообразие. Пусть φ — нетривиальный периодический диффеоморфизм M , сохраняющий ориентацию . Тогда M допускает φ-инвариантную гиперболическую или расслоенную структуру Зейферта.

Эта теорема является частным случаем теоремы Терстона об орбифолдах, объявленной без доказательства в 1981 году; она является частью его гипотезы геометризации для 3-многообразий . В частности, она подразумевает, что если X — компактное, связное, ориентируемое, неприводимое, атороидальное 3-орбифолд с непустым сингулярным локусом, то M имеет геометрическую структуру (в смысле орбифолдов). Полное доказательство теоремы было опубликовано Буало, Либом и Порти в 2005 году. [20]

Приложения

Орбифолды в теории струн

В теории струн слово «орбифолд» имеет немного новое значение. Для математиков орбифолд — это обобщение понятия многообразия , которое допускает наличие точек, окрестность которых диффеоморфна фактору R n по конечной группе, т. е. R n / Γ . В физике понятие орбифолда обычно описывает объект, который можно глобально записать как орбитальное пространство M / G , где M — многообразие (или теория), а G — группа его изометрий (или симметрий) — не обязательно все из них. В теории струн эти симметрии не обязательно должны иметь геометрическую интерпретацию.

Квантовая теория поля, определенная на орбифолде, становится сингулярной вблизи неподвижных точек G . Однако теория струн требует от нас добавления новых частей замкнутого струнного гильбертова пространства — а именно скрученных секторов, где поля, определенные на замкнутых струнах, являются периодическими с точностью до действия из G . Таким образом, орбифолдинг является общей процедурой теории струн для вывода новой теории струн из старой теории струн, в которой элементы G были отождествлены с тождеством. Такая процедура уменьшает число состояний, поскольку состояния должны быть инвариантны относительно G , но она также увеличивает число состояний из-за дополнительных скрученных секторов. Результатом обычно является совершенно гладкая новая теория струн.

D-браны, распространяющиеся по орбифолдам, описываются при низких энергиях калибровочными теориями, определяемыми диаграммами колчана . Открытые струны, прикрепленные к этим D-бранам , не имеют скрученного сектора, и поэтому число состояний открытых струн уменьшается процедурой орбифолда.

Более конкретно, когда орбифолдная группа G является дискретной подгруппой изометрий пространства-времени, то, если она не имеет неподвижной точки, результатом обычно является компактное гладкое пространство; скрученный сектор состоит из замкнутых струн, намотанных вокруг компактного измерения, которые называются состояниями обмотки .

Когда группа орбифолда G является дискретной подгруппой изометрий пространства-времени и имеет неподвижные точки, то они обычно имеют конические сингулярности , поскольку R n / Z k имеет такую ​​сингулярность в неподвижной точке Z k . В теории струн гравитационные сингулярности обычно являются признаком дополнительных степеней свободы , которые расположены в точке локуса в пространстве-времени. В случае орбифолда эти степени свободы являются скрученными состояниями, которые представляют собой струны, «застрявшие» в неподвижных точках. Когда поля, связанные с этими скрученными состояниями, приобретают ненулевое вакуумное ожидание , сингулярность деформируется, т. е. метрика изменяется и становится регулярной в этой точке и вокруг нее. Примером результирующей геометрии является пространство-время Эгучи–Хансона .

С точки зрения D-бран в окрестности неподвижных точек эффективная теория открытых струн, прикрепленных к этим D-бранам, является суперсимметричной теорией поля, пространство вакуумов которой имеет особую точку, где существуют дополнительные безмассовые степени свободы. Поля, связанные с замкнутым струнным скрученным сектором, связываются с открытыми струнами таким образом, чтобы добавить член Файе–Илиопулоса к лагранжиану суперсимметричной теории поля, так что когда такое поле приобретает ненулевое вакуумное ожидание , член Файе–Илиопулоса становится ненулевым и тем самым деформирует теорию (т. е. изменяет ее), так что сингулярность больше не существует [1], [2].

Многообразия Калаби–Яу

В теории суперструн [21] [22] построение реалистичных феноменологических моделей требует размерной редукции , поскольку струны естественным образом распространяются в 10-мерном пространстве, в то время как наблюдаемая размерность пространства-времени Вселенной равна 4. Формальные ограничения на теории, тем не менее, накладывают ограничения на компактифицированное пространство , в котором живут дополнительные «скрытые» переменные: при поиске реалистичных 4-мерных моделей с суперсимметрией вспомогательное компактифицированное пространство должно быть 6-мерным многообразием Калаби–Яу . [23]

Существует большое количество возможных многообразий Калаби–Яу (десятки тысяч), отсюда и использование термина « ландшафт » в современной литературе по теоретической физике для описания сбивающего с толку выбора. Общее изучение многообразий Калаби–Яу математически сложно, и долгое время примеры было трудно построить явно. Поэтому орбифолды оказались очень полезными, поскольку они автоматически удовлетворяют ограничениям, налагаемым суперсимметрией. Они предоставляют вырожденные примеры многообразий Калаби–Яу из-за их особых точек , [24], но это вполне приемлемо с точки зрения теоретической физики. Такие орбифолды называются «суперсимметричными»: их технически легче изучать, чем общие многообразия Калаби–Яу. Очень часто можно связать непрерывное семейство неособых многообразий Калаби–Яу с особы суперсимметричным орбифолдом. В 4 измерениях это можно проиллюстрировать с помощью комплексных поверхностей K3 :

  • Каждая поверхность K3 допускает 16 циклов размерности 2, которые топологически эквивалентны обычным 2-сферам. При стремлении поверхности этих сфер к нулю поверхность K3 развивает 16 особенностей. Этот предел представляет собой точку на границе пространства модулей поверхностей K3 и соответствует орбифолду, полученному путем факторизации тора по симметрии инверсии.

Изучение многообразий Калаби–Яу в теории струн и дуальности между различными моделями теории струн (типа IIA и IIB) привело к идее зеркальной симметрии в 1988 году. Роль орбифолдов была впервые отмечена Диксоном, Харви, Вафой и Виттеном примерно в то же время. [25]

Теория музыки

Помимо их многочисленных и разнообразных приложений в математике и физике, орбифолды применялись в теории музыки по крайней мере с 1985 года в работе Гуэрино Маццолы [26] [27] и позднее Дмитрия Тимочко и его коллег. [28] [29] [30] [31] Одна из статей Тимочко была первой статьей по теории музыки, опубликованной в журнале Science . [32] [33] [34] Маццола и Тимочко участвовали в дебатах относительно своих теорий, задокументированных в серии комментариев, доступных на их веб-сайтах. [35] [36]

Анимированные срезы трехмерного орбифолда . Срезы кубов, стоящих на концах (с их длинными диагоналями, перпендикулярными плоскости изображения), образуют цветные области Вороного (окрашенные по типу аккорда), которые представляют собой трехнотные аккорды в их центрах, с увеличенными трезвучиями в самом центре, окруженными мажорными и минорными трезвучиями (зеленый лайм и темно-синий). Белые области представляют собой вырожденные трихорды (однонотные, повторяющиеся три раза), с тремя линиями (представляющими два нотных аккорда), соединяющими их центры, образуя стенки скрученной треугольной призмы, двумерные плоскости, перпендикулярные плоскости изображения, действуют как зеркала.

Тимочко моделирует музыкальные аккорды, состоящие из n нот, которые не обязательно различны, как точки в орбифолде – пространстве из n неупорядоченных точек (не обязательно различимых) в окружности, реализованном как фактор n - тора (пространства из n упорядоченных точек на окружности) по симметрической группе (соответствующей переходу от упорядоченного множества к неупорядоченному множеству).

Музыкально это объясняется следующим образом:

Для диад (два тона) это дает замкнутую ленту Мёбиуса ; для триад (три тона) это дает орбифолд, который можно описать как треугольную призму с верхней и нижней треугольными гранями, отождествленными с поворотом на 120° (a 1/3 завихрение) – эквивалентно, как сплошной тор в 3-х измерениях с поперечным сечением в виде равностороннего треугольника и таким завихрением.

Полученный орбифолд естественным образом стратифицирован повторяющимися тонами (правильно, целочисленными разбиениями t ) — открытое множество состоит из различных тонов (разбиение ), в то время как существует одномерное сингулярное множество, состоящее из всех одинаковых тонов (разбиение ), которое топологически является окружностью, и различными промежуточными разбиениями. Существует также примечательная окружность, которая проходит через центр открытого множества, состоящего из равноотстоящих точек. В случае триад три боковые грани призмы соответствуют двум одинаковым тонам и третьему различному (разбиение ), в то время как три ребра призмы соответствуют одномерному сингулярному множеству. Верхняя и нижняя грани являются частью открытого множества и появляются только потому, что орбифолд был разрезан — если рассматривать его как треугольный тор с поворотом, эти артефакты исчезают.

Тимочко утверждает, что аккорды, близкие к центру (с тонами, расположенными на одинаковом или почти одинаковом расстоянии), составляют основу большей части традиционной западной гармонии, и что их визуализация таким образом помогает в анализе. В центре есть 4 аккорда (на одинаковом расстоянии при равномерной темперации — интервал между тонами 4/4/4), соответствующие увеличенным трезвучиям (считающимся музыкальными наборами ) C♯FA, DF♯A♯, D♯GB и EG♯C (затем они циклически повторяются: FAC♯ = C♯FA), причем 12 мажорных аккордов и 12 минорных аккордов являются точками рядом, но не в центре — почти равномерно расположенными, но не совсем. Мажорные аккорды соответствуют интервалу 4/3/5 (или эквивалентно 5/4/3), в то время как минорные аккорды соответствуют интервалу 3/4/5. Ключевые изменения соответствуют перемещению между этими точками в орбифолде, а более плавные изменения происходят при перемещении между близлежащими точками.

Смотрите также

Примечания

  1. ^ ab Satake 1956.
  2. Терстон 1978–1981, Глава 13.
  3. ^ Хефлигер 1990.
  4. ^ Пуанкаре 1985.
  5. ^ Серр 1970.
  6. ^ Скотт 1983.
  7. ^ Бридсон и Хефлигер 1999.
  8. ^ Ди Франческо, Матье и Сенешаль 1997.
  9. ^ ab Bredon 1972.
  10. ^ Moerdijk, Ieke (2002). Orbifolds as Groupoids: an Introduction. Orbifolds in Mathematics and Physics. Contemporary Mathematics. Vol. 310. American Mathematical Society . pp. 205–222. arXiv : math/0203100 . ISBN 978-0-8218-2990-5.
  11. ^ Moerdijk, Ieke ; Mrcun, Janez (2003). Введение в слоения и группоиды Ли. Cambridge Studies in Advanced Mathematics. Cambridge University Press . С. 140–144. doi :10.1017/cbo9780511615450. ISBN 978-0-521-83197-0.
  12. ^ Иглесиас-Земмур 2013.
  13. ^ Иглесиас, Каршон и Задка 2010.
  14. ^ Иглесиас и др. 2010, Теорема 46.
  15. ^ Хефлигер 1984.
  16. ^ Сатаке 1957, сноска, стр. 469.
  17. ^ Иглесиас и др. 2010, Пример 25.
  18. ^ Иглесиас-Земмур и Лафинёр, 2017.
  19. ^ Теорема о гиперболических медианах
  20. ^ Общие сведения об этом материале можно найти в заметках Питера Скотта 1983 года и в изложениях Буало, Майо и Порти, а также Купера, Ходжсона и Керкхоффа.
  21. ^ М. Грин, Дж. Шварц и Э. Виттен, Теория суперструн , т. 1 и 2, Cambridge University Press, 1987, ISBN 0521357527
  22. ^ Дж. Полчински, Теория струн , том 2, Cambridge University Press, 1999, ISBN 0-521-63304-4 
  23. ^ П. Канделас, Лекции о комплексных многообразиях , в *Триесте 1987, Труды, Superstrings '87* 1-88, 1987
  24. ^ Блюменхаген, Ральф; Люст, Дитер; Тайзен, Стефан (2012), Основные концепции теории струн, Теоретическая и математическая физика, Springer, стр. 487, Bibcode : 2013bcst.book.....B, ISBN 9783642294969, Орбифолды можно рассматривать как сингулярные пределы гладких многообразий Калаби–Яу.
  25. ^ Диксон, Л.; Харви, JA; Вафа, К.; Виттен, Э. (1 января 1985 г.). «Струны на орбифолдах». Nuclear Physics B. 261 : 678–686. Bibcode : 1985NuPhB.261..678D. doi : 10.1016/0550-3213(85)90593-0. ISSN  0550-3213.
  26. ^ Маццола, Гуэрино (1985). Группы и категории в музыке: Entwurf einer mathematischen Musiktheorie. Хельдерманн. ISBN 978-3-88538-210-2. Получено 26 февраля 2012 г.
  27. ^ Mazzola, Guerino; Müller, Stefan (2002). Топос музыки: геометрическая логика концепций, теории и исполнения. Birkhäuser. ISBN 978-3-7643-5731-3. Получено 26 февраля 2012 г.
  28. ^ Тимочко 2006.
  29. ^ Каллендер, Куинн и Тимочко 2008.
  30. ^ Дмитрий Тимочко, Геометрия музыки – ссылки на статьи и программное обеспечение для визуализации.
  31. ^ Пространство модулей аккордов: Дмитрий Тимочко в статье «Геометрия и музыка», пятница, 7 марта, 14:30, опубликовано 28 февраля 2008 г. – аннотация к докладу и математическое описание высокого уровня.
  32. Майкл Д. Лемоник, Геометрия музыки, Time , 26 января 2007 г.
  33. ^ Элизабет Гудрайс, Mapping Music, Harvard Magazine, янв./февр. 2007 г.
  34. Тони Филлипс, Взгляд Тони Филлипса на математику в СМИ, Американское математическое общество , октябрь 2006 г.
  35. ^ Агустин-Акино, Октавио Альберто; Маццола, Гуэрино (14 июня 2011 г.). «О критике Д. Тимочко теории контрапункта Маццолы» (PDF) .
  36. ^ Тимочко, Дмитрий. «Теория контрапункта Маццолы» (PDF) .

Ссылки