{"id":2424,"date":"2013-03-01T10:41:54","date_gmt":"2013-03-01T02:41:54","guid":{"rendered":"http:\/\/wamath.sinaapp.com\/?p=2424"},"modified":"2013-03-01T10:41:54","modified_gmt":"2013-03-01T02:41:54","slug":"complex-geometry-and-kahler-geometry_20130227p1","status":"publish","type":"post","link":"https:\/\/lttt.vanabel.cn\/?p=2424","title":{"rendered":"Complex Geometry and Kahler Geometry_20130227p1"},"content":{"rendered":"<p>\\subsection{Holomorphic Map}<br \/>\n\\begin{defn}<br \/>\n  A complex-valued function $f(z)$ defined on a connected open domain $W\\subseteq\\C^n$ is called \\iemph{holomorphic} if for each $a=(a_1,\\ldots, a_n)\\in W$, $f(z)$ can be represented as a power series<br \/>\n  \\[<br \/>\n  \\sum_{k_1\\geq0,\\cdots,k_n\\geq0}^\\infty C_{k_1\\cdots k_n}(z_1-a_1)^{k_1}\\cdots (z_n-a_n)^k_n<br \/>\n  \\]<br \/>\n  in some neighbourhood of $a$.<br \/>\n\\end{defn}<br \/>\nWe have the following equivalent definition<!--more--><br \/>\n\\begin{defn}<br \/>\n Let $f(z)$ be a (continuously) differentiable function on an open set $W\\subseteq\\C^n$. Then $f(z)$ is \\emph{holomorphic} iff $\\frac{\\pt{f}}{\\pt\\bar z_\\nu}=0$, $1\\leq\\nu\\leq n$.<br \/>\n\\end{defn}<br \/>\n\\begin{proof}<br \/>\n  The proof is based on the Cauchy integral theorem and called &#8220;\\iemph{Osgood Theorem}&#8221;, cf. \\cite{morrow1971complex} for detail.<br \/>\n\\end{proof}<br \/>\nRecall that a complex-valued function of $n$ complex variables can be considered as a function of $2n$ real variables, since $\\C^n\\simeq \\R^{2n}$, related by $z_\\nu=x_\\nu+i y_\\nu$, $i=\\sqrt{-1}$, $x_\\nu,y_\\nu\\in\\R$. We have the following<br \/>\n\\begin{alignat*}{2}<br \/>\n\\rd z_\\nu&#038;=\\rd x_\\nu+i\\rd y_\\nu,<br \/>\n&#038;\\qquad<br \/>\n\\rd \\bar z_\\nu&#038;=\\rd x_\\nu-i\\rd y_\\nu\\\\<br \/>\n\\ppt{z_\\nu}&#038;=\\frac{1}{2}\\left(\\ppt{x_\\nu}-i\\ppt{y_\\nu}\\right),<br \/>\n&#038;\\qquad<br \/>\n\\ppt{\\bar z_\\nu}&#038;=\\frac{1}{2}\\left(\\ppt{x_\\nu}+i\\ppt{y_\\nu}\\right)\\\\<br \/>\n\\rd x_\\nu&#038;=\\frac{1}{2}(\\rd z_\\nu+\\rd\\bar z_\\nu),<br \/>\n&#038;\\qquad<br \/>\n\\rd y_\\nu&#038;=\\frac{1}{2i}(\\rd z_\\nu-\\rd\\bar z_\\nu)\\\\<br \/>\n\\ppt{x_\\nu}&#038;=\\ppt{z_\\nu}+\\ppt{\\bar z_\\nu},<br \/>\n&#038;\\qquad<br \/>\n\\ppt{y_\\nu}&#038;=i\\left(\\ppt{z_\\nu}-\\ppt{\\bar z_\\nu}\\right).<br \/>\n\\end{alignat*}<br \/>\nWith the help of the above relation, the \\iemph{total differential} of a complex-$n$ valued function $f$ is<br \/>\n\\begin{align*}<br \/>\n  \\rd f &#038;=\\frac{\\pt f}{\\pt x_\\nu}\\rd x_\\nu+\\frac{\\pt f}{\\pt y_\\nu}\\rd y_\\nu\\\\<br \/>\n        &#038;=\\left(<br \/>\n            \\frac{\\pt f}{\\pt z_\\nu}+\\frac{\\pt f}{\\pt \\bar z_\\nu}\\right)\\frac{1}{2}(\\rd z_\\nu+\\rd\\bar z_\\nu)+<br \/>\n            i\\left(<br \/>\n            \\frac{\\pt f}{\\pt z_\\nu}-\\frac{\\pt f}{\\pt \\bar z_\\nu}\\right)<br \/>\n            \\frac{1}{2i}(\\rd z_\\nu-\\rd\\bar z_\\nu)\\\\<br \/>\n         &#038;=\\frac{\\pt f}{\\pt z_\\nu}\\rd z_\\nu+\\frac{\\pt f}{\\pt \\bar z_\\nu}\\rd \\bar z_\\nu\\\\<br \/>\n         &#038;\\eqdef \\pt f+\\bar\\pt f.<br \/>\n\\end{align*}<br \/>\nWe shall call $\\pt f$ and $\\bar\\pt f$ the \\emph{holomorphic part}\\index{holomorphic!part} and \\emph{Anti-holomorphic part}\\index{holomorphic!Anti-!part} of $f$, respectively. \\begin{rem}<br \/>\n  $\\bar\\pt f=0$ is the \\iemph{Cauchy-Riemann Equation}.<br \/>\n\\end{rem} <\/p>\n","protected":false},"excerpt":{"rendered":"<p>\\subsection{Holomorphic Map} \\begin{defn &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/lttt.vanabel.cn\/?p=2424\"> <span class=\"screen-reader-text\">Complex Geometry and Kahler Geometry_20130227p1<\/span> \u9605\u8bfb\u66f4\u591a &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13],"tags":[],"class_list":["post-2424","post","type-post","status-publish","format-standard","hentry","category-complex_kahler_geometry-lecture-notes"],"_links":{"self":[{"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/2424","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2424"}],"version-history":[{"count":0,"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/2424\/revisions"}],"wp:attachment":[{"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2424"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2424"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lttt.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2424"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}