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)

0
votes
0answers
7 views

A sum involving both the Mobius function and the Mertens function

$\ \ $I'm trying to find the estimation of the following complex integral: \begin{align*} M^*(x):=\frac{1}{2\pi i } \int_{\gamma-i\infty}^{\gamma+i\infty} ...
5
votes
0answers
64 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
1answer
79 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 ...
1
vote
0answers
73 views

Averages over integer points of the sphere

A paper of William Duke sketches a proof 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$ ...
4
votes
1answer
187 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 ...
7
votes
0answers
78 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 ...
1
vote
0answers
63 views

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

I try to understand correctly the notion of scheme, as Serre in the third volume of his Oeuvres defines zeta and L-functions in this context. What seems interesting to me is that he states a theorem ...
18
votes
1answer
598 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
0answers
131 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 ...
0
votes
0answers
25 views

How to find integer solution for bilinear transformation? [migrated]

Let y = (ax + b)/(cx + d), where a, b, c, d integer constants, is there any technique to find integer solution of x & y?
5
votes
0answers
75 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 ...
0
votes
0answers
86 views

Combinatorial support set in CRT

Is there a function $g(s)$ such that if there is a set of numbers $\{r_i\}_{i=1}^m$ such that $r_i\bmod p_j\in\{0,1\}$ at every prime in $\{p_j\}_{j=1}^n$ such that $2^t\bmod p_j\neq1$ at every ...
0
votes
1answer
103 views

Congruences for generalized Franel numbers

Let us define generalized Franel numbers $f^{(m)}_n$ through recurrence relations: $f^{(1)}_n=1$ for all $n$, and $$f^{(m)}_n=\sum\limits_{k=0}^n\binom{n}{k}^3f^{(m-1)}_k.$$ In fact ...
0
votes
0answers
99 views

Fermat's Theorem on p = a^2 + b^2 [migrated]

I have read that Fermat predicted that for an odd prime $p$, $p = a^2 + b^2$ iff $p = 1$ mod 4. I heard that such a criterion could be possible for a given integer $n$ like $p = a^2 + n b^2$ ...
1
vote
0answers
103 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 ...
4
votes
1answer
383 views

How to test if the power of some algebraic number is the rational combination of two specific algebraic numbers?

Suppose we are given three algebraic numbers $\alpha,\beta,\gamma$ by presenting their minimal polynomial (degree less than $m$), the goal is to compute all positive integers $n$ such that $\alpha^n$ ...
3
votes
0answers
148 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 ...
10
votes
1answer
599 views

Divergence of a series similar to $\sum\frac{1}{p}$

Suppose we start with $k$ primes $p_1,p_2,\ldots ,p_k$ (not necessarily consecutive) and a residue class for each prime $r_1,r_2,\ldots ,r_k$. We denote the least integer not covered by the arithmetic ...
1
vote
1answer
228 views

Is it true that the sum of a specific floor function of a prime = 1?

I noticed that for primes $p \le 109$, the following seems to be true: $$\sum_{i | p\#}^{p\#} \left\lfloor{\frac{p}{i}\mu(i)}\right\rfloor = 1$$ where $\mu(i)$ is the Mobius function. For example: ...
2
votes
2answers
526 views

When does the absolute value of a sum of an integer and an algebraic integer equal an integer?

Let's say Z is a sum of n-th roots of unity and thus an algebraic integer, and D is a rational integer. If |z+D| is an integer, what can we conclude regarding Z? Can we say |Z| is an integer? Another ...
34
votes
1answer
2k views

Optimization problem arising from the study of zeta zeros

Motivation: The following problem arose in [1] while studying the vertical distribution of the zeros of the Riemann zeta-function. At the time, my collaborators and I were unable to solve it and I ...
5
votes
1answer
307 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 ...
31
votes
0answers
682 views

Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...
3
votes
1answer
258 views

Characterizations of those binary forms which represent unity

I am interested in knowing when a binary form $f(x,y) = f_0 x^d + f_1 x^{d-1} y + \cdots + f_d y^d $ $\in \mathbb{Z}[x,y]$ represents unity, that is there exists $(x_0, y_0) \in \mathbb{Z}^2$ such ...
5
votes
2answers
542 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. ...
1
vote
0answers
119 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 ...
7
votes
1answer
339 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 ...
6
votes
1answer
405 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
36 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.
6
votes
1answer
196 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: ...
2
votes
1answer
233 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
1answer
442 views

Asymptotic formula for the number of ways to write a number as the sum of $k$ triangular numbers

How would one derive an asymptotic formula for the number of representations of a number $n$ as the sum of $k$ numbers of the form $\frac{m(m + 1)}{2}$ I think that one could use the circle method, ...
0
votes
0answers
54 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
113 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 ...
3
votes
2answers
520 views

Automorphisms of $\mathbb C_p$

I am looking for a non-trivial automorphism $\sigma$ of $\mathbb C_p$ such that $\sigma(\mathbb Q_p)\subset\mathbb Q_p$. If $\mathbb C_p$ were spherically complete, then by Hahn-Banach theorem, that ...
1
vote
1answer
242 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 ...
7
votes
0answers
226 views

Can an abelian variety/Q have no 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 ...
2
votes
1answer
124 views

Varieties with few monomials and the n-conjecture

The n-conjecture is a generalization of abc and basically says that the if $a_1 + \ldots + a_n=0$, no proper subsum vanishes and $a_i$ are coprime, then the radical of $a_1\cdots a_n$ can't be too ...
7
votes
1answer
211 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, ...
10
votes
2answers
405 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)= ...
5
votes
1answer
120 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
0answers
81 views

Prove an equation is always false [closed]

How can I prove an equation is always false? For example: b = b + 1 is false for all values of b. Very simple to see. Now given a more complicated equation, such as: b = sin(sin(b) - .56)) ...
1
vote
0answers
105 views

Explicit description/calculation of norm group of ideles of characteristic $p$ global field

I posted the same question earlier in stack exchange, (http://math.stackexchange.com/questions/1130391/algebraic-proof-of-2nd-inequality-of-global-class-field) thinking it is most definitely not a ...
1
vote
1answer
235 views

Constant group scheme and torsors

Let $X$ be a scheme and $G$ a (commutative) constant group scheme. Consider a $G$-torsor $Y$ for $X$, by which I mean that there is a canonical isomorphism: $$g_Y \colon Y \times_X Y \cong Y ...
0
votes
0answers
29 views

Find all integers x, y, and z such that 1/x + 1/y = 1/z [migrated]

Characterize all positive integers x, y, and z such that $\frac{1}{x} + \frac{1}{y} = \frac{1}{z}$. For example, $\frac{1}{x+1} + \frac{1}{x(x+1)} = \frac{1}{x}$
6
votes
4answers
608 views

Multiplicity one conjecture

I recently became interested in Maass cusp forms and heared people mentioning a "multiplicity one conjecture". As far as I understood it, it says that the dimension of the space of Maass cusp form for ...
11
votes
3answers
781 views

Probability of coprime polynomials

Given positive integer $N$, we choose $m_1, m_2, n_1, n_2$ independently and with equal probabilities from $\{0,1,\ldots,N\}$, and let $f_1 = x^{m_1} + (1+x)^{n_1}$ and $f_2 = x^{m_2} + (1+x)^{n_2}$ ...
15
votes
1answer
905 views

Singmaster's conjecture

Has any work been done on Singmaster's conjecture since Singmaster's work? The conjecture says there is a finite upper bound on how many times a number other than 1 can occur as a binomial ...
1
vote
0answers
98 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
91 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 ...