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
votes
2answers
169 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
426 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
131 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 ...
11
votes
1answer
621 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
54 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
88 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
236 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
368 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
526 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 ...
9
votes
2answers
411 views

Can there be a power basis for a totally real field of high degree?

A number field $K$ is said to have a power basis if there is an $\alpha \in K$ such that the full ring of integers $O_K$ is the $\mathbb{Z}$-linear span of ...
0
votes
0answers
71 views

Characterize the set of roots of cubics with certain properties

Let $P(x)\in \mathbb{Z}[x]$ be an irreducible polynomial of degree $3$. Suppose that $\alpha_1, \alpha_2, \alpha_3$ are roots of $P(x)$. For what such $P(x)$ is it the case that the ring of integers ...
3
votes
0answers
67 views

Finding a divisor on a curve in a given linear equivalence class made with points over a “small” field

Suppose I have a curve $C$ defined over $\mathbb Q$ and a line bundle $\mathcal L$ on it, also defined over $\mathbb Q$. I am interested in trying to find a (non-effective) divisor $D=\sum_i a_ip_i$ ...
1
vote
1answer
118 views

Compact subgroups of linear groups over nonarchimedean fields

Let $n \in \mathbb{N}$, $K$ a (nonarchimedean) local field, $\overline{K}$ its algebraic closure. Take a compact subgroup $G \leq \text{GL}_n(\overline{K})$. Must there be a finite extension $F$ of ...
7
votes
1answer
166 views

Atkin--Lehner operators in Hida theory

Let $p$ be a prime, and $F$ a $p$-adic Hida family of ordinary modular forms (of some tame level $N \ge 1$). I'd like to know whether, for $q$ a prime factor of $N$, the actions of the Atkin--Lehner ...
1
vote
0answers
129 views

Contour plots of Riemann zeta-function

A glimpse of figures in this preprint seems to suggest that curves $\Re{\zeta(s)}=0$ (or $\Im{\zeta(s)}=0$) do not touch each other in the half-plane $\Re{s}>1$. Question: Is there any ...
34
votes
1answer
842 views

Do runs of every length occur in this sequence?

This is a repost from user r.e.s's unsolved Math Stack Exchange question: Do runs of every length occur in this string? That question was derived from my original question on the subject: Does this ...
6
votes
1answer
231 views

A parity counting problem for subsets over finite fields

