Can you describe the image of the exponential map B(H)->B(H). - MathOverflow

Can you describe the image of the exponential map B(H)->B(H).

2009-10-06T22:05:03Z

James Tener asks at the 20-questions seminar:

The exponential map exp:B(H)->B(H) is just defined by its Taylor series. Can you describe its image?

Answer by David Speyer for Can you describe the image of the exponential map B(H)->B(H).

2009-10-12T12:58:52Z

The exponential map is surjective on GL_2(C), look at Jordan normal form. Also, \begin{matrix} -1 & 0 \ 0 & -1 \end{matrix} is in exp(SL_2), it is the exponential of \begin{matrix} 0 & pi \ -pi & 0 \end{matrix}. However, \begin{matrix} -1 & 1 \ 0 & -1 \end{matrix} is not in exp(SL_2(C)).

Next, some information on the original question.

Answer by David Speyer for Can you describe the image of the exponential map B(H)->B(H).

2009-10-12T13:18:57Z

The commenters on the wiki http://scratchpad.wikia.com/wiki/091006qa are very knowledgeable; I'm just expanding on Anonymous's answer.

The exponential map is not surjective. If you look at Halmos's paper http://www.ams.org/mathscinet-getitem?mr=53391 (link requires academic access) you will see a wide variety of invertible maps that are not exponentials. Here is the simplest example. Take 0 < u < v and let D be the annulus u < |z| < v in the complex plane. Our Hilbert space will be the space of analytic functions f on D such that \integral |f(z)|^2 is finite. The operator is multiplication by z.

To sketch Halmos' argument, H is complete because the property of being harmonic can be stated as a condition on integrals and thus passes through an L^2 limit. The logarithm of multiplication by z wants to be multiplication by \log z, but we can't define \log z on D without introducing a branch cut. Of course, D doesn't have to be this exact shape, any open region of the complex plane which has a function without a logarithm would work.

Answer by David Speyer for Can you describe the image of the exponential map B(H)->B(H).

2009-10-12T13:23:46Z

I am now reading through http://www.ams.org/mathscinet-getitem?mr=870760 . This seems to be extremely relevant, and has many interesting references, but is tough going for me. Perhaps an analyst would like to take a crack at it?

Answer by Jonas Meyer for Can you describe the image of the exponential map B(H)->B(H).

2009-11-07T19:35:15Z

I was going to post this as a comment to David Speyer's Oct 12 13:23 post but it became too long.

I only read the abstract of the paper linked to in that answer so far. It says that they characterize the interior of the image as follows: an invertible operator A is in the interior of the image of the exponential map if and only if 0 is in the unbounded component of the complement of the spectrum of A. (The latter property is equivalent to the existence of an analytic logarithm with domain containing the spectrum of A.) A consequence of this characterization of the interior is the following class of operators contained in the image and in the boundary of the image: every normal operator N with 0 in a bounded component of the complement of the spectrum of N. That is, every normal invertible operator is in the image (take a Borel logarithm on the spectrum and apply "functional calculus" for normal operators), but many of them are also in the boundary of the image, including every unitary operator whose spectrum is the entire circle (e.g. a bilateral shift). I don't know why, but I was surprised to learn that the image isn't open.