3
$\begingroup$

If $A$ is a $C^*$-algebra, there is a notion of Hilbert $A$-module (which is something like Hilbert space but the inner product takes values in $A$). The standard example is $H_A:=\{(a_n)_{n=1}^{\infty}: \sum_{n=1}^{\infty}a_n^*a_n \ is \ norm \ convergent\}$ with $A$ valued inner product $(a,b):=\sum_{n=1}^{\infty}a_n^*b_n$. The algebra of all adjointable operators on Hilbert module turns out to be a $C^*$-algebra and there is a notion of $A$ compact operator: these are operators which are norm limits of linear combinations of operators of the form $\theta_{x,y}$ where $\theta_{x,y}(z)=x(y,z)$ (our modules are right modules). Having the notion of $A$ compact operator one can speak about $A$ Fredholm operators ($A$-linear). Let us take $A=C(X)$ (continuous functions on some compact space) and let $T:X \to Fred(H)$ be a continuous family of Fredholm operators on $H=\ell^2$.

Why is it true such that $T$ is $A$-Fredholm operator on $H_A$ for $A=C(X)$?

My guess is that if $T$ is a continuos family of Fredholm operators one can view $T$ as an operator $H_A \to H_A$ via $T\xi(x)=T_x\xi(x)$ where $\xi \in H_A$ is a sequence of continuous functions (so $\xi(x)$ makes sense as an element of $\ell^2$). However it is not obvious for me how to show that $T$ is now $A$-Fredholm. I think that the proof boils down to the following fact: if $T:X \to K(H)$ is a family of compact operators on $\ell^2$ then $T$ viewed as a $A$ linear operator in $H_A$ (as explained above) is $A$-compact.

$\endgroup$
2
$\begingroup$

The answer involves two arguments (I guess that $Fred (\ell^2)$ does have the norm topology).

  1. If $F: X \to Fred(\ell^2)$ is continuous, then there is another map $G: X \to Fred(\ell^2)$ such that $FG-1$ and $GF-1$ are maps into $\mathcal{K} (\ell^2)$.

  2. If $T:X \to \mathcal{K}(\ell^2)$, then $T$, viewed as an $C(X)$-linear operator on $H_{C(X)}$ is $C(X)$-compact.

Ad 1: Let $\mathcal{Q}(\ell^2) = \mathcal{B}(\ell^2)/\mathcal{K}(\ell^2)$ be the Calkin algebra and let $\pi: \mathcal{B}(\ell^2) \to \mathcal{Q}(\ell^2)$ be the quotient map. It is well-known that $F \in \mathcal{B}(\ell^2)$ is Fredholm iff $\pi(F)$ is invertible, and also that $\mathcal{Q}$ is a Banach algebra. Let $\mathcal{G} \subset \mathcal{Q}(\ell^2) $ be the group of units. Hence the inversion map $\iota:\mathcal{G} \to \mathcal{G}$ is continuous. By the Bartle-Graves theorem, there is a continuous section $\sigma: \mathcal{Q} \to \mathcal{B}(\ell^2)$. With these notations, define $$G:= \sigma \circ \iota \circ \pi \circ F: X \to Fred (\ell^2) \subset \mathcal{B}(\ell^2).$$

Ad 2: Let $T:X \to \mathcal{K}(\ell^2)$ be continuous. Let $\epsilon>0$. For each $x \in X$, pick a finite rank operator $R_x$ so that $\| R_x-T_x\| \leq \epsilon /3$, and pick a neighborhood $U_x$ such that $\| T_x-T_y\| \leq \epsilon/3$ for $y \in U_x$. Take a finite subcover $U_1 , \ldots, U_n$ of $(U_x)_{x \in X}$, and a partition of unity $\lambda_1, \ldots, \lambda_n$. Then $$\| T_x- \sum_{j} \lambda_j (x) R_{x_j} \| \leq \epsilon.$$ The operator $\sum_{j} \lambda_j (x) R_{x_j}$ is of finite rank (in the Hilbert module sense), and it follows that $T$ is compact (in the Hilbert module sense).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.