WikiDer > U-инвариант - Википедия

u-invariant - Wikipedia

В математика, то универсальный инвариант или же ты-инвариантный из поле описывает структуру квадратичные формы над полем.

Универсальный инвариант ты(F) поля F это самый большой размер анизотропное квадратичное пространство над F, или ∞, если его не существует. С формально реальные поля имеют анизотропные квадратичные формы (суммы квадратов) в каждом измерении, инвариант представляет интерес только для других полей. Эквивалентная формулировка такова: ты наименьшее число такое, что каждая форма измерения больше, чем ты является изотропный, или что каждая форма измерения по крайней мере ты является универсальный.

Примеры

Характеристики

  • Если F формально не реально ты(F) не более , индекс квадратов в мультипликативной группа из F.[3]
  • ты(F) не может принимать значения 3, 5 или 7.[4] Поля существуют с ты = 6[5][6] и ты = 9.[7]
  • Меркурьева показал, что каждый четное целое число встречается как значение ты(F) для некоторых F.[8][9]
  • Александр Вишик доказано, что существуют поля с ты-инвариантный для всех .[10]
  • В ты-инвариант ограничен относительно конечных-степень расширения полей. Если E/F расширение поля степени п тогда

В случае квадратичных расширений ты-инвариант ограничен

и достигаются все значения в этом диапазоне.[11]

Генерал ты-инвариантный

Поскольку ты-инвариантность малоинтересна в случае формально вещественных полей, определим Общее ты-инвариантный быть максимальным размером анизотропной формы в торсионная подгруппа из Кольцо Witt из F, или ∞, если его не существует.[12] Для неформально-вещественных полей кольцо Витта является торсионным, так что это согласуется с предыдущим определением.[13] Для формально реального поля общее ты-инвариантно либо четно, либо ∞.

Характеристики

Рекомендации

  1. ^ Лам (2005) стр.376
  2. ^ Лам (2005) стр.406
  3. ^ Лам (2005) стр. 400
  4. ^ Лам (2005) стр. 401
  5. ^ Лам (2005) с.484
  6. ^ Лам, Т. (1989). «Поля u-инварианта 6 по А. Меркурьеву». Теория колец 1989. В честь С. А. Амицура, Proc. Symp. и семинар, Иерусалим 1988/89. Israel Math. Конф. Proc. 1. С. 12–30. Zbl 0683.10018.
  7. ^ Ижболдин, Олег Т. (2001). «Поля u-инварианта 9». Анналы математики. Вторая серия. 154 (3): 529–587. Дои:10.2307/3062141. JSTOR 3062141. Zbl 0998.11015.
  8. ^ Лам (2005) стр. 402
  9. ^ Эльман, Карпенко, Меркурьев (2008) с. 170
  10. ^ Вишик, Александр (2009). "Поля ты-инвариантный ". Алгебра, арифметика и геометрия. Успехи в математике. Birkhäuser Boston. Дои:10.1007/978-0-8176-4747-6_22.
  11. ^ Минач, Ян; Уодсворт, Адриан Р. (1995). «U-инвариант для алгебраических расширений». В Розенберг, Алекс (ред.). K-теория и алгебраическая геометрия: связи с квадратичными формами и алгебрами с делением. Летний научно-исследовательский институт квадратичных форм и алгебр с делением, 6-24 июля 1992 г., Калифорнийский университет, Санта-Барбара, Калифорния (США). Proc. Symp. Чистая математика. 58. Провиденс, Род-Айленд: Американское математическое общество. С. 333–358. Zbl 0824.11018.
  12. ^ Лам (2005) стр. 409
  13. ^ а б Лам (2005) стр. 410