Теорема Риба о сфере

О том, когда многообразие, допускающее сингулярное слоение, гомеоморфно сфере

В математике теорема о сфере Риба , названная в честь Джорджа Риба , гласит, что

Замкнутое ориентированное связное многообразие M n , допускающее сингулярное слоение, имеющее только центры, гомеоморфно сфере S n , и слоение имеет ровно две сингулярности. 

Морзе-расслоение

Особенность слоения F имеет тип Морса , если в его малой окрестности все слои слоения являются уровнями функции Морса , причем особенность является критической точкой функции. Особенность является центром , если она является локальным экстремумом функции; в противном случае особенность является седлом .

Число центров c и , в частности , число седел тесно связаны с топологией многообразия. с {\displaystyle с} с с {\displaystyle cs}

Обозначим , индекс особенности , где k — индекс соответствующей критической точки функции Морса. В частности, центр имеет индекс 0, индекс седла не менее 1. инд п = мин ( к , н к ) {\displaystyle \operatorname {ind} p=\min(k,nk)} п {\displaystyle p}

Слоение Морса F на многообразии M — это сингулярное трансверсально ориентированное слоение коразмерности один класса с изолированными особенностями, такое что: С 2 {\displaystyle С^{2}}

  • каждая особенность F имеет тип Морса,
  • каждый особый лист L содержит уникальную особенность  p ; кроме того, если то не является связным. инд п = 1 {\displaystyle \operatorname {ind} p=1} Л п {\displaystyle L\setminus p}

Теорема Риба о сфере

Это тот случай , когда нет седел. с > с = 0 {\displaystyle с>с=0}

Теорема: [1] Пусть — замкнутое ориентированное связное многообразие размерности . Предположим, что допускает -трансверсально ориентированное слоение коразмерности один с непустым множеством особенностей, все из которых являются центрами. Тогда особое множество состоит из двух точек и гомеоморфно сфере М н {\displaystyle М^{н}} н 2 {\displaystyle n\geq 2} М н {\displaystyle М^{н}} С 1 {\displaystyle С^{1}} Ф {\displaystyle F} Ф {\displaystyle F} М н {\displaystyle М^{н}} С н {\displaystyle S^{n}} .

Это следствие теоремы Риба об устойчивости .

Обобщение

Более общий случай: с > с 0. {\displaystyle c>s\geq 0.}

В 1978 году Эдвард Вагнер обобщил теорему о сфере Риба на слоения Морса с седлами. Он показал, что число центров не может быть слишком большим по сравнению с числом седел, в частности, . Таким образом, существует ровно два случая, когда : с с + 2 {\displaystyle c\leq s+2} с > с {\displaystyle c>с}

(1) с = с + 2 , {\displaystyle c=s+2,}
(2) с = с + 1. {\displaystyle c=s+1.}

Он получил описание многообразия, допускающего слоение с особенностями, удовлетворяющими (1).

Теорема: [2] Пусть — компактное связное многообразие, допускающее слоение Морса с центрами и седлами. Тогда . М н {\displaystyle М^{н}} Ф {\displaystyle F} с {\displaystyle с} с {\displaystyle с} с с + 2 {\displaystyle c\leq s+2} В случае , с = с + 2 {\displaystyle c=s+2}

  • М {\displaystyle М} гомеоморфен , С н {\displaystyle S^{n}}
  • все седла имеют индекс 1,
  • каждый правильный лист диффеоморфен . С н 1 {\displaystyle S^{n-1}}

Наконец, в 2008 году Сесар Камачо и Бруно Скардуа рассмотрели случай (2). Это возможно в небольшом числе низких измерений. с = с + 1 {\displaystyle c=s+1}

Теорема: [3] Пусть — компактное связное многообразие и слоение Морса на . Если , то М н {\displaystyle М^{н}} Ф {\displaystyle F} М {\displaystyle М} с = с + 1 {\displaystyle s=c+1}

Ссылки

  1. ^ Риб, Жорж (1946), «Sur les Singuliers d'une forme de Pfaff complètement intégrable ou d'une fonction numérique», CR Acad. наук. Париж (на французском языке), 222 : 847–849 , MR  0015613..
  2. ^ Вагнер, Эдвард (1978), «Formes de Pfaff à uniqueés non dégénérées», Annales de l'Institut Fourier (на французском языке), 28 (3): xi, 165–176 , MR  0511820.
  3. ^ Камачо, Сезар; Скардуа, Бруно (2008), «О слоениях с особенностями Морса», Труды Американского математического общества , 136 (11): 4065– 4073, arXiv : math/0611395 , doi :10.1090/S0002-9939-08-09371-4, MR  2425748.
  • Теорема сферы Риба на nLab
Взято с "https://en.wikipedia.org/w/index.php?title=Reeb_sphere_theorem&oldid=1208903861"