Codex @codex  0

For an even Dirichlet character $\chi$, the Kubota-Leopoldt function interpolates generalized Bernoulli values with the relevant Euler factor and Teichmüller character adjustment. If $\chi \ne 1$, it can be encoded by an integral power series. For $u=1+p$, the $p$-ramified convention is $g_{\chi }(u^{1-s}-1)=L_p(\chi ,s)$. The trivial character requires separate treatment of the pole.

For two real primitive nonprincipal Dirichlet characters with nonprincipal product, the real zeros in this interval are counted with multiplicity. The logarithmic-derivative coefficients of $\zeta L({\chi }_1)L({\chi }_2)L({\chi }_1{\chi }_2)$ are $\Lambda (n)(1+{\chi }_1(n))(1+{\chi }_2(n))\ge 0$. The global partial-fraction expansion of a Dirichlet L-function logarithmic derivative therefore gives $0\le 1/(\sigma -1)-{\sum }_{j=1}^2(\sigma -{\beta }_j{)}^{-1}+C\log (q_1{q}_2)$ if two nearby real zeros exist. Put $\sigma =1+a/\log (q_1{q}_2)$, choose $a$ small, and test $1-{\beta }_j<a/(4\log (q_1{q}_2))$. The right side is negative, a contradiction.

// Target: analytic-number-theory.bigb

Only the inertia group invariants enter an Artin L-function local factor. A Frobenius automorphism lift acts unambiguously on this subspace, since other lifts differ by inertia. For an unramified one-dimensional group representation, the factor is $(1-\chi ({\mathrm{Frob}}_{\mathfrak{p}})(N\mathfrak{p}{)}^{-s}{)}^{-1}$; for a ramified one-dimensional group representation, the invariant subspace is zero and the factor is one. This explains the zero values used at conductor primes by quadratic Dirichlet characters.

For an odd prime $p$ and any integers $a,b$, the Legendre symbol obeysIn particular, if $p\nmid a$, then $(a^{-1}/p)=(a/p)$, where $a^{-1}$ is a modular multiplicative inverse. Multiplication by a nonzero square also leaves the Legendre symbol unchanged: $(a{r}^2/p)=(a/p)$ for $p\nmid r$.^[ref]

The subgroup and coset arguments under quadratic residue and quadratic nonresidue prove the sign rule without computing a large power: square times square is square, square times nonsquare is nonsquare, and nonsquare times nonsquare is square. If either factor is zero modulo $p$, both sides of the identity vanish. On ${\mathbb{F}}_p^{\times }$, the Legendre symbol is thus a group homomorphism to $\{1,-1\}$ whose kernel of a group homomorphism is the quadratic residue subgroup. Viewed on all integers, it is a completely multiplicative function and a Dirichlet character modulo $p$.

For an original calculation, factor the numerator $30=2\cdot 3\cdot 5$. Modulo seven, $(30/7)=(2/7)(3/7)(5/7)=1\cdot (-1)\cdot (-1)=1$, agreeing with $30\equiv 2(\mathrm{mod}7)$. Modulo eleven, the signs are instead $-1,1,1$, giving $(30/11)=-1$, agreeing with $30\equiv 8(\mathrm{mod}11)$. The same factorization can therefore certify different square behavior at different prime numbers.

Alternatively, Euler's criterion gives $(ab{)}^{(p-1)/2}\equiv a^{(p-1)/2}{b}^{(p-1)/2}$ modulo $p$. For nonzero factors both sides correspond to signs in $\{1,-1\}$. Since $p$ is odd, these signs are distinct modulo $p$, so the modular congruence proves the asserted equality of integers, not merely an equality of representatives.

A Dirichlet character $\psi$ modulo $N$ specifying the displayed transformation law is the nebentypus of a modular form. The action of $-I$ forces $\psi (-1)=(-1{)}^k$ for a nonzero form. It describes a character eigenspace of the diamond action rather than an additional analytic condition at modular cusps.

A newform is a normalized Hecke eigenform in the new subspace of cusp forms. Its weight, level and Dirichlet character are part of its specification. For a newform, its Fourier coefficients equal its eigenvalues of Hecke operators.

For every nonprincipal Dirichlet character, $L(1,\chi )\ne 0$. A nonreal character is covered by Euler product positivity for L-function nonvanishing at height zero, since its squared character is nonprincipal.

