Return to Answer

Here is a slightly different version of Aakumadula's answer to my question.

Let's say that $f$ omits $g$ if $f(z)$ is never equal to $g(z)$.

Let $G$ be the group of fractional linear transformations such that the unit disc $U$ modulo $G$ is C\ { 0,1 } . (Can anyone suggest a short and recognizable name for this group?? This is a truly fundamental object of complex analysis, and the shortest name for it that I know is the "principal congruence subgroup of level 2 of the modular group". Sounds scary for many people).

Proposition. TFAE: There exists $f$ holomorphic in $U$ that omits $0,1,\infty$ and $\lambda(z)$, and: there exists $g: U\to U$ that omits all elements of $G$.

Proof. $f=\lambda\circ g$.

Now it is well-known that there exists $f$ holomorphic in $U$ which omits $0,1,\infty$ and $\lambda$. This is by "extension of holomorphic families of injections" of Slodkowski.

The theorem of Slodkowski says that whenever you have any number of holomorphic functions in $U$ with disjoint graphs, you can add one whose graph is disjoint from those given functions. And even prescribe the value of this one added function at one point.

Of course, Aakumadula's answer is better because it gives an explicit construction. This new answer shows that this is a special case of a well-known and important general principle. Somehow I did not figure this out before the Aakumadula's answer.

EDIT on Feb 19 2013. Multi-valued function $f(z)=\sqrt{z}$ omits $0,1,\infty$ and $f(z)=z$ has no solutions in $C\backslash${0,1}. Thus the composition of $f$ with the universal cover {$\{ |z|<1\}$} to $C\backslash${0,1} omits $0,1,\infty$ and all elements of the Schwarz's group.

Here is a slightly different version of Venkataramanas answer to my question.

Let's say that $f$ omits $g$ if $f(z)$ is never equal to $g(z)$.

Let $G$ be the group of fractional linear transformations such that the unit disc $U$ modulo $G$ is C\ { 0,1 } . (Can anyone suggest a short and recognizable name for this group?? This is a truly fundamental object of complex analysis, and the shortest name for it that I know is the "principal congruence subgroup of level 2 of the modular group". Sounds scary for many people).

Proposition. TFAE: There exists $f$ holomorphic in $U$ that omits $0,1,\infty$ and $\lambda(z)$, and: there exists $g: U\to U$ that omits all elements of $G$.

Proof. $f=\lambda\circ g$.

Now it is well-known that there exists $f$ holomorphic in $U$ which omits $0,1,\infty$ and $\lambda$. This is by "extension of holomorphic families of injections" of Slodkowski.

The theorem of Slodkowski says that whenever you have any number of holomorphic functions in $U$ with disjoint graphs, you can add one whose graph is disjoint from those given functions. And even prescribe the value of this one added function at one point.

Of course, Venkataramana's answer is better because it gives an explicit construction. This new answer shows that this is a special case of a well-known and important general principle. Somehow I did not figure this out before the Aakumadula's answer.

EDIT on Feb 19 2013. Multi-valued function $f(z)=\sqrt{z}$ omits $0,1,\infty$ and $f(z)=z$ has no solutions in $C\backslash${0,1}. Thus the composition of $f$ with the universal cover {$\{ |z|<1\}$} to $C\backslash${0,1} omits $0,1,\infty$ and all elements of the Schwarz's group.

Here is a slightly different version of Aakumadula's answer to my question.

Let's say that $f$ omits $g$ if $f(z)$ is never equal to $g(z)$.

Let $G$ be the group of fractional linear transformations such that the unit disc $U$ modulo $G$ is C\ { 0,1 } . (Can anyone suggest a short and recognizable name for this group?? This is a truly fundamental object of complex analysis, and the shortest name for it that I know is the "principal congruence subgroup of level 2 of the modular group". Sounds scary for many people).

Proposition. TFAE: There exists $f$ holomorphic in $U$ that omits $0,1,\infty$ and $\lambda(z)$, and: there exists $g: U\to U$ that omits all elements of $G$.

Proof. $f=\lambda\circ g$.

Now it is well-known that there exists $f$ holomorphic in $U$ which omits $0,1,\infty$ and $\lambda$. This is by "extension of holomorphic families of injections" of Slodkowski.