Let ${\mathbb F}_p$ be the prime field of $p$ elements and $b$ be an element in ${\mathbb F}_p$. For a subset $T\subseteq {\mathbb F}_p$, define $$Bias(T)=|N_e( {\mathbb F}_p,b)-N_o( {\mathbb ...
1
vote
1answer
107 views

$p$-adic Regulators

Is there some relationship between the $p$-adic regulators of isogenous curves over $\mathbb{Q}$? I've done some computations and their ratio seems to be related (equivalent in all calculations so ...
13
votes
1answer
444 views

When is $(q^k-1)/(q-1)$ a perfect square?

Let $q$ be a prime power and $k>1$ a positive integer. For what values of $k$ and $q$ is the number $(q^k-1)/(q-1)$ a perfect square, that is the square of another integer? Is the number of such ...
2
votes
0answers
135 views

Is there an excplicit number field of definition for an Abelian Variety $A/\mathbb{C}$ with CM?

Consider a simple abelian variety $A/\mathbb{C}$ with sufficiently many CMs by $\mathcal{O}$, where $\mathcal{O}$ is an order in a CM field $K$. Specifically, $K$ is a CM field of degree $2g$, where ...
4
votes
1answer
155 views

Explicit formula for the Poincare dual of a CM endomorphism of an elliptic curve

Let $E/\mathbf{C}$ be an elliptic curve with CM by the maximal order $\mathcal{O}_K$ of $K=\mathbf{Q}(\sqrt{-D})$ where $D$ is positive and square-free integer. To make it even more precise, let us ...
4
votes
3answers
165 views

Expression for the derivative of Eisenstein series $G_2$

I am new to number theory, so I am guessing this is a standard formula. I would be grateful for a reference: We know that the Eisenstein series $G_2$ is quasimodular of level $SL_2(\mathbb Z)$, so ...
8
votes
1answer
420 views

Rank of Elliptic Curves

Recently, I have heard of some heuristics that would suggest that the rank of elliptic curves are bounded (specifically in the congruent number family). I always though that the best way to prove ...
0
votes
1answer
71 views

Best error terms for functions related to square free numbers

Let $\mu$ denote the Möbius function, and let's define the functions $\mu_{-}$ and $\mu_{+}$ as follows: $\mu_{-}(n):=\frac{\mu(n)^{2}-\mu(n)}{2}$ and $\mu_{+}(n):=\frac{\mu(n)^{2}+\mu(n)}{2}$. Let ...
9
votes
1answer
299 views

Squarefree numbers $n$ such that $432n+1$ is also squarefree

This is a second attempt (see Primes $p$ such that $432 p +1$ is prime) Is the set of squarefree numbers $n$ such that $n(432 n+1)$ is also squarefree known to be infinite? Fact: the number of such ...
-1
votes
1answer
290 views

Primes $p$ such that $432 p +1$ is prime [closed]

Is the set of prime numbers $p$ such that $432 p + 1$ is also prime infinite? It doesn't follow from Dirichlet's theorem as far as I can tell.
5
votes
2answers
565 views

The shortest interval for which the prime number theorem holds [closed]

It is well known that the prime number theorem on the form \begin{align*} \pi(x+y) - \pi(x) \sim \frac{y}{\log (x+y)} \end{align*} breaks down for short enough intervals, e.g. taking $y=(\log ...
2
votes
1answer
364 views

Computer Science applications of Roth's Theorem [closed]

I have been reading about Additive Combinatorics and in particular Roth's theorem which states any positive upper density set has infinitely many 3-step arithmetic progressions. Let $A \subset ...
14
votes
1answer
714 views

Is $x^{n}-x-1$ irreducible?

Is it true that for every $n \in \mathbb{N}$, $x^{n}-x-1$ is irreducible in $\mathbb{Z}[x]$? The standard irreducibility criteria seem to fail.
0
votes
0answers
111 views

Does $\pi(n+r)+\pi(n-r)$ decrease as $r$ increases?

Assume Goldbach's conjecture. Then for every large enough positive integer $n$ there exists a non negative integer $r$ such that both $n+r$ and $n-r$ are primes. Such an integer $r$ will be called a ...
6
votes
1answer
227 views

is there any heuristics suggesting that the number of Fibonacci primes below $x$ is equivalent to $\log_{\phi}\log_{\phi}x$?

The question of knowing whether there are infinitely many Fibonacci primes is an open question. As $F_p$ is prime only if $p$ is prime, one has $\pi_{FP}(x)\le \pi(\log_{\phi} x+0.5\log 5)$, but ...
14
votes
3answers
1k views

Prime factorization “demoted” leads to function whose fixed points are primes?

Let $n$ be a natural number whose prime factorization is $$n=\prod_{i=1}^{k}p_i^{\alpha_i} \; .$$ Define a function $g(n)$ as follows $$g(n)=\sum_{i=1}^{k}p_i {\alpha_i} \,$$ i.e., exponentiation is ...
9
votes
0answers
269 views

How large can the gcd of a pair of two-variable polynomials be?

This question is inspired by For $x,y\ge 2$ does $x^4+x^2y^2+y^4$ ever divide $x^4y^4+x^2y^2+1$?. Let $f(x,y), g(x,y)\in \mathbb{Z}[x,y]$ with no common factor, such that every intersection point ...
-4
votes
2answers
174 views

If $~(c - b) ^ 2 + 3cb = a^3~$ has nonzero integer solutions, then $~(a,c) \gt 1~$ or $~(b,c) \gt 1$? [closed]

If $~(c - b) ^ 2 + 3cb = a^3~$ has nonzero integer solutions, then $~(a,c) \gt 1~$ or $~(b,c) \gt 1$? I think this is true, how to prove this?
4
votes
1answer
465 views

3n+1 problem and cycles

Just to make sure I am up to date with this problem. I know (or I think I do) that it is not yet proven that there are no non-trivial cycles for the collatz sequence (please correct me if I am wrong). ...
6
votes
1answer
639 views

Probability that a positive integer is the euler phi function of another positive integer

Define $f(n) = |\{m : m\le n, \exists k \text{ s.t. }\phi(k) = m\}|$. Clearly, $f(n)\le \left\lfloor \frac{n}{2}\right\rfloor + 1$ since $\phi(n)$ is even for all $n > 2$. Is ...
5
votes
0answers
101 views

Multiplicity of automorphic representation

Let $\pi$ be an automorphic subrepresentation of a reductive group $G$. Here by this, I mean an irreducible representation realized in a subspace of the space of automorphic forms on $G$. Let $m_\pi$ ...
3
votes
1answer
152 views

Cyclotomic character in class field theory

Let $K$ be an extension of $\mathbb{Q}_p$. By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times ...
10
votes
3answers
308 views

Circles avoiding rational points of height $\le h$

Q. Which origin-centered circles $C(r)$ (or spheres in dimension $d$) of radius $r < 1$ avoid all rational points of height $\le h$? A rational point is a point all of whose coordinates ...
4
votes
1answer
140 views

Reference or proof for the fact that $J(X_0(N))$ splits into abelian varieties with real multiplication

It´s known that $J_0(N) = J(X_0(N))= \bigoplus_f E(f)$ splits as a sum of abelian varieties parametrized by the Hecke eingenfunctions and that it´s an elliptic curve iff the Hecke eingenvalue is an ...
6
votes
0answers
142 views

mod $p$ Jacquet-Langlands correspondence

Let $F$ be a local field of characteristic $0$. Let $D$ be division algebra over $F$ of dimension $n^2$. The construction of irreducible complex representations of $D^*$ is known by Howe, Zink, and ...
18
votes
3answers
1k views

Is any particular algebraic number known to have unbounded continued fraction coefficients?

The continued fraction $$[1;1,2,3,4,5,\dots]=1+\cfrac{1}{1+\cfrac{1}{2+\cdots}}, $$ for instance, is known explicitly as a ratio of Bessel function values and is (I believe - SS) known to be ...
7
votes
1answer
316 views

A divisor sum congruence for 8n+6

Letting $d(m)$ be the number of divisors of $m$, is it the case that for $m=8n+6$, $$ d(m) \equiv \sum_{k=1}^{m-1} d(k) d(m-k) \pmod{8}\ ?$$ It's easy to show that both sides are 0 mod 4: the left ...
10
votes
1answer
273 views

K3 surfaces that correspond to rational points of elliptic curves

In his work on mirror symmetry (http://arxiv.org/pdf/alg-geom/9502005v2.pdf) Igor Dolgachev has considered families of K3 surfaces of Picard rank at least 19 with the base given by $X_0(n)^+$, the ...
2
votes
1answer
191 views

Solving equations with dozens of ceil and floor functions efficiently?

I am tackling a problem which uses lots of equations in the form of: where $q_i(x)$ is the only unknown, $c_i$, $C_j$, $P_j$ are always positive. $C_j < P_j$ for all $j$ 1.How is this type of ...
4
votes
2answers
326 views

Are there any patterns in simple continued fraction expansions of algebraic real numbers?

As we know there are patterns in simple continued fraction expansion of quadratic algebraic numbers,are there any patterns in simple continued fraction expansions of other algebraic real ...
5
votes
1answer
332 views

Whats the prime-to-$p$ Etale fundamental group of the affine line minus two points over $\mathbb{F}_p$?

Background: I've often heard that the fundamental group of $\mathbb{P}^1/\mathbb{Q}-\{0,1,\infty\}$ is extremely hard to understand. First of all, it has a surjective map to the galois group ...
6
votes
2answers
203 views

Whittaker models for $GL_n$ and Fourier coefficients

Let $G$ be a compact abelian group. Then we know, because of the Peter-Weyl theorem, that $L^2(G)$ decomposes as a Hilbert space direct sum of 1 dimensional representations of $G$. Let $\mathbb{A}$ ...
1
vote
2answers
177 views

BSD leading-term coefficient in terms of places without distinction

After reading this blog post, I learned the BSD conjectural formula for the coefficient of the leading term $a_0$ of the L-function of an elliptic curve $E$, namely $$ a_0 \stackrel{?}{=} ...
2
votes
1answer
196 views

Is the ordinary locus affine?

Let $p$ be a prime number and let $Y$ over $\mathbb F_p$ be a Siegel modular variety, with minimal compactification $X$. It is well known that $X^{\operatorname{ord}}$, the ordinary locus of $X$ is ...