Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $A$ be a complex Banach algebra with identity 1. Define the exponential spectrum $e(x)$ of an element $x\in A$ by $$e(x)= \{\lambda\in\mathbb{C}: x-\lambda1 \notin G_1(A)\},$$ where $G_1(A)$ is the connected component of the group of invertibles $G(A)$ that contains the identity.

Is it true that $e(ab)\cup\{0\} = e(ba)\cup\{0\}$ for all $a,b \in A$?

Equivalently, is it true that $1-ab$ is in $G_1(A)$ if and only if $1-ba$ is in $G_1(A)$, for all $a,b \in A$?

Note: The usual spectrum has this property.

Just an additional note:

We have $e(ab)\cup\{0\} = e(ba)\cup\{0\}$ for all $a,b \in A$ if

1) The group of invertibles of $A$ is connected, because then the exponential spectrum of any element is just the usual spectrum of that element.

2) The set $Z(A)G(A) = \{ab: a \in Z(A), b\in G(A)\}$ is dense in $A$, where $Z(A)$ is the center of $A$. (One can prove this). In particular, we have $e(ab)\cup\{0\} = e(ba)\cup\{0\}$ for all $a,b \in A$ if the invertibles are dense in $A$.

3) $A$ is commutative, clearly.

But what about other Banach algebras? Can someone provide a counterexample?

share|improve this question
    
question poseé par TJR, n'est ce pas? It certainly seems to be quite subtle, but perhaps my intuition is faulty. If I recall correctly, one can prove that this works when A is the Calkin algebra, by using properties of the Fredholm index. I'll have to check this though. –  Yemon Choi Oct 25 '09 at 5:48
    
This sounds like a very interesting question. For an arbitrary Banach algebra, I would have thought that the answer is no. Have to think of a counterexample... –  George Lowther Oct 29 '09 at 23:43
    
This probably ought to have a "functional-analysis" tag on it, if anyone with the power & inclination to bestow such is reading –  Yemon Choi Oct 30 '09 at 9:48
    
So, anyone has comments / reading suggestions / ideas? –  Malik Younsi Nov 16 '09 at 17:03
    
I edited to add LaTeX, to merge the additional note from the closed duplicate, and to make the title (an imprecise version of) the question. (I now realize that the additional note also appears in the answer below, but I think that it will be more useful in the question.) –  Jonas Meyer Apr 6 '10 at 2:57

1 Answer 1

Bonjour Yemon, Oui, c'est un problème proposé par TJR dans le cadre d'un projet de recherche d'été CRSNG.

It is indeed a very subtle question, I thought it might interest some people here. This problem appears to be strongly related to the topology of the group of invertible elements, which is difficult to study.

And yes, one can show that the exponential spectrum of a*b is the same than the one of b*a in the Calkin algebra. It follows from the fact that 1-ab is of Fredholm index zero if and only if 1-ba is of Fredholm index zero.

share|improve this answer
    
Yes, it does. This was my first post, I was looking for "functional analysis" and "Banach algebras" tags, but for some reason couldn't find them, so I picked those two tags. –  Malik Younsi Oct 30 '09 at 13:10
    
Do you remember how the proof goes for the Calkin algebra? I'm not sure if the proof I had previously found works, there seems to be a gap, or an error in my notes. –  Yemon Choi Nov 3 '09 at 6:57
    
I'm sorry Yemon, I hadn't seen your comment before. hmm I forgot some key steps in the argument, but I have a pdf with the proof somewhere. I'll find it and then I'll send it to you via ulaval. –  Malik Younsi Nov 5 '09 at 13:45
    
Did you receive the proof, Yemon? –  Malik Younsi Nov 16 '09 at 17:03
    
Yes, thanks. Unfortunately the proof seems to rely on subtle properties of the densely-defined trace on B(H) - it's not clear how one might generalise to other Banach algebras. Even the C*-case could be difficult. –  Yemon Choi Nov 17 '09 at 8:15

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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