1 Introduction

The Carathéodory extremal functions on a domain \(\Omega \subset \mathbb {C}^d\) constitute a special class of analytic maps from \(\Omega \) into the unit disc \(\mathbb {D}\), a class which contains a lot of information about \(\Omega \). By a domain we mean a connected open set in \(\mathbb {C}^d\) for some integer \(d\ge 1\).

In brief, the Carathéodory extremal functions on \(\Omega \) are those which, for some pair zw of distinct points of \(\Omega \), maximise over all analytic maps F from \(\Omega \) to the open unit disc \(\mathbb {D}\) the Poincaré distance from F(z) to F(w). A function F for which the maximum is attained is said to solve the Carathéodory extremal problem for the pair zw.

Even for such a simple domain as the bidisc \(\mathbb {D}^2\) the class of all Carathéodory extremal functions is large, and there are few domains for which an explicit description of all Carathéodory extremal functions can be given. However, it can happen that there is a relatively small set \(\mathcal {C}\) of Carathéodory extremal functions on a domain \(\Omega \) which is universal for the Carathéodory extremal problem, in the sense that, for every choice of distinct points zw in \(\Omega \), there exists a function \(F\in \mathcal {C}\) that solves the Carathéodory extremal problem for zw. See Definition 2.1 for a more formal statement.

For example, if \(\Omega =\mathbb {D}\) then we may take \(\mathcal {C}\) to comprise only the identity map on \(\mathbb {D}\), while if \(\Omega =\mathbb {D}^2\) then the set \(\mathcal {C}\) comprising the two co-ordinate functions has the universal property.

In this paper we pose the question to what extent does knowledge of a universal set for the Carathéodory extremal problem on \(\Omega \)determine \(\Omega \)up to isomorphism?

One has to make some assumption to rule out cases such as \(\Omega =\mathbb {C}^d\), in which the only analytic functions on \(\Omega \) are constant functions. We therefore restrict attention to Lempert domains (see Definition 2.9), for which the theory of hyperbolic complex spaces (in the sense of [12]) is suitably rich.

We give a positive answer to the question for three domains, namely the disc \(\mathbb {D}\), the bidisc \(\mathbb {D}^2\) and the symmetrized bidisc

$$\begin{aligned} G{\mathop {=}\limits ^\mathrm{def}}\{(z+w,zw):|z|<1,\ |w|<1\} \, \subset \mathbb {C}^2. \end{aligned}$$
(1.1)

For each of these domains there is a small class of functions which is universal for the Carathéodory extremal problem on the domain, and moreover an appropriate structure of this small class does determine the isomorphism class of the domain among Lempert domains (Theorems 3.1, 3.3 and 4.8). In the first two instances, the structure is just the cardinality, while in the case of G, it is a special linear fractional parametrization by the unit circle \(\mathbb {T}\).

The domain G is of interest in connection with the theory of invariant distances [11]. G has an extensive literature, including [2, 6,7,8,9,10, 13, 16,17,18].

In Sect. 2 we describe the Carathéodory and Kobayashi extremal problems, together with basic facts about complex geodesics. In Sect. 3 we characterize the disc and bidisc up to isomorphism among Lempert domains by the property that they admit minimal universal sets for the Carathéodory problem comprising one and two functions respectively.

In the symmetrized bidisc there is a one-parameter family of functions which is universal for the Carathéodory problem on G ([2, Theorem 1.1 and Corollary 4.3]). This family comprises the rational functions

$$\begin{aligned} \Phi _\omega (s^1,s^2) = \frac{2\omega s^2 -s^1}{2-\omega s^1}, \end{aligned}$$
(1.2)

where \(\omega \in \mathbb {T}\).

In Sect. 4 we prove a converse to this statement: a domain \(\Omega \) in \(\mathbb {C}^2\) is biholomorphic to G if and only if \(\Omega \) is a Lempert domain and \(\Omega \) has a universal set for the Carathéodory problem that admits a linear fractional parametrization by \(\mathbb {T}\) akin to Eq. (1.2) (Theorem 4.8).

In Sect. 5 we show that, in the case of the three domains \(\mathbb {D}\), \(\mathbb {D}^2\) and G, the minimal universal set for the Carathéodory problem is unique up to a natural notion of equivalence.

We are grateful to a referee for some useful comments.

2 The Carathéodory and Kobayashi Problems

In this section we describe our terminology for the Carathéodory and Kobayashi extremal problems.

If \(U \subseteq \mathbb {C}^{n_1}\) and \(V \subseteq \mathbb {C}^{n_2}\) are two open sets we denote by V(U) the set of holomorphic mappings from U into V.

If U is an open set in \(\mathbb {C}^n\), then by a datum inU we mean an ordered pair \(\delta \) where either \(\delta \) is discrete, that is, has the form

$$\begin{aligned} \delta =(s_1,s_2) \end{aligned}$$

where \(s_1,s_2 \in U\), or \(\delta \) is infinitesimal, that is, has the form

$$\begin{aligned} \delta = (s,v) \end{aligned}$$

where \(s \in U\) and \(v\in \mathbb {C}^n\).

If \(\delta \) is a datum, we say that \(\delta \) is degenerate if either \(\delta \) is discrete and \(s_1=s_2\) or \(\delta \) is infinitesimal and \(v=0\). Otherwise, we say that \(\delta \) is nondegenerate.

An infinitesimal datum in U is the same thing as a point of the complex tangent bundle TU of U.

Let \(U \subseteq \mathbb {C}^{n_1}\) and \(\Omega \subseteq \mathbb {C}^{n_2}\) be open sets. For \(F\in \Omega (U)\), \(s\in U\), and \(v \in \mathbb {C}^{n_1}\), the directional derivative \(D_v F(s) \in \mathbb {C}^{n_2}\) is defined by

$$\begin{aligned} D_v F(s) = \lim _{z \rightarrow 0} \frac{F(s+zv) - F(s)}{z}. \end{aligned}$$

If U and \(\Omega \) are domains, \(F\in \Omega (U)\), and \(\delta \) is a datum in U, we define a datum \(F(\delta )\) in \(\Omega \) by

$$\begin{aligned} F(\delta ) = (F(s_1),F(s_2)) \end{aligned}$$

when \(\delta \) is discrete and by

$$\begin{aligned} F(\delta ) =(F(s),D_v F (s)) \end{aligned}$$

when \(\delta \) is infinitesimal.

For any datum \(\delta \) in \(\mathbb {D}\), we define \(|\delta |\) to be the Poincaré distance or metric at \(\delta \) in the discrete or infinitesimal case respectively, that is

