arX

iv:1

302.

2399

v4 [

mat

h.N

T]

20 N

ov 2

015

Spectral Theory forp-Adic Operators

Tomoki Mihara∗

Abstract

We establish an algorithm for a criterion of the diagonalisability of a matrix overa local field by a unitary matrix. For this sake, we define the notion of normality of ap-adic operator, and give several criteria for the normality. We study the relation be-tween the normality and the reduction. In the finite dimensional case, the normalityof an operator is equivalent to the diagonalisability of a matrix by a unitary matrix.Therefore we also study the relation between the diagonalisability and the reduction.For example, we show that the diagonalisation of the reduction gives a partition ofunity corresponding to the reduction of the spectrum, whichgives a functorial lift ofthe eigenspace decomposition of the reduction.

Contents

0 Introduction 2

1 Preliminaries 31.1 Banach Spaces and Banach Algebras . . . . . . . . . . . . . . . . . . .. 31.2 Rigidity of Continuous Functions . . . . . . . . . . . . . . . . . . .. . . 81.3 Operator Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2 Functional Calculus and Unitary Diagonalisability 142.1 The Spectrum of a Bounded Operator . . . . . . . . . . . . . . . . . . .152.2 Rigid Continuous Functional Calculus . . . . . . . . . . . . . . .. . . . 172.3 Reductive Functional Calculus . . . . . . . . . . . . . . . . . . . . .. . 19

3 Criterion of the Normality 223.1 Reductively Infinite Operator . . . . . . . . . . . . . . . . . . . . . .. . 223.2 Reductively Finite Operator . . . . . . . . . . . . . . . . . . . . . . .. . 253.3 Reduction Algorithm for Matrices . . . . . . . . . . . . . . . . . . .. . 35

Acknowledgements 36

∗E-mail address: mihara@ms.u-tokyo.ac.jp

1

References 36

0 Introduction

Let k be a complete valuation field. The main aim of this paper is to establish an algo-rithm for a criterion of the diagonalisability of a matrix over k by a unitary matrix. Forthis sake, we define the normality of ak-linear bounded operator in Definition 2.14 andestablish several criteria for the normality using information of the reduction in Corollary2.31, Corollary 3.4, and Corollary 3.18. Ak-linear bounded operator is said to benor-mal if and only if it admits the continuous functional calculus (Definition 2.11), and thenotion of the normality of ak-linear bounded operator on a finite dimensionalk-vectorspace is equivalent to that of the diagonalisability of a matrix over k by a unitary matrix(Proposition 2.15). Our formulation of the normality is a generalisation of the other for-mulation of the normality in [Koc13]§2. A straightforward method for determining thenormality includes purep-adic analysis. In order to avoid from the analysis, we studyarelation between reductions, spectra, and functional calculi. Since a functional calculusof an operator over the residue field is just the diagonalisation of a matrix, a reductionhelps us to reduce the analysis to pure ring theory. In the case wherek is a local field,we give an explicit algorithm for a criterion of the diagonalisability of a matrix overk bya unitary matrix including a “repetition of reductions” in Theorem 3.23. In particular, ityields a sufficient condition for the diagonalisability of a matrix.

A functional calculusis a substitution of a bounded operator to a function on itsspectrum. For example, the holomorphic functional calculus is a substitution to a rigidanalytic function, and the continuous functional calculusis a substitution to a continuousfunction. They are the extensions of the substitution to a polynomial function. In orderto justify substitutions to such functions, we need a formulation of a spectral decomposi-tion, which is a generalised notion of the eigenspace decomposition of a diagonalisablematrix. In order to deal with a continuous functional analysis, we establish a theoryof a spectral decomposition. A formulation of a spectral decomposition of an analyticbounded operator with compact spectrum has been already given by Vishik in his pa-per [Vis85], but it just yields kind of the locally analytic functional calculus analogousto Riesz functional calculus. Under several suitable conditions for a bounded operator,there are direct extensions of the result of Vishik by Dodzi Attimu and Toka Diaganain [AD09] and by Richard Lance Baker in [Bak12], but the direction of their works iscompletely different from that of ours. We would like to remove the assumptions thata bounded operator is analytic and that its spectrum is compact, which are less usefulfor a continuous functional calculus. Such a non-trivial generalisation can not be ob-tained if one extends Vishik’s spectral theory in a direct way. Indeed, the locally analyticfunctional calculus in his work uses Shnirel’man integral,which is a non-Archimedean

Key words:p-adic analysis; normal operator; functional calculus

2

analogue of Cauchy integral of an analytic function introduced in [Shn38]. The assump-tions that a bounded operator is analytic and that its spectrum is compact are essentialfor the use of Shnirel’man integral. We briefly explain how weestablish a spectral de-composition of a bounded operator. LetA be a bounded operator on a Banachk-vectorspace. In the case wherek is a local field, the spectrumσ of A is automatically compact.In this case, we formulate the measurability of a clopen subset ofσ in Definition 1.26,and establish a method to give a spectral decomposition as anintegration alongσwithoutthe assumption thatA is analytic in Theorem 3.13. Even ifk is not a local field, we alsogive a sufficient condition of the integrability along the spectrum using affinoid algebraswithout the assumption of the compactness ofσ in Theorem 3.2.

1 Preliminaries

We recall basic notions and conventions in Banach spaces andBanach algebras over acomplete valuation field in§1.1. We follow the conventions in [BGR84], except thatwe deal also with non-commutative Banach algebras. As important examples of Banachalgebras, we introduce rings of “rigid continuous functions” and operator algebras in§1.2and 1.3 respectively.

1.1 Banach Spaces and Banach Algebras

Throughout this paper, we assume that rings and algebras areunital and associative. Wedo not assume the commutativity or the inequality 1, 0. A field is assumed to bea commutative ring with 0, 1. In particular, the zero ringO is excluded from thedefinition of a field. Avaluation fieldis a fieldk endowed with a map| · | : k → [0,∞)satisfying the following:

(i) The inequality|c− c′| ≤ max{|c|, |c′|} holds for any (c, c′) ∈ k× k.

(ii) The equality|cc′| = |c| |c′| holds for any (c, c′) ∈ k× k.

(iii) The equality|c| = 0 holds for ac ∈ k if and only if c = 0.

(iv) The equality|1| = 1 holds.

We always endow a valuation fieldk with the topology given by the ultrametrick ×k → [0,∞) : (c, c′) 7→ |c − c′|. A valuation field is said to becompleteif its underlyingultrametric is complete, and is said to bediscreteif the image|k×| of k× by | · | is asubgroup of the multiplicative group (0,∞) isomorphic toZ. Let k be a valuation field.We denote byOk ⊂ k the clopen subring consisting of elementsc with |c| ≤ 1, and call itthe valuation ring of k. The valuation ringOk is a local ring. We denote byk the discretefield obtained as the quotient ofOk by its unique maximal idealmk ⊂ Ok, and call itthe residue field of k. We regardk a complete valuation field with respect to the trivialvaluation. A valuation field is said to be alocal field if it is a complete discrete valuationfield whose residue field is a finite field.

3

Example 1.1.Every fieldF admits a valuation| · | : F→ [0,∞) calledthe trivial valuationgiven by setting|0| ≔ 0 and|c| ≔ 1 for anyc ∈ F×.

Let k be a complete valuation field. For ak-vector spaceW, a seminormon W is amap‖ · ‖ : W→ [0,∞) satisfying the following:

(i) The inequality‖v− v′‖ ≤ max{‖v‖, ‖v′‖} holds for any (v, v′) ∈ W×W.

(ii-a) The equality‖cv‖ = |c| ‖v‖ holds for any (c, v) ∈ k×W.

For ak-vector spaceW, anorm on Wis a seminorm onW satisfying the following:

(iii) The equality‖v‖ = 0 holds for av ∈W if and only if v = 0.

A normed k-vector spaceis a k-vector spaceV endowed with a norm. We always en-dow a normedk-vector spaceV with the topology given by the ultrametricV × V →[0,∞) : (v, v′) 7→ ‖v− v′‖. A normedk-vector space is said to be aBanach k-vector spaceif its underlying ultrametric is complete. In particular,k itself is a Banachk-vector space.

Example 1.2. Suppose that the valuation ofk is trivial. Everyk-vector spaceW admitsa norm‖ · ‖ : W → [0,∞) calledthe trivial normgiven by setting‖0‖ = 0 and‖v‖ = 1for any v ∈ W. A normedk-vector space is said to be adiscrete k-vector spaceif it isendowed with the trivial norm. Every discretek-vector space is a Banachk-vector space,while a Banachk-vector space is not necessarily a discretek-vector space. For example,kN is a Banachk-algebra with respect to the norm‖ · ‖ : kN → [0,∞) given by setting‖(0)n∈N‖ ≔ 0 and‖(an)n∈N‖ ≔ exp(− sup{n ∈ N | an0 = 0, ∀n0 ∈ N ∩ [0, n)}) for each(an)n∈N ∈ kN\{(0)n∈N}, and is not a discretek-vector space.

Let V be a normedk-vector space. For eachr > 0, we denote byV(r) ⊂ V (resp.V(r−) ⊂ V) the clopenOk-submodule consisting of elementsv with ‖v‖ ≤ r (resp.‖v‖ <r), and call itthe closed ball of V of radius r(resp. the open ball ofV radiusr). ThequotientV ≔ V(1)/V(1−) is a normedk-vector space with respect to the trivial norm.We call it the reduction of V. For eachv ∈ V(1), we denote byv+ V(1−) ∈ V the imageof v, which is the coset{v+v′ | v′ ∈ V(1−)} ⊂ V(1) by the set-theoretical definition of thequotient set.

Example 1.3. Let X be a topological space. A continuous functionf : X → k is said tovanish at infinityif for any ǫ > 0, there is a compact subspaceK ⊂ X with | f (x)| < ǫfor any x ∈ X\K. The k-vector space C0(X, k) of continuous functionsX → k van-ishing at infinity forms a Banachk-vector space with respect to the supremum norm‖ · ‖ : C0(X, k) → [0,∞) given by setting‖ f ‖ ≔ supx∈X | f (x)| for eachx ∈ X. If thevaluation ofk is trivial, then C0(X, k) is a discretek-vector space. In addition ifX is adiscrete topological spaceI , then the canonical embeddingk⊕I → kI gives an isometrick-linear isomorphismk⊕I → C0(I , k) with respect to the trivial norm onk⊕I , and hencewe identify C0(I , k) andk⊕I .

4

For topological spacesX andY, we denote by C(X,Y) thek-vector space of contin-uous mapsX → Y. Let X be a compact topological space. Every continuous functionX → k vanishes at infinity by definition, and hence C(X, k) coincides with the underly-ing k-vector space of C0(X, k). Identifying C(X, k) with C0(X, k), we regard C(X, k) as aBanachk-vector space. In the following, we regard every setI as a discrete topologicalspace so that the convention C0(I , k) makes sense.

Proposition 1.4. For any set I, there is a naturalk-linear isomorphismC0(I , k)→ k⊕I .

Proof. The continuousOk-linear homomorphism C0(I , k) → kI : f 7→ ( f (i) + mk)i∈I in-duces an injectivek-linear homomorphismC0(I , k) → kI , whose image coincides withk⊕I by the definition of C0(I , k). �

Let V1 andV2 be normedk-vector spaces. Ak-linear homomorphismf : V1 → V2

is said to beboundedif {‖ f (v)‖ | v ∈ V(1)} is a bounded subset of [0,∞), and is saidto besubmetricif the inequality‖ f (v)‖ ≤ ‖v‖ holds for anyv ∈ V1. Thek-vector spaceHomcont

k (V1,V2) of boundedk-linear homomorphisms forms a normedk-vector space withrespect tothe operator norm‖ · ‖ : Homcont

k (V1,V2) → [0,∞) given by setting‖ f ‖ ≔supv∈V1(1) ‖ f (v)‖ for eachf ∈ Homcont

k (V1,V2). If V2 is a Banachk-vector space, then so isHomcont

k (V1,V2).

Definition 1.5. Let V be a Banachk-vector space. A discrete subsetI ⊂ V is said tobe anorthonormal Schauder basisof V if the k-linear homomorphismk⊕I → V givenby the inclusionI → V extends to an isometric isomorphism C0(I , k) → V through thenatural injectivek-linear homomorphismk⊕I ⊂ C0(I , k). If V is of finite dimension, thenwe simply callI anorthonormal basis.

An orthonormal basis of a finite-dimensional Banachk-vector space is ak-linear basisof the underlyingk-vector space, but the converse does not hold in general. There arecriteria for the orthonormality in [BGR84] 2.5.1/3 and [BGR84] 2.5.2/2. We note thatthe original notion of being strictly Cartesian is defined for a normedk-vector space. Forexample, see [BGR84] 2.5.2/1.

Definition 1.6. A Banachk-vector space is said to bestrictly Cartesianif it admits an or-thonormal Schauder basis, or equivalently if it is isometrically isomorphic to the Banachk-vector space C0(I , k) for some discrete topological spaceI .

Example 1.7. Let n ∈ N. Thenkn is a finite-dimensional strictly Cartesian Banachk-vector space with respect to the norm given by the bijectivek-linear homomorphismC0(N ∩ [1, n], k) → kn associated to the canonical basis. If one replaceskn by an-other equivalent norm, thenkn is not necessarily strictly Cartesian. Every subspace of afinite-dimensional strictly Cartesian Banach space is again strictly Cartesian by [BGR84]2.5.1/4.

Example 1.8. Suppose that the valuation ofk is trivial. A Banachk-vector space isstrictly Cartesian if and only if it is a discretek-vector space, and everyk-linear basis ofa discretek-vector space is an orthonormal Schauder basis.

5

Definition 1.9. A Banachk-vector space is said to beof countable typeif it containsdensek-vector subspace of countable dimension.

If k is separable, then the notion of a Banachk-vector space of countable type isequivalent to that of a separable Banachk-vector space. It is remarkable that a Banachspace of countable type always admits an equivalent norm with respect to which it admitsan orthonormal Schauder basis by [BGR84] 2.7.2/8. Such a countability can be removedif the valuation ofk is discrete. For more details, see [Mon70] IV.3, [BGR84] 2.5.3/11and 2.4.4/2, or [FP04] 1.2.2/(1).

Example 1.10.TheQp-Banach spaces C(Zp,Qp), C0(Qp,Qp), andCp are strictly Carte-sianQp-Banach spaces of countable type.

Example 1.11.Suppose that the valuation ofk is trivial. A discretek-vector space is ofcountable type if and only if its underlyingk-vector space is of countable dimension.

For ak-algebraA, aseminorm on A(resp. anorm on A) is a seminorm (resp. a norm)‖ · ‖ on the underlyingk-vector space ofA satisfying the following:

(ii-b) The inequality‖ f f ′‖ ≤ ‖ f ‖ ‖ f ′‖ for any (f , f ′) ∈ A× A.

(iv) The equality‖1‖ = 1 holds.

For ak-algebraA, a seminorm‖ · ‖ on A is said to bepower-multiplicativeif it satisfyingthe following:

(ii-c) The equality‖ f n‖ = ‖ f ‖n holds for any (f , n) ∈ A× N.

For ak-algebraA, a seminorm‖ · ‖ on A is said to bemultiplicative if it satisfying thefollowing:

(ii) The equality‖ f f ′‖ = ‖ f ‖ ‖ f ′‖ holds for any (f , f ′) ∈ A× A.

