H-кобордизм - h-cobordism - Wikipedia

Жылы геометриялық топология және дифференциалды топология, (n + 1) -өлшемді кобордизм W арасында n-өлшемді коллекторлар М және N болып табылады сағ-кобордизм ( сағ білдіреді гомотопиялық эквиваленттілік ) егер қосу карталары болса

гомотопиялық эквиваленттер болып табылады.

The сағ-кобордизм теоремасы үшін жеткілікті жағдайлар береді сағ-кобордизм тривиальды болу, яғни болу C-цилиндрге изоморфты М × [0, 1]. Мұнда C категорияларының кез-келгеніне қатысты тегіс, сызықтық, немесе топологиялық коллекторлар.

Теореманы алдымен дәлелдеді Стивен Смэйл ол үшін ол алды Fields Medal және жоғары өлшемді коллекторлар теориясының түбегейлі нәтижесі болып табылады. Бастапқыда бұл дереу дәлелдейді жалпыланған Пуанкаре жорамалы.

Фон

Смейл бұл теореманы дәлелдегенге дейін, математиктер 3 немесе 4 өлшемді манифольдтарды түсінуге тырысу кезінде тығырыққа тіреліп, үлкен өлшемдер одан да қиын болды деп ойлады. The сағ-кобордизм теоремасы (жай жалғанған) өлшемдердің кем дегенде 5 өлшемдері 3 немесе 4 өлшемдеріне қарағанда әлдеқайда жеңіл екенін көрсетті. Теореманың дәлелденуі «Уитнидің қулығы «of Хасслер Уитни, бұл> 4 өлшемді коллекторында бір-бірін толықтыратын өлшемнің гомологиялық-шиыршықталған сфераларын геометриялық шешеді. 3 немесе 4 өлшемді коллекторлардың ерекше қиын болуының бейресми себебі - осы трюк нәтиже бермейді шешуге болмайтын төменгі өлшемдерде.

Нақты тұжырымы сағ-кобордизм теоремасы

Келіңіздер n кемінде 5 болыңыз және рұқсат етіңіз W ықшам болыңыз (n + 1) -өлшемді сағ- арасындағы коборизм М және N санатта C=Айырмашылық, PL, немесе Жоғары осындай W, М және N болып табылады жай қосылған, содан кейін W болып табылады C-исоморфты М × [0, 1]. Изоморфизмді сәйкестендіру ретінде таңдауға болады М × {0}.

Бұл M, W және N арасындағы гомотопиялық эквиваленттілік а-ға гомотопиялық екенін білдіреді C-изоморфизм.

Төменгі өлшемді нұсқалар

Үшін n = 4, сағ-кобордизм теоремасы топологиялық тұрғыдан шынайы (дәлелденген Майкл Фридман 4 өлшемді Уитни трюкін қолдану), бірақ жалған PL және тегіс (көрсетілгендей) Саймон Дональдсон ).

Үшін n = 3, сағ- тегіс коллекторларға арналған кобордизм теоремасы дәлелденбеген және 3 өлшемді болғандықтан Пуанкаре гипотезасы, 4 сфераның стандартты емес екендігі туралы ашық сұраққа тең тегіс құрылымдар.

Үшін n = 2, сағ-кобордизм теоремасы Пуанкаре гипотезасы мәлімдеді Пуанкаре 1904 жылы (бірі Мыңжылдық проблемалары[1]) және дәлелдеді Григори Перелман 2002 және 2003 жылдардағы үш мақалалар сериясында,[2][3][4] ол қайда жүреді Ричард С. Хэмилтон бағдарламасын қолданады Ricci ағыны.

Үшін n = 1, сағ-кобордизм теоремасы бос, өйткені тұйықталған жалғанған 1-өлшемді коллектор жоқ.

Үшін n = 0, сағ-кобордизм теоремасы тривиальды түрде шындық: аралық - бұл 0-манифольдтар арасындағы байланысқан жалғыз кобордизм.

Дәлелді эскиз

A Морзе функциясы а тудырады ыдырауды ұстаңыз туралы W, яғни индекстің бір критикалық нүктесі болса к жылы , содан кейін көтеріліп келе жатқан кобордизм алынған қосу арқылы а к-қол. Дәлелдеудің мақсаты - нөлдік емес векторлық өрісті интегралдайтын тұтқасы жоқ тұтқаны ыдыратуды табу. f тривиальды кобордизмге қажетті диффеоморфизмді береді.

Бұған бірқатар тәсілдер арқылы қол жеткізіледі.

1) Тұтқаны қайта құру

Біріншіден, біз барлық тұтқаларды тапсырыс бойынша қайта реттегіміз келеді, сонда алдымен төменгі реттік тұтқалар бекітіледі. Сұрақ қашан біз сырғытуға болады мен- а j-қол? Мұны радиалды изотопия арқылы жасауға болады мен сфераны және j белдеу сферасы қиылыспайды. Біз осылайша қалаймыз бұл барабар .

Содан кейін біз тұтқалар тізбегінің кешенін анықтаймыз жіберу арқылы еркін абелдік топ болыңыз к- тұтқалар және анықтаушы жіберу арқылы к-қол дейін , қайда -ның қиылысу саны к- сфераны және (к - 1) белдік сферасы.