$$\begin{aligned} |\delta | = \tanh ^{-1}\left| \frac{z_1 -z_2}{1-\bar{z_2}z_1}\right| \end{aligned}$$

when \(\delta =(z_1,z_2)\) is discrete,Footnote 1 and by

$$\begin{aligned} |\delta |=\frac{|v|}{1-|z|^2} \end{aligned}$$

when \(\delta = (z,v)\) is infinitesimal.

The Carathéodory extremal problemFor a domain Uin \(\mathbb {C}^n\)and a nondegenerate datum \(\delta \)in U, compute the quantity \(|\delta |_\mathrm{car}\)defined by

$$\begin{aligned} |\delta |_\mathrm{car}=\sup _{F\in \mathbb {D}(U)} |F(\delta )|. \end{aligned}$$

We shall refer to this problem as \({{\mathrm{{\mathrm Car}}}}\,\delta \) and will say that C solves\({{\mathrm{{\mathrm Car}}}}\,\delta \) if \(C\in \mathbb {D}(U)\) and

$$\begin{aligned} |\delta |_\mathrm{car} = |C(\delta )|. \end{aligned}$$

When it is necessary to specify the domain in question we shall write \(|\delta |_\mathrm{car}^U\).

It is easy to see with the aid of Montel’s theorem that, for every nondegenerate datum \(\delta \) in U, there does exist \(C\in \mathbb {D}(U)\) which solves \({{\mathrm{{\mathrm Car}}}}\,\delta \). Such a C is called a Carathéodory extremal function for \(\delta \).

Definition 2.1

For a domain U in \(\mathbb {C}^n\), we say that a set \(\mathcal {C} \subseteq \mathbb {D}(U)\) is a universal set for the Carathéodory extremal problem on U if, for every nondegenerate datum \(\delta \) in U, there exists a function \(C \in \mathcal {C}\) such that C solves \({{\mathrm{{\mathrm Car}}}}\, \delta \). If, furthermore, no proper subset of \(\mathcal C\) is universal for the Carathéodory extremal problem on U, then we say that \(\mathcal C\) is a minimal universal set.

Example 2.2

For many classical domains \(\Omega \) there are small sets which are universal for the Carathéodory extremal problem on \(\Omega \).

  1. (i)

    If \(\Omega = \mathbb {D}^d\) then the set of the d co-ordinate functions is a minimal universal set for the Carathéodory extremal problem on \(\mathbb {D}^d\), as follows from Schwarz’ Lemma.

  2. (ii)

    For the open Euclidean unit ball \(\mathbb {B}_d\) in \(\mathbb {C}^d\), there is a universal set for the Carathéodory extremal problem consisting of compositions of the projections onto the planes through the center with automorphisms of \(\mathbb {B}_d\).

  3. (iii)

    If \(\Omega = G\), the symmetrized bidisc, there is a 1-parameter set \(\{ \Phi _{\omega }: \omega \in \mathbb {T}\}\) (see Eq. (4.1) below) that constitutes a minimal universal set for the Carathéodory extremal problem on G [2].

Definition 2.3

We say that a domain U in \(\mathbb {C}^n\) is weakly hyperbolic if \(|\delta |_\mathrm{car} >0\) for every nondegenerate datum \(\delta \) in U. Equivalently, for every nondegenerate datum \(\delta \) in U, there exists a bounded holomorphic function F on U such that \(F(\delta )\) is a nondegenerate datum in \(\mathbb {C}\).

Lemma 2.4

Let \(\Omega \) be a weakly hyperbolic domain in \(\mathbb {C}^n\) and assume that \(\mathcal {C}\) is a universal set for the Carathéodory extremal problem on \(\Omega \). If \(\delta \) is a nondegenerate datum in \(\Omega \), then there exists \(C\in \mathcal {C}\) such that \(C(\delta )\) is a nondegenerate datum in \(\mathbb {D}\).

Proof

If \(C(\delta )\) is degenerate for all \(C\in \mathcal {C}\), then

$$\begin{aligned} |\delta |_\mathrm{car} =\sup _{C \in \mathcal {C}} |C(\delta )| =0. \end{aligned}$$

But as \(\Omega \) is assumed to be weakly hyperbolic and \(\delta \) is assumed to be nondegenerate,

$$\begin{aligned} |\delta |_\mathrm{car} >0. \end{aligned}$$

\(\square \)

The Kobayashi extremal problemFor a domain Uin \(\mathbb {C}^n\)and a nondegenerate datum \(\delta \)in U, compute the quantity \(|\delta |_\mathrm{kob}\)defined by

$$\begin{aligned} |\delta |_\mathrm{kob}=\inf _{\begin{array}{c} f\in U(\mathbb {D})\\ f(\zeta ) =\delta \end{array}} |\zeta |. \end{aligned}$$
(2.1)

Again, where appropriate we shall indicate the domain by a superscript. We shall refer to this problem as \({{\mathrm{{\mathrm Kob}}}}\,\delta \) and will say that k solves\({{\mathrm{{\mathrm Kob}}}}\,\delta \) if \(k\in U(\mathbb {D})\) and there exists a datum \(\zeta \) in \(\mathbb {D}\) such that \(k(\zeta ) = \delta \) and

$$\begin{aligned} |\delta |_\mathrm{kob} = |\zeta |. \end{aligned}$$

Note that the infimum in the definition (2.1) of \(|\delta |_\mathrm{kob}\) is attained if U is a taut domain, where U is said to be taut if \({{\mathrm{Hol}}}(\mathbb {D},U)\) is a normal family [11, Sect. 3.2]. In particular \(|\delta |_\mathrm{kob}\) is attained when \(U=G\) [11, Sect. 3.2]. Any function which solves \({{\mathrm{{\mathrm Kob}}}}\,\delta \) is called a Kobayashi extremal function for \(\delta \).

Let U be a domain in \(\mathbb {C}^n\) and \(\delta \) a nondegenerate datum in U. The solutions to \({{\mathrm{{\mathrm Car}}}}\, \delta \) and \({{\mathrm{{\mathrm Kob}}}}\,\delta \) are never unique, for if m is a Möbius transformation of \(\mathbb {D}\), then \(m\circ C\) solves \({{\mathrm{{\mathrm Car}}}}\,\delta \) whenever C solves \({{\mathrm{{\mathrm Car}}}}\,\delta \) and \(f \circ m\) solves \({{\mathrm{{\mathrm Kob}}}}\,\delta \) whenever f solves \({{\mathrm{{\mathrm Kob}}}}\,\delta \). This suggests the following definition.

Definition 2.5

