Лемма Маргулиса (Lybbg Bgjirlnvg)

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

Названа в честь Григория Александровича Маргулиса.

Формулировка

Пусть $M$ есть риманово многообразие и $U\subset M$ — открытое подмножество. Для изометрии $f\colon M\to M$, определим норму:

$|f|=\sup _{x\in U}\{|f(x)-x|_{M}\}$,

где $|x-y|_{M}$ обозначает расстояние от $x$ до $y$ в $M$. Тогда существует константа $C$ такая, что:

$|[f,g]|\leq C\cdot |f|\cdot |g|$

для произвольных двух изометрий $f,g\colon M\to M$, здесь $[f,g]$ обозначает коммутатор, то есть $[f,g]=f\circ g\circ f^{-1}\circ g^{-1}$.

Более того, если $U$ есть шар радиуса $R$ то константа $C$ зависит только от $R$, и оценок на кривизну в $U$ и радиуса инъективности в центре шара.

Следствия

• Пусть группа $\Gamma$ действует изометрично и вполне разрывно на многообразии $M$. Предположим существует система образующих $F$ в $\Gamma$, такая, что $|f(x_{0})-x_{0}|$ достаточно мало для любого $f\in F$ и фиксированной точки $x_{0}\in M$. Тогда $\Gamma$ почти нильпотентна; то есть $\Gamma$ содержит нильпотентную подгруппу конечного индекса.