WikiDer > Проективная прямая над кольцом

Восемь цветов изображают проективную линию над полем Галуа GF (7).

В математика, то проективная прямая над кольцом является расширением концепции проективная линия через поле. Учитывая кольцо А с 1 проективная прямая P (А) над А состоит из точек, обозначенных проективные координаты. Позволять U быть группа единиц из А; пары (а, б) и (компакт диск) от А × А связаны, когда есть ты в U такой, что ua = c и уб = d. Это отношение является отношение эквивалентности. Записывается типичный класс эквивалентности U[а, б].

П(А) = { U[а, б] : аА + bA = А }, это, U[а, б] находится в проективной прямой, если идеальный Сгенерированно с помощью а и б все из А.

Проективная прямая P (А) оснащен группа омографий. Омографии выражаются с помощью матричное кольцо над А и его группа единиц V следующим образом: Если c находится в Z (U), центр из U, то групповое действие матрицы ${ displaystyle { begin {pmatrix} c & 0 0 & c end {pmatrix}}}$ на стр(А) совпадает с действием единичной матрицы. Такие матрицы представляют собой нормальная подгруппа N из V. Омографии P (А) соответствуют элементам факторгруппа V / N .

П(А) считается продолжением кольца А поскольку он содержит копию А из-за встраивания E : а → U[а, 1]. В мультипликативный обратный отображение ты → 1/ты, обычно ограничивается группой единиц U из А, выражается гомографией на P (А):

${ displaystyle U [a, 1] { begin {pmatrix} 0 & 1 1 & 0 end {pmatrix}} = U [1, a] Thicksim U [a ^ {- 1}, 1].}$

Кроме того, для ты,v ∈ Uотображение а → БПЛА может быть расширен до омографии:

${ displaystyle { begin {pmatrix} u & 0 0 & 1 end {pmatrix}} { begin {pmatrix} 0 & 1 1 & 0 end {pmatrix}} { begin {pmatrix} v & 0 0 & 1 end {pmatrix} } { begin {pmatrix} 0 & 1 1 & 0 end {pmatrix}} = { begin {pmatrix} u & 0 0 & v end {pmatrix}}.}$

${ displaystyle U [a, 1] { begin {pmatrix} v & 0 0 & u end {pmatrix}} = U [av, u] Thicksim U [u ^ {- 1} av, 1].}$

поскольку ты произвольно, его можно заменить на ты⁻¹.Гомографии на P (А) называются дробно-линейные преобразования поскольку

${ Displaystyle U [z, 1] { begin {pmatrix} a & c b & d end {pmatrix}} = U [za + b, zc + d] Thicksim U [(zc + d) ^ {- 1} (za + b), 1].}$

Экземпляры

Шесть цветов изображают проективную прямую над полем Галуа GF (5).

Кольца, которые поля наиболее знакомы: проективная линия над GF (2) состоит из трех элементов: U[0,1], U[1,0], и U[1,1]. Его группа гомографии - это группа перестановок на этих трех.^[1]:29

Кольцо Z/3Z, или GF (3), имеет элементы 1, 0 и -1; его проективная линия состоит из четырех элементов U[1,0], U[1,1], U[0,1], U[1, −1], поскольку и 1, и −1 являются единицы. Группа гомографии на этой проективной прямой состоит из 12 элементов, также описываемых матрицами или перестановками.^[1]:31 Для конечное поле GF (q) проективная прямая - это Геометрия Галуа PG (1, q). Дж. В. П. Хиршфельд описал гармонические тетрады в проективных линиях для q = 4, 5, 7, 8, 9.^[2]

Над конечными кольцами

Рассмотрим P (Z/пZ) когда п это составное число. Если п и q разные простые числа, делящие п, то <п> и <q> являются максимальные идеалы в Z/пZ и по Личность Безу есть а и б в Z такой, что ap + бк = 1, так что U[п, q] находится в P (Z/пZ), но это не изображение элемента при каноническом вложении. Все P (Z/пZ) заполняется элементами U[вверх, vq], ты ≠ v, ты, v ∈ U = единицы Z/пZ. Экземпляры Z/пZ даны здесь для п = 6, 10 и 12, где согласно модульная арифметика группа звеньев кольца U = {1,5}, U = {1,3,7,9} и U = {1,5,7,11} соответственно. Модульная арифметика подтвердит, что в каждой таблице данная буква представляет несколько точек. В этих таблицах точка U[м, п] обозначается буквой m в строке внизу таблицы и n в столбце слева от таблицы. Например, точка в бесконечности А = U[v, 0], где v является единицей кольца.

Дополнительные баллы могут быть связаны с Q ⊂ р ⊂ C, рациональные числа в расширенная комплексная верхняя полуплоскость. Группа омографий на P (Z/пZ) называется главная конгруэнтная подгруппа.^[3]

Над топологическими кольцами

