計算共形幾何講義:雅可比定理

2020-11-22 騰訊網

最近老顧訪問了很多大學,拜會了很多學術泰鬥,同時遊歷了很多城市,體會了這些城市的獨特味道。在煙波浩渺的滇池之濱,空靈秀麗的睡美人山下,老顧與三十年未曾謀面的老同學重逢,也和以前的學生們聚會。印象中的老同學聰慧溫潤,玉樹臨風。高中期間酷愛文學詩詞,更愛數學物理。最後投筆從戎,進入軍校,成為骨科權威。多年來隨軍駐守在西南邊陲,經歷了金戈鐵馬、顛沛流離的軍旅生涯。雖然飽經歲月風霜,生活磨礪,老同學性格氣質依然如初,從容恬淡,低調柔和,只是話語中隱約透露出殺伐決斷的剛毅之氣。老同學以昆明特有的牛肝菌、青頭菌宴請老顧和老顧的學生們,席間簡略地回顧了三十年的人生歷程。老同學沒有選擇醫學方面的學術道路,而是選擇了直接行醫,懸壺濟世。主要原因在於學術方面的成果往往要數十年之後才會被社會接受,絕大多數的學術研究終究會融入到整個知識體系之中,被歷史的洪流所湮沒;臨床行醫對於社會的貢獻更加直接,個人價值的體現更加充分。老同學的一番話語實際上道出了學者內心最深處的恐懼:研究成果被時代所遺忘。年輕學者急於得到社會的承認,飢不擇食地選擇研究方向,發表論文;成熟的學者多半能夠甄破內心的虛榮,審視自己研究結果的真正價值,追求能夠超越時代、告慰人生的成果。工程方面的學者很容易趕上時代浪潮,風光一時,但也容易時過境遷,被時代拋棄;基礎理論方面的學者往往不被社會理解,一世清貧,但更有機會做出具有恆久價值的成果。老顧覺得老同學挽救過很多人的生命,應該為自己的職業而驕傲。但是老同學卻不希望自己的後代從醫,因為目前體制原因,醫生沒有得到社會應有的尊重。他希望老顧為孩子推薦未來依然會蓬勃發展的方向。老顧覺得數學和計算機結合應該潛力無窮。老同學和老顧感慨歲月不饒人,轉瞬韶華已逝,暮色將近,他仔細給老顧講解了腰間盤突出、頸椎老化的內在機理以及防護措施,並且開始憧憬退休之後的幸福生活。老同學在重慶讀過研究生,適應了火爐的酷暑之後,娶了重慶太太,對重慶充滿了感情,希望近期回到重慶:「重慶有一種獨特的味道,深深地吸引著我」。

前不久老顧到重慶探望師兄,在重慶理工聽師兄的弟子講解復幾何中的消沒定理。重慶整座城市修建在長江兩岸的崇山峻岭之上,被無數的穿山隧道和跨江大橋所連接,地勢雄奇險峻,水勢浩蕩汪洋。重慶民風也是彪悍剛烈,熱情似火。洪崖洞的吊腳樓風格獨特,裡面食肆林立,燈影牛肉,張飛火鍋,琳琅滿目,目不暇給。眾食客面色通紅,大汗淋漓,痛飲烈酒,爆涮火鍋,濃烈辛辣,沸騰喧囂,一派江湖之氣。長江沿岸,專賣麻將機的商鋪一字排開,綿延數裡,使老顧覺得這裡的生活果然從容閒適,悠然自得。但是朝天門碼頭摩天大廈拔地而起,其氣度幾乎不輸上海陸家嘴,特別是長江邊上有兩幢高樓,通體黃金打造,金燦燦、奪人雙目,明晃晃、氣勢逼人,使人覺得川蜀的傳統生活方式受到了現代節奏的威脅。

