Алгебра Ивасавы - Википедия - Iwasawa algebra

В математике Алгебра Ивасавы Λ (грамм) из проконечная группа грамм это вариант групповое кольцо из грамм с п-адический коэффициенты, которые принимают топологию грамм в учетную запись. Точнее, Λ (грамм) это обратный предел групповых колец Z_п(грамм/ЧАС) в качестве ЧАС проходит через открыто нормальные подгруппы из грамм. Коммутативные алгебры Ивасавы были введены Ивасава (1959 ) в своем исследовании Z_п расширения в Теория Ивасавы, и некоммутативные алгебры Ивасавы компактных п-адические аналитические группы были представлены Лазард (1965).

Алгебра Ивасавы п-адические целые числа

В частном случае, когда проконечная группа грамм изоморфна аддитивной группе кольца п-адические целые числа Z_п, алгебра Ивасавы Λ (грамм) изоморфно кольцу формальный степенной ряд Z_п[[Т]] одной переменной над Z_п. Изоморфизм задается отождествлением 1 +Т с топологическим генератором грамм. Это кольцо является двумерным полный Нётерян обычное местное кольцо, и в частности уникальная область факторизации.

Это следует из Подготовительная теорема Вейерштрасса для формальных степенных рядов над полным локальным кольцом первичные идеалы этого кольца следующие:

Высота 0: нулевой идеал.
Рост 1: идеальный (п), а идеалы, порожденные неприводимыми выделенные многочлены (многочлены со старшим коэффициентом 1 и всеми остальными коэффициентами, кратными п).
Рост 2: максимальный идеал (п,Т).

Конечно порожденные модули

В классифицировать конечно порожденного модуля - это количество раз, когда модуль Z_п[[Т]] происходит в нем. Это хорошо определено и аддитивно для коротких точных последовательностей конечно порожденных модулей. Ранг конечно порожденного модуля равен нулю тогда и только тогда, когда модуль является торсионным модулем, что происходит тогда и только тогда, когда размер носителя не превышает 1.

Многие из модулей над этой алгеброй, которые встречаются в теории Ивасавы, являются конечно порожденными модулями кручения. Строение таких модулей можно описать следующим образом. Квазиизоморфизм модулей - это гомоморфизм, ядро и коядро которого являются конечными группами, другими словами, модули с носителем либо пустым, либо первичным идеалом высоты 2. Для любого конечно порожденного модуля кручения существует квазиизоморфизм конечной суммы модулей вида Z_п[[Т]]/(ж^п) куда ж является генератором простого идеала высоты 1. Более того, сколько раз любой модуль Z_п[[Т]]/(ж) входит в модуль, определен корректно и не зависит от композиционного ряда. Таким образом, торсионный модуль имеет характеристический степенной ряд, формальный степенной ряд, задаваемый произведением степенного ряда ж^п, которая определяется однозначно с точностью до умножения на единицу. Идеал, порожденный характеристическим степенным рядом, называется характерный идеал модуля Ивасава. В более общем смысле любой генератор характеристического идеала называется характеристическим степенным рядом.

В μ-инвариантный конечно-порожденного модуля кручения - это количество раз, когда модуль Z_п[[Т]]/(п) происходит в нем. Этот инвариант аддитивен на коротких точных последовательностях конечно порожденных модулей кручения (хотя он не аддитивен на коротких точных последовательностях конечно порожденных модулей). Он обращается в нуль тогда и только тогда, когда конечно порожденный модуль кручения конечно порожден как модуль над подкольцом Z_п. В λ-инвариантный - сумма степеней встречающихся выделенных многочленов. Другими словами, если модуль псевдоизоморфен

{ Displaystyle bigoplus _ {я} mathbf {Z} _ {p} [! [T] !] / (p ^ { mu _ {i}}) oplus bigoplus _ {j} mathbf {Z} _ {p} [! [T] !] / (F_ {j} ^ {m_ {j}})}

где ж_j - выделенные многочлены, то

{ Displaystyle му = сумма _ {я} му _ {я}}

и

{ displaystyle lambda = sum _ {j} m_ {j} deg (f_ {j}).}

В терминах характеристического степенного ряда μ-инвариант является минимумом (п-адические) нормирования коэффициентов и λ-инварианта есть степень Т при котором этот минимум возникает впервые.

Если ранг, μ-инвариант и λ-инвариант конечно порожденного модуля равны нулю, то модуль конечен (и наоборот); другими словами, его основная абелева группа является конечной абелевой п-группа. Это конечно порожденные модули, размер носителя которых не превосходит 0. Такие модули артиновы и имеют точно определенную длину, которая конечна и аддитивна на коротких точных последовательностях.

Теорема Ивасавы

Напишите ν_п для элемента 1 + γ + γ²+ ... + γ^{п^п–1} где γ - топологическая образующая графа Γ. Ивасава (1959 ) показал, что если Икс - конечно порожденный модуль кручения над алгеброй Ивасавы и Икс/ ν_пИкс есть заказ п^е_п тогда

{ displaystyle e_ {n} = mu p ^ {n} + lambda n + c}

за п достаточно большие, где μ, λ и c зависеть только от Икс а не на п. Первоначальный аргумент Ивасавы был ad hoc, и Серр (1958) указал, что результат Ивасавы может быть выведен из стандартных результатов о структуре модулей над целозамкнутыми нётеровыми кольцами, такими как алгебра Ивасавы.

В частности, это относится к случаю, когда е_п это самая большая сила п деление порядка идеальной группы классов кругового поля, порожденного корнями из единицы порядка п^п+1. В Теорема Ферреро – Вашингтона утверждает, что в этом случае μ = 0.

Более высокие ранги и некоммутативные алгебры Ивасавы

Более общие алгебры Ивасавы имеют вид

{ displaystyle Lambda (G): = varprojlim _ {H} mathbf {Z} _ {p} [G / H]}

куда грамм компактный п-адическая группа Ли. Приведенный выше случай соответствует ${ Displaystyle G = mathbf {Z} _ {p}}$ . Классификация модулей над ${ Displaystyle Lambda (G)}$ с точностью до псевдоизоморфизма возможно в случае ${ displaystyle G = mathbf {Z} _ {p} ^ {n}.}$ ^[1]

Для некоммутативных грамм, ${ Displaystyle Lambda (G)}$ -модули классифицируются до так называемых псевдо-нулевых модулей.^[2]

Алгебра Ивасавы - Википедия - Iwasawa algebra

Содержание

Алгебра Ивасавы п-адические целые числа

Конечно порожденные модули

Теорема Ивасавы

Более высокие ранги и некоммутативные алгебры Ивасавы

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