方弦 發(fā)表于 2016-10-26 03:50
前文回顧: 地圖的魔術我們先回到一開始的問題:對于某個正整數,,假設有兩個互質的多項式,其中的次數是,,的次數是,。那么,,多項式的次數最小可以有多小,? 我們現在用別雷函數,、球面覆蓋和二部地圖的眼光來看這個問題。首先,,我們來考慮分式,。可以證明,,如果除了0,、1和∞以外還有別的分支點的話,我們就得不到最優(yōu)解,。所以,,我們可以假設是別雷函數。 函數在0處的分支點就是的根,,也就是的根(計算重數的話,,一共有個),但每個根的重數要乘以3,。同樣的道理,,它在∞處的分支點就是的根,再加上無窮遠點,,因為的次數比要小,,所以當趨向于無窮時,也會趨向于無窮,。那么,,它在1處的分支點又怎么樣呢?這就是我們選取的目的:就等于,,所以,,在1處的分支點,就是的根(計算重數的話,,一共有個),,但每個根的重數要乘以2。我們可以假定沒有別的分支點,。我們要問的問題實際上就是:在∞處的分支點至少有多少個,? 我們重溫一下球面覆蓋和二部地圖概念之間的翻譯表。
如果將所有這些要求翻譯成二部地圖的概念,,我們實際上要解決的是這樣的一個問題: 如果一個二部地圖,,它的白色頂點度數都是偶數,并且加起來是,而黑色頂點的度數都是3的倍數,,加起來也是,,那么,,它至少有多少個面,?(在這里,我們不能說白色頂點的度數都是2,,因為可能有重根,,黑色頂點同理) 如果很小的話,試著畫畫也就可以了,。但因為現在可以要多大有多大,,亂試一通大概不太管用。這就是借助別的數學工具的時候了,。18世紀的大數學家歐拉(順帶一提,,按博士導師的師承關系的話,他是筆者以及很多人的祖師爺)在開辟圖論這一領域時,,證明了下面的等式:如果一個平面地圖有個頂點,、條邊和個面(最外面的也算一個面)的話,那么必然有
我們把這個等式套到我們的問題上,,看看會得到什么,。容易知道,我們的二部地圖必定有條邊,,也就是說,。把等式改寫一下,我們得到,。因為我們想知道至少有多少個面,,所以我們應該嘗試尋找最大可能的,也就是最大化頂點的個數,。因為白色頂點的度數都是偶數,,并且加起來是,要獲得最多的頂點,,最好的方法就是要求每個頂點的度數都是2,,這樣就能拿到最多的個頂點。同理,,對于黑色頂點,,最好的情況就是每個頂點的度數都是3,這樣能拿到最多的個頂點,。所以,,頂點的總數合起來最多是個,也就是。代入歐拉的等式,,得到的就是,,也就是說這樣的平面地圖至少有個面??紤]到其中一個面對應的是無窮遠點,,這就意味著的度數至少是,而且要達到這個度數,,必須不能有重根,,也就是說每個面(除了最外邊)的度數都是2。 我們得到了想要的下界,,但還要證明這個下界能夠達到,,而我們又不想計算無窮個滿足條件的多項式,怎么辦呢,?這就是別雷定理出場的時候了:它告訴我們,,只要對應的二部地圖能畫出來,那么滿足要求的分式必定存在,,而且系數都是代數數,。所以,我們根本不需要計算,,只需要畫出滿足條件的二部地圖就足夠了,。這樣的地圖畫法非常簡單:首先畫出一棵有個黑色頂點的三叉樹(也就是沒有圈的地圖,而分叉的頂點度數都是3),,在每個葉頂點(也就是度數為1的頂點)上畫一條跟自身連接的邊,,然后在每條邊中間插入一個白色頂點,就得到了滿足條件的二部地圖,??梢宰C明,滿足條件的二部地圖必定能用這樣的方法構造出來,。根據別雷定理,,既然二部地圖能畫出來,那么滿足要求的分式存在,,也就是說使達到最小度數的是存在的,。 三叉樹的構造,蒙A. Zvonkine惠允 實際上,,我們可以給施加更復雜的限制,,用同樣的辦法,也能得到的最小度數,。這個推廣首先由U. Zannier在1995年給出,,后來A. Zvonkine等利用二部地圖的方法給出了簡單得多的證明,。 不僅如此,根據別雷定理,,二部地圖和分支點只有0,、1和∞的分式有著一一對應的關系,所以,,要知道有多少組能使達到最小度數,,只需要知道有多少個由個頂點組成的三叉樹地圖。我們之前考慮的情況,,截至2000年,,數學家找到了兩組解,。但要知道一共多少組,,只要在紙上隨便畫畫,很容易數出來一共有四組解: k=5的四組解,,蒙A. Zvonkine惠允 通過這些地圖,,我們不僅能知道解的個數,還能部分推斷出解的性質,。樹a和d各自擁有鏡像對稱性,,所以它們對應的解的系數應該都是實數;樹b和c分別是各自的鏡像,,所以它們對應的解的系數可能不是有理數,,而是各自的復共軛。因為已知的兩組解的系數都是有理數,,它們對應的必定是樹a和d,,而未知的兩組解應該向復數領域尋找。果不其然,,剩下的兩組解在2005年被日本數學家鹽田徹治給出,,這些解的系數在中,一如預測,。 這些預測又從何而來,?鏡像對稱跟系數又有什么關系?要說清楚,,就不得不提及二部地圖的另一個名字——兒童涂鴉(dessin d'enfant),,還有這個術語的創(chuàng)造者,也是現代代數幾何的奠基者,,偉大的數學家,,亞歷山大·格羅滕迪克。 |
|