Теорема Лефшеца о неподвижной точке - Lefschetz fixed-point theorem - Wikipedia

В математика, то Теорема Лефшеца о неподвижной точке формула, которая подсчитывает фиксированные точки из непрерывное отображение из компактный топологическое пространство ${\displaystyle X}$ себе с помощью следы индуцированных отображений на группы гомологии из ${\displaystyle X}$. Он назван в честь Соломон Лефшец, который впервые заявил об этом в 1926 году.

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

Официальное заявление

Для формального утверждения теоремы пусть

${\displaystyle f\colon X\rightarrow X\,}$

быть непрерывная карта из компактного триангулируемое пространство ${\displaystyle X}$ себе. Определить Число Лефшеца ${\displaystyle \Lambda _{f}}$ из ${\displaystyle f}$ к

${\displaystyle \Lambda _{f}:=\sum _{k\geq 0}(-1)^{k}\mathrm {tr} (f_{*}|H_{k}(X,\mathbb {Q} )),}$

переменная (конечная) сумма следы матрицы линейных карт индуцированный к ${\displaystyle f}$ на ${\displaystyle H_{k}(X,\mathbb {Q} )}$, то особые гомологии группы ${\displaystyle X}$ с рациональный коэффициенты.

Простая версия теоремы Лефшеца о неподвижной точке гласит: если

${\displaystyle \Lambda _{f}\neq 0\,}$

тогда ${\displaystyle f}$ имеет хотя бы одну неподвижную точку, т.е.существует хотя бы одна ${\displaystyle x}$ в ${\displaystyle X}$ такой, что ${\displaystyle f(x)=x}$. Фактически, поскольку число Лефшеца было определено на уровне гомологии, вывод можно расширить, чтобы сказать, что любое отображение гомотопный к ${\displaystyle f}$ также имеет фиксированную точку.

Однако обратите внимание, что в целом обратное неверно: ${\displaystyle \Lambda _{f}}$ может быть нулевым, даже если ${\displaystyle f}$ имеет неподвижные точки.

Эскиз доказательства

Во-первых, применяя симплициальная аппроксимационная теорема, показывает, что если ${\displaystyle f}$ не имеет неподвижных точек, то (возможно, после разделения ${\displaystyle X}$) ${\displaystyle f}$ гомотопен без неподвижной точки симплициальная карта (т.е. он отправляет каждый симплекс в другой симплекс). Это означает, что диагональные значения матриц линейных отображений, индуцированных на симплициальный цепной комплекс из ${\displaystyle X}$ должно быть все равно нулю. Затем следует отметить, что, как правило, число Лефшеца также можно вычислить, используя переменную сумму матричных следов вышеупомянутых линейных отображений (это верно почти по той же причине, что и число Лефшеца). Эйлерова характеристика имеет определение в терминах групп гомологии; видеть ниже для связи с эйлеровой характеристикой). В частном случае симплициального отображения без неподвижных точек все диагональные значения равны нулю, и, следовательно, все следы равны нулю.

Теорема Лефшеца – Хопфа.

Более сильная форма теоремы, также известная как Теорема Лефшеца – Хопфа., утверждает, что если ${\displaystyle f}$ имеет лишь конечное число неподвижных точек, то

${\displaystyle \sum _{x\in \mathrm {Fix} (f)}i(f,x)=\Lambda _{f},}$

куда ${\displaystyle \mathrm {Fix} (f)}$ - множество неподвижных точек ${\displaystyle f}$, и ${\displaystyle i(f,x)}$ обозначает индекс фиксированной точки ${\displaystyle x}$.^[1] Из этой теоремы выводится Теорема Пуанкаре – Хопфа для векторных полей.

Связь с эйлеровой характеристикой

Число Лефшеца карта идентичности на конечном CW комплекс можно легко вычислить, понимая, что каждый ${\displaystyle f_{\ast }}$ можно рассматривать как единичную матрицу, и поэтому каждый следовой член - это просто размерность соответствующей группы гомологий. Таким образом, число Лефшеца тождественного отображения равно знакопеременной сумме Бетти числа пространства, которое, в свою очередь, равно Эйлерова характеристика ${\displaystyle \chi (X)}$. Таким образом, мы имеем

${\displaystyle \Lambda _{\mathrm {id} }=\chi (X).\ }$

Связь с теоремой Брауэра о неподвижной точке

Теорема Лефшеца о неподвижной точке обобщает Теорема Брауэра о неподвижной точке, который утверждает, что каждая непрерывная карта из ${\displaystyle n}$-размерный закрытый единичный диск ${\displaystyle D^{n}}$ к ${\displaystyle D^{n}}$ должна иметь хотя бы одну фиксированную точку.

