Кіріспе

Конформальды геометрияда, қоршаған ортаның құрылысы Чарльз Фефферман мен Робин Грэмнің құрылымына қатысты, ол үшін n өлшемді конформальды көптік белгілі бір Пуанакаре көптігінің шекарасы ретінде немесе белгілі бір псевдо-Риманн көптігінің аспан сферасы ретінде жүзеге асырылады. Қоршаған ортаның құрылысы тек метриканың конформдық класын пайдалану арқылы орындалатын мағынада каноникалық болып табылады: ол конформды инвариант. Алайда, құрылыс тек асимптотикалық түрде, белгілі бір шамаға дейін жұмыс істейді. Жалпы алғанда, осы кеңеюді критикалық реттен кейін жалғастыруға кедергі бар. Обструкцияның өзі тензорлық сипатта болады және (конформальды) обструкция тензоры деп аталады. Ол Вейль тензорымен бірге конформды дифференциалдық геометриядағы екі бастапқы инварианттардың бірі. Обструкция тензорынан басқа, қоршаған орта құрылымын GJMS операторлары деп аталатын конформды инвариант дифференциалдық операторлар класын анықтау үшін пайдалануға болады. Бұған ұқсас конструкция - трактордың түймесі.

Шолу

Қоршаған орта құрылысының модельдік жазық геометриясы - Минковский кеңістігіндегі болашақ нөлдік конус, шығу тегі жойылған. Аспан сферасы шексізде конформды көптік M болып табылады, ал конустағы нөлдік сәулелер M үстіндегі сызық бумасын анықтайды. Бұдан басқа, нөлдік конус конустың генераторлары бағытында дегенерацияланатын метриканы қамтиды. Осы жазық модель кеңістігіндегі қоршаған орта құрылымы келесідей сұрақ қояды: егер біреу осындай сызық бунделімен, оның дегенерацияланған метрикасымен бірге қамтамасыз етілсе, метриканы нөлдік конустан каноникалық жолмен кеңейту қаншалықты мүмкін, осылайша қоршаған Минковский кеңістігін қалпына келтіру? Формальды түрде дегенеративті метрика Дирихлеттің шекті шартын кеңейту проблемасына береді және, солай бола тұра, кеңейтілген метриканың Риччидің жазықтығы болуының табиғи шарты (нормальды конформальды байланыстың нормалдануы салдарынан) болып табылады. Қоршаған ортаның құрылымы бұны M конформды қисық болған жағдайда, алдымен табиғи нөлдік сызық бунделін N дегенгеретті метрикамен құрастырып, содан кейін N × (1,1) бойынша Дирихле проблемасын шешеді.

Егжей-тегжейлер

Бұл бөлімде құрылыстың жалпы көрінісі беріледі, алдымен нөлдік желі бунделі, содан кейін оның қоршаған кеңістігі.