怎麼理解代數幾何概念 motive?

時間 2021-06-02 10:28:49

1樓:包遵信

用中文, 就是每個[好上同調函子都 factor through the motivator].

說白了就是,這些美好的性質讓人有乙個類似於柏拉圖洞穴比喻的想法,會不會這些性質都來自於同乙個東西,是同乙個抽象的東西在不同層面的實現。那個東西就是所謂的 Motive.

講個故事吧。如果剛剛發展數的概念的幾個原始部落接觸,可能會發現對方用的數字表示方式並不是十進位制——比如瑪雅人的二十進位制、十八進製制,也不難想象有的部落用的是五進製二進位制或者八進位制十六進製制,還有的部落是一進製(結繩記事)。操作這些數字的方法也不一樣:

做加法的時候二進位制是逢二進一,八進位制是逢八進一,做減法的時候借位的方式也不一樣,做乘法的時候十進位制的人用九九表,二進位制的人用一一表,十六進製制的人用 FF 表…… 但是大家迅速發現,儘管有這麼多不同,有很多美好的性質是一致的,比如加法和乘法都滿足交換律結合律,乘法對加法有分配律,都能做數學歸納法……

於是大家開始想象 「抽象的自然數」 的這個概念,比如如果乙個數在十進位制下表示為 100, 實際上它既是 0b1100100 (二進位制), 也是 0x64(十六進製制),還是,這些具體的表示方法只是在不同進製下的實現而已,背後對應的數都是同乙個。抽象的 「數」 更有利於理解背後的內蘊的概念。說句題外話,日常生活中其實沒理解抽象的數的概念的人並不少,某些數字神秘主義也很依賴於十進位制,可以說是沒理解抽象的數的概念的典型。

如果把抽象的自然數的集合記做的話,則上述的 「實現」 是一系列對映,比如二進位制實現把對映到 0, 1 組成的有限長度的列表這個集合的乙個子集,十進位制實現把對映到 0-9 組成的有限長度的列表這個集合的乙個子集…… 稍微折騰一下也有 「比較定理」,告訴你怎麼把二進位制轉換成十進位制,或者把十進位制轉換成二進位制。這些比較定理是很自然的,因為他們只不過是同乙個東西的不同表示方式而已。

如果你寫過程式的話,可以說上帝寫下了標頭檔案 number.h, 定義了抽象的自然數,以及抽象的加法、乘法(比如皮亞諾公理定義的那些),具體的 implementation (number_impl.c) 交給各個部落去寫,不同部落寫出來的實現方式並不一樣,但是都滿足標頭檔案裡需要的那些性質。

回到代數幾何,Weil 提出了把代數拓撲的方法用在代數幾何上的想法,然後人們去實現,找到了 de Rham cohomology, étale cohomology, crystalline cohomology 等工具(對於上的代數流形,還有原來已經知道的 singular cohomology),這些工具都滿足非常類似的美好的性質,也能證明一些比較定理,所以才有這些性質都來自 motive 的想法。Motive 上的東西,或者說更加接近幾何實質的東西,有個專門的形容詞, motivic. Motivic 的東西,對任意 cohomology 的實現都應該對,不依賴於 cohomology 的特殊性。

回到自然數的例子,小學奧數裡面有很多 non-motivic 的比較醜陋的東西,比如 「乙個自然數能被 9 整除當前僅當它的十進位制表示的各位數字之和能被 9 整除」——這個顯然非常依賴於十進位制的特殊性,和抽象的自然數沒什麼關係。但是前面提到的 「加法和乘法都滿足交換律結合律,乘法對加法有分配律,都能做數學歸納法」 顯然是 motivic 的。

多說幾句,其實 motive/motif 這個單詞,字面上看就是 「主題」 的意思,解釋到這份上也不難理解詞源了。其實對很多數學現象,都可以問背後的深層次原因是什麼,說白了每個數學現象都應該有個 motive 才是。但是像自然數這類概念,不管是十進位制的表示還是二進位制的表示,他們和抽象的自然數之間,已經存在一一對應,也就是說理解了十進位制的表示唯一地代表背後的抽象的自然數這件事情以後,並不需要專門定義抽象的自然數(但是很遺憾,能理解到這個層面的人並不多,看看用數字算命的人群就懂了)。

代數拓撲裡有各種係數的上同調,按說背後也有個 motive,但這個情形也很簡單,因為任意係數的上同調都可以用-係數上同調算出來,所以也不用提 motive 了。甚至可以說數學史上很多概念的演化都跟找 「背後的那個東西」 有關,比如從代數函式的黎曼面到抽象的黎曼面也就是一維復流形等,但是再說就有點跑題了,打住。

流形是幾何還是代數概念?

C.Jie 流形不是幾何概念,而是乙個拓撲上的概念,它是乙個豪斯托夫,第二可數,且區域性同胚n維歐式空間的拓撲空間,這裡的定義沒有用到多少代數,本質上一般的微分 光滑 流形是拓撲上的概念!另外你說的幾何量,暫且認為你想說的是類似於常見的歐式空間裡的長度,面積,體積等幾何量,首先單純的流形是拓撲定義,...

如何理解幾何重數和代數重數?

木不易 搜回答看得真的火大 說點人看了能算題的話成嗎?我搞懂了我自己來答 好吧 線性代數範圍內 幾何重數 某一特徵值對應特徵方程的解向量的個數 解空間的維數 代數重數m 矩陣對應的特徵方程有特徵值,相同的特徵值的個數幾何重數 代數重數 真的,大哥大姐們。解空間的的維數 它是乙個自然概念嗎?是人為定義...

怎麼理解「共相」這個哲學概念?

天津子謙 有太多的哲人迷失在所謂 共相 殊相 物質 精神 世界 存在 本體 等既有哲學概念之中,走不出來。終其一生去咀嚼殘羹,那麼 共相 的提法,好像很全面客觀地表達了物象中各個體的共同屬性,實則不然。共相 源於事物,亦源於人們對事物的認識及認識程度。質態 型態 組成 用途 色彩 方位等皆可成為獲取...