标签:#代数几何定理

共 11 篇文章

谷山-志村定理

谷山-志村定理()建立椭圆曲线(代数几何的对象)和模形式(数论中用到的某种周期性全纯函数)之间的重要联系。 定理的证明由英國數學家安德鲁·怀尔斯、理查·泰勒、法國數學家、美國數學家和所完成。 若p是一个质数而E是一个Q(有理数域)上的一个椭圆曲线,可以简化定义E的方程模p;除了有限个p值,会得到有np个元素的有限域Fp上的一个椭圆曲线。然后考虑如下序列 :ap = np − p, 这是椭圆曲线E的重要的不变量。从傅里叶变换,每个模形式也…

黎曼-罗赫定理

黎曼–罗赫定理()是数学中的一个重要工具,在复分析和代数几何中的应用尤为广泛。利用该定理,可计算具有指定零点与极点的亚纯函数空间的维数。它将具有纯拓扑亏格 g 的连通紧黎曼曲面上的复分析以某种方式转换为纯代数背景。 此定理最初是黎曼不等式,对黎曼曲面的确定形式由伯恩哈德·黎曼早逝的学生于1850年代证明。随后推广到代数曲面,高维代数簇,等等。 预备记号 我们从一个亏格g的连通紧黎曼曲面开始,在上面取定一点P。我们想知道极点只在P的函数。…

莫德尔猜想

莫德爾猜想(Mordell conjecture),又稱法爾廷斯定理(Faltings's theorem),是一個由提出的算術幾何猜想,這猜想認為,任何有理數域上虧格數大於一的曲線至多只有有限多個有理點。這猜想於1983年為格尔德·法尔廷斯所證明,並從此改名為法爾廷斯定理,而之後這猜想被推廣至任何代數數域上。 背景 設C為一個的、位於有理數域上且虧格數為g的代數曲線,則C上的有理點可由下列關係決定: 當g = 0時,C要不沒有有理點,…

Ε-猜想

在数学中,Ribet定理(,以前稱為ε猜想)是數論中關於與模形式相關的性質的陳述。它由讓-皮埃爾·塞爾提出並由肯尼斯·阿蘭·黎貝證明。ε猜想的證明是證明費馬大定理的重要一步。如Serre和Ribet所示,谷山-志村定理(當時未解決的狀態)和ε猜想意味著費馬大定理是正確的。 在數學術語中,Ribet定理表明,如果與橢圓曲線相關的伽羅瓦表示具有某些特性,那麼該曲線不能是模形式的(在不存在產生相同伽羅瓦表示的模形式的意義上)。 另見 Abc猜…

格罗滕迪克-黎曼-罗赫定理

代数几何中,格罗滕迪克-黎曼-罗赫定理是关于相干层上同调的意义深远的结果。它是关于复流形的希策布鲁赫-黎曼-罗赫定理的推广,其又是对紧黎曼曲面上线丛的经典黎曼-罗赫定理的推广。 黎曼-罗赫型定理将向量丛上同调的欧拉示性数与其拓扑度,或更一般地与其(上)同调中的示性类或其代数类似物联系起来。经典的黎曼-罗赫定理针对的是曲线和线丛,而希策布鲁赫-黎曼-罗赫定理将其推广到流形上的向量丛。格罗滕迪克-黎曼-罗赫定理将这两个定理置于两个流形(或更…

別雷定理

數學上,別雷定理(*')是有關代數曲線的定理,指出任何用代數數係數定義的代數曲線C,都代表這樣的一個,這黎曼曲面能作為黎曼球面的,且只有三個分歧點。 這定理是1979年的結果。這個結果當時令人大感意外,激發格羅滕迪克發展出理論,使用組合數學資料描述代數數上的非奇異代數曲線。 格羅滕迪克曾在《》評價這定理說:「不到一年後,在赫爾斯基的國際數學家大會中,蘇聯數學家別雷宣佈了正正這個結果,證明令人困惑地簡單,德利涅一封信的兩小頁也容得下。毫無…

小平消沒定理

小平消沒定理是複幾何及代數幾何中的重要結果,在複流形的分類問題(例如Enriques-Kodaira Classification)上扮演着重要角色。 經典命題 小平邦彦起初使用流形上的霍奇理論証明,當q>0 ::: H^q(M, K_M\otimes L) \cong H^q(M,\Omega^n(L))= 0 , 以上M 為任何緊致凱勒流形,K_M是M上的正規線叢,L \rightarrow M是正線叢。這個命題之後被推廣為小平 中…

龐加萊對偶性

數學上,龐加萊對偶定理是流形的同調及上同調群的結構的基本定理,以昂利·龐加萊命名。這定理說若M是n維有向閉流形(即緊緻且無邊界),則M的第k階上同調群同構於M的第(n − k)階同調群。對所有整數k :H^k(M) \cong H_{n-k}(M). 龐加萊對偶定理於任何係數環都成立,只需在流形上相對於係數環而取定向。特別是由於流形於模2都有唯一定向,故於模2時龐加萊對偶定理不需假設定向就成立。 歷史 龐加萊對偶定理的一個形式最初由龐加…

希尔伯特零点定理

希尔伯特零点定理(Hilbert's Nullstellensatz)确立了几何和代数之间的基本关系。数学中一大重要分支——代数几何——正是建立在这一关联的基础之上的。零点定理联系了代数集与(代数闭域上的)多项式环中的理想。大卫·希尔伯特最早发现了这一关联,并证明了零点定理及其它相关的重要定理(如希尔伯特基定理)。 定理陈述 设k 为域(如有理数域),K 为k 的代数封闭扩张(如复数域)。考虑多项式环k[X1,X2,..., Xn],设…

伯克霍夫-格罗滕迪克定理

在代数几何学中,伯克霍夫-格罗滕迪克定理(英文:Birkhoff–Grothendieck theorem)刻画了复射影直线上的全纯向量丛。具体而言,所有 {\displaystyle \mathbb {CP} ^{1}}上的全纯向量丛都是全纯线丛的直和。 正式表述 伯克霍夫-格罗滕迪克定理指出,在{\displaystyle \mathbb {CP} ^{1}} 上,任何一个全纯向量丛 \mathcal{E} 总是全纯同构于线丛的直和…