WikiDer > Группа ветвления

Было высказано предположение, что Теория ветвления оценок быть слился в эту статью. (Обсудить) Предлагается с марта 2020 года.

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

Группы ветвления в нижней нумерации

Группы ветвления являются уточнением группы Галуа. ${ displaystyle G}$ конечного ${ displaystyle L / K}$ Расширение Галуа из местные поля. Напишем ${ displaystyle w, { mathcal {O}} _ {L}, { mathfrak {p}}}$ для оценки, кольцо целых чисел и его максимальный идеал для ${ displaystyle L}$. Как следствие Лемма Гензеля, можно написать ${ Displaystyle { mathcal {O}} _ {L} = { mathcal {O}} _ {K} [ alpha]}$ для некоторых ${ displaystyle alpha in L}$ где ${ displaystyle O_ {K}}$ кольцо целых чисел ${ displaystyle K}$.^[1] (Это сильнее, чем теорема о примитивном элементе.) Тогда для каждого целого числа ${ Displaystyle я geq -1}$, мы определяем ${ displaystyle G_ {i}}$ быть набором всех ${ displaystyle s in G}$ который удовлетворяет следующим эквивалентным условиям.

• (я) ${ displaystyle s}$ работает тривиально на ${ displaystyle { mathcal {O}} _ {L} / { mathfrak {p}} ^ {i + 1}.}$
• (ii) ${ Displaystyle ш (s (х) -x) geq я + 1}$ для всех ${ displaystyle x in { mathcal {O}} _ {L}}$
• (iii) ${ Displaystyle вес (s ( альфа) - альфа) GEQ я + 1.}$

Группа ${ displaystyle G_ {i}}$ называется ${ displaystyle i}$-я группа ветвления. Они образуют убывающую фильтрация,

${ displaystyle G _ {- 1} = G supset G_ {0} supset G_ {1} supset dots {* }.}$

Фактически, ${ displaystyle G_ {i}}$ нормальны по (i) и банальный для достаточно большого ${ displaystyle i}$ по (iii). Для самых низких показателей принято называть ${ displaystyle G_ {0}}$ то подгруппа инерции из ${ displaystyle G}$ из-за его отношения к расщепление основных идеалов, в то время как ${ displaystyle G_ {1}}$ то подгруппа дикой инерции из ${ displaystyle G}$. Частное ${ Displaystyle G_ {0} / G_ {1}}$ называется ручным фактором.

Группа Галуа ${ displaystyle G}$ и его подгруппы ${ displaystyle G_ {i}}$ изучаются с использованием указанной выше фильтрации или, более конкретно, соответствующих факторов. Особенно,

• ${ displaystyle G / G_ {0} = operatorname {Gal} (l / k),}$ где ${ displaystyle l, k}$ - (конечные) поля вычетов ${ displaystyle L, K}$.^[2]
• ${ displaystyle G_ {0} = 1 Leftrightarrow L / K}$ является неразветвленный.
• ${ displaystyle G_ {1} = 1 Leftrightarrow L / K}$ является аккуратно разветвленный (т.е. индекс ветвления прост с характеристикой вычета.)

Изучение групп ветвления сводится к полностью разветвленному случаю, поскольку ${ displaystyle G_ {i} = (G_ {0}) _ {i}}$ для ${ displaystyle i geq 0}$.

Также определяется функция ${ Displaystyle i_ {G} (s) = вес (s ( альфа) - альфа), s in G}$. (ii) в приведенных выше шоу ${ displaystyle i_ {G}}$ не зависит от выбора ${ displaystyle alpha}$ и, кроме того, изучение фильтрации ${ displaystyle G_ {i}}$ по существу эквивалентен ${ displaystyle i_ {G}}$.^[3] ${ displaystyle i_ {G}}$ удовлетворяет следующему: для ${ displaystyle s, t in G}$,

• ${ displaystyle i_ {G} (s) geq i + 1 Leftrightarrow s in G_ {i}.}$
• ${ displaystyle i_ {G} (tst ^ {- 1}) = i_ {G} (s).}$
• ${ Displaystyle i_ {G} (st) geq min {i_ {G} (s), i_ {G} (t) }.}$

Исправить униформизатор ${ displaystyle pi}$ из ${ displaystyle L}$. потом ${ Displaystyle s mapsto s ( pi) / pi}$ вызывает инъекцию ${ Displaystyle G_ {я} / G_ {я + 1} к U_ {L, я} / U_ {L, я + 1}, я geq 0}$ где ${ Displaystyle U_ {L, 0} = { mathcal {O}} _ {L} ^ { times}, U_ {L, i} = 1 + { mathfrak {p}} ^ {i}}$. (Карта фактически не зависит от выбора униформизатора.^[4]) Отсюда следует^[5]

