All Questions
Tagged with reference-request nt.number-theory
1,408 questions
5
votes
0
answers
247
views
Congruence of Fourier coefficients of Siegel cusp forms
Let $F$ be a Siegel cusp form of weight $2k$ and genus $2$ in the Maass subspace (i.e. the Saito-Kurokawa lift of some classical cusp form $f$ of weight $4k-2$); assume that $F$ and $f$ are Hecke ...
- 253
1
vote
2
answers
287
views
On the notion of primary representation of a natural number by a quadratic form
This "discussion" has to do with some of the material we can find in pages 183-186 of the translation into English of the first part of E. Landau's Vorlesungen über Zahlentheorie (published by the ...
- 8,842
3
votes
0
answers
408
views
The second conjecture about the degrees of special polynomials
Define the congruence "modulo m" on exponential Taylor series following the previous post (A conjecture about the degrees of special polynomials)
It has been conjectured, that if we define the ...
- 237
2
votes
1
answer
297
views
Papers on distribution of high order elements over $\mathbb{F}_p$
I am interested in knowing about the distribution of exponentially high order elements in $\mathbb{F}_p$. To be precise let $s$ be of the order $\frac{p}{\log^{k}(p)}$ for some fixed $k$ and integer. ...
- 335
4
votes
4
answers
561
views
An upperbound for divisor function squared on a short interval
Let $d(n)$ be the divisor function defined by $d(n) = \sum_{m|n} 1$. I am in need of estimate of the following type:
$$
\sum_{Q \leq n \leq Q + H} d^2(n) \ll H (\log (Q + H))^T
$$
where $T$ can be any ...
- 3,625
3
votes
1
answer
224
views
PNT analog for primes inside a structured set
Let $\Bbb T$ be the set of all square free integers with ordering derived from $\Bbb N$. Essentially $PNT$ says if you pick $\log N$ integers less than $N$ you can expect one of them to be prime.
...
- 13.9k
2
votes
0
answers
154
views
Equi-distribution of the parity of partitions
The integer partition function $p(n)$ has a generating function given by
$$\frac1{(q)_{\infty}}=\sum_{n=0}^{\infty}p(n)q^n$$
with $(q)_{\infty}=\prod_{m=1}^{\infty}(1-q^m)$. The long-standing problem ...
- 43.2k
2
votes
0
answers
146
views
English proof for decomposition of modular polynomials
Let $\Phi_n(X,Y)$ be the modular polynomial that are the canonical equations for the modular curve $X_0(n)$. They parameterise pairs of elliptic curves related by a cyclic isogeny of degree $n$.
I am ...
- 521
9
votes
0
answers
271
views
Cancellation in a sum of Möbius evaluated along a quadratic form
Let $Q(x,y)$ be an indefinite binary quadratic form. Suppose $0 < B < \sqrt{A} $ are such that $B \gg \sqrt{A}$.
Is it true one can save an arbitrary power of log from the trivial bound in
$$...
- 2,283
7
votes
1
answer
382
views
$\log \log p / \log \log n$, where $p|n$, gets equidistributed in [0,1] (for almost all $n$)
According to Hardy-Ramanujan/Erdős-Kac we know that usually there are $\sim\log\log n$ prime numbers in a factorization. But if you pick up a natural number at random, and you factor it, what is the ...
- 1,384
7
votes
1
answer
775
views
Translations of Deuring
As the title suggests, do there exist translations of papers by Deuring?
I'm particularly interested in:
"Die Typen der Multiplikatorenringe elliptischer Funktionenkörper," Ach. Math. Sem. Hab. (1941)...
- 521
4
votes
1
answer
491
views
Continued fraction of Liouville's constant
A friend and I were discussing the properties of continued fractions (as "best" approximations). For fun, we checked the continued fractions of Liouville's constant. The terms in the sequence fit a ...
- 4,432
17
votes
0
answers
891
views
An elementary proof that, for every fixed $n \in \mathbf N^+$, there are infinitely many primes $\equiv -1 \bmod n$
This morning, I made a comment to a comment to a question of Ayman Moussa, only to point out that, among many others, there is an elementary proof of Dirichlet's theorem on the existence of infinitely ...
- 10.5k
6
votes
2
answers
366
views
Provoking involutions further
Let $\mathfrak{S}_n$ denote the permutation group, and $I_0(n)=\sum_{j\geq0}\binom{n}{2j}\frac{(2j)!}{2^jj!}$ stand for involutions see A000085 for more interpretations. There is also these numbers $...
- 43.2k
18
votes
5
answers
3k
views
An elementary, short proof that the group of units of the ring of integers of a number field is finitely generated
Dirichlet's unit theorem states that (i) the group of units, $\mathscr{U}_K$, of the ring of integers of a number field $K$ is finitely generated, and (ii) the rank of $\mathscr{U}_K$ is equal to $r_1 ...
- 10.5k
6
votes
1
answer
360
views
Friable Numbers In Short Intervals: Density Estimates?
I am hoping for explicit numerical estimates like the following sample (with made up numbers, though it might be true): for every $n \gt 10^6$ and every $b$ with $b^2 \lt n \lt b^3$, the number of ...
- 13k
9
votes
1
answer
317
views
Counting monomials in cyclotomic polynomials
Let $\Phi_n(x)$ denote the $n$-th cyclotomic polynomial. There are numerous properties and utilities of these polynomials. My interest is more basic and in the spirit of
Tewodros Amdeberhan and ...
- 43.2k
7
votes
0
answers
572
views
Dieudonne modules vs Dieudonne crystals reference/clarification
I've read a bit about Dieudonné modules, mainly from Fontaine's "Groupes p-divisibles sur les corps locaux" and Demazure's "Lectures on $p$-divisible groups". I am familiar with the main ...
- 371
0
votes
0
answers
266
views
Completing a dyadic sum
Suppose I knew the behaviour of a given sum in every other interval, for example:
$$
\sum_{\substack{0\leq a \leq x\\ a\equiv 1 (k)}} \sum_{x/(a+k/2)< b \leq x/a} f(b) \sim g(x),
$$
for any $x>1$...
- 3,799
17
votes
2
answers
3k
views
Consequences of the Birch and Swinnerton-Dyer Conjecture?
Before asking my short question I had made some research. Unfortunately I did not find a good reference with some examples. My question is the following
What are the consequences of the Birch and ...
2
votes
3
answers
467
views
Concise introduction to Beta transformations
I'm looking for a concise introductory on the subject of beta transformations on the circle. I've found things that are related to its applications in the computational field or in number theory. A ...
- 3,574
3
votes
2
answers
384
views
Poles of the Rankin-Selberg zeta function associated to Hilbert cusp forms
Let $K$ a totaly real number field, $\mathcal{O}_K$ its ring of integre and $h$ the narrow class number of $K$. Let $\mathbf{f}$ a collection $(f_1, ..., f_h)$ of Hilbert cusp forms $f_\lambda$
$(\...
- 400
5
votes
3
answers
1k
views
Don Zagier's "Zetafunktionen und quadratische Körper"
Do you know of a text--preferably in English--whose treatment of the class number formula is based on (or follows closely) the one expounded by Zagier in sections II.8 (binary quadratic forms) and II....
- 8,842
7
votes
1
answer
281
views
Sato-Tate conjecture when Fourier coefficients are complex numbers
Let $k\geq 1$ and let $f=\sum_{n\geq 1}a(n)q^{n}$, $a(n)\in\mathbb{R}$, be a normalised cuspidal Hecke eigenform of weight $2k$ for $\Gamma_{0}(N)$ without complex multiplication. So the result of ...
- 433
5
votes
0
answers
775
views
A conjecture about the degrees of special polynomials
Define the congruence "modulo m" on exponential Taylor series as
$$
\sum_{n=0}^\infty \frac{a_n}{n!}x^n \equiv \sum_{n=0}^\infty \frac{b_n}{n!} x^n \mod m \iff \forall n: \frac{a_n-b_n}{m}\in \mathbb{...
- 237
5
votes
1
answer
224
views
Locating a certain result on primes represented by a certain polynomial
In Theorem 2 of the paper "A polynomial divisor problem" by Friedlander and Iwaniec, Theorem 2 states that $$\sum_{a^6 + b^2\le x} \Lambda(a^6 + b^2)\sim cx^{2/3}$$ for some constant $c > 0$ (in ...
- 1,890
7
votes
1
answer
443
views
Density of numbers whose prime factors belong to given arithmetic progressions
By a theorem of Landau, the number of integers $n\leq x$ whose prime divisors belong to only arithmetic progressions $a_1,\dots,a_r$ mod $q$, with $r\leq\varphi(q)$ and $a_i$ coprime to $q$ for each $...
- 3,799
11
votes
1
answer
621
views
Gauss, Jacobi, Kloosterman sums and representation theory in the $\mathbb F_1$-world
This question is inspired by Why are Bessel function and Kloosterman sum similar? - it developed in me desire to understand Kloosterman sums better.
There seems to be common knowledge that Gauss, ...
- 18.4k
3
votes
1
answer
225
views
$f^{\lambda}$: asymptotics and analytic continuations
Let $\mathbb{Y}_n$ denote the set of all partitions of $n\in\mathbb{N}$ and $\mathbb{Y}$ Young's lattice of all partitions. The partition function $g_0(n)=\sum_{\lambda\in\mathbb{Y}_n}1$ has an ...
- 43.2k
7
votes
1
answer
487
views
Who proved the upper bound for the autocorrelation of higher order divisor functions?
Who first published a proof that
$$\sum_{n\leq x}d_{k}(n)d_k(n+h)=O(x(\log x)^{2k-2})$$
for fixed $k$ and $h$ please? I am struggling to find a reference. Thank you.
- 2,480
3
votes
1
answer
561
views
The abscissa of convergence of the real part of a Dirichlet series
Let $L(s)=\sum_{n\ge1}\frac{a(n)}{n^s}$ be a Dirichlet series with a finite abscissa of convergence $\sigma_c.$ My question is the following :
On what condition the abscissa of convergence of $\sum_{...
- 93
3
votes
2
answers
306
views
Asymptotics for the number of digits of the ratio of binomial coefficients
Let $a$ and $b$ be distinct positive real numbers. Let $(a_n)$ and $(b_n)$ be sequences of natural numbers such that $a_n\sim an$ and $b_n\sim bn$. All the limit relations here are for $n\to\infty$. ...
- 128k
7
votes
1
answer
467
views
Analytic properties of Eisenstein series
Let $\Gamma$ be a discrete subgroup of $SL_2(\mathbb{R})$ which has a cusp at $\infty.$ suppose that $\mu(\Gamma\setminus\mathbb{H})<\infty,$ consider the Eisenstein series :$$E(z,s,\Gamma)=\sum_{\...
- 400
5
votes
0
answers
169
views
Where does the notation $\operatorname{Tr}(\cdot)\bmod \ell^\alpha$ implies isomorphism come from?
In J-P Serre's article on Faltings-Serre (Resume du Course 1984-1985) he states (without proof) that for two finite-dimensional $\ell$-adic Galois representations of $\operatorname{Gal}(\mathbb{Q})$, ...
- 2,429
5
votes
1
answer
259
views
Central binomial coefficients deprived of $2$'s: not radicals?
In the paper, P Erdos, R Graham, I Ruzsa, E Straus, On the prime factors of $\binom{2n}n$, Math. Comp., 29:83–92, 1975, it was conjectured that the central binomials are never square-free for $n>4$....
- 43.2k
2
votes
0
answers
100
views
Quasi-algebraically closed fields reference request
I am looking for a road to understanding what quasi-algebraically closed fields are with the ultimate goal of understanding the paper by Lang 1952.
My current background is the first 6 chapters from ...
- 87
5
votes
1
answer
613
views
generating $q$-Catalan numbers
An $n$-Dyck path (or a Catalan path) is a lattice path $P$, unit East and North steps, in an $n\times n$ square grid which stays (weakly) above the main diagonal. Let $\square_n$ denote all such paths....
- 43.2k
3
votes
2
answers
506
views
Indefinite quadratic form universal over negative integers
Here's a question that (I hope) may seem very trivial for you, and I hope one of you may provide me with a reference answering it (unless it's a trivial colloquial knowledge).
Let $f$ be an ...
- 1,268
2
votes
2
answers
257
views
Is this variant on set partition explored?
Let $[n]=\{1,2,\dots,n\}$ and fix $r\in[n]$. Define the set $\mathcal{B}_{n,r}$ as the set of all set partitions of $[n]$ into disjoint non-empty blocks such that each block $B$ satisfies:
$\,\,\,\,\,...
- 43.2k
4
votes
1
answer
372
views
How close do partitions get to perfect squares?
This comes purely out of curiosity and experiments. I'm not sure if the literature has any coverage.
Let $p(n)$ be the number of integer partitions of $n$. Then, we have the well-known generating ...
- 43.2k
5
votes
1
answer
414
views
Primality test for $2p+1$
In 1750 Euler stated following theorem :
Let $p \equiv 3 \pmod 4$ be prime then $2p+1$ is prime iff $2p+1 \mid 2^p-1$ .
In 1775 Lagrange gave a proof of the theorem .
Recently I have formulated ...
- 2,661
5
votes
2
answers
369
views
Links between tight closure and deformation theory
I am looking for links between tight closure and deformation theory. As a sample question:
Question 1. Are there geometric interpretations in terms of deformation theory of
Frobenius rationality?
...
- 32.2k
4
votes
1
answer
545
views
class number of biquadratic fields
Can any one provide some references which treat the relation between the class number of a biquadratic field and the class numbers of its sub-fields using the analytic class number formula ?
- 347
10
votes
1
answer
314
views
Coefficient bounds on cusp forms, half-integer weight
Let $f(\tau) = \sum_{n=1}^{\infty} a(n) q^n$ be a cusp form on $\Gamma_0(4N)$ of half-integer weight $k \ge 5/2.$ The Ramanujan-Petersson conjecture in this case is that $$a(n) \ll n^{(k-1)/2 + \...
- 101
8
votes
2
answers
512
views
The average of reciprocal binomials
This question is motivated by the MO problem here. Perhaps it is not that difficult.
Question. Here is an cute formula.
$$\frac1n\sum_{k=0}^{n-1}\frac1{\binom{n-1}k}=\sum_{k=1}^n\frac1{k2^{n-k}}...
- 43.2k
17
votes
2
answers
1k
views
The GCD-matrix: generalizing a result of Smith?
Let $M$ be the $n\times n$ matrix, known as the GCD matrix, of entries $M_{ij}=\gcd(i,j)$. In the paper
H J S Smith, On the value of a certain arithmetical determinant, Proc. London Math. Soc. 7:208-...
- 43.2k
15
votes
4
answers
3k
views
No Tonelli or Fubini
Whenever we can interchange summation (perhaps due to Tonelli-Fubini), good things happen. Otherwise, one has to struggle evaluating double sums in just one way, because the alternative results in a ...
4
votes
0
answers
392
views
On nearby cycle sheaves and a 2-fibered product of topoi
In SGA7 Exposé XIII, Deligne introduces an algebraic theory of nearby cycle sheaves and vanishing cycle sheaves on schemes over the $S$, where $S$ is the spectrum of a Henselian discrete valuation ...
- 181
9
votes
0
answers
409
views
The proof of Kazhdan's density theorem (And does it hold over positive characteristic?)
When proving identities about traces of functions on representations of $p$-adic groups, Kazhdan's density theorem indicates one only has to check equalities of traces on tempered representations. ...
- 181
6
votes
3
answers
433
views
is this a familiar gen. fn. for partitions?
The $2$-adic valuation of $n\in\mathbb{N}$, denoted $\nu(n)$, is the largest power $t$ such that $2^t$ divides $n$. The number of integer partitions of $n$, denoted by $p(n)$, has generating function
...
- 43.2k