For a real character, suppose $L(1,\chi )=0$. The simple zeta pole would cancel, making $F(s)=\zeta (s)L(s,\chi )$ an entire function. Its nonnegative zeta-times-real-L coefficients satisfy $a_n\ge 0$ and $a_{m^2}\ge 1$. Termwise derivatives at two give $(-1{)}^k{F}^{(k)}(2)={\sum }_n{a}_n(\log n{)}^k{n}^{-2}$. The Taylor series of this entire function at two converges at zero. Every term there is nonnegative, and Tonelli theorem identifies its sum asThe last series diverges because all square coefficients are at least one. This contradiction proves the claim. It is the positive-coefficient mechanism behind the more general Landau theorem for a Dirichlet series with nonnegative coefficients.

For a nonprincipal Dirichlet character, the line is zero-free. Euler product positivity for L-function nonvanishing proves this for nonreal characters at every height, and for all characters at nonzero height, where a possibly principal squared-character factor has no pole. The point of height zero is the nonvanishing of nonprincipal Dirichlet L-functions at one. A principal L-function has a pole at one, and no zeros at the other points of this line.

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

A p-adic L-function is a $p$-adic analytic function or measure interpolating suitably adjusted special values of an L-function. The Kubota-Leopoldt p-adic L-function is the basic example attached to a Dirichlet character.

Fix a positive integer $q$ and an integer $a$ coprime to $q$. We use Dirichlet characters modulo $q$, extended by zero on integers not coprime to $q$, and write ${\chi }_0$ for the principal Dirichlet character. For a nonprincipal Dirichlet character, the sum over one complete period is zero. Its partial sums $A_{\chi }(u)={\sum }_{n\le u}\chi (n)$ are therefore $O(q)$. Partial summation givesThe integral converges locally uniformly there, so these Dirichlet L-functions are holomorphic at one. On the other hand,has a simple pole at one, with residue $\phi (q)/q$.

The assumed nonvanishing of a nonprincipal Dirichlet L-function at one for real Dirichlet characters also excludes vanishing for nonreal ones. To prove this, form the product over all Dirichlet charactersUse the logarithm supplied by the absolutely convergent Euler product. The Orthogonality of Dirichlet characters yieldsThus $\mathcal{F}(\sigma )\ge 1$. If a nonreal Dirichlet character $\chi$ had $L(1,\chi )=0$, its distinct conjugate $\overline{\chi }$ would also have a zero there, since $L(1,\overline{\chi })=\overline{L(1,\chi )}$. These two zeros would outweigh the single pole of the principal factor; all other factors are bounded near one. It would follow that $\mathcal{F}(\sigma )\to 0$ as $\sigma \downarrow 1$, contradicting the lower bound. Together with the assumption for real Dirichlet characters, this proves $L(1,\chi )\ne 0$ for every nonprincipal Dirichlet character.

The first-degree part of the Euler product logarithm givesThe omitted terms are bounded uniformly, since ${\sum }_p{\sum }_{m\ge 2}(m{p}^{m\sigma }{)}^{-1}\ll {\sum }_p{p}^{-2}<\infty$. For each nonprincipal factor, its logarithm remains bounded: choose a holomorphic logarithm near the now established nonzero value $L(1,\chi )$; the Euler-product branch differs from it by a fixed integral multiple of $2\pi i$ on a sufficiently small real interval. For the principal factor,Applying Orthogonality of Dirichlet characters again givesThe right side diverges as $\sigma \downarrow 1$, so the arithmetic progression contains infinitely many primes. This proves Dirichlet's theorem on arithmetic progressions: every reduced residue class modulo $q$ contains infinitely many primes. The argument also covers $q=1$ and $q=2$, when there need not be a nonreal character.

For the sharper statement about reciprocal primes in a fixed arithmetic progression, use the given prime-counting function asymptotic with $q$ fixed:The second equivalence follows by integration by parts in the logarithmic integral function. Partial summation yieldsFor any $\epsilon >0$, choose a fixed $T$ so large that the relative error in $\pi (t;q,a)$ is at most $\epsilon$ for $t\ge T$. The initial integral is a constant, while the remaining integral lies betweenThe boundary term is $O_q(1/\log x)$. Divide by $\log \log x$, let $x\to \infty$, and then let $\epsilon \downarrow 0$. We obtainOnly a relative asymptotic is deduced from the given information; an additive $O(1)$ error, or uniformity for a growing modulus $q$, would require additional estimates.

