<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(k\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> be integers. Let <i>D</i> be a positive integer that is congruent to a square modulo 4<i>N</i>, and fix <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\rho ^2\equiv D\pmod {4N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ρ</mi> <mn>2</mn> </msup> <mo>≡</mo> <mi>D</mi> <mspace width="4.44443pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>4</mn> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we consider two weight 2<i>k</i> cusp forms <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f^{\pm }_{k,N,D,\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>f</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>N</mi> <mo>,</mo> <mi>D</mi> <mo>,</mo> <mi>ρ</mi> </mrow> <mo>±</mo> </msubsup> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Gamma _0(N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> defined by sums over binary quadratic forms and investigate the vector-valued period polynomial arising from these forms. Our first main result gives a closed formula for this vector-valued period polynomial. The identity component of this formula is particularly explicit: It separates as the sum of a finite <i>algebraic part</i> coming from some binary forms and a <i>zeta part</i> involving the values at <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(s=k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>=</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation> of certain zeta functions. Using this formula together with a symmetry of vector-valued period polynomials, we explicitly evaluate, for odd <i>k</i>, the difference between the zeta values corresponding to the two choices of square root of <i>D</i> modulo 4<i>N</i>, in terms of Bernoulli numbers and a finite quadratic form sum. Finally, under a vanishing condition on Fricke-invariant cusp forms at lower levels, we obtain a finite divisor sum formula for the Dedekind zeta values <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\zeta _{\mathbb {Q}(\sqrt{D})}(k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ζ</mi> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mi>D</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> at even integers <i>k</i>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Vector-valued period polynomials and zeta values of quadratic fields

  • Yeong-Wook Kwon,
  • Subong Lim,
  • Wissam Raji

摘要

Let \(k\ge 2\) k 2 and \(N\ge 1\) N 1 be integers. Let D be a positive integer that is congruent to a square modulo 4N, and fix \(\rho \) ρ with \(\rho ^2\equiv D\pmod {4N}\) ρ 2 D ( mod 4 N ) . In this paper, we consider two weight 2k cusp forms \(f^{\pm }_{k,N,D,\rho }\) f k , N , D , ρ ± on \(\Gamma _0(N)\) Γ 0 ( N ) defined by sums over binary quadratic forms and investigate the vector-valued period polynomial arising from these forms. Our first main result gives a closed formula for this vector-valued period polynomial. The identity component of this formula is particularly explicit: It separates as the sum of a finite algebraic part coming from some binary forms and a zeta part involving the values at \(s=k\) s = k of certain zeta functions. Using this formula together with a symmetry of vector-valued period polynomials, we explicitly evaluate, for odd k, the difference between the zeta values corresponding to the two choices of square root of D modulo 4N, in terms of Bernoulli numbers and a finite quadratic form sum. Finally, under a vanishing condition on Fricke-invariant cusp forms at lower levels, we obtain a finite divisor sum formula for the Dedekind zeta values \(\zeta _{\mathbb {Q}(\sqrt{D})}(k)\) ζ Q ( D ) ( k ) at even integers k.