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)

1
vote
0answers
79 views

Sparse sets of numbers with the Goldbach property

Let's say that a subset $A$ of $\mathbb{N}$ has the Goldbach property if every even number $\geq4$ is the sum of two numbers of $A$. Are there any results and examples of low density sets with these ...
2
votes
1answer
140 views

integral basis for the Lie algebra of the Neron model of an abelian variety

Let $A$ be an abelian variety over a number field $K$. Let $\mathcal{A}$ be the Neron model of $A$ over $O_K$. Let $\Omega_{\mathcal{A}/O_K}$ be the sheaf of invariant differential forms on ...
10
votes
0answers
190 views

Are there integral representations of the Mertens constant?

It is well-known that the Euler constant $\gamma=\lim\limits_{n\to \infty}\biggl( \sum\limits_{k\le n}\dfrac{1}{k}-\ln{n}\biggr ) $ has a bunch of integral representations, e.g. ...
4
votes
1answer
216 views

Permutation polynomials mod $p$ of the form $(x+1)^n-x^n$

Among some permutation polynomials I've been studying, $f(x)=(x+1)^n-x^n$ is one of the polynomials that I cannot grasp. Question : For a given odd prime $p$, how can we find every positive ...
0
votes
0answers
81 views

Polynomial congruences with respect to a large prime (power)

Suppose that $f(x) \in \mathbb{Z}[x]$ is a polynomial of degree $d$ such that for all primes $p$, there exists $x_0 \in \mathbb{N}$ such that $p^2 \nmid f(x_0)$. Further, suppose that $f$ is ...
5
votes
1answer
289 views

A set of integers whose factorial can be written as a product of two factorials

I am trying to collect informations concerning the set $$\mathcal{A}=\left\{n\in\mathbb{N} \mid (\exists k,l\in\{2,3,\dots,n-2\})(n!=k!l!)\right\}.$$ It seems not much is known about the set ...
1
vote
2answers
537 views

Numbers greater than Skewes's whose existence can be found in number theoretic proofs

Skewes has proved (without assuming RH) that $\pi(x)<Li(x)$ is violated below $e^{e^{e^{e^{7.705}}}}$ which is clearly a very large number.I was wondering if somewhere else some greater number than ...
11
votes
0answers
223 views

Most discriminants are almost squarefree

Write, for $f(x) = x^d + a_2 x^{d-2} + \cdots + a_d\in \mathbb{Z}[x]$, $H(f) := \max(|a_i|^{\frac{1}{i}})$. Does anyone know of a reference that would allow me to show that the proportion of $f$ with ...
-3
votes
1answer
279 views

Asymptotic formula for $\prod_{p\leq x} (1-p^{-1})$ [closed]

Does there exists a good asymptotic formula for $$A(x) := \prod_{p\leq x}(1-\frac 1p).$$ By using a heuristic argument one can guess: $$A(x) \sim \frac{1}{2\,\mathrm{ln}(x)}.$$ Here is the ...
8
votes
2answers
571 views

Sum of consecutive cubes

I'm investigating when the sum of $n$ consecutive cubes equals a cube, i.e., for which $n$ does $$\sum_{i=0}^{n-1} (k+i)^3 = k^3 + (k+1)^3 + \cdots + (k+n-1)^3 = Y^3 $$ have nontrivial solutions ...
7
votes
2answers
359 views

Averages over integer points of the sphere

A paper of William Duke proves that integer points on the sphere are equidistributed: $$ V_n = \{ (x,y,z) \in \mathbb{Z}^2 : x^2 + y^2 + z^2 = n \}. $$ Up to reflections across the $x$, $y$ and $z$ ...
3
votes
1answer
206 views

Dihedral extension of 2-adic number field

Sorry if the question is too long and maybe elementary. I am reading a paper by Hirotada Naito on "Dihedral extensions of degree 8 over the rational p-adic fields". To generate dihedral extension ...
16
votes
2answers
414 views

Variety acquiring rational point over any quadratic extension

