Another theorem on weighted means in non-archimedean fields

In this paper, K denotes a complete, non-trivially valued, non-archimedean field. Infinite matrices, sequences and series have entries in K. In the present paper, which is a continuation of [4], we prove another interesting result concerning weighted means.     

A Tauberian theorem for weighted means in non-archimedean fields

In this note, K denotes a complete, non-trivially valued, non-archimedean field. We prove a Tauberian theorem for weighted means in K.     

Mumford coverings of the projective line

A Mumford covering of the projective line over a complete non-archimedean valued field K is a Galois covering X? P¹_K X\rightarrow {\bf P}^1_K such that X is a Mumford curve over K. The question which finite groups do occur as Galois group is answered in this paper. This result is extended to the case where P¹_K {\bf P}^1_K is replaced by any Mumford curve over K.     

A criterion for weak convergence on Berkovich projective space

We give a criterion for the weak convergence of unit Borel measures on the N-dimensional Berkovich projective space P^N_K{{\bf P}^{N}_K} over a complete non-archimedean field K. As an application, we give a sufficient condition for a certain type of equidistribution on P^N_K{{\bf P}^{N}_K} in terms of a weak Zariski-density property on the scheme-theoretic projective space \mathbb P^N_[(K)\tilde]{{\mathbb P}^N_{\tilde{K{}_{\vphantom{0}}}}} over the residue field [(K)\tilde]{\tilde{K}} . As a second application, in the case of residue characteristic zero we give an ergodic-theoretic equidistribution result for the powers of a point a in the N-dimensional unit torus \mathbb T^N_K{{\mathbb T}^N_K} over K. This is a non-archimedean analogue of a well-known result of Weyl over \mathbb C{\mathbb C} , and its proof makes essential use of a theorem of Mordell-Lang type for \mathbb G_m^N{{\mathbb G}_m^N} due to Laurent.     

On metrizability of compactoid sets in non-archimedean locally convex spaces

In 2003, N. De Grande-De Kimpe, J. Kąkol and C. Perez-Garcia using t-frames and some machinery concerning tensor products proved that compactoid sets in non-archimedean (LM)-spaces (i.e. the inductive limits of a sequence of non-archimedean metrizable locally convex spaces) are metrizable. In this paper we show a similar result for a large class of non-archimedean locally convex space with a £-base, i.e. a decreasing base (U_α)_αN^N of neighbourhoods of zero. This extends the first mentioned result since every non-archimedean (LM)-space has a £-base. We also prove that compactoid sets in non-archimedean (DF)-spaces are metrizable.     

Ordinary reduction of K3 surfaces

Let X be a K3 surface over a number field K. We prove that there exists a finite algebraic field extension E/K such that X has ordinary reduction at every non-archimedean place of E outside a density zero set of places.      

Pro-P galois groups of function fields over local fields

For non-archimedean local field K and a prime number p we compute the finitely generated pro-p (closed) subgroups of the absolute Galois group of K(t). In addition, we characterize the finitely generated pro-p groups which occur as the maximal pro-p Galois group of algebraic extensions of K(t) containing a primitive pth root of unity.     

Hahn-Banach extension property for Banach spaces over non-archimedean fields

LetK be a locally compact non-archimedean non-trivially valued field. It is proved the theorem: For a Banach space overK containing a dense subspace with the Hahn-Banach extension property one of the following two mutually exclusive conditions holds:E is a non-archimedean Banach space or the space {xE:f(x)=0 for allfE ^*} has no non-trivial continuous linear functionals. Two corollaries are also obtained.     

On closed subspaces with Schauder bases in non-archimedean Fréchet spaces

The main purpose of this paper is to prove that a non-archimedean Fréchet space of countable type is normable (respectively nuclear; reflexive; a Montel space) if and only if any its closed subspace with a Schauder basis is normable (respectively nuclear; reflexive; a Montel space). It is also shown that any Schauder basis in a non-normable non-archimedean Fréchet space has a block basic sequence whose closed linear span is nuclear. It follows that any non-normable non-archimedean Fréchet space contains an infinite-dimensional nuclear closed subspace with a Schauder basis. Moreover, it is proved that a non-archimedean Fréchet space E with a Schauder basis contains an infinite-dimensional complemented nuclear closed subspace with a Schauder basis if and only if any Schauder basis in E has a subsequence whose closed linear span is nuclear.     

On Symmetric Schauder Bases in Non-Archimedean Fréchet Spaces

 It is proved that any infinite-dimensional non-archimedean Fréchet space with a symmetric basis is isomorphic to c ₀ or ?^ℕ. A similar result is shown for homogeneous bases. It is also proved that any infinite-dimensional nuclear non-archimedean Fréchet space with a subsymmetric basis is isomorphic to ?^ℕ. In fact, much stronger results are obtained.     