Это можно увидеть следующим образом: ${\displaystyle D^{n}}$ компактно и триангулируемо, все его группы гомологий, кроме ${\displaystyle H_{0}}$ равны нулю, и всякое непрерывное отображение ${\displaystyle f\colon D^{n}\to D^{n}}$ индуцирует тождественное отображение ${\displaystyle f_{*}\colon H_{0}(D^{n},\mathbb {Q} )\to H_{0}(D^{n},\mathbb {Q} )}$, чей след один; все это вместе означает, что ${\displaystyle \Lambda _{f}}$ отлична от нуля для любого непрерывного отображения ${\displaystyle f\colon D^{n}\to D^{n}}$.

Исторический контекст

Лефшец представил свою теорему о неподвижной точке в (Лефшец 1926 ). Лефшец сосредоточил свое внимание не на фиксированных точках карты, а на том, что сейчас называется точки совпадения карт.

Учитывая две карты ${\displaystyle f}$ и ${\displaystyle g}$ из ориентируемого многообразие ${\displaystyle X}$ ориентируемому многообразию ${\displaystyle Y}$ того же измерения, Число совпадений Лефшеца из ${\displaystyle f}$ и ${\displaystyle g}$ определяется как

${\displaystyle \Lambda _{f,g}=\sum (-1)^{k}\mathrm {tr} (D_{X}\circ g^{*}\circ D_{Y}^{-1}\circ f_{*}),}$

куда ${\displaystyle f_{*}}$ как указано выше, ${\displaystyle g_{*}}$ гомоморфизм, индуцированный ${\displaystyle g}$ на когомология группы с рациональными коэффициентами, и ${\displaystyle D_{X}}$ и ${\displaystyle D_{X}}$ являются Двойственность Пуанкаре изоморфизмы для ${\displaystyle X}$ и ${\displaystyle Y}$, соответственно.

Лефшец доказал, что если число совпадений отлично от нуля, то ${\displaystyle f}$ и ${\displaystyle g}$ есть точка совпадения. Он отметил в своей статье, что позволяя ${\displaystyle X=Y}$ и позволяя ${\displaystyle g}$ быть тождественным отображением дает более простой результат, который мы теперь знаем как теорему о неподвижной точке.

Фробениус

Позволять ${\displaystyle X}$ - многообразие, определенное над конечным полем ${\displaystyle k}$ с ${\displaystyle q}$ элементы и пусть ${\displaystyle {\bar {X}}}$ быть лифтом ${\displaystyle X}$ к алгебраическому замыканию ${\displaystyle k}$. В Эндоморфизм Фробениуса из ${\displaystyle {\bar {X}}}$ (часто геометрический Фробениус, или просто Фробениус), обозначаемый ${\displaystyle F_{q}}$, отображает точку с координатами ${\displaystyle x_{1},\ldots ,x_{n}}$ в точку с координатами ${\displaystyle x_{1}^{q},\ldots ,x_{n}^{q}}$. Таким образом, неподвижные точки ${\displaystyle F_{q}}$ точно точки ${\displaystyle X}$ с координатами в ${\displaystyle k}$; множество таких точек обозначается ${\displaystyle X(k)}$. В этом контексте действует формула трассировки Лефшеца, которая гласит:

${\displaystyle \#X(k)=\sum _{i}(-1)^{i}\mathrm {tr} (F_{q}|H_{c}^{i}({\bar {X}},\mathbb {Q} _{\ell })).}$

Эта формула включает след Фробениуса на этальных когомологиях с компактными носителями ${\displaystyle {\bar {X}}}$ со значениями в области ${\displaystyle \ell }$-адические числа, где ${\displaystyle \ell }$ является простым взаимно простым с ${\displaystyle q}$.

Если ${\displaystyle X}$ гладкий и равноразмерный, эту формулу можно переписать в терминах арифметика Фробениуса ${\displaystyle \Phi _{q}}$, который действует как инверсия ${\displaystyle F_{q}}$ по когомологиям:

${\displaystyle \#X(k)=q^{\dim X}\sum _{i}(-1)^{i}\mathrm {tr} (\Phi _{q}^{-1}|H^{i}({\bar {X}},\mathbb {Q} _{\ell })).}$

В этой формуле используются обычные когомологии, а не когомологии с компактными носителями.

Формула следа Лефшеца также может быть обобщена на алгебраические стеки над конечными полями.

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

• Теоремы о неподвижной точке
• Дзета-функция Лефшеца
• Голоморфная формула Лефшеца для неподвижной точки

Примечания

1. Дольд, Альбрехт (1980). Лекции по алгебраической топологии. 200 (2-е изд.). Берлин, Нью-Йорк: Springer-Verlag. ISBN  978-3-540-10369-1. МИСТЕР  0606196., Предложение VII.6.6.

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

• Лефшец, Соломон (1926). «Пересечения и преобразования комплексов и многообразий». Труды Американского математического общества. 28 (1): 1–49. Дои:10.2307/1989171. МИСТЕР  1501331.
• Лефшец, Соломон (1937). «По формуле фиксированной точки». Анналы математики. 38 (4): 819–822. Дои:10.2307/1968838. МИСТЕР  1503373.

внешняя ссылка

• «Формула Лефшеца», Энциклопедия математики, EMS Press, 2001 [1994]