Let U be a domain in \(\mathbb {C}^n\) and let \(\delta \) be a nondegenerate datum in U. We say that the solution to \({{\mathrm{{\mathrm Car}}}}\,\delta \)is essentially unique, if whenever \(F_1\) and \(F_2\) solve \({{\mathrm{{\mathrm Car}}}}\,\delta \) there exists a Möbius transformation m of \(\mathbb {D}\) such that \(F_2=m \circ F_1\). We say that the solution to \({{\mathrm{{\mathrm Kob}}}}\,\delta \)is essentially unique if the infimum in Eq. (2.1) is attained and, whenever \(f_1\) and \(f_2\) solve \({{\mathrm{{\mathrm Car}}}}\,\delta \) there exists a Möbius transformation m of \(\mathbb {D}\) such that \(f_2=f_1 \circ m\).

2.1 Complex Geodesics

One of the most striking results in the theory of hyperbolic complex spaces is Lempert’s theorem [15] to the effect that \(|\cdot |_\mathrm{car}=|\cdot |_\mathrm{kob}\) in bounded convex domains. A consequence is that, if \(\delta \) is a datum in a bounded convex domain \(U \subseteq \mathbb {C}^n\), then there exists a solution C to \({{\mathrm{{\mathrm Car}}}}\,\delta \) and a solution k to \({{\mathrm{{\mathrm Kob}}}}\,\delta \) such that

$$\begin{aligned} C \circ k =\mathrm {id}_\mathbb {D}. \end{aligned}$$
(2.2)

In the event that \(k:\mathbb {D}\rightarrow U\) and there exists \(C:U \rightarrow \mathbb {D}\) such that Eq. (2.2) holds, then necessarily C solves \({{\mathrm{{\mathrm Car}}}}\,\delta \) and k solves \({{\mathrm{{\mathrm Kob}}}}\,\delta \). In this case \({\text {ran}}\, k\) is a complex geodesic.

Definition 2.6

Let U be a domain in \(\mathbb {C}^n\) and let \(\mathcal {D} \subset U\). We say that \(\mathcal {D}\) is a complex geodesic in U if there exists a function \(k \in U(\mathbb {D})\) and a function \(C \in \mathbb {D}(U)\) such that \(C \circ k =\mathrm {id}_\mathbb {D}\) and \(\mathcal {D} =k(\mathbb {D})\).

This terminology is suggested by the fact that if \(k:\mathbb {D}\rightarrow U\), then \({\text {ran}}\, k\) is a totally geodesic one-complex-dimensional manifold properly embedded in U if and only if there exists \(C:U\rightarrow \mathbb {D}\) such that Eq. (2.2) holds.

The following definition provides language to describe in a concise way the relationship between datums in U and complex geodesics in U.

Definition 2.7

If \(V\subseteq U\) and \(\delta \) is a datum in U we say that \(\delta \)contactsV if either \(\delta =(s_1,s_2)\) is discrete and \(s_1\in V\) and \(s_2 \in V\), or \(\delta =(s,v)\) is infinitesimal and there exist two sequences of points \(\{s_n\}\) and \(\{t_n\}\) in V such that \(s_n \ne t_n\) for all n, \(s_n \rightarrow s\) and

$$\begin{aligned} \frac{t_n-s_n}{\left\| t_n-s_n\right\| } \rightarrow v_0, \end{aligned}$$

where \(v \sim v_0\).

Note that if U and \(\Omega \) are domains, V is a subset of U, \(\delta \) is a datum in U that contacts V and \(F_1\) and \(F_2\) are any two holomorphic mappings from U to \(\Omega \) satisfying \(F_1|V=F_2|V\) then \(F_1(\delta ) =F_2(\delta )\) [6, Remark 4.3].

The following proposition relates the concept of contact to the notion of complex geodesics [6, Proposition 4.4].

Proposition 2.8

Let U be a domain in \(\mathbb {C}^n\) and let \(k \in U(\mathbb {D})\) be such that \(\mathcal {D} =k(\mathbb {D})\) is a complex geodesic in U.

  1. (1)

    If \(\zeta \) is a datum in \(\mathbb {D}\), then \(k(\zeta )\) contacts \(\mathcal {D}\).

  2. (2)

    If \(\delta \) is a datum in U that contacts \(\mathcal {D}\), then there exists a datum \(\zeta \) in \(\mathbb {D}\) such that \(\delta =k(\zeta )\).

In honor of Lempert’s seminal theorem [15] we adopt the following definition.

Definition 2.9

A domain U in \(\mathbb {C}^n\) is a Lempert domain if

  1. (1)

    U is weakly hyperbolic,

  2. (2)

    U is taut and

  3. (3)

    \(|\delta |_\mathrm{car}=|\delta |_\mathrm{kob}\) for every nondegenerate datum \(\delta \) in U.

Equivalently, U is a Lempert domain if U is hyperbolic in the sense of Kobayashi [12], meaning that the topology induced by the Kobayashi pseudodistance on U is the Euclidean topology, U is taut and every datum in U contacts a complex geodesic.

Lemma 2.10

Let \(\Omega \) be a Lempert domain in \(\mathbb {C}^n\) and S be a subset of \(\Omega \) having nonempty interior. Suppose that, for all \(\mu _1,\mu _2 \in S\) and for every complex geodesic \(\mathcal {D}\) in \(\Omega \) containing \(\mu _1\) and \(\mu _2\), we have \(\mathcal {D} \subseteq S\). Then \(S=\Omega \).

Proof

Fix \(\mu \in \Omega \). Choose an interior point \(\mu _1\) of S and let \(\mathcal {D}_1\) be the complex geodesic passing through \(\mu \) and \(\mu _1\). Since \(\mu _1\) is an interior point of S, there exists a point \(\mu _2 \in S\cap \mathcal {D}_1\) such that \(\mu _2 \ne \mu _1\). Thus \(\mu _1, \mu _2 \in S\cap \mathcal {D}_1\), and so \(\mathcal {D}_1\) is a geodesic passing through \(\mu _1\) and \(\mu _2\). It follows by assumption that \(\mathcal {D}_1 \subseteq S\). In particular \(\mu \in S\). \(\square \)

3 Characterizations of the Disc and Bidisc

The following is the simplest result on the characterization of a domain through its Carathéodory extremal functions.

Theorem 3.1

Let \(\Omega \) be a Lempert domain. If there is a function \(\Phi \in \mathbb {D}(\Omega )\) such that \(\{\Phi \}\) is a universal set for the Carathéodory problem on \(\Omega \) then \(\Omega \) is isomorphic to \(\mathbb {D}\).

For the proof we shall invoke the following observation.

Lemma 3.2