Does there exist a variety $X$ over $\mathbb{Q}$ (or a number field) such that it has no rational points over $\mathbb{Q}$ but acquires points over any quadratic extension $\mathbb{Q}(\sqrt{d})$? If ...
6
votes
0answers
123 views

Degenerate linear recurrence sequences

Let $(u_n)_{n \geq 0}$ be a linear recurrence given by $$u_n = a_1 u_{n-1} + \cdots + a_k u_{n-k} \quad \forall n \geq k ,$$ where $u_0, \ldots, u_{k-1}, a_1, \ldots, a_k \in \mathbb{Z}$. We recall ...
1
vote
0answers
99 views

dimension of a scheme and degree of an L-function [closed]

I try to understand correctly the notion of scheme, as Serre in the second volume of his Oeuvres defines zeta and L-functions in this context. What seems interesting to me is that he states a theorem ...
1
vote
0answers
164 views

On Descartes / spoof odd perfect numbers

Descartes, Frenicle, and subsequently Sorli, conjectured that $k = 1$, if $N = {q^k}{n^2}$ is an odd perfect number given in Eulerian form (i.e., $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and ...
6
votes
0answers
142 views

Asymptotics of the multipartition function

Recall that the multipartition function $p_k(n)$ counts the number of $k$-tuples of partitions $\lambda^1,\ldots,\lambda^k$ of numbers $a_1,\ldots,a_k$ with $a_1+\cdots+a_k=n$. It has a generating ...
1
vote
0answers
125 views

Experimentation with partial Euler products

Richard Mathar $[1]\& [2]$ shows that \begin{align} &\zeta_{2}(s)\equiv\prod_{\Omega(n)=2}^{}\left(\dfrac{1}{1 - n^{s}}\right)^{-1}=\exp \left(\sum _{k=1}^n \frac{P(k s)^2+P(2 k s)}{2 ...
3
votes
0answers
168 views

Primes in integral domains

Let $\mathcal O_{\mathbb K}$ be the ring of integers in a number field $\mathbb K$. It is easy to prove that the number of (non-associated) primes in $\mathcal O_{\mathbb K}$ is infinite. On the other ...
1
vote
0answers
149 views

Density of numbers whose prime factors all come from a fixed congruence class

Let $q$ be a positive integer greater than one, and let $a$ be an integer such that $\gcd(a,q) = 1$. Define $$D(a,q) = \{n \in \mathbb{N} : p | n \Rightarrow p \equiv a \pmod{q} \}.$$ Do we know the ...
0
votes
0answers
37 views

Embedding rational simple algebras in the real quaternions [duplicate]

Is there any way to embed a rational division algebra of dimension higher than 4 over its center in the real quaternions ? I think not, but I cannot prove it.
9
votes
1answer
421 views

Regularized sums of Mobius sequence

Do $\lim_{s \rightarrow \infty} \sum_{n \geq 1} \mu(n) e^{-n/s}$ and $\lim_{s \rightarrow \infty} \sum_{n \geq 1} \mu(n) e^{-n^2/s^2}$ both equal $-2$? Experimentally this seems plausible (up through ...
5
votes
1answer
433 views

Group laws in class field theory

In the case of a quadratic imaginary number field one can construct its maximal abelian extension using torsion points of an elliptic curve with complex multiplication by this field. In the case of a ...
6
votes
1answer
436 views

Adding sets not containing arithmetic progressions of length three by forcing

Consider the following forcing notion: conditions in $\mathbb{P}$ are pairs $(s, N),$ where: 1) $s\in 2^{<\omega}$, 2) $N\in \mathbb{N}$, 3) (by identifying $s$ with a subset of $lh(s)$) $s$ ...
0
votes
0answers
62 views

separating parameters in generalized quadratic Gauss sum

The normalized generalized quadratic Gauss sum is defined by $$ G(a,b,c)=\frac{1}{c}\sum_{n=1}^ce\left(\frac{an^2+bn}{c}\right) $$ where $e(x)=\exp(2\pi ix)$. Under what conditions on $c$ can we ...
3
votes
0answers
130 views

Application of Stickelberger's Theorem to Quadratic field

I am trying to understand a proof of the Kronecker-Weber Theorem by Franz Lemmermeyer,[http://arxiv.org/pdf/1108.5671.pdf] in which he uses Stickelberger's Theorem applied to Kummer extensions. I can ...
9
votes
0answers
312 views

Can an abelian variety/Q have no non-trivial points over Q_sol?

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial? This follows from the conjecture that the maximal ...
5
votes
1answer
175 views

Symmetry type of non-cohomological automorphic forms

By Katz-Sarnak philosophy a family of $L$-functions would have a symmetry type which would reflect the statistics of $L$-functions, such as low lying zeros and moments. Shin-Templier's paper on ...
5
votes
2answers
553 views

How close to an integer can a polynomial root be?

Suppose I have a polynomial $p(x) = a_n x^n + ... + a_0$ where $a_n, \dots, a_0$ are integers. I would like to show that any root of this polynomial is either an integer or is far from an integer. ...
2
votes
1answer
306 views

Is anything like $\phi(n)>\dfrac n{e^\gamma\log\log n},\ \sigma(n)<e^\gamma n\log\log n$ known/conjectured for the generalizations of these functions?

Is anything like $\dfrac n{\phi(n)}<\dfrac{\sigma(n)}n<e^\gamma\log\log n$ known/conjectured for the generalizations of these functions? Let $n=p_1^{a_1}\cdots p_t^{a_t}$ be the canonical prime ...
1
vote
0answers
115 views

Averages of $L(s,\chi)$

Let $(\frac{m}{n})$ denote the usual quadratic Jacobi symbol. What is the abscissa of convergence of the double Dirichlet series ? $$ \sum_{\substack{m,n \in \mathbb{N} \\ \gcd(m,n)=1 \\m,n\equiv 1 ...
1
vote
1answer
98 views

Q(\sqrt{-l_0}) satisfies Heegner hypothesis for an Elliptic curve of conductor C implies C is a square

Trying to understand the proof of Corollary 2.3 in the following paper, http://arxiv.org/pdf/1312.3884.pdf I would like to be able to justify that the root number of the quadratic twist ...
7
votes
1answer
229 views

Geometric interpretation of Cusps for general groups?

Let $\mathrm{G}$ be a reductive group over a number field $F$, but for simplicity we can think about $\mathrm{G}=\mathrm{GL_n}$ for $n>2$ and $F =\mathbb{Q}$. Then for an automorphic form, ...
5
votes
0answers
241 views

The $\ell = p$ case of Ihara's lemma

Let $N \ge 1$ and let $\ell$ and $p$ be primes not dividing $N$. The classical Ihara lemma says that if $Y_1(N, \ell)$ is the modular curve attached to the subgroup $\Gamma_1(N) \cap \Gamma_0(\ell)$, ...
4
votes
1answer
218 views

Irrationality of Dedekind zeta values

For Riemann's zeta function, one knows that: $\zeta(2n)$ is irrational (because a rational multiple of $\pi^{2n}$ is) $\zeta(3)$ is irrational (proved by Apéry) and a few other results like "there ...
3
votes
0answers
102 views

Euler series with milder divergence

Theorema 19 in Euler's memoir "Variae observationes circa series infinitas" says The sum of the reciprocals of the prime numbers is infinitely great but is infinitely times less than the sum of the ...
4
votes
2answers
241 views

Bound on a scaled sum of the Liouville function

Terence Tao has shown see his blog post that $$\left| \sum_{n\leq x} \frac{\mu(n)}{n} \right|\leq 1,$$ for $x$ a positive real number, where $\mu(n)$ is the Möbius function. Let $\lambda(n)$ denote ...
7
votes
2answers
554 views

Most dense subset of numbers that avoids arbitrarily long arithmetic progressions

The famous Green-Tao theorem says that there exist arbitrarily long sequences of primes in arithmetic progression. I am wondering: How dense can a subset $S \subset \mathbb{N}$ be and still avoid ...
0
votes
0answers
117 views

injective homogeneous polynomial functions $p(x,y) \in \mathbb{Z}[x,y]:{\mathbb{N}}^2 \to \mathbb{N}$

Related to this question Coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$ I have the following question: What is the set of homogeneous polynomials ...
1
vote
0answers
141 views

Coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$

I want to prove that $\forall n \in \mathbb{N}$ at least one of the Fourier coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$ is striclty greater than ...
11
votes
2answers
458 views

What is the Hausdorff dimension of this fractal?

Let $\sum_{i=h}^\infty d_i/b^i $ be the base $b$ representation of $x \geq 0,$ where $b>1$ and the $d_i$ are uniquely determined by the greedy algorithm. For fixed $c>1,$ let $f(x)= ...
2
votes
0answers
89 views

Best constant for Maier's theorem?

Maier proved that, for fixed $\lambda>1,$ $$ \limsup_{x\to\infty}\frac{\pi(x+\log^\lambda x)-\pi(x)}{\log^{\lambda-1}x}>1 $$ and in particular $$ \limsup_{x\to\infty}\frac{\pi(x+\log^\lambda ...
18
votes
1answer
647 views

Why would the roots of the generating functions of the number of k-almost primes less than x have negative real parts?

Specifically, I find it appealing to count only squarefree numbers having $k$ prime factors, so I define $$\pi_k(x)=\#\{n\leq x: \omega(n)=k;\mu(n)\neq0 \}$$ and consider the generating functions ...
1
vote
2answers
332 views

Examples that the Fermat-Catalan conjecture does not cover

The Fermat-Catalan conjecture states that there are only finitely many sex-tuples $(a, b, c, d, e, f)$ of positive integers such that (1) $a^d + b^e = c^f$, (2) $\gcd(a, b, c) =1$, (3) ...
2
votes
1answer
136 views

Irreducibility of Faulhaber-like Polynomials over $\mathbb Q[x]$

Motivation: Inspired by the famous Faulhaber polynomials $F_k(N)=\displaystyle\sum_{n=0}^Nn^k,$ I decided to study their alternating versions, $\Phi_k(M)=\displaystyle\sum_{n=0}^M(-1)^nn^k$. For ...
4
votes
1answer
285 views

Square-free grows as $6n/\pi^2$: $k$-th free?

The asymptotic number of square-free numbers $\le n$ is $Q(n) = 6n/\pi^2 + O(\sqrt{n})$. Because $\zeta(2)=\pi^2/6$, $Q(n) \approx n/\zeta(2)$. OEIS A004709 says that cube-free numbers have ...
3
votes
1answer
268 views

Invertibility of a matrix whose entries are certain binomial coefficients

Let $l$ be a positive integer. Does the matrix $$ M_l \ := \ \left( \binom{l-(2p+1)}{j} \right)_{0\leq p,j \leq[(l-1)/2]} $$ have nonzero determinant?
1
vote
1answer
246 views

Is there a non-tempered representation of U(2)?

I am wondering why the first well known example of non-tempered irreducible admissible representation of $p$-adic group $U(n)$ should be $U(3)$. Because, Gelbart and Rogawski suggested the ...
9
votes
2answers
836 views

What is $\sum_{i=0}^{n}\binom{n}{i}^3$?

We know that $$\sum_{i=0}^{n}\binom{n}{i}=2^n$$ and that $$\sum_{i=0}^{n}\binom{n}{i}^2= \binom{2n}{n}$$ what about $$\sum_{i=0}^{n}\binom{n}{i}^3$$ ?
6
votes
1answer
209 views

When are toral orbits in buildings the difference of fixed-sets?

Let $L$ be a $p$-adic field, let $G$ be a reductive group over $L$ (I'm even okay assuming semisimplicity for now). Let $T$ be a maximal torus of $G$. Let $B$ be the building for $G(L)$. (Edit 1: ...