The theorem of Slodkowski says that whenever you have any number of holomorphic functions in $U$ with disjoint graphs, you can add one whose graph is disjoint from those given functions. And even prescribe the value of this one added function at one point.

Of course, Aakumadula's answer is better because it gives an explicit construction. This new answer shows that this is a special case of a well-known and important general principle. Somehow I did not figure this out before the Aakumadula's answer.

Here is a slightly different version of Aakumadula's answer to my question.

Let's say that $f$ omits $g$ if $f(z)$ is never equal to $g(z)$.

Let $G$ be the group of fractional linear transformations such that the unit disc $U$ modulo $G$ is C\ { 0,1 } . (Can anyone suggest a short and recognizable name for this group?? This is a truly fundamental object of complex analysis, and the shortest name for it that I know is the "principal congruence subgroup of level 2 of the modular group". Sounds scary for many people).

Proposition. TFAE: There exists $f$ holomorphic in $U$ that omits $0,1,\infty$ and $\lambda(z)$, and: there exists $g: U\to U$ that omits all elements of $G$.

Proof. $f=\lambda\circ g$.

Now it is well-known that there exists $f$ holomorphic in $U$ which omits $0,1,\infty$ and $\lambda$. This is by "extension of holomorphic families of injections" of Slodkowski.

The theorem of Slodkowski says that whenever you have any number of holomorphic functions in $U$ with disjoint graphs, you can add one whose graph is disjoint from those given functions. And even prescribe the value of this one added function at one point.

Of course, Aakumadula's answer is better because it gives an explicit construction. This new answer shows that this is a special case of a well-known and important general principle. Somehow I did not figure this out before the Aakumadula's answer.

EDIT on Feb 19 2013. Multi-valued function $f(z)=\sqrt{z}$ omits $0,1,\infty$ and $f(z)=z$ has no solutions in $C\backslash${0,1}. Thus the composition of $f$ with the universal cover {$\{ |z|<1\}$} to $C\backslash${0,1} omits $0,1,\infty$ and all elements of the Schwarz's group.

Here is a slightly different version of Aakumadula's answer to my question.

Let's say that $f$ omits $g$ if $f(z)$ is never equal to $g(z)$.

Let $G$ be the group of fractional linear transformations such that the unit disc $U$ modulo $G$ is C\ { 0,1 } . (Can anyone suggest a short and recognizable name for this group?? This is a truly fundamental object of complex analysis, and the shortest name for it that I know is the "principal congruence subgroup of level 2 of the modular group". Sounds scary for many people).

Proposition. TFAE: There exists $f$ holomorphic in $U$ that omits $0,1,\infty$ and $\lambda(z)$, and: there exists $f: U\to U$ that omits all elements of $G$.

Proof. Evident.

Now it is well-known that there exists $f$ holomorphic in $U$ which omits $0,1,\infty$ and $\lambda$. This is by "extension of holomorphic families of injections" of Slodkowski.

The theorem of Slodkowski says that whenever you have any number of holomorphic functions in $U$ with disjoint graphs, you can add one whose graph is disjoint from those given functions. And even prescribe the value of this one added function at one point.

Here is a slightly different version of Aakumadula's answer to my question.

Let's say that $f$ omits $g$ if $f(z)$ is never equal to $g(z)$.

Let $G$ be the group of fractional linear transformations such that the unit disc $U$ modulo $G$ is C\ { 0,1 } . (Can anyone suggest a short and recognizable name for this group?? This is a truly fundamental object of complex analysis, and the shortest name for it that I know is the "principal congruence subgroup of level 2 of the modular group". Sounds scary for many people).

Proposition. TFAE: There exists $f$ holomorphic in $U$ that omits $0,1,\infty$ and $\lambda(z)$, and: there exists $g: U\to U$ that omits all elements of $G$.

Proof. $f=\lambda\circ g$.

Now it is well-known that there exists $f$ holomorphic in $U$ which omits $0,1,\infty$ and $\lambda$. This is by "extension of holomorphic families of injections" of Slodkowski.

The theorem of Slodkowski says that whenever you have any number of holomorphic functions in $U$ with disjoint graphs, you can add one whose graph is disjoint from those given functions. And even prescribe the value of this one added function at one point.

Of course, Aakumadula's answer is better because it gives an explicit construction. This new answer shows that this is a special case of a well-known and important general principle. Somehow I did not figure this out before the Aakumadula's answer.