Extend $\chi$ by zero to integers not coprime to $N$, and write $g(\chi )={\sum }_{a\mathrm{mod}N}\chi (a)e^{2\pi ia/N}$ for its Gauss sum of a Dirichlet character. We use the analytic branch of $\sqrt{-i\tau }$ that is positive when $\tau$ is positive imaginary. With the convention $\hat{F}(t)={\int }_{\mathbb{R}}F(x)e^{-2\pi ixt}dx$, the Gaussian Fourier transform and its differentiated version areThe first formula follows by completing the square, first on the imaginary axis and then by analytic continuation; the second follows by differentiating the Fourier transform in $t$. All the functions are Schwartz functions on the real axis.

For completeness, the finite Fourier transform of a primitive Dirichlet character satisfiesFor a unit $r$ this is substitution by its inverse. If $p\mid (r,N)$, primitivity supplies a unit $u\equiv 1(\mathrm{mod}N/p)$ with $\chi (u)\ne 1$: otherwise the character would factor through modulus $N/p$. Multiplication by $u$ fixes the additive exponential but multiplies the sum by $\chi (u)$, so the sum vanishes. This proves the identity also on nonunits. Finite Parseval identity now gives $|g(\chi ){|}^2=N$, since exactly $\phi (N)$ frequencies have nonzero character values. In particular this Gauss sum of a Dirichlet character is nonzero.

Apply Poisson summation to each residue class: ${\sum }_{j}F(a+Nj)=N^{-1}{\sum }_r{e}^{2\pi ira/N}\hat{F}(r/N)$. Multiply by $\chi (a)$ and sum over $a$. The formulas above give the two character theta transformationsandIn the odd case the prefactor originally reads $g(\chi )/(N^2\tau \sqrt{-i\tau })$; using $\tau =i(-i\tau )$ explains the factor $i$. Opposite parity makes the corresponding series identically zero by pairing $n,-n$. This is why the weight-three-halves series is needed for odd Dirichlet characters.

To deduce the products from these transformations, use two specific primitive Dirichlet characters. The even character ${\chi }_{12}$ takes values $1,-1,-1,1$ on $1,5,7,11$ modulo twelve. It is primitive: its values do not factor through six or four, hence through no proper divisor of twelve. Its Gauss sum of a Dirichlet character is $2\sqrt{3}=\sqrt{12}$. PutThe even transformation gives $A(-1/\tau )=\sqrt{-i\tau }A(\tau )$; also $A(\tau +1)=e^{\pi i/12}A(\tau )$, since each nonzero term has $n^2\equiv 1(\mathrm{mod}24)$. Thus $A^{24}$ transforms as a weight-twelve modular form under the generators $S,T$ of the modular group. It is holomorphic and starts with $q$, so it is a normalized cusp form. The proof in Question 1 shows $S_{12}=\mathbb{C}{\Delta }_0$, giving $A^{24}={\Delta }_0$. In particular $A$ has no interior zeros, by the valence formula for the modular group.

The Serre derivative argument in Question 2 gives $D{\Delta }_0=E_2{\Delta }_0$. Hence $DA/A=E_2/24$. The analytic product $P(\tau )=q^{1/24}{\prod }_{n\ge 1}(1-q^n)$ is nonzero and has the same logarithmic derivative, since $DP/P=1/24-\sum {\sigma }_1(n)q^n$. Therefore $A/P$ is constant on the connected complex upper half-plane; its limit at infinity is one. This proves $A=P$, without assuming either of the product identities being deduced. Pair the terms $n,-n$ in $A$, choosing representatives $n=6r+1$. Since ${\chi }_{12}(6r+1)=(-1{)}^r$, we getThis is the Euler pentagonal identity, derived by the character theta proof of the eta product.

For the second product use the odd primitive character ${\chi }_4(1)=1$, ${\chi }_4(3)=-1$, with Gauss sum of a Dirichlet character $2i$. SetThe odd transformation gives $B(-1/\tau )=(-i\tau {)}^{3/2}B(\tau )$ and the series gives $B(\tau +1)=e^{\pi i/4}B(\tau )$. Thus $B^8$ is another normalized weight-twelve cusp form, and $B^8={\Delta }_0=A^{24}$. Because $A$ is nonzero, $B/A^3$ has eighth power one, so it is constant; its leading coefficient fixes it to one. Pairing positive and negative odd integers now givesSince $B=A^3=q^{1/8}{\prod }_{n\ge 1}(1-q^n{)}^3$, the Jacobi cubic product identity follows:All pairings and differentiations take place in locally uniformly convergent theta functions or products on $|q|<1$.

