Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0012131

Invitation to higher local fields (Introduction)

Ivan Fesenko·Masato Kurihara
View original source ↗Read source document ↗Export metadata ↓

Abstract

The monograph "Invitation to higher local fields" is the result of the conference on higher local fields held in Muenster, August 29 to September 5, 1999. The aim is to provide an introduction to higher local fields (more generally complete discrete valuation fields with arbitrary residue field) and render the main ideas of this theory (Part I), as well as to discuss several applications and connections to other areas (Part II). The volume grew as an extended version of talks given at the conference. The two parts are separated by a paper of K. Kato, an IHES preprint from 1980 which has never been published. We hope that the volume will be a useful introduction and guide to the subject. The contributions to this volume were received over the period November 1999 to August 2000 and the electronic publication date is 10 December 2000. This is the introduction: math.NT/0012131. Other arXiv references are as follows: Part I: Sections 1: math.NT/0012132, 2: math.NT/0012133, A: math.NT/0012134, 4: math.NT/0012135, 5: math.NT/0012136, 6: math.NT/0012137, 7: math.NT/0012138, 8: math.NT/0012139, 9: math.NT/0012140, 10: math.NT/0012141, 11: math.NT/0012142, 12: math.NT/0012143, 13: math.NT/0012144, 14: math.NT/0012145, 15: math.NT/0012146, 16: math.NT/0012147, 17: math.NT/0012148, 18: math.NT/0012149 . Interlude: math.NT/0012150 . Part II: Sections 1: math.NT/0012151, 2: math.NT/0012152, 3: math.NT/0012153, 4: math.NT/0012154, 5: math.NT/0012155, 6: math.NT/0012156, 7: math.NT/0012157, 8: math.NT/0012158, 9: math.NT/0012159, 10: math.NT/0012160 .

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ivan Fesenko, Masato Kurihara. 2000-12-18. Invitation to higher local fields (Introduction). https://arxiv.org/abs/math/0012131

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Modularity over $\mathbb{C}$ implies modularity over $\mathbb{Q}$

We give an account of Mazur's proof that, for an elliptic curve over $\mathbb{Q}$, if it admits a nonconstant mapping from $X(N)$ defined over the complex numbers $\mathbb{C}$, for some $N$, then it also admits a nonconstant mapping from $X_0(M)$ for some (possibly different) $M$ defined over the rational numbers $\mathbb{Q}$. We also briefly discuss two open questions of Khare concerning uniformisations of elliptic curves by noncongruence modular curves. This expository note is based on the author's expository talk in March 2022 during the 2nd Trimester Program on "Modularity and the Generalised Fermat Equation" held online and organised by Bhaskaracharya Pratishthana in Pune, India.

math.NT↗
arXiv2026

On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields

Given $\mathbb{F}_{q^{n}}$, a field with $q^n$ elements, where $q $ is a prime power and $n$ is positive integer. For $r_1,r_2,m_1,m_2 \in \mathbb{N}$, $k_1,k_2 \in \mathbb{N}\cup \{0\}$, a rational function $F = \frac{F_1}{F_2}$ in $\mathbb{F}_{q}[x]$ with deg($F_i$) $\leq m_i$; $i=1,2,$ satisfying some conditions, and $a,b \in \mathbb{F}_{q}$, we construct a sufficient condition on $(q,n)$ which guarantees the existence of an $r_1$-primitive, $k_1$-normal element $ε\in \mathbb{F}_{q^n}$ such that $F(ε)$ is $r_2$-primitive, $k_2$-normal with $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(ε) = a$ and $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(ε^{-1}) = b$. For $m_1=10, \; m_2=11,\; r_1 = 3, \; r_2 = 2, \; k_1=2,\;k_2 = 1$, we establish bounds on $q$, for various $n$, to determine the existence of such elements in $\mathbb{F}_{q^{n}}$. Furthermore, we identify all such pairs $(q,n)$ excluding 10 possible values of $(q,n)$, in fields of characteristics 13.

math.NT↗
arXiv2026

Uniform existential definitions of valuations in function fields in one variable

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a negative answer, the valuation rings containing $K$ are uniformly existentially definable, and the finitary holomorphy rings are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.

math.NT↗