Let \(\Omega \) be a Lempert domain. If \(\Phi \in \mathbb {D}(\Omega )\) and \(\Phi \) solves \({{\mathrm{{\mathrm Car}}}}\,\delta \) for some nondegenerate datum \(\delta \) in \(\Omega \) then \(\Phi \) is surjective.

Proof

By the tautness of \(\Omega \), there exists a function \(g\in \Omega (\mathbb {D})\) that solves \({{\mathrm{{\mathrm Kob}}}}\,\delta \). Hence there is a datum \(\zeta \) in \(\mathbb {D}\) such that \(g(\zeta )=\delta \) and

$$\begin{aligned} |\zeta |=|\delta |_\mathrm{kob}^\Omega =|\delta |_\mathrm{car}^\Omega =|\Phi (\delta )|= |\Phi \circ g(\zeta )|. \end{aligned}$$

Thus \(\Phi \circ g\) is a holomorphic self-map of \(\mathbb {D}\) that preserves the modulus of a nondegenerate datum in \(\mathbb {D}\). Hence \(\Phi \circ g\) is an automorphism of \(\mathbb {D}\), from which it follows that \(\Phi \) is surjective. \(\square \)

Proof of Theorem 3.1

Consider any nondegenerate discrete datum \(\delta \) in \(\Omega \). By the definition of Lempert domains, \(\Omega \) is weakly hyperbolic and so \(|\delta |_\mathrm{car} > 0\). Since \(\Phi \) solves \({{\mathrm{{\mathrm Car}}}}\, \delta \),

$$\begin{aligned} |\Phi (\delta )|=|\delta |_\mathrm{car} >0. \end{aligned}$$

It follows that \(\Phi :\Omega \rightarrow \mathbb {D}\) is injective.

\(\Phi \) is also surjective, by the preceding lemma. Hence \(\Phi \) is a holomorphic bijection, and therefore an isomorphism between \(\Omega \) and \(\mathbb {D}\). \(\square \)

More remarkably, the bidisc can be characterized up to isomorphism among Lempert domains by the existence of a universal set for the Carathéodory problem comprising two functions.

For the proof of this statement we need some ideas from [1, Sect. 1]. We shall say that a discrete datum \(\lambda =(z,w)\) in \(\mathbb {D}^2\) is balanced if it is nondegenerate and

$$\begin{aligned} |(z^1,w^1)|= |(z^2,w^2)|. \end{aligned}$$

When this equation holds there is a unique automorphism m of \(\mathbb {D}\) such that \(m(z^1)=z^2\) and \(m(w^1)=w^2\). Furthermore there is a unique complex geodesic \(D_\lambda \) in \(\mathbb {D}^2\) that is contacted by \(\lambda \), to wit

$$\begin{aligned} D_\lambda =\{(\zeta ,m(\zeta )):\zeta \in \mathbb {D}\}. \end{aligned}$$

A subset V of \(\mathbb {D}^2\) is said to be balanced if, for every balanced datum \(\lambda \) in \(\mathbb {D}^2\) that contacts V, \(D_\lambda \subseteq V\). According to [1, Proposition 4.10], if B is a balanced subset of \(\mathbb {D}^2\) that is contacted by a balanced datum \(\lambda \), then either \(B=D_\lambda \) or \(B=\mathbb {D}^2\).

Theorem 3.3

Let \(\Omega \) be a Lempert domain. \(\Omega \) is biholomorphic to \(\mathbb {D}^2\) if and only if there is a minimal universal set for the Carathéodory problem on \(\Omega \) consisting of two functions.

Proof

Firstly let us show that the set of the two co-ordinate functions is a minimal universal set for the Carathéodory problem on \(\mathbb {D}^2\). Let \(F^j(\lambda )= \lambda ^j\) for \( \lambda = (\lambda ^1,\lambda ^2) \in \mathbb {D}^2\).

Consider any nondegenerate discrete datum \((\lambda _1,\lambda _2)\) in \(\mathbb {D}^2\), where \(\lambda _1= (\lambda _1^1,\lambda _1^2)\) and \(\lambda _2= (\lambda _2^1,\lambda _2^2)\). We have

$$\begin{aligned} |(\lambda _1, \lambda _2)|_\mathrm{car}= \sup _{F\in \mathbb {D}(\mathbb {D}^2)} |(F(\lambda _1), F(\lambda _2))| \ge \max \{|(\lambda _1^1,\lambda _2^1)|, |(\lambda _1^2,\lambda _2^2)| \}. \end{aligned}$$

Suppose that

$$\begin{aligned} |(\lambda _1^1,\lambda _2^1)|\ge |(\lambda _1^2,\lambda _2^2)|, \end{aligned}$$
(3.1)

so that

$$\begin{aligned} |(\lambda _1, \lambda _2)|_\mathrm{car}=|(\lambda _1^1,\lambda _2^1)|. \end{aligned}$$

By inequality (3.1) and the Schwarz-Pick Lemma, there exists \(f \in \mathbb {D}(\mathbb {D})\) such that

$$\begin{aligned} f(\lambda _1^1)=\lambda ^2_1\quad \hbox { and }\quad f(\lambda _2^1)=\lambda ^2_2. \end{aligned}$$
(3.2)

Consider any extremal function \(F \in \mathbb {D}(\mathbb {D}^2)\) for \({{\mathrm{{\mathrm Car}}}}(\lambda _1,\lambda _2)\). Then

$$\begin{aligned} |(\lambda _1, \lambda _2)|_\mathrm{car}=|(F(\lambda _1),F (\lambda _2))|. \end{aligned}$$

Define \(\tilde{F} \in \mathbb {D}(\mathbb {D}^2)\) by \(\tilde{F}(z)=F(z,f(z))\) for \(z\in \mathbb {D}\). Then, for \(i=1,2\),

$$\begin{aligned} \tilde{F}(\lambda _i^1)=F(\lambda _i^1,f(\lambda _i^1))=F(\lambda _i^1,\lambda _i^2)=F(\lambda _i). \end{aligned}$$

Again by the Schwarz-Pick Lemma,

$$\begin{aligned} \left| \left( \tilde{F}(\lambda ^1_1), \tilde{F}(\lambda ^1_2)\right) \right| \le |(\lambda ^1_1,\lambda ^1_2)|. \end{aligned}$$

Hence

$$\begin{aligned} |(\lambda _1,\lambda _2)|^{\mathbb {D}^2}_{\mathrm {car}}&\le \max \{ |(\lambda ^1_1,\lambda ^1_2)|, |(\lambda ^2_1,\lambda ^2_2)|\}\\&=\max \{ |F^1((\lambda _1,\lambda _2))|, |F^2((\lambda _1,\lambda _2))|\}, \end{aligned}$$

