Русская Википедия:L-функция Артина
L-функция Артина — это вид ряда Дирихле, связанный с представлением <math> \rho </math> группы Галуа <math>G</math> расширения числового поля. Эти функции были введены в 1923 Эмилем Артином, в связи с его работой в теории полей классов. Фундаментальные свойства этих функций, в частности гипотеза Артина, описанная ниже, оказались устойчивыми к легким доказательствам. Одной из целей предлагаемой неабелевой теории полей классов является включение комплексно-аналитических L-функций Артина в более широкую теорию, которая будет вытекать из автоморфных форм и программы Ленглендса. До сих пор лишь небольшая часть такой теории была построена на прочной основе.
Определение
Пусть <math>\rho: G \to \mathrm{GL}(V)</math> — представление группы <math>G</math> в конечномерном комплексном векторном пространстве <math>V</math>, где <math>G</math> - группа Галуа конечного расширения <math>L/K</math> числового поля. L-функция Артина <math>L(\rho,s)</math> тогда равна бесконечному произведению эйлеровых множителей по всем простым идеалам <math>P</math>. Для каждого простого идеала <math>P</math> из кольца целых <math>\mathcal{O}_K</math> поля <math>K</math>, эйлеровский множитель легко определяется в случае, если <math>P</math> является неразветвлённым в <math>L</math> (что верно для почти всех <math>P</math>). В этом случае, элемент Фробениуса <math>\mathrm{Frob}_P</math> определяется как класс сопряженности в <math>G</math>. Следовательно, характеристический многочлен матрицы <math> \rho(\mathrm{Frob}_P) </math> вполне определён. Эйлеровский множитель <math>P</math> представляет собой небольшую модификацию характеристического многочлена, так же чётко определенного:
- <math> \operatorname{charpoly}(\rho(\mathrm{Frob}_P))^{-1}
= \operatorname{det} [ E - t \rho( \mathrm{Frob}_P)]^{-1}, </math>
как рациональная функция от <math>t</math>, взятого в точке <math>t = N(P)^{-s}</math>, где <math>s</math> - комплексная переменная, как в обычной дзета-функции Римана. (Здесь <math>N</math> - норма идеала).
Если <math>P</math> разветвлено, а <math>I</math> — группа инерции, которая является подгруппой <math>G</math>, используется сходная конструкция, но подпространство <math>V</math> поточечно инвариантно при действии <math>I</math>.
Как показывает закон взаимности Артина, когда <math>G</math> — абелева группа, L-функции Артина являются L-функциями Дирихле при <math>K=\mathbb{Q}</math>, а в общем случае являются L-функциями Гекке. Нетривиальные отличия появляются при неабелевой группе <math>G</math> и её представлении.
Пример применения — разложить на множители дзета-функции Дедекинда в случае числового поля, которое является расширением Галуа над рациональными числами. Так как регулярное представление разлагается в неприводимые представления, то и дзета-функция Дедекинда представляется в виде произведения L-функций Артина, при любом неприводимом представлении <math>G</math>.
Более точно, если <math>L/K</math> — расширение Галуа степени <math>n</math>, <math>\rho</math> — неприводимое представление <math>\operatorname{Gal}(L/K)</math>, то разложение <math>\zeta_L(s) =L(\rho_{\text{regular}}, s)= \prod\limits_{\rho} L(\rho,s)^{\deg(\rho)}</math> следует из
- <math>L(\rho,s) = \prod\limits_{P \in K} \frac{1}{\det[E-N(P)^{-s} \rho(\mathrm{Frob}_P){\scriptstyle|V_{P,\rho}}]}, </math>
- <math> -\ln \det[E-N(P)^{-s} \rho( \mathrm{Frob}_P)] = \sum\limits_{m=1}^\infty \frac{\operatorname{tr}(\rho( \mathrm{Frob}_P)^m)}{m} N(P)^{-sm}</math>
- <math> \sum\limits_{\rho \text{ неприводимо}}\deg(\rho) \operatorname{tr}(\rho(\sigma)) = \begin{cases} n \text{ при } \sigma = 1 \\ 0 \text{ иначе }, \end{cases} </math>
- <math> -\sum_{\rho \text{ неприводимо}}\deg(\rho) \ln \det[E-N(P^{-s}) \rho( \mathrm{Frob}_P)] = n \sum_{m=1}^\infty \frac{N(P)^{-sfm}}{fm} = - \ln[(1-N(P)^{-sf})^{n/f}]</math>
где <math>\deg(\rho)</math> — степень неприводимого представления в регулярном представлении, <math>f</math> — это порядок <math> \mathrm{Frob}_P</math> и <math>n</math> заменено на <math>n/e</math> для ветвящихся простых.
Поскольку характеры образуют ортонормированный базис, после доказательства некоторых аналитических свойств <math>L(\rho,s)</math> мы получаем теорему плотности Чеботарёва как обобщение теоремы Дирихле о простых числах в арифметической прогрессии.
Функциональное уравнение
L-функции Артина удовлетворяют функциональному уравнению. Функция <math>L(\rho,s)</math> связана с <math>L(\rho^*,1-s)</math>, где <math>\rho^*</math> обозначает комплексно-сопряженное представление. Более точно, <math>L</math> заменяется на <math>\Lambda(\rho,s)</math>, в котором <math>L</math> умножена на некоторые гамма-множители, и тогда выполняется соотношение между мероморфными функциями
- <math>\Lambda(\rho,s) = W(\rho)\Lambda(\rho^*,1-s)</math>
где <math>W(\rho)</math> — некоторое комплексное число с модулем 1, называемое корневое число Артина. Оно глубоко изучено в отношении двух типов его свойств. Во-первых, Ленглендс и Делинь разложили его в произведение локальных констант Ленглендса-Делиня; Это важно в связи с гипотетическими связями с автоморфными представлениями. Во-вторых, случай когда <math>\rho</math> и <math>\rho^*</math> являются эквивалентными представлениями точно соответствует случаю, когда в функциональном уравнении с обеих сторон стоят одинаковые L-функции. Это, говоря алгебраическим языком, случай, когда <math>\rho</math> - это действительное представление или кватернионное представление. Корневое число Артина в этом случае равно <math>\pm 1</math>. Вопрос о том, какой именно знак имеет место, связан с теорией модуля Галуа Шаблон:Harv.
Гипотеза Артина
Гипотеза Артина утверждает, что если <math>\rho</math> — нетривиальное неприводимое представление, то L-функция Артина <math>L(\rho,s)</math> является аналитичной на всей комплексной плоскости[1].
Известно, что для одномерных представлений L-функция Артина будет связана с характером Гекке - и в частности с L-функцией Дирихле.[1] Артин доказал более общее утверждение, что гипотеза Артина верна для любых представлений, индуцированных одномерными представлениями. Если группа Галуа является сверхразрешимой или, более общо, мономиальной, то все их представления таковы, что гипотеза Артина выполняется.
Андре Вейль доказал гипотезу Артина в случае полей функций.
Двумерные представления классифицируются по образам своих подгрупп: они могут быть цикличными, диэдральными, тетраэдральными, октаэдральными или икосаэдральным. Гипотеза Артина для циклического и диэдрального случая легко получается из работы Гекке. Ленглендс использовал замену базы для доказательства тетраэдрального случая, а Таннел расширил его работу, покрыв октаэдральный случай; Уайлс использовал эти случаи в его доказательстве гипотезы Таниямы-Шимуры. Ричард Тейлор и другие получили некоторый прогресс в этом (неразрешимом) икосаэдральном случае; это сейчас активная область исследований.
Из теоремы Брауэра об индуцированном характере следует, что все L-функции Артина разлагаются в произведение целых степеней L-функций Гекке, и следовательно мероморфны на всей комплексной плоскости.
Шаблон:Harvtxt указал, что гипотеза Артина следует из достаточно сильных результатов программы Ленглендса, связанных с L-функциями, ассоциированных с автоморфными представлениями для GL(n) для всех <math>n \geqslant 1</math>. Точнее говоря, гипотезы Ленглендса ассоциируют автоморфное представление группы аделей <math>\operatorname{GL}_n(A_{\mathbb{Q}})</math> с каждым <math>n</math>-мерным неприводимым представлением группы Галуа, которое является каспидальным представлением, если представление Галуа неприводимо, так что L-функция Артина представления Галуа совпадает с автоморфной L-функцией автоморфного представления. Гипотеза Артина тогда сразу следует из известного факта, что L-функции каспидальных автоморфных представлений являются голоморфными. Это было одним из главных мотивов работы Ленглендса.
Гипотеза Дедекинда
Ослабленная гипотеза (иногда называемая гипотезой Дедекинда) утверждает, что если <math>M/K</math> — расширение числового поля, то частное <math>\zeta_M(s)/\zeta_K(s)</math> их дзета-функций Дедекинда является целой функцией.
Теорема Араматы-Брауэра утверждает, что гипотеза остается верной в случае, если расширение <math>M/K</math> является расширением Галуа.
Более общо, пусть <math>N</math> — замыкание Галуа <math>M</math> над <math>K</math>, а <math>G</math> — группа Галуа <math>N/K</math>. Частное <math>\zeta_M(s)/\zeta_K(s)</math> равно L-функции Артина, ассоциированной с естественным представлением, связанным с действием <math>G</math> на комплексных вложениях <math>M</math>, сохраняющих <math>K</math> на месте. Таким образом гипотеза Артина влечёт гипотезу Дедекинда.
Гипотеза была доказана в случае, когда <math>G</math> является разрешимой группой, независимо Учидой и ван дер Ваалем в 1975.
Ссылки
- Шаблон:Статья Reprinted in his collected works, Шаблон:ISBN. English translation in Artin L-Functions: A Historical Approach by N. Snyder.
- Шаблон:Citation
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Citation
- Шаблон:Citation
- Шаблон:Citation
- Шаблон:Citation
Внешние ссылки
