All Questions
Tagged with reference-request nt.number-theory
388 questions with no upvoted or accepted answers
8
votes
0
answers
328
views
Asymptotics of A261668
In Uniform Approach to Double Shuffle and Duality Relations of Various q-Analogs of Multiple Zeta Values via Rota-Baxter Algebras, Proposition 10.8, Jianqiang Zhao mentiones the sequence:
$$a_n=\sum_{...
- 10.7k
8
votes
0
answers
335
views
Irreducibility of Galois representations attached to unitary groups
If $G$ is a unitary group in $n$ variables over $\mathbb Q$, attached to an hermitian form for an imaginary quadratic extension $E/\mathbb Q$ and if we suppose that the hermitian form is definite over ...
- 26k
8
votes
0
answers
595
views
A property of supersingular $j$-invariants (reference request)
Edit 2: For those who understandably don't want to read such a long post, I think Voloch's suggestion reduces the problem to asking whether $j$-invariants of supersingular curves are 3rd powers in $\...
- 1,537
8
votes
0
answers
876
views
On Stark's conjecture for imaginary quadratic fields
In the famous paper "L-Functions at s = 1. IV. First Derivatives at s = 0" of Stark from 1980, it is shown that in the case of an imaginary quadratic field $K$ certain numbers of the form $$exp(-\frac{...
- 2,029
7
votes
0
answers
222
views
Projected polar chessboard measure convergence in total variation?
$\newcommand\R{\mathbb R}\newcommand\C{\mathbb C}\newcommand\ga{\gamma}$For natural $n$, let $E_n$ be the set of all points in $\R^2$ with "polar coordinates" $(r,t)$ in the set
$$F_n:=\...
- 128k
7
votes
0
answers
266
views
"Reference Request" for a lecture note by C. Skinner: Galois Representations, Iwasawa Theory, and Special Values of $L$-functions
This was originally posted on math.stackexchange as https://math.stackexchange.com/questions/4589793, where I was suggested to move it here.
I'm searching a lecture note by C. Skinner named "...
- 71
7
votes
0
answers
307
views
Number of rational points over finite fields mod $q$ is birational invariant
I heard that if $\mathbf F_q$ is a finite field, $X, Y$ are birational smooth proper variety over $\mathbf F_q$, then $\#(X(\mathbf F_q)) \equiv \#(Y(\mathbf F_q)) \pmod q$, and I heard that the proof ...
- 988
7
votes
1
answer
707
views
How hard is it to find the first layer of this basic $\mathbb{Z}_p$-extension?
$\DeclareMathOperator\Gal{Gal}$Let $p$ be a prime number and $\zeta_{p^n}$ be a primitive $p^n$-th root of unity. We know that there is a unique subfield $\mathbb{Q}_1$ of $\mathbb{Q}(\zeta_{p^2})$ ...
- 707
7
votes
0
answers
427
views
Is there a name for these kinds of polynomials?
I've come across the following polynomials in my research and I am wondering if they have a name or if there is very much known about them:
\begin{equation}
F_{\chi}(T) = \sum_{a = 1}^{n-1} \chi(a)T^a
...
- 707
7
votes
0
answers
346
views
The space of $p$-adic norms
The 1963 paper by Goldman and Iwahori The space of $p$-adic norms deals with the space of norms on a finite dimensional vector space $E$ over a locally compact complete discrete valuation field $K$. I ...
- 433
7
votes
0
answers
373
views
What is known about "almost orthogonal vectors"?
Motivation:
Suppose we have a kernel $k(a,b)$ defined over the natural numbers.
Then by the Moore–Aronszajn theorem, we can embedd the natural number $a$ in some Hilbert space $\mathbb{H}$, which we ...
user6671
7
votes
0
answers
174
views
A diagonal generating function for Fibonacci: Part II
In my earlier MO question, I mentioned although we have for the Fibonacci numbers that
$$F_n=[x^n]\left(\frac1{1-x-x^2}\right),$$
is there a function $F(x)$ such that $F_n=[x^n]\left(F(x)\right)^n$?
...
- 43.2k
7
votes
0
answers
291
views
What does it mean for a complex valued function on $G(\mathbb A)$ to be smooth (or smooth of compact support)?
Let $G$ be a linear algebraic group over a number field $k$. Let $\mathbb A$ denote the adeles of $k$, $\mathbb A_f$ the finite adeles, and $k_{\infty} = \prod\limits_{v \mid \infty} k_v$. Here are ...
- 6,180
7
votes
0
answers
379
views
Local properties of Galois representations attached to torsion classes
$\DeclareMathOperator{\PGL}{PGL} \DeclareMathOperator{\GL}{GL} \newcommand{\F}{\mathbb{F}} \newcommand{\p}{\mathfrak{p}} \DeclareMathOperator{\Sym}{Sym}$
Let $F$ be a number field, and let $\Gamma$ be ...
- 5,382
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
7
votes
0
answers
786
views
"Forthcoming paper" of Goldston-Graham-Pintz-Yıldırım
The above-named authors of [1] and its (significantly different) published version [2] write:
In a forthcoming paper, we will show how the methods here can be extended to prove corresponding ...
- 9,114
7
votes
0
answers
462
views
Looking for a paper of Hartshorne
In a famous paper
Hartshorne - Varieties of small codimension,
Hartshorne formulates a conjecture, which roughly says that varieties of small codimension in projective space are complete ...
- 21.3k
7
votes
0
answers
694
views
modularity of elliptic curves with cm
I'd like to ask for references on the status of modularity results for elliptic curves with CM which are not necessarily defined over $\mathbb Q$. In the case of an elliptic curve with CM defined over ...
- 2,029
6
votes
0
answers
176
views
Fundamental lemma of sieve theory in function fields
Is there any literature concerning the fundamental lemma of sieve theory in $\mathbb{F}_q[T]$?
In integers there are various versions of the lemma (bases on different sieves); I would be happy with ...
- 14.6k
6
votes
0
answers
200
views
Empirical bounds on $\left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right|$
It is reasonable to expect that $$\left|\frac{\zeta'(1+it)}{\zeta(1+it)}\right| < 2 \log \log t$$
for all $t\geq 4$ (say): a somewhat stronger bound is known for $t\geq 10^{165}$ or so (Theorem 5 ...
- 20.2k
6
votes
0
answers
456
views
Conditions under which an $\eta$-quotient becomes a **weak** modular form (reference request for theorems similar to Ligozat's theorem)
For any $z \in \mathcal{H}$, let $q = e^{2\pi iz}$; and the eta function is defined as
${\displaystyle \eta (q)
=q^{\frac {1}{24}}\prod _{n=1}^{\infty }\left(1-q^{n}\right).}$
By an $\eta$-quotient ...
6
votes
0
answers
149
views
Dickson's conjecture for Beatty sequences
A particular case of Dickson's Conjecture states that for $a_1,q_1,a_2,q_2$ with $(a_1,q_1)=(a_2,q_2)=1$, there are infinitely many $n$ for which $q_1 n + a_1$ and $q_2 n+a_2$ are both prime, provided ...
- 1,990
6
votes
0
answers
346
views
When did the main conjecture in Vinogradov's mean value theorem first appear in literature?
Recently I was asked about the history of Vinogradov's mean value theorem that I was hoping someone here could clarify. Let me first start with some terminology. Let $J_{s, k}(X)$ be the number of $2s$...
- 71
6
votes
0
answers
410
views
Efficient solutions to general Bézout’s identity $a_1 b_1 + \dots + a_n b_n = 1$
Suppose I have integers $a_1, \dots, a_n$ which are coprime, meaning that
$$a_1 b_1 + \dots + a_n b_n = 1$$
has a solution in integers $b_1, \dots, b_n$.
I would like to get a bound saying ...
- 4,164
6
votes
0
answers
333
views
Explicit bounds for the Mertens function
It is a consequence of some forms of the prime number theorem that with $\mu$ the Möbius function, for all $A > 0$, there exists $c_A$ such that for all sufficiently large $x$, $$\frac{1}{x}\sum_{n\...
- 1,890
6
votes
0
answers
465
views
Eisenstein series of Hilbert modular forms
I am reading Shimura's paper "The Special Values of the Zeta Functions Associated With Hilbert Modular Forms" and I do not exactly understand his definition of the Eisenstein series in section 3.
...
- 123
6
votes
0
answers
218
views
Structure theorem for modules over multi-variable Iwasawa algebras
It is well-known that if $\Lambda=Z_p[[X]]$ and $M$ a finitely generated $\Lambda$-module, then $M$ is pseudo-isomorphic to
$$
\Lambda^{\oplus r}\oplus\bigoplus_{i=1}^s\Lambda/(F_i)
$$
for some ...
- 621
6
votes
0
answers
474
views
(In)finitely many natural numbers are not the sum or difference of two perfect powers
Are there infinitely many positive integers which are neither a sum nor a difference of
two perfect powers?
This question was proposed some years ago at KoMaL.
It's easy to see that the odd ...
- 3,153
6
votes
0
answers
261
views
Local character expansion for discrete series representations of $GL_n(F)$
I'm interested about what, if anything, is known about the local character expansion of discrete-series representations of $GL_n(F)$, where $F$ is a $p$-adic field.
First, some notation: let $G$ be a ...
- 1,453
6
votes
0
answers
426
views
Conjectured new primality test for Mersenne numbers
How to prove that this conjecture about a new primality test for Mersenne numbers is true ?
Definition: Let $M_{q}=2^{q}-1 , S_{0} = 3^{2} + 1/3^{2} , \ and: \ S_{i+1} = S_{i}^{2}-2 \pmod{M_{q}}$
...
- 171
6
votes
0
answers
332
views
Criteria for irreducibility using the location of complex roots
I would like to see criteria for the irreducibility of a polynomial over $\mathbb{Z}$ based (mainly) on the location of the roots of the polynomial in the complex plane. An example of such a criterion ...
- 11.3k
6
votes
0
answers
291
views
Legendre polynomials and formal groups
Let $P_n(x)$ be Legendre polynomials:
$$\frac{1}{\sqrt{1-2tx+t^2}}=\sum\limits_{n=0}^{\infty}P_n(x)t^n.$$
Usual arguments from the theory of formal groups allow to
prove that for any $n$
$$P_n(x)=Q_n(...
- 12.3k
6
votes
0
answers
380
views
Large sets not containing arithmetic progressions of length 3 in intervals
Given a large enough natural number $N$, let $\Delta_N=\{A \subseteq [N, 2N]: A$ contains no arithmetic progressions of length $3 \},$ where for natural numbers $N<M$ we have $[N, M]=\{N, N+1, ..., ...
- 32.2k
6
votes
0
answers
408
views
Asymptotic formula for restricted partition function
Let $p(n)$ be the partition function. Hardy and Ramanujan - and Uspensky, independently proved the asymptotic formula
$$(1) \quad p(n) \sim \frac1{4\sqrt{3}} \frac{e^{c_0\sqrt{n}}}{n} \text{ as } n \...
user40023
6
votes
0
answers
733
views
$f(x) \ne g(x)$ but $f(f(x))=g(g(x))$ - is there a name/some discussion of this property?
In the context of iteration of functions I look at the eigenvalues of the associated matrixoperator/Carleman-matrix .
If a function $\small f(x)$ has a negative eigenvalue in its associated ...
- 5,342
6
votes
0
answers
252
views
How big is the Fourier transform of the log of a polynomial over the p-adic numbers
Let $f(z_1,\dots,z_n)$ be a polynomial with $p$-adic coefficients, and let $g(z):=log\lvert f(z) \rvert$. If $\xi$ is a complex character of $\mathbb{Z}_p^n$ there exists a number $v=v(\xi)$ such that ...
- 527
5
votes
0
answers
156
views
Reference Request: Completeness of the space of all Whittaker models(a lemma in JPSS1981)
$\DeclareMathOperator\GL{GL}$There is a lemma in the proofs of local converse theorem stated as
Suppose $F$ is a non-archimedean local field, $\psi$ is a non-trivial addtive character on $F$. $N_n$ ...
- 53
5
votes
0
answers
261
views
Primes generated by cyclotomic polynomials
Let $p$ be an odd prime, and let $f=\Phi_p$ be the $p$-th cyclotomic polynomial. Denote by $S_p$ the set of primes $q$ such that there exists a sequence of primes $p_1,\dots, p_g$ such that $p_1=f(1)=...
5
votes
0
answers
174
views
Effective Hecke Equidistribution
In 1918 and 1920 Hecke introduced his L-functions attached to his Grössencharakteren (Hecke characters) and proved they are equidistributed in a sense to made precise momentarily. One can identify ...
- 177
5
votes
0
answers
100
views
Buchi's conditional proof of the non-existence of finite algorithm to decide solubility of system of diagonal quadratic form equations in integers
I am doing some literature review regarding Buchi's problem. In particular, I am reading the relevant section in this survey paper by Mazur (Questions of Decidability and Undecidability in Number ...
- 26.9k
5
votes
0
answers
131
views
Taking integer values of a sequence of Beurling primes
Let $P=(p_j)_{j=1}^\infty$ be an increasing sequence of real numbers with $1<p_1$ and $\lim_{j\to\infty}p_j=\infty$. As mentioned in [1], Beurling proved that if the multiplicative group $N_P$ ...
- 51
5
votes
0
answers
246
views
Video abstracts for mathematical papers
I recently published a video abstract of a manuscript of mine (number theory), finding that more people are interested in its content than when I uploaded the preprint on arXiv.
Now, my main question ...
- 1,451
5
votes
0
answers
322
views
Approximating $\zeta^{(r)}(s)$ by a sum
Let $\eta:[0,\infty)\to [0,\infty)$ be compactly supported, continuous and piecewise $C^1$, with its derivative $\eta'$ being of bounded variation. It is completely unsurprising that one can prove (...
- 20.2k
5
votes
0
answers
104
views
Exponential sums with monomials with divisor-function coefficients
In their paper "Exponential Sums with Monomials," Fouvry and Iwaniec study exponential sums roughly of the form
$$
\sum_{m_1 \sim M_1} \cdots \sum_{m_r \sim M_r} c_1(m_1) \cdots c_r(m_r) e\...
- 1,990
5
votes
0
answers
524
views
Generalization of Weil Conjectures
is there a reference in English, besides Deligne's original publication: "La conjecture de Weil: II", not synthetic but complete that deals with the original argument of the generalization ...
- 51
5
votes
0
answers
354
views
Modern reference for Andre Weil's 'Sur les courbes algébriques et les variétés qui s'en déduisent'
I'm currently interested in the cardinality of the set of values of a polynomial over a finite field.
I found a paper
Saburo Uchiyama, Sur le Nombre des Valeurs Distinctes d'un Polynome a ...
- 1,013
5
votes
0
answers
194
views
Asymptotic expansion for the average of $\omega(n)^2$
Let $\omega(n)$ be the prime factors counting function. I computed that for any $k\geq 0$, there exist certain constants $c_{-1},c_0,c_1,c_2,...c_k$ such that
$$\sum_{n\leq x}\omega(n)^2=x(\log\log x)...
5
votes
0
answers
156
views
Reference Request: Cohomology and limits of coherent topoi. (Non-abelian case)
SGA 4 VI Discusses finiteness conditions one can impose on topoi to make limits behave correctly. I am not that familiar with SGA but it is my impression that this expose only discusses abelian ...
- 435
5
votes
0
answers
161
views
A relation concerning the "sum of squares" counting function $r_2(n)$
This is a re-post from MSE as I did not get any response there.
Let $r_2(n)$ denote the number of ways in which a positive integer $n$ can be expressed as the sum of squares of two integers. Here ...
- 2,249
5
votes
0
answers
268
views
Reference Request on logarithm derivative of L-functions
I'm looking for references that show almost all Dirichlet characters $\chi \mod q$ satisfy
$$|\frac{L'}{L}(1+it, \chi)|=o(\log q)$$
where $t\in \mathbb{R}$ is fixed. I have been able to adapt a method ...
- 51