在現代文化浪潮衝擊下,能夠堅持自身的文化傳統的城市非蘇州莫屬。對於北方人而言,江南是一個神秘的文化符號,那裡有小橋流水人家,那裡有青石板鋪就的雨巷,會走出打著油紙傘、丁香般結著愁怨的姑娘。蘇州無疑是典型的江南城市,極富文藝氣息。江南的梅雨季節,天空晦暗迷濛,蘇州的建築卻是白牆黑瓦,對比鮮明。建築格局宛若一幅水墨國畫,線條簡約,大片留白,錯落有致,素雅沉靜。整個城市無時不刻不沉浸在香樟的隱約香氣之中,間或有桂花糕的味道飄來。蘇州的平江街傳承自唐宋,沿著一條蜿蜒的小河而建,河上各色拱橋,小巧精緻,兩側粉牆黛瓦,古意盎然。很多古宅都被改成臨街店鋪,極有韻味,堪稱是文藝青年的人間天堂。與商業逐利相比,這裡商家的理想是「販賣美好」(一家商鋪的名字),你只需「撒嬌」就可以議價(另一商鋪的提示)。在這裡,你能夠回憶起久被遺忘的童年,體會到各種文藝情愫,觀賞到各種文化創意。老顧重溫了上個世紀80年代的小人書,給20年後的自己寫了明信片,買到了活版印刷的鉛字,欣賞了美輪美奐的玉雕,看到了蘇繡的絕活。有一種雙面繡的技藝冠絕天下,背面繡亭臺樓榭,正面看籠罩著煙雨迷濛,然後再從正面繡上才子佳人,如此前景背景相互映襯,相得益彰。滿街都是充滿江南特色的小吃,酒釀丸子、鮮肉月餅、海棠糕、竹筒餈粑,名字聽起來就很風雅。但也聽說「雞腳旮旯」(一家店名)的雞腳也很不錯,只因名字粗俗,所以隱藏在旮旯裡。華燈初上,老顧在臨河的「姑蘇菜館」中體會蘇州菜,點了著名的太湖三白,由太湖中的三種河鮮烹飪而成,細膩而鮮美;沽了一壺糯米黃酒,柔和而溫熱。河道上,小船穿梭來往,船娘頭戴鬥笠、身著藍青花短衫,一邊搖櫓一邊唱著船謠。河畔,身著漢服的少女婷婷嫋嫋,沿街徜徉。夜幕中隱約傳來蘇州評彈,春鶯百轉,醉心蕩魄。河水倒映著闌珊夜色,靜流無聲,吳都千年,古韻悠然。

蘇州豐厚的文化底蘊,宛如氤氳的香氣,滲透到生活的所有細節。老顧在老蘇州茶館早餐,點了一道招牌菜:三蝦麵。老顧被這道面的精緻所震撼,但見麵條細如髮絲,太湖蝦仁晶瑩剔透,蝦頭火紅如琥珀,蝦籽燦若星芒。在沒有機械的古代,將細小透明的太湖蝦分解成蝦仁和蝦頭,這得需要多麼靈巧的雙手和多大的耐心?一碗麵的食材需要耗費多少時間才能準備齊全?老顧的很多英國、德國的朋友對於中國飲食文化覺得難以理喻,原因在於他們覺得沒有必要為食物的烹飪花費太多的時間和精力。老顧卻覺得歐美文化沒有發明出筷子,無法用刀叉靈活地剔除魚刺,因此他們只能食用厚實少刺的海魚,無法享用細膩多刺的淡水魚,缺少了很多人生樂趣。老茶館的建築和陳設都是承襲古制,酸枝桌椅,雕花門窗,竹製燈籠,紅木中堂。門口一隻青花大瓷缸,內養荷花錦鯉。整體感覺非常和諧典雅,簡約舒適。老顧對著雕花門窗找了半天黃金分割率,也沒找到。看來東西方的美學標準的確不同,美學價值觀念也各有千秋,不必一以貫之。

