Вектор Витта

В математике вектором Витта называется бесконечная последовательность элементов коммутативного кольца.

Эрнст Витт (нем. Ernst Witt) показал, как наложить структуру кольца на множество векторов Витта таким образом, что кольцо векторов Витта над конечным полем порядка p является кольцом p-адических целых.

Э. Витт предложил эти вектора впервые в 1937-м году в связи с описанием неразветвлённых расширений полей р-адических чисел, а также (первичная мотивация Витта) циклических расширений полей характеристики p (см. Witt 1937). Позже векторы Витта были применены при изучении алгебраических многообразий над полем положительной характеристики, а также в теории коммутативных алгебраических групп и в теории формальных групп.

МотивацияПравить

Любое p-адическое целое может быть записано однозначно в виде степенного ряда $a_0+a_1{p}^1+a_2{p}^2+...$$a_{0}+a_{1}p^{1}+a_{2}p^{2}+...$  , где $a_i$$a_{i}$  обычно берутся из множества $0,1,2,...,p-<!--\; -\; -->1$${0,1,2,...,p-1}$ . Это множество ― не единственно возможное представление, и Тайхмюллер предложил другое множество, состоящее из 0 и $p-<!--\; -\; -->1$$p-1$  корней единицы. Другими словами, p корней

$x^p-<!--\; -\; -->x=0$$x^{p}-x=0$ .

Это представление Тайхмюллера может быть отождествлено с элементами конечного поля $F_p$$F_{p}$  порядка p (используя остатки по модулю p), так что это представление устанавливает соответствие между бесконечной последовательностью элементов поля $F_p$$F_{p}$  и набором p-адических чисел.

Как явно описать результат сложения и умножения двух бесконечных последовательностей элементов $F_p$$F_{p}$ , являющихся представлениями Тайхмюллера для p-адических целых? Эта проблема была решена Виттом с использованием векторов Витта.

Построение колец ВиттаПравить

Возьмём простое число p. Вектор Витта над коммутативным кольцом R ― это последовательность $X_0,X_1,X_2,...$${X_{0},X_{1},X_{2},...}$  элементов R. Определим многочлены Витта $W_i$$W_i$  следующим образом:

$W_0=X_0$$W_{0}=X_{0}$ 

$W_1=X_0^p+p{X}_1$$W_{1}=X_{0}^{p}+pX_{1}$ 

$W_2=X_0^{p^2}+p{X}_1^p+p^2{X}_2$$W_{2}=X_{0}^{p^{2}}+pX_{1}^{p}+p^{2}X_{2}$ 

в общем виде

$W_n=\underset{i}{\sum <!--\; \sum \; -->}{p}^i{X}_i^{p^{n-<!--\; -\; -->i}}.$$W_{n}=\sum _{i}p^{i}X_{i}^{p^{n-i}}.$ 

Витт показал, что имеется единственная функториальная конструкция коммутативного кольца (не R-алгебры!) W(R) для любого коммутативного кольца R такое, что элементы W(R)—векторы Витта и такое, что каждый многочлен Витта $W_n$$W_{n}$  представляет собой гомоморфизм кольца W(R) в R. При этом, "функториальная" означает, что к конструкции кольца W(R) для любого кольца R ещё придана конструкция гомоморфизма колец $W\left(R\right)\to <!--\; \to \; -->W\left(S\right)$$W\left(R\right)\to W\left(S\right)$  для каждого гомоморфизма колец $R\to <!--\; \to \; -->S$$R\to S$  такая, что в результате W - функтор из категории коммутативных колец в саму себя.

Кольцо W(R) называется кольцом векторов Витта над R. Сумма и произведение двух элементов W(R) задаются некими многочленами с целыми коэффициентами, не зависящими от R.

Несколько первых многочленов, дающих сумму и ироизведение векторов Витта могут быть представлены явно. Например,

(X₀, X₁,…) + (Y₀, Y₁,…) = (X₀+Y₀, X₁ + Y₁ + (X₀^p + Y₀^p − (X₀ + Y₀)^p)/p, …)

(X₀, X₁,…) × (Y₀, Y₁,…) = (X₀Y₀, X₀^pY₁ + Y₀^pX₁ + p X₁Y₁, …)

ПримерыПравить

• Кольцо Витта любого коммутативного кольца R, в котором p обратимо, просто изоморфно $R^N$$R^{N}$  (произведению конечного числа копий R). Фактически, многочлены Витта всегда дают гомоморфизм из кольца векторов Витта в $R^N$$R^{N}$ , и, если p ― обратимо, этот гомоморфизм является изоморфизмом.
• Кольцо Витта над конечным полем порядка p является кольцом p-адических целых чисел.
• кольцо Витта конечного поля порядка $p^n$$p^{n}$  является неразветвленное расширение степени n кольца p-адических целых.

Универсальные векторы ВиттаПравить

Многочлены Витта для различных простых p являются специальным случаем универсальных многочленов Витта, которые могут быть использованы для построения универсальных колец Витта (не зависящих от простого p).

