No Arabic abstract
We consider natural variants of Lehmers unresolved conjecture that Ramanujans tau-function never vanishes. Namely, for $n>1$ we prove that $$tau(n) ot in {pm 1, pm 3, pm 5, pm 7, pm 691}.$$ This result is an example of general theorems for newforms with trivial mod 2 residual Galois representation, which will appear in forthcoming work of the authors with Wei-Lun Tsai. Ramanujans well-known congruences for $tau(n)$ allow for the simplified proof in these special cases. We make use of the theory of Lucas sequences, the Chabauty-Coleman method for hyperelliptic curves, and facts about certain Thue equations.
In the spirit of Lehmers unresolved speculation on the nonvanishing of Ramanujans tau-function, it is natural to ask whether a fixed integer is a value of $tau(n)$ or is a Fourier coefficient $a_f(n)$ of any given newform $f(z)$. We offer a method, which applies to newforms with integer coefficients and trivial residual mod 2 Galois representation, that answers this question for odd integers. We determine infinitely many spaces for which the primes $3leq ellleq 37$ are not absolute values of coefficients of newforms with integer coefficients. For $tau(n)$ with $n>1$, we prove that $$tau(n) ot in {pm 1, pm 3, pm 5, pm 7, pm 13, pm 17, -19, pm 23, pm 37, pm 691},$$ and assuming GRH we show for primes $ell$ that $$tau(n) ot in left { pm ell : 41leq ellleq 97 {textrm{with}} left(frac{ell}{5}right)=-1right} cup left { -11, -29, -31, -41, -59, -61, -71, -79, -89right}. $$ We also obtain sharp lower bounds for the number of prime factors of such newform coefficients. In the weight aspect, for powers of odd primes $ell$, we prove that $pm ell^m$ is not a coefficient of any such newform $f$ with weight $2k>M^{pm}(ell,m)=O_{ell}(m)$ and even level coprime to $ell,$ where $M^{pm}(ell,m)$ is effectively computable.
Let $K$ be a local function field of characteristic $l$, $mathbb{F}$ be a finite field over $mathbb{F}_p$ where $l e p$, and $overline{rho}: G_K rightarrow text{GL}_n (mathbb{F})$ be a continuous representation. We apply the Taylor-Wiles-Kisin method over certain global function fields to construct a mod $p$ cycle map $overline{text{cyc}}$, from mod $p$ representations of $text{GL}_n (mathcal{O}_K)$ to the mod $p$ fibers of the framed universal deformation ring $R_{overline{rho}}^square$. This allows us to obtain a function field analog of the Breuil--Mezard conjecture. Then we use the technique of close fields to show that our result is compatible with the Breuil-Mezard conjecture for local number fields in the case of $l e p$, obtained by Shotton.
In 1730 James Stirling, building on the work of Abraham de Moivre, published what is known as Stirlings approximation of $n!$. He gave a good formula which is asymptotic to $n!$. Since then hundreds of papers have given alternative proofs of his result and improved upon it, including notably by Burside, Gosper, and Mortici. However Srinivasa Ramanujan gave a remarkably better asymptotic formula. Hirschhorn and Villarino gave a nice proof of Ramanujans result and an error estimate for the approximation. In recent years there have been several improvements of Stirlings formula including by Nemes, Windschitl, and Chen. Here it is shown (i) how all these asymptotic results can be easily verified; (ii) how Hirschhorn and Villarinos argument allows a tweaking of Ramanujans result to give a better approximation; (iii) that a new asymptotic formula can be obtained by further tweaking of Ramanujans result; (iv) that Chens asymptotic formula is better than the others mentioned here, and the new asymptotic formula is comparable with Chens.
For a global function field K of positive characteristic p, we show that Artin conjecture for L-functions of geometric p-adic Galois representations of K is true in a non-trivial p-adic disk but is false in the full p-adic plane. In particular, we prove the non-rationality of the geometric unit root L-functions.
Using Ramanujans identities and the Weierstrass-Enneper representation of minimal surfaces and the analogue for Born-Infeld solitons, we derive further non-trivial identities.