老顧慕名觀賞了名聞天下的蘇州拙政園,這裡的園林藝術登峰造極。奇峰怪石,崇樓幽洞,荷塘魚池,名葩奇木,處處都是優美的景致。園內亭臺樓榭錯落有致,玲瓏古雅,飛簷鬥拱,雕梁畫棟。「卅六鴛鴦榭」、「十八曼陀羅花館」,名字優雅,令人浮想聯翩,「與誰同坐軒」更令人無論如何也想不到清風明月。這裡的怪石造型追求瘦露透皺,具有複雜的拓撲和曲率。這裡的雕花窗欞講究移步換景,絕不雷同。老顧仔細研究了雕花的幾何模式,發現各種平面對稱性都被巧妙應用,特別是現代雕花從平面模式進化到了紐結結構。但是現代幾何的雙曲對稱性還沒有出現在這些木雕藝術之中。設想一位古代江南才子,每天經過「桃花渡」,穿越「竹香廊」,登上「嘯月臺」,梳風延月,誦讀詩書,何等逍遙。同樣,一位現代江南才子,依然可以在醇釅的文化氛圍中思考黎曼度量、亞純微分、曲率聯絡,其美學體驗一脈相承。雙曲幾何的出現使人類意識到歐氏幾何並不是天然的真實幾何,這是古典幾何和現代幾何的分水嶺。

在深圳,老顧拜會了機械設計、計算力學與機器人研究領域的國際知名學者,香港科技大學的王煜教授,王教授是水平集結構拓撲優化方法的主要創始人。王教授對於高虧格度量曲面容許雙曲結構這一理論非常有興趣,他對於共形幾何在機械設計和計算力學領域的應用前景非常看好。對於老顧團隊應用黎曼面理論來為網格生成奠定理論基礎,王教授給與了充分肯定。王教授認為機械領域的幾何表示主要有設計領域的樣條NURBS,分析仿真領域的不規則四面體網格剖分,規則四邊形和六面體剖分是聯結這兩種基本表示的橋梁。

在上一講中,我們證明了曲面四邊形網格和亞純四次微分的等價性,從而用阿貝爾定理給出網格奇異點構型的條件。阿貝爾定理是說黎曼面上亞純微分的除子經過阿貝爾-雅可比映射,映到雅可比簇的零點。雅可比定理推廣了阿貝爾定理。雅可比定理給出了黎曼面Picard群和雅可比簇為加群同構。

回憶雅可比簇的定義

圖1. 典範基本群基底和基本域。

我們下面用較為嚴密的數學語言來解釋四邊形網格奇異點構型的條件。假設M是一個虧格為g的封閉曲面,嵌入在三維歐氏空間之中,因而具有歐氏度量誘導的度量。我們選取曲面的典範基本群基底

滿足條件:和的代數相交數為,和,和的代數相交數都為0。我們將黎曼面沿著基本群典範基底切開,得到一個基本域。度量曲面同時為黎曼面,假設其全純微分群的基底為

,

由此我們構造所謂的周期矩陣

如此得到中的格點群

,

這裡是A周期矩陣的列向量,是B周期矩陣的列向量,都是整數。商空間被稱為是黎曼面的雅可比簇。根據Torelli的工作,雅可比簇可以反過來決定黎曼面。

從黎曼面到雅可比簇的Abel-Jacobi映射被定義為:

這裡是定義在基本域中,聯結某個固定基點和的一條路徑。

雅可比定理

次數同態是從除子群到整數加群的同態,次數同態的核

是次數為零的除子。主除子群(即亞純函數的除子)是核的子群,商群是的Picard群

記為。Abel-Jacobi映射誘導了加群同態:

,

Abel定理斷言這個同態是單同態,Jacobi定理斷言這個同態也是滿同態。

引理:設是虧格為g的緊緻黎曼面,為的一個局部坐標系,則存在U中g個不同的點,及一組全純微分的基底, 使得矩陣

為非退化的,其中全純微分的局部表示為。

