Locally profinite fields ?

Question

This is a question about terminology and should be taken lightly.

The expression local field is used in at least three different senses :

1) For a locally compact totally disconnected field. These are the finite extensions of $\mathbb{Q}_p$ or of $\mathbb{F}_p((T))$, where $p$ is a prime number and $T$ is an indeterminate.

2) For a field complete with respect to a discrete valuation whose residue field is merely perfect, not necessarily finite as in 1). This is how Fontaine uses the expression.

3) For locally compact fields which are not discrete. These are the fields in 1), but also $\mathbb{R}$ and $\mathbb{C}$ in addition. People who adopt this definition refer to the fields in 1) as non-Archimedean local fields.

(Nobody insists that a local field is a local ring which happens to be a field, but the "logic" is impeccable.)

Question. Would locally profinite field be a good piece of terminology for the fields in 1) ?

This would certainly avoid the confusion with the other fields in 2) and 3).

The expression locally profinite group is already in use (for example in the book Bushnell-Henniart). The additive and the multiplicative groups of a locally profinite field would be locally profinite groups in their sense.

Answer 1

I was going to leave this as a comment, but I have a firm conviction about this, so here's my answer. The fields in your (1) are called (a) locally compact non-archimedean fields, or (b) non-archimedean local fields, and I fear that attempts to use other terminology (however logical) might lead to confusion. (A "locally profinite field" sounds like it should admit an open profinite subfield, which doesn't make sense.) Which is not to say that authors vary in how they refer to such objects, but always there is complete precision. Eg:

Lubin and Tate, Formal Complex Multiplication in Local Fields: "Let $k$ be a field complete with respect to a discrete valuation, with finite residue field..."

Harris, On the Local Langlands Correspondence: "The local Langlands correspondence for GL(n) of a non-Archimedean local field $F$ parametrizes irreducible admissible representations..."

Bushnell and Henniart, Calculs De Facteurs Epsilon De Paires Pour GL(n) Sur Un Corps Local, I: "Soit $F$ un corps commutatif localement compact non archimédien; notons $p$ sa caractéristique résiduelle et $q$ le cardinal de son corps résiduel."

Whether you want to capitalize "archimedean" is another story. But the moral is: defer to tradition and leave no doubt in the reader's mind as to what you mean.