The disc trick (and some other cute moves)
by Orr Shalit
This post is about a chain of little tricks that I discovered with collaborators and used in several papers. It is just a collection of simple moves that lets you deduce the existence of a zero preserving map of a certain class between two gauge invariant spaces, given the existence of a map from that class (things will be very clear soon, I hope). These tricks were later used by some other people, who applied it in different settings.
I am writing this post as notes for my upcoming Pizza & Beer seminar talk. The section at the end of the notes contains references and links to papers where this was used.
Since the disc trick is just a trick, we can explain it with an example. Let be the open unit ball in complex -space. We wish to prove the following theorem.
Theorem A: Let be two homogeneous analytic varieties. Suppose that there exists a biholomorphism . Then there exists a zero preserving biholomorphism .
(The statement of the theorem should remain on the board the whole talk.)
The intuitive idea is that zero is contained in every homogeneous variety, and that it is a distinguished point in varieties. The theorem really should seem obvious. If you think it’s trivial, then please don’t waste your time giving me your proof. Instead, try to prove it for the case where biholomorphism is replaced by homeomorphism.
If we could prove the above theorem, then we could obtain the following corollary (with simple proof):
Corollary: Let be two homogeneous analytic varieties. Suppose that there exists a biholomorphism . Then there exists a linear map such that .
This has following striking corollary (with complicated proof):
Corollary: Let be two irreducible homogeneous analytic varieties. Suppose that there exists a biholomorphism . Then there exists a unitary such that .
These kinds of questions arose in my study of the isomorphism problem for universal operator algebras, and the varieties played the role of maximal ideal spaces of the algebras. That’s not so important to understand right now.
We will prove Theorem A in the next section. The rest of this section is devoted to a crash course in several complex variables. All of the following definitions are given in the form most convenient for my presentation, and are equivalent to the “usual” definitions (the equivalence might depend on very deep theorems in complex analysis; though I don’t remember whether I need Cartan’s Theorem A, Theorem B, or both).
We shall write for the open unit ball in , and we shall denote the unit disc as . we shall use the work “disc” to refer to any intersection of with a one dimensional subspace. Likewise, the word “ball” will refer to the intersection of a unit ball with a linear subspace.
Definition 1: A function is said to be analytic (or holomorphic) if it is given by a power series that converges absolutely in :
where we use the multi-index notation: if and , then we write .
Definition 2: A map is holomorphic (or analytic) if all its coordinates are holomorphic.
(Sorry, I really do use the terms analytic/holomorphic interchangeably. Bear with me.)
Definition 3: An analytic variety in (or an analytic subvariety of ) is just a subset that is given as the joint zero set of a family of analytic functions on .
Usually we’ll just say “variety” or “subvariety”, omitting the word “analytic”. All of our varieties will be subsets of the ball.
Definition 4: A variety is said to be homogeneous if for every and every , we have that , too.
It’s a fact that a homogeneous analytic subvariety in is actually an algebraic subvariety, meaning that it is the zero set of a family of homogeneous ideals.
Note that for every homogeneous variety , the circle acts on by gauge automorphisms
for and .
Definition 5: A map between two subvarieties in the ball is said to be holomorphic if it is the restriction of a holomorphic map on the ball. It is a biholomorphism if it has a holomorphic inverse .
WARNING: A biholomorphism between subvarieties of the ball need not be the restriction of an automorphism.
2. Proof of Theorem A
We will prove the theorem (and understand why it is not trivial) by considering a sequence of cases.
1. Points. The simplest kind of homogeneous variety is the singleton . If and is a biholomorphism, then and there is really nothing to show.
2. Subspaces. The second simplest kind of homogeneous variety is a subspace, or – if we replace a subspace by its intersection with the ball – a ball (or the point ). If are two balls inside , and is a biholomorphism, then and have to be balls of the same dimension, and essentially we have an automorphism (by which I mean self-biholomorphism) of the unit ball for some . Now, is well understood (see Chapter 2 in Rudin’s book “Function Theory in the Unit Ball of “). For every , then the following map defines an automorphism of :
where is the orthogonal projection onto , is the orthogonal projection on the complement, and . (It is interesting to spell out what this formula says when .) Note that and that . This immediately implies that is transitive. In particular, if is an automorphism and , then is an automorphism that sends zero to zero. This essentially proves Theorem A for the case where and are both balls.
We note in passing – and this will be used below – that every automorphism of has the form for some and a unitary .
3. General case, first observation. For a general , we do not know much about the group . If we knew that was in the orbit of under , then we’d be done, because if there was an automorphism such that , then . Our theorem will imply, as expected, that for every point in such that there exists a biholomorphism such that , there does exist an automorphism mapping to , but we do not know this in advance.
4. A few more examples of homogeneous varieties. Suppose that and are both a union of lines. (Draw two varieties, each one a union of two lines.) We see that is a special point, form a topological point of view (also in the complex case, removing it leaves a disconnected topological space). Since is a homeomorphism, it must send zero to zero.
Suppose that is a cone . (Draw a cone in ). We see that is a special point, a singular point. In fact it is the only singular point in (it is hard to imagine what happens in the complex three dimensional space, but we can simply check that vanishes only at the origin). Since preserves smoothness and tangent spaces (it is defined in a neighborhood of the variety), it must send to a singular point of . So if also has as singular point, we are done.
A subspace is a homogeneous variety, and it has no singular points. The the singular locus (set of singular points) of a (complex) homogeneous variety that is not a subspace is never empty (always contains ) is also a homogeneous variety. However, it can be as complicated as any homogeneous variety can be. So things are not as easy as in the above two paragraphs.
For the simplest example, consider the union of two subspaces . The singular locus of is . This might be a point, but it might be a higher dimensional subspaces (that is, a higher dimensional ball). Didn’t we solve this case in step 2 above? No! We know that the orbit of under must be contained in , but we don’t know that it is equal to all of it.
5. The disc trick. Above we saw examples in which it followed from topological or geometric reasons that any map must apriori preserve the origin. Let us consider the next simplest case, in which there exist discs and , such that .
(Draw this.) If then we are done. Otherwise, let . Consider the set
for some biholo .
Since is a biholomorphism for all , we have that contains the circle of radius centered at (inside ), which is given by .
Now let us define
for some automorphism .
Since for every biholomorphism , we have that is an automorphism of , it must hold that contains , which is a simple closed loop (in fact, a circle) passing through . Now, the point is contained in the interior of . But for all . In other words, we can rotate until we hit with a point of the form . Since , it follows that , and we are done.
(Explicitly, we found that there are such that . )
6. Handling the general case (the singular nucleus). We now finish the proof by showing that whenever there exists a biholomorphism , then either we can show that has to map zero to zero, or we can show that there exist discs and , such that , in which case we can apply the disc trick and find another biholomorphism , such that is zero preserving.
As we started discussing above, a homogeneous variety is either a linear subspace (or ball, if we restrict to the unit ball), or it has a singular locus which is again a homogeneous variety (the case is a special case of a linear subspace). Therefore the singular locus , if it is not a subspace (or ) also has a singular locus . We define the singular nucleus of a homogeneous variety to be the singular locus of the singular locus of …. of the singular locus of , applied until we get a linear subspace (or ). In case is a subspace, then . Note that always contain .
Now, is a biholomorphism, then it maps to (if one of them exists), and hence it maps onto . If then we are done, because then , and we must have that .
Otherwise, maps the ball onto the ball . they must be of the same positive dimension, and so is essentially an automorphism of a ball . But for any automorphism of , there exists a disc which it mapped onto another disc . Thus, we can apply the disc trick, and we are done.
3. An application
We now present an application due to Michael Hartz.
Theorem B: The group of unitaries is a maximal subsemigroup of the group of conformal automorphisms of the unit ball.
Proof: If I’ll have time I’ll do this in the talk, but it looks like it’s going to take enough time. So. Exercise! You have to prove that every (not necessarily closed) semigroup of which contains is all of . If you don’t feel like solving the exercise, you can find the proof in Hartz’s paper which I link to below.
4. References and historical remarks
Since it came up again and again in different but similar situations (isometric isomorphisms between operator algebras, bounded isomorphisms between operator algebras, bi-Lipschitz biholomorphisms between noncommutative varieties), we once tried to formulate it as a general theorem, so that it could be invoked in all possible situations, but we ended up with a very boring theorem. It seems that if ever a situation calling for the disc trick arises in the future, the easiest thing would be to simply use the trick again.
Here is a list of places where it has appeared.
The disc trick appeared first in the paper Subproduct systems, by Baruch Solel and myself (Section 11). It was used to classify, up to isometric isomorphism, the operator algebras in a rather limited class (all the tensor algebras that come from a subproduct systems with and ). Later, in the paper The isomorphism problem for some universal operator algebras, by Davidson, Ramsey and myself, we figured out how we can use the singular nucleus and the properties of automorphisms of the ball, in order to find invariant discs (or points) in the maximal ideal spaces, therefore leading to the classification of all tensor algebras of subproduct systems with finite dimensional Hilbert space fibers. In the same paper, we also applied the idea to obtain the classification of tensor algebras of commutative subproduct systems up to isomorphism (which turn out to be multiplier algebras of complete Pick spaces, and this result also opened up the area of research “the isomorphism problem for multiplier algebras of complete Pick spaces”).
The trick was used by Adam Dor-On and Daniel Markiewicz in their beautiful paper Operator algebras and subproduct systems arising from stochastic matrices (Theorem 7.24 there), where operator algebras of subproduct systems with fibers that are of C*-correspondences over a commutative von Neumann algebra were treated.
The trick was also used in the important paper Classification of noncommutative domain algebras by Arias and Latremoliere. This paper was the first example where the trick was used for operator algebras not arising from subproduct systems.
The trick was also used by Michael Hartz, in his lovely paper On the isomorphism problem for multiplier algebras of Nevanlinna-Pick spaces, where the classification results I got with Davidson and Ramsey were extended to a significantly larger class of multiplier algebras. It is in this paper that Hartz presented the neat proof to the fact that the unitary group is a maximal subsemigroup in .
Finally, the trick reappeared in the paper Operator algebras of monomial ideals in noncommuting variables by Kakariadis and myself, where it was used to finish off the completely bounded isomorphism problem for operator algebras with finite dimensional Hilbert space fibers, and also in these two papers (one, two) by Salomon, Shamovich and myself, on the classification of operator algebras of bounded noncommutative analytic functions.