2) Тұтқаны жою

Әрі қарай, біз тұтқаларды «болдырмауды» қалаймыз. А идеясын бекіту к-қол қосу арқылы толтыруға болатын тесік пайда болуы мүмкін.к + 1) -қол . Бұл мұны білдіреді және сондықтан матрицасына енгізу болар еді . Алайда, бұл шарт қашан жеткілікті? Яғни, егер бұл шарт дұрыс болса, біз тұтқаларды қашан геометриялық түрде жоя аламыз? Жауап, қарастырылып отырған бекіту және белбеу сфераларын алып тастағаннан кейін коллектордың жай байланыста қалуын мұқият талдаудан және кірістірілген дискіні табудан тұрады. Уитнидің қулығы. Бұл талдау қажеттілікке әкеледі n кем дегенде 5 болуы керек. Сонымен қатар, дәлелдеу кезінде кобордизмнің 0-, 1-,n-, немесе (n + 1) - келесі тәсілмен алынған тұтқалар.

3) Сауда-саттық

Сауда-саттық идеясының күші:к + 1) - және (к + 2) -берілген етіп жұмыс істейді к-жұмыс күші (к + 1) -қолды артта қалдырук + 2) -қол. Мұны істеу үшін кэлементі болып табылатын тұтқа . Бұл топ аз уақыттан бері W болып табылады сағ-кобордизм. Осылайша, диск бар біз бұл дискіні шекарасына ендіре алсақ, біз оны қалайтындай етіп, жұптастыра аламыз W. Бұл ендіру егер бар болса . Біз болжап отырғандықтан n кем дегенде 5 болса, бұл дегеніміз к 0-ге немесе 1-ге тең. Соңында, берілген Морзе функциясының негативін ескере отырып, -f, біз тұтқаның ыдырауын төңкеріп, сонымен бірге n- және (n + 1) -қажет болған жағдайда жұмыс істейді.

4) сырғыту

Соңында, жолдар мен бағандар бойынша операциялар жасалатынына көз жеткізгіміз келеді геометриялық амалға сәйкес келеді. Шынында да, а-ны сырғытып көрсету қиын (суретті салу арқылы жасалады) к-қол басқасынан к-қол ауыстырады арқылы үшін негізде .

Теореманың дәлелі келесідей: тұтқалар тізбегінің кешені дәл содан бері . Осылайша бастап тегін. Содан кейін бүтін матрица болып табылатын инверсиялы морфизммен шектеледі, осылайша қарапайым қатар операциялары арқылы диагонализациялануы мүмкін (тұтқаны сырғыту) және тек қана болуы керек диагональ бойынша, өйткені ол аударылатын. Осылайша, барлық тұтқалар тұтқасыз ыдырауды тудыратын бір басқа бас тартуға арналған.

The с-кобордизм теоремасы

Егер бұл М және N жай қосылғандар құлдырады, сағ-корпоризмдер цилиндр болмауы керек; кедергі дәл Ақ бастың бұралуы τ (W, М) қосу туралы .

Дәл, с-кобордизм теоремасы ( с білдіреді қарапайым-гомотопиялық эквиваленттілік ) арқылы тәуелсіз дәлелденген Барри Мазур, Джон Сталлингс, және Деннис Барден, мемлекеттер (жоғарыдағыдай болжамдар, бірақ қайда М және N жай ғана байланыстырудың қажеті жоқ):

Ан сағ-коборизм - бұл цилиндр, егер болса және солай болса Ақ бастың бұралуы τ (W, М) жоғалады.

Бұралу тек егер қосылған болса, жоғалады бұл тек гомотопиялық эквиваленттілік емес, а қарапайым гомотопиялық эквиваленттілік.

Біреуі екіншісін қосады деп ойлаудың қажеті жоқ екенін ескеріңіз теоремадан туындайтын қарапайым гомотопиялық эквиваленттік болып табылады.

Категориялық, сағ-корборизмдер а топоид.

Содан кейін с-кобордизм теоремасы - осы топоидтың изоморфизм кластары (дейін C-изоморфизм сағ-корборизмдер) болып табылады торс сәйкесінше[5] Whitehead топтары Wh (π), қайда

Сондай-ақ қараңыз

Ескертулер

  1. ^ «Мыңжылдық мәселелері | Балшық математика институты». www.claymath.org. Алынған 2016-03-30.
  2. ^ Перелман, Гриша (2002-11-11). «Риччи ағынының энтропия формуласы және оның геометриялық қосымшалары». arXiv:математика / 0211159.
  3. ^ Перельман, Гриша (2003-03-10). «Үш коллекторлы операциямен Ricci ағымы». arXiv:математика / 0303109.
  4. ^ Перельман, Гриша (2003-07-17). «Риччидің шешімдерінің жойылу уақыты белгілі үш көпжақты бойынша ағып кетеді». arXiv:математика / 0307245.
  5. ^ Уайтхедтің әртүрлі коллекторларының топтарын анықтау үшін базалық нүктелерді таңдау қажет екенін ескеріңіз және жол W оларды байланыстыру.

Әдебиеттер тізімі