Ориентация

- формализация и далеко идущее обобщение понятия направления обхода. Определяется О. нек-рых специальных классов пространств (многообразий, векторных расслоений, Пуанкаре комплексов и т. д.). Современный взгляд на О. дается в рамках обобщенных теорий когомологий. В классич. случае ориентация - выбор одного класса систем координат, связанных между собой положительно в нек-ром определенном смысле. Каждая система задает О., определяя класс, к к-рому она принадлежит. В случае векторного пространства [img: http://localhost:8080/file/041607-2.jpg] конечной размерности две системы координат связаны положительно, если положителен определитель матрицы перехода от одной из них к другой. Здесь имеется два класса. В комплексном пространство [img: http://localhost:8080/file/041607-3.jpg] комплексный репер е 1,..., е п определяет действительный репер e1..., е п, ie1,..., ien в том же пространстве, рассматриваемом как [img: http://localhost:8080/file/041607-4.jpg], и все такие реперы связаны попарно положительными переходами (т. е. комплексная структура задает О. в [img: http://localhost:8080/file/041607-5.jpg]). На прямой, плоскости и вообще в действительном аффинном пространство En системы координат состоят из точки (начала 0) и репера е, переход определяется вектором переноса начала и заменой репера. Этот переход положителен, если положителен определитель матрицы замены (напр., при четной перестановке векторов репера). Две системы координат определяют одну и ту же О., если одну из них можно перевести в другую непрерывно, т. е, существует непрерывно зависящее от параметра [img: http://localhost:8080/file/041607-6.jpg] семейство координатных систем Ot, et, связывающее данные системы 00, е 0 и O1, е 1. При отражении в плоскости (размерности п-1) системы двух классов переходят друг в друга. Классы систем координат можно задавать различными геометрич. фигурами. Если какая-либо фигура Xпо определенному закону связывается с системой координат, то зеркально симметричная ей фигура будет по тому же закону связана с системой координат из другого класса. Тем самым X(вместе с данным ваконом) определит О. Напр., на плоскости E2 окружность с фиксированным направлением обхода задает системы координат из одного класса по правилу: начало лежит в ее центре, первый вектор берется произвольно, а второй так, чтобы вращение от первого ко второму через меньший угол происходило в направлении, заданном на окружности. В Е 3 репер можно связать с винтом с точностью до непрерывного вращения и растяжения пространства: первый вектор идет по направлению ввинчивания, вращение от второго вектора к третьему совпадает с вращением при ввинчивании (предполагается при этой, что все винты находятся в положительной связи друг с другом). Репер может быть также задан тремя первыми пальцами руки хорошо известным способом. Если в En задана О., то каждое полупространство [img: http://localhost:8080/file/041607-7.jpg] определяет О. на граничной плоскости Е n-1. Напр., уславливаются, что если в репере последние п-1 векторов лежат в En-1, a первый смотрит наружу из [img: http://localhost:8080/file/041607-8.jpg], то последние векторы задают О. в Е п-1. В Е n О. может быть задана порядком вершин n-мерного симплекса (треугольника в Е 2, тетраэдра в Е 3). Репер определяется условием: в первую вершину помещается начало, в остальные из первой направляются векторы репера. Два порядка задают одну О., если и только если они отличаются на четную перестановку. Симплекс с фиксированным с точностью до четной перестановки порядком вершин наз. ориентированным. Каждая (п-1)-грань sn-1 ориентированного симплекса получает индуцированную ориентацию: если первая вершина не принадлежит sn-1, то порядок остальных принимается за положительный для sn-1. В связном многообразии Мсистемой координат служит атлас - набор карт, покрывающих М. Атлас наз, ориентирующим, если координатные преобразования все положительны. Это означает, что их степени равны +1, а в случае дифференцируемого многообразия положительны якобианы преобразования во всех точках. Если ориентирующий атлас существует, то многообразие Мназ. ориентируемым. В этом случае все ориентирующие атласы распадаются на два класса, так что переход от карт одного атласа к картам другого положителен, если и только если атласы принадлежат одному классу. Выбор такого класса наз. ориентацией многообразия. Этот выбор может быть сделан указанием одной карты или локальной О. в точке х 0 (связные карты, содержащие х 0, естественным образом распадаются на два класса). В случае дифференцируемого многообразия локальную О. можно задать указанием репера в касательной плоскости в точке х 0 (напр., вращение на окружности можно задать указанием одного касательного вектора). Если Мимеет край и ориентировано, то край также ориентируем, напр. по правилу: в точке края берется репер, ориентирующий М, первый вектор к-рого направлен из [img: http://localhost:8080/file/041607-9.jpg], а остальные векторы лежат в касательной плоскости края; эти последние и принимаются за ориентирующий репер края. Вдоль любого пути q:[0, 1] [img: http://localhost:8080/file/041607-10.jpg] М можно выбрать цепочку карт так, что две соседние карты связаны положительно. Тем самым О. в точке q(0) определяет О. в точке q(1), и эта связь зависит от пути qлишь с точностью до его непрерывной деформации при фиксированных концах. Если q - петля, т. е. g(0)=g(l)=x0, то qназ. дезориентирующим путем, если эти О. противоположны. Возникает гомоморфизм фундаментальной группы p(М, х 0) в группу порядка 2: дезориентирующие петли переходят в -1, а остальные в +1. По этому гомоморфизму строится накрытие, являющееся двулистным в случае неориентируемого многообразия. Оно наз. ориентирующим (т. к. накрывающее пространство будет ориентируемым). Этот же гомоморфизм определяет над Модномерное расслоение, тривиальное, если и только если Мориентируемо. Для дифференцируемого Моно может быть определено как расслоение Ln (М). дифференциальных форм порядка п. Ненулевое сечение в нем существует лишь в ориентируемом случае и задает форму объема на М и одновременно О. Классифицирующим отображением этого расслоения служит отображение [img: http://localhost:8080/file/041607-11.jpg]. Многообразие Мориентируемо, если и только если не равен нулю класс [img: http://localhost:8080/file/041607-12.jpg], служащий образом класса, двойственного к [img: http://localhost:8080/file/041607-13.jpg]. Он двойствен циклу, носителем к-рого служит многообразие, являющееся прообразом [img: http://localhost:8080/file/041607-14.jpg] при отображении k, приведенным в общее положение. Этот цикл наз. ориентирующим, т. к. дополнение к нему ориентируемо: если по нему Мразрезать, то получится ориентируемое многообразие. Само Мориентируемо (неориентируемо), если и только если после разреза получится несвязное многообразие (это дополнение связно). Напр., в [img: http://localhost:8080/file/041607-15.jpg] ориентирующим циклом служит проективная прямая [img: http://localhost:8080/file/041607-16.jpg] Триангулированное многообразие М(или псевдомногообразие) ориентируемо, если можно ориентировать все n-мерные симплексы так, что два симплекса с общей (n-1)-мерной гранью индуцируют на ней противоположные О. Замкнутая цепочка n-мерных симплексов, каждые два соседа в к-рой имеют общую (п-1)-грань, наз. дезориентирующей, если эти симплексы могут быть ориентированы так, что первый и последний симплексы индуцируют на общей грани совпадающие О., а остальные соседи - противоположные. О. может быть определена на гомологич. языке: для связного ориентируемого многообразия без края гомологии группа Н п (М; [img: http://localhost:8080/file/041607-17.jpg]) (с замкнутыми носителями) изоморфна [img: http://localhost:8080/file/041607-18.jpg], и выбор одной из двух образующих задает О.- отбираются карты с положительными степенями отображений. Для связного многообразия с краем то же верно и для Н п(М, дМ; [img: http://localhost:8080/file/041607-19.jpg]). В первом случае ориентируемость есть гомотопич. инвариант М, а во втором - пары (М, дМ). Так, лист Мёбиуса и кольцо имеют один и тот же абсолютный гомотопич. тип, но разный - относительно края. Локальная О. многообразия может быть также задана выбором образующей в группе [img: http://localhost:8080/file/041607-20.jpg], изоморфной [img: http://localhost:8080/file/041607-21.jpg]. Гомологич. интерпретация О. позволяет перенести это понятие на обобщенные гомологические многообразия. Пусть над пространством Xзадано расслоение р: [img: http://localhost:8080/file/041607-22.jpg] со стандартным слоем Fn. Если О. всех слоев можно выбрать так, что любое (собственное) отображение [img: http://localhost:8080/file/041607-23.jpg], определенное путем g: [img: http://localhost:8080/file/041607-24.jpg] однозначно с точностью до собственной гомотопии, сохраняет О., то расслоение наз. ориентированным, а указанный выбор О. слоев - ориентацией расслоения. Напр., лист Мёбиуса, рассматриваемый как векторное расслоение над окружностью, не обладает О., в то время как боковая поверхность цилиндра - обладает. Понятие О. допускает естественное обобщение и для случая бесконечномерного многообразия, моделированного при помощи бесконечномерного банахова или топологического векторного пространства. При этом необходимы ограничения на линейные операторы, являющиеся дифференциалами функций перехода от карты к карте: они должны не просто принадлежать общей линейной группе всех изоморфизмов моделирующего пространства, к-рая гомотопически тривиальна (в равномерной топологии) для большинства классических векторных пространств, а содержаться в нек-рой линейно несвязной подгруппе общей линейной группы. Тогда компонента связности данной подгруппы и будет задавать "знак" О. В качестве такой подгруцпы обычно выбирается фредгольмова группа, состоящая из тех изоморфизмов моделирующего пространства, для к-рых разность с тождественным изоморфизмом есть вполне непрерывный оператор. Ориентация в обобщенных теориях когомологий. Пусть [img: http://localhost:8080/file/041607-25.jpg] - мультипликативная обобщенная теория когомологий (ниже-просто теория). Имеется единица [img: http://localhost:8080/file/041607-26.jpg], и при изоморфизме надстройки [img: http://localhost:8080/file/041607-27.jpg] ей отвечает элемент [img: http://localhost:8080/file/041607-28.jpg], где Sn есть n-мерная сфера. Пусть x есть n-мерное векторное расслоение над линейно связным пространством Xи пусть Тx, - Тома пространство расслоения x. Пусть i: Sn-> Тx - стандартное вложение, т. е. гомеоморфизм на "слой" над нек-рой точкой [img: http://localhost:8080/file/041607-29.jpg]. Элемент [img: http://localhost:8080/file/041607-30.jpg] наз. ориентацией или Тома классом расслоения x, если [img: http://localhost:8080/file/041607-31.jpg], где [img: http://localhost:8080/file/041607-32.jpg] - некоторый обратимый элемент (напр., e=1). Расслоение, обладающее О., наз. ориентируемым в теории [img: http://localhost:8080/file/041607-33.jpg], или просто Е-о риентируемым, а расслоение с выбранной E-ориентацией наз. Е-о риентированным. Изоморфизм Тома [img: http://localhost:8080/file/041607-34.jpg] (см. [6]). Множество О. данного E-ориентированного расслоения x над Xнаходится во взаимно однозначном соответствии с элементами группы [img: http://localhost:8080/file/041607-35.jpg], где [img: http://localhost:8080/file/041607-36.jpg] - группа обратимых элементов кольца (). Тривиальное n-мерное расслоение [img: http://localhost:8080/file/041607-37.jpg] обладает О. в любой теории Е п, и если два из трех расслоений x, h, [img: http://localhost:8080/file/041607-38.jpg] E-ориентируемы, то E-ориентируомо и третье (см. [7]). В частности, E-ориснтируемость расслоения x влечет E-ориентируемость расслоения [img: http://localhost:8080/file/041607-39.jpg] Понятие E-ориентируемости вводится и для любого расслоения в смысле Гуревича [img: http://localhost:8080/file/041607-40.jpg], слой к-рого гомотопически эквивалентен сфере. Пространством Тома такого расслоения наз. конус отображения р;в остальном определение аналогично. Определение О. векторного расслоения x сводится к этому, если в качестве E взять расслоение на единичные (в нек-рой римановой метрике на x) сферы, ассоциированное с x. E-ориентируемость есть инвариант стационарного послойного гомотопического типа векторного (сферического) расслоения. Расслоение, ориентируемое в одной теории, не обязано быть ориентируемым в другой, но при наличии кольцевого гомоморфизма теорий [img: http://localhost:8080/file/041607-41.jpg] из E-ориентируемости следует F-ориентируемость. Примеры. 1) В теории [img: http://localhost:8080/file/041607-42.jpg] ориентируемо любое векторное (сферическое) расслоение. 2) В теории [img: http://localhost:8080/file/041607-43.jpg] ориентируемы в точности те расслоения x, для к-рых характеристич. класс Штифеля w1(x)=0, т. е. ориентируемы те расслоения, к-рые ориентируемы в классич. смысле. 3) Ориентируемость векторного расслоения x в вещественной К-теории эквивалентна тому, что w1(x)=w2(x)=0, а в комплексной K-теории - тому, что w1(x)=0 и w2(x) - целочисленный элемент [8]. При этом для E-ориентируемости сферич. расслоений это условие необходимо, но не достаточно. 4) Ориентируемость в теории унитарных кобордизмов [img: http://localhost:8080/file/041607-44.jpg] не охарактеризована (1983); комплексные расслоения U-ориентируемы, но это явно не необходимо. 5) В теории [img: http://localhost:8080/file/041607-45.jpg] стабильных когомотопич. групп ориентируемы лишь расслоения тривиального стационарного послойного гомотопич. типа. В задаче описания класса расслоений, ориентируемых в данной теории, имеется следующий общий результат. Пусть топологич. группа Gдействует на [img: http://localhost:8080/file/041607-46.jpg] и пусть [img: http://localhost:8080/file/041607-47.jpg] - нек-рая теория. Существует (см. [7], где дана явная конструкция) пространство B(G, E) с универсальным E-ориентированным расслоением над ним, классифицирующее E-ориентированные векторные расслоения со структурной группой G, т. е. для любого (линейно связного) пространства Xмножество E-ориентированных G-векторных расслоений над Xнаходится в естественном взаимно однозначном соответствии с множеством [X, В(G, E)] гомотопич. классов отображений [img: http://localhost:8080/file/041607-48.jpg]. Это же верно для сферич. расслоений и "хороших" моноидов G. Обратная задача состоит в описании теории, где данное расслоение (или данный класс расслоений) орионтируемо. Известно, что если в теории [img: http://localhost:8080/file/041607-49.jpg] ориентируемы все векторные расслоения, то [img: http://localhost:8080/file/041607-50.jpg] причем [img: http://localhost:8080/file/041607-51.jpg]. В этом контексте иногда ослабляют условия на теорию [img: http://localhost:8080/file/041607-52.jpg], напр. снимают условие коммутативности умножения и т. д. Для любой теории [img: http://localhost:8080/file/041607-53.jpg], в к-рой все комплексные расслоения ориентируемы, имеется гомоморфизм теории [img: http://localhost:8080/file/041607-54.jpg], где [img: http://localhost:8080/file/041607-55.jpg] - теория унитарных кобордизмов, и этот гомоморфизм полностью задается E-ориентацией канонич. расслоения h над [img: http://localhost:8080/file/041607-56.jpg]. Аналогичное верно и для Sp -расслоений (см. Кобордизм). Построение для любого класса векторных расслоений универсальной теории, отображающейся в любую теорию, где ориентируем данный класс расслоений, еще (1983) не проведено. Ориентацией (другое название - фундаментальный класс) замкнутого n-мерного многообразия (или, более общо, комплекса Пуанкаре формальной размерности п).в теории [img: http://localhost:8080/file/041607-57.jpg] наз. такой элемент [img: http://localhost:8080/file/041607-58.jpg], что гомоморфизм [img: http://localhost:8080/file/041607-59.jpg] вида [img: http://localhost:8080/file/041607-60.jpg] (см. [9]) есть изоморфизм; это - т. н. изоморфизм двойственности Пуанкаре. Оказывается, что многообразие (комплекс Пуанкаре) E-ориентируемо тогда и только тогда, когда E-ориентируемо его нормальное расслоение. Определяется О. и для многообразий (комплексов Пуанкаре) с краем.