Abstract
The aim of this work is to study the structure of bounded finite potent endomorphisms on Hilbert spaces. In particular, for these operators, an answer to the Invariant Subspace Problem is given and the main properties of its adjoint operator are offered. Moreover, for every bounded finite potent endomorphism we show that Tate’s trace coincides with the Leray trace and with the trace defined by R. Elliott for Riesz Trace Class operators.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of finite potent endomorphism on an arbitrary vector space was introduced by Tate [19] as a basic tool for his elegant definition of Abstract Residues.
During the last decade the theory of finite potent endomorphisms have been applied to studying different topics related to Algebra, Arithmetic and Algebraic Geometry. Thus, Yekutieli [22] and Braunling [2] and [3] have addressed problems of arithmetic symbols by using properties of finite potent endomorphism; Debry [5] and Taelman [18] have offered results about Drinfeld modules from these linear operators and Cabezas Sánchez [4] and the author of this work have given explicit solutions of infinite linear systems from reflexive generalized inverses of finite potent endomorphisms.
As far as we know a study of finite potent endomorphisms in the context of the Functional Analysis is not stated explicitly in the literature.
The aim of this work is to study the main properties of bounded finite potent endomorphisms on arbitrary Hilbert spaces. Indeed, for these operators, an answer to the Invariant Subspace Problem is given and the main properties of its adjoint operator are offered. Moreover, for every bounded finite potent endomorphism we show that Tate’s trace coincides with the Leray trace and with the trace defined by R. Elliott for Riesz Trace Class operators. Also, we relate the determinant of a finite potent endomorphism offered in [8] with classical determinants defined with techniques of Functional Analysis for trace class operators. Bounded finite rank operators and bounded nilpotent linear maps are particular cases of bounded finite potent endomorphism.
The paper is organized as follows. In Sect. 2 we recall the basic definitions of this work (inner product spaces, Hilbert spaces, bounded operators, orthogonality and the adjoint of a bounded linear map) and a summary of statements of the articles [1, 11, 19].
Section 3 deals with the study of the main properties of bounded finite potent endomorphisms on Hilbert spaces. Accordingly, the characterization of these operators is given in Theorem 3.7, the Invariant Subspace Problem is solved for them in Proposition 3.8 and Theorem 3.20 shows that every bounded finite potent endomorphism on a Hilbert space is a Riesz trace class operator. Moreover, we study the spectrum of bounded finite potent endomorphism, we determine when they are compact, we prove that different definitions of traces on infinite-dimensional Hilbert spaces coincide and we relate the determinant of a finite potent endomorphism with the determinants offered by Dunford and Schwartz [6] and by Simon [17] for trace class operators in separable Hilbert spaces.
Finally, Sect. 4 is devoted to offer the characterization of the adjoint \(\varphi ^*\) of a bounded finite potent \(\varphi \in {\text {End}}_{{\mathbb {C}}} ({\mathcal {H}})\) from the AST-decomposition of \({\mathcal {H}}\) introduced in [1], the CN-decomposition of \(\varphi ^*\) given in [11], the structure of the spectrum of \(\varphi ^*\) and the relation between the trace of \(\varphi ^*\) and the determinant of \(\text {Id} + \varphi ^*\) with the trace of \(\varphi \) and the determinant of \(\text {Id} + \varphi \) respectively.
We hope that from the general properties of bounded finite potent endomorphisms introduced in this work, different applications can be found in the near future.
2 Preliminaries
This section is added for the sake of completeness.
2.1 Operators on Hilbert Spaces
Let k be the field of the real numbers or the field of the complex numbers, and let V be a k-vector space.
An inner product on V is a map \(g :V \times V \rightarrow k\) satisfying:
-
g is linear in its first argument:
$$\begin{aligned} g(\lambda v_1 + \mu v_2, v') = \lambda g(v_1,v') + \mu g(v_2,v') \text { for every } v_1,v_2, v' \in V\, ; \end{aligned}$$ -
\(g (v', v) = {\overline{g (v,v')}}\) for all \(v,v' \in V\), where \({\overline{g (v,v')}}\) is the complex conjugate of \(g(v,v')\);
-
g is positive definite:
$$\begin{aligned} g(v,v) \ge 0 \text { and } g(v,v) = 0 \Longleftrightarrow v = 0\, . \end{aligned}$$
Note that \(g(v,v) \in {\mathbb {R}}\) for each \(v\in V\), because \(g(v,v) = {\overline{g(v,v)}}\).
An inner product space is a pair (V, g).
If (V, g) is an inner product vector space over \({\mathbb {C}}\), it is clear that g is antilinear in its second argument, that is:
for all \(v, v'_1,v'_2 \in V\), and \({\bar{\lambda }}\) and \({\bar{\mu }}\) being the conjugates of \(\lambda \) and \(\mu \) respectively.
Nevertheless, if (V, g) is an inner product vector space over \({\mathbb {R}}\), then g is symmetric and bilinear.
The norm on an inner product vector space (V, g) is the real-valued function
and the distance is the map
Every inner product vector space (V, g) has a natural structure of metric topological space determined by the distance \(d_g\). Complete inner product \({\mathbb {C}}\)-vector spaces are known as “Hilbert spaces”. Usually, the inner product of a Hilbert space \({{\mathcal {H}}}\) is denoted by \(\langle \cdot , \cdot \rangle _{{\mathcal {H}}}\). Henceforth, we shall write \({\mathcal {H}}\) to refer to a Hilbert space and keep the inner product \(\langle \cdot , \cdot \rangle _{{\mathcal {H}}}\) implicit.
Since a Banach space is a complete normed space, one has that each property of Banach spaces is valid for Hilbert spaces.
2.1.1 Orthogonality
Definition 2.1
If (V, g) is an inner product vector space, we say that two vectors \(v,v' \in V\) are orthogonal when \(g(v,v') = 0 = g(v',v)\).
Definition 2.2
Given a subspace L of an inner vector space (V, g), we shall call “orthogonal of L”, \(L^\perp \), to the subset of V that consists of all vectors that are orthogonal to every \(h\in L\), that is
If \(L \subseteq {{\mathcal {H}}}\) is a subspace of an arbitrary Hilbert space, it is known that \((S^\perp )^\perp = {{\overline{S}}}\) where \({{\overline{L}}}\) denotes the closure of L. Accordingly, if \(L \subseteq {{\mathcal {H}}}\) is closed, then \((L^\perp )^\perp = L\) and \({{\mathcal {H}}} = L \oplus L^\perp \).
A family \(\{u_i\}_{i\in I}\) of orthonormal vectors of a Hilbert space \({\mathcal {H}}\) is called “orthonormal basis” when \(\langle u_i \rangle _{i\in I}\) is dense in \({\mathcal {H}}\).
In general an orthonormal basis of \({\mathcal {H}}\) is not a Hamel basis of \({\mathcal {H}}\). Furthermore, it is known that every Hilbert space \({\mathcal {H}}\) admits orthonormal bases and all orthonormal bases of \({\mathcal {H}}\) have the same cardinality. A Hilbert space \({\mathcal {H}}\) is named “separable” when it has a countable orthonormal basis.
In this work, when we define a linear operator \(f\in {\text {End}}_{{\mathbb {C}}} ({\mathcal {H}})\) from an orthonormal basis \(\{u_i\}_{i\in I}\) of a Hilbert space \({\mathcal {H}}\), we are assuming that f is defined as zero on the remaining basis of a Hamel basis that contains \(\{u_i\}_{i\in I}\).
2.1.2 Bounded Operators
We shall now recall the main properties of bounded operators of Hilbert spaces.
Definition 2.3
If \({{\mathcal {H}}}_1\) and \({{\mathcal {H}}}_2\) are two Hilbert spaces, a linear map \(f:{{\mathcal {H}}}_1 \rightarrow {{\mathcal {H}}}_2\) is said “bounded” when there exists \(C\in {{\mathbb {R}}}^+\) such that
for every \(v\in {{\mathcal {H}}}_1\).
We shall denote by \(B({{\mathcal {H}}}_1, {{\mathcal {H}}}_2)\) the set of bounded linear maps \(f:{{\mathcal {H}}}_1 \rightarrow {{\mathcal {H}}}_2\) and by \(B({\mathcal {H}})\) the set of bounded endomorphisms of a Hilbert space \({\mathcal {H}}\). Given a linear map \(f\in B({{\mathcal {H}}}_1, {{\mathcal {H}}}_2)\), it is known that f is continuous if and only if f is bounded.
The sum and the composition of linear maps are operations on the set \(B({\mathcal {H}})\). Also, the “Bounded Inverse Theorem” states that if \(f \in B({{\mathcal {H}}}_1, {{\mathcal {H}}}_2)\) is bijective, then \(f^{-1} \in B({{\mathcal {H}}}_2, {{\mathcal {H}}}_1)\).
Let us now consider two inner product vector spaces: (V, g) and \((W,{{\bar{g}}})\). If \(f:V \rightarrow W\) is a linear map, a linear operator \(f^*:W \rightarrow V\) is called the adjoint of f when
for all \(v\in V\) and \(w\in W\). If \(f\in {\text {End}}_k (V)\), we say that f is self-adjoint when \(f^* = f\).
The existence and uniqueness of the adjoint \(f^*\) of a bounded (or equivalently a continuous) operator on arbitrary Hilbert spaces is immediately deduced from the Riesz Representation Theorem and it is easy to check that \([\text {Im } f]^\perp = {\text {Ker}}f^*\). Moreover, the adjoint of a bounded linear map is also bounded.
For the main properties of the adjoint operators on Hilbert spaces readers are referred to [16, Chapter 10].
The spectrum of a bounded operator \(f\in B({\mathcal {H}})\) consists of complex numbers \(\lambda \) such that \(f - \lambda \text {Id}\) is not invertible. We shall denote the spectrum of f by \(\sigma (f)\) and it is clear that every eigenvalue of f is an element of \(\sigma (f)\). It is known that it is possible that an element of \(\sigma (f)\) is not an eigenvalue.
Definition 2.4
Given a Hilbert space \({\mathcal {H}}\), a bounded operator \(f\in B({\mathcal {H}})\) is compact if for every bounded sequence \(\{h_n\}_{n\in {\mathbb {N}}} \subset {{\mathcal {H}}}\), the sequence \(\{f(h_n)\}_{n\in {\mathbb {N}}}\) has a convergent subsequence. We say that f is quasi-compact if \(f^n\) is compact for same \(n\in {\mathbb {N}}\).
If \({\mathcal {H}}\) is an infinite-dimensional Hilbert space, and operator \(f\in {\text {End}}_{{\mathbb {C}}} ({\mathcal {H}})\) is compact if, for every \(h\in {\mathcal {H}}\), it can be written in the form
where \(\{u_n\}_{n\in {\mathbb {N}}}\) and \(\{v_n\}_{n\in {\mathbb {N}}}\) are orthonormal bases of \({\mathcal {H}}\) and \(\{\gamma _n\}_{n\in {\mathbb {N}}}\) is a convergent sequence of positive numbers with limit zero.
We shall denote by \(C ({\mathcal {H}})\) the set of compact operators on a Hilbert space that is a two-sided ideal of \(B({\mathcal {H}})\). The absolute value of a compact operator \(f \in C({\mathcal {H}})\) is \(\vert f \vert = (f^* \circ f)^{\frac{1}{2}}\) that is well-defined because \(f^* \circ f\) is a positive operator.
Definition 2.5
A compact operator \(f \in C({\mathcal {H}})\) is of trace class when
where \(\vert f \vert \) is the absolute value of f and \(\{u_i\}_{i\in I}\) is an orthonormal basis of \({\mathcal {H}}\).
It is known that the definition of a trace class operator is independent of the orthonormal basis chosen.
The space of trace class operators on an arbitrary Hilbert space \({\mathcal {H}}\) is also an ideal of \(B({\mathcal {H}})\) and it will be denoted by \(T({\mathcal {H}})\). Every bounded finite rank endomorphism of a Hilbert space is of trace class.
If \({\mathcal {H}}\) is an arbitrary Hilbert space and \(\{u_i\}_{i\in I}\) is an orthonormal basis of \({\mathcal {H}}\), the trace of a trace class operator \(f\in B({\mathcal {H}})\) is defined by the expression
It is known that \({\text {Tr}}(f)\) is independent of the choice of the orthonormal basis made, and shows in Lidskii [10] that
where \(\{\lambda _i (f)\}\) is the listing of all nonzero eigenvalues of f, counted up to algebraic multiplicity.
2.1.3 The Leray Trace
Let V be an arbitrary k-space and \(f\in {\text {End}}_k (V)\). If we write
since N(f) is an f-invariant subspace of V, we can consider the endomorphism \({{\tilde{f}}} \in {\text {End}}_k (V/N(f))\) induced by f.
Now, when \(E_f = V/N(f)\) is a finite-dimensional k-vector space, according to the statements of [9, Section 1] the “Leray trace” \({\text {Tr}}^L_V\) is defined by
where \({\text {Tr}}_{E_f}\) is the usual trace of an endomorphism on \(E_f\).
If \(V'\subset V\) is a f-invariant subspace, \(f' = f_{\vert _{V'}}\) and \(f''\) is the induced linear map on \(V/V'\), the Leray trace satisfies that
2.1.4 Riesz Operators
Let E be a complex Banach space and let T be a bounded operator on E.
Definition 2.6
[7, Definition 3.1] We say that \(\lambda \in \sigma (T)\) is a “Riesz point” for T if E is a direct sum
where:
-
(1)
\(E(\lambda )\) and \(F(\lambda )\) are T-invariant linear subspaces of E;
-
(2)
\(N(\lambda )\) is finite dimensional;
-
(3)
\(F(\lambda )\) is closed;
-
(4)
\(T - \lambda \text {Id}\) is nilpotent on \(N(\lambda )\);
-
(5)
\(T - \lambda \text {Id}\) is a homeomorphism of \(F(\lambda )\).
Definition 2.7
[7, Definition 3.2] A bounded operator T on a complex Banach space is a “Riesz operator” if every nonzero point of its spectrum is a Riesz point.
According to [20, Theorem 2.1], it is known that if \(\lambda \) is a nonzero Riesz point of \(\sigma (T)\) then \(\lambda \) is isolated in \(\sigma (T)\).
Definition 2.8
We say that a bounded operator T on a complex Banach space is “quasinilpotent” when \(\sigma (T) = \{0\}\).
The fully decomposition of a Riesz operator introduced by West [21] is
Definition 2.9
If T is a Riesz operator on a Banach space E, T is said to be “fully decomposable” if \(T = T_{_C} + T_{_Q}\), where \(T_{_C}\) is a compact operator, \(T_{_Q}\) is quasi-nilpotent and \(T_{_C} \circ T_{_Q} = T_{_Q} \circ T_{_C} = 0\).
A decomposition \(T = T_{_C} + T_{_Q}\) is known as “West decomposition of T”.
Moreover, it follows from [7, Theorem 3.8] that for every Riesz operator T on a Hilbert space \({\mathcal {H}}\) then \(T = T_{_C} + T_{_Q}\), where \(T_{_C}\) is a compact operator, \(T_{_Q}\) is quasi-nilpotent, \(T_{_C}\) is normal, \(\sigma (T) = \sigma (T_{_C})\) and the nonzero eigenvalues of T and \(T_{_C}\) have the same algebraic multiplicities.
Definition 2.10
[7, Definition 4.6] Suppose that T is a Riesz operator on a Hilbert space \({\mathcal {H}}\) and \(T = T_{_C} + T_{_Q}\) is a West decomposition of T. If \(T_{_C}\) is of trace class then we say that T is of Riesz trace class and we define
where \({\text {Tr}}(T_{_C})\) is the trace of the trace class operator \(T_{_C}\).
Moreover, if T is Riesz trace class operator on a Hilbert space \({\mathcal {H}}\), according to the statements of [7, Section 4], the trace \({\text {Tr}}^R_{{\mathcal {H}}} (T)\) satisfies the following properties:
-
(1)
the listing \(\{\lambda _i (T)\}_{i\in I}\) of the nonzero eigenvalues of T, repeated according to multiplicity, is finite and \({\text {Tr}}^R_{{\mathcal {H}}} (T) = \sum \lambda _i (T)\);
-
(2)
if f is a bounded map on \({\mathcal {H}}\) with a bounded inverse, then
$$\begin{aligned} {\text {Tr}}^R_{{\mathcal {H}}} (T) = {\text {Tr}}^R_{{\mathcal {H}}} (f\circ T \circ f^{-1})\, ; \end{aligned}$$ -
(3)
if \(T^*\) is the adjoint of T, then \(T^*\) is Riesz trace class and \({\text {Tr}}^R_{{\mathcal {H}}} (T) = {\overline{{\text {Tr}}^R_{{\mathcal {H}}} (T^*)}}\);
-
(4)
if g is a bounded operator on \({\mathcal {H}}\) such that \(g\circ T = T\circ g\), then \(g\circ T\) and \(T\circ g\) are of Riesz trace class en \({\text {Tr}}^R_{{\mathcal {H}}} (g \circ T) = {\text {Tr}}^R_{{\mathcal {H}}} (T\circ g)\).
2.2 Finite Potent Endomorphisms
Let k be an arbitrary field, and let V be a k-vector space.
Let us now consider an endomorphism \(\varphi \) of V. According to [19, page 149], we say that \(\varphi \) is “finite potent” if \(\varphi ^n V\) is finite dimensional for some n.
In 2007 Argerami et al. [1] that an endomorphism \(\varphi \) is finite potent if and only if V admits a \(\varphi \)-invariant decomposition \(V = U_\varphi \oplus W_\varphi \) such that \(\varphi _{\vert _{U_\varphi }}\) is nilpotent, \(W_\varphi \) is finite dimensional, and \(\varphi _{\vert _{W_\varphi }} :W_\varphi \overset{\sim }{\longrightarrow }W_\varphi \) is an isomorphism.
Indeed, if k[x] is the algebra of polynomials in the variable x with coefficients in k, we may view V as an k[x]-module via \(\varphi \), and the explicit definition of the above \(\varphi \)-invariant subspaces of V is:
-
\(U_\varphi = \{v \in V \text { such that } \varphi ^m (v) = 0 \text { for some m }\}\);
-
\(W_\varphi = \left\{ \begin{aligned}&\qquad v \in V \text { such that } p(\varphi ) (v) = 0 \text { for } \\&\text {some } p(x) \in k[x] \text { relatively prime to } x\end{aligned} \right\} \).
Note that if the annihilator polynomial of \(\varphi \) is \(x^m\cdot p(x)\) with \((x,p(x)) = 1\), then \(U_\varphi = {\text {Ker}}\varphi ^m\) and \(W_\varphi = {\text {Ker}}p(\varphi )\).
Hence, this decomposition is unique. We shall call this decomposition the \(\varphi \)-invariant AST-decomposition of V.
Moreover, we shall call “index of \(\varphi \)”, \(i(\varphi )\), to the nilpotent order of \(\varphi _{\vert _{U_\varphi }}\), which coincides with the smaller \(n\in {\mathbb {N}}\) such that \(\text {Im } \varphi ^n = W_\varphi \). One has that \(i(\varphi ) = 0\) if and only if V is a finite-dimensional vector space and \(\varphi \) is an automorphism.
Lemma 2.11
If V is k-vector space, \(\varphi \in {\text {End}}_k (V)\) is a finite potent endomorphism with AST-decomposition \(V = W_{_\varphi } \oplus U_{_\varphi }\) and \(L\subset V\) is \(\varphi \)-invariant, then one has that:
-
if \(\varphi _{\vert _L} \in {\text {Aut}}_k (L)\), then L is finite-dimensional and \(L\subseteq W_{_\varphi }\);
-
if \(\varphi _{\vert _L}\) is nilpotent, then \(L\subseteq U_{_\varphi }\).
Proof
The statements are direct consequence of the uniqueness of the AST-decomposition of \(\varphi \). \(\square \)
Basic examples of finite potent endomorphisms are all endomorphisms of a finite-dimensional vector spaces and finite rank or nilpotent endomorphisms of infinite-dimensional vector spaces.
Definition 2.12
For a finite potent endomorphism \(\varphi \in {\text {End}}_k (V)\), a trace \({\text {Tr}}_V(\varphi ) \in k\) may be defined from the following properties:
-
(1)
if V is finite dimensional, then \({\text {Tr}}_V(\varphi )\) is the ordinary trace;
-
(2)
if W is a subspace of V such that \(\varphi W \subset W\), then
$$\begin{aligned} {\text {Tr}}_V(\varphi ) = {\text {Tr}}_W(\varphi ) + {\text {Tr}}_{V/W}(\varphi )\, ; \end{aligned}$$ -
(3)
if \(\varphi \) is nilpotent, then \({\text {Tr}}_V(\varphi ) = 0\).
Usually, \({\text {Tr}}_V\) is named “Tate’s trace”.
It is known that in general \({\text {Tr}}_V\) is not linear; that is, it is possible to find finite potent endomorphisms \(\theta _1, \theta _2 \in {\text {End}}_k (V)\) such that
For details readers are referred to [14, 15, 19].
2.3 Core-Nilpotent Decomposition of a Finite Potent Endomorphism
Let V be again an arbitrary k-vector space. Given a finite potent endomorphism \(\varphi \in {\text {End}}_k (V)\), there exists a unique decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), where \(\varphi _{_1}, \varphi _{_2} \in {\text {End}}_k (V)\) are finite potent endomorphisms satisfying that:
-
\(i(\varphi _{_1}) \le 1\);
-
\(\varphi _{_2}\) is nilpotent;
-
\(\varphi _{_1} \circ \varphi _{_2} = \varphi _{_2} \circ \varphi _{_1} = 0\).
According to [11, Theorem 3.2], if \(\varphi ^D\) is the Drazin inverse of \(\varphi \) offered in [13], one has that \(\varphi _1 = \varphi \circ \varphi ^D \circ \varphi \) is the core part of \(\varphi \). Also, \(\varphi _2\) is named the nilpotent part of \(\varphi \) and one has that
Moreover, if \(V = W_{_\varphi }\oplus U_{_\varphi }\) is the AST-decomposition of V induced by \(\varphi \), then \(\varphi _{_1}\) and \(\varphi _{_2}\) are the unique linear maps such that:
3 Bounded Finite Potent Endomorphisms
In this section we shall study the main properties of bounded finite potent endomorphisms on an arbitrary Hilbert space \({{\mathcal {H}}}\).
Let us consider a finite potent endomorphism \(\varphi \in {\text {End}}_{{\mathbb {C}}} ({{\mathcal {H}}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_{_2}}\).
In general, a finite potent endomorphism is not bounded. In fact, there exist finite rank endomorphisms and nilpotent endomorphisms that are not bounded, as it is deduced from the following counter-example.
Let \({\mathcal {H}}\) be a separable Hilbert space with orthonormal basis \(\{u_i\}_{i\in {\mathbb {N}}}\) and let us consider the linear map \(f\in {\text {End}}_k ({\mathcal {H}})\) defined from the assignations‘
One has that f is nilpotent of finite rank and it is not bounded.
Henceforth, we shall write \(B_{fp} ({\mathcal {H}})\) to refer to the set of bounded finite potent endomorphisms of an arbitrary Hilbert space \({\mathcal {H}}\).
Remark 3.1
Let \({\mathcal {H}}\) be a separable Hilbert space with orthonormal basis \(\{u_i\}_{i\in {\mathbb {N}}}\) and let us consider \(\varphi , \varphi ' \in B_{fp} ({\mathcal {H}})\), defined from the assignations:
and
Taking into account that
and
it is clear that \(\varphi + \varphi ', \varphi ' \circ \varphi \notin B_{fp} ({\mathcal {H}})\) and, therefore, \(B_{fp} ({\mathcal {H}})\) is not an ideal of \(B ({\mathcal {H}})\).
Lemma 3.2
Given a Hilbert space \({\mathcal {H}}\) with a decomposition \({\mathcal {H}} = M \oplus N\), where M and N are closed subspaces, and given an endomorphism \(f\in {\text {End}}_{{\mathbb {C}}} ({\mathcal {H}})\) such that \(f_{\vert _{M}} \in B(M,{{\mathcal {H}}})\), then the linear operator \(f_{_M} \in {\text {End}}_{{\mathbb {C}}} ({\mathcal {H}})\) defined as
is bounded.
Proof
If we denote by \({{\mathcal {P}}}_{M,N} \in {\text {End}}_{{\mathbb {C}}} ({\mathcal {H}})\) the oblique projection of \({\mathcal {H}}\) onto M along N, since \(f_{_M} = f_{\vert _{M}} \circ {{\mathcal {P}}}_{M,N}\) and \({{\mathcal {P}}}_{M,N} \in B ({\mathcal {H}})\) because M and N are closed, then we conclude that \(f_{_M} \in B({\mathcal {H}})\). \(\square \)
If V is an arbitrary Banach space, since the oblique projection \({{\mathcal {P}}}_{M,N}\in B(V)\) when \(V = M\oplus N\) with closed subspaces M and N, one has that Lemma 3.2 hold for Banach spaces.
Lemma 3.3
If \({\mathcal {H}}\) is a Hilbert space, \(f \in {\text {End}}_{{\mathbb {C}}} ({{\mathcal {H}}})\) and \(U \subseteq {\mathcal {H}}\) is a closed subspace of finite codimension such that \(f_{\vert _U} = 0\), then \(f\in B({\mathcal {H}})\).
Proof
Since U is closed, then \({{\mathcal {H}}} = U \oplus U^\perp \). Moreover, since U is of finite codimension, one has that \(U^\perp \) is finite-dimensional and there exists \(C_{_{U^\perp }} \in {{\mathbb {R}}}^+\) such that
for every \(v\in U^\perp \).
Hence, given now \(h\in {\mathcal {H}}\), such that \(h = v + u\) with \(v\in U^\perp \) and \(u\in U\), and bearing in mind that \(\Vert v \Vert _{{{\mathcal {H}}}} \le \Vert h \Vert _{{{\mathcal {H}}}}\), one has that
from where we deduce that f is bounded. \(\square \)
Lemma 3.4
If \({\mathcal {H}}\) is a Hilbert space and we consider a finite potent endomorphism \(\varphi \in {\text {End}}_{{\mathbb {C}}} ({{\mathcal {H}}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\varphi _{_1} \in B_{fp} ({\mathcal {H}})\).
Proof
Let \({{\mathcal {H}}} = W_{_\varphi } \oplus U_{_\varphi }\) be the AST-decomposition induced by \(\varphi \). If \(i(\varphi ) = n\), since \(U_{_\varphi } = {\text {Ker}}\varphi ^n\) and \(\varphi ^n\) is bounded, we deduce that \(U_{_\varphi }\) is a closed subspace of \({\mathcal {H}}\) of finite codimension.
Thus, taking into account the explicit expression of the finite potent endomorphism \(\varphi _{_1}\) offered in (2.3), the statement is immediately deduced from Lemma 3.3. \(\square \)
Corollary 3.5
Given a Hilbert space \({\mathcal {H}}\) a a finite potent endomorphism \(\varphi \in {\text {End}}_{{\mathbb {C}}} ({{\mathcal {H}}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\varphi _{_1}\) is a bounded finite rank operator on \({\mathcal {H}}\).
Proof
Since \(\varphi _1\) is of finite rank because \(i(\varphi _1) \le 1\), then the assertion is immediately deduced from Lemma 3.4. \(\square \)
Lemma 3.6
If \({\mathcal {H}}\) is a Hilbert space and we consider a finite potent endomorphism \(\varphi \in {\text {End}}_{{\mathbb {C}}} ({{\mathcal {H}}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\varphi \in B_{fp}({\mathcal {H}})\) if and only if \(\varphi _{_2} \in B_{fp} ({\mathcal {H}})\).
Proof
Taking into account that from Lemma 3.4 we know that \(\varphi _{_1} \in B_{fp}\), if \(\varphi _{_2} \in B_{fp} ({\mathcal {H}})\), since \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\varphi \in B_{fp} ({\mathcal {H}})\).
Conversely, if \(\varphi \in B_{fp} ({\mathcal {H}})\), from Lemma 3.4, we know that \(\varphi _{_1} \in B_{fp}({\mathcal {H}})\). Accordingly, we have that the finite potent endomorphism \(\varphi _{_2} \in B_{fp} ({\mathcal {H}})\) because \(\varphi _{_2} = \varphi - \varphi _{_1}\) and the claim is proved. \(\square \)
Theorem 3.7
(Characterization of bounded finite potent endomorphisms). Given a Hilbert space \({\mathcal {H}}\) and an endomorphism \(\varphi \in {\text {End}}_{{\mathbb {C}}} ({{\mathcal {H}}})\), then the following conditions are equivalent:
-
(1)
\(\varphi \in B_{fp} ({\mathcal {H}})\);
-
(2)
\({\mathcal {H}}\) admits a decomposition \({\mathcal {H}} = W_{_\varphi } \oplus U_{_\varphi }\) where \(W_{_\varphi }\) and \(U_{_\varphi }\) are closed \(\varphi \)-invariant subspaces of \({\mathcal {H}}\), \(W_{_\varphi }\) is finite-dimensional, \(\varphi _{\vert _{W_{_\varphi }}}\) is an homeomorphism of \(W_{_\varphi }\) and \(\varphi _{\vert _{U_{_\varphi }}}\) is a bounded nilpotent operator.
-
(3)
\(\varphi \) has a decomposition \(\varphi = \psi + \phi \), where \(\psi \) is a bounded finite rank operator, \(\phi \) is a bounded nilpotent operator and \(\psi \circ \phi = \phi \circ \psi = 0\).
Proof
\((1) \Longrightarrow (2)\) If \(\varphi \in B_{fp} ({\mathcal {H}})\), \(a_\varphi (x) = x^n p(x)\) is the annihilator polynomial of \(\varphi \) and we consider the AST-decomposition of \({\mathcal {H}}= W_{_\varphi } \oplus U_{_\varphi }\) determined by \(\varphi \), we have that:
-
\(W_{_\varphi } = {\text {Ker}}p(\varphi )\) is finite-dimensional, \(\varphi \)-invariant and closed;
-
\(U_{_\varphi } = {\text {Ker}}\varphi ^n\) is \(\varphi \)-invariant and closed;
-
\(\varphi _{\vert _{W_{_\varphi }}}\) and \(\varphi _{\vert _{U_{_\varphi }}}\) are bounded because the restriction of a bounded operator to a closed subspace is also bounded;
-
from the Bounded Inverse Theorem, since \(\varphi _{\vert _{W_{_\varphi }}} \in {\text {Aut}}_{{\mathbb {C}}} (W_{_\varphi })\), then \(\varphi _{\vert _{W_{_\varphi }}}\) is an homeomorphism of \(W_{_\varphi }\).
\((2) \Longrightarrow (3)\) If \({\mathcal {H}}\) admits a decomposition \({\mathcal {H}} = W_{_\varphi } \oplus U_{_\varphi }\) satisfying the conditions of the second paragraph of this theorem, if we denote \(\psi = \varphi _{_{W_\varphi }}\) and \(\phi = \varphi _{_{U_\varphi }}\) with
from Lemma 3.2 we have that \(\psi \) and \(\phi \) are bounded and, clearly, \(\psi \) is of finite rack and \(\phi \) is nilpotent.
\((3) \Longrightarrow (1)\) Let us now assume that \(\varphi \) has a decomposition \(\varphi = \psi + \phi \), where \(\psi \) is a bounded finite rank operator, \(\phi \) is a bounded nilpotent operator and
From this decomposition, one immediately has that \(\varphi \in B({\mathcal {H}})\) and, since \(\varphi ^n = \psi ^n\) for \(n>>0\), we deduce that \(\varphi \in B_{fp} ({\mathcal {H}})\). \(\square \)
From the uniqueness of the CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\) proved in [11, Theorem 3.2], if \(\varphi = \psi + \phi \) as in Theorem 3.7, one has that \(\psi = \varphi _{_1}\) and \(\phi = \varphi _{_2}\).
Recall now that the “Invariant Subspace Problem” is referred to give an answer to the following question: is there a T-invariant non-trivial closed subspace of E, if T is a bounded operator on a complex Banach space E?
Proposition 3.8
If \({\mathcal {H}}\) is an infinite-dimensional Hilbert space and \(\varphi \in B_{fp} ({\mathcal {H}})\) with \(i(\varphi ) \ge 2\), then we have an affirmative answer to the Invariant Subspace Problem for \(\varphi \) . Moreover, if \({\hat{\varphi }} \in B_{fp} ({\mathcal {H}})\) with \(i({\hat{\varphi }}) = 1\), then \({\hat{\varphi }}\) gives an affirmative answer to the Invariant Subspace Problem if and only if \({\hat{\varphi }}\) is not nilpotent.
Proof
Let \({{\mathcal {H}}} = W_{_\varphi } \oplus U_{_\varphi }\) is the AST-decomposition induced by \(\varphi \in B_{fp} ({\mathcal {H}})\) with \(i(\varphi ) \ge 1\). If \(\varphi \) is not nilpotent, one has that \(W_{_\varphi }\) is a \(\varphi \)-invariant non-trivial closed subspace of \({\mathcal {H}}\).
Let us now consider a bounded nilpotent endomorphism \({{\tilde{\varphi }}}\) with \(i({{\tilde{\varphi }}}) = r \ge 2\). In this case, we have that \({\text {Ker}}{{\tilde{\varphi }}}^{r-1}\) is a \({{\tilde{\varphi }}}\)-invariant non-trivial closed subspace of \({\mathcal {H}}\).
Finally, if \({{\hat{\varphi }}} \in B_{fp} ({\mathcal {H}})\) is a nilpotent endomorphism with \(i({{\hat{\varphi }}}) = 1\), one has that \({{\mathcal {H}}} = {\text {Ker}}{{\hat{\varphi }}}\) and it is clear that the unique \({{\hat{\varphi }}}\)-invariant subspace is \(\{0\}\). \(\square \)
Our task is now to study compact finite potent endomorphisms on arbitrary Hilbert spaces.
Firstly, it is known that bounded finite rank endomorphisms of Hilbert spaces are compact but, in general, a bounded nilpotent endomorphism of a Hilbert space is not compact. An easy counter-example is the following: if \({\mathcal {H}}\) is a separable Hilbert space and \(\{u_i\}_{i\in {\mathbb {N}}}\) is an orthonormal basis of \({\mathcal {H}}\), then the linear operator \(f\in B_{fp} ({\mathcal {H}})\) determined by the conditions
is nilpotent and it is clear that it is not compact.
Proposition 3.9
If \({\mathcal {H}}\) is a Hilbert space and we consider \(\varphi \in B_{fp} ({\mathcal {H}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\varphi \in C({\mathcal {H}})\) if and only if \(\varphi _{_2}\in C({\mathcal {H}})\).
Proof
Since we know from Corollary 3.5 that \(\varphi _{_1}\) is a bounded finite rank operator of \({\mathcal {H}}\), then \(\varphi _1 \in C({\mathcal {H}})\) and we conclude bearing in mind that \(C({\mathcal {H}})\) is an ideal of \(B({\mathcal {H}})\). \(\square \)
Corollary 3.10
Given a Hilbert space \({\mathcal {H}}\) and \(\varphi \) is a bounded finite rank operator of \({\mathcal {H}}\) with \(i(\varphi ) \le 1\), then \(\varphi \in C({\mathcal {H}})\).
Proof
This statement is a direct consequence of Proposition 3.9 because \(i(\varphi ) \le 1\) if and only if \(\varphi = \varphi _1\). \(\square \)
Lemma 3.11
Every bounded finite potent endomorphism on a Hilbert space is quasi-compact.
Proof
Taking into account Definition 2.4, since \(\varphi ^n = (\varphi _{_1})^n\) for every \(n\ge i(\varphi )\), the claim follows from Corollary 3.10. \(\square \)
We shall now study the spectrum of a finite potent bounded endomorphism.
Lemma 3.12
Given a Hilbert space \({\mathcal {H}}\) and an endomorphism \(\varphi \in B_{fp} ({\mathcal {H}})\) with AST-decomposition \({{\mathcal {H}}} = W_{_\varphi } \oplus U_{_\varphi }\) induced by \(\varphi \), then a nonzero \(\lambda \in {\mathbb {C}}\) is an eigenvalue of \(\varphi \) if and only if \(\lambda \) is an eigenvalue of \(\varphi _{\vert _{W_{_\varphi }}}\).
Proof
It is clear that if \(\lambda \ne 0\) is an eigenvalue of \(\varphi _{\vert _{W_{_\varphi }}}\) then \(\lambda \) is also an eigenvalue of \(\varphi \).
Conversely, let us assume that \(\lambda \ne 0\) is an eigenvalue of \(\varphi \) and let us consider a nonzero vector \(v\in V\) such that \(\varphi (v) = \lambda \cdot v\).
Thus, since \(\langle v \rangle \) satisfies that \(\varphi _{\vert _{\langle v \rangle }} \in {\text {Aut}}_{{\mathbb {C}}} (\langle v\rangle )\), from Lemma 2.11 one deduces that \(v\in W_{_\varphi }\) and, therefore, \(\lambda \) is an eigenvalue of \(\varphi _{\vert _{W_{_\varphi }}}\). \(\square \)
Lemma 3.13
If \({\mathcal {H}}\) is a Hilbert space and we consider \(\varphi \in B_{fp} ({\mathcal {H}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\lambda \in {\mathbb {C}}\) is an eigenvalue of \(\varphi \) if and only if \(\lambda \) is an eigenvalue of \(\varphi _1\).
Proof
Bearing in mind the explicit expression of \(\varphi _1\) offered in (2.3), the claim is immediately deduced from Lemma 3.12. \(\square \)
Proposition 3.14
If \({\mathcal {H}}\) is a Hilbert space, \(\varphi \in B_{fp} (\varphi )\) and \({\mathcal {H}} = W_{_\varphi } \oplus U_{_\varphi }\) is the AST-decomposition determined by \(\varphi \), one has that the spectrum of \(\varphi \) is:
-
\(\sigma (\varphi ) = \{\lambda _1, \dots , \lambda _n\}\) when \(i(\varphi ) = 0\);
-
\(\sigma (\varphi ) = \{0,\lambda _1, \dots , \lambda _n\}\) when \(i(\varphi ) \ge 1\),
where \(\{\lambda _1, \dots , \lambda _n\}\) are the eigenvalues of \(\varphi _{\vert _{W_{_\varphi }}}\).
Proof
Recalling that \(i(\varphi ) = 0\) if and only if \({\mathcal {H}}\) is finite-dimensional and \(\varphi \in {\text {Aut}}_{{\mathbb {C}}} ({\mathcal {H}})\), it is clear that the spectrum of \(\varphi \) coincides with the set of eigenvalues of \(\varphi \) because, in this case, \({\mathcal {H}} = W_{_\varphi }\).
Let us assume that \(i(\varphi ) \ge 1\). Then, if we consider a nonzero \(\lambda \in {{\mathbb {C}}}\) such that \(\lambda \) is not an eigenvalue of \(\varphi _{\vert _{W_{_\varphi }}}\), since \(W_{_\varphi }\) and \(U_{_\varphi }\) are invariants under the action of \(\varphi \), one has that \(\lambda \cdot \text {Id} - \varphi _{\vert _{W_{_\varphi }}} \in {\text {Aut}}_{{\mathbb {C}}} (W_{_\varphi })\) and \(\lambda \cdot \text {Id} - \varphi _{\vert _{U_{_\varphi }}} \in {\text {Aut}}_{{\mathbb {C}}} (U_{_\varphi })\), from where we deduce that \(\lambda \cdot \text {Id} - \varphi \) is invertible.
Hence, taking into account that \(\varphi \) is not invertible when \(i(\varphi ) \ge 1\) and the same holds for \(\lambda _i \cdot \text {Id} - \varphi \) for each eigenvalue \(\lambda _i\) of \(\varphi _{\vert _{W_{_\varphi }}}\), the statement is proved. \(\square \)
A direct consequence of this proposition is:
Corollary 3.15
If \({\mathcal {H}}\) is a Hilbert space and we consider \(\varphi \in B_{fp} ({\mathcal {H}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then \(\sigma (\varphi ) = \sigma (\varphi _1)\).
Moreover, one has that:
Lemma 3.16
If \({\mathcal {H}}\) is a Hilbert space and we consider \(\varphi \in B_{fp} ({\mathcal {H}})\), then the spectrum satisfies the following properties:
-
(1)
\(\sigma (\varphi )\) is finite;
-
(2)
\(\lambda \in \sigma (\varphi )\) if and only if \(\lambda \) is an eigenvalue of \(\varphi \);
-
(3)
\(\text {dim}_{{\mathbb {C}}} \, {\text {Ker}}(\varphi - \lambda \text {Id}) < \infty \) for every \(0\ne \lambda \in \sigma (\varphi )\).
Proof
The assertions follows from Lemma 3.12 and Proposition 3.14. \(\square \)
Lemma 3.17
If \({\mathcal {H}}\) is a Hilbert space, \(\varphi \in B_{fp} ({\mathcal {H}})\) and \(0\ne \lambda \in \sigma (\varphi )\), then the algebraic multiplicity of \(\lambda \) as an eigenvalue of \(\varphi _1\) coincides with the algebraic multiplicity of \(\lambda \) as an eigenvalue of \(\varphi _{\vert _{W_{_\varphi }}}\).
Proof
For every nonzero \(\lambda \in {{\mathbb {C}}}\) and for each \(n\in {\mathbb {N}}\), since \({\text {Ker}}\, (\varphi - \lambda \text {Id})^n \subseteq W_{_\varphi }\), one has that
from where the claim is proved. \(\square \)
If \(\varphi \in B_{fp} ({\mathcal {H}})\) and \(\{\lambda _i (\varphi )\}\) is the listing of all nonzero eigenvalues of \(\varphi \), counted up to algebraic multiplicity, then \(\# \{\lambda _i (\varphi )\} = \text {dim}_{{\mathbb {C}}} \, W_{_\varphi }\).
Proposition 3.18
Every bounded finite potent endomorphism on a Hilbert space is a Riesz operator.
Proof
Let \({\mathcal {H}}\) be a Hilbert space and let us consider \(\varphi \in B_{fp} ({\mathcal {H}})\).
We shall check that every nonzero \(\lambda \in \sigma (\varphi )\) satisfies the conditions of a Riesz point given in Definition 2.6.
If \(a_{\varphi } (x)\) is the annihilator polynomial of \(\varphi \), from Proposition 3.14 we have that
with \((x-\lambda , p_\lambda (x)) = 1\), and we can write \(N(\lambda ) = {\text {Ker}}(\varphi - \lambda \text {Id})^s\) and \(F(\lambda ) = {\text {Ker}}p_\lambda (\varphi )\).
It is clear that \(N(\lambda )\) and \(F(\lambda )\) are \(\varphi \)-invariant subspaces of \({\mathcal {H}}\).
Let \({\mathcal {H}} = W_{_\varphi } \oplus U_{_\varphi }\) be the AST-decomposition of \({\mathcal {H}}\) determined by \(\varphi \). Since \(N(\lambda ) \subseteq W_{_\varphi }\), then \(N(\lambda )\) is finite dimensional. Moreover, bearing in mind that \(p_\lambda (\varphi )\) is a bounded operator, one has that \(F(\lambda ) = {\text {Ker}}p_\lambda (\varphi )\) is a closed subspace of \({\mathcal {H}}\).
Finally, since \(\varphi - \lambda \text {Id}\) is clearly nilpotent in \(N (\lambda )\) and is invertible in \(F(\lambda )\), it follows from the Bounded Inverse Theorem that \(\varphi - \lambda \text {Id}\) is an homeomorphism of \(F(\lambda )\), from where the proof is concluded. \(\square \)
Lemma 3.19
If \({\mathcal {H}}\) is a Hilbert space and \(\varphi \in B_{fp} ({\mathcal {H}})\), then the CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\) is a West decomposition of \(\varphi \) (Definition 2.9).
Proof
Since \(\varphi _{_1}\) is compact and \(\varphi _{_2}\) is nilpotent and, therefore, quasi-nilpotent, the CN-decomposition satisfies the conditions of Definition 2.9 and the claim is proved. \(\square \)
Theorem 3.20
Every bounded finite potent endomorphism on a Hilbert space is a Riesz trace class operator.
Proof
Since \(\varphi _{_1}\) is of trace class, then the assertion is immediately deduced from Proposition 3.18 and Lemma 3.19. \(\square \)
3.1 Trace and Determinant of a Bounded Finite Potent Endomorphism
We shall now relate for bounded finite potent endomorphisms the Tate’s trace of a finite potent endomorphism introduced in [19] with the Leray trace defined in [9] and with the trace of a Riesz trace class operator offered in [7]. Given an arbitrary Hilbert space \({\mathcal {H}}\) and an endomorphism \(\varphi \in B_{fp} ({\mathcal {H}})\), we again denote by \({\text {Tr}}_{{\mathcal {H}}} (\varphi )\) the Tate’s trace, by \({\text {Tr}}_{{\mathcal {H}}}^L (\varphi )\) the Leray trace and by \({\text {Tr}}^R_{{\mathcal {H}}} (\varphi )\) the trace of \(\varphi \) as a Riesz trace class operator. Moreover we write \({\text {Tr}}({\psi })\) to refer to the trace of a trace class operator \(\psi \) and \({\text {Tr}}_E (f)\) to refer to the trace of an endomorphism f on a finite-dimensional space E.
Lemma 3.21
Given a Hilbert space \({\mathcal {H}}\) and an endomorphism \(\varphi \in B_{fp} ({\mathcal {H}})\) with AST decomposition and \({\mathcal {H}} = W_{_\varphi } \oplus U_{_\varphi }\), then
Proof
According to [19, page 150], \({\text {Tr}}_{{\mathcal {H}}} (\varphi )\) can be computed as
where W is a finite dimensional linear subspace of \({{\mathcal {H}}}\), such that W is \(\varphi \)-invariant and \(\varphi ^n (V) \subseteq W\) for a large \(n\in {\mathbb {N}}\).
Taking into account that \(W_{_\varphi }\) is \(\varphi \)-invariant and \(W_{_\varphi } = \varphi ^r (V)\) with \(r= i(\varphi )\), the assertion is proved. \(\square \)
Lemma 3.22
If \({\mathcal {H}}\) is a Hilbert space and \(\varphi \in B_{fp} ({\mathcal {H}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\), then the Tate’s trace \({\text {Tr}}_{{\mathcal {H}}} (\varphi )\) coincides with the trace of \(\varphi _{_1}\) as a trace class operator.
Proof
Since \({\text {Tr}}(\varphi )\) can be computed from the expression (2.1), the statement is a direct consequence of Proposition 3.14, Corollary 3.15, Lemmas 3.17 and 3.21\(\square \)
Proposition 3.23
If \({\mathcal {H}}\) is a Hilbert space and \(\varphi \in B_{fp} ({\mathcal {H}})\), then \({\text {Tr}}_{{\mathcal {H}}} (\varphi ) = {\text {Tr}}^R_{{\mathcal {H}}} (\varphi )\).
Proof
The claim follows immediately from Definition 2.10, Lemma 3.19, Theorem 3.20 and Lemma 3.22. \(\square \)
Keeping the previous notation, if \(\varphi \in B_{fp} ({\mathcal {H}})\) and \(\{\lambda _i (\varphi )\}_{i\in \{1, \dots , s\}}\) is the listing of all nonzero eigenvalues of \(\varphi \), counted up to algebraic multiplicity, one has that
However, for the computation of \({\text {Tr}}_{{\mathcal {H}}} (\varphi )\) is not necessary to calculate the eigenvalues of \(\varphi \) because from Lemma 3.21 we can compute \({\text {Tr}}_{{\mathcal {H}}} (\varphi )\) from the matrix associated with \(\varphi _{\vert _{_{W_{_\varphi }}}}\) in a Hamel basis of \(W_{_\varphi }\).
Proposition 3.24
Given a Hilbert space \({\mathcal {H}}\) and a finite potent bounded endomorphism \(\varphi \in B_{fp}\), one has that \({\text {Tr}}_{{\mathcal {H}}} (\varphi ) = {\text {Tr}}^L_{{\mathcal {H}}} (\varphi )\).
Proof
With the notation of Sect. 2.1.3, if \({\mathcal {H}} = W_{_\varphi } \oplus U_{_\varphi }\) is the AST-decomposition of \(\varphi \), it is clear that \(N(\varphi ) = U_{_\varphi }\) and, since \({{\mathcal {H}}}/U_{_\varphi }\) is finite-dimensional, then the Leray trace \({\text {Tr}}^L_{{\mathcal {H}}} (\varphi )\) makes sense.
If \({\tilde{\varphi }}\) is the endomorphism of \({{\mathcal {H}}}/U_{_\varphi }\) induced by \(\varphi \), fixing a linear isomorphism \(\tau :W_{_\varphi } \overset{\sim }{\longrightarrow }{{\mathcal {H}}}/U_{_\varphi }\), from the commutative diagram of linear maps
we deduce that
\(\square \)
We can now summarize the statements of Lemma 3.21, Propositions 3.23 and 3.24 in the following
Theorem 3.25
Given a Hilbert space \({\mathcal {H}}\), for every finite potent bounded endomorphism \(\varphi \in B_{fp} ({\mathcal {H}})\) with AST-decomposition \({\mathcal {H}}= W_{_\varphi } \oplus U_{_\varphi }\), one has that
To finish this section we shall study determinants of bounded finite potent endomorphisms.
If V is an arbitrary k-space, let us now recall from [8, Section 3.A] that a determinant for a finite potent endomorphism \(\varphi \in {\text {End}}_k (V)\) can be defined from the following properties:
-
if V is finite dimensional, then \({\text {det}}^k_V(1 + \varphi )\) is the ordinary determinant;
-
if W is a subspace of V such that \(\varphi W \subset W\), then
$$\begin{aligned} {\text {det}}^k_V(1 + \varphi ) = {\text {det}}^k_W(1 + \varphi ) \cdot {\text {det}}^k_{V/W}(1 + \varphi )\, ; \end{aligned}$$ -
if \(\varphi \) is nilpotent, then \({\text {det}}^k_V(1 + \varphi ) = 1\).
If \(V= W_{_\varphi }\oplus U_{_\varphi }\) is the AST-decomposition of V determined by \(\varphi \), similar to Lemma 3.21, one can check that
where \({\text {det}}^k_{W_{_\varphi }} (\text {Id} + \varphi _{\vert _{_{W_{_\varphi }}}}) \) is the determinant of the endomorphism \(\text {Id} + \varphi _{\vert _{_{W_{_\varphi }}}}\) on the finite-dimensional vector space \(W_{_\varphi }\). Moreover, if \(\varphi = \varphi _{_1} + \varphi _{_2}\) is again the CN-decomposition of \(\varphi \), it is clear that
Let us again consider an arbitrary Hilbert space \({\mathcal {H}}\) and a bounded finite potent endomorphism \(\varphi \in B_{fp} ({\mathcal {H}})\). According to [8, Proposition 3.11] one has that
Hence, one has that \({\text {det}}^{{\mathbb {C}}}_{{\mathcal {H}}} (\text {Id} + \varphi )\) generalizes the determinant defined by Simon [17] for trace class operators B on a separable Hilbert space from the formula:
where \(\mu \in {{\mathbb {C}}}\).
Moreover, it follows from [8, Proposition 3.18] that
where \(\{\lambda _i (\varphi )\}_{i\in \{1, \dots , s\}}\) is again the listing of all nonzero eigenvalues of \(\varphi \), counted up to algebraic multiplicity. Readers can see that expression (3.4) shows that \({\text {det}}^{{\mathbb {C}}}_{{\mathcal {H}}} (\text {Id} + \varphi )\) also generalizes the definition of an infinite determinant for trace class operators offered by Dunford and Schwartz [6].
Accordingly,the expression (3.2) allows us to offer an easy method for the calculation of classical infinite determinants in Functional Analysis for bounded finite potent endomorphisms.
4 Structure of the Adjoint of a Bounded Finite Potent Endomorphism
This final section is devoted to characterizing the structure of the adjoint operator of a bounded finite potent endomorphism of a Hilbert space and to offer its main properties.
Proposition 4.1
If \({\mathcal {H}}\) is a Hilbert space and we consider \(\varphi \in B_{fp} ({\mathcal {H}})\), then the adjoint \(\varphi ^*\) is also a bounded finite potent endomorphism.
Proof
It is known that the adjoint of a bounded linear map of a Hilbert space is also bounded. Let \({{\mathcal {H}}} = W_{_\varphi } \oplus U_{_\varphi }\) be the AST-decomposition induced by \(\varphi \). Since \(W_{_\varphi }\) is finite-dimensional, then \(W_{_\varphi }\) is a closed subspace of \({\mathcal {H}}\) and \({\mathcal {H}} = W_{_\varphi }\oplus W_{_\varphi }^\perp \).
If we now consider \(v\in W_{_\varphi }^\perp \), one has that
for every \(w\in W_{_\varphi }\) because \(W_{_\varphi }\) is \(\varphi \)-invariant. Accordingly, \(W_{_\varphi }^\perp \) is \(\varphi ^*\)-invariant.
Moreover, assuming that \(i(\varphi ) = n\) and bearing in mind that \(\varphi ^n (h) \in W_{_\varphi }\) for all \(h\in {{\mathcal {H}}}\), given \(v\in W_{_\varphi }^\perp \), we have that
from where we deduce that \((\varphi ^*)^n (v) \in {{\mathcal {H}}}^\perp = \{0\}\) and \((\varphi ^*)_{\vert _{W_{_\varphi }^\perp }}\) is nilpotent.
Hence, \(\text {Im } \, (\varphi ^*)^n = (\varphi ^*)^n (W_{_\varphi })\) and we conclude that \(\varphi ^*\) is finite potent. \(\square \)
Corollary 4.2
If \(\varphi \in B_{fp} ({\mathcal {H}})\), \({{\mathcal {H}}} = W_{_{\varphi }} \oplus U_{_{\varphi }}\) is the AST-decomposition induced by \(\varphi \) and \({{\mathcal {H}}} = W_{_{\varphi ^*}} \oplus U_{_{\varphi ^*}}\) is the AST-decomposition determined by \(\varphi ^*\), then
Proof
Taking into account that, from Lemma 2.11 and Proposition 4.1, one has that \(W_{_{\varphi }}^\perp \subseteq U_{_{\varphi ^*}}\), then there exists a surjective linear map of finite-dimensional \({\mathbb {C}}\)-vector spaces
Thus, since \({{\mathcal {H}}}/U_{_{\varphi ^*}} \simeq W_{_{\varphi ^*}}\) and \({{\mathcal {H}}}/W_{_{\varphi }}^\perp \simeq W_{_{\varphi }}\) as \({\mathbb {C}}\)-vector spaces, one obtains that
Moreover, since \(\varphi ^*\) is also bounded finite potent and it is clear that \((\varphi ^*)^* = \varphi \), then
from where the claim is deduced. \(\square \)
Proposition 4.3
If \(\varphi \in B_{fp} ({\mathcal {H}})\), \({{\mathcal {H}}} = W_{_{\varphi }} \oplus U_{_{\varphi }}\) is the AST-decomposition induced by \(\varphi \) and \({{\mathcal {H}}} = W_{_{\varphi ^*}} \oplus U_{_{\varphi ^*}}\) is the AST-decomposition determined by \(\varphi ^*\), then \(U_{_{\varphi ^*}} = W_{_{\varphi }}^\perp \).
Proof
If we consider the exact sequence of finite-dimensional \({\mathbb {C}}\)-vector spaces
taking into account that \({{\mathcal {H}}}/U_{_{\varphi ^*}} \simeq W_{_{\varphi ^*}}\) and \({{\mathcal {H}}}/W_{_{\varphi }}^\perp \simeq W_{_{\varphi }}\) as \({\mathbb {C}}\)-vector spaces, one has that \(U_{_{\varphi ^*}}/W_{_{\varphi }}^\perp = \{0\}\) and the assertion is checked. \(\square \)
Corollary 4.4
If \(\varphi \in B_{fp} ({\mathcal {H}})\), then \(i(\varphi ) = i (\varphi ^*)\).
Proof
Since Proposition 4.3 shows that \(U_{_{\varphi ^*}} = W_{_{\varphi }}^\perp \), it follows from the argumentation made in the proof of Proposition 4.1 that \(i(\varphi ^*) \le i (\varphi )\). Thus, bearing in mind that \((\varphi ^*)^* = \varphi \), we obtain that \(i(\varphi ) = i (\varphi ^*)\) because
\(\square \)
Proposition 4.5
If \(\varphi \in B_{fp} ({\mathcal {H}})\), \({{\mathcal {H}}} = W_{_{\varphi }} \oplus U_{_{\varphi }}\) is the AST-decomposition induced by \(\varphi \) and \({{\mathcal {H}}} = W_{_{\varphi ^*}} \oplus U_{_{\varphi ^*}}\) is the AST-decomposition determined by \(\varphi ^*\), then \(W_{_{\varphi ^*}} = U_{_{\varphi }}^\perp \).
Proof
Since \(U_{_{\varphi }} = U_{_{(\varphi ^*)^*}} = (W_{_{\varphi ^*}})^\perp \) and \(W_{_{\varphi ^*}}\) is closed, then
\(\square \)
A direct consequence of Proposition 4.3 and Proposition 4.5 is
Corollary 4.6
If \({\mathcal {H}}\) is a Hilbert space, \(\varphi \in B_{fp} ({\mathcal {H}})\) and \({{\mathcal {H}}} = W_{_{\varphi }} \oplus U_{_{\varphi }}\) is the AST-decomposition induced by \(\varphi \), then
Since \(W_{_{\varphi }}\) and \(U_{_{\varphi }}\) are \(\varphi ^*\)-invariant, then Corollary 4.6 shows that \(\varphi ^*\) can be computed from \((\varphi ^*)_{\vert _{W_{_\varphi }^\perp }}\) and \((\varphi ^*)_{\vert _{U_{_\varphi }^\perp }}\). Accordingly, if \(h,h' \in {{\mathcal {H}}}\) such that \(h = w + u\) and \(h' = w' + u'\) with \(w\in W_{_{\varphi }}\), \(u \in U_{_{\varphi }}\), \(w' \in U_{_{\varphi }}^\perp \) and \(u' \in W_{_{\varphi }}^\perp \), one has that
Moreover, from the above statements we also immediately prove that the adjoint of a bounded nilpotent endomorphism \(\varphi \) is also a bounded nilpotent endomorphism. Accordingly, if \(\varphi \in B_{fp} ({\mathcal {H}})\) is a nilpotent endomorphism, then \(W_{_{\varphi }} = \{0\}\) and it follows from Proposition 4.3 that \(U_{_{\varphi ^*}} = {\mathcal {H}}\), from where we deduce that \(\varphi ^*\) is nilpotent.
Lemma 4.7
If \({\mathcal {H}}\) is a Hilbert space, \(\varphi \in B_{fp} ({\mathcal {H}})\) with CN-decomposition \(\varphi = \varphi _{_1} + \varphi _{_2}\) and \(\varphi ^*= (\varphi ^*)_{_1} + (\varphi ^*)_{_2}\) is the CN-decomposition of \(\varphi ^*\), then \((\varphi ^*)_{_1} = (\varphi _{_1})^*\) and \((\varphi ^*)_{_2} = (\varphi _{_2})^*\).
Proof
It follows from the properties of the adjoint operator that \(\varphi ^* = (\varphi _{_1})^* + (\varphi _{_2})^*\) and from Corollary 4.4 that \(i((\varphi _{_1})^*) \le 1\).
Also, since \(\varphi _{_1} \circ \varphi _{_2} = \varphi _{_2} \circ \varphi _{_1} = 0\), one has that
Finally, taking into account that \((\varphi _{_1})^*\) and \((\varphi _{_2})^*\) are finite potent and \((\varphi _{_2})^*\) is nilpotent, the statement is a direct consequence of the uniqueness of the CN-decomposition of a finite potent endomorphism. \(\square \)
We shall now study the spectrum of the adjoint operator \(\varphi ^*\).
Proposition 4.8
If \({\mathcal {H}}\) is a Hilbert space and \(\varphi \in B_{fp} ({\mathcal {H}})\), given a nonzero \(\lambda \in {\mathbb {C}}\), one has that \(\lambda \in \sigma (\varphi ^*)\) if and only if \({{\overline{\lambda }}} \in \sigma (\varphi )\). In particular, \(\sigma (\varphi ^*) = {\overline{\sigma (\varphi )}}\). Moreover, the algebraic multiplicity of a nonzero eigenvalue \(\lambda \) of \(\varphi ^*\) coincides with the algebraic multiplicity of \({{\overline{\lambda }}}\) as an eigenvalue of \(\varphi \).
Proof
From the well-known property
for every \(\varphi \in B ({\mathcal {H}})\) we deduce that \(\sigma (\varphi ^*) = {\overline{\sigma (\varphi )}}\).
To prove that the algebraic multiplicity of a nonzero eigenvalue \(\lambda \) of \(\varphi ^*\) coincides with the algebraic multiplicity of \({{\overline{\lambda }}}\) as an eigenvalue of \(\varphi \), we shall now check that for every nonzero \(\lambda \in \sigma (\varphi )\) one has that
for every \(n\in {\mathbb {N}}\).
Since \((\varphi ^* - {{\overline{\lambda }}} \text {Id})^n = [(\varphi - {\lambda } \text {Id})^n]^*\), then
Moreover, if \({{\mathcal {H}}} = W_{_{\varphi }} \oplus U_{_{\varphi }}\) is again the AST-decomposition induced by \(\varphi \), since \(U_{_\varphi } \subseteq [\text {Im} (\varphi - {\lambda } \text {Id})^n\) for every nonzero \(\lambda \in {\mathbb {C}}\), and \(W_{_\varphi }\) and \(U_{_\varphi }\) are \((\varphi - {\lambda } \text {Id})^n\)-invariant subspaces of \({\mathcal {H}}\), one has linear isomorphisms
and, therefore, we deduce that
for every \(n\in {\mathbb {N}}\). \(\square \)
Furthermore, one has that
Proposition 4.9
Given a Hilbert space \({\mathcal {H}}\) and a bounded finite potent endomorphism \(\varphi \in B_{fp} ({\mathcal {H}})\), one has that:
-
\({\text {Tr}}_{{\mathcal {H}}} (\varphi ^*) = {\overline{{\text {Tr}}_{{\mathcal {H}}} (\varphi )}}\);
-
\({\text {det}}^{{\mathbb {C}}}_{{\mathcal {H}}} (1 + \varphi ^*) = {\overline{{\text {det}}^{{\mathbb {C}}}_{{\mathcal {H}}} (1 + \varphi ) }}\).
Proof
Bearing in mind the expressions (3.1) and (3.4), the assertions follows from Proposition 4.8. \(\square \)
Example 1
Let \(\{u_j\}_{j\in {\mathbb {N}}}\) be an orthonormal basis of a separable Hilbert space \({\mathcal {H}}\). If we consider \(\varphi \in B_{fp} ({\mathcal {H}})\) determined by the conditions
an easy computation shows that
Thus, since \(W_{_{\varphi }} = \langle u_1, u_2+u_4, u_3\rangle \) and \(U_{_{\varphi }} = {\overline{\langle u_i \rangle _{i\ge 4}}}\), one has that:
-
\(W_{_{\varphi ^*}} = U_{_{\varphi }}^\perp = \langle u_1, u_2, u_3 \rangle \);
-
\(U_{_{\varphi ^*}} = W_{_{\varphi }}^\perp = \langle u_2 - u_4\rangle \oplus {\overline{\langle u_j \rangle _{j\ge 5}}}\).
Also, it is clear that \(i(\varphi ) = i (\varphi ^*) = 2\).
Moreover, since the explicit expressions of the core part and the nilpotent part of \(\varphi \) are
and
with adjoint operators
and
it is easy to check that these data are compatible with the statements of Lemma 4.7.
Finally, taking into account that
in the bases \(\{ u_1, u_2+u_4, u_3\}\) of \(W_{_\varphi }\) and \(\{ u_1, u_2, u_3\}\) of \(W_{_{\varphi ^*}}\) respectively, one has that
Remark 4.10
Given \(\varphi \in B_{fp} ({\mathcal {H}})\), although \(W_{_\varphi }^\perp \) and \(U_{_\varphi }^\perp \) are \(\varphi ^*\)-invariant, we wish to point out that, in general, \(W_{_\varphi }^\perp \) and \(U_{_\varphi }^\perp \) are not \(\varphi \)-invariant. A counter-example for this fact is the bounded finite potent endomorphism studied in Example 1.
Remark 4.11
(Final Remark). During the past few years the author of this work has extended several generalized inverses of finite square complex matrices to finite potent endomorphisms on infinite-dimensional inner product spaces in [11,12,13]. From the results of Sect. 4, we hope, in forthcoming papers, to extend to bounded finite potent endomorphisms on arbitrary Hilbert spaces different generalized inverses of finite complex matrices that need the notion of the conjugate transpose matrix for their definitions.
References
Argerami, M., Szechtman, F., Tifenbach, R.: On Tates trace. Linear Multilinear Algebra 55(6), 515–520 (2007)
Braunling, O.: Adele residue symbol and Tates central extension for multiloop Lie algebras. Algebra Number Theory 8(1), 19–52 (2014)
Braunling, O.: On the local residue symbol in the style of Tate and Beilinson. N. Y. J. Math. 24, 458–513 (2018)
Cabezas Sánchez, V., Pablos Romo, F.: Explicit solutions of infinite systems of linear equations from reflexive generalized inverses of finite potent endomorphisms. Linear Algebra Appl. 559, 125–144 (2018)
Debry, C.P.: Towards a class number formula for Drinfeld modules. University of Amsterdam, Amsterdam (2016)
Dundford, N., Schwartz, J.: Linear Operators, Part II: Spectral Theory. Interscience, New York (1963)
Elliott, R.: Riesz trace class operators. Comp. Math. 22(2), 143–163 (1970)
Hernández Serrano, D., Pablos Romo, F.: Determinants of finite potent endomorphisms, symbols and reciprocity laws. Linear Alg. Appl. 469, 239–261 (2013)
Leray, L.: Théorie des points fixes: indice total et nombre de Lefschetz. Bull. Soc. Math. France 87, 368–377 (1959)
Lidskii, V. B.: Non self-adjoint operators which have a trace (Russian). Doklady Acad. Nauk. S.S.S.R. 125, 485–487 (1959)
Pablos Romo, F.: Core-Nilpotent decomposition and new generalized inverses of Finite Potent Endomorphisms. Linear Multilinear Algebra 68(11), 2254–2275 (2020)
Pablos Romo, F.: On Drazin-Moore-Penrose inverses of finite potent endomorphisms. Linear Multilinear Algebra 69(4), 627–647 (2021)
Pablos Romo, F.: On the Drazin inverse of finite potent endomorphisms. Linear Multilinear Algebra 67(10), 2135–2146 (2019)
Pablos Romo, F.: On the linearity property of Tates trace. Linear Multilinear Algebra 55(4), 523–526 (2007)
Ramos González, J., Pablos Romo, F.: A negative answer to the question of the linearity of Tates Trace for the sum of two endomorphisms. Linear Multilinear Algebra 62(4), 548–552 (2014)
Roman, S.: Advanced Linear Algebra, Graduate Texts in Mathematics 135, 2nd edn. Springer, New York (2005)
Simon, B.: Notes on infinite determinants of Hilbert space operators. Adv. Math. 24, 244–273 (1977)
Taelman, L.: Special L-values of Drinfeld modules. Ann. Math. 175(1), 369–391 (2012)
Tate, J.: Residues of differentials on curves. Ann. Sci. Éc. Norm. Sup. 1, 149–159 (1968)
West, T.T.: Riesz operators in Banach spaces. Proc. Lond. Math. Soc. 16, 131–140 (1966)
West, T.T.: The decomposition of Riesz operators. Proc. Lond. Math. Soc. 16, 737–752 (1966)
Yekutieli, A.: Local Beilinson-Tate operators. Algebra Number Theory 9(1), 173–224 (2015)
Acknowledgements
The author would like to thank his colleague, Dr. Ángel A. Tocino García, in the Department of Mathematics of the University of Salamanca for his useful comments on properties of operators on Hilbert spaces. Moreover, the author thanks the anonymous reviewer for his/her valuable comments to improve the quality of the paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mohammad Sal Moslehian.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work is partially supported by the Spanish Government research Projects No. PGC2018-099599-B-I00 and the Regional Government of Castile and Leon research Project No. J416/463AC03.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Romo, F.P. On Bounded Finite Potent Operators on Arbitrary Hilbert Spaces. Bull. Malays. Math. Sci. Soc. 44, 4085–4107 (2021). https://doi.org/10.1007/s40840-021-01156-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-021-01156-1