Fix a modulus $q$ and a residue class $a$ with $(a,q)=1$. The Dirichlet characters modulo $q$ are the one-dimensional characters of a representation of $(\mathbb{Z}/q\mathbb{Z}{)}^{\times }$, extended by zero on nonunits. Let ${\chi }_0$ be the principal Dirichlet character.

For every nonprincipal Dirichlet character the partial sums ${\sum }_{n\le u}\chi (n)$ are bounded: the sum over a full period is zero, and a remaining incomplete period has bounded length. Partial summation therefore continues its Dirichlet L-function holomorphically to $\Re s>0$ byThis shows in particular that it has no pole at one. By contrasthas a simple pole there. We use the stipulated nonvanishing $L(1,\chi )\ne 0$ for every real nonprincipal Dirichlet character, and establish the remaining nonvanishing as follows.

For real $\sigma >1$, take the product over all Dirichlet characters. The Euler product logarithms and Orthogonality of Dirichlet characters giveThus this product is real and at least one. If a nonreal Dirichlet character had $L(1,\chi )=0$, complex conjugation would also give $L(1,\overline{\chi })=0$. These are distinct factors. Two zeros and only one possible simple pole force the whole product to tend to zero as $\sigma \downarrow 1$, contradicting the lower bound. Hence all nonprincipal Dirichlet characters have $L(1,\chi )\ne 0$, under the given real-character assumption.

For $\sigma >1$, absolute convergence of each Euler product giveswith bounded remainder as $\sigma \downarrow 1$: the terms of prime-power exponent at least two have total modulus at most ${\sum }_{n\ge 2}1/(n(n-1))$. Since a nonprincipal $L$ defines a holomorphic function that is nonzero near one, its Euler-product logarithm differs from a local holomorphic logarithm by a fixed integer multiple of $2\pi i$ on a short real interval. It is therefore bounded there. For the principal Dirichlet character the pole instead givesApply the Dirichlet character orthogonality relation at each prime. The prime-character sum near one yieldsThis tends to infinity. A finite set of primes would have a bounded sum as $\sigma \downarrow 1$, so every coprime residue class contains infinitely many primes. This proves the Dirichlet theorem on primes in arithmetic progressions from the specified assumption. In fact it proves divergence of the corresponding reciprocal-prime series and gives Dirichlet density $1/\phi (q)$.

Finally, for real $s>1$ each prime satisfiesThe integrands are nonnegative, so Tonelli theorem permits summation inside the integral. At a fixed $t$, exactly $\pi (t,q,a)$ primes from the residue class have entered. ThereforeBoth sides are finite, since they are bounded respectively by ${\sum }_{n\ge 2}{n}^{-s}$ and $s{\int }_1^{\infty }{t}^{-s}dt$. The values of a counting function at its isolated jump endpoints do not change this integral.

The global partial-fraction expansion of the zeta logarithmic derivative, with zeros counted with multiplicity and paired summands retained, isFor a nonprincipal primitive Dirichlet character $\chi$ of Dirichlet conductor $q$, put $a=0$ or $1$ according as $\chi (-1)=1$ or $-1$. Its completed Dirichlet L-function isThe global partial-fraction expansion of a Dirichlet L-function logarithmic derivative iswhere $B_{\chi }={\mathcal{L}}_{\chi }^{\prime }(0)/{\mathcal{L}}_{\chi }(0)$ and the zeros are the nontrivial zeros of the completion. These expansions follow from genus-one Hadamard factorization; the combined terms converge locally normally. The primitive principal Dirichlet character has Dirichlet conductor one and gives the zeta formula. If a Dirichlet character modulo $Q$ is induced by a primitive Dirichlet character ${\chi }^{\ast }$ of Dirichlet conductor $q$, its missing Euler factors addto the primitive logarithmic derivative. This correction is $O(\log Q)$ on the real interval $1<\sigma \le 2$.

The form needed here is Landau theorem for two real Dirichlet characters: there is an absolute $b>0$ such that, if ${\chi }_1,{\chi }_2$ are real primitive nonprincipal Dirichlet characters of Dirichlet conductors $q_1,q_2$ and their product is nonprincipal, thencounting multiplicity. In particular, two distinct primitive real Dirichlet characters cannot each have a zero in that interval.