so that either \(F^1\) or \(F^2\) is extremal for \({{\mathrm{{\mathrm Car}}}}(\lambda _1,\lambda _2)\).

A similar proof applies to infinitesimal datums in \(\mathbb {D}^2\). Thus \(\{F^1,F^2\}\) is a universal set for the Carathéodory problem on \(\mathbb {D}^2\).

Clearly, neither \(\{F^1\}\) nor \(\{F^2\}\) is a universal set for the Carathéodory problem on \(\mathbb {D}^2\). Hence \(\{F^1,F^2\}\) is a minimal universal set for the Carathéodory problem on \(\mathbb {D}^2\).

To prove the converse, let \(\{\Psi _1,\Psi _2\}\) be a universal set for the Carathéodory problem on \(\Omega \) and define a holomorphic mapping \(\Psi \) on \(\Omega \) by the formula

$$\begin{aligned} \Psi (\mu ) = (\Psi _1(\mu ), \Psi _2(\mu )). \end{aligned}$$

Since \(\Psi _1,\Psi _2 \in \mathbb {D}(\Omega )\), clearly \(\Psi \) maps \(\Omega \) to \(\mathbb {D}^2\). That \(\Omega \) is biholomorphic to \(\mathbb {D}^2\) will follow if it is shown that \(\Psi \) is bijective from \(\Omega \) to \(\mathbb {D}^2\), since every bijective holomorphic map between domains has a holomorphic inverse (for example, [14, Chap. 10, Exercise 37]).

To see that \(\Psi \) is injective, consider distinct points \(\mu _1\) and \(\mu _2\) in \(\Omega \). As \(\Omega \) is a Lempert domain, \(\Omega \) is weakly hyperbolic, and so

$$\begin{aligned} 0&< |(\mu _1,\mu _2)|_\mathrm{kob}=|(\mu _1,\mu _2)|_\mathrm{car} \\&=\max \left\{ |(\Psi _1(\mu _1),\Psi _1(\mu _2))|, |(\Psi _2(\mu _1),\Psi _2(\mu _2))|\right\} . \end{aligned}$$

Hence either \(\Psi _1(\mu _1)\not = \Psi _1(\mu _2)\) or \(\Psi _2(\mu _1)\not = \Psi _2(\mu _2)\), so that \(\Psi (\mu _1) \not = \Psi (\mu _2)\).

To prove that \(\Psi \) is surjective, we first show that there is a nondegenerate datum \((\mu ,\nu )\) in \(\Omega \) such that \(\Psi ((\mu ,\nu ))\) is a balanced datum in \(\mathbb {D}^2\).

Since \(\{\Psi _1,\Psi _2\}\) is a minimal universal set for \(\Omega \), \(\{\Psi _2\}\) is not a universal set. Therefore there is a nondegenerate datum \((\mu _1,\nu _1)\) in \(\Omega \) for which \(\Psi _1\) is a Carathéodory extremal but \(\Psi _2\) is not. Thus

$$\begin{aligned} \left| \left( \Psi _1(\mu _1),\Psi _1(\nu _1)\right) \right| \quad > \quad \left| \left( \Psi _2(\mu _1),\Psi _2(\nu _1)\right) \right| . \end{aligned}$$

Similarly, there is a nondegenerate datum \((\mu _2,\nu _2)\) in \(\Omega \) such that

$$\begin{aligned} \left| \left( \Psi _1(\mu _2),\Psi _1(\nu _2)\right) \right| \quad < \quad \left| \left( \Psi _2(\mu _2),\Psi _2(\nu _2)\right) \right| . \end{aligned}$$

As \(\Omega \) is a Lempert domain, every pair of points in \(\Omega \) lies in an analytic disc in \(\Omega \), which implies that \(\Omega \) is connected. Thus \(\Omega \times \Omega \) is connected, and consequently the set of nondegenerate discrete datums in \(\Omega \),

$$\begin{aligned} \mathrm {ndd}(\Omega ) {\mathop {=}\limits ^\mathrm{def}}(\Omega \times \Omega ) \setminus \{(\mu ,\mu ):\mu \in \Omega \}, \end{aligned}$$

is connected (note that the diagonal set \(\{(\mu ,\mu )\}\) lies in a subspace of real codimension at least two in \(\Omega \times \Omega \)). Consider a continuous path

$$\begin{aligned} \gamma = (\gamma _1,\gamma _2): [0,1] \rightarrow \mathrm {ndd}(\Omega ) \end{aligned}$$

such that \(\gamma (0)=(\mu _1,\nu _1)\) and \(\gamma (1)=(\mu _2,\nu _2)\). Then

$$\begin{aligned} f(t) {\mathop {=}\limits ^\mathrm{def}}\left| \left( \Psi _1\circ \gamma _1(t), \Psi _1\circ \gamma _2(t)\right) \right| - \left| \left( \Psi _2\circ \gamma _1(t),\Psi _2\circ \gamma _2(t)\right) \right| \end{aligned}$$

depends continuously on t for \(0\le t\le 1\), is strictly positive at \(t=0\) and strictly negative at \(t=1\). Hence there exists \(t_0\in (0,1)\) such that \(f(t_0)=0\). Then \((\mu _0,\nu _0){\mathop {=}\limits ^\mathrm{def}}\gamma (t_0)\) is a nondegenerate datum in \(\Omega \) and

$$\begin{aligned} \Psi ((\mu _0,\nu _0)) \hbox { is a balanced datum in } \mathbb {D}^2. \end{aligned}$$
(3.3)

Now we show that \(\Psi (\Omega )\) is a balanced set in \(\mathbb {D}^2\). Consider any balanced discrete datum \(\lambda =(z,w)\) in \(\mathbb {D}^2\) that contacts \(\Psi (\Omega )\). We wish to prove that \(D_\lambda \), the balanced disc in \(\mathbb {D}^2\) passing through z and w, is contained in \( \Psi (\Omega )\).

Since \(z,w\in \Psi (\Omega )\), we may choose points \(\mu ,\nu \in \Omega \) such that \(z=\Psi (\mu )\) and \(w=\Psi (\nu )\). Since \(\{\Psi _1,\Psi _2\}\) is universal for the Carathéodory problem on \(\Omega \),

$$\begin{aligned} |(\mu ,\nu )|_\mathrm{car}^\Omega&= \max \left\{ |(\Psi _1(\mu ),\Psi _1(\nu ))|,|(\Psi _2(\mu ),\Psi _2(\nu ))|\right\} \\&=|(\Psi (\mu ),\Psi (\nu ))|_\mathrm{car}^{\mathbb {D}^2}. \end{aligned}$$

