A geometric proof of Picard's little theorem
$begingroup$
I'm preparing a presentation where I'd like to present a proof of Picard's little theorem using hyperbolic geometry. Picard's little theorem states that the range of an entire function can omit at most $1$ point.
I can see that we can write $U:=mathbb{C}P^1setminus{infty,0,1}$ as a hyperbolic manifold, and as a quotient of $mathbb{D}$ through the Farey tesselation. I would like to say therefore that any conformal map $:mathbb{C}rightarrow U$ would factor conformally through $mathbb{D}$.
I can see that it should factor through the covering map, but can I even say that the covering map is conformal?
I know that Ahlfors' Lemma helps, but all the statements I've obtained of said lemma hold for Hermite metrics. Can I say that the hyperbolic metric on $mathbb{C}P^1setminus{infty,0,1}$ is Hermite?
complex-analysis reference-request complex-geometry hyperbolic-geometry
$endgroup$
add a comment |
$begingroup$
I'm preparing a presentation where I'd like to present a proof of Picard's little theorem using hyperbolic geometry. Picard's little theorem states that the range of an entire function can omit at most $1$ point.
I can see that we can write $U:=mathbb{C}P^1setminus{infty,0,1}$ as a hyperbolic manifold, and as a quotient of $mathbb{D}$ through the Farey tesselation. I would like to say therefore that any conformal map $:mathbb{C}rightarrow U$ would factor conformally through $mathbb{D}$.
I can see that it should factor through the covering map, but can I even say that the covering map is conformal?
I know that Ahlfors' Lemma helps, but all the statements I've obtained of said lemma hold for Hermite metrics. Can I say that the hyperbolic metric on $mathbb{C}P^1setminus{infty,0,1}$ is Hermite?
complex-analysis reference-request complex-geometry hyperbolic-geometry
$endgroup$
$begingroup$
Of course to both. Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds; any metric $f(z)|dz|^2$ on a $1$-dimensional complex manifold (for $f>0$) is a hermitian metric. And covering maps are local biholomorphisms, hence conformal, yes.
$endgroup$
– Ted Shifrin
Dec 7 '18 at 18:33
$begingroup$
Yes. Thanks a lot. +1 for pointing out that 'Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds'.
$endgroup$
– Teebro Prokash
Dec 12 '18 at 11:25
add a comment |
$begingroup$
I'm preparing a presentation where I'd like to present a proof of Picard's little theorem using hyperbolic geometry. Picard's little theorem states that the range of an entire function can omit at most $1$ point.
I can see that we can write $U:=mathbb{C}P^1setminus{infty,0,1}$ as a hyperbolic manifold, and as a quotient of $mathbb{D}$ through the Farey tesselation. I would like to say therefore that any conformal map $:mathbb{C}rightarrow U$ would factor conformally through $mathbb{D}$.
I can see that it should factor through the covering map, but can I even say that the covering map is conformal?
I know that Ahlfors' Lemma helps, but all the statements I've obtained of said lemma hold for Hermite metrics. Can I say that the hyperbolic metric on $mathbb{C}P^1setminus{infty,0,1}$ is Hermite?
complex-analysis reference-request complex-geometry hyperbolic-geometry
$endgroup$
I'm preparing a presentation where I'd like to present a proof of Picard's little theorem using hyperbolic geometry. Picard's little theorem states that the range of an entire function can omit at most $1$ point.
I can see that we can write $U:=mathbb{C}P^1setminus{infty,0,1}$ as a hyperbolic manifold, and as a quotient of $mathbb{D}$ through the Farey tesselation. I would like to say therefore that any conformal map $:mathbb{C}rightarrow U$ would factor conformally through $mathbb{D}$.
I can see that it should factor through the covering map, but can I even say that the covering map is conformal?
I know that Ahlfors' Lemma helps, but all the statements I've obtained of said lemma hold for Hermite metrics. Can I say that the hyperbolic metric on $mathbb{C}P^1setminus{infty,0,1}$ is Hermite?
complex-analysis reference-request complex-geometry hyperbolic-geometry
complex-analysis reference-request complex-geometry hyperbolic-geometry
asked Dec 4 '18 at 11:15
Teebro ProkashTeebro Prokash
738
738
$begingroup$
Of course to both. Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds; any metric $f(z)|dz|^2$ on a $1$-dimensional complex manifold (for $f>0$) is a hermitian metric. And covering maps are local biholomorphisms, hence conformal, yes.
$endgroup$
– Ted Shifrin
Dec 7 '18 at 18:33
$begingroup$
Yes. Thanks a lot. +1 for pointing out that 'Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds'.
$endgroup$
– Teebro Prokash
Dec 12 '18 at 11:25
add a comment |
$begingroup$
Of course to both. Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds; any metric $f(z)|dz|^2$ on a $1$-dimensional complex manifold (for $f>0$) is a hermitian metric. And covering maps are local biholomorphisms, hence conformal, yes.
$endgroup$
– Ted Shifrin
Dec 7 '18 at 18:33
$begingroup$
Yes. Thanks a lot. +1 for pointing out that 'Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds'.
$endgroup$
– Teebro Prokash
Dec 12 '18 at 11:25
$begingroup$
Of course to both. Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds; any metric $f(z)|dz|^2$ on a $1$-dimensional complex manifold (for $f>0$) is a hermitian metric. And covering maps are local biholomorphisms, hence conformal, yes.
$endgroup$
– Ted Shifrin
Dec 7 '18 at 18:33
$begingroup$
Of course to both. Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds; any metric $f(z)|dz|^2$ on a $1$-dimensional complex manifold (for $f>0$) is a hermitian metric. And covering maps are local biholomorphisms, hence conformal, yes.
$endgroup$
– Ted Shifrin
Dec 7 '18 at 18:33
$begingroup$
Yes. Thanks a lot. +1 for pointing out that 'Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds'.
$endgroup$
– Teebro Prokash
Dec 12 '18 at 11:25
$begingroup$
Yes. Thanks a lot. +1 for pointing out that 'Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds'.
$endgroup$
– Teebro Prokash
Dec 12 '18 at 11:25
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3025436%2fa-geometric-proof-of-picards-little-theorem%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3025436%2fa-geometric-proof-of-picards-little-theorem%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Of course to both. Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds; any metric $f(z)|dz|^2$ on a $1$-dimensional complex manifold (for $f>0$) is a hermitian metric. And covering maps are local biholomorphisms, hence conformal, yes.
$endgroup$
– Ted Shifrin
Dec 7 '18 at 18:33
$begingroup$
Yes. Thanks a lot. +1 for pointing out that 'Hermitian metrics are the analog on complex manifolds of Riemannian metrics on real manifolds'.
$endgroup$
– Teebro Prokash
Dec 12 '18 at 11:25