Через математика, проводник Артина - это число или идеал, связанный с персонажем группы Галуа местного или global поле, введенное Эмилем Артином (1930, 1931) как выражение, появляющееся в функциональное уравнение L-функции Артина.
Предположим, что L - конечное расширение Галуа локального поля K с группой Галуа G. Если - символ G, тогда дирижер Артина в - это число
где G i - i-я группа ветвления (в нижняя нумерация ) порядка g i, а χ (G i) - среднее значение на G я. По результату Артина локальный проводник - целое число. Эвристически проводник Артина измеряет, насколько действие высших групп ветвления далеки от тривиальности. В частности, если х неразветвленный, то его артиновский проводник равен нулю. Таким образом, если L неразветвлено над K, то проводники Артина всех х равны нулю.
Дикий инвариант или лебединый проводник символа - это
другими словами, сумма членов высшего порядка с i>0.
глобальные проводники Артина представления группы Галуа G конечное расширение L / K глобальных полей является идеалом поля K, определяемым как
где произведение берется по простым числам p из K, а f (χ, p) - локальный проводник Артина ограничения в группу разложения некоторого простого числа L, лежащего над p. Поскольку локальный проводник Артина равен нулю в неразветвленных простых числах, указанное выше произведение нужно брать только по простым числам, разветвленным в L / K.
Предположим, что L - конечное расширение Галуа локального поля K с группой Галуа G. Символ Артина aGв G является символом
и представление Артина AGявляется комплексное линейное представление группы G с этим характером. Вейль (1946) попросил о прямом построении представления Артина. Серр (1960) показал, что представление Артина может быть реализовано над локальным полем Qlдля любого простого числа l, не равного характеристике вычета p. Фонтейн (1971) показал, что это может быть реализовано над соответствующим кольцом векторов Витта. Обычно это не может быть реализовано над рациональными числами или над локальным полем Qp, предполагая, что не существует простого способа явно построить представление Артина.
Символ лебедя swGзадается как
где r g - это символ регулярного представления, а 1 - символ тривиального представления. Символ Swan - это символ представления G. Swan (1963) показал, что существует уникальное проективное представление G над l -адические целые числа с символом Лебедь.
Проводник Артина появляется в формуле дискриминанта для дискриминанта глобального поля.
Оптимальный уровень в Гипотеза Серра о модульности выражается в терминах проводника Артина.
Проводник Артина появляется в функциональном уравнении L-функции Артина.
Представления Артина и Свана используются для определения проводника эллиптической кривой или абелевой разновидности..