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)

2
votes
2answers
183 views

Bound on exponential sum with weights

Let $e(z)$ denote $e^{2 \pi i z}$ and let $f(z)$ a smooth real function. I know one can bound sums of the form $$ \sum_{x \leq X} e(f(x)) $$ via for example Van der Corputs's result, provided we make ...
1
vote
0answers
76 views

Is there a general connection between value distribution and zero distribution for functions representable by Dirichlet series?

Some time ago I read part of a book in which the author made some conjectures outlining what kind of zero distribution is expected for functions representable by Dirichlet series with completely ...
1
vote
0answers
117 views

Questions on prime integral ideal congruences

Suppose that we are given a fixed pair $a_1, a_2$ of non-zero irrational algebraic integers in some number field $K$ which are independent over $\mathbb{Q}$. Suppose that $\mathcal{P}$ is a prime ...
1
vote
0answers
92 views

Functoriality for non-split orthogonal groups

I am trying to understand the functoriality conjectures of Langlands. We know that the functoriality conjectures imply that automorphic $L$-functions of a connected reductive group are equal to ...
4
votes
1answer
207 views

Isomorphisms between spaces of test functions and sequence spaces

I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...
4
votes
0answers
184 views

Generating Function of distinct way of partitioned square sums of positive integers

Let's define a function $p_2(n)$ that it is total distinct way to write $n$ positive integer as sum of square of positive integers. For example, $9$ can be partitioned as sum of squares in 4 distinct ...
0
votes
0answers
69 views

Nilpotent differential operators

I am reading Dwork's book an Introduction to G-Funcions and confronted with a problem. In section 2, chapter III (page 81), he assumes that $\mathscr F=K(X)$ the field of rational functions with ...
3
votes
1answer
257 views

Sum of two squares and implication of Bunyakovsky conjecture

Bunyakovsky conjecture states that a polynomial with integer coefficients takes infinitely many prime values at integers, unless this is impossible for trivial reasons. Let $a_1(x), a_2(x), a_3(x), ...
13
votes
1answer
442 views

References for $K_{4k}(\mathbb{Z})$

Weibel's "Algebraic K-theory of rings of integers in local and global fields" says $K_{4k}(\mathbb{Z})$ are known to have odd order, with no prime factors less than $10^7$, but are conjectured to be ...
2
votes
2answers
323 views

Rate of convergence of an irrational rotation

Let $\alpha, \beta \in \mathbb{R}$. Let $\{x\}$ denote the fractional part of $x$ and let $\|x\| = \min(\{x\}, 1-\{x\})$. If we assume that $\alpha$ is irrational, then there exists an increasing ...
3
votes
1answer
179 views

Thin sets that are well-distributed over arithmetic progressions?