• ${ Displaystyle G_ {0} / G_ {1}}$ циклический порядок, простой с ${ displaystyle p}$
• ${ Displaystyle G_ {i} / G_ {я + 1}}$ является произведением циклических групп порядка ${ displaystyle p}$.

Особенно, ${ displaystyle G_ {1}}$ это п-группа и ${ displaystyle G_ {0}}$ является разрешимый.

Группы ветвления могут использоваться для вычисления другой ${ displaystyle { mathfrak {D}} _ {L / K}}$ расширения ${ displaystyle L / K}$ и подрасширений:^[6]

${ displaystyle w ({ mathfrak {D}} _ {L / K}) = sum _ {s neq 1} i_ {G} (s) = sum _ {i = 0} ^ { infty} (| G_ {i} | -1).}$

Если ${ displaystyle H}$ нормальная подгруппа ${ displaystyle G}$, то для ${ displaystyle sigma in G}$, ${ displaystyle i_ {G / H} ( sigma) = {1 over e_ {L / K}} sum _ {s mapsto sigma} i_ {G} (s)}$.^[7]

Комбинируя это с приведенным выше, получаем: для подрасширения ${ Displaystyle F / K}$ соответствующий ${ displaystyle H}$,

${ displaystyle v_ {F} ({ mathfrak {D}} _ {F / K}) = {1 over e_ {L / F}} sum _ {s not in H} i_ {G} ( s).}$

Если ${ displaystyle s in G_ {i}, t in G_ {j}, i, j geq 1}$, тогда ${ displaystyle sts ^ {- 1} t ^ {- 1} in G_ {я + j + 1}}$.^[8] В терминологии Lazard, это можно понимать как Алгебра Ли ${ displaystyle operatorname {gr} (G_ {1}) = sum _ {я geq 1} G_ {i} / G_ {i + 1}}$ абелева.

Пример: циклотомическое расширение

Группы ветвления для циклотомическое расширение ${ displaystyle K_ {n}: = mathbf {Q} _ {p} ( zeta) / mathbf {Q} _ {p}}$, где ${ displaystyle zeta}$ это ${ displaystyle p ^ {n}}$-й примитив корень единства, можно описать явно:^[9]

${ Displaystyle G_ {s} = Гал (K_ {n} / K_ {e}),}$

