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)

13
votes
4answers
555 views

Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers $$ A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3 = \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 . $$ In an email, physicist Alan Sokal ...
4
votes
0answers
120 views

Without Skolem–Mahler–Lech Theorem? [closed]

Using Skolem–Mahler–Lech theorem one can easily prove the $\displaystyle \lim_{n\to +\infty}\left|\Re\left(\frac{1+i\sqrt{7}}{2} \right)^n\right| =+\infty$. Is there a "simple way" to prove this ...
1
vote
1answer
115 views

On the pole of local L-function

Let $F$ be a number field and $v$ a finite place of $F$. Let $\chi_v$ be a unramified unitary character of $F_v$. Then we define local L-function $L_v(s,\chi_v):=\frac{1}{1-\chi_v(\omega)q^{-s}}$ ...
4
votes
0answers
177 views

Non-hyperelliptic families of curves with trivial Ceresa class (or Gross-Schoen class)

Suppose X/K is a curve over a field K, which we want to think of as non-algebraically closed, and let x be a point of X(K). The Ceresa cycle is defined as follows; you can embed X in Jac(X) by sending ...
0
votes
0answers
100 views

Collatz property implying infinite “fall below” trajectories, is it known?

(this was discovered analyzing Collatz empirically.) a key aspect of resolving Collatz involves looking at the number of iterations for trajectories to "fall below" the initial value. consider ...
6
votes
0answers
119 views

Upper bound on the number of ismorphism classes of bilinear forms on $\mathbb{Z}^n$

$\DeclareMathOperator{\Hom}{Hom}$A symmetric, positive definite bilinear form on $\mathbb{Z}^n$ is any mapping $$b : \mathbb{Z}^n \times \mathbb{Z}^n \to \mathbb{Z}$$ satisfying $b$ is bilinear, ...
7
votes
5answers
631 views

Small values of a polynomial evaluated at roots of unity

The MO answer http://mathoverflow.net/a/98176/11926 notes the following: Let $\gamma$ be an algebraic number that is not a root of unity. Then Baker's theorem implies that there is a constant ...
7
votes
1answer
257 views

The Diophantine equation $x^p - 4y^p = z^2$

If $p \geq 5$ is a prime, are there any integers $x, y, z > p$ such that $(x, y) = 1$ and $$x^{p} - 4y^{p} = z^{2}$$
-1
votes
1answer
135 views

When is a local subring of a number field a valuation ring?

Do we have some good examples of local subrings of number fields which are not valuation rings? Do we have an easy criterion for determining whether a local subring of a number field is a valuation ...
2
votes
2answers
314 views

Practical use of estimates for the Gauss Circle Problem

This question is related to this and this ones. The Gauss Circle problem asks for the number $N(r)$ of integer points within a sphere of radius $r$ centered at the origin. It is well known that $N(r) ...
14
votes
2answers
2k views

Is there an algebraic number that cannot be expressed using only elementary functions?

(this is basically a repost of a question I asked at M.SE last year) Is there an explicit real algebraic number (such that we can write its minimal polynomial and a rational isolating interval) that ...
4
votes
1answer
277 views

Lower bound on the irrationality measure of $\pi$

There seems to be a lot of work on the upper bound for the irrationality measure of $\pi$, but I could not find anything on a lower bound except the general $\mu(\pi)\geq2$. Looks like it is the best ...
3
votes
0answers
253 views

Is it possible to find explicit formula for the product $\prod_{d|n,\ d>1} (1-\mu(d)/\varphi(d))^{\varphi(d)}$?

I am trying to calculate the following product $$ \prod_{d|n}_{d>1} \left( 1-\frac{\mu(d)}{\varphi(d)} \right)^{\varphi(d)} $$ where the functions $\varphi$ and $\mu$ are Euler's totient and ...
20
votes
1answer
940 views

A conjectured formula for Apéry numbers

A conjecture by the late Romanian mathematician Alexandru Lupas. Posted in sci.math in 2005, but no proof was found. Physicist Alan Sokal just reminded me of it, saying it was related to something he ...
5
votes
0answers
129 views

Applications of anabelian geometry to Galois representations?

One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and ...
6
votes
1answer
240 views

Cohen-Lenstra heuristics for totally complex fields

If a number field $K$ is a Galois extension of $\mathbb{Q}$, and $G = \operatorname{Gal}(K/\mathbb{Q})$, then the class group of $K$ is a $\mathbb{Z}[G]$-module, and since $N = \sum_{g \in G} g$ acts ...
5
votes
1answer
310 views

Kernel of the character of congruence groups

Let $\Gamma$ be a congruence subgroup of $SL_2(\mathbb Z)$ and $\chi:\Gamma \to \mathbb{C}^*$ a character of $\Gamma$ with finite image. Is then $\ker(\chi)$ also a congruence group? If not, can ...
3
votes
1answer
157 views

