Tagged Questions

Prime numbers, Diophantine equations, analytic number theory, algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

learn more… | top users | synonyms (1)

3
votes
1answer
137 views

Is $p$ is square modulo $F_p$ when $p=4k+1 > 5$?

$F_n$ are the Fibonacci numbers. In On computing factors of cyclotomic polynomials p.1 for odd square-free $n>1$ the cyclotomic polynomial $\Phi_n(x)$ satisfies: $$ 4 \Phi_n(x)=A_n(x)^2 - ...
0
votes
0answers
63 views

solving system of equations like Goormaghtigh equation

I will be so thankful for any comment about solving the following system of equations. Could some one find a result for the following or prove that it has no solution? (MATLAB software could not find ...
4
votes
1answer
218 views

A central limit theorem for a trigonometric series involving primes

In some recent work I found I needed to prove a central limit theorem for the interesting series: $\sum_{n=1}^\infty \cos (u \log p_n) $ where u is a random variable uniform on the interval ...
4
votes
3answers
487 views

Is $\lceil \frac{n}{\sqrt{3}} \rceil > \frac{n^2}{\sqrt{3n^2-5}}$ for all $n > 1$?

An equivalent inequality for integers follows: $$(3n^2-5)\left\lceil n/\sqrt{3} \right\rceil^2 > n^4.$$ This has been checked for n = 2 to 60000. Perhaps there is some connection to the ...
1
vote
1answer
112 views

Tower-of-squares sequence divides linear recurrent A001921 sequence?

Let $(a_n)$ be the A001921 sequence $$ a_0 = 0,\ a_1 = 7, \quad a_{n+2} = 14a_{n+1} - a_n + 6. $$ Let $(b_k)$ be the (almost)"tower-of-squares" sequence defined by $$ b_0=2, \quad ...
5
votes
0answers
161 views

On a claim of Deligne about representations of Weil-Deligne groups

In Deligne's article 'Les constantes des equations fonctionelles des fonctions L' http://publications.ias.edu/sites/default/files/Number20.pdf, we find the following claim: Proposition 8.9 (ibid.): ...
5
votes
3answers
339 views

Asymptotic formulas for Monster-related modular functions?

Define the following, $$j(\tau) = \Big(\tfrac{E_4(\tau)}{\eta^8(\tau)}\Big)^3 = {1 \over q} + 744 + \color{blue}{196884} q + 21493760 q^2 + 864299970 q^3 + \cdots \tag{1}$$ $$j_{2A}(\tau) ...
3
votes
0answers
118 views

Computing local volumes : the case of Hecke p-adic subgroups

I am quite interested in knowing how to compute some volumes of groups defined on local fields $K$, mainly in order to evaluate the identity term in trace formulas. It is something well done in the ...
11
votes
1answer
806 views

Is a number field uniquely determined by the primes which split in it?

Let $K/\mathbb{Q}$ be a number field. We say that a rational prime $p$ splits in $K$ if there exists a prime $\mathfrak{p}$ of $K$ above $p$ of interia degree $1$. Is a number field $K$ ...
4
votes
0answers
108 views

When is the ratio of Jacobi theta functions algebraic?

Probably this is well known. $\theta_2$ and $\theta_3$ are Jacobi theta functions as defined in mathworld (31) and (32). For natural $n$ define $$ f(n) = ...
4
votes
1answer
131 views

Asymptotic behaviour of $K$-Bessel function in transition range

It is known that the famous mistake of Iwaniec-Sarnak in their paper of $L^\infty$ norm of eigenfucntion of non-cocompact arithmetic surfaces in lemma (A1) is because of they did not consider the bump ...
0
votes
0answers
92 views

Lower bound on number of smooth values of polynomial at primes

Given a polynomial $f$, it is known believed that the number of smooth values of $f$ has a positive proportion (for fixed $u$, $\lim_{X\rightarrow\infty} \frac{|\{ n < X\ :\ f(n)\ is\ X^u\ smooth ...
2
votes
1answer
117 views

DL-problem on abelian variety

Let $A$ be an abelian variety over $\mathbb{F_q}$ with dimension $n$. Let $q$ be a constant. Is there polynomial algorithm of finding discrete logarithm in $A$? UPD: really I don't undestend: can we ...
1
vote
0answers
116 views

Simultaneous vanishing of convolutions of Mertens function with itself

By Landau's theorem on Dirichlet series, we know that all the step functions ($k\geq 1$) $$M_k(x)=\frac{1}{2\pi i}\int^{2+i\infty}_{2-i\infty}\frac{x^sds}{\zeta^k(s)s}=\sum_{n\leq ...
10
votes
2answers
443 views

Faltings height in short exact sequences

Let $K$ be a number field and $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ a short exact sequence of abelian varieties over $K$. Let $h(A)$ denote the logarithmic Faltings height ...
10
votes
1answer
380 views

Parity of the Prime Counting Function

I am interested in the distribution of the parity of $\pi(x)$, the prime counting function, over the natural numbers. Let: $\ \ E_n := \left\{ k \in \left\{1,\dots,n\right\} : \pi(k) \equiv 0 \mod 2 ...
14
votes
1answer
355 views

Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_1(p)$ be the fine moduli space representing ...
2
votes
0answers
132 views

Argument againts the $abcd$ conjecture with extra gcd conditions

Got an argument and numerical support againts the $abcd$ conjecture with extra gcd conditions (observe that this is different from the $abc$ and the $abcd$ conjectures). This thesis p. 20 defines the ...
5
votes
0answers
151 views

The sum of all the elements of every non empty subset of $A$ is not a multiple of $n$

Let $N=\{1,2,\ldots ,n\},n>1$. We wish to construct a set $A\subseteq N$ with the property: The sum of all the elements of every non empty subset of $A$ is not a multiple of $n$. ...
2
votes
0answers
95 views

Tensor product of two elements of the Selberg class

Maybe too easy a question for most members of this site, but suppose whenever $F$ and $G$ belong to the Selberg class, then so does $F\otimes G$ where the considered tensor product of $F$ and $G$ is ...
0
votes
1answer
111 views

A conjectural convergence condition for a weakened Elliott-Halberstam conjecture

For $a$ and $q$ positive integers such that $a\lt q$ and $(a,q)=1$, let $\pi(x;q,a)$ be the number of primes $p\equiv a\pmod q$ below $x$. One can show that $\pi(x;q,a)\sim \dfrac{\pi(x)}{\varphi(q)}$ ...
10
votes
0answers
196 views

Why $\gcd \{ {\rm ord}_p(q)\colon q\mid p-1 \}$ likes to be large?

For a prime $p$, let $F_p$ denote the greatest common divisor of the orders modulo $p$ of all prime divisors of $p-1$: $$ F_p = \gcd \{ {\rm ord}_p(q)\colon q\mid p-1 \}; $$ thus, for instance, ...
6
votes
1answer
271 views

Cusps forms for $\Gamma (N)$

I know how to build a basis of the vector space of cusp forms for the congruence subgroups $\Gamma_1 (N)$ and $\Gamma_0 (N)$, but I couldn't find in the literature how to build a basis for ...
2
votes
0answers
84 views

Orders of Clifford algebra

Let $C_n$ be the Clifford algebra over $\mathbb{Q}$ associated to negative definite quadratic form $-I_n$ (i.e. $-x_1^2-\dots-x_n^2$). Let $\mathcal{O}$ be a $\mathbb{Z}$-order of $C_n$. Q1) Is it ...
13
votes
1answer
632 views

Proving the Irrationality of this Number

I found this problem on Math.SE: Prove that $\log_35+\log_25$ is irrational. http://math.stackexchange.com/q/986227/173397. I labored on it for a few days, and couldn't find an algebraic ...
0
votes
1answer
230 views

Is there a formula that can predict the primes in the sequence of ratios of consecutive superior highly composite numbers? : $2, 3, 2, 5, 2, 3, 7,…$

This is the sequence of prime numbers which are the elementary building blocks for the superior highly composite numbers: $2, 3, 2, 5, 2, 3, 7, 2, 11, 13, 2, 3, 5, 17, 19, 2, 23, ...$ The $n^{th}$ ...
1
vote
1answer
139 views

About Section 4.2 in 'introduction to the spectral theory of automorphic forms' by Iwaniec

In Section 4.2 in 'introduction to the spectral theory of automorphic forms' by Iwaniec, the author said that the kernel of the invariant integral operator $$ (Lf)(z)=\int_{\mathbb{H}}k(z,w)f(w)d\mu w ...
14
votes
0answers
487 views

Positive binary quadratic form plus univariate monic cubic (giving Hilbert class field)

We have the Lucas numbers, $$ L_1 = 1, \; L_2 = 3, \; L_3 =4, \; L_4 = 7, L_5 = 11, \; L_{n+2} = L_{n+1}+ L_n \; . $$ Question: is it the case that $$ f(x,y,z) = 4 x^2 + 3 x y + 9 y^2 + z^3 + 3 z ...
7
votes
2answers
361 views

Visibility interpretation of Riemann zeta zeros on the critical line?

This is a long shot, but ... The fraction of $\mathbb{Z}^2$ lattice points visible from the origin $1/\zeta(2)=6/\pi^2 \approx 61$%. The fraction of $\mathbb{Z}^3$ lattice points visible from the ...
1
vote
0answers
95 views

Skew symmetry for the Hilbert symbol

Let $K$ be a local field containing the group $\mu_n$ of $n$th roots of 1 and the $\theta_K:K^*\to G_K^{ab}$ be the reciprocity map. The we know that the Hilbert symbol $$K^*\times K^*\to \mu_n$$ ...
4
votes
3answers
342 views

Textbook request for class field theory [duplicate]

I am studying class field theory. I need good reference books, notes, or other materials which explain the following topics: ideles and ideals, Haar measure and integration on local fields, Fourier ...
8
votes
0answers
847 views

The zeta function and classical mechanics

In this paper, Guilherme França and André LeClair show that $$\gamma_{y}\sim 2 \pi \left(y-11/8\right)/W\left((y-11/8)e^{-1}\right)$$ where $W$ is the Lambert W function, and $\gamma_{y}$ is the ...
2
votes
0answers
123 views

Effective version of the Bombieri-Vinogradov theorem

Is there an effective version of the Bombieri-Vinogradov Theorem, in that have bounds on the implied constant been found?
5
votes
1answer
267 views

Is there a simple proof that Milnor $K_2$ of a number field is torsion?

This is a theorem of Garland. I had a look at the original paper which looks pretty complicated. I was wondering if the proof has been simplified over the years or if a different approach is nowadays ...
2
votes
1answer
224 views

Can the Gaussian integers be covered by restricted recurrences?

Relaxation of the second question here. Let $a(n)$ be recurrence of the form $a(n)=f(n,a(n-1)\ldots(a(n-k))$ with fixed initial terms. (Observe that it might depend on $n$). $f$ may contain ...
2
votes
0answers
183 views

What would be the consequences of $\displaystyle{\lim\inf_{n\to\infty}p_{n+k}-p_{n}\sim k\log k}$?

The question is in the title: what would be the number theoretic consequences if we managed to establish the conjectured asymptotic equality $\displaystyle{\lim\inf_{n\to\infty}p_{n+k}-p_{n}\sim k\log ...
3
votes
1answer
246 views

Question on effective Mordell conjecture

Suppose $F(x,y,z)$ is a homogeneous polynomial over $\mathbb{Q}$, where $C:F(x,y,z)=0$ is a curve of genus $g\geq 2$. Question: Faltings proved that $C$ has finite many rational points. Suppose that ...
6
votes
1answer
231 views

Polynomial recurrence relation covering the integers (and then Gaussian integers)

Say that a polynomial recurrence relation (my terminology) for $f_i$ is: $k$ initial conditions setting $f_1,\ldots,f_k$ to integers ($\in \mathbb{Z})$. A recurrence equation of the form $f_i =$ a ...
6
votes
1answer
124 views

Number of orbits of $\mathrm{SL}_2(\mathcal O_A)$ on $\mathbf P^1(A)$ when $A$ is a quaternion algebra

This is a reference request. Let $A$ be an anisotropic quaternion algebra over $\mathbf Q$. Let $\mathcal O_A$ be a maximal order in $A$. Then $\mathrm{SL}_2(A)$ acts transitively on the right on ...
4
votes
1answer
169 views

A lower bound on the $L^2$ norm of a Dirichlet polynomial

The Question. Suppose $0 < \alpha < \beta$ are fixed, and $a_n$ is an arbitrary sequence of real numbers. Is it known how to bound from below \begin{equation*} \int_0^{T} \Big| \sum_{\alpha T ...
6
votes
3answers
399 views

$j$-invariants of elliptic curves over finite fields

Let $K$ be a finite field, and $\overline{K}$ its algebraic closure. It is well known that two curves are isomorphic over $\overline{K}$ if and only if they have the same $j$-invariant. If two such ...
16
votes
4answers
1k views

Is every number the sum of two cubes modulo p where p is a prime not equal to 7?

If p is a prime other than 7, can every integer be written as sum of two cubes modulo p? Has Waring's problem mod p for cubes been proved simply and directly? Thanks for your proof. Lemi
0
votes
0answers
50 views

2x3 = 5+1 AND 2+3 = 5x1. How many other examples of this type? [migrated]

I noticed the following: 2x3 = 5+1. If you switch the operators, it is still true: 2+3 = 5*1. There is another obvious/trivial example where you can swap the operators: 2x2 = 2+2. I think these ...
1
vote
1answer
64 views

Does restriction to an open subgroup preserve projective smooth representations?

Let $G$ be a locally profinite group and $K \le G$ an open subgroup. Does the restriction functor $\mathrm{Res}^G_K$ from the category of smooth $\mathbb{C}$-linear representations of $G$ to smooth ...
2
votes
2answers
189 views

Compact induction as a tensor product

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ ...
1
vote
1answer
131 views

trigonometric sum and inequalities

let $x\in\mathbb{R}-\mathbb{Z}$ and $e(x)=e^{2\pi ix}$. If we have this sum $$\left|\overset{q}{\underset{h=1}{\sum}^{*}}e\left(h\, x\right)\underset{\underset{p\equiv h\,\textrm{mod}\, q}{p\leq ...
0
votes
0answers
55 views

Studies of Specific Kinds of Beurling Primes?

I know that Beurling developed a notion of generalized primes (and integers. However, does anyone know if Beurling, or anyone else, studied subclasses of the broader class of Beurling primes that ...
5
votes
1answer
158 views

The sixth power integral moment of automorphic L-function attached to Maass Forms

It is known that the sixth power integral moment of automorphic L-function attached to Cusp Forms has been proved by M. Jutila, that is $\int_{0}^{T}|L(1/2+it,f)|^{6}dt \ll T^{2+\varepsilon}$. And ...
1
vote
0answers
106 views

Equations over $\mathbb{Z}[[T]]$ vs. equations over $\mathbb{Z}_p$

This question might be deemed totally unanswerable, unless there is an obvious counterexample. Answers to either effect would be welcome. Question. Let $X$ be a finite-type scheme over ...
5
votes
1answer
265 views

Parity of primes [duplicate]

While working on a completely different (combinatorial) problem, I ran a simple program to calculate the parity of the first ~50000 primes (number of 1s in their binary representation modulo 2). The ...