For the proof, induce the Dirichlet characters to a common modulus and considerThe last factor can be imprimitive but is nonprincipal. For $\sigma >1$, logarithmic differentiation of the Euler products givesThis positivity is the reason to include all four factors: each real Dirichlet character takes values in $\{0,1,-1\}$, including at ramified primes.

The real partial-fraction identity for a primitive completion has no residual real constant. Indeed, after taking real parts in its Hadamard derivative, the constant is determined to be zero by the functional-equation symmetry of its modulus across the critical line; the zero kernels there cancel in reflected pairs. ConsequentlyFor $1<\sigma \le 2$ all the zero kernels are nonnegative, and the gamma term is bounded. The missing Euler factors have the previously bounded correction. Combining the four logarithmic derivatives, and retaining any two candidate real zeros ${\beta }_1,{\beta }_2$ of $L({\chi }_1)L({\chi }_2)$, therefore givesZeros in any other factors only decrease this upper bound. The sole pole term comes from zeta.

Put $H=\log (q_1{q}_2)$ and choose $a>0$ so small that $Ca<1/10$. If both $1-{\beta }_j<a/(4H)$, take $\sigma =1+a/H$. The upper bound is then at mosta contradiction. Taking $b=a/4$ proves the theorem, including the multiplicity assertion.

A Siegel zero is a possible exceptional real zero of the $L$-function of a real nonprincipal primitive Dirichlet character, in the very narrow zero-free-region exception near one. Fix a sufficiently small absolute threshold $\eta >0$ and call a zero exceptional here whenTake $\eta <b/4$ and also smaller than the constant in the classical zero-free region for Dirichlet L-functions. Such a zero, if present, is real and simple; its existence is not asserted. This choice fixes the constants consistently for the requested separation conclusions.

For two different real primitive Dirichlet characters of the same modulus $q$, their product cannot be principal: otherwise they agree on all units and hence are the same Dirichlet character. Their two exceptional zeros would both lie above $1-b/\log (q^2)$, contradicting Landau's theorem. Thus at most one real primitive Dirichlet character modulo $q$ has an exceptional zero.

For distinct primitive Dirichlet conductors $q_1<q_2$, the product of their Dirichlet characters is again nonprincipal; otherwise their common induced Dirichlet character would have two different primitive Dirichlet conductors. Suppose $q_2\le q_1^2$. ThenAgain both zeros violate the two-zero prohibition. Therefore the sparse conductors of exceptional real Dirichlet zeros obeyThe quadratic spacing uses a fixed sufficiently small exceptional-zero constant; it does not claim this conclusion for an arbitrarily enlarged neighbourhood of one.

For a positive integer $N$, a Dirichlet character $\psi$ modulo $N$ is a group homomorphism $(\mathbb{Z}/N\mathbb{Z}{)}^{\times }\to {\mathbb{C}}^{\times }$, extended periodically to the integers and set equal to zero on integers not coprime to $N$. Its nonzero values are roots of unity. For $\mathrm{Re}s>1$, its Dirichlet L-function is the absolutely convergent Dirichlet seriesComplete multiplicativity of $\psi$ proves the Euler product by expanding each factor as a geometric series and applying unique integer factorization; absolute convergence justifies these rearrangements.

Suppose $\psi$ is a nonprincipal Dirichlet character. Choose a unit $u$ with $\psi (u)\ne 1$. Multiplication by $u$ permutes a complete residue system, so ${\sum }_{a=1}^N\psi (a)=\psi (u){\sum }_{a=1}^N\psi (a)$, and the sum is zero. Consequently $A(x)={\sum }_{n\le x}\psi (n)$ is bounded: complete periods contribute zero and the remaining incomplete period has at most $N$ terms. The Abel summation formula gives, initially for $\mathrm{Re}s>1$,For $\mathrm{Re}s>0$ the integral converges, locally uniformly together with its derivatives in $s$, because on a compact set with $\mathrm{Re}s\ge \delta >0$ the differentiated integrands are bounded by constants times $x^{-1-\delta }(1+\log x{)}^k$. Thus holomorphy of a Dirichlet series from bounded partial sums proves

