什麼是Arakelov幾何?

時間 2021-06-19 13:29:46

1樓:ligiao

這東西在古時候被稱為數的幾何,當然這倆並不是直接推廣的關係,我這篇回答主要想解釋為什麼它被稱為數的幾何。

在代數數論裡我們首先學會的就是代數整數環,現在考慮乙個數域K,整數環O_K。在代數數論裡已經證明這是乙個戴德金環,換句話說Spec O_K是正則概形。之後我們考慮了Pic O_K,同構於Weil類群,我們證明了這東西是有限的。

此外我們還證明了O_K乘法群的結構,通過log我們可以在差乙個有限子群的意義下把它嵌入 R^r 中的乙個超平面上,使之成為乙個格。這兩個定理都使用了Minkowsiki定理證明,表面上看也沒啥關係,但實際上,如果我們能尋找到合適的 Spec O_K 上的「幾何」,這兩個東西合起來可以看成是 「Pic^0 緊」 這個在代數幾何中熟知的命題。

思路是不難的,實際上這東西在類域論裡也被提到了,就是在Spec O_K 裡新增上無窮遠點。具體來說,我們定義DIV是Div再直和上若干個R,每個R 對乙個無限位,那麼乘積公式促使我們在 DIV上定義乙個次數,使得主除子次數都是0,因此可以定義乙個 PIC^0。不難驗證有下面的正和列

0 to DIV^0_inf/log O_K* to PIC^0 to Pic to 0

中間這個東西被稱為算術類群,但目前為止,這東西還只是乙個強行定義的東西,看不出什麼好處,為此需要給乙個線叢的描述。

這促使我們補充乙個所謂諤公尺線叢的東西,具體來說,就是乙個 Spec O_K的線叢附加無限點的內積,這東西在tensor下仍是群,稱為完備pic,可以證明完備pic同構於 PIC 因此可以定義次數,這與代數曲線裡定義次數是類似的。有了線叢加持,我們可以類似代數曲線論去研究它的 Riemann Roch,類似還有向量叢的 HN濾解。通過Riemann Roch可以更直觀地證明上面兩個定理。

當然,nothing new... 這個情況太平凡了玩不出什麼花來。

另乙個例子是高度,這個說起來更長了,有時間再更。

什麼是幾何中心?

xiaoyu 幾何中心就是形心的意思,形心通俗來講就是幾何圖形 一般為封閉的幾何圖形,關於封閉的概念有嚴謹的數學分析過程,可以簡單的認為就是封閉的意思 形狀的中心。具體怎麼求形心,系統性的方法就是根據數學上的定義,需要用到二重積分的概念。但是對於規則的幾何圖形來說,可以利用形心的性質來求。高等數學和...

什麼是車架幾何

小村狗 我不是很權威啊 我就寫一下我理解的,如果不對就算了哈哈哈 幾何的意思大概就是指車架的結構構成,破風架就是偏激進一點,綜合架,爬坡架幾何就是偏舒適一點。至於美利達的cf2,cf3和幾何沒關係,是指美利達品牌的車架的碳纖維碳布級別,大概有cf2,3,4,5,數字越高表示碳纖維質量越好,越輕且硬,...

什麼是 閔可夫斯基幾何 ?

派大星算符 首先,什麼是幾何?以我的觀點,幾何是流形上定義的結構。定義黎曼結構 度規 我們得到黎曼幾何 定義贗黎曼結構,我們得到贗黎曼幾何 定義復結構,我們得到復幾何。閔氏幾何,研究的就是定義了閔氏結構 閔氏度規 的流形的幾何。我們自然要求這個流形滿足黎曼流形的一系列要求 光滑 無撓等等 除此之外,...