где е выбирается так, что ${ displaystyle p ^ {e-1} leq s$

.

Пример: расширение квартики

Пусть K - продолжение Q₂ создано ${ displaystyle x_ {1} = { sqrt {2 + { sqrt {2}} }}}$. Сопряженные с x₁ х₂=${ displaystyle x_ {2} = { sqrt {2 - { sqrt {2}} }},}$ Икс₃ = −Икс₁, Икс₄ = −Икс₂.

Небольшое вычисление показывает, что частное любых двух из них равно единица измерения. Следовательно, все они порождают один и тот же идеал; назови это π. ${ displaystyle { sqrt {2}}}$ генерирует π²; (2)=π⁴.

Сейчас же Икс₁ − Икс₃ = 2Икс₁, который в π⁵.

и ${ displaystyle x_ {1} -x_ {2} = { sqrt {4-2 { sqrt {2}} , ,}},}$ который в π³.

Различные методы показывают, что группа Галуа K является ${ displaystyle C_ {4}}$, циклический порядка 4. Также:

${ displaystyle G_ {0} = G_ {1} = G_ {2} = C_ {4}.}$

и ${ displaystyle G_ {3} = G_ {4} = (13) (24).}$

${ Displaystyle ш ({ mathfrak {D}} _ {K / Q_ {2}}) = 3 + 3 + 3 + 1 + 1 = 11,}$ так что разные ${ Displaystyle { mathfrak {D}} _ {K / Q_ {2}} = pi ^ {11}}$

Икс₁ удовлетворяет Икс⁴ − 4Икс² + 2, имеющий дискриминант 2048 = 2¹¹.

Группы ветвления в верхней нумерации

Если ${ displaystyle u}$ это реальное число ${ displaystyle geq -1}$, позволять ${ displaystyle G_ {u}}$ обозначать ${ displaystyle G_ {i}}$ где я наименьшее целое число ${ displaystyle geq u}$. Другими словами, ${ displaystyle s in G_ {u} Leftrightarrow i_ {G} (s) geq u + 1.}$ Определять ${ displaystyle phi}$ от^[10]

${ displaystyle phi (u) = int _ {0} ^ {u} {dt over (G_ {0}: G_ {t})}}$

где по условию ${ displaystyle (G_ {0}: G_ {t})}$ равно ${ displaystyle (G _ {- 1}: G_ {0}) ^ {- 1}}$ если ${ displaystyle t = -1}$ и равен ${ displaystyle 1}$ для ${ Displaystyle -1 <т leq 0}$.^[11] потом ${ displaystyle phi (u) = u}$ для ${ Displaystyle -1 leq и leq 0}$. Немедленно, что ${ displaystyle phi}$ непрерывна и строго возрастает, а значит, имеет непрерывную обратную функцию ${ displaystyle psi}$ определено на ${ displaystyle [-1, infty)}$. Определять${ Displaystyle G ^ {v} = G _ { psi (v)}}$.${ Displaystyle G ^ {v}}$ затем называется v-я группа ветвления в верхней нумерации. Другими словами, ${ Displaystyle G ^ { phi (u)} = G_ {u}}$. Заметка ${ displaystyle G ^ {- 1} = G, G ^ {0} = G_ {0}}$. Верхняя нумерация определена так, чтобы быть совместимой с переходом к частным:^[12] если ${ displaystyle H}$ нормально в ${ displaystyle G}$, тогда

${ Displaystyle (G / H) ^ {v} = G ^ {v} H / H}$ для всех ${ displaystyle v}$

(тогда как более низкая нумерация совместима с переходом на подгруппы.)

Теорема Эрбрана

Теорема Эрбрана утверждает, что группы ветвления в нижней нумерации удовлетворяют ${ displaystyle G_ {u} H / H = (G / H) _ {v}}$ (для ${ displaystyle v = phi _ {L / F} (u)}$ где ${ displaystyle L / F}$ подрасширение, соответствующее ${ displaystyle H}$), и что группы ветвления в верхней нумерации удовлетворяют ${ displaystyle G ^ {u} H / H = (G / H) ^ {u}}$.^[13][14] Это позволяет определять группы ветвления в верхней нумерации для бесконечных расширений Галуа (таких как абсолютная группа Галуа локального поля) из обратной системы групп ветвления для конечных подрасширений.

Верхняя нумерация абелевого расширения важна из-за Теорема Хассе – Арфа. В нем говорится, что если ${ displaystyle G}$ абелева, то скачки фильтрации ${ Displaystyle G ^ {v}}$ целые числа; т.е. ${ Displaystyle G_ {я} = G_ {я + 1}}$ в любое время ${ Displaystyle фи (я)}$ не является целым числом.^[15]

Верхняя нумерация совместима с фильтрацией группы нормальных вычетов единичными группами при Изоморфизм Артина. Образ ${ Displaystyle G ^ {п} (L / K)}$ при изоморфизме

${ Displaystyle G (L / K) ^ { mathrm {ab}} leftrightarrow K ^ {*} / N_ {L / K} (L ^ {*})}$

просто^[16]

${ Displaystyle U_ {K} ^ {n} / (U_ {K} ^ {n} cap N_ {L / K} (L ^ {*})) .}$

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

• Теория ветвления оценок

Заметки

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

• Б. Конрад, Math 248A. Высшие группы ветвления
• Фрёлих, А.; Тейлор, М.Дж. (1991). Алгебраическая теория чисел. Кембриджские исследования по высшей математике. 27. Издательство Кембриджского университета. ISBN 0-521-36664-X. Zbl 0744.11001.
• Нойкирх, Юрген (1999). Алгебраическая теория чисел. Grundlehren der Mathematischen Wissenschaften. 322. Берлин: Springer-Verlag. ISBN 978-3-540-65399-8. МИСТЕР 1697859. Zbl 0956.11021.
• Серр, Жан-Пьер (1967). «VI. Теория поля локальных классов». В Касселс, J.W.S.; Фрёлих, А. (ред.). Алгебраическая теория чисел. Материалы учебной конференции, организованной Лондонским математическим обществом (Институтом перспективных исследований НАТО) при поддержке Международного математического союза. Лондон: Academic Press. С. 128–161. Zbl 0153.07403.
• Серр, Жан-Пьер (1979). Местные поля. Тексты для выпускников по математике. 67. Переведено Гринберг, Марвин Джей. Берлин, Нью-Йорк: Springer-Verlag. ISBN 0-387-90424-7. МИСТЕР 0554237. Zbl 0423.12016.
• Снайт, Виктор П. (1994). Структура модуля Галуа. Монографии Института Филдса. Провиденс, Род-Айленд: Американское математическое общество. ISBN 0-8218-0264-X. Zbl 0830.11042.