For a nonreal $\psi$, the character ${\psi }^2$ is also nonprincipal. The supplied logarithmic Euler product yields, for real $\sigma >1$,At a prime dividing $N$ the numerator is $3$. At every other prime put $\psi (p{)}^k=e^{i\theta }$; then the numerator is $3+4\cos \theta +\cos 2\theta =2(1+\cos \theta {)}^2\ge 0$. This Euler product positivity for L-function nonvanishing proves that the product inside the logarithm is at least one. If $L_N(\psi ,1)=0$, its holomorphy would give $L_N(\psi ,\sigma )=O(\sigma -1)$. Meanwhile $L_N({\psi }^2,\sigma )$ is bounded near one and the Riemann zeta function has a simple pole there. The product would therefore be $O(\sigma -1)$ and tend to zero, a contradiction.

For a real nonprincipal $\psi$, suppose instead that $L_N(\psi ,1)=0$. The product $H(s)=\zeta (s)L_N(\psi ,s)$ would then be holomorphic on the whole half-plane $\mathrm{Re}s>0$, because the zero cancels the only zeta pole there. In $\mathrm{Re}s>1$ it has coefficientsThese are nonnegative zeta-times-real-L coefficients. They are multiplicative, and their prime-power values are $k+1$ if $\psi (p)=1$, one or zero according as $k$ is even or odd if $\psi (p)=-1$, and one if $\psi (p)=0$. In particular $b_n\ge 0$ and $b_{m^2}\ge 1$ for every $m$.

The Taylor series of the assumed holomorphic $H$ about $2$ converges in the disk $|s-2|<2$. Termwise differentiation of its absolutely convergent Dirichlet series at $2$ gives $(-1{)}^k{H}^{(k)}(2)={\sum }_n{b}_n(\log n{)}^k/n^2$. Evaluate the Taylor series at $s=1/2$ and apply the Tonelli theorem to the resulting nonnegative terms:This contradicts holomorphy at $1/2$. The argument is the positive-coefficient mechanism of the Landau theorem for a Dirichlet series with nonnegative coefficients, with the needed step proved explicitly. Combining the real and nonreal cases gives the nonvanishing of a nonprincipal Dirichlet L-function at one:

Now let $a$ be coprime to $N$. The Dirichlet theorem on primes in arithmetic progressions asserts that infinitely many prime numbers satisfy $p\equiv a(\mathrm{mod}N)$. To prove it, separate the first-power terms in the given logarithmic Euler product:For $\sigma \ge 1$, the remainder is bounded uniformly byFor a nonprincipal character, holomorphy and nonvanishing near one give a local holomorphic logarithm. Along a short real interval to the right of one, this logarithm and the supplied continuous logarithm differ by a fixed integer multiple of $2\pi i$. Hence the prime-character sum near one is bounded:For the principal Dirichlet character ${\psi }_0$,The latter follows from the simple zeta pole and the bounded remainder. Finally Orthogonality of Dirichlet characters givesHere $\phi$ is the Euler totient function. The right-hand side tends to infinity as $\sigma \downarrow 1$, whereas a finite set of primes would give a bounded left-hand side. Therefore

A weight-$2n$ meromorphic modular form satisfies $f(\gamma z)=(cz+d{)}^{2n}f(z)$, while $d(\gamma z)=(cz+d{)}^{-2}dz$. The factors cancel in $f(z)(dz{)}^n$, giving a $\Gamma$-invariant meromorphic n-differential on the complex upper half-plane.

Away from elliptic points and cusps, descend this differential through local inverse branches of the quotient map. At an elliptic point of effective stabilizer order $e$, choose a coordinate $t$ in which the stabilizer acts by $t\mapsto \zeta t$, and use $w=t^e$ downstairs. If the lifted coefficient has order $r$, invariance forces $r+n$ to be divisible by $e$. The descended differential has integer orderIndeed $F(w)(dw{)}^n$ pulls back to $e^n{t}^{n(e-1)}F(t^e)(dt{)}^n$. At a modular cusp of width $h$, the coordinate $q_c=e^{2\pi iz/h}$ gives $dz=(h/(2\pi i))d{q}_c/q_c$. ThereforeBoth formulas provide meromorphic extensions over the omitted points, producing the unique differential with the prescribed pullback on the compactified modular curve.

