**0**

votes

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**4**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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 ...