跳至內容

模方程

維基百科,自由的百科全書

數學中的模方程(modular equation)是一個滿足模問題下模量(moduli)[1]定義的代數方程。給定一些在模空間中的函數,模方程是一些和這些函數的方程,或是一些在模量下成立的恆等式

模方程最常見的用法,是指橢圓曲線的模量問題(moduli problem)。此處的模空間是一維的,若在模曲線函數域英語function field of an algebraic variety的任意兩個有理函數FG,會滿足一個模方程P(F,G) = 0,P是二變數的非零複數多項式 。若選擇了適當的,非退化的FG,可以用方程P(X,Y) = 0定義模曲線。

就算在最壞的情況下,P也是高階的多項式,其定義的平面曲線會存在奇點,多項式P的系數會是很大的數字。並且很難單純根據P的資訊,找到模量問題的尖點(也就是模曲線上,無法對應一般橢圓曲線,只對應退化型曲線的點)。

在此概念下,模方程(modular equation)會變成「模曲線的方程」(equation of a modular curve)。這類方程最早出現在橢圓函數乘法的理論中(幾何上,是從2-環面到自身的n2-fold覆蓋映射英語covering map,是由其基礎群上的xn·x映射所給定的),以複分析的形式來說明。

相關條目

參考資料