Linear dependency of real numbers with integer coefficients adding up to zero [closed]

Let $x = (x_1, \dots, x_n)$ be a vector of real number. I was asking myself if there was an efficient way of telling whether there exists a non-zero vector of integers $z \in \mathbb Z$ such that both ...
1
vote
0answers
77 views

Points on the intersection of an affine quadric and cubic over a finite field

Are there absolute constants $N$ and $B$ such that the following is true? Let $p>B$ be a prime. Let $q(x_0,\dotsc,x_n)$ and $c(x_0,\dotsc,x_n)$ be homogeneous of degree $2$ and $3$ with ...
3
votes
1answer
332 views

Lower bounds on the error term of the prime number theorem

Are there any lower bounds on the error term for the prime number theorem, or in other words, is there a nontrivial $f$ s.t. $$f(x)\ll |\psi(x) - x|$$ where $\psi$ is the Chebyshev function.
1
vote
0answers
71 views

Are all complex zeros of $Li_s(z)\, \pm \, Li_{1-s}(z)$ on the critical line or outside the critical strip for $z \le -1$?

This question loosely builds on this one, however is a bit simpler and I found the results to be more robust. It seems that all zeros in the critical strip $0 \lt \Re(s) < 1$ of: $$Li_s(z)\, \pm ...
10
votes
1answer
349 views

The Mordell and Bogomolov problems in linear groups

Many things in the arithmetic of abelian varieties have counterparts not only in linear tori, but also for semisimple linear groups. Two examples are the Tamagawa number and the conjectured finiteness ...
0
votes
1answer
189 views

Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor. And now we only consider the case that $C_0$ is irreducible as in ...
8
votes
1answer
287 views

Tate-Shafarevich groups over finitely generated fields

Let $G$ be an algebraic group over a number field $k$. One defines the Tate-Shafarevich set of $G$ to be $$Ш(k,G) = \ker\left(H^1(k,G) \to \prod_{v} H^1(k_v,G)\right),$$ where the product is over all ...
0
votes
1answer
193 views

The special point count on Shimura varieties

This, in view of the analogies between CM points on Shimura curves and torsion points on elliptic curves, is a sequel to an earlier question I had asked: The torsion point count in higher dimension . ...
3
votes
1answer
363 views

Smallest prime in an arithmetic progression

Let $\{a_n\}_{n\in\mathbb{N}}$ be defined as $a_n = a + bn$ for some $a, b >0,(a, b) = 1$. Are there good bounds on the minimal $k$ s.t. $a_k$ is prime. It is well known that there are infinitely ...
29
votes
2answers
818 views

For integers $a \ge b > 1$ is $f(a,b) = a^b + b^a$ injective?

Given two integers $a \ge b >1$, can we encode them as a unique integer $a^b + b^a$? I asked this question on math.SE, and after surviving a week with a bounty, it seems that this question ...
4
votes
0answers
210 views

The Modularity Theorem and Serre's/Faltings's Isogeny Theorem

Earlier this year I completed my Masters dissertation on Andrew Wiles's proof of The Modularity Theorem for semistable elliptic curves as a precursor to the accepted proof of Fermat's Last Theorem. ...
1
vote
0answers
292 views

When is a cubic polynomial a cube? [closed]

I've been researching cubes and I'm trying to solve this Diophantine equation over the integers. $$ax^3 + bx^2 + cx + d = y^3$$where a, b, c, d are parameters for a given $n$. For example, for $n = ...
1
vote
1answer
176 views

Does the congruence $a^p \equiv 1 \pmod{b^p}$ with prime $p \ge 5$ force $b \le p$?

I'm considering the congruence in the title, i.e., $$a^p \equiv 1 \pmod{b^p},$$ where $a \ge b \ge 1$ are positive integers and $p$ is an odd prime. For $p=3$, a brute-force computer search found ...
8
votes
1answer
223 views

Integers with a large prime divisor in short intervals

For an integer $n$, denote by $P^+(n)$ the largest prime divisor of $n$. Then we have the following: There exists some $c>0$, such that for all $x$ sufficiently large the number of integers ...
22
votes
1answer
681 views

What is the analogue of simple prime closed geodesic for prime numbers?

The prime geodesic theorem (of Margulis?) states that on a compact surface of (constant?) negative curvature, the number of prime closed geodesics of length at most $L = \log x$ is approximately ...
7
votes
1answer
228 views

lower and upper bound for $\sum_{k=1}^n \frac{(-1)^{\Omega(k)}}k$?

Are there known any lower and upper bounds for $$ \sum_{k=1}^n \frac{(-1)^{\Omega(k)}}k, $$ where $\Omega(n)$ is the number of prime factors counting multiplicities of $n$? Or at least is it known ...
0
votes
0answers
83 views