Определим универсальные полиномы Витта $W_n$$W_{n}$  для $n\ge <!--\; \ge \; -->1$$n\geq 1$  формулами

$W_1=X_1$$W_{1}=X_{1}$ 

$W_2=X_1^2+2X_2$$W_{2}=X_{1}^{2}+2X_{2}$ 

$W_3=X_1^3+3X_3$$W_{3}=X_{1}^{3}+3X_{3}$ 

$W_4=X_1^4+2X_2^2+4X_4$$W_{4}=X_{1}^{4}+2X_{2}^{2}+4X_{4}$ 

в общем виде

$W_n=\underset{d|n}{\sum <!--\; \sum \; -->}d{X}_d^{n/d}.$$W_{n}=\sum _{d|n}dX_{d}^{n/d}.$ 

Можно использовать эти полиномы, чтобы определить кольцо универсальных полиномов Витта над коммутативным кольцом R точно таким же образом, как и выше (так что универсальные полиномы Витта ― гомоморфизмы в кольцо R).

Схемы кольцаПравить

Отображение коммутативного кольца R в кольцо векторов Витта над R (для фиксированного простого p) является функтором из коммутативного кольца в коммутативное кольцо, который тоже представим, так что его можно рассматривать как схему кольца, которая называется схемой Витта над Spec(Z). Схема Витта может быть канонически отождествлена со спектром кольца симметрических функций.

Аналогично, кольца усеченных векторов Витта и кольца универсальных векторов Витта соответствуют схемам кольца, которые называются усечёнными схемами Витта и универсальными схемами Витта .

Более того, функтор из коммутативного кольца R в множество $R^n$$R^{n}$ , представленные афинным пространством ${\mathbb{A}}_{\mathbb{Z}}^n$$\mathbb {A} _{\mathbb {Z} }^{n}$  и структурой кольца $R^n$$R^{n}$  переводит ${\mathbb{A}}_{\mathbb{Z}}^n$$\mathbb {A} _{\mathbb {Z} }^{n}$  в схему кольца ${\underset{\_<!--\; \_\; -->}{\mathcal{O}}}^n$${\underline {\mathcal {O}}}^{n}$ . Из структуры усеченных векторов Витта следует, что их ассоциированная схема кольца ${\mathbb{W}}_n$$\mathbb {W} _{n}$  является схемой ${\mathbb{A}}_{\mathbb{Z}}^n$$\mathbb {A} _{\mathbb {Z} }^{n}$  с уникальной структурой кольца, так что морфизм ${\mathbb{W}}_n\to <!--\; \to \; -->{\underset{\_<!--\; \_\; -->}{\mathcal{O}}}^n$$\mathbb {W} _{n}\rightarrow {\underline {\mathcal {O}}}^{n}$  заданный полиномами Витта является морфизмом схем.

Коммутативные унипотентные алгебраические группыПравить

Над алгебраически замкнутом поле характеристики 0 любая унипотентная абелева связная алгебраическая группа изоморфна произведению копий аддитивной группы $G_a$$G_a$ .

Аналогия для полей с характеристикой p неверна ― усеченные схемы Витта являются контпримером (мы переводим их в алгебраическую группу, убирая структуру умножения и используя только структуру сложения.)

См. такжеПравить

• Формальная группа (математика)
• Экспонента Артина — Хассе

СсылкиПравить

• Hazewinkel, Michiel (2009), Witt vectors. I., Handbook of algebra. Vol. 6, Amsterdam: Elsevier/North-Holland, с. 319–472,, ISBN 978-0-444-53257-2 
• Mumford, David, Lectures on Curves on an Algebraic Surface, vol. 59, Annals of Mathematics Studies, Princeton, NJ: Princeton University Press, ISBN 978-0-691-07993-6 
• Serre, Jean-Pierre (1979), Local fields, vol. 67, Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90424-5 , section II.6
• Serre, Jean-Pierre (1988), Algebraic groups and class fields, vol. 117, Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96648-9 
• Witt, Ernst (1937), Zyklische Körper und Algebren der Characteristik p vom Grad pⁿ. Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik pⁿ, Journal für Reine und Angewandte Mathematik Т. 176: 126–140, <http://www.digizeitschriften.de/main/dms/img/?IDDOC=504725>  Архивная копия от 26 марта 2015 на Wayback Machine
• Greenberg, M. J. (1969), Lectures on Forms in Many Variables, New York and Amsterdam, Benjamin, MR 241358, ASIN: B0006BX17M
• Ленг С., Алгебра, пер. с англ., М., 1968;
• Мамфорд Д., Лекции о кривых на алгебраической поверхности, пер. с англ., М., 1968;
• Серр Ж. П., Алгебраические группы и поля классов, пер. с франц., М., 1968;
• Demazure M., Gabriel P., Groupes algebri-ques, t. 1. P.- Amst., 1970;
• Dieudonne J., «Math. Ann.», 1957, Bd 134, S. 114-33.