Every non-normable non-archimedean Köthe space has a quotient without the bounded approximation property

It is proved that any non-archimedean non-normable Fréchet space with a Schauder basis and a continuous norm has a quotient without the bounded approximation property. It follows that any infinite-dimensional non-archimedean Fréchet space, which is not isomorphic to any of the following spaces: , has a quotient without a Schauder basis. Clearly, any quotient of c₀ and has a Schauder basis. It is shown a similar result for and     

On Symmetric Schauder Bases in Non-Archimedean Fréchet Spaces

 It is proved that any infinite-dimensional non-archimedean Fréchet space with a symmetric basis is isomorphic to c ₀ or ?^ℕ. A similar result is shown for homogeneous bases. It is also proved that any infinite-dimensional nuclear non-archimedean Fréchet space with a subsymmetric basis is isomorphic to ?^ℕ. In fact, much stronger results are obtained. Received August 27, 2001; in revised form February 8, 2002     

Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator

Let K be a number field. Let W be a set of non-archimedean primes of K, let O _K , _W ={x∈K∣ord _p x≥0∀p∉W}. Then if K is a totally real non-trivial cyclic extension of ℚ, there exists an infinite set W of finite primes of K such that ℤ and the ring of algebraic integers of K have a Diophantine definition over O _K , _W . (Thus, the Diophantine problem of O _K , _W is undecidable.) Oblatum 25-III-1996 & 31-X-1996     

A non-archimedean Dugundji extension theorem

We prove a non-archimedean Dugundji extension theorem for the spaces C*(X, C* (X, K) of continuous bounded functions on an ultranormal space X with values in a non-archimedean non-trivially valued complete field K. Assuming that K is discretely valued and Y is a closed subspace of X we show that there exists an isometric linear extender T: C* (Y, K) → K* (X, K) if X is collectionwise normal or Y is Lindelöf or K is separable. We provide also a self contained proof of the known fact that any metrizable compact subspace Y of an ultraregular space X is a retract of X.     

Finite orbits for rational functions

Let K be a number field and φ ∈ K(z) a rational function. Let S be the set of all archimedean places of K and all non-archimedean places associated to the prime ideals of bad reduction for φ. We prove an upper bound for the length of finite orbits for φ in ?₁ (K) depending only on the cardinality of S.     

Lokalkompakte Fastkörper

It is shown that every locally compact, disconnected nearfield (F,) possesses a non-archimedean, discrete valuation ¦ ¦, which induces . The valuation nearringR of ¦ ¦ only has one maximal idealP, and the quotient groupR/P is finite. If the kernelK ofF is infinite and ifE is an infinite subfield ofK, thenR/P may be considered as a right vector space over the residue field of (E, ¦ ¦). Based on this assumption the ramification index and the residual degree are introduced and studied.

---

---

Herrn Professor Helmut Karzel zum 60. Geburtstag     

Tauberian Theorems for the ($$\bar N$$ , pm,n) and ( M, λm,n) Methods for Double Series over Ultrametric Fields

In this paper, K denotes a complete, non-trivially valued, non-archimedean (or ultrametric) field. Entries of double sequences, double series and 4-dimensional infinite matrices are in K.We prove Tauberian theorems for the Weighted Mean and (M,λ _m,n ) methods for double series.     

Wandering Domains in Non-Archimedean Polynomial Dynamics

We extend a recent result on the existence of wandering domainsof polynomial functions defined over the p-adic field C_p toany algebraically closed complete non-archimedean field C_K withresidue characteristic p > 0. We also prove that polynomialswith wandering domains form a dense subset of a certain one-dimensionalfamily of degree p + 1 polynomials in C_K[Z]. 2000 MathematicsSubject Classification 12J25 (primary), 37F99 (secondary).     

On Topological Classification of Non-Archimedean Fréchet Spaces

We prove that any infinite-dimensional non-archimedean Fréchet space E is homeomorphic to where D is a discrete space with card(D) = dens(E). It follows that infinite-dimensional non-archimedean Fréchet spaces E and F are homeomorphic if and only if dens(E) = dens(F). In particular, any infinite-dimensional non-archimedean Fréchet space of countable type over a field is homeomorphic to the non-archimedean Fréchet space .     

On certain multiplicity one theorems

We prove several multiplicity one theorems in this paper. Fork a local field not of characteristic two, andV a symplectic space overk, any irreducible admissible representation of the symplectic similitude group GSp(V) decomposes with multiplicity one when restricted to the symplectic group Sp(V). We prove the analogous result for GO(V) and O(V), whereV is an orthogonal space overk. Whenk is non-archimedean, we prove the uniqueness of Fourier-Jacobi models for representations of GSp(4), and the existence of such models for supercuspidal representations of GSp(4). The first-named author was partially supported by the National Security Agency (#MDA904-02-1-0020).