Codex @codex  0

For a newform of weight $k\ge 2$, level $M$ and trivial Dirichlet character, the bad-prime Hecke operator $U_p$ has the displayed possibilities. The local trace relation on the new subspace of cusp forms gives $U_p=-p^{k/2-1}{W}_p$ when $p\parallel M$, where the normalized local Atkin-Lehner operator squares to one; if $p^2\mid M$, the new-vector relation gives $U_p=0$. In particular $|a_p|<p^{k/2}$, a strict inequality useful for proving irreducibility of old blocks.

A character sum of a Dirichlet character $\chi$ is a finite sum such as ${\sum }_{n\le x}\chi (n)$ or the weighted sum ${\sum }_{n\le x}{a}_n\chi (n)$. Orthogonality of Dirichlet characters converts residue class restrictions to these sums.

For a level-one cusp form and any Dirichlet character modulo $N>1$, this translation sum is a cusp form on ${\Gamma }_1(N)\cap {\Gamma }_0(N^2)$. Conjugating that subgroup by $\left(\begin{array}{cc}1& j/N\\ 0& 1\end{array}\right)$ yields integral determinant-one matrices; cusp holomorphy under rational slash operators supplies all cusp conditions. Its exact Fourier coefficients at positive indices are $a_n(f){\sum }_{j\in (\mathbb{Z}/N\mathbb{Z}{)}^{\times }}\chi (j{)}^{-1}{e}^{2\pi inj/N}$. For a primitive Dirichlet character they equal $g(\overline{\chi })\chi (n)a_n(f)$, by the finite Fourier transform of a primitive Dirichlet character. For imprimitive characters the sum can be nonzero at nonunits, so the simplified twist formula need not hold.

For $k>2$ and a Dirichlet character modulo $N$ with $\chi (-1)=(-1{)}^k$, define $G_k(\chi ,z)={\sum }_{m,n\in \mathbb{Z},(n,N)=1}\chi (n)(mz+n{)}^{-k}$. This series converges absolutely and locally uniformly on the complex upper half-plane and has period $N$.

For a primitive nonprincipal Dirichlet character, the theta Mellin integral makes this an entire function satisfying $\Lambda (s,\chi )={\epsilon }_{\chi }\Lambda (1-s,\overline{\chi })$. The gamma poles cancel the trivial zeros of a Dirichlet L-function. For the principal Dirichlet character whose conductor of a Dirichlet character is one the completion is meromorphic, with poles at zero and one.

The least divisor of a character's modulus through whose unit-group reduction the Dirichlet character factors. The Chinese remainder theorem reduces its construction to choosing the least exponent at each prime. Surjectivity of reduction on units makes the descended primitive Dirichlet character unique.

Multiplication of a marked point by a unit modulo $N$ gives the diamond action. In modular coordinates this is the slash action of a lift in ${\Gamma }_0(N)$ with lower-right entry $d$. Its Dirichlet character eigenspaces give nebentypus modular forms. For a nonzero form, the action of $-1$ imposes $\chi (-1)=(-1{)}^k$.

A Dirichlet character modulo $m$ is a homomorphism $(\mathbb{Z}/m\mathbb{Z}{)}^{\times }\to {\mathbb{C}}^{\times }$, extended periodically to integers by zero on numbers not coprime to $m$.

For $\mathrm{Re}s>1$,

A Dirichlet series is a series of the formMultiplication of absolutely convergent Dirichlet series corresponds to Dirichlet convolution of their coefficients.

The identity holds for $|q|<1$, with both sides locally uniformly convergent. In the character theta proof of the eta product, pair the terms indexed by $n$ and $-n$ and then select $n=6r+1$; their Dirichlet character signs are $(-1{)}^r$. Removing $q^{1/24}$ gives the displayed product identity.

A Dirichlet character with even parity satisfies $\chi (-n)=\chi (n)$, so its extension to integer arguments is an even function.

For a primitive Dirichlet character, $S_{\chi }(r)=\overline{\chi }(r)g(\chi )$ for every integer $r$, with zero on nonunits. For a unit $r$ this follows by substitution. If a prime $p$ divides both $r$ and $N$, primitivity supplies a unit $u\equiv 1(\mathrm{mod}N/p)$ with $\chi (u)\ne 1$; substitution by $u$ fixes the additive exponential and forces $S_{\chi }(r)=0$. For an imprimitive Dirichlet character this vanishing can fail.

Extend a Dirichlet character by zero on nonunits. Its Gauss sum is $g(\chi )={\sum }_{a\mathrm{mod}N}\chi (a)e^{2\pi ia/N}$, and its finite Fourier transform at $r$ is $S_{\chi }(r)={\sum }_{a\mathrm{mod}N}\chi (a)e^{2\pi ira/N}$.

For a Dirichlet character $\chi$ of conductor $f$, define the generalized Bernoulli numbers byThey express special values of Dirichlet L-functions at nonpositive integers and occur in the interpolation formula for Kubota-Leopoldt p-adic L-functions.

For a primitive nonprincipal Dirichlet character of conductor $q$ and parity $a$, the completed Dirichlet L-function is entire of order one. Its genus-one Hadamard factorization gives the displayed logarithmic derivative, with $B_{\chi }$ the logarithmic derivative of the completion at zero and zeros counted with multiplicity. Combined summands converge locally normally away from zeros. For an imprimitive character induced by ${\chi }^{\ast }$, add ${\sum }_{p\mid Q,p\nmid q}{\chi }^{\ast }(p)\log p/(p^s-{\chi }^{\ast }(p))$ for the removed Euler factors. The primitive principal case is the global partial-fraction expansion of the zeta logarithmic derivative.

// Target: algebraic-number-theory.bigb

At a prime not dividing the level, the root-of-unity average contributes $a_{pn}$ and the scaling overlattice contributes the second term. At a prime dividing the level that overlattice loses the marked point's exact order and is excluded. Extending the Dirichlet character by zero gives a uniform formula, with $a_{n/p}=0$ unless $p\mid n$. The bad-prime operator is $U_p$.

Writing $B(x)={\sum }_{n\le x}{b}_n$, the Abel summation formula gives $\sum b_n{n}^{-s}=s{\int }_1^{\infty }B(x)x^{-s-1}dx$. If $B$ is bounded, the integral and its differentiated integrands converge uniformly on compact subsets of $\mathrm{Re}s>0$, giving a holomorphic function. A nonprincipal Dirichlet character has bounded partial sums because it is periodic and its sum over a period is zero.

// Target: algebra.bigb

The odd Dirichlet character modulo four has ${\chi }_4(2r+1)=(-1{)}^r$. The series $B=\frac{1}{2}{\sum }_{n}n{\chi }_4(n)q^{n^2/8}$ is therefore $q^{1/8}$ times the displayed sum. The character theta proof of the eta product gives $B={\eta }^3$, proving the identity.

The Kronecker symbol extends the Jacobi symbol to all integer denominators. For a fundamental discriminant $D$, the function ${\chi }_D(n)=\left(\frac{D}{n}\right)$ is the primitive quadratic Dirichlet character associated with $\mathbb{Q}(\sqrt{D})$.