1
$\开始组$

我正在寻找普适覆盖空间,现在我想知道平方根$z^{1/2}$的黎曼曲面(或者对于$z^}1/n}$更一般)是否是单连通的,因此是穿孔复平面的普适覆盖区域?

如果是,$log(z)$的Riemann曲面(拓扑)是否同胚于$z^{1/n}$的Riemann曲面?如果两个Riemann曲面都是穿孔复平面的单连通覆盖空间,那么它们显然必须是同胚的,但仅仅从它们来看似乎并不明显。

我不熟悉复杂分析(我专门研究几何),但需要对几何中的结果进行解释。。。非常感谢您的帮助!

$\端组$
1
  • $\开始组$ 穿孔平面同胚于$\mathbb S^1\times\mathbb R$,因此其通用覆盖空间为$\mathbb R\times\mathbbR$。通常,这由指数函数$z=e^w$表示。 $\端组$ 评论 2015年3月21日4:22

2个答案2

重置为默认值
8
$\开始组$

我假设您正在讨论黎曼曲面${w^2=z,w\neq0}$等等。那就是了简单连接。要看到这一点,首先要注意它是$\mathbb C\backslash\{0\}$的两片覆盖,因为它是局部同胚,并且$\mathbb C\backslash\{0\{}$中的每个点都有两个前像。然后,它的基本群是$\pi_1(\mathbb C\backslash\{0\})=\mathbbZ$的索引2的一个子群,这是非常重要的。更直接地说,如果你让$z$绕着$0$转两圈,$w$将转一整圈,从而在$\{w^2=z,w\neq0\}$中画出一个循环。但是,如果您将这个循环提升到$\mathbb C\backslash\{0\}$的通用覆盖的对数(请参阅下一段),您将看到您移动了$4\pi i$,因此它不是通用覆盖中的循环。相同的参数适用于$\{w^n=z,w\neq0\}$。

相反,黎曼曲面$\{e^w=z\}$是简单连接的,因为它是同胚的(实际上是双全纯的)到$\mathbb C$。它是$\mathbb C\backslash\{0\}$通过指数映射的覆盖,因此您可以通过对数提升后者中的任何循环,看看它是否为nullhomotopic。

结论:简单连接的黎曼曲面$\{e^w=z\}$是非同胚的对于任何$n>1$,设置为$\{w^n=z,w\neq0\}$。

$\端组$
2
  • $\开始组$ 这很有帮助!但我还有一个问题:你说:“黎曼曲面{ew=z}是简单相连的,因为它是同胚于复平面的。1)无限切面黎曼曲面和平面之间怎么可能有一个映射,这是一个定义明确的双射函数和同胚?我的意思是,它怎么可能是内射的(“一对一”)如果平面上的一个点映射到黎曼曲面上的无限多个薄板上?2) 平方根的黎曼曲面不是单连通的。这个黎曼曲面是同胚于(多重连接)穿孔复平面吗? $\端组$
    – 特征值
    评论 2015年3月21日21:10
  • 1
    $\开始组$ @这就是为什么我用集合$\{e^w=z\}=\{(w,z)\in\mathbbC^2:e^w=z\}$来标识黎曼曲面。它通过映射$w\to(w,e^w)$同胚于复杂平面。无限片覆盖是$(w,z)到z$,或$(w、e^w)到e^w$,它是被刺穿的复杂平面,而不是复杂平面本身。简而言之,它们是两张不同的地图,而地图另一边的内容并不相同。 $\端组$
    – 范正
    评论 2015年3月22日0:47
2
$\开始组$

$z^\frac{1}{2}$的黎曼曲面是$\mathbb{C}^*$的副本,您需要的覆盖贴图是$z\mapstoz^2$。

对于$z^\frac{1}{n}$,它仍然是$\mathbb{C}^*$,覆盖图是$z\mapstoz^n$。

对于$\log(z)$,Riemann曲面为$\mathbb{C}$,覆盖映射为$z\mapsto e^z$。

$\端组$

你必须登录来回答这个问题。

不是你想要的答案吗?浏览已标记的其他问题.