$\ell$-进类域论的"à la Neukirch"形式化方法
数论
2013-03-29 v3
摘要
Neukirch 在其名著《类域论》中发展了抽象类域论。我们展示了可以从 Neukirch 的框架推导出 Jaulent 的 -进类域论。在两种情况(局部情形和全局情形)下,证明都需要定义合适的次数映射、G-模、赋值,并证明类域公理。
引用
@article{arxiv.1211.1476,
title = {A formal approach "\`a la Neukirch" of $\ell$-adic class field theory},
author = {Stéphanie Reglade},
journal= {arXiv preprint arXiv:1211.1476},
year = {2013}
}