Жергілікті біркелкі ету - Local uniformization

Алгебралық геометрияда, жергілікті біркелкі ету дегеннің әлсіз түрі дара ерекшеліктерді шешу, әртүрлілікті кез-келген бағалауға қатысты десуляризациялауға болатындығын немесе басқаша айтқанда Зариски-Риман кеңістігі әртүрлілік белгілі бір мағынада мағынасыз. Жергілікті бірыңғайландыруды Зариски енгізді (1939, 1940 ), әртүрліліктің ерекшеліктерін шешу мәселесін жергілікті біркелкі ету мәселесіне және локальдық теңдестіруді ғаламдық десингулизацияға біріктіру мәселесін бөлген.

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

Зариски (1940) 0 сипаттамасының өрістеріне қатысты кез-келген өлшемдегі сорттардың жергілікті біркелкілігін дәлелдеді және мұны максимум 0 сипаттамасындағы сорттар үшін ерекшеліктердің шешімділігін дәлелдеу үшін қолданды. Позитивті сипаттамада жергілікті біркелкі болу әлдеқайда қиын сияқты. Абхянкар (1956, 1966 ) беттерге арналған барлық сипаттамалар бойынша және 3-қатпарларға арналған кем дегенде 7 сипаттамалар бойынша жергілікті біркелкілікті дәлелдеді және осы жағдайдағы жекешеліктердің глобальды шешілуін осыдан шығара алды. Куткоский (2009) Абхянкардың ұзаққа созылған дәлелі жеңілдетілді. Cossart және Piltant (2008, 2009 ) Abhyankar-дің жергілікті 3-қатпарларды біркелкі етуін қалған 2, 3 және 5 сипаттамаларына дейін дәлелдеді. Темкин (2013) функция өрісінің тек бөлінбейтін кеңеюін қабылдағаннан кейін кез-келген бағалаудың жергілікті біркелкілігін табуға болатындығын көрсетті.

Кем дегенде 4 өлшемді сорттары үшін оң сипаттамада жергілікті біркелкі ету (2019 жылғы жағдай бойынша) ашық мәселе болып табылады.

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

Сыртқы сілтемелер