A homotopy where all intermediate maps have holomorphic antiderivatives












2














I will denote by $mathbb{C}^*$ the punctured complex plane, $mathbb{C} setminus {0}$. Let's say I have a holomorphic map on the punctured plane, $w: mathbb{C}^* to mathbb{C}$, such that the map $e^{w}: mathbb{C}^* to mathbb{C}^*$ has a (holomorphic) antiderivative $F: mathbb{C}^* to mathbb{C}$.



Obviously I have a homotopy between $e^{w}$ and the constant map 1 where the intermediate maps are holomorphic functions $mathbb{C}^* to mathbb{C}^*$: i.e., I simply consider $e^{tw}, t in [0,1]$. However, the intermediate maps of this homotopy do not necessarily have antiderivatives, obviously. I was wondering if this homotopy could be modified in some way to ensure that the intermediate maps $mathbb{C}^* to mathbb{C}^*$ do have antiderivatives.



Is there a theorem that gives this property, or if not, does anyone have any ideas as to how I could approach this problem? (I'd appreciate any ideas for approaches - even if they are vague. Or any references that might be helpful. Thank you!)










share|cite|improve this question
























  • I think that some Atiyah-Singer type business might be the appropriate route here. Indeed, if we can solve the equation $(partial_t-w)partial_zF=0$ for some $F:mathbb{C}^* times mathbb{R} to mathbb{C}$, then we'll be done. As the relevant differential operator here is elliptic, but the domain of the operator is topologically nontrivial, the natural theorems to be invoking are the index theorems.
    – Or Eisenberg
    yesterday


















2














I will denote by $mathbb{C}^*$ the punctured complex plane, $mathbb{C} setminus {0}$. Let's say I have a holomorphic map on the punctured plane, $w: mathbb{C}^* to mathbb{C}$, such that the map $e^{w}: mathbb{C}^* to mathbb{C}^*$ has a (holomorphic) antiderivative $F: mathbb{C}^* to mathbb{C}$.



Obviously I have a homotopy between $e^{w}$ and the constant map 1 where the intermediate maps are holomorphic functions $mathbb{C}^* to mathbb{C}^*$: i.e., I simply consider $e^{tw}, t in [0,1]$. However, the intermediate maps of this homotopy do not necessarily have antiderivatives, obviously. I was wondering if this homotopy could be modified in some way to ensure that the intermediate maps $mathbb{C}^* to mathbb{C}^*$ do have antiderivatives.



Is there a theorem that gives this property, or if not, does anyone have any ideas as to how I could approach this problem? (I'd appreciate any ideas for approaches - even if they are vague. Or any references that might be helpful. Thank you!)










share|cite|improve this question
























  • I think that some Atiyah-Singer type business might be the appropriate route here. Indeed, if we can solve the equation $(partial_t-w)partial_zF=0$ for some $F:mathbb{C}^* times mathbb{R} to mathbb{C}$, then we'll be done. As the relevant differential operator here is elliptic, but the domain of the operator is topologically nontrivial, the natural theorems to be invoking are the index theorems.
    – Or Eisenberg
    yesterday
















2












2








2







I will denote by $mathbb{C}^*$ the punctured complex plane, $mathbb{C} setminus {0}$. Let's say I have a holomorphic map on the punctured plane, $w: mathbb{C}^* to mathbb{C}$, such that the map $e^{w}: mathbb{C}^* to mathbb{C}^*$ has a (holomorphic) antiderivative $F: mathbb{C}^* to mathbb{C}$.



Obviously I have a homotopy between $e^{w}$ and the constant map 1 where the intermediate maps are holomorphic functions $mathbb{C}^* to mathbb{C}^*$: i.e., I simply consider $e^{tw}, t in [0,1]$. However, the intermediate maps of this homotopy do not necessarily have antiderivatives, obviously. I was wondering if this homotopy could be modified in some way to ensure that the intermediate maps $mathbb{C}^* to mathbb{C}^*$ do have antiderivatives.



Is there a theorem that gives this property, or if not, does anyone have any ideas as to how I could approach this problem? (I'd appreciate any ideas for approaches - even if they are vague. Or any references that might be helpful. Thank you!)










share|cite|improve this question















I will denote by $mathbb{C}^*$ the punctured complex plane, $mathbb{C} setminus {0}$. Let's say I have a holomorphic map on the punctured plane, $w: mathbb{C}^* to mathbb{C}$, such that the map $e^{w}: mathbb{C}^* to mathbb{C}^*$ has a (holomorphic) antiderivative $F: mathbb{C}^* to mathbb{C}$.



Obviously I have a homotopy between $e^{w}$ and the constant map 1 where the intermediate maps are holomorphic functions $mathbb{C}^* to mathbb{C}^*$: i.e., I simply consider $e^{tw}, t in [0,1]$. However, the intermediate maps of this homotopy do not necessarily have antiderivatives, obviously. I was wondering if this homotopy could be modified in some way to ensure that the intermediate maps $mathbb{C}^* to mathbb{C}^*$ do have antiderivatives.



Is there a theorem that gives this property, or if not, does anyone have any ideas as to how I could approach this problem? (I'd appreciate any ideas for approaches - even if they are vague. Or any references that might be helpful. Thank you!)







complex-analysis differential-geometry complex-geometry riemann-surfaces holomorphic-bundles






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday

























asked Dec 26 at 1:01









Acton

29918




29918












  • I think that some Atiyah-Singer type business might be the appropriate route here. Indeed, if we can solve the equation $(partial_t-w)partial_zF=0$ for some $F:mathbb{C}^* times mathbb{R} to mathbb{C}$, then we'll be done. As the relevant differential operator here is elliptic, but the domain of the operator is topologically nontrivial, the natural theorems to be invoking are the index theorems.
    – Or Eisenberg
    yesterday




















  • I think that some Atiyah-Singer type business might be the appropriate route here. Indeed, if we can solve the equation $(partial_t-w)partial_zF=0$ for some $F:mathbb{C}^* times mathbb{R} to mathbb{C}$, then we'll be done. As the relevant differential operator here is elliptic, but the domain of the operator is topologically nontrivial, the natural theorems to be invoking are the index theorems.
    – Or Eisenberg
    yesterday


















I think that some Atiyah-Singer type business might be the appropriate route here. Indeed, if we can solve the equation $(partial_t-w)partial_zF=0$ for some $F:mathbb{C}^* times mathbb{R} to mathbb{C}$, then we'll be done. As the relevant differential operator here is elliptic, but the domain of the operator is topologically nontrivial, the natural theorems to be invoking are the index theorems.
– Or Eisenberg
yesterday






I think that some Atiyah-Singer type business might be the appropriate route here. Indeed, if we can solve the equation $(partial_t-w)partial_zF=0$ for some $F:mathbb{C}^* times mathbb{R} to mathbb{C}$, then we'll be done. As the relevant differential operator here is elliptic, but the domain of the operator is topologically nontrivial, the natural theorems to be invoking are the index theorems.
– Or Eisenberg
yesterday

















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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052554%2fa-homotopy-where-all-intermediate-maps-have-holomorphic-antiderivatives%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052554%2fa-homotopy-where-all-intermediate-maps-have-holomorphic-antiderivatives%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

張江高科駅