先取上的非零全純微分, 其在U中不能恆為零,因此存在一點,使得在此點處非零。由於,我們可以在中取全純微分, 使得在某點處非零。又由,我們可以在處取全純微分,使得在某點處非零。如法炮製,我們就得到g個點及g個非零全純微分,使得

如果在U內

則g階方陣

為下三角矩陣,且對角線元素非零,因而為非退化的矩陣。同時為一組全純微分基底。證明完畢。

現在設是這個引理中的g個點,我們定義一個新的映射如下:設乘積流形,定義,

定理(Jacobi定理)映射為滿射,

為加群同構,因而

也是滿射。

證明:設是次數為零的除子,考慮次數為g的除子

由Riemann-Roch公式,有

因此存在非零亞純函數,此時的次數為g,因此可以寫成

這意味著, 即為滿射。

根據Abel定理,為單射。由於為加群同態,為了說明為同構,只要證明的像包含的一個開鄰域即可。我們只需證明,的像包含這樣的一個開鄰域。

設是引理中的一組全純微分的基底,在鄰域U中取以為中心的兩兩不交的坐標圓盤,上的坐標函數仍為z。在這些坐標下,的局部表示為

,

其中積分曲線都在各自坐標圓盤中選取。F的雅可比矩陣為:

.

根據引理,在處的Jacobi矩陣是非退化的。由逆映射定理知J的像包含了一個開鄰域。證明完畢。

小結

阿貝爾-雅可比定理屬於經典的黎曼面理論,迄今應該有一百多年歷史了。這一定理抽象而深刻,一直和實際工程應用沒有發生聯繫。貝塞爾曲線(Bezier Curve)於1962年被發明出來,這意味著計算機輔助幾何設計也有近六十年的歷史。沒有想到阿貝爾-雅可比定理會和計算機輔助幾何設計產生深刻而本質的聯繫。黎曼面上的亞純微分神秘晦澀,難以琢磨;曲面的四邊形網格卻是常見直觀,觸手可得。這兩者居然本質相通,實在令人匪夷所思。這再次證明了數學的普適性和有效性。這也證明了將尚未理解透徹的數學理論視為無用而忽視,這一做法是功利而短視的。希望更多的年輕人能夠學習幾何知識,在工程實踐中發現新的天地!

本文經授權轉載自《老顧談幾何》微信公眾號