Проективная прямая над делительное кольцо приводит к единственной вспомогательной точке ∞ = U[1,0]. Примеры включают реальная проективная линия, то сложная проективная линия, а проективная прямая над кватернионы. Эти примеры топологические кольца имеют проективную линию как их одноточечные компактификации. Дело о комплексное число поле C имеет Группа Мебиуса как его группа омографии. Для рациональное число Q, однородность координат означает, что каждый элемент P (Q) может быть представлен элементом из P (Z). Аналогично гомография P (Q) соответствует элементу модульная группа, автоморфизмы P (Z).

Проективная линия над двойные числа был описан Йозефом Грюнвальдом в 1906 году.^[4] В это кольцо входит ненулевой нильпотентный п удовлетворение nn = 0. Самолет { z = Икс + yn : Икс,у ∈ р } двойных чисел имеет проективную линию, включающую линию точек U[1, xn], Икс ∈ р.^[5] Исаак Яглом описал его как «инверсионный галилеевский план», который имеет топология из цилиндр когда добавлена ​​дополнительная линия.^[6]:149–53 Аналогично, если А это местное кольцо, то P (А) образован примыканием точек, соответствующих элементам максимальный идеал из А.

Проективная прямая над кольцом M из разделенные комплексные числа вводит вспомогательные линии { U[1, Икс(1 + j)]: Икс ∈ р } и { U[1 ,Икс(1 - j)]: Икс ∈ р }. С помощью стереографическая проекция плоскость расщепленных комплексных чисел закрыто с этими строками в гиперболоид одного листа.^{[6]:174–200[7]} Проективная линия над M можно назвать Самолет Минковского когда характеризуется поведением гипербол при гомографическом отображении.

Цепи

В реальная линия в комплексная плоскость заменяется кругами и другими реальными линиями под Преобразования Мебиуса, которые фактически переставляют каноническое вложение реальная проективная линия в сложная проективная линия. Предположим А является алгебра над полем F, обобщая случай, когда F это поле действительных чисел и А это область сложные числа. Каноническое вложение P (F) в P (А) является

${ Displaystyle U_ {F} [x, 1] mapsto U_ {A} [x, 1], quad U_ {F} [1,0] mapsto U_ {A} [1,0].}$

А цепь - образ P (F) при омографии на P (А). Четыре точки лежат на цепи тогда и только тогда, когда их перекрестное соотношение в F. Карл фон Штаудт использовал это свойство в своей теории «настоящих ударов» [reeler Zug].^[8]

Точечный параллелизм

Две точки P (А) находятся параллельно если есть нет цепочка, соединяющая их. Было принято соглашение, что точки параллельны сами себе. Это отношение инвариантный под действием гомографии на проективной прямой. Учитывая три попарно непараллельных точки, существует уникальная цепочка, соединяющая их.^[9]

Модули

Проективная прямая P (А) над кольцом А также можно идентифицировать как пространство проективные модули в модуль ${ Displaystyle A oplus A}$. Элемент P (А) тогда прямое слагаемое из ${ Displaystyle A oplus A}$. Этот более абстрактный подход следует за точкой зрения проективная геометрия как геометрия подпространства из векторное пространство, иногда связанные с теория решетки из Гаррет Биркофф^[10] или книга Линейная алгебра и проективная геометрия от Райнхольд Баер. В случае кольца рациональных целые числа Z, определение слагаемого модуля P (Z) сужает внимание к U[м, н], м совмещать к п, и сбрасывает вложения, которые являются основной особенностью P (А) когда А топологический. В статье 1981 г. W. Benz, Hans-Joachim Samaga и Helmut Scheaffer упоминается определение прямого слагаемого.

В статье «Проективные представления: проективные прямые над кольцами»^[11] то группа единиц из матричное кольцо M₂(р) и концепции модуля и бимодуль используются для определения проективной прямой над кольцом. Группа единиц обозначается GL (2,р), приняв обозначения из общая линейная группа, где р обычно считается полем.

Проективная прямая - это множество орбит относительно GL (2,р) свободной циклической подмодуль р(1,0) из р × р. Расширяя коммутативную теорию Бенца, существование правой или левой мультипликативный обратный элемента кольца связано с P (р) и GL (2,р). В Дедекинд-конечный свойство характеризуется. Самое главное, представление из P (р) в проективном пространстве над телом K выполняется с помощью (K,р) -бимодуль U это левый K-векторное пространство и право р-модуль. Точки P (р) являются подпространствами П(K, U × U) изоморфны своим дополнениям.

Перекрестное соотношение

Омография час который принимает три конкретных элемента кольца а, б, c к проективным точкам линии U[0,1], U[1,1], U[1,0] называется перекрестная гомография. Иногда^[12][13] кросс-отношение принимается за значение час по четвертому пункту Икс : (Икс,а,б,c) = час(Икс).

Строить час от а, б, c образующие омографии

${ displaystyle { begin {pmatrix} 0 & 1 1 & 0 end {pmatrix}}, { begin {pmatrix} 1 & 0 t & 1 end {pmatrix}}, { begin {pmatrix} u & 0 0 & 1 end { pmatrix}}}$