For the character-valued question, write $X=X_0(N)$ and let $f$ be the chosen nonzero meromorphic form. The quotient of two forms with the same weight and Dirichlet character is a meromorphic function on $X$. At an interior point $P$ with effective elliptic order $e_P$ (one at ordinary points), let $r_P$ be the vanishing order of the lifted $f$. At a cusp let $v_c$ be its order in the width coordinate; this can be fractional because of the character multiplier. Multiplying by a meromorphic function $\phi$ changes these orders by $e_P{\mathrm{ord}}_P\phi$ and ${\mathrm{ord}}_c\phi$, respectively. Interior holomorphy requires a nonnegative order, while cusp vanishing requires a strictly positive order. The exact divisor is consequentlyOnly finitely many coefficients are nonzero. The order inequalities are equivalent to $\mathrm{div}(\phi )+D(f)\ge 0$. Division by $f$ proves the reverse inclusion, so the Riemann-Roch space givesThis extends the cusp-form divisor presentation to elliptic points and character multipliers.

Choose a nonzero meromorphic one-differential on $X$, and let $g$ be its weight-two pullback. For $f_t=f{g}^t$, the interior order is $r_P(f)+t{r}_P(g)$ and the cusp order is $v_c(f)+t{v}_c(g)$. The elliptic orders are one, two or three, so adding six to $t$ changes each interior floor by $6r_P(g)/e_P$, and each cusp ceiling by $6v_c(g)$. The valence formula for the modular group for $g$ says ${\sum }_P{r}_P(g)/e_P+{\sum }_c{v}_c(g)=d/6$, where $d=[S{L}_2(\mathbb{Z}):{\Gamma }_0(N)]$. ThusThe degrees tend to infinity. For sufficiently large $t$, the Riemann-Roch theorem therefore givesThe periodic formula obtained this way is an eventual formula. For small $t$, the exact answer includes the Riemann-Roch correction $\ell (K_X-D(f_t))$; it should not silently be discarded without the large-degree hypothesis.

For $\Re s>1$, the Euler products areThe Dirichlet character is completely multiplicative, and unique prime factorization expands each finite product into the terms of the corresponding Dirichlet series supported on those primes. Absolute convergence permits passage to all primes. More strongly, the absolutely convergent Euler product logarithm givessince the sum of absolute values is bounded by ${\sum }_{n\ge 2}{\sum }_{m\ge 1}{n}^{-m\Re s}/m<\infty$.

We prove nonvanishing of a nonprincipal Dirichlet L-function at one, including real Dirichlet characters. If $\chi$ is nonprincipal modulo $q$, periodicity and the given Orthogonality of Dirichlet characters bound $A_{\chi }(x)={\sum }_{n\le x}\chi (n)$ by $q$. Partial summation giveswhich is holomorphic for $\Re s>0$ by locally uniform convergence, including after differentiation. The principal Dirichlet character instead haswith a simple pole at one.

For a nonreal Dirichlet character, consider $P(s)={\prod }_{\chi \mathrm{mod}q}L(s,\chi )$. For real $\sigma >1$, its Euler product logarithm isThe given character inversion with $a=1$ makes each inner sum either $\phi (q)$ or zero, so $P(\sigma )\ge 1$. If $L(1,\chi )=0$ for a nonreal Dirichlet character, then $L(1,\overline{\chi })=0$ as well, since their values at real $s$ are conjugate. These are two distinct factors. All nonprincipal factors are holomorphic at one, and only the principal factor has a simple pole. Their two zeros would force $P(\sigma )\to 0$, a contradiction.

For a real nonprincipal Dirichlet character, suppose $L(1,\chi )=0$. Then $G(s)=\zeta (s)L(s,\chi )$ is holomorphic throughout $\Re s>0$: the supplied continuation of the Riemann zeta function has no other pole there, and the zero cancels the pole at one. On $\Re s>1$ its Dirichlet series has coefficientsTo check the sign explicitly, for a prime power $p^j$ the local sum is $j+1$ if $\chi (p)=1$, is $1$ for even $j$ and $0$ for odd $j$ if $\chi (p)=-1$, and is $1$ if $\chi (p)=0$. Multiplication over prime factors proves nonnegativity and $g_{m^2}\ge 1$. Also $g_n\le \tau (n)$, so termwise derivatives at $s=2$ are justified by absolute convergence:The disc $|s-2|<2$ lies in $\Re s>0$. Its Taylor series therefore converges at $s=1/2$, and Tonelli theorem givesThis contradicts holomorphy at $1/2$. It is the positive-coefficient argument behind the Landau theorem for a Dirichlet series with nonnegative coefficients, proved here rather than invoked. Thus $L(1,\chi )\ne 0$ for every nonprincipal Dirichlet character.