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.
1. Background
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).
(In the talk itself, I will begin by discussing Cartan’s Uniqueness Theorem, that a self map of a domain that fixes a point and has derivative equal to the identity at that point must be the identity map. Then I will show that a biholomorphism between circled domains that sends the origin to the origin must be a linear map, concluding that the ball and polydisc are not biholomorphic. Since these are well known results I will not type them up here.)
We shall write for the open unit ball in
, and we shall denote the unit disc as
. We will use the word “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
. Indeed, if
and
, then
is an automorphism mapping
to
. Hence by Cartan’s Uniqueness Theorem
is equal to a unitary
, so
.
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, from 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 (remember that
is defined in a neighborhood of the variety), it must send
to a singular point of
. So if
also has
as a unique singular point, we are done.
We see, that when the varieties both have a unique singular point at the origin, the biholomorphism must preserve this. Not every homogeneous variety has a singular point. A linear subspace is a homogeneous variety, and it has no singular points. 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 we define
. Note that
always contains
.
Now, is a biholomorphism, then it maps
onto
(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
(indeed, up to a unitary an automorphism has the form
, which preserves the disc obtained as the span of
intersect the ball). Thus, we can apply the disc trick, and we are done.
3. An application
He is a nice application due to Michael Hartz.
Theorem B: The group of unitaries is a maximal subgroup of the group
of conformal automorphisms of the unit ball. In fact, it is a maxial subsemigroup.
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 .
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.