The primes do a nice job of intersecting an arithmetic progression $\{a+dn\}_{n=0}^\infty$ when $a$ and $d$ are coprime (see Dirichlet's theorem). I would like a set of integers $S$ such that the ...
0
votes
1answer
191 views

The number of solutions of a Diophantine equation [closed]

Is $\lim_{n \rightarrow \infty} |\{(x,y) \in \mathbb{Q}(\zeta_n)^2 : y^3 = x^3 + x + 1\}| < \infty ?$ where $\zeta_n$ is a primitive $n$-th root of unity. That is, I am asking whether the number ...
2
votes
0answers
170 views

Diophantine equations over cyclotomic fields

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...
3
votes
0answers
81 views

Oscillatory integral moments of $L(\frac{1}{2} + it, f \times f)$

Understanding moments and subconvexity bounds for $L$-functions is a big topic with a lot of activity. I'm currently looking at a related problem, bounding $$ \int_0^T L\left(\tfrac{1}{2} + it, f ...
11
votes
0answers
294 views

What is the expected dimension of the Zariski closure of the rational points on the moduli space of curves?

For each genus $g$, there are many curves of genus $g$ defined over $\mathbb Q$. How many? We might study this question by considering the rational points of the Deligne-Mumford moduli space of curves ...
5
votes
1answer
429 views

Disjoint images of polynomials

Are there any $f,g \in \mathbb{Q}[x]$ such that for every root of unity $\zeta$, and every $a,b \in \mathbb{Q}(\zeta)$, $f(a) \neq g(b)?$
1
vote
1answer
186 views

every arithmetic progression contains a sequence of $k$ “consecutive” primes for possibly all natural numbers $k$?

I ask the same question here:http://math.stackexchange.com/q/1019404/192097 writing a little better the previous question: it´s true that if we let $a$ and $b$ be coprime integers, then the ...
4
votes
1answer
149 views

Voronoi formula and twists by additive characters

I was wondering if there are any references for the error term in the problem $$\sum_{n\leq x} r(n) \exp(2\pi i\frac{a}{q}n)$$ where $r(n)$ is the number of representations of $n$ as a sum of two ...
11
votes
2answers
2k views

How many Pythagorean triples are there in which every member is triangular?

How many Pythagorean triples $(a,b,c)$ are there such that $a, b$ and $c$ are triangular? Any two solutions with only $a$ and $b$ interchanged are considered equivalent. The question of existence ...
4
votes
0answers
141 views

How to check whether a scheme of finite type over Spec Z is regular or not [duplicate]

Let $f_1, f_2, \ldots f_k$ be a set of polynomials in $n$ variables, with integer coefficients. These define an affine scheme $X$ of finite type over $Spec \mathbb{Z}$. (We could also consider ...
2
votes
1answer
156 views

Bound for sums of bounded multiplicative functions that are zero at primes

Let $h:\mathbb{N}\rightarrow\mathbb{C}$ be a bounded multiplicative function with $h(p)=0$. The motivation for this question is just a general enquiry and, since I suppose it has already been ...
0
votes
0answers
124 views

The Diophantine equation $x^2 + bxy + cy^2 = p^z_1 \cdots p^{z_k}$

Let $b,c \in \mathbb{Z}$ and let $p_1,\ldots,p_k$ be given primes. Is there an effective algorithm to find all the solutions of the Diophantine equation $$x^2 + bxy + cy^2 = p_1^{z_1} \cdots ...
1
vote
1answer
147 views

Existence of arithmetic function satisfying a certain property

I was interested in an arithmetic function satisfying a certain property, I am not sure at the moment if such thing even exists or not. But I was wondering maybe I could get some hint or idea or input ...
5
votes
1answer
387 views

Are there infinitely many primes p such that both p-1 and p+1 have at most 3 prime factors, counted with multiplicity?

This is a subsequence of primes $p$ for which $p^2-1$ has at most 6 prime divisors counted with multiplicity. This sequence described in the question is the sequence A079153 in OEIS. I could not ...
0
votes
0answers
46 views

Arguments of Dirichlet coefficients of prime index of primitive elements of the Selberg class

Let $F$ and $G$ be two primitive elements of the Selberg class such that for $\Re(s)>1$, $\displaystyle{F(s)=\sum_{n>0}\dfrac{a_{F}(n)}{n^s}}$ and ...
12
votes
3answers
455 views

For an elliptic curve $E/\mathbb{Q}$ can the cohomology group $H^1(\text{Gal}(\mathbb{Q}(E[p])/\mathbb{Q}), E[p])$ be nontrivial?

Suppose that $E$ an elliptic curve defined over $\mathbb{Q}$ and $p$ an odd prime. Let $G=\text{Gal}(\mathbb{Q}(E[p])/\mathbb{Q})$. I am wondering whether the cohomology group $H^1(G, E[p])$ can be ...
3
votes
0answers
138 views

A Diophantine equation revisited

No integer solution of this Diophantine equation $$x^4+y^4+1=z^2$$ is known other than the trivial ones. While I was reading a paper of Don Zagier, I realized that his idea on the Euler's sum of ...
14
votes
2answers
894 views

Images of polynomials

Let $f,g \in \mathbb{Q}[x]$ be polynomials such that $\{f(a) : a \in \mathbb{Q}\} \subseteq \{g(a) : a \in \mathbb{Q} \}$. Must there be some $h \in \mathbb{Q}[x]$ such that $f(x) = g(h(x))$ for all ...
6
votes
0answers
157 views

Is ${\rm lcm}\{{\rm ord}_p(q)\colon q\mid p-1,\ q>2\}>\sqrt p\ \,$?

The following question is "ideologically related" to the one I recently asked here. For a prime $p$, let $M_p$ denotes the least common multiple of the orders modulo $p$ of all odd prime divisors of ...
9
votes
2answers
264 views

A back and forth Euclidean algorithm over the integers--does it have bounded length?

cLet $a,b,c,d\in \mathbb{Z}$ and suppose we have the equation $ac+bd=1$. One way of thinking about this equation is it expresses the fact $\gcd(c,d)=1$. It is well-known that all other similar ...
3
votes
3answers
404 views

Pairs of quadratic polynomials taking values pairs of consecutive squares

Let $f,g \in \mathbb{Z}[x]$ be quadratic and neither square. For $x,y,z \in \mathbb{Z}$ what is the maximal number of solutions to $f(x)=z^2,g(y)=(z+1)^2$? Solutions are integral points on the genus ...
6
votes
0answers
194 views

A conjecture of Erdos on consecutive differences of primes

Let $d_k = p_{k + 1} - p_k$ be the difference between consecutive primes and define \begin{equation} e_k = \left\{\begin{array}{c l} 1 &, d_{k + 1} > d_k \\ 0 &, \text{otherwise} ...
0
votes
0answers
120 views

Estimating the number of twin primes of given natural configuration order

This question is a follow-up from About Goldbach's conjecture. Let $$\mathrm{Co}_{k}(x):=\{n\le x:\mathrm{ord}_{c}(n):=\pi(\sqrt{2n-3})=k\},~~~\mathrm{co}_{k}(x):=\vert\mathrm{Co}_{k}(x)\vert$$ ...
7
votes
0answers
242 views

Lindelof Hypothesis implying Selberg Eigenvalue Conjecture?

(General) Lindelof Hypothesis which says for any $L$-function we have $$L(1/2+it)\ll Q(t)^{\epsilon}$$ for any $\epsilon>0$ where $Q(t)$ is the conductor of $L(s)$ at $t$. For a Maass form $\phi$ ...
11
votes
0answers
179 views

What's the dimension of the space of CM cusp forms?

I would guess that the following is very well known, but I don't know the answer and I couldn't find anything with some googling. Let $\Gamma \subset \mathrm{SL}(2,\mathbf Z)$ be a congruence ...
-1
votes
1answer
110 views

CD - continuous development

Let K/Q be a galois extension, p an odd prime and L/K a Z_p extension, different from the cyclotomic one. Let H/K be finite abelian and linearly disjoint from L. a) Are there infinitely many primes ...
4
votes
1answer
145 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
67 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 ...
5
votes
2answers
297 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
509 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
118 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
172 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.): ...
6
votes
3answers
364 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
120 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
848 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$ ...
5
votes
0answers
114 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
147 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
95 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
124 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
123 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 ...