Since \(\Omega \) is taut there exists a function \(g\in \Omega (\mathbb {D})\) that solves \({{\mathrm{{\mathrm Kob}}}}((\mu ,\nu ))\). That is, there exist \(\alpha ,\beta \in \mathbb {D}\) such that \(|(\alpha ,\beta )|=|(\mu ,\nu )|_\mathrm{kob}\) and \(g(\alpha )=\mu , \, g(\beta )=\nu \). We have now \(\Psi \circ g \in \mathbb {D}^2(\mathbb {D})\) while \(\Psi \circ g(\alpha )=z, \, \Psi \circ g(\beta )=w\) and

$$\begin{aligned} |(\alpha ,\beta )|&=|(\mu ,\nu )|_\mathrm{kob}^\Omega =|(\mu ,\nu )|_\mathrm{car}^\Omega =|(\Psi (\mu ),\Psi (\nu )|_\mathrm{car}^{\mathbb {D}^2}\\&=|(\Psi \circ g(\alpha ),\Psi \circ g(\beta ))|_\mathrm{kob}^{\mathbb {D}^2}. \end{aligned}$$

Thus \(\Psi \circ g\) solves \({{\mathrm{{\mathrm Kob}}}}(\lambda )\). Since \(\lambda \) is a balanced datum in \(\mathbb {D}^2\), there is a unique complex geodesic in \(\mathbb {D}^2\) contacted by \(\lambda \), and therefore

$$\begin{aligned} \Psi \circ g (\mathbb {D})=D_\lambda . \end{aligned}$$

Hence \(D_\lambda \subseteq \Psi (\Omega )\). It follows that \(\Psi (\Omega )\) is a balanced set in \(\mathbb {D}^2\).

Let

$$\begin{aligned} \lambda _0&= \Psi ((\mu _0,\nu _0)) \\&= (\Psi _1,\Psi _2)((\mu _0,\nu _0))\\&= \left( ( \Psi _1(\mu _0),\Psi _2(\mu _0)), (\Psi _1(\nu _0),\Psi _2(\nu _0))\right) . \end{aligned}$$

Since, by Eq. (3.3), \(\Psi (\lambda _0)\) is a balanced datum that contacts \(\Psi (\Omega )\), [1, Proposition 4.10] applies and yields the conclusion that either \(\Psi (\Omega )= D_{\lambda _0}\) or \(\Psi (\Omega )= \mathbb {D}^2\).

Suppose that

$$\begin{aligned} \Psi (\Omega )= D_{\lambda _0}=\{(\zeta ,m(\zeta )):\zeta \in \mathbb {D}\}. \end{aligned}$$

Then \(\Psi _2=m\circ \Psi _1\). Consequently, \(\{\Psi _1\}\) is also a universal set for the Carathéodory problem on \(\Omega \), contrary to the minimality of \(\{\Psi _1,\Psi _2\}\). Hence \(\Psi (\Omega )\ne D_{\lambda _0}\), and therefore \(\Psi (\Omega )= \mathbb {D}^2\).

Thus \(\Psi :\Omega \rightarrow \mathbb {D}^2\) is a bijective holomorphic map between domains, and is therefore an isomorphism. \(\square \)

An interesting feature of the two theorems in this section is that the dimensions of the domains are obtained as consequences of assumptions about universal sets for the Carathéodory problems on the domains.

4 A Characterization of G via Carathéodory Extremals

4.1 Extremal Problems and Geodesics in G

In this subsection we recall some known facts about complex geodesics in the symmetrized bidisc.

Theorem 4.1

For every \(\omega \in \mathbb {T}\) define the rational function \(\Phi _\omega \) by

$$\begin{aligned} \Phi _\omega (s^1,s^2) = \frac{2\omega s^2 -s^1}{2-\omega s^1}. \end{aligned}$$
(4.1)

The set \(\;\mathcal {C} = \{\Phi _\omega : \omega \in \mathbb {T}\}\) is a minimal universal set for the Carathéodory problem on G.

The fact that \(\mathcal C\) is a universal set is proved in [2, Theorem 1.1 and Corollary 4.3]. The minimality of \(\mathcal {C}\) follows from the following fact.

Lemma 4.2

For every point \(\tau \in \mathbb {T}\) there exists a nondegenerate datum \(\delta \) in G such that, for \(\omega \in \mathbb {T}\), \(\Phi _\omega \) solves \({{\mathrm{{\mathrm Car}}}}\,\delta \) if and only if \(\omega =\tau \).

Proof

This fact is shown in [6]. Here is one way to construct such a \(\delta \) [5, Sect. 1]. Choose an automorphism m of \(\mathbb {D}\) having \(\tau \) as its unique fixed point in the closed unit disc. Let

$$\begin{aligned} h(z) = (z+m(z),zm(z)) \end{aligned}$$

for all \(z\in \mathbb {D}\), and let \(\delta \) be the infinitesimal datum \((h(z_0),h'(z_0))\) for some \(z_0\in \mathbb {D}\). Then \(\delta \) has the required property. \(\square \)

For \(\tau \) and \(\delta \) as in the lemma, there is no solution of \({{\mathrm{{\mathrm Car}}}}\,\delta \) in \(\mathcal {C} \setminus \{\Phi _\tau \}\). Therefore, no proper subset of \(\mathcal {C}\) is universal for the Carathéodory problem on G.

The following uniqueness result for the Kobayashi problem in G is proved in [3, Theorem 0.3] for discrete datums and in [6, Theorem A.10] for infinitesimal datums.

Theorem 4.3

If \(\delta \) is a nondegenerate datum in G, then the solution to \({{\mathrm{{\mathrm Kob}}}}\,\delta \) is essentially unique.

A surprising fact about G is that Lempert’s conclusion remains true despite the fact that G is not convex (nor even biholomorphic to a convex domain [8]). To be specific, the following result is true ([2, Corollary 5.7] in the discrete case and [11, Proposition 11.1.7] in the infinitesimal case).

Theorem 4.4

G is a Lempert domain, that is, if \(\delta \) is a nondegenerate datum in G, then there exists a complex geodesic \(\mathcal {D}\) such that \(\delta \) contacts \(\mathcal {D}\).

On combining the last two theorems we deduce:

Corollary 4.5

For every nondegenerate datum \(\delta \) in G there is a unique complex geodesic in G that is contacted by \(\delta \).

As a consequence of these theorems we may unambiguously attach to each nondegenerate datum in G a unique complex geodesic.

Definition 4.6

For any nondegenerate datum \(\delta \) in G, \(\mathcal {D}_\delta \) denotes the unique complex geodesic in G that is contacted by \(\delta \).

4.2 A Characterization of G

In this subsection we characterize G in terms of the possession of a universal set for the Carathéodory problem of the same algebraic form as the universal set for G described in Theorem 4.1.

Definition 4.7

A domain \(\Omega \) in \(\mathbb {C}^2\)has a G-like universal set if there exist \(s,p \in \mathbb {C}(\Omega )\) such that \(\{\Psi _\omega \}_{\omega \in \mathbb {T}}\) is a universal set for the Carathéodory extremal problem on \(\Omega \), where for each \(\omega \in \mathbb {T}\), \(\Psi _\omega \) is defined by

$$\begin{aligned} \Psi _\omega (\mu )=\frac{2\omega p(\mu )-s(\mu )}{2-\omega s(\mu )} \qquad \hbox {for all } \mu \in \Omega . \end{aligned}$$

Theorem 4.8

If \(\Omega \) is a domain in \(\mathbb {C}^2\), then \(\Omega \) is biholomorphically equivalent to the symmetrized bidisc if and only if \(\Omega \) is a Lempert domain and \(\Omega \) has a G-like universal set.

Proof

Clearly, if \(\Omega \) is a domain in \(\mathbb {C}^2\) and \(F:\Omega \rightarrow G\) is biholomorphic, then, as G is a Lempert domain, so also is \(\Omega \). Furthermore, as \(\left\{ \Phi _\omega \right\} _{\omega \in \mathbb {T}}\) is a universal set for the Carathéodory extremal problem on G, if we define \(\Psi _\omega =\Phi _\omega \circ F\) for all \(\omega \in \mathbb {T}\), then \(\left\{ \Psi _\omega \right\} _{\omega \in \mathbb {T}}\) is a universal set for the Carathéodory extremal problem on \(\Omega \). This proves that \(\Omega \) has a G-like universal set.

Now assume that \(\Omega \) is a Lempert domain in \(\mathbb {C}^2\) and has a G-like universal set as in Definition 4.7. Let \(F=(s,p)\), so that F is a holomorphic map \(\Omega \rightarrow \mathbb {C}^2\). We shall show that F is a biholomorphic mapping of \(\Omega \) onto G.

To see that \(F(\Omega )\subset G\), consider \(\mu \in \Omega \). Since \(\Psi _\omega \) maps \(\Omega \) to \(\mathbb {D}\),

$$\begin{aligned} \left| \frac{2\omega p(\mu )-s(\mu )}{2-\omega s(\mu )}\right| < 1 \end{aligned}$$

for all \(\omega \in \mathbb {T}\). Hence

$$\begin{aligned} |2\omega p(\mu )-s(\mu )|^2< |2-\omega s(\mu )|^2. \end{aligned}$$

Expand this relation to obtain

$$\begin{aligned} {{\mathrm{Re}}}\left( \omega (s(\mu ) -\overline{s(\mu )}p(\mu ))\right) <1-|p(\mu )|^2 \end{aligned}$$

for all \(\omega \in \mathbb {T}\). Consequently,

$$\begin{aligned} |s(\mu ) -\overline{s(\mu )}p(\mu )|<1-|p(\mu )|^2. \end{aligned}$$

This inequality is equivalent to the statement that \((s(\mu ),p(\mu ))\in G\) (for example [2, Theorem 2.1]), so that \(F(\mu ) \in G\) for all \(\mu \in \Omega \). This proves that \(F\in G(\Omega )\).

We next prove that F is injective and unramified (that is, \(F'(\mu )\) is nonsingular for all \(\mu \in \Omega \)). Fix a nondegenerate datum \(\delta \) in \(\Omega \). Since \(\Psi _\omega = \Phi _\omega \circ F\),

$$\begin{aligned} \Psi _\omega (\delta ) = \Phi _\omega (F(\delta )) \end{aligned}$$

for each \(\omega \in \mathbb {T}\). By Lemma 2.4, there exists \(\omega \in \mathbb {T}\) such that \(\Psi _\omega (\delta )\) is nondegenerate, that is, \(\Phi _\omega (F(\delta ))\) is nondegenerate. This fact in turn implies that \(F(\delta )\) is nondegenerate. To summarize, we have proved that if \(\delta \) is nondegenerate then \(F(\delta )\) is nondegenerate. The case when \(\delta \) is discrete yields the conclusion that F is injective, and the case when \(\delta \) is infinitesimal implies that F is unramified.

It remains to prove that F is surjective. Note that if \(\mu _1,\mu _2 \in \Omega \), then

$$\begin{aligned} |(\mu _1,\mu _2)|_\mathrm{car}^\Omega&= \sup \left\{ \left| \big (\Psi _\omega (\mu _1),\Psi _\omega (\mu _2)\big )\right| : \omega \in \mathbb {T}\right\} \\&=\sup \left\{ \left| \big (\Phi _\omega (F(\mu _1)),\Phi _\omega (F(\mu _2))\big )\right| :\omega \in \mathbb {T}\right\} \\&=|(F(\mu _1),F(\mu _2))|_\mathrm{car}^G. \end{aligned}$$

Thus \(F:\Omega \rightarrow G\) is an isometry when \(\Omega \) and G are equipped with their respective Carathéodory (or Kobayashi) distances.

Consider a nondegenerate discrete datum \(\mu =(\mu _1,\mu _2)\) in \(\Omega \) and let \(\lambda =(\lambda _1,\lambda _2)=F(\mu )=(F(\mu _1),F(\mu _2))\). Since F is an isometry,

$$\begin{aligned} |\lambda |_\mathrm{kob}^G = |\mu |_\mathrm{kob}^\Omega . \end{aligned}$$
(4.2)

By Corollary 4.5 there is a unique complex geodesic \(D_\lambda \) in G contacted by \(\lambda \). We wish to prove that \(D_\lambda \) is contained in \({\text {ran}}\, F\). Choose \(g\in \Omega (\mathbb {D})\) that solves \({{\mathrm{{\mathrm Kob}}}}\,\mu \) and then \(\alpha _1,\alpha _2 \in \mathbb {D}\) such that \(g(\alpha _1)=\mu _1\), \(g(\alpha _2)=\mu _2\), so that

$$\begin{aligned} |(\alpha _1,\alpha _2)|= |\mu |_\mathrm{kob}^\Omega . \end{aligned}$$
(4.3)

Then \(F \circ g \in G(\mathbb {D})\) and

$$\begin{aligned} (F \circ g) (\alpha _i) = \lambda _i,\qquad i=1,2. \end{aligned}$$

On combining Eqs. (4.2) and (4.3) we obtain the statement

$$\begin{aligned} |(\alpha _1,\alpha _2)|= |\lambda |_\mathrm{kob}^G. \end{aligned}$$

Thus \(F \circ g\) solves the Kobayashi extremal problem for \(\lambda \) in G. Now the complex geodesic \(D_\lambda \) is the range of any solution of the Kobayashi problem for the nondegenerate datum \(\lambda \) in G (see for example [6, Theorem 4.6]) and so

$$\begin{aligned} D_\lambda = {\text {ran}}(F \circ g) \subseteq {\text {ran}}\, F, \end{aligned}$$

as was to be proved.

The fact that F is unramified guarantees that \({\text {ran}}\, F\) contains a nonempty open set in G. By Lemma 2.10, \({\text {ran}}\, F = G\). We have shown that \(F:\Omega \rightarrow G\) is a bijective holomorphic map. \(\square \)

5 Uniqueness of Minimal Universal Sets

It is natural to ask whether, for a general Lempert domain \(\Omega \), there is a unique minimal universal set for the Carathéodory extremal problem on \(\Omega \), up to an obvious notion of equivalence: if \(\mathcal {C}\) is a universal set for \(\Omega \), then so is

$$\begin{aligned} \mathcal {C}'{\mathop {=}\limits ^\mathrm{def}}\{m_\varphi \circ \varphi : \varphi \in \mathcal {C}\} \end{aligned}$$

where \(m_\varphi \) is an automorphism of \(\mathbb {D}\) for every \(\varphi \in \mathcal {C}\). We regard \(\mathcal {C}\) and \(\mathcal {C}'\) as equivalent universal sets.

We do not know whether uniqueness (up to equivalence) holds for a general Lempert domain, but for the three domains studied in this paper, it does hold.

In the case that \(\Omega =\mathbb {D}\), as we observed in Example 2.2, it follows from the Schwarz-Pick Lemma that any singleton set containing an automorphism of \(\mathbb {D}\) is a universal set for the Carathéodory problem on \(\mathbb {D}\). Such a set is clearly minimal. Conversely, let \(\mathcal {C}\) be a universal set for \(\mathbb {D}\). Then \(\mathcal {C}\) contains a Carathéodory extremal function \(\varphi \) for the discrete datum \((0, {\tfrac{1}{2}})\). Again the Schwarz Lemma imples that \(\varphi \) is an automorphism m of \(\mathbb {D}\), and so, by minimality, \(\mathcal {C}=\{m\}\).

Consider the case that \(\Omega =\mathbb {D}^2\). By, for example, [1, p. 293], a universal set for the Carthéodory problem on \(\mathbb {D}^2\) is \(\{F_1,F_2\}\), where \(F_j\) is the jth co-ordinate function, given by \(F_j(z)=z^j\) for \(j=1,2\). This set is easily seen to be minimal. Conversely, let \(\mathcal {C}\) be a minimal universal set for \(\mathbb {D}^2\). Then \(\mathcal {C}\) contains a Carathéodory extremal for the unbalanced discrete datum \(( (0,0), ({\tfrac{1}{2}},0))\). Now such a datum has a unique Carathéodory extremal function, up to equivalence, to wit, the co-ordinate function \(F_1(z)= z^1\) (see, for example, [4, Theorem 12.2]). Hence \(\mathcal {C}\) contains \(m_1\circ F_1\) for some automorphism \(m_1\) of \(\mathbb {D}\). Likewise, consideration of the unbalanced datum \(((0,0),(0,{\tfrac{1}{2}}))\) leads to the conclusion that \(\mathcal {C}\) contains \(m_2\circ F_2\), where \(F_2\) is the second co-ordinate function and \(m_2\) is an automorphism of \(\mathbb {D}\). Hence

$$\begin{aligned} \{m_1\circ F_1, m_2\circ F_2 \} \subseteq \mathcal {C}. \end{aligned}$$

Since the left hand side of this inclusion is a universal set for \(\mathbb {D}^2\), it follows by minimality that the inclusion holds with equality. Thus \(\{F_1,F_2\}\) is the unique universal set for \(\mathbb {D}^2\), modulo equivalence.

By Theorem 4.1, the set \(\{\Phi _\omega :\omega \in \mathbb {T}\}\) is a minimal universal set for the Carathéodory extremal problem on G. Consider any other minimal universal set \(\mathcal {C}\) for G. Let \(\tau \in \mathbb {T}\). By Lemma 4.2 there is a nondegenerate datum \(\delta \) in G such that \(\Phi _\omega \) is a Carathéodory extremal for \(\delta \) if and only if \(\omega =\tau \). By [5, Corollary 2.8], every Carathéodory extremal function for \(\delta \) is of the form \(\gamma \circ \Phi _{\tau }\) for some automorphism \(\gamma \) of \(\mathbb {D}\). Hence, up to equivalence, \(\mathcal {C}\) contains \(\Phi _{\tau }\), and since \(\tau \in \mathbb {T}\) was arbitrary,

$$\begin{aligned} \{\Phi _\omega :\omega \in \mathbb {T}\} \subseteq \mathcal {C}. \end{aligned}$$

By minimality, \(\mathcal {C}\) is equivalent to \(\{\Phi _\omega :\omega \in \mathbb {T}\}\).

6 Concluding Remarks

Our results show that a minimal universal set for the Carathéodory extremal problem on a domain \(\Omega \) provides significant information about \(\Omega \). It would also be of interest to describe all Carathéodory extremal functions on \(\Omega \). As we mentioned in the introduction, even for the bidisc, the set of all Carathéodory extremal functions is large. This fact is pointed out by Ł. Kosiński and W. Zwonek in [13]. They discuss the Carathéodory extremal functions for bounded convex domains, strongly linearly convex domains, the symmetrized bidisc and the tetrablock. They describe cases in which the Carathéodory extremal function for a particular pair of points is unique modulo automorphisms of \(\mathbb {D}\) and analyse the relationship between this property and the non-uniqueness of complex geodesics through the points. The authors observe that their results give an understanding of the phenomenon of the uniqueness of Carathéodory extremal functions, but state that in the non-unique case the form of the extremal functions is not well understood. We have studied the nature of Carathéodory extremals in the case of the symmetrized bidisc [5]. We were able to describe large classes of Carathéodory extremal functions for datums of various types in G, both when they are unique and when they are non-unique.

We have also found other characterizations of the symmetrized bidisc. In [4] we characterize G in terms of the action of the automorphism group of G.