|
|
(One intermediate revision by the same user not shown) |
Line 1: |
Line 1: |
− | A [[Differential form|differential form]] on a Riemann surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322401.png" /> that is invariant with respect to a conformal transformation of the [[Local uniformizing parameter|local uniformizing parameter]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322402.png" />. Differentials of the first order are most often encountered; these are differential forms of dimension 1 that are linear with respect to the differential of each of the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322403.png" />, of the form
| + | <!-- |
| + | d0322401.png |
| + | $#A+1 = 242 n = 0 |
| + | $#C+1 = 242 : ~/encyclopedia/old_files/data/D032/D.0302240 Differential on a Riemann surface |
| + | Automatically converted into TeX, above some diagnostics. |
| + | Please remove this comment and the {{TEX|auto}} line below, |
| + | if TeX found to be correct. |
| + | --> |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322404.png" /></td> </tr></table>
| + | {{TEX|auto}} |
| + | {{TEX|done}} |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322405.png" /></td> </tr></table>
| + | A [[Differential form|differential form]] on a Riemann surface $ S $ |
| + | that is invariant with respect to a conformal transformation of the [[Local uniformizing parameter|local uniformizing parameter]] $ z = x + iy $. |
| + | Differentials of the first order are most often encountered; these are differential forms of dimension 1 that are linear with respect to the differential of each of the variables $ ( x , y ) $, |
| + | of the form |
| | | |
− | and that are invariant with respect to parameter change with sufficiently smooth coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322406.png" />. Differentials of order zero are sufficiently smooth complex functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322407.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322408.png" /> that are invariant with respect to parameter change, i.e. functions of the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d0322409.png" />; differentials of the second order have the form
| + | $$ |
| + | \omega = p dx + q dy \equiv p ( x , y ) dx + q ( x , y ) dy , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224010.png" /></td> </tr></table>
| + | $$ |
| + | \pi = r dx + s dy , |
| + | $$ |
| | | |
− | All differentials of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224011.png" /> on a Riemann surface vanish identically.
| + | and that are invariant with respect to parameter change with sufficiently smooth coefficients $ p , q ,\dots $. |
| + | Differentials of order zero are sufficiently smooth complex functions $ f = f ( x , y ) $, |
| + | $ g = g ( x , y ) $ |
| + | that are invariant with respect to parameter change, i.e. functions of the points $ P \in S $; |
| + | differentials of the second order have the form |
| + | |
| + | $$ |
| + | \Omega = A dx dy \equiv A ( x , y ) dx dy ,\ \Pi = B dx dy . |
| + | $$ |
| + | |
| + | All differentials of order $ k > 2 $ |
| + | on a Riemann surface vanish identically. |
| | | |
| The addition of differentials of the same order on a Riemann surface is effected in the usual way: | | The addition of differentials of the same order on a Riemann surface is effected in the usual way: |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224012.png" /></td> </tr></table>
| + | $$ |
| + | f + g ,\ \omega + \pi = ( p + r ) dx + ( q + s ) dy , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224013.png" /></td> </tr></table>
| + | $$ |
| + | \Omega + \Pi = ( A + B ) dx dy , |
| + | $$ |
| | | |
− | and is commutative and associative. The exterior multiplication of differentials on a Riemann surface is distributive with respect to addition, is denoted by the symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224014.png" /> and is defined by the following laws: | + | and is commutative and associative. The exterior multiplication of differentials on a Riemann surface is distributive with respect to addition, is denoted by the symbol $ \wedge $ |
| + | and is defined by the following laws: |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224015.png" /></td> </tr></table>
| + | $$ |
| + | f \wedge g = fg ; \ f \wedge \omega = ( fp) dx + ( fg) dy , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224016.png" /></td> </tr></table>
| + | $$ |
| + | dx \wedge dx = dy \wedge dy = 0 ,\ dy \wedge dx = - dx \wedge dy = - dx dy . |
| + | $$ |
| | | |
| Hence | | Hence |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224017.png" /></td> </tr></table>
| + | $$ |
| + | \omega \wedge \pi = ( ps - qr) dx dy ,\ \pi \wedge \omega = - \omega \wedge |
| + | \pi ; |
| + | $$ |
| + | |
| + | $$ |
| + | f \wedge \Omega = ( fA) dx dy . |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224018.png" /></td> </tr></table>
| + | In general, exterior multiplication of a differential of order $ k $ |
| + | by a differential of order $ l $, |
| + | where $ k + l \leq 2 $, |
| + | yields a differential or order $ k + l $, |
| + | while if $ k + l > 2 $ |
| + | it vanishes. The linear differentiation operator $ d = ( \partial / \partial x ) dx + ( \partial / \partial y ) dy $ |
| + | transforms a differential of order $ k $ |
| + | to a differential of order $ k + 1 $: |
| | | |
− | In general, exterior multiplication of a differential of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224019.png" /> by a differential of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224020.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224021.png" />, yields a differential or order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224022.png" />, while if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224023.png" /> it vanishes. The linear differentiation operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224024.png" /> transforms a differential of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224025.png" /> to a differential of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224026.png" />:
| + | $$ |
| + | df = |
| + | \frac{\partial f }{\partial x } |
| + | dx + |
| + | \frac{\partial f }{\partial y } |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224027.png" /></td> </tr></table>
| + | dy , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224028.png" /></td> </tr></table>
| + | $$ |
| + | d \omega = ( dp) dx + ( dq) dy = \left ( |
| + | \frac{\partial q }{\partial x } |
| + | - |
| + | \frac{\partial p }{\partial y } |
| + | \right ) dx dy ,\ d \Omega = 0 . |
| + | $$ |
| | | |
| Moreover, | | Moreover, |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224029.png" /></td> </tr></table>
| + | $$ |
| + | d ( fg) = f dg + g df , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224030.png" /></td> </tr></table>
| + | $$ |
| + | d ( f \omega ) = ( df ) \omega + f ( d \omega ) = - \omega ( df ) + f ( d \omega ) |
| + | $$ |
| | | |
− | and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224031.png" />. Of importance to differentials on a Riemann surface is also the linear star conjugation operator | + | and $ dd = 0 $. |
| + | Of importance to differentials on a Riemann surface is also the linear star conjugation operator |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224032.png" /></td> </tr></table>
| + | $$ |
| + | {} ^ \star \omega = - q dx + p dy . |
| + | $$ |
| | | |
| Here | | Here |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224033.png" /></td> </tr></table>
| + | $$ |
| + | {} ^ \star ( f \wedge \omega ) = f \wedge ( {} ^ \star \omega ) , |
| + | $$ |
| + | |
| + | $$ |
| + | \omega \wedge ( {} ^ \star \pi ) = \pi \wedge ( {} ^ \star \omega ) = ( pr + qs) dx dy , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224034.png" /></td> </tr></table>
| + | $$ |
| + | \omega \wedge ( {} ^ \star \omega ) = ( p ^ {2} + q ^ {2} ) dx dy ,\ {} ^ \star d = - |
| + | \frac \partial {\partial y } |
| + | dx + |
| + | \frac \partial {\partial x } |
| + | dy , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224035.png" /></td> </tr></table>
| + | $$ |
| + | {} ^ \star ( df ) = ( {} ^ \star d ) f ,\ ( {} ^ \star |
| + | d ) \omega = {} ^ \star d \omega = - d {} ^ \star \omega . |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224036.png" /></td> </tr></table>
| + | The star conjugation operator is not identical with the complex conjugation operator. The latter is denoted by a bar: if $ f = g + ih $, |
| + | then $ \overline{f}\; = g - ih $, |
| + | $ \overline \omega \; = \overline{p}\; dx + \overline{q}\; dy $, |
| + | $ \overline \Omega \; = \overline{A}\; dx dy $; |
| + | also $ d \overline \omega \; = \overline{ {d \omega }}\; $, |
| + | $ {} ^ \star \overline \omega \; = \overline{ {{} ^ \star \omega }}\; $. |
| + | The [[Laplace operator|Laplace operator]] $ \Delta = d {} ^ \star d $ |
| + | is defined on differentials of order zero: |
| | | |
− | The star conjugation operator is not identical with the complex conjugation operator. The latter is denoted by a bar: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224037.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224038.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224039.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224040.png" />; also <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224042.png" />. The [[Laplace operator|Laplace operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224043.png" /> is defined on differentials of order zero:
| + | $$ |
| + | \Delta f = d {} ^ \star df = \left ( |
| + | \frac{\partial ^ {2} f }{\partial x ^ {2} } |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224044.png" /></td> </tr></table>
| + | + |
| + | \frac{\partial ^ {2} f }{\partial y ^ {2} } |
| + | \right ) dx dy . |
| + | $$ |
| | | |
− | A differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224045.png" /> is called exact if there exists a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224046.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224047.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224048.png" /> everywhere; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224050.png" /> is called co-exact; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224051.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224052.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224053.png" /> is called closed; and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224054.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224055.png" /> is called a co-closed differential. Exactness entails closedness, but the opposite is not true. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224056.png" /> be cycles on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224057.png" />. The integrals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224058.png" /> known as the periods of the differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224059.png" />, are defined in the usual way with the aid of a local uniformizing parameter. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224060.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224061.png" /> are homologous on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224062.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224063.png" /> is a closed differential, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224064.png" />, i.e. the periods of a closed differential depend only on the homology classes. All periods of an exact differential are equal to zero. Conversely, a closed differential is exact if and only if all its periods are equal to zero. | + | A differential $ \omega $ |
| + | is called exact if there exists a function $ f $ |
| + | on $ S $ |
| + | such that $ \omega = df $ |
| + | everywhere; if $ \omega = {} ^ \star df $, |
| + | $ \omega $ |
| + | is called co-exact; if $ d \omega = 0 $ |
| + | on $ S $, |
| + | $ \omega $ |
| + | is called closed; and if $ d {} ^ \star \omega = 0 $, |
| + | $ \omega $ |
| + | is called a co-closed differential. Exactness entails closedness, but the opposite is not true. Let $ c _ {1} , c _ {2} \dots $ |
| + | be cycles on $ S $. |
| + | The integrals $ \int _ {c _ {1} } \omega , \int _ {c _ {2} } \omega \dots $ |
| + | known as the periods of the differential $ \omega $, |
| + | are defined in the usual way with the aid of a local uniformizing parameter. If $ c _ {1} $ |
| + | and $ c _ {2} $ |
| + | are homologous on $ S $ |
| + | and $ \omega $ |
| + | is a closed differential, then $ \int _ {c _ {1} } \omega = \int _ {c _ {2} } \omega $, |
| + | i.e. the periods of a closed differential depend only on the homology classes. All periods of an exact differential are equal to zero. Conversely, a closed differential is exact if and only if all its periods are equal to zero. |
| | | |
− | A function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224065.png" /> is said to be harmonic on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224066.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224067.png" />. A differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224068.png" /> is said to be a harmonic differential on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224069.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224070.png" /> is closed and co-closed: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224071.png" />. A harmonic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224072.png" /> is the total differential of a harmonic function in a neighbourhood of each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224073.png" />. If two real-valued functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224074.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224075.png" /> are connected by the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224076.png" />, they are [[Conjugate harmonic functions|conjugate harmonic functions]] satisfying the Cauchy–Riemann equations. Consequently, a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224077.png" /> is regular analytic, or holomorphic, on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224078.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224079.png" />. A differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224080.png" /> is said to be a regular analytic, or holomorphic, differential on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224081.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224082.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224083.png" />. A holomorphic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224084.png" /> is the total differential of a holomorphic function in a neighbourhood of each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224085.png" />. A holomorphic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224086.png" /> can be locally represented as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224087.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224088.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224089.png" /> is a holomorphic function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224090.png" />. | + | A function $ f \in C ^ {2} $ |
| + | is said to be harmonic on $ S $ |
| + | if $ \Delta f = 0 $. |
| + | A differential $ \omega \in C ^ {1} $ |
| + | is said to be a harmonic differential on $ S $ |
| + | if $ \omega $ |
| + | is closed and co-closed: $ d \omega = d {} ^ \star \omega = 0 $. |
| + | A harmonic differential $ \omega $ |
| + | is the total differential of a harmonic function in a neighbourhood of each point of $ S $. |
| + | If two real-valued functions $ u , v \in C ^ {1} $ |
| + | on $ S $ |
| + | are connected by the relation $ dv = {} ^ \star du $, |
| + | they are [[Conjugate harmonic functions|conjugate harmonic functions]] satisfying the Cauchy–Riemann equations. Consequently, a function $ f = u + iv \in C ^ {1} $ |
| + | is regular analytic, or holomorphic, on $ S $ |
| + | if $ {} ^ \star df = - i df $. |
| + | A differential $ \omega \in C ^ {1} $ |
| + | is said to be a regular analytic, or holomorphic, differential on $ S $ |
| + | if $ d \omega = 0 $ |
| + | and $ {} ^ \star \omega = - i \omega $. |
| + | A holomorphic differential $ \omega $ |
| + | is the total differential of a holomorphic function in a neighbourhood of each point of $ S $. |
| + | A holomorphic differential $ \omega $ |
| + | can be locally represented as $ \omega = f dz $, |
| + | where $ dz = dx + i dy $ |
| + | and $ f $ |
| + | is a holomorphic function in $ z $. |
| | | |
− | The equivalence classes of measurable complex differentials on a Riemann surface for which the integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224091.png" /> is finite form a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224092.png" /> with the usual addition, multiplication by complex scalars and scalar product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224093.png" />. Each differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224094.png" /> from the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224095.png" /> is uniquely representable as the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224096.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224097.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224098.png" /> is a harmonic differential on the Riemann surface. | + | The equivalence classes of measurable complex differentials on a Riemann surface for which the integral $ \int \int _ {S} \omega \wedge ( {} ^ \star \overline \omega \; ) $ |
| + | is finite form a Hilbert space $ L _ {2} ( S) $ |
| + | with the usual addition, multiplication by complex scalars and scalar product $ ( \omega , \pi ) = \int \int _ {S} \omega \wedge ( {} ^ \star \overline \pi \; ) $. |
| + | Each differential $ \omega $ |
| + | from the class $ L _ {2} ( S) \cap C ^ {3} ( S) $ |
| + | is uniquely representable as the sum $ \omega = \omega _ {h} + df + {} ^ \star dg $ |
| + | where $ f , g \in C ^ {2} ( S) $ |
| + | and $ \omega _ {h} $ |
| + | is a harmonic differential on the Riemann surface. |
| | | |
− | The above harmonic and holomorphic functions or differentials of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d03224099.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240100.png" /> are said to be regular on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240101.png" />. Let a differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240102.png" /> be defined, for example in a deleted neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240103.png" /> of a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240104.png" />, which is harmonic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240105.png" />. One then says that the harmonic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240106.png" /> has singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240107.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240108.png" /> if the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240109.png" /> is a regular harmonic differential. | + | The above harmonic and holomorphic functions or differentials of class $ C ^ {1} $ |
| + | on $ S $ |
| + | are said to be regular on $ S $. |
| + | Let a differential $ \theta $ |
| + | be defined, for example in a deleted neighbourhood $ U $ |
| + | of a point $ P _ {0} \in S $, |
| + | which is harmonic in $ U $. |
| + | One then says that the harmonic differential $ \omega $ |
| + | has singularity $ \theta $ |
| + | in $ P _ {0} $ |
| + | if the difference $ \omega - \theta $ |
| + | is a regular harmonic differential. |
| | | |
− | Similar definitions are utilized for harmonic and analytic functions, analytic differentials, etc. In particular, in the case of an analytic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240110.png" /> it is usually assumed that the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240111.png" /> is either regular analytic in a neighbourhood of each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240112.png" /> or else has only isolated singular points on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240113.png" /> of single-valued character. An analytic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240114.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240115.png" /> which has only singularities of pole type, | + | Similar definitions are utilized for harmonic and analytic functions, analytic differentials, etc. In particular, in the case of an analytic differential $ \omega = f dz $ |
| + | it is usually assumed that the function $ f $ |
| + | is either regular analytic in a neighbourhood of each point $ P _ {0} \in S $ |
| + | or else has only isolated singular points on $ S $ |
| + | of single-valued character. An analytic differential $ \omega $ |
| + | on $ S $ |
| + | which has only singularities of pole type, |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240116.png" /></td> </tr></table>
| + | $$ |
| + | \theta = ( a _ {-} n z ^ {-} n + a _ {-} n+ 1 z ^ {-} n+ 1 + \dots |
| + | + a _ {-} 1 z ^ {-} 1 ) dz , |
| + | $$ |
| | | |
− | is called a meromorphic differential; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240117.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240118.png" /> is the order of the pole; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240119.png" />, the pole is called simple: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240120.png" /> is called the residue of the differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240121.png" /> at the pole <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240122.png" />. A meromorphic differential on a compact Riemann surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240123.png" /> is also called an [[Abelian differential|Abelian differential]]. A harmonic function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240124.png" /> or on some domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240125.png" /> with given singularities is also known as an Abelian potential. | + | is called a meromorphic differential; here $ a _ {-} n \neq 0 $ |
| + | and $ n $ |
| + | is the order of the pole; if $ n = 1 $, |
| + | the pole is called simple: $ a _ {-} 1 $ |
| + | is called the residue of the differential $ \omega $ |
| + | at the pole $ P _ {0} $. |
| + | A meromorphic differential on a compact Riemann surface $ S $ |
| + | is also called an [[Abelian differential|Abelian differential]]. A harmonic function on $ S $ |
| + | or on some domain $ D \subset S $ |
| + | with given singularities is also known as an Abelian potential. |
| | | |
− | The integration of Abelian differentials yields Abelian integrals (cf. [[Abelian integral|Abelian integral]]), which actually account for all integrals of algebraic functions. In studying analytic differentials on an arbitrary, usually non-compact, Riemann surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240126.png" />, the natural requirement of preservation of the basic features of the classical theory of differentials on compact Riemann surfaces results in imposing additional conformally invariant restrictions on the regular differentials under study. The restriction most often used is the condition of integrability of, for example, the square of an analytic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240127.png" />, i.e. the Dirichlet integral | + | The integration of Abelian differentials yields Abelian integrals (cf. [[Abelian integral|Abelian integral]]), which actually account for all integrals of algebraic functions. In studying analytic differentials on an arbitrary, usually non-compact, Riemann surface $ S $, |
| + | the natural requirement of preservation of the basic features of the classical theory of differentials on compact Riemann surfaces results in imposing additional conformally invariant restrictions on the regular differentials under study. The restriction most often used is the condition of integrability of, for example, the square of an analytic differential $ \omega = f dz $, |
| + | i.e. the Dirichlet integral |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240128.png" /></td> </tr></table>
| + | $$ |
| + | {\int\limits \int\limits } _ { S } | f | ^ {2} d x d y |
| + | $$ |
| | | |
| must be finite. | | must be finite. |
| | | |
− | Of fundamental importance in the theory of differentials on Riemann surfaces is the problem of the existence of a harmonic and analytic differential with given singularities on an arbitrary Riemann surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240129.png" />. This problem is directly connected with the global uniformization problem for Riemann surfaces, since the construction of a global uniformizing parameter requires the ability to construct a differential with given singularities. | + | Of fundamental importance in the theory of differentials on Riemann surfaces is the problem of the existence of a harmonic and analytic differential with given singularities on an arbitrary Riemann surface $ S $. |
| + | This problem is directly connected with the global uniformization problem for Riemann surfaces, since the construction of a global uniformizing parameter requires the ability to construct a differential with given singularities. |
| | | |
| The principal results concerning the existence problem are given below. | | The principal results concerning the existence problem are given below. |
| | | |
− | If a cycle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240130.png" /> not homologous to zero exists on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240131.png" />, there also exists on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240132.png" /> an everywhere-regular harmonic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240133.png" /> with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240134.png" /> and an everywhere-regular differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240135.png" />. These differentials are not exact, and for this reason their integration does not yield single-valued harmonic or analytic functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240136.png" />. On a compact Riemann surface all harmonic and exact differentials are identically equal to zero. On the contrary, on a non-compact Riemann surface there exist everywhere-regular exact harmonic and holomorphic differentials which are not identically equal to zero. | + | If a cycle $ c $ |
| + | not homologous to zero exists on $ S $, |
| + | there also exists on $ S $ |
| + | an everywhere-regular harmonic differential $ \omega $ |
| + | with period $ \int _ {c} \omega \neq 0 $ |
| + | and an everywhere-regular differential $ \omega + i {} ^ \star \omega $. |
| + | These differentials are not exact, and for this reason their integration does not yield single-valued harmonic or analytic functions on $ S $. |
| + | On a compact Riemann surface all harmonic and exact differentials are identically equal to zero. On the contrary, on a non-compact Riemann surface there exist everywhere-regular exact harmonic and holomorphic differentials which are not identically equal to zero. |
| | | |
− | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240137.png" /> be a fixed point of an arbitrary Riemann surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240138.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240139.png" /> be an arbitrary natural number. Then there exist: an exact harmonic differential with singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240140.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240141.png" />; an exact real harmonic differential with singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240142.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240143.png" />) at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240144.png" />; a harmonic function with singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240145.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240146.png" />; and an analytic differential with singularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240147.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240148.png" /> whose real part is an exact differential. | + | Let $ P _ {0} $ |
| + | be a fixed point of an arbitrary Riemann surface $ S $ |
| + | and let $ n $ |
| + | be an arbitrary natural number. Then there exist: an exact harmonic differential with singularity $ d ( 1 / z ^ {n} ) $ |
| + | at $ P _ {0} $; |
| + | an exact real harmonic differential with singularity $ \mathop{\rm Re} d ( 1 / z ^ {n} ) $( |
| + | or $ \mathop{\rm Im} d ( 1 / z ^ {n} ) $) |
| + | at $ P _ {0} $; |
| + | a harmonic function with singularity $ 1 / z ^ {n} $ |
| + | at $ P _ {0} $; |
| + | and an analytic differential with singularity $ d ( 1 / z ^ {n} ) $ |
| + | at $ P _ {0} $ |
| + | whose real part is an exact differential. |
| | | |
− | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240149.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240150.png" /> be distinct points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240151.png" />. Then there exist: a harmonic or an analytic differential on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240152.png" /> with singularities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240153.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240154.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240155.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240156.png" />; and a real harmonic function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240157.png" /> with singularities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240158.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240159.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240160.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240161.png" />. | + | Let $ P _ {0} $ |
| + | and $ P _ {1} $ |
| + | be distinct points of $ S $. |
| + | Then there exist: a harmonic or an analytic differential on $ S $ |
| + | with singularities $ - dz / z $ |
| + | at $ P _ {0} $ |
| + | and $ dz / z $ |
| + | at $ P _ {1} $; |
| + | and a real harmonic function on $ S $ |
| + | with singularities $ - \mathop{\rm ln} | z | $ |
| + | at $ P _ {0} $ |
| + | and $ \mathop{\rm ln} | z | $ |
| + | at $ P _ {1} $. |
| | | |
− | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240162.png" /> be any pairwise distinct points on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240163.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240164.png" /> be arbitrary non-zero complex numbers such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240165.png" />. There exists a harmonic or an analytic differential on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240166.png" /> which is everywhere regular except at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240167.png" />, while at the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240168.png" /> it has simple poles with corresponding residues <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240169.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240170.png" />. | + | Let $ P _ {0} \dots P _ {n} $ |
| + | be any pairwise distinct points on $ S $ |
| + | and let $ c _ {0} \dots c _ {n} $ |
| + | be arbitrary non-zero complex numbers such that $ c _ {0} + \dots + c _ {n} = 0 $. |
| + | There exists a harmonic or an analytic differential on $ S $ |
| + | which is everywhere regular except at $ P _ {0} \dots P _ {n} $, |
| + | while at the points $ P _ {j} $ |
| + | it has simple poles with corresponding residues $ c _ {j} $, |
| + | $ j = 0 \dots n $. |
| | | |
− | The solution of the [[Dirichlet problem|Dirichlet problem]] is also possible for Jordan domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240171.png" />, i.e. domains whose boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240172.png" /> consists of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240173.png" /> non-intersecting Jordan curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240174.png" />. | + | The solution of the [[Dirichlet problem|Dirichlet problem]] is also possible for Jordan domains $ D \subset S $, |
| + | i.e. domains whose boundary $ \partial D $ |
| + | consists of $ n $ |
| + | non-intersecting Jordan curves $ C _ {1} \dots C _ {n} $. |
| | | |
− | The theory of differentials is the most advanced for compact Riemann surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240175.png" />. Let the genus (cf. [[Genus of a surface|Genus of a surface]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240176.png" /> be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240177.png" />. The vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240178.png" /> of regular harmonic differentials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240179.png" /> over the field of complex numbers has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240180.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240181.png" /> are the cycles of a canonical basis of the homology of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240182.png" />, one may choose as a canonical basis of the differentials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240183.png" /> the differentials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240184.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240185.png" />, with period one along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240186.png" /> and with period zero along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240187.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240188.png" />, and along all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240189.png" />; furthermore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240190.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240191.png" />, have period one along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240192.png" /> and period zero along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240193.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240194.png" />, and along all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240195.png" />. Any harmonic differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240196.png" /> can be represented in the form of a linear combination | + | The theory of differentials is the most advanced for compact Riemann surfaces $ S $. |
| + | Let the genus (cf. [[Genus of a surface|Genus of a surface]]) of $ S $ |
| + | be $ g $. |
| + | The vector space $ \mathfrak H $ |
| + | of regular harmonic differentials $ \omega $ |
| + | over the field of complex numbers has dimension $ 2g $. |
| + | If $ a _ {1} b _ {1} \dots a _ {g} b _ {g} $ |
| + | are the cycles of a canonical basis of the homology of $ S $, |
| + | one may choose as a canonical basis of the differentials in $ \mathfrak H $ |
| + | the differentials $ \omega _ {i} $, |
| + | $ i = 1 \dots g $, |
| + | with period one along $ a _ {i} $ |
| + | and with period zero along $ a _ {j} $, |
| + | $ j \neq i $, |
| + | and along all $ b _ {i} $; |
| + | furthermore, $ \omega _ {g+} i $, |
| + | $ i = 1 \dots g $, |
| + | have period one along $ b _ {i} $ |
| + | and period zero along $ b _ {j} $, |
| + | $ j \neq i $, |
| + | and along all $ a _ {i} $. |
| + | Any harmonic differential $ \omega $ |
| + | can be represented in the form of a linear combination |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240197.png" /></td> </tr></table>
| + | $$ |
| + | \omega = \sum _ {i = 1 } ^ { g } A _ {i} \omega _ {i} + |
| + | \sum _ {i = 1 } ^ { g } B _ {i} \omega _ {g + i } , |
| + | $$ |
| | | |
− | where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240198.png" /> are the so-called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240200.png" />-periods of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240201.png" /> along the cycles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240202.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240203.png" /> are the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240205.png" />-periods of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240206.png" /> along the cycles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240207.png" />. | + | where $ A _ {i} $ |
| + | are the so-called $ A $- |
| + | periods of $ \omega $ |
| + | along the cycles $ a _ {i} $, |
| + | and $ B _ {i} $ |
| + | are the $ B $- |
| + | periods of $ \omega $ |
| + | along the cycles $ b _ {i} $. |
| | | |
− | Holomorphic differentials on a compact Riemann surface are called Abelian differentials of the first kind. The dimension of the vector space of holomorphic differentials is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240208.png" />. All the differentials on a Riemann surface which have just been discussed can be expressed in terms of the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240209.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240210.png" />, e.g. | + | Holomorphic differentials on a compact Riemann surface are called Abelian differentials of the first kind. The dimension of the vector space of holomorphic differentials is $ g $. |
| + | All the differentials on a Riemann surface which have just been discussed can be expressed in terms of the variables $ z $ |
| + | and $ \overline{z}\; $, |
| + | e.g. |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240211.png" /></td> </tr></table>
| + | $$ |
| + | f = f ( z , \overline{z}\; ) ,\ \omega = p dz + q d \overline{z}\; = \ |
| + | p ( z , \overline{z}\; ) dz + q ( z , \overline{z}\; ) d \overline{z}\; , |
| + | $$ |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240212.png" /></td> </tr></table>
| + | $$ |
| + | \Omega = A dz \wedge d \overline{z}\; = A ( z , \overline{z}\; ) dz \wedge d \overline{z}\; , |
| + | $$ |
| | | |
− | etc. As distinct from complex manifolds of higher dimension, on Riemann surfaces only the exterior differential forms of types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240213.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240214.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240215.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240216.png" />, having respective form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240217.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240218.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240219.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240220.png" />, are non-trivial. An analytic differential depends only on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240221.png" />: | + | etc. As distinct from complex manifolds of higher dimension, on Riemann surfaces only the exterior differential forms of types $ ( 0 , 0 ) $, |
| + | $ ( 1 , 0 ) $, |
| + | $ ( 0 , 1 ) $, |
| + | and $ ( 1 , 1 ) $, |
| + | having respective form $ f $, |
| + | $ p dz $, |
| + | $ q d \overline{z}\; $, |
| + | $ A dz \wedge d \overline{z}\; $, |
| + | are non-trivial. An analytic differential depends only on $ z $: |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240222.png" /></td> </tr></table>
| + | $$ |
| + | f = f ( z) ,\ \omega = p ( z) dz . |
| + | $$ |
| | | |
− | Non-linear differential forms of the type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240223.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240224.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240225.png" /> are integers, are also employed. They are also known as differentials of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240227.png" /> or of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240229.png" />. Differentials of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240230.png" /> are known as functions, those of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240231.png" /> as linear differentials, those of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240232.png" /> as inverse differentials, and those of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240233.png" /> as quadratic differentials. Quadratic differentials are the most frequently used. See also [[Global structure of trajectories|Global structure of trajectories]]; [[Local structure of trajectories|Local structure of trajectories]]; [[Quadratic differential|Quadratic differential]]; [[Riemann surface|Riemann surface]]; [[Uniformization|Uniformization]]. | + | Non-linear differential forms of the type $ p ( z , \overline{z}\; ) dz ^ {m} d {\overline{z}\; } {} ^ {n} $, |
| + | where $ m $ |
| + | and $ n $ |
| + | are integers, are also employed. They are also known as differentials of type $ ( m , n ) $ |
| + | or of dimension $ ( m , n ) $. |
| + | Differentials of type $ ( 0 , 0 ) $ |
| + | are known as functions, those of type $ ( 1 , 0 ) $ |
| + | as linear differentials, those of type $ ( - 1 , 0 ) $ |
| + | as inverse differentials, and those of type $ ( 2 , 0 ) $ |
| + | as quadratic differentials. Quadratic differentials are the most frequently used. See also [[Global structure of trajectories|Global structure of trajectories]]; [[Local structure of trajectories|Local structure of trajectories]]; [[Quadratic differential|Quadratic differential]]; [[Riemann surface|Riemann surface]]; [[Uniformization|Uniformization]]. |
| | | |
| ====References==== | | ====References==== |
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> G. Springer, "Introduction to Riemann surfaces" , Chelsea, reprint (1981)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> R. Nevanlinna, "Uniformisierung" , Springer (1953)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> M. Schiffer, D.C. Spencer, "Functionals of finite Riemann surfaces" , Princeton Univ. Press (1954)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> H. Behnke, F. Sommer, "Theorie der analytischen Funktionen einer komplexen Veränderlichen" , Springer (1955)</TD></TR></table> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> G. Springer, "Introduction to Riemann surfaces" , Chelsea, reprint (1981) {{MR|0122987}} {{MR|1530201}} {{MR|0092855}} {{ZBL|0501.30039}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> R. Nevanlinna, "Uniformisierung" , Springer (1953) {{MR|0057335}} {{ZBL|0053.05003}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> M. Schiffer, D.C. Spencer, "Functionals of finite Riemann surfaces" , Princeton Univ. Press (1954) {{MR|0065652}} {{ZBL|0059.06901}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> H. Behnke, F. Sommer, "Theorie der analytischen Funktionen einer komplexen Veränderlichen" , Springer (1955) {{MR|0073682}} {{ZBL|0065.06102}} </TD></TR></table> |
− | | |
− | | |
| | | |
| ====Comments==== | | ====Comments==== |
− | Differentials on a Riemann surface are simply complex-valued differential forms on the underlying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240234.png" />-dimensional manifold (cf. also [[Differential form|Differential form]]). Their local expressions in terms of local coordinates, however, are (usually) only written down with respect to local coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240235.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240236.png" /> is a local uniformizing parameter (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240237.png" /> is a local coordinate on the complex manifold). This is the meaning of the phrase "invariant with respect to conformal transformations of the local uniformizing parameter" and other phrases with "invariant" in them in the article above. The definition of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240238.png" />-operator only makes sense for local expressions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240239.png" /> for a differential form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240240.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240241.png" /> is a local uniformizing parameter (because the conformal coordinate changes satisfy the Cauchy–Riemann equations). The differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240242.png" /> is also called the conjugate differential of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240243.png" />. | + | Differentials on a Riemann surface are simply complex-valued differential forms on the underlying $ 2 $- |
| + | dimensional manifold (cf. also [[Differential form|Differential form]]). Their local expressions in terms of local coordinates, however, are (usually) only written down with respect to local coordinates $ x , y $ |
| + | such that $ z = x + i y $ |
| + | is a local uniformizing parameter (i.e. $ z $ |
| + | is a local coordinate on the complex manifold). This is the meaning of the phrase "invariant with respect to conformal transformations of the local uniformizing parameter" and other phrases with "invariant" in them in the article above. The definition of the $ {} ^ \star $- |
| + | operator only makes sense for local expressions $ p d x + g d y $ |
| + | for a differential form $ \omega $ |
| + | such that $ x + i y = z $ |
| + | is a local uniformizing parameter (because the conformal coordinate changes satisfy the Cauchy–Riemann equations). The differential $ {} ^ \star \omega $ |
| + | is also called the conjugate differential of $ \omega $. |
| | | |
− | A pure differential is one for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240244.png" />. This means it can be written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240245.png" /> (for some (not necessarily holomorphic) function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032240/d032240246.png" />). | + | A pure differential is one for which $ {} ^ \star \omega = - i \omega $. |
| + | This means it can be written as $ \omega = f d z $( |
| + | for some (not necessarily holomorphic) function $ f $). |
| | | |
| ====References==== | | ====References==== |
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H.M. Farkas, I. Kra, "Riemann surfaces" , Springer (1980)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> L.V. Ahlfors, L. Sario, "Riemann surfaces" , Princeton Univ. Press (1960) pp. Chapt. V</TD></TR></table> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H.M. Farkas, I. Kra, "Riemann surfaces" , Springer (1980) {{MR|0583745}} {{ZBL|0475.30001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> L.V. Ahlfors, L. Sario, "Riemann surfaces" , Princeton Univ. Press (1960) pp. Chapt. V {{MR|0124486}} {{MR|0114911}} {{ZBL|0196.33801}} {{ZBL|0100.28903}} </TD></TR></table> |
A differential form on a Riemann surface $ S $
that is invariant with respect to a conformal transformation of the local uniformizing parameter $ z = x + iy $.
Differentials of the first order are most often encountered; these are differential forms of dimension 1 that are linear with respect to the differential of each of the variables $ ( x , y ) $,
of the form
$$
\omega = p dx + q dy \equiv p ( x , y ) dx + q ( x , y ) dy ,
$$
$$
\pi = r dx + s dy ,
$$
and that are invariant with respect to parameter change with sufficiently smooth coefficients $ p , q ,\dots $.
Differentials of order zero are sufficiently smooth complex functions $ f = f ( x , y ) $,
$ g = g ( x , y ) $
that are invariant with respect to parameter change, i.e. functions of the points $ P \in S $;
differentials of the second order have the form
$$
\Omega = A dx dy \equiv A ( x , y ) dx dy ,\ \Pi = B dx dy .
$$
All differentials of order $ k > 2 $
on a Riemann surface vanish identically.
The addition of differentials of the same order on a Riemann surface is effected in the usual way:
$$
f + g ,\ \omega + \pi = ( p + r ) dx + ( q + s ) dy ,
$$
$$
\Omega + \Pi = ( A + B ) dx dy ,
$$
and is commutative and associative. The exterior multiplication of differentials on a Riemann surface is distributive with respect to addition, is denoted by the symbol $ \wedge $
and is defined by the following laws:
$$
f \wedge g = fg ; \ f \wedge \omega = ( fp) dx + ( fg) dy ,
$$
$$
dx \wedge dx = dy \wedge dy = 0 ,\ dy \wedge dx = - dx \wedge dy = - dx dy .
$$
Hence
$$
\omega \wedge \pi = ( ps - qr) dx dy ,\ \pi \wedge \omega = - \omega \wedge
\pi ;
$$
$$
f \wedge \Omega = ( fA) dx dy .
$$
In general, exterior multiplication of a differential of order $ k $
by a differential of order $ l $,
where $ k + l \leq 2 $,
yields a differential or order $ k + l $,
while if $ k + l > 2 $
it vanishes. The linear differentiation operator $ d = ( \partial / \partial x ) dx + ( \partial / \partial y ) dy $
transforms a differential of order $ k $
to a differential of order $ k + 1 $:
$$
df =
\frac{\partial f }{\partial x }
dx +
\frac{\partial f }{\partial y }
dy ,
$$
$$
d \omega = ( dp) dx + ( dq) dy = \left (
\frac{\partial q }{\partial x }
-
\frac{\partial p }{\partial y }
\right ) dx dy ,\ d \Omega = 0 .
$$
Moreover,
$$
d ( fg) = f dg + g df ,
$$
$$
d ( f \omega ) = ( df ) \omega + f ( d \omega ) = - \omega ( df ) + f ( d \omega )
$$
and $ dd = 0 $.
Of importance to differentials on a Riemann surface is also the linear star conjugation operator
$$
{} ^ \star \omega = - q dx + p dy .
$$
Here
$$
{} ^ \star ( f \wedge \omega ) = f \wedge ( {} ^ \star \omega ) ,
$$
$$
\omega \wedge ( {} ^ \star \pi ) = \pi \wedge ( {} ^ \star \omega ) = ( pr + qs) dx dy ,
$$
$$
\omega \wedge ( {} ^ \star \omega ) = ( p ^ {2} + q ^ {2} ) dx dy ,\ {} ^ \star d = -
\frac \partial {\partial y }
dx +
\frac \partial {\partial x }
dy ,
$$
$$
{} ^ \star ( df ) = ( {} ^ \star d ) f ,\ ( {} ^ \star
d ) \omega = {} ^ \star d \omega = - d {} ^ \star \omega .
$$
The star conjugation operator is not identical with the complex conjugation operator. The latter is denoted by a bar: if $ f = g + ih $,
then $ \overline{f}\; = g - ih $,
$ \overline \omega \; = \overline{p}\; dx + \overline{q}\; dy $,
$ \overline \Omega \; = \overline{A}\; dx dy $;
also $ d \overline \omega \; = \overline{ {d \omega }}\; $,
$ {} ^ \star \overline \omega \; = \overline{ {{} ^ \star \omega }}\; $.
The Laplace operator $ \Delta = d {} ^ \star d $
is defined on differentials of order zero:
$$
\Delta f = d {} ^ \star df = \left (
\frac{\partial ^ {2} f }{\partial x ^ {2} }
+
\frac{\partial ^ {2} f }{\partial y ^ {2} }
\right ) dx dy .
$$
A differential $ \omega $
is called exact if there exists a function $ f $
on $ S $
such that $ \omega = df $
everywhere; if $ \omega = {} ^ \star df $,
$ \omega $
is called co-exact; if $ d \omega = 0 $
on $ S $,
$ \omega $
is called closed; and if $ d {} ^ \star \omega = 0 $,
$ \omega $
is called a co-closed differential. Exactness entails closedness, but the opposite is not true. Let $ c _ {1} , c _ {2} \dots $
be cycles on $ S $.
The integrals $ \int _ {c _ {1} } \omega , \int _ {c _ {2} } \omega \dots $
known as the periods of the differential $ \omega $,
are defined in the usual way with the aid of a local uniformizing parameter. If $ c _ {1} $
and $ c _ {2} $
are homologous on $ S $
and $ \omega $
is a closed differential, then $ \int _ {c _ {1} } \omega = \int _ {c _ {2} } \omega $,
i.e. the periods of a closed differential depend only on the homology classes. All periods of an exact differential are equal to zero. Conversely, a closed differential is exact if and only if all its periods are equal to zero.
A function $ f \in C ^ {2} $
is said to be harmonic on $ S $
if $ \Delta f = 0 $.
A differential $ \omega \in C ^ {1} $
is said to be a harmonic differential on $ S $
if $ \omega $
is closed and co-closed: $ d \omega = d {} ^ \star \omega = 0 $.
A harmonic differential $ \omega $
is the total differential of a harmonic function in a neighbourhood of each point of $ S $.
If two real-valued functions $ u , v \in C ^ {1} $
on $ S $
are connected by the relation $ dv = {} ^ \star du $,
they are conjugate harmonic functions satisfying the Cauchy–Riemann equations. Consequently, a function $ f = u + iv \in C ^ {1} $
is regular analytic, or holomorphic, on $ S $
if $ {} ^ \star df = - i df $.
A differential $ \omega \in C ^ {1} $
is said to be a regular analytic, or holomorphic, differential on $ S $
if $ d \omega = 0 $
and $ {} ^ \star \omega = - i \omega $.
A holomorphic differential $ \omega $
is the total differential of a holomorphic function in a neighbourhood of each point of $ S $.
A holomorphic differential $ \omega $
can be locally represented as $ \omega = f dz $,
where $ dz = dx + i dy $
and $ f $
is a holomorphic function in $ z $.
The equivalence classes of measurable complex differentials on a Riemann surface for which the integral $ \int \int _ {S} \omega \wedge ( {} ^ \star \overline \omega \; ) $
is finite form a Hilbert space $ L _ {2} ( S) $
with the usual addition, multiplication by complex scalars and scalar product $ ( \omega , \pi ) = \int \int _ {S} \omega \wedge ( {} ^ \star \overline \pi \; ) $.
Each differential $ \omega $
from the class $ L _ {2} ( S) \cap C ^ {3} ( S) $
is uniquely representable as the sum $ \omega = \omega _ {h} + df + {} ^ \star dg $
where $ f , g \in C ^ {2} ( S) $
and $ \omega _ {h} $
is a harmonic differential on the Riemann surface.
The above harmonic and holomorphic functions or differentials of class $ C ^ {1} $
on $ S $
are said to be regular on $ S $.
Let a differential $ \theta $
be defined, for example in a deleted neighbourhood $ U $
of a point $ P _ {0} \in S $,
which is harmonic in $ U $.
One then says that the harmonic differential $ \omega $
has singularity $ \theta $
in $ P _ {0} $
if the difference $ \omega - \theta $
is a regular harmonic differential.
Similar definitions are utilized for harmonic and analytic functions, analytic differentials, etc. In particular, in the case of an analytic differential $ \omega = f dz $
it is usually assumed that the function $ f $
is either regular analytic in a neighbourhood of each point $ P _ {0} \in S $
or else has only isolated singular points on $ S $
of single-valued character. An analytic differential $ \omega $
on $ S $
which has only singularities of pole type,
$$
\theta = ( a _ {-} n z ^ {-} n + a _ {-} n+ 1 z ^ {-} n+ 1 + \dots
+ a _ {-} 1 z ^ {-} 1 ) dz ,
$$
is called a meromorphic differential; here $ a _ {-} n \neq 0 $
and $ n $
is the order of the pole; if $ n = 1 $,
the pole is called simple: $ a _ {-} 1 $
is called the residue of the differential $ \omega $
at the pole $ P _ {0} $.
A meromorphic differential on a compact Riemann surface $ S $
is also called an Abelian differential. A harmonic function on $ S $
or on some domain $ D \subset S $
with given singularities is also known as an Abelian potential.
The integration of Abelian differentials yields Abelian integrals (cf. Abelian integral), which actually account for all integrals of algebraic functions. In studying analytic differentials on an arbitrary, usually non-compact, Riemann surface $ S $,
the natural requirement of preservation of the basic features of the classical theory of differentials on compact Riemann surfaces results in imposing additional conformally invariant restrictions on the regular differentials under study. The restriction most often used is the condition of integrability of, for example, the square of an analytic differential $ \omega = f dz $,
i.e. the Dirichlet integral
$$
{\int\limits \int\limits } _ { S } | f | ^ {2} d x d y
$$
must be finite.
Of fundamental importance in the theory of differentials on Riemann surfaces is the problem of the existence of a harmonic and analytic differential with given singularities on an arbitrary Riemann surface $ S $.
This problem is directly connected with the global uniformization problem for Riemann surfaces, since the construction of a global uniformizing parameter requires the ability to construct a differential with given singularities.
The principal results concerning the existence problem are given below.
If a cycle $ c $
not homologous to zero exists on $ S $,
there also exists on $ S $
an everywhere-regular harmonic differential $ \omega $
with period $ \int _ {c} \omega \neq 0 $
and an everywhere-regular differential $ \omega + i {} ^ \star \omega $.
These differentials are not exact, and for this reason their integration does not yield single-valued harmonic or analytic functions on $ S $.
On a compact Riemann surface all harmonic and exact differentials are identically equal to zero. On the contrary, on a non-compact Riemann surface there exist everywhere-regular exact harmonic and holomorphic differentials which are not identically equal to zero.
Let $ P _ {0} $
be a fixed point of an arbitrary Riemann surface $ S $
and let $ n $
be an arbitrary natural number. Then there exist: an exact harmonic differential with singularity $ d ( 1 / z ^ {n} ) $
at $ P _ {0} $;
an exact real harmonic differential with singularity $ \mathop{\rm Re} d ( 1 / z ^ {n} ) $(
or $ \mathop{\rm Im} d ( 1 / z ^ {n} ) $)
at $ P _ {0} $;
a harmonic function with singularity $ 1 / z ^ {n} $
at $ P _ {0} $;
and an analytic differential with singularity $ d ( 1 / z ^ {n} ) $
at $ P _ {0} $
whose real part is an exact differential.
Let $ P _ {0} $
and $ P _ {1} $
be distinct points of $ S $.
Then there exist: a harmonic or an analytic differential on $ S $
with singularities $ - dz / z $
at $ P _ {0} $
and $ dz / z $
at $ P _ {1} $;
and a real harmonic function on $ S $
with singularities $ - \mathop{\rm ln} | z | $
at $ P _ {0} $
and $ \mathop{\rm ln} | z | $
at $ P _ {1} $.
Let $ P _ {0} \dots P _ {n} $
be any pairwise distinct points on $ S $
and let $ c _ {0} \dots c _ {n} $
be arbitrary non-zero complex numbers such that $ c _ {0} + \dots + c _ {n} = 0 $.
There exists a harmonic or an analytic differential on $ S $
which is everywhere regular except at $ P _ {0} \dots P _ {n} $,
while at the points $ P _ {j} $
it has simple poles with corresponding residues $ c _ {j} $,
$ j = 0 \dots n $.
The solution of the Dirichlet problem is also possible for Jordan domains $ D \subset S $,
i.e. domains whose boundary $ \partial D $
consists of $ n $
non-intersecting Jordan curves $ C _ {1} \dots C _ {n} $.
The theory of differentials is the most advanced for compact Riemann surfaces $ S $.
Let the genus (cf. Genus of a surface) of $ S $
be $ g $.
The vector space $ \mathfrak H $
of regular harmonic differentials $ \omega $
over the field of complex numbers has dimension $ 2g $.
If $ a _ {1} b _ {1} \dots a _ {g} b _ {g} $
are the cycles of a canonical basis of the homology of $ S $,
one may choose as a canonical basis of the differentials in $ \mathfrak H $
the differentials $ \omega _ {i} $,
$ i = 1 \dots g $,
with period one along $ a _ {i} $
and with period zero along $ a _ {j} $,
$ j \neq i $,
and along all $ b _ {i} $;
furthermore, $ \omega _ {g+} i $,
$ i = 1 \dots g $,
have period one along $ b _ {i} $
and period zero along $ b _ {j} $,
$ j \neq i $,
and along all $ a _ {i} $.
Any harmonic differential $ \omega $
can be represented in the form of a linear combination
$$
\omega = \sum _ {i = 1 } ^ { g } A _ {i} \omega _ {i} +
\sum _ {i = 1 } ^ { g } B _ {i} \omega _ {g + i } ,
$$
where $ A _ {i} $
are the so-called $ A $-
periods of $ \omega $
along the cycles $ a _ {i} $,
and $ B _ {i} $
are the $ B $-
periods of $ \omega $
along the cycles $ b _ {i} $.
Holomorphic differentials on a compact Riemann surface are called Abelian differentials of the first kind. The dimension of the vector space of holomorphic differentials is $ g $.
All the differentials on a Riemann surface which have just been discussed can be expressed in terms of the variables $ z $
and $ \overline{z}\; $,
e.g.
$$
f = f ( z , \overline{z}\; ) ,\ \omega = p dz + q d \overline{z}\; = \
p ( z , \overline{z}\; ) dz + q ( z , \overline{z}\; ) d \overline{z}\; ,
$$
$$
\Omega = A dz \wedge d \overline{z}\; = A ( z , \overline{z}\; ) dz \wedge d \overline{z}\; ,
$$
etc. As distinct from complex manifolds of higher dimension, on Riemann surfaces only the exterior differential forms of types $ ( 0 , 0 ) $,
$ ( 1 , 0 ) $,
$ ( 0 , 1 ) $,
and $ ( 1 , 1 ) $,
having respective form $ f $,
$ p dz $,
$ q d \overline{z}\; $,
$ A dz \wedge d \overline{z}\; $,
are non-trivial. An analytic differential depends only on $ z $:
$$
f = f ( z) ,\ \omega = p ( z) dz .
$$
Non-linear differential forms of the type $ p ( z , \overline{z}\; ) dz ^ {m} d {\overline{z}\; } {} ^ {n} $,
where $ m $
and $ n $
are integers, are also employed. They are also known as differentials of type $ ( m , n ) $
or of dimension $ ( m , n ) $.
Differentials of type $ ( 0 , 0 ) $
are known as functions, those of type $ ( 1 , 0 ) $
as linear differentials, those of type $ ( - 1 , 0 ) $
as inverse differentials, and those of type $ ( 2 , 0 ) $
as quadratic differentials. Quadratic differentials are the most frequently used. See also Global structure of trajectories; Local structure of trajectories; Quadratic differential; Riemann surface; Uniformization.
References
[1] | G. Springer, "Introduction to Riemann surfaces" , Chelsea, reprint (1981) MR0122987 MR1530201 MR0092855 Zbl 0501.30039 |
[2] | R. Nevanlinna, "Uniformisierung" , Springer (1953) MR0057335 Zbl 0053.05003 |
[3] | M. Schiffer, D.C. Spencer, "Functionals of finite Riemann surfaces" , Princeton Univ. Press (1954) MR0065652 Zbl 0059.06901 |
[4] | H. Behnke, F. Sommer, "Theorie der analytischen Funktionen einer komplexen Veränderlichen" , Springer (1955) MR0073682 Zbl 0065.06102 |
Differentials on a Riemann surface are simply complex-valued differential forms on the underlying $ 2 $-
dimensional manifold (cf. also Differential form). Their local expressions in terms of local coordinates, however, are (usually) only written down with respect to local coordinates $ x , y $
such that $ z = x + i y $
is a local uniformizing parameter (i.e. $ z $
is a local coordinate on the complex manifold). This is the meaning of the phrase "invariant with respect to conformal transformations of the local uniformizing parameter" and other phrases with "invariant" in them in the article above. The definition of the $ {} ^ \star $-
operator only makes sense for local expressions $ p d x + g d y $
for a differential form $ \omega $
such that $ x + i y = z $
is a local uniformizing parameter (because the conformal coordinate changes satisfy the Cauchy–Riemann equations). The differential $ {} ^ \star \omega $
is also called the conjugate differential of $ \omega $.
A pure differential is one for which $ {} ^ \star \omega = - i \omega $.
This means it can be written as $ \omega = f d z $(
for some (not necessarily holomorphic) function $ f $).
References