используются, уделяя внимание фиксированные точки: +1 и −1 фиксируются при инверсии, U[1,0] фиксируется при переводе, а «вращение» с ты уходит U[0,1] и U[1,0] исправлено. Инструкция по размещению c сначала, потом принеси а к U[0,1] с перемещением, и, наконец, чтобы использовать вращение для перемещения б к U[1,1].

Лемма: если А это коммутативное кольцо и б − а, c − б, c − а все единицы, тогда

${ displaystyle { frac {1} {b-c}} + { frac {1} {c-a}}}$ это единица.

доказательство: очевидно ${ Displaystyle { гидроразрыва {b-a} {(b-c) (c-a)}} = { frac {(b-c) + (c-a)} {(b-c) (c-a)}}}$ единица, как требуется.

Теорема: если ${ displaystyle (b-c) ^ {- 1} + (c-a) ^ {- 1}}$ является единицей, то существует гомография час в G (А) такие, что

час(а) = U[0,1], час(б) = U[1,1], и час(c) = U[1,0].

доказательство: суть ${ displaystyle p = (b-c) ^ {- 1} + (c-a) ^ {- 1}}$ это изображение б после а был установлен в 0, а затем инвертирован в U[1,0], а изображение c доведен до U[0,1]. Так как п - единица, ее обратное, используемое во вращении, будет двигаться п к U[1,1], в результате а, б, в все правильно размещены. Лемма относится к достаточным условиям существования час.

Одно применение кросс-соотношения определяет проективное гармоническое сопряжение тройки а, б, в, как элемент Икс удовлетворение (х, а, б, в) = −1. Такая четверка - это гармоническая тетрада. Гармонические тетрады на проективной прямой над конечное поле GF (q) были использованы в 1954 г. для разграничения проективных линейных групп PGL (2, q) для q = 5, 7 и 9, и продемонстрируем случайные изоморфизмы.^[14]

История

Август Фердинанд Мёбиус исследовал Преобразования Мебиуса между его книгой Барицентрическое исчисление (1827) и его статья 1855 года «Theorie der Kreisverwandtschaft in rein geometrischer Darstellung». Карл Вильгельм Фейербах и Юлиус Плюкер также приписывают использование однородных координат. Эдуард Этюд в 1898 г. и Эли Картан в 1908 г. писал статьи о гиперкомплексные числа для немецкого и французского Энциклопедии математикисоответственно, где они используют эту арифметику с дробно-линейные преобразования в подражание Мёбиусу. В 1902 г. Теодор Вален представил короткую, но хорошо цитируемую статью, в которой исследуются некоторые дробно-линейные преобразования Алгебра Клиффорда.^[15] Кольцо двойные числа D дал Йозефу Грюнвальду возможность выставить P (D) в 1906 году.^[4] Коррадо Сегре (1912) продолжил разработку этого кольца.^[5]

Артур Конвей, один из первых приверженцев теории относительности бикватернион преобразований, рассматриваемых как кватернионно-мультипликативно-обратное преобразование в его исследовании относительности 1911 года.^[16] В 1947 году некоторые элементы геометрии инверсивных кватернионов были описаны П.Г. Гормли в Ирландии.^[17] В 1968 г. Исаак Ягломс Комплексные числа в геометрии вышла на английском, переведена с русского. Там он использует P (D) описать линейная геометрия в евклидовой плоскости и P (M), чтобы описать это для самолета Лобачевского. Текст Яглома Простая неевклидова геометрия появился на английском языке в 1979 году. На страницах 174–200 он развивает Минковская геометрия и описывает P (M) как «обратный самолет Минковского». Русский оригинал текста Яглома был опубликован в 1969 году. Между двумя изданиями, Уолтер Бенц (1973) опубликовал свою книгу^[7] который включал однородные координаты, взятые из M.

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

• Фруктовый сад евклида

Примечания и ссылки

• Скай Брюэр (2012) «Проективное кросс-отношение на гиперкомплексных числах», Успехи в прикладных алгебрах Клиффорда, DOI 10.1007 / s00006-12-0335-7.
• Яглом И. М. (1968) Комплексные числа в геометрии.

дальнейшее чтение

• Г. Анкочеа (1941) "Теория фон Штаудта en géométrie projective quaternionienne", Journal für Mathematik, Band 184, Heft 4, SS. 193–8.
• Н. Б. Лимай (1972) "Кросс-отношения и проекции линии", Mathematische Zeitschrift 129: 49–53, Г-Н0314823.
• B.V. Limaye & N.B. Лимай (1977) "Основная теорема для проективной прямой над коммутативными кольцами", Aequationes Mathematica 16:275–81. Г-Н0513873.
• B.V. Limaye & N.B. Лимай (1977) "Основная теорема для проективной прямой над некоммутативными локальными кольцами", Archiv der Mathematik 28(1):102–9 Г-Н0480495.
• Марсель Вильд (2006) "Основная теорема проективной геометрии для модуля произвольной длины два", Журнал математики Роки-Маунтин 36(6):2075–80.

внешние ссылки

• Митод Санига (2006) Проективные прямые над конечными кольцами (pdf) из Астрономический институт Словацкой академии наук