WikiDer > Жесткое аналитическое пространство

В математике жесткое аналитическое пространство является аналогом сложное аналитическое пространство через неархимедово поле. Такие пространства были введены Джон Тейт в 1962 году, как результат его работы по униформизации п-адический эллиптические кривые с плохой редукцией с использованием мультипликативная группа. В отличие от классической теории п-адические аналитические многообразия, жесткие аналитические пространства допускают содержательные понятия аналитическое продолжение и связность.

Определения

Основной жесткий аналитический объект - это п-размерная единица полидиск, чья кольцо функций - это Алгебра Тейта ${displaystyle T_ {n}}$, сделано из степенной ряд в п переменные, коэффициенты которых стремятся к нулю в некотором полном неархимедовом поле k. Алгебра Тейта - это завершение кольцо многочленов в п переменные под Норма Гаусса (беря верхнюю грань коэффициентов), а полидиск играет роль, аналогичную роли аффинный п-Космос в алгебраическая геометрия. Точки на полидиске определяются как максимальные идеалы в алгебре Тейта, и если k является алгебраически замкнутый, они соответствуют точкам в ${displaystyle k ^ {n}}$ чьи координаты имеют норму не более единицы.

Аффиноидная алгебра - это k-Банахова алгебра который изоморфен фактору алгебры Тейта по идеальный. Тогда аффиноид - это подмножество единичного полидиска, на котором элементы этого идеала обращаются в нуль, то есть это множество максимальных идеалов, содержащих рассматриваемый идеал. В топология на аффиноидах тонко, используя понятия аффиноидные поддомены (которые обладают свойством универсальности относительно отображений аффиноидных алгебр) и допустимые открытые множества (которые удовлетворяют условию конечности покрытий аффиноидными подобластями). На самом деле допустимые открытия в аффиноиде, как правило, не наделяют его структурой аффиноида. топологическое пространство, но они образуют Топология Гротендика (называется г-топология), что позволяет определить хорошие представления о снопы и склейка пространств.

Жесткое аналитическое пространство над k пара ${displaystyle (X, {mathcal {O}} _ {X})}$ описание окольцованного г-топологизированное пространство с пучком k-алгебры, такие, что существует покрытие открытыми подпространствами, изоморфными аффиноидам. Это аналогично представлению о том, что многообразия покрываются открытыми подмножествами, изоморфными евклидову пространству, или схемы быть покрытым аффинами. Схемы закончились k могут быть проанализированы функториально, так же как многообразия над комплексными числами можно рассматривать как комплексные аналитические пространства, и существует аналогичный формальный ГАГА теорема. Функтор аналитики соблюдает конечные пределы.

Другие составы

Около 1970 г. Мишель Рейно предоставил интерпретацию некоторых жестких аналитических пространств как формальных моделей, то есть как общих слоев формальные схемы над оценочное кольцо р из k. В частности, он показал, что категория квазикомпактных квази разделенных твердых пространств над k эквивалентен локализация категории квазикомпактных допустимых формальных схем над р относительно допустимых формальных раздутий. Здесь допустима формальная схема, если она покрывается формальными спектрами топологически конечно определенных р алгебры, локальные кольца которых р-плоский.

Формальные модели страдают от проблемы уникальности, поскольку раздутие позволяет более чем одной формальной схеме описывать одно и то же жесткое пространство. Хубер разработал теорию адические пространства чтобы решить эту проблему, установив ограничение на все взрывы. Эти пространства квазикомпактны, квази разделены и функториальны в жестком пространстве, но лишены многих хороших топологических свойств.

Владимир Беркович переформулировал большую часть теории жестких аналитических пространств в конце 1980-х, используя обобщение понятия Спектр Гельфанда для коммутативной единицы C *-алгебры. В Спектр Берковича банаха k-алгебра А - множество мультипликативных полунорм на А ограниченные по данной норме на k, и он имеет топологию, индуцированную вычислением этих полунорм на элементах А. Поскольку топология оторвана от вещественной прямой, спектры Берковича обладают множеством хороших свойств, таких как компактность, линейная связность и метризуемость. Многие теоретико-кольцевые свойства отражаются в топологии спектров, например, если А является Дедекинд, то его спектр стягиваем. Однако даже самые простые пространства имеют тенденцию быть громоздкими - проективная линия над C_п компактификация индуктивного предела аффинного Здания Брюа – Титса для PGL₂(F), так как F меняется на конечных расширениях Q_п, когда зданиям присвоена соответствующая грубая топология.

Смотрите также

• Жесткие когомологии

использованная литература

• Неархимедов анализ С. Бош, У. Гюнцер, Р. Реммерт ISBN 3-540-12546-9
• Брайан Конрад Несколько подходов к неархимедовой геометрии конспекты лекций Зимняя школа в Аризоне
• Жесткая аналитическая геометрия и ее приложения (Прогресс в математике) Жан Френель, Мариус ван дер Пут ISBN 0-8176-4206-4
• Хузел, Кристиан (1995) [1966], Espaces analytiques rigides (d'après R. Kiehl), Séminaire Bourbaki, Exp. № 327, 10, Париж: Société Mathématique de France, стр. 215–235, Г-Н 1610409
• Тейт, Джон (1971) [1962], «Жесткие аналитические пространства», Inventiones Mathematicae, 12 (4): 257–289, Дои:10.1007 / BF01403307, ISSN 0020-9910, Г-Н 0306196
• Éléments de Géométrie Rigide. Том I. Строительство и этюд геометрической конструкции жестких пространств. (Прогресс в математике 286) Ахмеда Аббса, ISBN 978-3-0348-0011-2
• Мишель Рейно, Géométrie analytique rigide d’après Tate, Kiehl ,. . . Table ronde d’analyse non archimidienne, Bull. Soc. Математика. Пт. Mém. 39/40 (1974), 319-327.

внешние ссылки

• "Rigid_analytic_space", Энциклопедия математики, EMS Press, 2001 [1994]