A normed k-algebrais ak-algebraA endowed with a norm. A normedk-algebra is saidto be aBanach k-algebraif its underlying normedk-vector space is a Banachk-vectorspace. A Banachk-algebra is said to beuniform if its norm is power-multiplicative. LetA be a normedk-algebra. We denote byA (1),A (1−) ⊂ A the closed unit ball and theopen unit ball of the underlying normedk-vector space ofA . ThenA (1) is a clopenOk-subalgebra ofOk, andA (1−) is a clopen ideal ofA (1). Therefore the reductionA ≔ A (1)/A (1−) of the underlying normedk-vector space ofA admits a naturalstructure of a discretek-algebra. We callA the reduction ofA .

Example 1.12.Let X be a topological space. A continuous functionf : X → k is saidto beboundedif {| f (x)| | x ∈ X} is a bounded subset of [0,∞). Thek-algebra Cbd(X, k)of bounded continuous functionsX→ k forms a uniform Banachk-algebra with respectto the power-multiplicative‖ · ‖ : Cbd(X, k) → [0,∞) called the supremum normgivenby setting‖ f ‖ ≔ supx∈X | f (x)| for eachx ∈ X. If the valuation ofk is trivial andX isa discrete topological spaceI , then Cbd(I , k) coincides withkI endowed with the trivialnorm.

6

Let X be a topological spaceX. Suppose thatX is compact or the valuation ofkis trivial. Then every continuous functionX → k is bounded by the maximum modu-lus principle, and hence C(X, k) coincides with the underlying Banachk-vector space ofCbd(X, k). Identifying C(X, k) and Cbd(X, k), we regard C(X, k) as a Banachk-algebra. Inthe case whereX is compact, the underlyingk-vector space of Cbd(X, k) coincides withC0(X, k), and hence the identification above involves no ambiguity.

Example 1.13.Let r ∈ (0,∞). Thek-algebra

k{

r−1T}

≔

F =∞∑

n=0

FnTn ∈ k[[T]]

∣

∣

∣

∣

∣

∣

∣

limn→∞|Fn| r

n = 0

is a commutative uniform Banachk-algebra with respect to the multiplicative norm

‖·‖ : k{

r−1T}

→ [0,∞)∞∑

n=0

FnTn 7→ ‖F‖ ≔ sup

n∈N|Fn| r

n < ∞

calledthe Gauss norm of radius r. The evaluation map

k{

r−1T}

→ Cbd(k(r), k)∞∑

n=0

FnTn 7→

λ 7→

∞∑

n=0

Fnλn

is a submetric injectivek-linear homomorphism. We identify the underlyingk-algebra ofk{r−1T} with its imagek{r−1z} ⊂ Cbd(k(r), k). Whenr = 1, then we abbreviatek{r−1T}by k{T}. The natural embeddingk[T] → k{T} induces ak-algebra isomorphismk{T} →k[T].

Example 1.14.Let (r1, r2) ∈ (0,∞) × (0,∞) with r1 ≤ r2. Thek-algebra

k{

r−12 T, r1T

−1}

≔

F =∞∑

n=−∞

FnTn ∈∏

n∈Z

kTn

∣

∣

∣

∣

∣

∣

∣

limn→∞

max{

|Fn| rn1, |F−n| r

−n2

}

= 0

is a commutative uniform Banachk-algebra with respect to the power-multiplicativenorm

‖·‖ : k{

r−12 T, r1T

−1}

→ [0,∞)∞∑

n=−∞

FnTn 7→ ‖F‖ ≔ sup

n∈Nmax{

|Fn| rn1, |F−n| r

−n2

}

< ∞

calledthe Gauss norm of radius(r1, r2). The evaluation map

k{

r−12 T, r1T

−1}

→ Cbd(k(r2)\k(r1−), k)

7

∞∑

n=−∞

FnTn 7→

λ 7→

∞∑

n=−∞

Fnλn

is a submetric injectivek-linear homomorphism. We identify the underlyingk-algebra ofk{r−1

2 T, r1T−1}with its imagek{r−12 z, r1z−1} ⊂ Cbd(k(r2)\k(r1−), k). Whenr1 = r2 = 1, then

we abbreviatek{r−12 T, r1T−1} by k{T,T−1}. The natural embeddingk[T,T−1] → k{T,T−1}

induces ak-algebra isomorphismk{T,T−1} → k[T,T−1].

Definition 1.15. Let A be a Banachk-algebra. For eachA ∈ A , we denote byk[A] ⊂A the image of thek-algebra homomorphismk[T] → A : T 7→ A, by L (A) ⊂ A

the closure ofk[A], and byLA (A) ⊂ A the closure of the localisation ofk[A] by themultiplicative subsetk[A] ∩A ×.

The k-subalgebraL (A) ⊂ A is a commutative Banachk-algebra, whose isomor-phism class is independent of the choice ofA . Namely, even if one replacesA by aclosedk-subalgebraB ⊂ A containingA, L (A) ⊂ B does not change as ak-subalgebraof A . On the other hand,LA (A) is a commutative Banachk-algebra whose isomorphismclass depends on the choice of the Banachk-algebraA containingA.

Example 1.16.

(i) For anyr ∈ (0,∞), we have

L (T) = Lk{r−1T}(T) = k{

r−1T}

(ii) For any (r1, r2) ∈ (0,∞) with r1 ≤ r2, we have

L (T) = k{

r−12 T}