相關焦點

  • 幾何綜合之託勒密定理
    幾何綜合題中常出現判斷兩條或三條線段的數量關係的題目,其中共頂點三線段數量關係的證明,一直是北京乃至全國初中幾何考題中的常客,從初二上學期的等邊三角形到初二下學期四邊形
  • 拉普拉斯定理計算行列式
    七月初之前學習課本,最好用北大課本,揚哥有北大課本講義與視頻講解。        2. 七月初至九月底高代暑期強化,用揚哥的強化講義,一定要結合視頻一起看,同時刷刷揚哥送的習題冊。現在預定的也是強化講義及【強化講義的視頻講解】,領優惠券後只要149元。講義五一左右發貨,視頻七月中旬錄製完畢。
  • 拿破崙定理,四點共圓應用
    像這一類神奇的定理還有很多,以後有機會慢慢聊!向內部做正三角形也可以證法類似:提到外心索性畫出外接圓,可證明三個外接圓共交點G!    證法一還要先證外接圓共點,證法二就不用了,聯結得費馬點G,其實跟剛才的點G是一個點,然後DAGB共圓,半徑相等HA=HG,JA=JG得中垂線,AG垂直HJ,再四點共圓得60度,剩下的
  • 形變定理和山路引理
    山路引理就是說明,滿足一定幾何結構和條件的定義在Hilbert空間的非線性泛函,存在類似「鞍點」的臨界點,這種幾何結構稱為山路幾何。粗略地來說,山路引理斷言了火山口周圍必存在鞍點。證明山路引理的一個方法是通過形變引理來反證,形變引理的證明理解起來並不難,關鍵的地方在於構造出「下降流」滿足的常微分方程,這一步是技巧性最強的,簡直妙手偶得。
  • 中考數學複習幾何公式定理總結
    初中幾何公式定理總結 初中幾何公式:線 1同角或等角的餘角相等 2過一點有且只有一條直線和已知直線垂直 3過兩點有且只有一條直線 4兩點之間線段最短 5同角或等角的補角相等 6直線外一點與直線上各點連接的所有線段中,垂線段最短 7平行公理經過直線外一點,有且只有一條直線與這條直線平行 8如果兩條直線都和第三條直線平行,這兩條直線也互相平行 初中幾何公式:角 9
  • 人生幾何,萬物皆可幾何
    他是國際著名微分幾何大師菲爾茨獎得主丘成桐先生的得意門生,在丘先生的指導下,將抽象的現代幾何與拓撲理論轉化成實用的計算方法。創立了橫跨數學與計算機科學的學科計算共形幾何,並廣泛應用於計算機圖形學、計算機視覺、計算機輔助設計、物聯網、醫學影像,和人工智慧等領域。計算機專業,幾十年沒有發展,核心就是基礎的數學理論沒有看清楚,很多事是幾何理論沒有看清楚。
  • 初三專題:圓的內接四邊形相關性質定理,你聽說過託勒密定理麼?
    我們一起來看看:圓的內接四邊形的性質圓內接四邊形的前三個性質:1)對角互補,外角等於它的內對角2)相交弦定理3)割線定理當然,用這些定理的前提,一定得是圓的內接四邊形,也就是四點共圓,但是有些題中,常常只是告訴你它是四邊形,要證明一些角,線的關係。這個時候,你就得想到這些四邊形是否能放到圓中,進行討論,從而運用一些定理來證明它們的角,或者它們的線的關係。
  • 與圓有關的定理
    2、託勒密定理首先,這是它的內容圓的內接四邊形中,兩對角線所包矩形的面積等於 一組對邊所包矩形的面積與另一組對邊所包矩形的面積之和。如圖,已知ABCD四點共圓,就會有圓內接四邊形的相關性質1、∠DAC=∠DBC2、∠DAB+∠DCB=180°(即圓內接四邊形對角互補)那麼,怎麼樣才算是四點共圓呢
  • 如何自學黎曼幾何?
    黎曼幾何是用微積分作為工具在數學空間裡研究幾何的理論,所以沒有這兩項基礎,基本上就只能和黎曼幾何拜拜了。雅可比(Jacobi) 矩陣,就是偏導數組成的:(偏導數關聯微積分、矩陣關聯線性代數)。這兩門課程,在國內算是比較成熟的,大多數理工科專業的學生可能都學過。而且這兩門教材也比較好找,基本上正常的大學教材都能用。
  • 幾何公式定理:三角形
    幾何公式定理:三角形   1、定理三角形兩邊的和大於第三邊   2、推論三角形兩邊的差小於第三邊   3、三角形內角和定理三角形三個內角的和等於180°   4、推論1直角三角形的兩個銳角互餘   5、推論2三角形的一個外角等於和它不相鄰的兩個內角的和
  • 初三數學,老師:利用輔助線構造特殊幾何圖形,解決圓的證明計算...
    關於圓的證明計算題是數學中考的常考題型,我們往往需要添加輔助線來幫助解題,為本文就例題詳細這類題型的輔助線作法和解題思路,希望能給初三學生的數學學習帶來幫助。例題如圖,點O為△ABC的外接圓圓心,E為⊙O上一點,BC、OE互相平分,CF⊥AE於點F,連接DF。若OE=2√3,DF=1,求△ABC的周長。
  • 託勒密定理
    一般幾何教科書中的「託勒密定理」,實出自依巴谷(Hipparchus )之手,託勒密只是從他的書中摘出。摘出並完善後的託勒密(Ptolemy)定理指出,圓的內接凸四邊形兩對對邊乘積的和等於兩條對角線的乘積。
  • 競賽中的幾何問題:託勒密定律及應用
    在平面幾何學習中,除了一些常用的公理、定理外,對於準備數學競賽的選手還需要掌握一些特殊的定理。其中託勒密定理就是在數學競賽中經常會引用的一個著名定理。託勒密定理最早由古希臘數學家依巴谷(也稱「喜帕恰斯」)提出,後來被另一位古希臘天文學家託勒密摘錄,故後來被稱之為託勒密定理。
  • 線性代數中的行列式計算大總結,行列式計算原來也不難
    今天我們先來聊聊線性代數中行列式簡史,後面會儘可能總結所有常見的行列式類型的計算方法。⑥拆分法(特別關注,很強大,可以幹倒一片行列式計算。)⑦構造法。⑧特徵值法。⑨拉普拉斯定理。華羅庚第三部分 常見行列式類型①上/下角行列式②「爪」型行列式(「箭」形行列式
  • 平面幾何的17個著名定理,助力中考,快幫孩子收藏
    平面幾何是初中數學中的一大重點,對於中考數學而言,幾何同樣佔據著舉足輕重的地位,學號幾何,對於中考數學的提分絕對是必不可少的一大助力。你擁有一顆幾何腦將會讓你對於幾何的學習異常輕鬆。今天為大家分享平面幾何的17個著名定理,希望對您的數學提升有所幫助!
  • 二次曲線上的四點共圓問題|解題研究第二境界(下篇)
    7, 託勒密定理:託勒密定理為「圓的凸內接四邊形的對邊乘積和等於對角線乘積」。運用託勒密定理的逆定理進行證明。以上即為初中(30年前)常見的證明四點共圓的方式。雖然說現在這些定理推論都不教了,但是遇到四點共圓問題還是要用這些東西。名義上是減負,但是不會這些去證明四點共圓問題反而讓學生感到更加困難。那我們為什麼要介紹四點共圓問題的純幾何方法呢?
  • 2018初中數學公式之勾股定理的來源和歷史
    這個現象的確不太公平,其所以這樣,是因為現代的數學和科學來源於西方,而西方的數學及科學又來源於古希臘,古希臘流傳下來的最古老的著作是歐幾裡得的《幾何原本》,而其中許多定理再往前追溯,自然就落在畢達哥拉斯的頭上。他常常被推崇為「數論的始祖」,而在他之前的泰勒斯被稱為「幾何的始祖」,西方的科學史一般就上溯到此為止了。至於希臘科學的起源只是近一二百年才有更深入的研究。
  • 託勒密定理的證明與妙用
    其中於特關於託勒密定理的妙用,讓我大開眼界! 遂有此文,聊以紀念這次「南京數學行者」之旅!託勒密定理內容簡單、形式優美,有助於處理圓的內接凸四邊形的邊長。其相關推論對於解決凸四邊形最值問題有很大幫助。小編將從託勒密定理的證明及應用,相關推廣及應用來進行闡述!
  • 2021年中考數學幾何知識點:幾何公式與定理梳理
    中考網整理了關於2021年中考數學幾何知識點:幾何公式與定理梳理,希望對同學們有所幫助,僅供參考。   幾何公式、定理梳理   1、過兩點有且只有一條直線   2、兩點之間線段最短   3、同角或等角的補角相等   4、同角或等角的餘角相等   5、過一點有且只有一條直線和已知直線垂直   6、直線外一點與直線上各點連接的所有線段中,垂線段最短   7、平行公理經過直線外一點
  • 2021年初中八年級數學定理:平面幾何定理
    中考網整理了關於2021年初中八年級數學定理:平面幾何定理,希望對同學們有所幫助,僅供參考。   1、勾股定理(畢達哥拉斯定理)   2、射影定理(歐幾裡得定理)   3、三角形的三條中線交於一點,並且,各中線被這個點分成2:1的兩部分   4、四邊形兩邊中心的連線的兩條對角線中心的連線交於一點   5、間隔的連接六邊形的邊的中心所作出的兩個三角形的重心是重合的。