Galois groups of CM fields which are a degree two extension of a cyclotomic field

Let $E$ be a CM number field. Assume that $E$ is a degree two extension of the cyclotomic field $\mathbb{Q}(\mu_n)$, so $E=\mathbb{Q}(\mu_n)(\sqrt{\kappa})$ for some $\kappa \in \mathbb{Q}(\mu_n)$. ...
2
votes
0answers
79 views

Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature. To be more clear let me explain the example I have in mind. Let ...
1
vote
0answers
69 views

The minimum genus of a family of degree $12$ algebraic curves which comes from the resultant of two quartic polynomials

Let $f(t)$ be a rational normal cubic curve in $\mathbb{P}^3$ (it is not contained in any plane) and also we assume that this cubic curve passes through two points $(0,0,0)$ and $(1,0,0)$. By an easy ...
6
votes
4answers
840 views

Proofs of the Chevalley-Warning Theorem

A well known proof of the Chevally-Warning Theorem is the one listed on wikipedia: http://en.wikipedia.org/wiki/Chevalley%E2%80%93Warning_theorem Are there any other proofs of this, or ...
6
votes
2answers
237 views

Divisor sums over values of binary forms of primes

Let $\tau$ be the divisor function, that is $$ \tau(n)=\sharp\{d \in \mathbb{N}, d|n\}. $$ I was wondering if anyone has ever proved an asymptotic estimate for the sum $$S(x):=\sum_{p,q\leq ...
6
votes
4answers
605 views

A question on non-archimedian Fourier transform

Let $M(n)$ be the vector space of $n\times n$ matrices over a local non-archimedian field $K$. Let $\mathcal S$ denote the space of locally constant compactly supported functions on $M(n)$. Similarly, ...
6
votes
1answer
250 views

Is there an odd integer $x < 105$ for which it is known that $x \nmid N$, if $N$ is an odd perfect number?

Is there an odd integer $x < 105$ for which it is known that $x \nmid N$, if $N$ is an odd perfect number? I have asked the same question in MSE, but did not get any answers. I was wondering if ...
0
votes
0answers
134 views

On $\lambda$-adic Galois representation associated to Hilbert modular form

Taylor shows that for a Hilbert moduar form of parallel weight 2, if we let $\rho$ be the associated $\ell$-adic Galois representation, then there is a $\ell$-divisible group $H$ such ...
-1
votes
2answers
177 views

Interpretation of $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

In the paper "Sato-Tate Distributions and Galois Endomorphism Modules in Genus 2" (arxiv: http://arxiv.org/abs/1110.6638), the authors use the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ ...
8
votes
2answers
436 views

Inverse problem for zeta functions of curves over finite fields

We know, thanks to A. Weil, that such a function is rational, and the numerator has all of its zeros on the circle $z \overline{z} = q,$ where $q$ is the order of the field. The question is: can every ...
-1
votes
1answer
134 views

Conjectured Primality Test for Numbers of the Form k2^n+1 with n>2 [closed]

Definition : Let $P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4}\right)^m+\left(x+\sqrt{x^2-4}\right)^m\right) $ where $m$ and $x$ are positive integers . Conjecture : Let $N=k\cdot 2^n+1$ with ...
12
votes
1answer
686 views

Szemeredi's theorem in the Gaussian integers

Suppose that $S\subseteq\mathbb{Z}[i]$ has the following properties: For convenience, let $A_n = \{z : z\in\mathbb{Z}[i], \text{Nm}(z)\le n\}$ $$\limsup_{n\rightarrow\infty} \frac{|S\cap ...
2
votes
0answers
61 views

nonvanishing of global theta lifting from U(1) to U(1?)

I understanding nonvanishing of theta lifting, either global or local, is a difficult and open problem. But I wanna know if there is an answer for the following simplest case. Let $E/F$ be a ...
2
votes
0answers
99 views

padic BSD vs. BSD for algorithm to compute rank

Just to be specific, I deal only with the elliptic curves $E$ over $\mathbb{Q}$, and most of the explaination here are obtained from the paper: Algorithms for the Arithmetic of Elliptic Curves using ...
2
votes
1answer
268 views

Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group. Is every closed subgroup of ...
7
votes
2answers
390 views

modular forms, invertible sheaves, and quotients

I'm very confused about some contradicatory statements, and I hope someone can help me clarify this. Let $\Gamma$ be a congruence subgroup. It is well known that modular forms of weight $k$ for ...
16
votes
1answer
550 views

How many integers divide a number that involves just three non-zero digits?

Just to be concrete, consider the digits to be binary. Hasse showed that among all the primes, only a fraction of $17/24 < 1$ divide a number of the form $2^n+1$. As a result, the integers that ...