( Lk{r−12 T,r1T−1}(T) = k

{

r−12 T, r1T

−1}

.

1.2 Rigidity of Continuous Functions

In this subsection, we deal with several properties of bounded continuous functions. Wewill use the results in§2.2 in order to formulate and study functional calculi.

Proposition 1.17.Let X be a topological space. If X is compact, or if the valuation of kis discrete or trivial, then, there is a naturalk-algebra isomorphismCbd(X, k)→ C(X, k).

Proof. We identify Cbd(X, k)(1) and Cbd(X,Ok) through the inclusionOk → k. The kernelof theOk-algebra homomorphism Cbd(X, k)(1)→ C(X, k) induced by the reductionOk ։

k coincides with Cbd(X, k)(1−) by the maximum modulus principle. Therefore it inducesan injectivek-algebra homomorphismι : Cbd(X, k) → C(X, k). Let [·] : k → k be aTeichmuller embedding, which is continuous because of thediscreteness of the topologyof k. The composite with [·] gives a section ofι. It implies thatι is surjective. �

In the following, letσ ⊂ k denote a non-empty bounded closed subset,z(k)σ : σ →

k the coordinate function given as the inclusion. The boundedness ofσ ensures theboundedness ofzσ. We abbreviatez(k)

σ to zσ as long as there is no ambiguity ofk, andzσto z as long as there is no ambiguity ofσ.

8

Definition 1.18. We set Crig(σ, k) ≔ LCbd(σ,k)(z) ⊂ Cbd(σ, k), and call an element ofCrig(σ, k) a rigid continuous function onσ.

A reader might replace the term “rigid continuous” by “rigidanalytic” or “Krasneranalytic”. We aboid from use of those terms just because theyare quite ambiguous.

Example 1.19.

(i) In the casek = Qp andσ = Zp ⊂ Qp, we have

L (z) = Crig(Zp,Qp) = Cbd(Zp,Qp) = C(Zp,Qp).

(ii) In the casek = Qp andσ = Zp\pZp ⊂ Qp, we have

L (z) = Crig(Zp\pZp,Qp) = Cbd(Zp\pZp,Qp) = C(Zp\pZp,Qp).

(iii) In the casek = Cp andσ = OCp ⊂ Cp, we have

L (z) = Crig(OCp,Cp) = Cp {z} ( Cbd(OCp,Cp).

(iv) In the casek = Cp andσ = OCp\pmCp ⊂ Cp, we have

L (z) ( Crig(OCp\pmCp,Cp) = Cp

{

z, |p| z−1}

( Cbd(OCp\pmCp,Cp).

Proposition 1.20.If σ is compact, then k[z] is dense inCrig(σ, k) and the equalityL (z) =Crig(σ, k) = C(σ, k) holds.

Proof. The assertion is verified in [Mur78] 1.7 and [Ber90] 9.2.6. Wegive a brief ex-planation of the proof. There is a well-knownp-adic analogue of Stone–Weierstrasstheorem, which is originally verified by Kaplansky in [Kap50] as a generalisation ofDieudonne’s theorem in [Die44]. It states thatk[z] is dense in C(σ, k). Therefore theequality in the assertion holds because we havek[z] ⊂ L (z) ⊂ Crig(σ, k) ⊂ C(σ, k). �

Lemma 1.21.For any P∈ k[T] with no zeros onσ, the polynomial function

P(z) : σ → k

λ 7→ P(λ)

is invertible inCrig(σ, k).

Proof. By the definition of Crig(σ, k), it suffices to show thatP(z) is invertible in Cbd(σ, k).Take an algebraic closurekalg of k, and equipkalg with the ultrametric given by a uniqueextension of the valuation ofk. We denote byS ⊂ kalg\σ the finite set of the zerosof P. SinceS is compact andσ is closed, the distanced betweenS andσ is positive.Put P = c

∏

s∈S(T − s)ns by a (c, (ns)s∈S) ∈ k× × (N\{0})S. Setn ≔∑

s∈S ns. We have|P(λ)| = |c|

∏

s∈S |λ − s|ns ≥ |c|dn > 0 for anyλ ∈ σ, and hence the real-valued function|P(z)| : σ → [0,∞) : λ 7→ |P(λ)| admits a positive lower bound|c|dn. It implies thatP(z)is invertible in Cbd(σ, k). �

9

Theorem 1.22.The equalitiesCrig(σ, k)× = Crig(σ, k) ∩ Cbd(σ, k)× andσCrig(σ,k)(zσ) = σhold.

Proof. We have Crig(σ, k)× ⊂ Crig(σ, k) ∩ Cbd(σ, k)×. Take anf ∈ Crig(σ, k) ∩ Cbd(σ, k)×.By the definition of Crig(σ, k), for anyǫ ∈ (0, 1), there is a continuous functiong: σ→ kcontained in the localisation ofk[z] ⊂ Cbd(σ, k) with ‖ f − g‖ < ǫmin{‖ f −1‖−1, ‖ f −1‖−2}.For anyλ ∈ σ, we have‖ f (λ)‖ = ‖ f −1(λ)‖−1 ≥ ‖ f −1‖−1 > ‖ f − g‖ ≥ | f (λ) − g(λ)|, andhence|g(λ)| = | f (λ)| > 0. Therefore we obtain|g(λ)|−1 = | f (λ)|−1 = | f −1(λ)| ≤ ‖ f −1‖. Itimplies thatg is invertible in Cbd(σ, k). Take a (P,Q) ∈ k[T]×k[T] with Q(z) ∈ Cbd(σ, k)×

andg = Q(z)−1P(z). SinceQ(z) andg belong to Cbd(σ, k)×, Q(z) andg have no zeroson σ, and hence so doesP(z) = gQ(z). ThereforeP(z) is invertible in Cbd(σ, k) byLemma 1.21, andg−1 = P(z)−1Q(z) is contained in the localisation ofk[z]. We have‖ f −1 − g−1‖ ≤ ‖ f −1‖ ‖g−1‖ ‖g − f ‖ = ‖ f −1‖2‖ f − g‖ < ǫ, and hencef ∈ Crig(σ, k). Itimplies Crig(σ, k)× = Crig(σ, k)∩Cbd(σ, k)×. We haveσCrig(σ,k)(z) ⊂ σ becauseσ coincideswith the image ofz, and alsoσ ⊂ σCrig(σ,k)(z) by the definition of Crig(σ, k). ThereforeσCrig(σ,k)(z) coincides withσ. �

Corollary 1.23. If σ is contained in Ok, then the equalityσCrig(σ,k)(1)(zσ) = {λ + |(λ,) ∈ σ ×mk} holds.

Proof. Let (λ,) ∈ σ ×mk. Thenzσ − (λ +) sendsλ ∈ σ to ∈ mk, and hence is notinvertible in Cbd(σ, k)(1). Thereforezσ − (λ +) is not invertible in Crig(σ, k)(1), andλlies inσCrig(σ,k)(1)(zσ). It implies {λ + | (λ,) ∈ σ ×mk} ⊂ σCrig(σ,k)(1)(zσ).

Let λ ∈ k\{λ + | (λ,) ∈ σ × mk}. Thenzσ − λ factors through the inclusionO×k → k, and hence is invertible in Crig(σ, k)(1) by Theorem 1.22. Thereforeλ lies ink\σCrig(σ,k)(1)(zσ). It impliesσCrig(σ,k)(1)(zσ) = {λ + | (λ,) ∈ σ ×mk}. �

We show certain functoriality of the correspondenceσ Crig(σ, k).

Definition 1.24. Let X be a topological space, andX0 ⊂ X a clopen subspace. We denoteby δ(k)

X0,X: X → k the characteristic function ofX0. We abbreviateδ(k)

X0,Xto δX0,X as long as

there is no ambiguity ofk. WhenX is a discrete topological spaceI andX0 is a singleton{i} for an i ∈ I , then we abbreviateδ(k)

{i},I to δ(k)i as long as there is no ambiguity ofI .

Remark 1.25. Let I be a set. The collection{δi | i ∈ I } forms an orthonormal Schauderbasis of C0(I , k), but does not form an orthonormal Schauder basis of Cbd(I , k) unlessI isa finite set.

Definition 1.26. A clopen subsetσ0 ⊂ σ is said to bemeasurableif δσ0,σ : σ→ k lies inCrig(σ, k).

Example 1.27. If σ ⊂ k is compact, then every clopen subset ofσ is measurable byProposition 1.20.

10

Theorem 1.28.Letσ0 ⊂ σ be a closed subset. Then the image ofCrig(σ, k) by the re-striction mapCbd(σ, k)։ Cbd(σ0, k) is contained inCrig(σ0, k). Whenσ0 is a measurablesubset ofσ, then the image ofCrig(σ, k) by the restriction mapCbd(σ, k)։ Cbd(σ0, k) co-incides withCrig(σ0, k), and the image ofCrig(σ0, k) by the zero-extensionCbd(σ0, k) →Cbd(σ, k) coincides withδσ0,σCrig(σ, k).

Proof. Let Π : Cbd(σ, k) ։ Cbd(σ0, k) denote the restriction map. The first assertionfollows from the continuity ofΠ. Suppose thatσ0 is a measurable subset ofσ. The imageof Cbd(σ0, k) by the zero-extension Cbd(σ0, k) → Cbd(σ, k) coincides withδσ0,σCbd(σ0, k).We denote byι! : Cbd(σ0, k) → δσ0,σCbd(σ0, k) the multiplicativek-linear isomorphisminduced by the zero-extension, which is an isometry by the definition of the supremumnorm. The restriction ofΠ on δσ0,σCbd(σ0, k) is a multiplicativek-linear isomorphism,and is the inverse ofι! . For any f ∈ Cbd(σ0, k)×, ι!( f ) + (1 − δσ0,σ) admits the inverseι!( f −1) + (1− δσ0,σ) in Cbd(σ0, k), and the equalityΠ(ι!( f ) + (1− δσ0,σ)) = f . Thereforethe image of Cbd(σ, k)× byΠ coincides with Cbd(σ0, k)×.

Let f ∈ Crig(σ0, k). By the definition of Crig(σ0, k), f is the limit of a sequenceon the localisation ofk[zσ0] by k[zσ0] ∩ Cbd(σ0, k)×. By the equalitieszσ0 = Π(zσ) andι!(zσ0) = δσ0,σzσ, ι!( f ) is the limit of a sequence on the localisation ofk[δσ0,σzσ] byk[δσ0,σzσ]∩Cbd(σ, k)×. Sinceσ0 is a measurable subset ofσ, ι!( f ) lies in Crig(σ, k). It im-pliesι!(Crig(σ0, k)) ⊂ Crig(σ, k) and hence Crig(σ0, k) ⊂ (Π◦ι!)(Crig(σ0, k)) ⊂ Π(Crig(σ, k)).Thus we obtain Crig(σ0, k) = Π(Crig(σ, k)). �

1.3 Operator Algebra

In this subsection, letV denote a Banachk-vector spaces. Abounded operator on Visa boundedk-linear endomorphismf : V → V. We denote byBk(V) the k-algebra ofbounded operators onV, and endow it with the norm‖ · ‖ : Bk(V)→ [0,∞) calledthe op-erator normgiven by setting supv∈V(1) ‖Av‖ < ∞ for eachA ∈ Bk(V). The completenessof V ensures thatBk(V) is a Banachk-algebra.

Example 1.29.Let n ∈ N. Then the canonical basis ofkn induces a bijectivek-linearhomomorphismBk(kn)→ Mn(k), and hence we identifyBk(kn) and Mn(k).

Example 1.30. If the valuation ofk is trivial andV is a discretek-vector space, thenBk(V) is the discretek-algebra Endk(V) of k-linear endomorphisms.

Definition 1.31. Let I be a set. For anA ∈ Bk(C0(I , k)), the matrix representation of Awith respect to Iis the functionMI ,k(A) : I × I → k: (i, j) 7→ MI ,k(A)i, j given by settingMI ,k(A)i, j : (Aδi)( j) for each (i, j) ∈ I × I .

Proposition 1.32. Let I be a set. Then MI ,k(A) is a bounded function for any A∈Bk(C0(I , k)), and the well-defined map MI ,k : Bk(C0(I , k)) → Cbd(I × I , k) : A 7→ MI ,k(A)is an isometric k-linear isomorphism onto the closed image.

11

Proof. Let A ∈ Bk(C0(I , k)). For any (i, j) ∈ I × I , we have|MI ,k(A)i, j | ≤ ‖Aδi‖ ≤ ‖A‖.ThereforeMI ,k(A) is a bounded function with‖MI ,k(A)‖ ≤ ‖A‖. Let f ∈ Bk(C0(I , k)(1)).By the definition of C0(I , k), f (i) = 0 all but countably manyi ∈ I , and the essentiallycountable infinite sum

∑

i∈I f (i)δi converges tof . More precisely, (∑

i∈F f (i)δi)F∈F (I) is anet on C0(I , k) converging tof , whereF (I ) is the set of finite subsets ofI directed by in-clusions. By the continuity ofA, (

∑

i∈F f (i)Aδi)F∈F (I) is a net on C0(I , k) converging toA f .Therefore we obtain‖A f‖ ≤ supF∈F (I) maxi∈F | f (i)|‖Aδi‖ ≤ ‖ f ‖‖MI ,k(A)‖ ≤ ‖MI ,k(A)‖. Itimplies ‖A‖ ≤ ‖MI ,k(A)‖. Thus we obtain a well-defined isometrick-linear homomor-phismMI ,k : Bk(C0(I , k)) → Cbd(I × I , k) : A 7→ MI ,k(A), whose image is closed becauseof the completeness ofBk(C0(I , k)). �

For a setI , we abbreviateMI ,k to MI as long as there is no ambiguity ofk. Thenotion of the matrix representation of a bounded operator isa generalisation of the matrixrepresentation of ak-linear endomorphism on a finite dimensionalk-vector space.

Example 1.33.Let n ∈ N. For anyA ∈ Bk(kN∩[1,n]), MN∩[1,n](A) coincides with the imageof A by the identificationBk(kN∩[1,n]) → Bk(kn) = Mn(k) induced by the canonical basis(δi)i∈N∩[1,n] of kN∩[1,n] .

Example 1.34.Suppose that the valuation ofk is trivial. Let I be a set. For anyA ∈Endk(k⊕I ), we have (Aδi( j)) j∈I ∈ k⊕I for anyi ∈ I , and the image ofMI : Endk(k⊕I )→ kI×I

coincides with the image of the natural embedding (k⊕I )I → (kI )I� kI×I . Therefore we

regardMI as an isometrick-linear isomorphism Endk(k⊕I ) → (k⊕I )I with respect to thetrivial norm on (k⊕)I .

Definition 1.35. Suppose thatV is a strictly Cartesiank-vector space. For anA ∈Bk(V)(1), the operator reduction of Ais the imageΠV(A) of A by the continuous sur-jectiveOk-algebra homomorphismΠV : Bk(V)(1)։ Endk(V) given by the functorialityof the reductionV V with respect to submetrick-linear homomorphism. A boundedoperatorA on V is said to bereductively scalarif A is submetric andΠV(A) lies in theimage ofk, and is said to bereductively transcendentalif A is submetric andΠV(A) isnot integral overk.

Example 1.36.Let n ∈ N. We identify Mn(k) with Bk(kn) in a natural way, wherekn isendowed with the norm associated to the canonical basis. LetM ∈ Mn(k)(1) = Mn(Ok).ThenΠkn(M) is the element of Endk(k

n) = Mn(k) whose entries are the reductions of

the entries ofM. ThereforeM is reductively scalar if and only if every entry other thandiagonal entries lies inmk, and M is never reductively transcendental. We note that areplacement of the norm ofkn by an equivalent one for whichkn is strictly Cartesianpossibly causes a change of the integral model Mn(kn)(1) ⊂ Mn(kn), and hence of thematrix reduction.

The following two propositions ensure that the operator reduction of an operator isa generalisation of a matrix, which is given as the reductionof each entry, and is notidentified with the image by the reduction of the operator algebra.

12

Proposition 1.37.Let I be a set, and A∈ Bk(C0(I , k))(1). Then the equality

MI ,k(ΠC0(I ,k)(A))i, j = MI ,k(A)i, j +mk

holds for any(i, j) ∈ I × I.

Proof. For any (i, j) ∈ I × I , we have

MI ,k

(

ΠC0(I ,k)(A))

i, j =

(

ΠC0(I ,k)(A)δ(k)i

)

( j) =(

Aδ(k)i + C0(I , k)(1−)

)

( j)

=(

Aδ(k)i

)

( j) +mk = MI ,k(A)i, j +mk

through the identificationC0(I , k) � k⊕I in Proposition 1.4. Thus the assertion holds.�

Proposition 1.38.Suppose that V is a strictly Cartesian k-vector space. Then the surjec-tivek-linear homomorphismΠV : Bk(V)։ Endk(V) induced byΠV is an isomorphism ifand only if V is of finite dimension or the valuation of k is discrete or trivial.

Proof. By the functoriality of the reduction and the naturalness ofΠV, we may assumeV = C0(I , k) for a setI without loss of generality. Suppose thatI is a finite set or thevaluation ofk is discrete or trivial. In order to show the injectivity ofΠC0(I ,k), it sufficesto verify that everyA ∈ Bk(C0(I , k))(1) withΠC0(I ,k)(A) = 0 lies inBk(C0(I , k))(1−). LetA ∈ Bk(C0(I , k))(1) withΠC0(I ,k)(A) = 0. By Proposition 1.37, we haveMI ,k(A)i, j +mk =

MI ,k(ΠC0(I ,k)(A))i, j = 0 for any (i, j) ∈ I × I , and henceMI ,k(A) gives a functionI × I → mk.If I is a finite set, then so is the image ofMI ,k(A), and hence there is anr ∈ (0, 1) with|MI ,k(A)i, j | ≤ r for any (i, j) ∈ I × I . If the valuation ofk is discrete or trivial, then there isanr ∈ (0, 1) with mk ⊂ k(r), and we have|MI ,k(A)i, j | ≤ r for any (i, j) ∈ I × I . ThereforeProposition 1.32 ensures‖A‖ ≤ r < 1. We obtainA ∈ Bk(C0(I , k))(1−). ThusΠC0(I ,k) isinjective.

Suppose thatI is an infinite set and the valuation ofk is neither discrete nor trivial.Take an injective mapi• : N → I : n 7→ in and a sequence (n)n∈N ∈ kN such that (|n|)n∈N

is a strictly increasing sequence converging to 1. LetA denote a bounded operator onC0(I , k) given by setting (A f) = (

∑∞n=0n f (in))δ

(k)i0

for any f ∈ C0(I , k). Then we have

‖Aδ(k)in‖ = ‖nδi0‖ = |n| for any n ∈ N and‖Aδ(k)

i ‖ = 0 for any i ∈ I\{in | n ∈ N}. It

implies‖A‖ = 1. On the other hand, we haveΠC0(I ,k)(A)δ(k)in= n f (in) +mk = 0 for any

n ∈ N andΠC0(I ,k)(A)δ(k)i = 0 for anyi ∈ I\{in | n ∈ N}. It impliesΠC0(I ,k)(A) = 0. Thus

ΠC0(I ,k) is not injective. �

Let V be a Banachk-vector space. Aunitary operator on Vis an isometrick-linearautomorphism onV. In particular, every unitary operator onV is a bounded operatorV,and aU ∈ Bk(V) is a unitary operator if and only ifU lies inBk(V)(1)×.

Proposition 1.39.Let n∈ N and U ∈ Mn(k). Then the following are equivalent:

13

(i) The operator U is unitary.

(ii) The collection of columns of U forms an orthonormal basis of kn.

(iii) The operator U lies inMn(Ok) andΠkn(U) lies inGLn(k).

(iv) The equalities‖U‖ = 1 and | detU | = 1 hold.

(v) The operator U lies inGLn(Ok).

(vi) The operator U lies inGLn(k) and U−1 is unitary.

(vii) The operatortU is unitary.

Proof. Assume (i). SinceU is isometric, we have‖∑n

i=1 ciUδi‖ = ‖U(∑n

i=1 ciδi)‖ =‖∑n

i=1 ciδi‖ = max1≤i≤n |ci | for any (ci)ni=1 ∈ kn. It implies that (Uδi)n

i=1 forms an or-thonormal basis ofkn. ThereforeU satisfies (ii). Assume (ii). Since every element of anorthonormal basis ofkn lies in On

k, we haveU ∈ Mn(Ok). Moreover, the reduction of anorthonormal basis ofkn forms a basis inkn by [BGR84] 2.5.1/4. ThereforeU satisfies(iii). Assume (iii). We have (detU) + mk = detΠkn(U) , 0 by Proposition 1.37. It im-plies detU < mk and henceU < mkMn(Ok). ThereforeU satisfies (iv). Assume (iv). WehaveU ∈ Mn(Ok) and detU ∈ O×k . It implies thatU satisfies (v). Assume (v). We haveU ∈ GLn(k) andU−1 ∈ GLn(Ok). It implies thatU andU−1 preserve the closed unit ballOn

k ⊂ kn, and henceU satisfies (vi). Since (i) forU implies (vi) forU, (vi) for U implies(vi) for U−1 and hence (i) forU. Since (v) forU is equivalent to (v) fortU, (vii) for U isequivalent to (i) forU. �

The notion of the unitarity of a matrix deeply depends on the choice of the norm ofkn. Let U ∈ GLn(k) be a diagonalisable matrix whose eigenvalues lie inO×k . The norm‖ · ‖I on kn associated to a basisI ⊂ kn giving a Jordan normal form ofU makesU aunitary operator on the Banachk-vector space (kn, ‖ · ‖I ). Then‖ · ‖I does not coincidewith the original norm‖ · ‖ andU is not unitary with respect to‖ · ‖, unless the matrixrepresenting the change of basis ofkn from the canonical basis toI is not unitary.

2 Functional Calculus and Unitary Diagonalisability

Let A denote a Banachk-algebra in the following in this paper. We define a spectrumof an A ∈ A in §2.1, and formulate several notions of functional calculi ofA in A in§2.2 and§2.3. Roughly speaking, a functional calculus ofA is a substitution ofA for afunctions on its spectrum for which the coordinate functioncorresponds toA itself. Inorder to ensure the uniqueness of such a substitution, we usethe class of rigid continuousfunctions introduced in§1.2.

14

2.1 The Spectrum of a Bounded Operator

In order to define the normality of an operator, we formulate the notion of a functionalcalculus with respect to the class of rigid continuous functions. For this sake, we recallthe notion of the spectrum of an element of a Banachk-algebra. The spectrum of anelement of Banachk-algebra is an analogue of the spectrum of a bounded operatoron anArchimedean Banach space, and naturally yields a notion of the spectrum of a boundedoperator of a bounded operator on a Banachk-vector space.

Definition 2.1. Let R be a ring, andS anR-algebra. For eachA ∈ S, we setσS(A) ≔{λ ∈ R | A− λ ∈ S\S×}, and callσS(A) (resp.k\σS(A)) the spectrum(resp.the resolvent)of A in S. We abbreviate “inS” in the convention as long as there is no ambiguity.

We consider the case whereR is k andS is the underlyingk-algebra ofA . For anA ∈ A , the spectrumσA (A) ⊂ k of A in A is the spectrum ofA in the underlyingk-algebra ofA .

Definition 2.2. An A ∈ A is said to bereductively finite(resp.reductively infinite) if‖A‖ ∈ |k×| and ifσ

A(c−1A+A (1−)) is a finite set (resp. an infinite set) for ac ∈ k× with

‖A‖ = |c|.

The cardinality ofσA

(c−1A + A (1−)) is independent of the choice ofc ∈ k× with‖A‖ = |c|, because a replacement ofc causes a replacement ofc−1A + A (1−) by anelement ink×(c−1A+A (1−)).

Definition 2.3. Let V be a Banachk-vector space. An operatorA on V is said to bereductively finite(resp.reductively infinite) if A is bounded and is reductively finite (resp.reductively infinite) inBk(V).

The most important example of a reductively finite operator is a matrix. Suppose thatA is the matrix algebra Mn(k). EveryM ∈ Mn(k) is integral overk, but its characteristicpolynomial is not necessarily decomposed ink into linear functions whenk is not alge-braically closed. ThereforeσMn(k)(M) might be empty. In the infinite dimensional case,there is more complicated phenomenon peculiar to non-Archimedean analysis.

Example 2.4. We consider the residue fieldCp of Cp. Let [·] : Cp → Cp denote theTeichmuller embedding, which is unique becauseCp consists of 0 and roots of unity. WesetI ≔ (Cp ⊔ {∞}) × N. ThenI is a countable discrete topological space, and C0(I ,Cp)is a strictly CartesianCp-Banach space of countable type with an orthonormal Schauderbasis{δi | i ∈ I }. We consider the operator

A: C⊕Ip → C0(I ,Cp)

δi 7→

δ(∞,n+1) (i = (∞, n) ∈ {∞} × N)δ(0,n−1) (i = (0, n) ∈ {0} × (N\{0}))1+ [c]δ(c,0) (i = (c, 0) ∈ Cp × {0})

δ(c,n−1) + [c]δ(c,n) (i = (c, n) ∈ C×

p × (N\{0}))

15

densely defined on C0(I ,Cp). An estimation of the norms of entries of the matrix repre-sentation,A uniquely extends to an everywhere defined bounded operator on C0(I ,Cp)satisfyingσBCp(C0(I ,Cp))(A) ⊂ OCp. Let c ∈ OCp. We put c ≔ c + OCp ∈ Cp andc ≔ c − [c + OCp] ∈ OCp. For each (n,m, c0) ∈ N × N × N × OCp with n − 1 ≥ m,we set

µn,mc0≔

n−m−1∑

l=0

l!(l −m)!m!

([c] − c0)n−l−2(−c0)

l−m ∈ OCp.

We consider the operator

Bc : C⊕Ip → C0(I ,Cp)

δi 7→

∑n−1m=0 cn−m−1δ(∞,m) + cn∑∞

m=0mc δ(c,m) (i = (∞, n) ∈ {∞} × N)

∑∞m=n+1

m−n−1c δ([c],m) (i = (c, n) ∈ {c} × N)

([c] − [c0])−nδ([c],0) −∑n−1

m=0 µn,m[c0]δ(c0,m) (i = (c0, n) ∈ (Cp\{c}) × N)

densely defined on C0(I ,Cp), which uniquely extends to an everywhere defined boundedoperator on C0(I ,Cp) by a similar argument. ApplyingA andBc to δi for eachi ∈ I , weobtain (A− c)Bc = Bc(A− c) = 1 ∈ BCp(C0(I ,Cp)), and henceA− c ∈ BCp(C0(I ,Cp))×.It impliesσBCp(C0(I ,Cp))(A) = ∅.

Such a phenomenon occurs because Gel’fand–Mazur theorem, which holds forC,does never hold for a valuation field. We regard an operator with empty spectrum asexceptional in this paper, because such an operator never admits a functional calculus.In order to give a criterion for an operator with enough points in spectra, we study thereduction. Before that, we verify several basic propertiesof the spectrum.

Proposition 2.5. Let R be a ring.

(i) Let S1 and S2 be R-algebras. For any R-algebra homomorphismφ : S1 → S2 andA ∈ S1, σS2(φ(A)) is contained inσS1(A).

(ii) Let R0 ⊂ R be a subring, and S an R-algebra. For any A∈ S ,σS0(A) coincideswithσS(A) ∩ R0, where S0 denotes S regarded as an R0-algebra.

Proof. The first assertion follows fromφ(S×1 ) ⊂ S×2 , and the second assertion followsfrom the definition of the spectrum. �

Lemma 2.6. LetA be a Banach k-algebra. ThenA (1)× andA × are open subsets ofA

containing1+A (1−).

Proof. The convergent radius of (1− T)−1 =∑∞

i=0 T i ∈ A (1)[[T]] is 1−, and hence1 + A (1−) is contained inA (1)×. PutG ≔ A (1)× (resp.G ≔ A ×). Let f ∈ G. Thenfor any f ′ ∈ A (1) (resp.f ′ ∈ A ) with ‖ f − f ′‖ < ‖ f −1‖−1, we havef ′ = f + ( f ′ − f ) =f (1+ f −1( f ′ − f )) ∈ G, and henceG is an open subset ofA . �

16

Proposition 2.7. For any A∈ A , σA (A) is a closed subset of k contained in k(‖A‖).

Proof. For anyc ∈ k with |c| > ‖A‖, we have‖a−1A‖ < 1 and henceA−c = −c(1−c−1A) ∈k×(1 + A (1−)) ⊂ A × by Lemma 2.6. ThereforeσA (A) is contained ink(‖A‖). Letc ∈ k\σA (A). For anyc′ ∈ k with |c′ − c| < ‖(A− c)−1‖, we have‖(c′ − c)(A− c)−1‖ < 1,and henceA−c′ = (A−c)−(c′−c) = (A−c)(1−(c′−c)(A−c)−1) ∈ A ×(1+A (1−)) ⊂ A ×

by Lemma 2.6. ThereforeσA (A) is closed ink. �

Corollary 2.8. Suppose that k is a finite field endowed with the trivial norm ora localfield. For any A∈ A , σA (A) is a compact subspace of k.

Proof. The assertion follows from Proposition 2.7 because every bounded closed subsetof a finite field or a local field is compact. �

Corollary 2.9. For any A∈ A (1), σA (A) is contained inσA (1)(A).

Proof. Let A0 denotesA regarded as anOk-algebra. We haveσA (A) ⊂ Ok by Proposi-tion 2.7,σA0(A) = σA (A)∩Ok = σA (A) by Proposition 1.28 (ii), andσA (A) = σA0(A) ⊂σA (1)(A) by Proposition 2.5 (i). �

We emphasise thatσA (A) depends not only onA but alsoA , while the spectrum ofan element of an ArchimedeanC∗-algebra does not depend on the algebra. The proof ofthe independence of the choice ofA in the Archimedean case heavily uses propertiespeculiar to the topologies ofR andC. See [Dou72] 4.28 for more detail.

Example 2.10.The equalitiesσk{T}(T) = Ok andσk{T,T−1}(T) = O×k hold, and hence thespectrum ofT depends on the choice of a Banachk-algebra to whichT belongs.

2.2 Rigid Continuous Functional Calculus

We introduce the notion of a functional calculus with respect to the class of rigid con-tinuous function. As is mentioned in§0, a functional calculus means a substitution ofa substitution of an operator to a function on its spectrum. In other words, a functionalcalculus gives a way to regard an operator as a function on a topological space. LetAdenote an element ofA in the following.

Definition 2.11. The rigid continuous functional calculus of A inA is an isometrick-algebra homomorphismιA : Crig(σA (A), k)→ A sendingzσ to A.

The rigid continuous functional calculus ofA in A is unique because the locali-sation ofk[z] ⊂ Crig(σA (A), k) is dense. The rigid continuous functional calculus isdeeply related to unitary operators through the condition of isometry. When the equalityCrig(σA (A), k) = Cbd(σA (A), k) holds, then we simply callιA the continuous functionalcalculus of A.

17

Remark 2.12. If A admits the rigid continuous functional calculus inA , then the equal-ity Crig(∅, k) = {0} ensures thatσA (A) is non-empty unlessA = {0}. The imageof Crig(σA (A), k) by ιA is a closedk-subalgebra ofLA (A) because Crig(σA (A), k) iscomplete andιA is an isometry. IfσA (A) is compact, then we have Crig(σA (A), k) =C(σA (A), k) by Proposition 1.20, and the continuous functional calculus induces an iso-metric isomorphism Crig(σA (A), k) � L (A).

Proposition 2.13. If A admits the rigid continuous functional calculus inA , then theequality‖A‖ = supλ∈σA (A) |λ| holds.

Proof. The right hand side coincides with the supremum norm ofzσA (A), and hence theequality holds becauseιA is an isometry. �

Definition 2.14. A bounded operator on a Banachk-vector spaceV is said to benormalif it admits the rigid continuous functional calculus inBk(V).

We note that another formulation of the normality of is dealtwith in [Koc13] §2,where a normal operator is assumed to admit the continuous functional calculus. Inparticular, a normal operator in the sense of [Koc13] is a normal operator in our sense.

Proposition 2.15.Let n∈ N An M ∈ Mn(k) is normal if and only if M is diagonalisableby a unitary matrix in k.

Proof. Putσ ≔ σMn(k)(M). Since Mn(k) is of finite dimension,σ is a finite set, andhence Crig(σ, k) coincides with C(σ, k) by Proposition 1.20. Suppose thatM is a normaloperator with the rigid continuous functional calculusιM. For eachλ ∈ σ, we denote byVλ ⊂ kn the range ofιM(δλ). Since (δλ)λ∈σ is a partition of unity in C(σ, k), we obtainan orthogonal decompositionV =

⊕

λ∈σVσ by Proposition 3.9. SinceιM(δλ) commutes

with ιM(zσ) = M, the decompositionV =⊕

λ∈σVσ is compatible with the action ofM,

and the restriction ofM to Vλ coincides with the scalar multiplication byλ for anyλ ∈ σ.By [BGR84] 2.5.1/5, every subspace ofkn is a strictly Cartesian Banachk-vector spaceand admits an orthonormal basis. Therefore we obtain an orthonormal basisI of kn givenas the collection of orthonormal bases ofVλ for eachλ ∈ σ. By Proposition 1.39, thematrixU whose columns are given as elements ofI is a unitary matrix, andU−1MU is adiagonal matrix.

Suppose thatM is diagonalisable by a unitary matrixU ∈ Mn(k). For eachλ ∈ σ,let Vλ ⊂ kn denote the eigenspace ofM belonging to the eigenvalueλ, andPλ : kn

։

Vλ the projection induced by the decompositionV =⊕

λ′∈σVλ′ . SinceU−1MU is a

diagonal matrix, the collectionI of columns ofU is an orthonormal basis consisting ofeigenvectors ofM by Proposition 1.39. Therefore we obtain‖v‖ = maxλ∈σ ‖Pλv‖ for anyv ∈ kn. The inequalityVλ , 0 ensures‖Pλ‖ = 1 for anyλ ∈ σ, and hence (Pλ)λ∈σ formsan orthonormal partition of unity in Mn(k). We define a mapιM : kσ → Mn(k) by settingιM((cλ)λ∈σ) ≔

∑

λ∈σ λPλ for each (cλ)λ∈σ ∈ kσ. Since (Pλ)λ∈σ is orthonormal,ιM is anisometry. The equalityM =

∑

λ∈σ MPλ =∑

λ∈σ λPλ ensuresιM(zσ) = M, and henceιM isthe continuous functional calculus ofM in Mn(k). �

18

Remark 2.16. Let n ∈ N. As we mentioned in the end of§1.3, the notion of the unitarityof an operator onkn makes sense only when we fix a norm ofkn. Therefore a replacementof the canonical basis ofk by another basis does not necessarily preserve the normality ofan operator. Moreover, a matrix is diagonalisable ink if and only if it represents a normalbounded operator onkn with respect to some norm ofkn.

Imitating [Ber90] 7.3.2 Theorem, we define another functional calculus with strongerrigidity than the rigid continuous functional calculus. Wedenote byA1

k the rigid analyticaffine line overk, which is canonically isomorphic to the analytification of Spec(k[T]).For conventions for Berkovich spaces, see [Ber90]. For eachaffinoid domainV ⊂ A1

k, weregard the underlyingk-vector space H0(V,OA1

k) as ak-subalgebra of Cbd(V(k), k) through

the submetric injectivek-algebra homomorphism H0(V,OA1k) → Cbd(V(k), k) given by the

evaluation at eachk-rational point. In particular, for a rational domain of a closed disc inA1

k, we regard the underlyingk-algebra of H0(V,OA1k) as ak-subalgebra of Crig(V(k), k).

For a closed subsetσ ⊂ k, arational neighbourhoodof σ is a rational domain of a closeddisc inA1

k containing the image ofσ by the identificationk � A1k(k).

Definition 2.17. For a rational neighbourhoodV ⊂ A1k of σA (A), the holomorphic func-

tional calculus of A inA on V is a boundedk-algebra homomorphismιA : H0(V,OA1k)→

A sendingzV(k) to A. A holomorphic functional calculus of A inA is the holomorphicfunctional calculus ofA in A on V for some rational neighbourhoodV ⊂ A1

k of σA (A).

For a fixed rational neighbourhoodV of σA (A), the holomorphic functional calculusof A in A on V is unique because the localisation ofk[T] is dense in the correspondingaffinoid domain. The restriction of a rigid analytic function onan affinoid domain toa smaller affinoid domain is again rigid analytic, and hence the rational neighbourhoodappearing in the definition of a holomorphic functional calculus can be replaced by alarger one.

Example 2.18.Let A ∈ A be an element admitting the rigid continuous functional cal-culus. For any rational neighbourhoodV ⊂ A1

k of σA (A), the composite of the evaluationmap H0(V,OA1

k) → Crig(V(k), k), the restriction map Crig(V(k), k) → Crig(σA (A), k), and

ιA sendszV(k) to A, and hence is the holomorphic functional calculus ofA in A on V.

Example 2.19.Suppose that the valuation ofk is non-trivial. LetV0 ⊂ A1k be an affinoid

domain, andV ⊂ A1k a rational domain of a closed disc inA1

k with V0 ⊂ V. ThenV isa rational neighbourhood ofV0(k), andV0 itself is a rational domain of a closed disc inA1

k by [Ber90] 2.6.4 Remark. ThereforeV0(k) coincides withσH0(V0,OA1k)(zV(k)) by [Ber90]

7.1.5 Corollary. The restriction map H0(V,OA1k) → H0(V0,OA1

k) sendszV(k) to zV0(k), and

hence is the holomorphic functional calculus ofzV0(k) in H0(V0,OA1k) on V.

2.3 Reductive Functional Calculus

In order to establish an algorithm for a criterion of the unitarity of an operator, we studythe functional calculus of the reduction.

19

Definition 2.20. An A ∈ A is said toadmit the reductive functional calculus inA if‖A‖ ∈ |k×| and if for a c ∈ k× with ‖A‖ = |c|, c−1A + A (1−) admits the continuousfunctional calculus inA .

Let A ∈ A be an element admitting the reductive functional calculus.Then forany c ∈ k× with ‖A‖ = |c|, c−1A + A (1−) admits the continuous functional calculus,because a replacement ofc causes a replacement ofc−1A + A (1−) by an element ink×(c−1A+A (1−)).

Definition 2.21. Let V be a Banachk-vector space. A bounded operatorA onV is said toreductively normalif ‖A‖ ∈ |k×| and if for ac ∈ k× with ‖A‖ = |c|, c−1A induces a normaloperator onV through the canonical projectionV ։ V.

Proposition 2.22. Let V be a strictly Banach k-vector space. Suppose that V is offinitedimension or that k is a finite field endowed with the trivial valuation or a local field.A bounded operator on V is reductively normal if and only if itadmits the reductivefunctional calculus.

Proof. If V is of finite dimension, then so isV, and hence the spectrum of an everywhere-defined operator onV is a finite set. Ifk is a finite field endowed with the trivial valuationor a local field, thenk is a finite field endowed with the trivial valuation, and hencethespectrum of an everywhere-defined operator onV is a finite set. Therefore the spectrum ofan everywhere-defined operator onV is a finite set in both cases, and the rigid continuousfunctional calculus of an everywhere-defined operator onV is always the continuousfunctional calculus. Thus the assertion follows from Proposition 1.38. �

Example 2.23.Let n ∈ N. An M ∈ Mn(k) admits the reductive functional calculus inMn(k) if and only if M , 0 and for ac ∈ k× with ‖M‖ = |c|, Πkn(c−1M) ∈ Mn(k) isdiagonalisable ink.

We study the relation between functional calculi and reductions. For this, we showa certain compatibility of spectra and reductions. For anA ∈ A (1), the image of thespectrum of an elementA by the reductionOk։ k does not necessarily coincide with thespectrum of the image ofA by the reductionA ։ A . On the other hand, the followingensure that the spectrum ofA in A (1) is sufficiently large.

Lemma 2.24.The group homomorphismA (1)× → A × induced by the canonical projec-tionA (1)։ A is surjective, and an f∈ A (1) lies inA (1)× if and only if f+A(1−) ∈ A

lies inA ×.

Proof. It suffices to verify that everyf ∈ A (1) with f + A(1−) ∈ A + A (1−)× liesin A (1−)×. Let f ∈ A (1) with f + A(1−) ∈ A + A (1−)×. Take a lift g ∈ A (1) of( f + A(1−))−1. We have (f g− 1)+ A(1−) = ( f + A(1−))( f + A(1−))−1 − (1+ A(1−)) =0 ∈ A+A (1−), and hence‖ab−1‖ < 1. We obtainf g ∈ 1+A (1−) ⊂ A (1)× by Lemma2.6. It implies f ∈ A (1)×. �

Proposition 2.25.For any A∈ A (1), the equalityσA (1)(A) =⋃

Λ∈σA

(A+A (1−)) Λ holds.

20

Proof. The assertion immediately follows from Lemma 2.24. �

Corollary 2.26. For any A∈ A (1),σA

(A+A (1−)) coincides with the image ofσA (1)(A)by the reduction Ok։ k.

Corollary 2.27. For any non-empty closed subsetσ ⊂ k contained in Ok, σCrig(σ,k)(z(k)σ +

Crig(σ, k)(1−)) coincides with the image ofσ by the reduction Ok ։ k.

Proof. The assertion immediately follows from Corollary 1.23 and Corollary 2.26. �

Corollary 2.28. For any A∈ A (1) admitting the rigid continuous functional calculus inA , σ

A(A+A (1−)) coincides with the image ofσA (A) by the reduction Ok ։ k.

Proof. We haveσA (A) ⊂ σA (1)(A) ⊂ {λ + | (λ,) ∈ σA (A) × mk} by Proposition2.5 and Corollary 1.23. Therefore the assertion immediately follows from Corollary2.27. �

As a result, we obtain a necessary condition for the existence of the rigid continuousfunctional calculus using an information of the reduction.

Lemma 2.29. Let A∈ A (1). If A admits the rigid continuous functional calculus inA ,then A+A (1−) admits the rigid continuous functional calculus inA .

Proof. Putσ ≔ σA (A) ⊂ Ok. We denote byσ ⊂ k the image ofσ by the reductionOk։ k. We haveσ

A(A+A (1−)) = σ by Corollary 2.26. LetιA : Crig(σ, k) → A denote

the rigid continuous functional calculus ofA in A . Let f ∈ Crig(σ, k). Sincek is discrete,so is Cbd(σ, k), and hence Crig(σ, k) coincides with thek-subalgebra of C(σ, k) given by

the localisation ofL (z(k)

sigma) = k[z(k)

sigma] by k[z(k)

sigma] ∩ C(σ, k)×. Therefore there is an

(F0, F∞) ∈ k[T] ×k[T] with F∞(z(k)

sigma) ∈ k[z(k)

sigma]∩C(σ, k)× andF∞(z(k)

sigma)−1F0(z

(k)

sigma) =

f . Take a lift (F0, F∞) ∈ Ok[T] × Ok[T] of (F0, F∞). SinceF∞(z(k)

sigma) is invertible in

C(σ, k), it has no zero inσ. ThereforeF∞(z(k)σ ) factors through the inclusionO×k → k

by Corollary 2.27. It implies thatF∞(z(k)σ ) is invertible in Cbd(σ, k)(1), andF∞(z(k)

σ )−1 liesin Crig(σ, k)(1)×. PutF(z(k)

σ ) ≔ F∞(z(k)σ )−1F0(z

(k)σ ) ∈ Crig(σ, k)(1). Then the composite of

F(z(k)σ ) and the reductionOk։ k coincides with the composite of the canonical projection

σ ։ σ and f , and hencef (A + A (1−)) ≔ ιA(F(z(k)σ )) + A (1−) ∈ A depends only on

f . SinceιA is an isometry, we havef (A + A (1−)) , 0 unlessf = 0 by Corollary2.27. Therefore the correspondencef 7→ f (A + A (1−)) gives an injectivek-algebra

homomorphismιA+A (1−) : Crig(σ, k) → A sendingz(k)σ

to A + A (1−). ThusA + A (1−)

admits the rigid continuous functional calculus inA . �

Theorem 2.30. Let A ∈ A \{0}. If σA (A) is compact and A admits the continuousfunctional calculus inA , then A admits the reductive functional calculus inA .

21

Proof. There is ac ∈ σA (A) with |c| = supλ∈σA (A) |λ| by the maximal modulus principle.SinceA admits the continuous functional calculus inA , we have‖A‖ = ‖z(k)

σA (A)‖ =

|c|, and hencec−1A is an element with‖c−1A‖ = 1 admitting the continuous functionalcalculus inA . SinceσA (A) is compact, so isσA (c−1A) = {c−1λ | λ ∈ σA (A)}, and so isσ

A(c−1A+A (1−)) by Corollary 2.26. Therefore the assertion follows from Proposition

1.20 and Lemma 2.29. �

Corollary 2.31. Let V be a strictly Cartesian Banach k-vector space. Supposethat V isof finite dimension or that k is a finite field endowed with the trivial norm or a local field.Then every non-zero normal bounded operator on V is reductively normal.

Proof. The assertion follows from Corollary 2.8, Proposition 2.22, and Theorem 2.30.�

3 Criterion of the Normality

In this section, we study the relation between the normalityand the operator reduction.A bounded operator on a Banachk-vector space is not necessarily normal even if its op-erator reduction is normal, but we establish a criterion of the normality including “therepetitive reduction” in§3.2. Although such a criterion contains an infinitely many re-cursive computation, it yields an algorithm when the representation space is of finitedimension. Indeed, we give an explicit algorithm for a criterion of the diagonalisabilityof a matrix by a unitary matrix in§3.3.

3.1 Reductively Infinite Operator

We deal with a reductively infinite operator in this subsection. The spectrum of a re-ductively infinite operator is mostly non-compact, and hence Vishik’s non-Archimedeananalogue of Riesz functional calculus in [Vis85] does not work here. Whenk is a finitefield, then every bounded operator is reductively finite. Therefore we assume thatk is aninfinite field throughout this subsection.

Example 3.1. Let K/k be a non-trivial extension of complete valuation fields. Take anr ∈ (0, 1) with K(r) ( mK, and putσ ≔ OK\(Ok + K(r)). We regard Cbd(σ,K) as aBanachk-algebra through the embeddingk → K. Then we haveσCbd(σ,K)(z

(K)σ ) = ∅

andσCbd(σ,K)(z(K)σ + Cbd(σ,K)(1−)) = k. Thusz(K)

σ is a reductively infinite element withcompact spectrum.

Theorem 3.2. Let A ∈ A be a reductively infinite element. Then the k-algebra homo-morphism k[T] → A : T 7→ A induces an isometric isomorphism k{‖A‖−1T} → L (A)sending T to A.

Proof. SinceA is reductively infinite, there is ac ∈ k× with ‖A‖ = |c|. ReplacingAby c−1A, we may assume‖A‖ = 1. We prove that‖F(A)‖ = 1 for any F ∈ Ok[T]

22

with ‖F‖ = 1 with respect to the restriction of the Gauss norm of radius 1through thecanonical embeddingk[T] → k{T}. SinceF(A) is anOk-linear combination of powersof A, we have‖F(A)‖ ≤ 1. We denote byF ∈ k[T] the image ofF + A(1−) ∈ k{T} by thek-algebra isomorphism in Example 1.13. The equality‖F‖ = 1 ensuresF , 0 ∈ k[T].SinceF has at most finitely many zeros andσ

A(A + A(1−)) is an infinite set, there is a

λ ∈ σA

(A + A(1−)) with F(λ) , 0 ∈ k. We showF(A + A (1−)) , 0 ∈ A . AssumeF(A+A (1−)) = 0. LetG ∈ k[T] denote the unique element withF(T)−F(λ) = (T−λ)G.We have 1= −F(λ)−1(F(A+A (1−))−F(λ)) = −F(λ)−1G(A+A (1−))((A+A (1−))−λ),and hence (A + A (1−)) − λ ∈ A ×. It contradictsλ ∈ σ

A(A + A (1−)). Therefore we

obtainF(A+A (1−)) , 0 ∈ A . It impliesF(A) ∈ A(1−) and hence‖F(A)‖ = 1.

We verify that thek-algebra homomorphismiA : k[T] → A : T 7→ A is an isometry.For this sake, it suffices to show that everyF ∈ k[T] with ‖F(A)‖ ≤ 1 lies in Ok[T].Take anF ∈ k[T] with ‖F(A)‖ ≤ 1. AssumeF < Ok[T]. Then there is ac ∈ k\Ok suchthat‖F‖ = |c|. We have‖c−1F‖ = |c|−1‖F‖ = 1 and hencec−1F ∈ Ok[T], which ensures‖(c−1F)(A)‖ = 1 by the argument above. It contradicts the inequality‖(c−1F)(A)‖ =|c−1| ‖F(A)‖ ≤ |c|−1 < 1. We obtainF ∈ Ok[T]. It implies thatiA is an isometry. Sincethe image ofk[T] is dense ink{T}, iA uniquely extends to an isometryiA : k{T} → A .We haveiA(T) = A by definition. Since the image ofk[T] is dense ink{T}, we obtainiA(k{T}) ⊂ L (A). Moreover, sincek[A] is dense inL (A), iA(k{T}) is dense inL (A).Sincek{T} is complete andiA is an isometry,iA(k{T}) is closed ink{T}. ThereforeiA isontoL (A). We conclude thatiA gives an isometric isomorphismiA : k{T} → L (A). �

For eachr ∈ (0,∞), we denote byrD1k the closed disc inA1

k of radiusr.

Corollary 3.3. Every reductively infinite element A∈ A admits the holomorphic func-tional calculus inA on ‖A‖D1

k.

Corollary 3.4. Let I be a set. Then every reductively transcendental bounded operatorA onC0(I , k) admits the holomorphic functional calculus inBk(C0(I , k)) on ‖A‖D1

k.

Thus every reductively infinite operator automatically admits a holomorphic func-tional calculus. LetV be a strictly Cartesian Banachk-vector space andA a boundedoperator onV. Supposek = Cp andσBCp(V)(A) = OCp. As is referred in Example 1.19(iii), we haveCp{z} = Crig(OCp,Cp) by Theorem 3.2. Therefore in this case, the holomor-phic functional calculus ofA in A on D1

k is the rigid continuous functional calculus. Thefollowing two examples might help a reader to understand theholomorphic functionalcalculus.

Example 3.5. Suppose that the valuation ofk is discrete andk is an infinite field. Weconsider the caseA = Bk(C0(Z, k)). Let A ∈ A be the shift operator (A f)(z) = f (z+ 1).ThenA admits an inverse operator with norm 1 given as the converse shift, and hence is

23

unitary. PuttingM ≔ MZ(A), we have

M =

. . ............. ···

· · · 0 1 0 0 · · ·· · · 0 0 1 0 · · ·· · · 0 0 0 1 · · ·· · · 0 0 0 0 · · ·

··· ...

.......... . .

.

By the presentation ofM, we obtainσA (A) = (Ok)×. Sincek is an infinite field,A andA−1 are reductively infinite. Applying Corollary 3.4 to bothA andA−1, we obtain theholomorphic functional calculus

ιA : k{

T,T−1}

→ A

F =∑

i∈Z

FiTi 7→ F(A) =

∑

i∈Z

FiAi

of A in A on the closed annulus of radius 1. For anyF ∈ k{T,T−1}, the matrix represen-tationF(M) of F(A) ≔ ιA(F) is given as

F(M) =

. . ....

......

... ···

· · · F0 F1 F2 F3 · · ·

· · · F−1 F0 F1 F2 · · ·

· · · F−2 F−1 F0 F1 · · ·

· · · F−3 F−2 F−1 F0 · · ·

··· ...

......

.... . .

.

This result is an analogue of the Fourier expansion of a function on [0, 1].

Example 3.6. Suppose that the valuation ofk is discrete andk is an infinite field. Weconsider the caseA = Bk(C0(N, k)). Let A ∈ A be the Toeplitz operator (A f)(z) =f (z+ 1). ThenA is an isometry with‖A‖ = 1 and is not invertible becauseA is notsurjective. PuttingM ≔ MN(A), we have

M =

0 1 0 0 · · ·0 0 1 0 · · ·0 0 0 1 · · ·0 0 0 0 · · ·............. . .

.

By the presentation ofM, we obtainσA (A) = Ok. Sincek is an infinite field,A isreductively infinite. Applying Corollary 3.4 toA, we obtain the holomorphic functionalcalculus

ιA : k {T} → A

24

F =∑

i∈N

FiTi 7→ F(A) =

∑

i∈N

FiAi

of A in A on the closed disc of radius 1. For anyF ∈ k{T}, the matrix representationF(M) of F(A) ≔ ιA(F) is given as

F(M) =

F0 F1 F2 F3 · · ·

0 F0 F1 F2 · · ·

0 0 F0 F1 · · ·

0 0 0 F0 · · ·............. . .

.

The presentation ofF(M) for eachF ∈ k{T} ensures thatιA continuously extends toOk[[T]] ⊗Ok k, which is thek-algebra of sections on the open unit disc, with respect to theFrechet topology onOk[[T]] ⊗Ok k and the strong operator topology ofA .

We note that the assumptions ofk in both examples above can be removed, becauseholomorphic functional calculi are compatible with restrictions of the scalar and basechanges.

3.2 Reductively Finite Operator

We deal with a reductively finite operator in this subsection. A reductively finite operatorloses much information through the reduction. For example,we showed in Proposition1.38 that the operator reduction of a bounded operator of operator norm 1 can be trivial, inwhich case the operator is trivially reductively finite. Even in the finite dimensional case,a matrix whose operator reduction is a diagonal matrix is notnecessarily diagonalisable.Nevertheless, the reductive functional calculus of a reductively finite operator possessesinformation of a partition of the spectrum. Indeed, we will construct a decomposition of areductively normal reductively finite operator associatedto the eigenspace decompositionof the operator reduction in Theorem 3.11.

Definition 3.7. Let I be a set. A system (Pi)i∈I ∈ A I of idempotents inA is said to be apartition of unity inA if {i ∈ I | Pi , 0} is a finite set, the essentially finite sum

∑

i∈I Pi

coincides with 1∈ A , and‖Pi‖ lies in {0, 1} for any i ∈ I . A partition (Pi)i∈I of unity inA is said to bereducedif A , {0} andPi , 0 for anyi ∈ I , is said to beorthogonalifPiP j = 0 for any (i, j) ∈ I × I with i , j, and is said to beorthonormalif it is reduced andorthogonal.

We note that in the case where the characteristic ofk is not 2, a partition (Pi)i∈I ofunity in A is orthogonal if and only ifPiP j = P jPi for any (i, j) ∈ I × I .

Proposition 3.8. Let I be a set, and(Pi)i∈I an orthogonal partition of unity inA . Thenthe equality‖A‖ = maxi∈I ‖PiA‖ holds for any A∈ A , and if (Pi)i∈I is reduced, then theequality‖

∑

i∈I ciPi‖ = maxi∈I |ci | holds for any(ci)i∈I ∈ kI .

25

Proof. The second assertion follows from the first assertion forA =∑

i∈I ciPi, becausethe orthogonality of (Pi)i∈I ensuresPi0

∑

i∈I ciPi = ci0Pi0 for any i0 ∈ I . Let A ∈ A .The inequality‖A‖ ≤ maxi∈I ‖PiA‖ follows from the equality

∑

i∈I PiA = (∑

i∈I Pi)A = A,and the inequality maxi∈I ‖PiA‖ ≤ ‖A‖ follows from the condition‖Pi‖ ∈ {0, 1} for eachi ∈ I . �

Proposition 3.9. Let V be a Banach k-vector space. A partition(Pi)i∈I of unity inBk(V)induces a orthogonal decomposition V=

⊕

i∈I PiV =⊕

i∈I ker(1− Pi).

Proof. Let v ∈ V. We have‖v‖ = ‖∑

i∈I Piv‖ ≤ maxi∈I ‖Piv‖. On the other hand, we havemaxi∈I ‖Piv‖ ≤ maxi∈I ‖Pi‖ ‖v‖ ≤ ‖v‖. Thus we obtain‖v‖ = maxi∈I ‖Piv‖. �

Lemma 3.10.An idempotent P∈ A satisfies‖P‖ < 1 if and only if P= 0.

Proof. The assertion follows from the inequality‖P‖ = ‖P2‖ ≤ ‖P‖2. �

Theorem 3.11.Let A ∈ A be a reductively finite element with‖A‖ = 1. If A admitsthe reductive functional calculus inA , then there is a canonical orthogonal partition(PA,Λ)Λ∈k of unity inA such that PA,Λ is non-zero for aΛ ∈ k if and only ifΛ ∈ σ

A(A+

A (1−)), PA,Λ commutes with A for anyΛ ∈ k, and the equalities

σA (PA,ΛA) =

(Λ ∩ σA (A)) ∪ {0}(

σA

(A+A (1−)) , {Λ})

σA (A)(

σA

(A+A (1−)) = {Λ})

σAA,Λ(PA,ΛA) =

Λ ∩ σA (A)(

Λ ∈ σA

(A+A (1−)))

∅(

Λ ∈ k\σA

(A+A (1−)))

hold for anyΛ ∈ k, whereAA,Λ ⊂ A denotes the unital multiplicative k-vector subspacePA,Λ obtained as the closure of PA,ΛA PA,Λ for eachΛ ∈ σ

A(A+A (1−)).

Proof. PutA ≔ A+A (1−), σ ≔ σA (A), andσ ≔ σA

(A). SetPA,Λ ≔ 0 ∈ A for eachΛ ∈ k\σ. Putn ≔ #σ. SinceA is reductively finite,n is a finite cardinal number. SinceA admits the reductive functional calculus, we haven > 0 by Remark 2.12. Ifn = 1,then setPA,Λ ≔ 1 ∈ A for a uniqueΛ ∈ σ. In this case, (PA,Λ)Λ∈k is a desired system.Supposen > 1. LetΛ ∈ σ. We denote byιA the continuous functional calculus ofAin A . The image ofkσ by ιA is contained inL

A(A) = L (A) by Proposition 1.20, and

L (A) = k[A] is contained in the image ofL (A). Take a liftP ∈ L (A)(1) of ιA(δkΛ) ∈ A .

The equality (δkΛ)2 = δk

Λensures‖P2−P‖ < 1. SetP0 ≔ P. We define a sequence (P j) j∈N

on L (A)(1) by the recurrence relationsP j+1 = 3P2j − 2P3

j for each j ∈ N. Then for anyj ∈ N, we have

P2j+1 − P j+1 = (3P2

j − 2P3j )

2 − (3P2j − 2P3

j ) = 4P6j − 12P5

j + 9P4j + 2P3

j − 3P2j

= (P2j − P j)(4P4

j − 8P3j + P2

j + 3P j) = (P2j − P j)(P

2j − P j)(4P2

j − 4P j − 3)

= −(P2j − P j)

2(3− 4(P2j − P j))

26

and hence‖P2j+1−P j+1‖ ≤ ‖P2

j −P j‖2. Inductively on j ∈ N, we obtain‖P2

j −P j‖ ≤ ‖P20−

P0‖2j= ‖P2−P‖2

j. It implies limj→∞ ‖P2

j −P j‖ = 0. Moreover, we haveP j+1−P j = 3P2j −

2P3j−P j = −(P2

j−P j)(2P j−1), and hence‖P j+1−P j‖ ≤ ‖P2j−P j‖ ‖2P j−1‖ ≤ ‖P2

j−P j‖. Thecompleteness ofA ensures that (P j) j∈N converges to somePΛ ∈ A . SinceL (A)(1) isclosed inA , we havePΛ ∈ L (A)(1). By the continuity of the norm, the multiplication,and the addition, we have‖P2

Λ− PΛ‖ = lim j→∞ ‖P2

j − P j‖ = 0, and hencePΛ is anidempotent. For anyj ∈ N, we have‖P j+1‖ = ‖3P2

j −2P3j ‖ = ‖P j + (P2

j −P j)(−2P j +1)‖ =‖P j‖. Inductively on j ∈ N, we obtain‖P j‖ = ‖P0‖ = ‖P‖ = 1. It implies ‖PΛ‖ =lim j→∞ ‖P j‖ = 1 by the continuity of the norm. We have‖PΛ −P‖ = ‖

∑∞j=0(P j+1−P j)‖ ≤

supj∈N ‖P j+1−P j‖ = ‖P1−P0‖ = ‖(3P2−2P3)−P‖ = ‖−P(P−1)(2P−1)‖ ≤ ‖P2−P‖ < 1,

and hencePΛ +A (1−) = P+A (1−) = ιA (δ(k)Λ

) , 0. Therefore we obtain‖PΛ‖ = 1.

We verify thatPΛ is independent of the choice ofP. Let QΛ be an idempotent in

L (A) which lifts ιA (δ(k)Λ

). SinceL (A) is commutative, we have (PΛ − QΛ)4 = P4Λ−

4P3ΛQΛ + 6P2

ΛQΛ2 − 4PΛQ3

Λ+ Q4

Λ= PΛ − 2PΛQΛ + QΛ = (PΛ − QΛ)2. It implies

‖(PΛ − QΛ)2‖ ≤ ‖(PΛ − QΛ)‖2 < 1 and‖(PΛ − QΛ)2‖ = ‖(PΛ − QΛ)4‖ ≤ ‖(PΛ − QΛ)2‖2.Therefore we obtain‖(PΛ − QΛ)2‖ = 0. Moreover, we have

(1− PΛ)(1− QΛ) = (1− PΛ) − PΛ + PΛQΛ = (1− PΛ) − P2Λ + PΛQΛ

= (1− PΛ) + (QΛ − PΛ)PΛ = (1− PΛ) + (QΛ − PΛ) ((3PΛ − PΛ) − (2PΛ − PΛ))

= (1− PΛ) + (0+ 0+ 3(QΛ − PΛ)PΛ + PΛ) − (0+ 0+ 2(QΛ − PΛ)PΛ + PΛ)

= (1− PΛ) + ((QΛ − PΛ) + PΛ)3 − ((QΛ − PΛ) + PΛ)2

= (1− PΛ) + (Q3Λ − Q2

Λ) = 1− PΛ

and similarly (1−PΛ)(1−QΛ) = 1−QΛ. We obtainPΛ = QΛ. It implies thatPΛ is a unique

idempotent inL (A) which lifts ιA (δ(k)Λ

), and hence is independent of the choice ofP. SetPA,Λ ≔ PΛ. SinceL (A) is commutative,PA,Λ commutes withA by the construction foranyΛ ∈ k. The closureAA,Λ ⊂ A of PA,ΛA PA,Λ forms a Banachk-algebra with identityPA,Λ. For anyB ∈ A commuting withPA,Λ, we havePA,ΛB = P2

A,ΛB = PA,ΛBPA,Λ ∈ AA,Λ.In particular, we havePA,ΛA ∈ AA,Λ.

We have constructed a system (PA,Λ)Λ∈k of idempotents inL (A) such thatPA,Λ isnon-zero for aΛ ∈ k if and only ifΛ ∈ σ. We verify that (PA,Λ)Λ∈k forms an orthogonalpartition of unity inA . Let (Λ,Λ′) ∈ σ × σ with Λ , Λ′. We showPA,ΛPA,Λ′ = 0. We

havePA,ΛPA,Λ′+A (1−) = (PA,Λ+A (1−))(PA,Λ′+A (1−)) = ιA(δ(k)Λ

)ιA(δ(k)Λ′

) = ιA(δ(k)Λδ

(k)Λ′

) =0 and hence‖PA,ΛPA,Λ′‖ < 1. Moreover,PA,ΛPA,Λ′ is an idempotent, becauseL (A) iscommutative. It impliesPA,ΛPA,Λ′ = 0 by Lemma 3.10.

We have (1−∑

Λ∈k PA,Λ)+A (1−) = 1−∑

Λ∈σ(PA,Λ+A (1−)) = ιA(1)−∑

Λ∈σ ιA(δ(k)Λ

) =

ιA(1 −∑

Λ∈σ δ(k)Λ

) = ιA (0) = 0 ∈ A , and hence‖1 −∑

Λ∈k PA,Λ‖ < 1. The equalitiesPA,ΛPA,Λ′ = 0 for each (Λ,Λ′) ∈ k× k with Λ , Λ′ ensure that 1−

∑

Λ∈k PA,Λ is an idem-

27

potent, and hence coincides with 0 by Lemma 3.10. Therefore (PA,Λ)Λ∈k is an orthogonalpartition of unity inA .

Let Λ ∈ k. We verify the equalities onσA (PA,ΛA) andσAA,Λ (PA,ΛA) in the assertion,which trivially hold ifΛ < σ. SupposeΛ ∈ σ. We note thatPA,Λ ∈ A is not necessarily acentral idempotent, and hence thek-linear homomorphismA → AA,Λ : B 7→ PA,ΛBPA,Λ

is not necessarily ak-algebra homomorphism. Therefore the inclusionσAA,Λ (PA,ΛA) ⊂σA (PA,ΛA) is not obvious. We have‖PA,ΛA‖ ≤ ‖A‖ = 1 by Proposition 3.8, and henceσA (PA,ΛA) andσAA,Λ(PA,ΛA) are contained inOk by Proposition 2.7. By the assumptionn > 1, there is aΛ′ ∈ σ with Λ , Λ′. The equalityPA,ΛPA,Λ′ = 0 with PA,Λ′ , 0ensuresPA,Λ < A ×. Therefore we obtainPA,ΛA < A × and 0∈ σA (PA,ΛA). We showσA (PA,ΛA) ⊂ σ ∪ {0} andσAA,Λ (PA,ΛA) ⊂ σ. Let λ ∈ Ok\σ. ThenA− λ is invertible inA by definition. We have (PA,ΛA− λPA,Λ)(PA,Λ(A− λ)−1PA,Λ) = P3

A,Λ = PA,Λ ∈ AA,Λ and(PA,Λ(A− λ)−1PA,Λ)(PA,ΛA− λPA,Λ) = P3

A,Λ = PA,Λ ∈ AA,Λ becausePA,Λ commutes withA. It implies PA,ΛA− λPA,Λ ∈ A ×

A,Λ andλ ∈ Ok\σAA,Λ(PA,ΛA). In addition ifλ , 0, thenwe have

(PA,ΛA− λ)(

PA,Λ(A− λ)−1PA,Λ + (1− PA,Λ)λ−1

)

= (PA,Λ(A− λ) + (1− PA,Λ)λ)(

PA,Λ(A− λ)−1PA,Λ + (1− PA,Λ)λ−1

)

= P3A,Λ + PA,Λ(1− PA,Λ)(A− λ)λ

−1 + (1− PA,Λ)PA,Λλ(A− λ)−1PA,ΛA+ (1− PA,Λ)

2

= PA,Λ + 0+ 0+ (1− PA,Λ) = 1

and(

PA,Λ(A− λ)−1PA,Λ + (1− PA,Λ)λ−1)

(PA,ΛA− λ)

=(

PA,Λ(A− λ)−1PA,Λ + (1− PA,Λ)λ−1)

(PA,Λ(A− λ) + (1− PA,Λ)λ)

= P3A,Λ + PA,Λ(A− λ)

−1PA,Λ(1− PA,Λ)λ + (1− PA,Λ)PA,Λλ−1(A− λ) + (1− PA,Λ)

2

= PA,Λ + 0+ 0+ (1− PA,Λ) = 1.

It implies PA,ΛA − λ ∈ A × andλ ∈ Ok\σA (PA,ΛA). Therefore we obtainσA (PA,ΛA) ⊂σ ∪ {0} andσAA,Λ(PA,ΛA) ⊂ σ.

We showσA (PA,ΛA) ⊂ Λ andσAA,Λ (PA,ΛA) ⊂ Λ. Let λ ∈ Ok\Λ. Sinceλ +mk does

not coincide withΛ, we have (PA,ΛA− λPA,Λ) +A (1−) = ιA(δkΛz(k)σ− (λ +A (1−))δk

Λ) =

ιA(ΛδkΛ− (λ + A (1−))δk

Λ) = (Λ − (λ + A (1−)))(PA,Λ + A (1−)) ∈ AA,Λ

×, and hencePA,ΛA − λPA,Λ ∈ AA,Λ(1)× by Lemma 2.24. It impliesλ ∈ Ok\σAA,Λ(PA,ΛA). Let B ∈A ×

A,Λ be the inverse ofPA,ΛA − PA,Λλ in AA,Λ. The equalitiesPA,Λ(1 − PA,Λ) = 0 and(1− PA,Λ)PA,Λ = 0 ensure thatB0(1− PA,Λ) = (1− PA,Λ)B0 = 0 for anyB0 ∈ PA,ΛA PA,Λ.SinceB lies in AA,Λ, B is the limit of some sequence onPA,ΛA PA,Λ, and the continuityof the multiplication onA ensuresB(1− PA,Λ) = (1− PA,Λ)B = 0. In addition ifλ , 0,then we have (PA,ΛA− λ)(B− λ−1(1− B)) = (B− λ−1(1− B))(PA,ΛA− λ) = 1. It impliesPA,ΛA− λ ∈ A × andλ ∈ Ok\σA (PA,ΛA). Therefore we obtainσA (PA,ΛA) ⊂ Λ ∪ {0} andσAA,Λ(PA,ΛA) ⊂ Λ.

28

We have verified 0∈ σA (PA,ΛA), σA (PA,ΛA) ⊂ (Λ ∩ σ) ∪ {0}, andσAA,Λ(PA,ΛA) ⊂Λ ∩ σ. Therefore it suffices to verifyΛ ∩ σ ⊂ σA (PA,ΛA) andΛ ∩ σ ⊂ σAA,Λ (PA,ΛA).Let λ ∈ Λ ∩ σ. First, we showλ ∈ σA (PA,ΛA). We havePA,ΛA− λ is invertible inA bydefinition. Assumeλ < σA (PA,ΛA). We show thatPA,Λ′A − λ is invertible inA for anyΛ′ ∈ σ. LetΛ′ ∈ σ. If Λ′ = Λ, then we haveλ < σA (PA,Λ′A), and hencePA,Λ′A − λ isinvertible inA . SupposeΛ′ , Λ. Since 0 lies inσA (PA,ΛA), we haveλ , 0. Sinceλ liesin Λ , Λ′, we obtainλ < (Λ′∩σ)∪{0}, and henceλ < σA (PA,Λ′A). ThereforePA,Λ′A−λis invertible inA for anyΛ′ ∈ σ. The equalities

(A− λ)

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′

=

∑

Λ′∈σ

PA,Λ′(A− λ)

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′

=

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′

=∑

Λ′∈σ

∑

Λ′′∈σ

PA,Λ′PA,Λ′′(PA,Λ′A− λ)(PA,Λ′′A− λ)−1PA,Λ′ =

∑

Λ′∈σ

P2A,Λ′ =

∑

Λ′∈σ

PA,Λ′ = 1

and

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′

(A− λ)

=

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′

∑

Λ′∈σ

PA,Λ′(A− λ)

=

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′

∑

Λ′∈σ

PA,Λ′(PA,Λ′A− λ)

=∑

Λ′∈σ

∑

Λ′′∈σ

PA,Λ′(PA,Λ′A− λ)−1PA,Λ′PA,Λ′′(PA,Λ′′A− λ) =

∑

Λ′∈σ

P2A,Λ′ =

∑

Λ′∈σ

PA,Λ′ = 1

imply A − λ ∈ A ×, and it contradictsλ ∈ Λ ∩ σ ⊂ σ. As a consequence, we obtainλ ∈ σA (PA,ΛA).

Secondly, we showλ ∈ σAA,Λ (PA,ΛA). Assumeλ < σAA,Λ(PA,ΛA). We prove thatPA,Λ′A − λPA,Λ′ is invertible inAA,Λ for anyΛ′ ∈ σ. Let Λ′ ∈ σ. If Λ′ = Λ, thenwe haveλ < σA (PA,Λ′A), and hencePA,Λ′A − λPA,Λ′ is invertible in AA,Λ. SupposeΛ′ , Λ. Sinceλ lies inΛ , Λ′, we obtainλ < Λ′ ∩ σ, and henceλ < σAA,Λ(PA,Λ′A).ThereforePA,Λ′A − λPA,Λ′ is invertible inAA,Λ′ for anyΛ′ ∈ σ. LetΛ′ ∈ σ. We denoteby BΛ′ the inverse ofPA,Λ′A − λPA,Λ′ in AA,Λ′, i.e. a unique element inAA,Λ′ satisfying(PA,Λ′A− λPA,Λ′)BΛ′ = BΛ′(PA,Λ′A− λPA,Λ′) = PA,Λ′. SincePA,Λ′ is the identity ofAA,Λ′,

29

we havePA,Λ′BΛ′PA,Λ′ = BΛ′. The equalities

(A− λ)

∑

Λ′∈σ

BΛ′

=

∑

Λ′∈σ

PA,Λ′(A− λ)

∑

Λ′∈σ

PA,Λ′BΛ′PA,Λ′

=∑

Λ′∈σ

∑

Λ′′∈σ

PA,Λ′PA,Λ′′(A− λ)BΛ′′PA,Λ′′ =∑

Λ′∈σ

P2A,Λ′(A− λ)BΛ′PA,Λ′

=∑

Λ′∈σ

(PA,Λ′A− λPA,Λ′)BΛ′PA,Λ′ =∑

Λ′∈σ

P2A,Λ′ =

∑

Λ′∈σ

PA,Λ′ = 1

and

∑

Λ′∈σ

BΛ′

(A− λ) =

∑

Λ′∈σ

PA,Λ′BΛ′PA,Λ′

∑

Λ′∈σ

PA,Λ′(A− λ)

=∑

Λ′∈σ

∑

Λ′′∈σ

PA,Λ′BΛ′PA,Λ′PA,Λ′′(A− λ) =∑

Λ′∈σ

PA,Λ′BΛ′P2A,Λ′(A− λ)

=∑

Λ′∈σ

PA,Λ′BΛ′(PA,Λ′′A− λPA,Λ′) =∑

Λ′∈σ

P2A,Λ′ =

∑

Λ′∈σ

PA,Λ′ = 1

imply A − λ ∈ A ×, and it contradictsλ ∈ Λ ∩ σ ⊂ σ. As a consequence, we obtainλ ∈ σAA,Λ (PA,ΛA). We concludeσA (PA,ΛA) = (Λ∩σ)∪{0} andσAA,Λ(PA,ΛA) = Λ∩σ. �

Let A ∈ A be a reductively finite element with‖A‖ = 1 admitting the reductivefunctional calculus inA . As is shown in Example 2.10,σ

A(A + A (1−)) depends not

only onA but also onA . Although the definition of (PA,Λ)Λ∈k usesσA

(A+A (1−)), it isindependent ofA . Indeed, the condition thatA admits the reductive functional calculusin A ensures the stability ofσ

A(A + A (1−)) under changes ofA containingA. We

note that (PA,Λ)Λ∈k is obtained as a system inL (A) ⊂ A , butL (A) does not necessarily

satisfy the condition thatA admits the reductive functional calculus inL (A).

Proposition 3.12. Let A ∈ A be a reductively finite element with‖A‖ = 1 admittingthe reductive functional calculus inA . Then A admits the rigid continuous functionalcalculus inA if and only if PA,ΛA admits the rigid continuous functional calculus inAA,Λ

for anyΛ ∈ k.

Proof. Suppose thatA admits the rigid continuous functional calculusιA in A . Since(PA,Λ)Λ∈k is a system of idempotents inL (A), it is contained in the image ofL (zσA (A)) ⊂Crig(σA (A), k) by ιA. For anyΛ ∈ k\σ

A(A+A (1−)), PA,ΛA admits the rigid continuous

functional calculus inAA,Λ = {0} because of the equalitiesPA,Λ = 0, σAA,Λ (PA,ΛA) =σ{0}(0) = ∅, and C(∅, k) = {0}. Let (EΛ)Λ∈k denote the partition of unity in Crig(σA (A), k)given as the preimage of (PA,Λ)Λ∈k by ιA. For eachΛ ∈ k, we denote by supp(EΛ) ⊂σA (A) the measurable subset{λ ∈ k | Eλ(λ) = 1}, and byι(Λ)

! : Crig(supp(EΛ), k) →Crig(σA (A), k) the zero-extension in Theorem 1.28. We show supp(EΛ) = Λ ∩ σA (A)for any Λ ∈ k. Let Λ ∈ k. Since ιA ◦ ι

(Λ)! is an isometric multiplicativek-linear

homomorphism sendingEΛ to PA,Λ, it induces an isometrick-algebra homomorphism

30

ιPA,ΛA : Crig(supp(EΛ), k) → AA,Λ sendingz(k)supp(EΛ) to ιA(EΛz(k)

σA (A)) = PA,ΛA. Therefore

we obtainΛ ∩ σA (A) = σAA,Λ (PA,ΛA) ⊂ σCrig(supp(EΛ),k)(z(k)supp(EΛ)) = supp(EΛ) by The-

orem 1.22 and Proposition 2.5 (i). Letλ ∈ supp(EΛ). Since supp(EΛ) is a subset ofσA (A), A − λ is not invertible inA . Since (PA,Λ′)Λ′∈k is a partition of unity inA con-sisting of idempotents commuting withA and each other,PA,Λ0(A − λ) is not invertiblein AA,Λ0 for someΛ0 ∈ k. It implies λ ∈ σAA,Λ0

(PA,Λ0A) = Λ0 ∩ σA (A) ⊂ supp(EΛ0).Since (PA,Λ′)Λ′∈k is a partition of unity inA , so is (EΛ′)Λ′∈k in Crig(σA (A), k). There-fore we obtainσA (A) =

⊔

Λ′∈k supp(EΛ′). Since supp(EΛ) shares a common elementλwith supp(EΛ0), we getΛ = Λ0, and henceλ ∈ Λ0 ∩ σA (A) = Λ ∩ σA (A). It impliessupp(EΛ) = Λ ∩ σA (A). SinceEΛ is an idempotent, we obtainEΛ = δ

(k)Λ∩σA (A),σA (A).

ThereforeιPA,Λ is the rigid continuous functional calculus ofPA,ΛA in AA,Λ.

Suppose thatPA,ΛA admits the rigid continuous functional calculusιPA,ΛA in AA,Λ foranyΛ ∈ k. Letϕ :

∏

Λ∈k AA,Λ → A denote thek-linear homomorphism given by the ad-dition. Thenϕ sends (PA,ΛA)Λ∈k and (PA,ΛA)Λ∈k to 1 andA respectively, and is an isometryby Proposition 3.8, because (PA,Λ)Λ∈k is a partition of unity inA consisting of idempo-tents commuting withA. Since (PA,Λ)

Λ∈k is orthogonal,ϕ is a multiplicative. Thereforeϕis an isometrick-algebra homomorphism. LetιA : Crig(σA (A), k) → A denote the com-posite of the isometrick-algebra isomorphism Crig(σA (A), k)→

∏

Λ∈k Crig(Λ∩σA (A), k)induced by the restriction maps in Theorem 1.28, the isometric k-algebra homomorphism∏

Λ∈k Crig(Λ ∩ σA (A), k) →∏

Λ∈k AA,Λ given as the direct product of (ιPA,ΛA)Λ∈k, andϕ.ThenιA is an isometrick-algebra homomorphism sendingz(k)

σA (A) =∑

Λ∈k ι(Λ)! (z(k)

Λ∩σA (A)) to∑

Λ∈k ιPA,ΛA(z(k)Λ∩σA (A)) =

∑

Λ∈k PA,ΛA = A, and is the rigid continuous functional calculusof A in A . �

Henceforth, we assume that the valuation ofk is discrete and‖A ‖ is contained in|k|.We fix a uniformiser k ∈ k×. For anA ∈ A \{0}, we putv(A) ≔ log|k|

‖A‖ ∈ Z. We callthe mapv(·) : A → Z the additive norm onA , which is independent of the choice ofk.We setN−1(A ) ≔ A , define mapsP0 : N−1(A )→ A andr0 : N−1(A )→ A by settingP0(A) ≔ 1 andr0(A) = P0(A)A = A for eachA ∈ A , and putA (A)

0 ≔ A = P0(A)A P0(A)for eachA ∈ N−1(A ). An A ∈ A is said to benaive of level0 at 0 in A if one of thefollowing conditions holds:

(i) The equalityA = 0 holds.

(ii) The reductionOk ։ k induces a surjective mapσA (c−1A) ։ σA

(c−1A+A (1−))for a c ∈ k× with ‖A‖ = |c|, and A admits the reductive continuous functionalcalculus inA .

We denote byN0(A ) ⊂ A the subset of naive elements of level 0 at 0 inA , define mapsP(·,A ) = P1 : N0(A ) → A andr1 : N0(A ) → A by settingP(0,A ) = P1(0) ≔ 0,P(A,A ) = P1(A) ≔ P

−v(A)k A,0 for eachA ∈ N0(A )\{0}, andr1(A) ≔ P1(A)A = P(A,A )A

for eachA ∈ N0(A ), and denote byA (A)1 the closure of the unital multiplicativek-linear

subspaceP1(A)A P1(A) ⊂ A with the identityP1(A) for eachA ∈ N0(A ). Inductively

31

on i ∈ N, we setNi+1(A ) ≔ r−11 (Ni(A )) ⊂ Ni(A ), define mapsPi+2 : Ni+1(A ) →

Pi+1(A)A andr i+2 : Ni+1(A ) → A by settingPi+2(A) ≔ P(Pi+1(A)A,A (A)i+1 )Pi+1(A) and

r i+2 ≔ r i+1(r1(A)), and denote byA (A)i+2 the closure of the multiplicativek-linear subspace

Pi+2(A)A Pi+2(A) ⊂ A with the identityPi+2(A) for eachA ∈ Ni+1(A ). Then we haver i+1(A) = Pi+1(A)A andPi+2(A)Pi+1(A) = Pi+1(A)Pi+2(A) = Pi+2(A) for any (i,A) ∈ N ×Ni(A ). Let λ ∈ σA (A). An A ∈ A is said to benaive of level i atλ in A for an i ∈ N ifA− λ ∈ Ni(A ), and is said to benaive atλ in A if A is naive of leveli atλ in A for anyi ∈ N. An A ∈ A is said to benaive inA if A is naive atλ in A for anyλ ∈ σA (A).

Proposition 3.13.For any non-empty compact subsetσ ⊂ k, the equality‖C(σ, k)‖ = |k|holds, and zσ is naive inC(σ, k).

Proof. The first implication follows from the maximal modulus principle of a continuousfunction. Let (i, λ) ∈ N × σ. We verify thatzσ is naive of leveli at λ ∈ σ. We haveσC(σ,k)(zσ − λ) = σ − λ ≔ {λ′ − λ | λ′ ∈ σ}, and the parallel transformσ→ σ − λ : λ′ 7→λ′ − λ induces an isometrick-algebra isomorphism C(σ, k)→ C(σ − λ, k) sendingzσ − λto zσ−λ. Therefore replacingσ by σ − λ, we may assumeλ = 0 ∈ σ. If zσ ≡ 0, i.e.σ = {0}, thenzσ is naive at 0 by definition. Otherwise, replacingσ by c−1σ for a c ∈ k×

with ‖zσ‖ = |c|, we may assume‖zσ‖ = 1. We denote byσ ⊂ k the image ofσ by thereductionOk ։ k. We haveσC(σ,k)(zσ + C(σ, k)(1−)) = σ by Corollary 2.27. Theorem2.30 ensures thatzσ is naive of level 0 at 0 in C(σ, k), and (Pzσ,Λ)Λ∈k is the system ofidempotents corresponding to the partition ofσ associated to the canonical projectionσ ։ σ. Under the identification between C(σ, k)zσ,0 ⊂ C(σ, k) and C(mk ∩ σ, k) givenby the restriction map,r1(zσ) = Pzσ,0zσ ∈ C(σ, k) corresponds tozmk∩σ. Therefore theinduction oni works after the replacement ofσ by mk ∩ σ. We conclude thatzσ is naiveat 0 in C(σ, k). �

Lemma 3.14.Let A∈ A be an element with‖A‖ = 1 admitting the reductive functionalcalculus inA . Then PA,0A coincides with0 if and only if mk∩σA (A) is contained in{0}.

Proof. The necessary implication is obvious by the definition ofPA,0. If PA,0A = 0, thenwe obtainmk ∩ σA (A) ⊂ σA (PA,0A) = {0} after noting thatmk is 0 ∈ k as a coset. �

Lemma 3.15.The inequality‖r i+1(A)‖ ≤ |k|i+1‖A‖ holds for any i∈ N and A∈ Ni(A ).

Proof. It suffices to verify the inequality in the casei = 0 and‖A‖ = 1 by the con-struction ofr i+1. In this case, we haveA , 0 and henceA admits the reductive con-tinuous functional calculusιA+A (1−) in A . If 0 lies in k\σ

A(A + A (1−)), then we

have ‖r1(A)‖ = ‖PA,0A‖ = ‖0‖ = 0 < |k|. Suppose 0∈ σA

(A + A (1−)). Bythe construction ofPA,0, we havePA,0A + A (1−) = (PA,0 + A (1−))(A + A (1−)) =

ιA+A (1−)(δ(k)0 )ιA+A (1−)(zσ

A(A+A (1−))) = ιA+A (1−)(δ

(k)0 zσ

A(A+A (1−))) = ιA+A (1−)(0) = 0, and

hence‖r1(A)‖ = ‖PA,0A‖ < 1. It implies‖r1(A)‖ ≤ |k|. �

Lemma 3.16. Let A ∈ A be an element with‖A‖ = 1 of naive of level0 at everyλ ∈ A (1). Then A−

∑

Λ∈k P1(A − [Λ]) coincides with∑

Λ∈k PA,Λ[Λ], and satisfies‖A −∑

Λ∈k P1(A− [Λ])‖ ≤ |k|, where[·] : k → k denote the Teichmuller embedding.

32

Proof. We haveP1(A− [Λ]) = PA−[Λ],0(A− [Λ]) = PA,Λ(A− [Λ]) for anyΛ ∈ k, and henceA−∑

Λ∈k P1(A− [Λ]) = A− (∑

Λ∈k PA,Λ(A− [Λ])) =∑

Λ∈k[Λ]PA,Λ. In order to verify thesecond assertion, it suffices to show‖P1(A′)‖ ≤ |k| for anyA′ ∈ N0(A ) with ‖A′‖ = 1.

SinceP1(A′) = PA′,0A′ is a lift of ιA′+A (1−)(δ(k)0 )(A′ +A (1−)) = ιA′+A (1−)(δ

(k)0 z(k)σA (A′)) = 0,

it lies in A (1−). By the assumption‖A‖ ⊂ |k|, we conclude‖P1(A′)‖ ≤ |k|. �

Theorem 3.17.Suppose that k is a local field. An A∈ A admits the continuous func-tional calculus inA if and only if A is naive inA .

Proof. We remark that every bounded closed subsetσ ⊂ k is compact and everyA ∈A \{0} is reductively finite, becausek is a local field. LetA ∈ A . Suppose thatA admitsthe continuous functional calculus inA . ThenA is naive by Corollary 2.28, Theorem2.30, and Proposition 3.12.

Suppose thatA is naive inA . Let c: σA (A) → k be a locally constant function.We construct a substitutionc(A) ∈ A . SinceσA (A) is compact, there is anr > 0 suchthat c is constant on each closed disc of radiusr in σA (A). Replacingr by a smallerone, we may assumer ∈ |k×|, because the valuation of a local field is non-trivial. Letλ ∈ σA (A). SinceA is naive atλ, there is ani ∈ N such that‖r i(A− λ)‖ ≤ r by Lemma3.15. We denote byiλ ∈ N the smallest integer among suchi’s. Lemma 3.14 ensures that‖r iλ(A− λ)‖ coincides with 0 only whenλ is isolated inσA (A) by the construction ofr iλ ,and hence the closed disc{λ′ ∈ σA (A) | |λ′−λ| ≤ ‖r iλ(A−λ)‖} is an open subset ofσA (A).We obtain an open coveringU ≔ {{λ′ ∈ σA (A) | |λ′ − λ| ≤ ‖r iλ(A − λ)‖} | λ ∈ σA (A)}of σA (A). SinceσA (A) is compact,U admits a finite subcoveringU0 ⊂ U . For eachU ∈ U0, fix a centreλU ∈ U. We definec(A) as

∑

U∈U0c(λU)PiλU

(A − λU) ∈ A . ByProposition 3.8, we have‖c(A)‖ = maxU∈U0|c(λU)| = ‖c‖. The sum of a partition of unityis 1, and hencec(A) is stable under a refinement ofU0 by the compatibility of the spectraand the reductions in the definition of the naivety. It implies thatc(A) is independent ofthe choice ofr > 0 andU0. If c is a constant map, thenc(A) coincides withc ∈ k bydefinition.

Let c, c′ : σA (A) → k be two locally constant functions. Take finite disjoint opencoverings ofσA (A) by closed discs in the definition ofc(A) andc′(A). Refining them,we may assume that they are a common covering. Then the equalities (c + c′)(A) =c(A)+c′(A) and (cc′)(A) = c(A)c′(A) hold by the construction. Therefore the substitutionc 7→ c(A) gives ak-algebra homomorphismιA from the k-subalgebra c(σA (A), k) ⊂C(σA (A), k) of locally constant functions toA , which is an isometry with respect to therestriction of the supremum norm of C(σA (A), k). SinceσA (A) is a totally disconnectedcompact Hausdorff topological space, c(σA (A), k) is dense in C(σA (A), k), and henceιAcan be uniquely extended to be an isometryιA : C(σA (A), k) → A . It sends a sequenceon c(σA (A), k) converging tozσA (A) in C(σA (A), k) to a sequence converging toA in A ,because Lemma 3.16 ensures that every naive elementA′ ∈ A can be approximated bythe linear combination of idempotents in modulokA (‖A′‖). We conclude thatιA is thecontinuous functional calculus ofA in A . �

33

Corollary 3.18. Suppose that k is a local field. Let V be a strictly Cartesian Banachk-vector space, and A a bounded operator on V. Then A is normalif and only if A isnaive inBk(V).

Let V be a strictly Cartesian Banachk-vector space, andA a bounded operator onV. Computation of the naivety ofA includes recursive calculi with infinite steps unlessV is of finite dimension. Therefore practical use of the criterion for the normality usingthe naivety needs an assumption thatA admits a good structure like a “fractal”. See thefollowing examples.

Example 3.19. Suppose thatk is a finite extension ofQp. Set A ≔ Bk(C0(Z, k)).We consider the elementsA1,A2 ∈ A whose matrix representations with respect to thecanonical orthonormal Schauder basis of C0(Z, k) are given as

M1 =

. . ................ ··

·

· · · −2 p p2 p3 p4 · · ·

· · · 0 −1 p p2 p3 · · ·

· · · 0 0 0 p p2 · · ·

· · · 0 0 0 1 p · · ·

· · · 0 0 0 0 2 · · ·

··· ...

............. . .

,

M2 =

. . ................ ···

· · · −2 p 0 0 0 · · ·· · · 0 −1 p 0 0 · · ·· · · 0 0 0 p 0 · · ·

· · · 0 0 0 1 p · · ·

· · · 0 0 0 0 2 · · ·

··· ...

............. . .

respectively. Leth ∈ {1, 2}. We have‖Ah‖ = 1, σA (Ah) = Zp, andσA

(Ah + A (1−)) =Fp ⊂ k. The reduction ofAh is naturally identified with the operator reduction ofMh

through the isomorphism in Proposition 1.38, and admits thecontinuous functional calcu-lus because its matrix representation is a diagonal matrix.Moreover,PAh,i+mkAh ∈ AAh, j+mk

acting onPAh,i+mkC0(Z, k) = C0(i + pZ, k) admits the matrix representation quite similarto that ofAh ∈ A acting on C0(Z, k) for eachi ∈ N ∩ [0, p− 1]. A simple repetition ofcomputation ensures that all the operators appearing in therecursive process in the verifi-cation of the naivety ofA have a similar matrix representation. ThereforeAh is naive, andhence admits the continuous functional calculusιAh : C(Zp, k) → A . For any continuousmapF : Zp → k, the matrix representationsF(M1) andF(M2) of ιA1(F) = F(A1) and

34

ιA2(F) = F(A2) are given as

F(M1) =

. . ....

......

...... ··

·

· · · F(−2) ∂F(−2)p ∂F(−2)p2 ∂F(−2)p3 ∂F(−2)p4 · · ·

· · · 0 F(−1) ∂F(−1)p ∂F(−1)p2 ∂F(−1)p3 · · ·

· · · 0 0 F(0) ∂F(0)p ∂F(0)p2 · · ·

· · · 0 0 0 F(1) ∂F(1)p · · ·

· · · 0 0 0 0 F(2) · · ·

··· ...

......

......

. . .

,

F(M2) =

. . ....

......

...... ··

·

· · · F(−2) ∂F(−2)p ∂2F(−2)2! p2 ∂3F(−2)

3! p3 ∂4F(−2)4! p4 · · ·

· · · 0 F(−1) ∂F(−1)p ∂2F(−1)2! p2 ∂3F(−1)

3! p3 · · ·

· · · 0 0 F(0) ∂F(0)p ∂2F(0)2! p2 · · ·

· · · 0 0 0 F(1) ∂F(1)p · · ·

· · · 0 0 0 0 F(2) · · ·

··· ...

......

......

. . .

respectively, where we set∂G(n) ≔ G(n) −G(n− 1) for eachn ∈ Zp andG ∈ C(Zp, k).This result is obviously analogous to the holomorphic functional calculus of the shiftoperator in Example 3.5. We remark that the difference (n!)−1∂nF appears in continuousfunctional calculi, while the differential coefficient Fn = (n!)−1dnF/dTn does in holo-morphic functional calculi. The differential operatorddz is continuous in the class ofrigidanalytic functionsF ∈ k{z}, and the difference operator∂ is continuous in the class ofcontinuous functionsF ∈ C(Zp, k), which arenaiveby Proposition 3.13.

3.3 Reduction Algorithm for Matrices

Continuing from Theorem 3.17, we assume thatk is a local field. Following the phi-losophy of the repetitive reduction derived from Theorem 3.17, we construct an explicitalgorithm for a criterion of the diagonalisability of a matrix by a unitary matrix. LetV bea strictly Cartesian Banachk-vector space, andA a bounded operator onV with ‖A‖ = 1.We verified in Proposition 2.22 thatA is reductively normal if and only ifA admits thereductive functional calculus inBk(V). If σ

Bk(V)(A +Bk(V)(1−)) contains at least twoelements, then Proposition 3.12 helps us to determine whether A is normal or not. Ifσ

Bk(V)(A+Bk(V)(1−)) consists of a single elementΛ0 ∈ k, then we havePA,Λ0 = 1 and

PA,Λ = 0 for anyΛ ∈ k\{Λ0}. In this case, Proposition 3.12 gives no information aboutthe normality ofA. In order to apply Proposition 3.12 to a construction of a criterion ofthe normality ofA, we need to replaceA by a suitable operator possessing the informa-tion of the normality ofA so that the spectrum of the operator reduction contains at leasttwo elements in the following way.

35

Proposition 3.20. Let A ∈ A be an element with‖A‖ = 1 admitting the reductive func-tional calculus inA . Then a c∈ Ok satisfiesσ

A(A + A (1−)) = {c+ mk} if and only if

‖A− c‖ < 1, in which case A lies inA (1)× and c lies in O×k .

Proof. First, supposeσA

(A+A (1−)) = {c+mk}. SinceA admits the reductive functional

calculus inA , we haveA+A (1−) = z(k){c+mk}

= c+mk. It implies‖A− c‖ < 1 and|c| = 1.Next, suppose‖A− a‖ < 1. Then we obtain (A+A (1−)) − (c+mk) = (A− c) + A(1−) =0 ∈ A , and hence{c+mk} = σA

(c+mk) = σA(A+A (1−)) after notingA , {0}. The

inequality‖A− c‖ < 1 ensures|c| = 1. It implies 0< σA

(A+A (1−)), and henceA liesin A (1)× by Lemma 2.24. �

Corollary 3.21. Let V be a strictly Cartesian Banach k-vector space, and A a boundedoperator on V. Thenσ

Bk(V)(A+Bk(V)(1−)) consists of a single element if and only if Ais reductively scalar.

Proof. The assertion follows from Proposition 1.38 and Proposition 3.20. �

Lemma 3.22.For any M= (Mi, j)ni, j=1 ∈ Mn(k), M−M1,1 is reductively scalar if and only

if M is scalar.

Proof. Since the (1, 1)-entry ofM − M1,1 is 0, the assertion follows from the fact that amatrix which possesses 0 in a diagonal entry is reductively scalar if and only if it is thezero-matrix. �

Theorem 3.23.Let M = (Mi, j)ni, j=1 ∈ Mn(k) be a non-scalar matrix. Then M is diagonal-

isable by a unitary matrix in k if and only ifΠkn(M − M1,1) ∈ Mn(k) is diagonalisable ink and the matrix representation of the restriction of M− M1,1 to the M-stable subspaceker∏

λ∈Λ(M − M1,1 − λ)n ⊂ kn with respect to an orthonormal basis is diagonalisableby a unitary matrix in k for anyΛ ∈ Σ(M − M1,1), in which caseσMn(k)(Πkn(M − M1,1))contains at least two elements

Proof. We note that by [BGR84] 2.5.1/5, every subspace ofkn is a strictly Cartesian Ba-nachk-vector space and admits an orthonormal basis. The first assertion follows fromProposition 1.38, Proposition 2.15, and Proposition 3.12,and the second assertion fol-lows from Corollary 3.21 and Lemma 3.22. �

As a consequence, Theorem 3.23 yields an algorithm for a criterion of the diagonalis-ability of a matrix by a unitary matrix, because the dimension of the representation spacestrictly decreases in each recursive step of the decomposition of the representation spaceinduced by the eigenspace decomposition of the operator reduction.

AcknowledgementsI am profoundly grateful to Takeshi Tsuji for giving advicesin seminars. I appreciate

helpful personal discussions with Anatoly N. Kochubei. I amthankful to my colleaguesfor discussions. I express my gratitude to family for their deep affection.

36

References

[AD09] D. Attimu, T. Diagana,Functional Calculus for a Class of Unbounded LinearOperators on Some non-Archimedean Banach Spaces, Commentationes Mathemat-icae Universitatis Carolinae, Volume 50, Number 1, p. 37–60, 2009.

[Bak12] R. L. Baker,A Certain p-adic Spectral Theorem, International Journal of Pureand Applied Mathematics, Volume 75, Number 1, p. 19–68, 2012.

[Ber90] V. G. Berkovich, Spectral Theory and Analytic Geometry over non-Archimedean Fields, Mathematical Surveys and Monographs, Number 33, theAmerican Mathematical Society, 1990.

[BGR84] S. Bosch, U. Guntzer, and R. Remmert,Non-Archimedean Analysis A Sys-tematic Approach to Rigid Analytic Geometry, Grundlehren der mathematischenWissenschaften 261, A Series of Comprehensive Studies in Mathematics, Springer,1984.

[Die44] J. Dieudonne,Sur les Fonctions Continues p-adiques, Bulletin des SciencesMathematiques, Volume 68, p. 79–95, 1944.

[Dou72] R. G. Douglas,Banach Algebra Techniques in Operator Theory, Pure and Ap-plied Mathematics, Volume 49, Academic Press, 1972.

[FP04] J. Fresnel, M. Van der Put,Rigid Analytic Geometry and Its Applications,Progress in Mathematics, Volume 218, Birkhauser Boston, 2004.

[Kap50] I. Kaplansky,The Weierstrass Theorem in Fields with Valuations, Proceedingsof the American Mathematical Society, Volume 1, p. 356–357,1950.

[Koc13] A. N. Kochubei,On Some Classes of Non-Archimedean Operator Algebras,Contemporary Mathematics, Volume 596, Advances in Ultrametric Analysis, p.133–148, 2013.

[Mon70] A. F. Monna,Analyse Non-Archimedienne, Ergebnisse der Mathematik undihrer Grenzgebiete, Volume 56, Springer, 1970.

[Mur78] G. J. Murphy,Commutative Non-Archimedean C∗-Algebras, Pacific Journal ofMathematics, Volume 78, Number 2, p. 433–446, 1978.

[Shn38] Lev G. Shnirel’man, Sur les Fonctions dans les Corps Normes etAlgebriquement Fermes(originally in Russian), Izvestiya Rossiiskoi AkademiiNauk SSSR Seriya Matematicheskaya, Volume 2:5–6, p. 487–498, 1938.

[Vis85] M. M. Vishik, Nonarchimedean Spectral Theory, Journal of Soviet Mathematics,Volume 30, p. 2513–2555, 1985.

37