Twierdzenie o kuli Reeba

W matematyce stwierdza to twierdzenie o kuli Reeba , nazwane na cześć Georgesa Reeba

Zamknięta zorientowana połączona rozmaitość M   n , która dopuszcza osobliwą foliację mającą tylko środki, jest homeomorficzna w stosunku do kuli S n , a foliacja ma dokładnie dwie osobliwości.

Foliowanie Morse'a

Osobliwość foliacji F jest typu Morse'a , jeśli w jej małym sąsiedztwie wszystkie liście foliacji są zbiorami poziomów funkcji Morse'a , przy czym osobliwość jest punktem krytycznym tej funkcji. Osobliwość jest centrum , jeśli jest lokalnym ekstremum funkcji; w przeciwnym razie osobliwość jest siodłem .

Liczba środków c i liczba siodeł w szczególności z topologią

Oznaczamy indeks osobliwości , gdzie k jest indeksem odpowiedniego punktu krytycznego funkcji Morse’a. W szczególności centrum ma indeks 0, indeks siodełka wynosi co najmniej 1.

Foliacja Morse'a F na rozmaitości M jest pojedynczą, poprzecznie zorientowaną foliacją o jednym wymiarze, klasy z izolowanymi osobliwościami, takimi jak: do

  • każda osobliwość F jest typu Morse'a,
  • każdy pojedynczy liść L zawiera niepowtarzalną osobliwość p ; ponadto, jeśli nie jest

Twierdzenie o kuli Reeba

tak w przypadku

: Niech zamkniętą o Załóżmy, że się zorientowany kowymiar jeden foliację zbiorem osobliwości, z których zbiór osobliwy się z dwóch punktów i kuli. }

Jest to konsekwencja twierdzenia o stabilności Reeba .

Uogólnienie

Bardziej ogólny przypadek to do

W 1978 roku Edward Wagneur uogólnił twierdzenie o kuli Reeba na foliacje Morse'a z siodłami. Pokazał zbyt duża w z liczbą siodeł, zwłaszcza Są więc dokładnie dwa przypadki, gdy: do :

(1)
(2)

Otrzymał opis rozmaitości dopuszczający foliację z osobliwościami spełniającymi (1).

Niech się foliację Morse'a i . Następnie do } : W przypadku do }

  • do , }
  • wszystkie siodła posiadają indeks 1,
  • każdy liść

Wreszcie w 2008 roku César Camacho i Bruno Scardua rozważyli ten przypadek (2), . Jest to możliwe w niewielkiej liczbie niskich wymiarów.

Twierdzenie: Niech zwartą rozmaitością połączoną i na . Jeśli , to

  • lub }
  • jest rozmaitością .
  1. ^   Reeb, Georges (1946), „Sur les pointinguliers d'une forme de Pfaff complètement intégrable ou d'une foction numérique”, CR Acad. Nauka. Paryż (w języku francuskim), 222 : 847–849, MR 0015613 .
  2. ^   Wagneur, Edward (1978), „Formes de Pfaff à singularités non dégénérées” , Annales de l'Institut Fourier (po francusku), 28 (3): xi, 165–176, MR 0511820 .
  3. ^   Camacho, Cesar; Scárdua, Bruno (2008), „O foliacjach z osobliwościami Morse’a”, Proceedings of the American Mathematical Society , 136 (11): 4065–4073, arXiv : math/0611395 , doi : 10.1090/S0002-9939-08-09371-4 , MR 2425748 .