变量为二次型的除数函数和自守L函.docxVIP

变量为二次型的除数函数和自守L函 本文将介绍二次型的除数函数和自守L函数。 一、二次型的除数函数 设二次型 $Q(x_1,x_2,\\cdots,x_n)=\\sum_{i=1}^na_{ii}x_i^2+2\\sum_{1\\leq ij\\leq n}a_{ij}x_ix_j$，其中 $a_{ij}=a_{ji}$，且不全为零。定义 $Q$ 的一个除数函数为一个整除 $Q$ 的平方的正整数函数 $d$，即 $d|Q(x_1,x_2,\\cdots,x_n)^2$。 例如，当 $n=2$ 时，对于二次型 $Q(x_1,x_2)=ax_1^2+2b x_1x_2+c x_2^2$，其中 $a,b,c$ 不全为零，定义其除数函数为 $$\\Delta(Q)=b^2-ac$$ 易证 $\\Delta(Q)$ 是一个整除 $Q(x_1,x_2)^2$ 的正整数函数。 当 $n\\geq 3$ 时，$Q(x_1,x_2,\\cdots,x_n)$ 可以通过正交变换化为标准型 $$Q(x_1,x_2,\\cdots,x_n)=\\lambda_1 x_1^2+\\lambda_2 x_2^2+\\cdots+\\lambda_n x_n^2$$ 其中 $\\lambda_1,\\lambda_2,\\cdots,\\lambda_n$ 是 $Q$ 的特征值。显然，$\\Delta(Q)=\\prod_{i=1}^n\\lambda_i$ 是一个除数函数。 二、自守 L 函数 设 $K$ 是一个数域，$V$ 是一个 $n$ 维 $K$-向量空间，$Q: V\\to K$ 是一个非退化二次型。对于一个非零的 $a\\in K^\\times$，令 $Q_a: V\\to K$ 表示标量扩张 $K(\\sqrt a)$ 上的二次型 $$Q_a(x)=Q(x)+ax^2$$ 则称 $Q_a$ 是 $Q$ 的相伴二次型。定义 $L(Q/K,s)$ 为以下 Dirichlet 级数的 Euler 乘积： $$L(Q/K,s)=\\prod_{a\\in K^\\times}L(Q_a/K,s)$$ 其中 $L(Q_a/K,s)$ 表示相伴二次型 $Q_a$ 的利普曼 L 函数。易证 $L(Q/K,s)$ 是解析的和敛散性、零点和极点的位置与 $Q$ 以及 $K$ 有关。 当 $Q$ 是等于变型为标准型 $x_1^2+x_2^2+\\cdots+x_n^2$ 的二次型时，称 $L(Q/K,s)$ 为 $K$ 的高斯 L 函数。 对于 $K=\\mathbb Q$，当 $Q(x)=x^2$ 时，$L(Q/K,s)$ 就是黎曼 Zeta 函数。 自守 L 函数在数论中有着重要的地位，例如 Dirichlet 类数定理、高斯二次剩余定理、二次互反律等都可以通过自守 L 函数推导出来。