# Can algebraic number fields be generalized in a similar way to function fields in 1 variable over a finite field?

Global fields consist of finite extensions of $\mathbb{Q}$ (algebraic number fields) and finite extensions of $\mathbb{F}_q(x)$ (function fields in 1 variable over a finite field). The latter are isomorphic to the category of curves over $\mathbb{F}_q(x)$, and they can be generalized to function fields in $n$ variables over $\mathbb{F}_q(x)$, which are isomorphic to the category of varieties over $\mathbb{F}_q(x)$. Is there an analogous generalization of algebraic number fields?

-
There is an axiomatic characterization of global fields by Artin and Whaples. Classfield theory as done by Chevalley can be carried out provided these axioms are true. Therefore number fields and function fields in one variable are special. I do not think classfield theory can be carried out for function fields in more than one variable, for instance. –  Regenbogen Mar 21 '10 at 12:58
Whilst the standard global fields are special in many ways, there is actually a well-developed class field theory for these higher-dimensional fields, with both idelic and ideal-theoretic descriptions due to Parshin, Kato, Saito in the 80s and many others since. –  dke Mar 21 '10 at 14:33
In fact, this question put me in mind of Kato's survey "Generalized class field theory" from the 1990 ICM, since in the introduction, Kato in his own inimitable way explains how human beings need to start doing arithmetic in fields which are finitely generated over their prime subfields rather than merely in the one-dimensional classical global fields. –  dke Mar 21 '10 at 14:36
A little comment on your question: Studying varieties of dimension greater than 1 is not the same thing as studying their function fields. –  Joel Dodge Mar 22 '10 at 1:55

The function fields (in one or more variables) over $\mathbb{F}_q$ are precisely the infinite, finitely generated fields of characteristic $p$. Thus an at least reasonable characteristic $0$ analogue is given by the (necessarily infinite!) finitely generated fields of characteristic $0$. In other words, function fields in finitely many (possibly zero) variables over a number field $K$.
Finitely generated as a field extension is not the same as finitely generated as a $k$-algebra. –  Pete L. Clark Mar 21 '10 at 10:38