單值
數學術語
所謂的“單值性”定義域,使得原始的多值函數在該定義域上能夠變成真正的單值函數。這種定義域就是所謂的黎曼曲面。
黎曼為了處理多值函數,諸如(平方根函數) 等,他需要構造一個所謂的“單值性”定義域,使得原始的多值函數在該定義域上能夠變成真正的單值函數。這種定義域就是所謂的黎曼曲面。從多值複變函數的角度看,當自變數w圍繞複平面上某些特殊點繞一圈后,因變數z將從值域的某個單葉分支進入另一單葉分支--通常不會回到初始點上。這種特殊點叫做支點。我們也可以把z的這一變化(當w繞支點一圈)叫做單值。
我們這裡以曲面纖維化為例來解釋它。
設是代數曲面X到代數曲線C的全純映射,的原像是奇異纖維。假設q是充分接近p的一點,γ是從q出發繞p一周回到q的小環路。當一個點沿著γ走一圈后,q對應的纖維上的每個點的位置都會發生變化。嚴格地講,γ誘導了到自身的一個同胚映射,這個映射就叫做h環路γ誘導的拓撲單值。
1991年,Y.Matsumoto和J.M.Montesinos-Amilibia給出了纖維芽拓撲單值映射和負定型偽周期映射的共軛類之間的一一對應。
從拓撲單值出發,人們可以誘導奇異纖維的第一同調群到自身的同構,它成為Picard-Lefschetz單值。它可以用2g階的辛矩陣表示。
一個經典的例子是關於橢圓曲線。當s圍繞繞一圈后,T_s發生了一個Dehn扭轉。小平邦彥給出了關於奇異橢圓纖維的全部單值分類。