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
1answer
123 views

From an eigenfom with $\mathbf{Q}$-coefficients to $j$-invariants

Given a cuspidal, classical eigenform $f\in S_2(\Gamma_0(N))$ of weight $2$ and with $\mathbf{Q}$-coefficients is there a way of describing the set $J_f$ of $j$-invariants of the elliptic curves lying ...
3
votes
0answers
97 views

Do the roots of this equation involving two Euler products all reside on the critical line?

This question loosely builds on the second part of this one. Take the Riemann $\xi$-function: $\xi(s) =\frac12 s\,(s-1) \,\pi^{-\frac{s}{2}}\, \Gamma\left(\frac{s}{2}\right)\, \zeta(s)$. Numerical ...
4
votes
0answers
82 views

Uniqueness of cohomological holomorphic discrete series representation

In Claus Sorenson's PhD thesis, he proves a theorem about level lifting of paramodular forms whose associated automorphic representation has component $\pi_{\infty}$ that is the "cohomological ...
2
votes
0answers
103 views

Nonnegative integers represented by $\prod_{i=1}^m \sum_{j=1}^n a_{i,j} x_j $, where the $a_{i,j}$ are positive integers

Fix $m, n \in \mathbf N^+$ with $m+n \ge 3$, and let $A = (a_{i,j})_{1 \le i \le m, 1 \le j \le n}$ be an $m$-by-$n$ matrix of positive integers. What is known about the asymptotic behavior of the ...
6
votes
0answers
92 views

Geometric interpretation of Schmidt rank

For a form $f \in k[x_1, \cdots, x_n]$, where $k$ is a field of characteristic zero (or more specifically, a number field, and usually $\mathbb{Q}$). The Schmidt rank of $f$ (with respect to $k$), ...
4
votes
1answer
63 views

Suprema of lower density of sums and products of sets with lower density 0

For $A\subseteq \mathbb{N}$ we define the lower density by $$\operatorname{ld}(A)=\liminf_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n}.$$ For $A,B\subseteq \mathbb{N}$ we set $A+B = \{a+b: a\in A, b\in ...
7
votes
0answers
191 views

Theorems proved using combinatorial nullstellensatz that have no other known proof

Alon's (or Alon and Tarsi's?) combinatorial nullstellensatz is a powerful algebraic tool with many applications in combinatorics and number theory. See this, this, this and this mathoverflow question. ...
8
votes
3answers
683 views

Lower density of {primes} times themselves

We say that a set $A\subseteq \mathbb{N}$ has lower density 0 if $$\text{lim inf}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n} = 0.$$ Given $A,B\subseteq \mathbb{N}$ we set $A\cdot B = \{a\cdot b: ...
1
vote
0answers
59 views

The dimension of the space of automorphic forms with multiplier system

Let $\Gamma$ be a discrete subgroup of $SL_{2}(\mathbb{Z})$ and $\vartheta$ a multiplier system of weight $k$ for $\Gamma$, by which we mean a function $\vartheta:\Gamma \rightarrow \mathbb{C}$ ...
9
votes
1answer
305 views

A question involving e, floor, and all x > 0

Is $\lfloor(x+1/2)e\rfloor = \lfloor(x+1)(1+1/x)^x\rfloor$ for all $x > 0$? The question occurred in connection with (nonhomogeneous) Beatty sequences, $\lfloor nr+h\rfloor$, where irrational ...
9
votes
1answer
275 views

$L^1$ norm of exponential sum of $n^2 x$

What is the asymptotic order of $$ \int_0^1 \left| \sum_{n=1}^N e^{2 \pi i n^2 x} \right| ~dx $$ as $N \to \infty$. This should be known, but I cannot find it in the literature.
0
votes
0answers
36 views

Ambiguous classes not strongly ambiguous

I am looking for a quadratic field $K$ and a class $\mathcal C$ of the classes group of $K$ such that $\mathcal C$ is ambiguous but not strongly ambiguous that is: $\sigma(\mathcal C)=\mathcal C$ for ...
1
vote
2answers
220 views

Solutions of the equation $2^{q-1} \equiv q \pmod {4q^2+1 }$ where $q$ is an odd prime

I am interested in the solutions of the equation $2^{q-1} \equiv q \pmod {p} $ where $p=4q^2+1$ for an odd prime $q$. So far the only solution I found by trial and error is $q=193$ but I don't know ...
4
votes
1answer
259 views

A riddle of marbles, buckets, and bottles

My roommate challenged me with the following riddle, claiming he had a solution to the problem. After two weeks of being puzzled, I asked for a hint, and later for his solution. Unfortunately, I was ...
6
votes
1answer
164 views

A Siegel modular form related to the product of two eta functions

I am looking for a Siegel modular form of genus $2$ (living on the Siegel modular 3-fold $A_2=\mathrm{Sp}(4,\mathbb{Z})\backslash \mathfrak H_2$) which becomes "roughly" the product of two eta ...
-6
votes
1answer
218 views

Quintic Equation [closed]

Can we solve the following polynomial quintic equation by radicals x^5 + x^4 = 1 I found one real root which is algebraic solution (no approximation method ...
1
vote
6answers
281 views

Isotropic ternary forms

It is well known that some questions about isotropic ternary forms reduces to the study of the special case $f_0(X)=xz-y^2, X=(x,y,z)$, see page 301 of Cassel's "Rational quadratic forms" (Dover, ...
1
vote
0answers
151 views

Can one show that the terms of prime index of a certain recursive sequence are not divisible by their index infinitely often?

Let $(a_n)$ be the sequence defined by $$a_{n+1}=2na_n-n^2a_{n-1}$$ and $a_0=0$ and $a_1=1$. I would like to prove that there exist infinitely many primes $p$ such that $p$ does not divide $a_p$. Any ...
2
votes
0answers
63 views

Question related to $h$-invariant of a form

Let $k$ be a field. Given a form $f \in k[x_1, ..., x_n]$ of degree at least $2$, we define the Schmidt rank, also known as the $h$-invariant, $h_k(f)$ to be the least positive integer $h$ such that ...
3
votes
2answers
223 views

A galois group is topologically finitely generated or finitely generated as a $\mathbb{Z}_p$-module

The basic set up is the following: Let $K$ be a number field. let $p$ be an odd prime. Let $\Sigma_p$ be the set of primes of $K$ lying above $p$. Let $M$ be the composite of all finite $p$-extensions ...
8
votes
0answers
270 views

Are there infinitely many N^3 (especially for prime N) that cannot be expressed as a sum of three positive cubes?

The sequence A023042 on the OEIS website shows that a large percentage of $N^3$ are a sum of three positive cubes. OEIS lists only N<1770, but we can extend that:$$\begin{array}{|c|c|} ...
0
votes
0answers
87 views

Rate of convergence of an algebraic irrational rotation

Let $\alpha \in \mathbb{S}^1$ be an algebraic number with $\mathop{\mathrm{arg}}(\alpha)/\pi$ irrational. Is it possible for the rotation by $\alpha$ to converge exponentially fast to a $\xi \in ...
1
vote
1answer
231 views

Divisors of a quadratic trinomial

Let $P(n)$ be a quadratic trinomial with integer coefficients. For each positive integer $n$, the number $P(n)$ has a proper divisor $d_{n}$ (i.e. $1 < d_{n} < P(n)$), such that the ...
3
votes
0answers
170 views

The ring of modular forms for $\Gamma_0(11)$

Let $\mathcal M(11) = \oplus \mathcal M_k(11)$ be a graded algebra of modular forms for congruence group $\Gamma_0(11)$. I want to find generators and relations between them. I proved that $\dim ...
3
votes
2answers
330 views

Who needs a symmetric upper asymptotic density on the integers?

The upper asymptotic density on $\mathbf Z$, viz. the function $$ {\sf d}^\ast: \mathcal P(\mathbf Z) \to [0,1]: X \mapsto \limsup_{n \to \infty} \frac{|X \cap [1,n]|}{n}, $$ has a ''symmetric ...
9
votes
0answers
119 views

The multiplicative group generated by shifted primes

I am asking for references about the following problem. In particular, it is still open? If not, what is the state of the art result? Problem 1. Let $\Gamma$ be the multiplicative subgroup of ...
16
votes
1answer
406 views

Quickest and/or most elementary proof of “principal iff splits completely”?

Let $L$ be the Hilbert class field of a number field $K$, and let $\mathfrak{p}$ be a prime ideal of $K$. Then $\mathfrak{p}$ splits completely in $L$ if and only if $\mathfrak{p}$ is a principal ...
6
votes
1answer
154 views

Question about zeta function of function field in 1 variable over $\mathbb{F}_q$

From my previous question, I know that$$\zeta_X(s) = {{P(u)}\over{(1-u)(1-qu)}}$$for some polynomial $P(u)$ of degree $2g$, where $X$ is the set of all places of $F$, a function field in one ...
3
votes
3answers
304 views

How many primes have the form $(2^p+1)/3$?

Assuming that $p$ is an odd prime. How many primes have the form $(2^p+1)/3$? Is the number finite? Mathematica calculation shows that there are 23 such primes when $p$ ranges over the first 500 ...
7
votes
1answer
253 views

Reference request, zeta function is rational function via Riemann-Roch?

I am looking for a reference to a proof that the zeta function of a function field in one variable over a finite field $\mathbb{F}_q$ is a rational function in $q^{-s}$ by using the Riemann-Roch ...
1
vote
0answers
102 views

Two questions about Whittaker functions

I am watching the video: Modeling p-adic Whittaker functions, Part I. I have two questions about Whittaker functions in the video. From 33:00 to 37:00, it is said that after changing of variables, ...
2
votes
0answers
71 views

Analytic continuation of intertwining operator

I was trying to understand the paper "Form of GL(2) from analaytic point of view", by Gelbart and Jacquet. On Page 226 in Remark (4.13) they mention that the kernel of the local intertwining operator ...
32
votes
1answer
770 views

What can topological modular forms do for number theory?

Topological modular forms ($TMF$) have in the recent years made an impact in algebraic topology. Roughly, the spectrum $tmf$ is the (derived) global sections of the sheaf of $E_\infty$ ring spectra ...
1
vote
1answer
208 views

How does the solenoid structure of $\mathbb{A}/\mathbb{Q}$ lift to $PGL(2, \mathbb{A})/ PGL(2, \mathbb{Q})$?

Some papers I am reading talk about an "adelic" object $PGL(2, \mathbb{Q}) \backslash PGL(2, \mathbb{A})$ . This has sparked a lot of confusion since I don't know what such a quotient could mean. A ...
9
votes
2answers
347 views

Sumsets and dilates: does $|A+\lambda A|<|A+A|$ ever hold?

The following problem is somehow hidden in this recently asked question, but I believe that it deserves to be asked explicitly. Is it true that for any finite set $A$ of real numbers, and any real ...
5
votes
0answers
137 views

Rankin-Selberg for Maass form GL(3)xGL(2)

Let $F$ be a Maass cusp form for $\mathrm{SL}(3,\mathbb{Z})$ (level 1 trivial character). Let $g$ be a Maass cusp form for $\Gamma_0(N)$ with character $\chi$ mod $N$. For convenience, you may assume ...
0
votes
0answers
100 views

Four kinds of generalized hypergeometric formulas for $\pi$

Given, $$\begin{array}{|c|c|c|c|} \hline n&a_n&b_n&c_n\\ \hline 1 & 6541681608 & 163096908 & -640320^3\\ \hline 2 & 85840 & 4492 & -14112^2\\ \hline 3 & 28302 ...
0
votes
0answers
109 views

Does the equality of product of integers modulo prime p holds in a given interval?

For any given prime $p$, does there exist $a_1,a_2,\dots,a_k,$ (not necessarily distinct) $b_1,b_2,\dots,b_m$ (not necessarily distinct) and $y_1$, $y_2$ such that ...
1
vote
0answers
52 views

What is the complexity of finding a generator for the cyclic elliptic curves?

Let $E$ be an elliptic curve which is defined over a finite field $\mathbb{F}_p$, where $p$ is a prime number. If we know that $E(\mathbb{F}_p)$ is cycyclic, is there an algorithm to find its ...
0
votes
0answers
46 views

Function series involving a suite of imprimitive Dirichlet characters and a zero of $L(\chi,s)$

I have difficulties to understand the behavior of following suite of functions near zero : $$F_P(x)= \sum\limits_{n=P}^{\infty} \chi_P(n) f(nx)$$ With $f(x) = x^{-s_0} e^{-x}$ where $s_0$ is a non ...
3
votes
0answers
119 views

Differences associated with differences of primes: are they all 1,2,3?

Let $d_k$ be the $k^{th}$ difference sequence of the primes; that is, $$d_k = \sum_{i=0}^{k} (-1)^i {k \choose i} P_{k+1-i},$$ where $P_i$ denotes the $i$-th prime number. Let $(s_n)$ be the ...
1
vote
1answer
135 views

If $q^k n^2$ is an odd perfect number with Euler prime $q$, are the following statements known to hold in general? [closed]

(Note: This has been cross-posted to MSE. However, I feel that it is more likely to receive a good answer here, because I believe that it is a research-level question. For the mathematicians who ...
0
votes
0answers
114 views

A diophantine equation

A few days ago I saw a question about the diophantine equation $p^2+p+1=q^\alpha$ in What is prime power of this equation of p? and later in A Diophantine equation with prime powers I want the ...
3
votes
0answers
79 views

Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals

Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii). In a joint paper that I am ...
10
votes
3answers
440 views

On the number of consecutive divisors of an integer

Define for $n \in \mathbb{N}$ the function $$\tau_1(n):=\sum_{\substack{d|n, \\ d+1|n}}1,$$ i.e. the number of consecutive divisors of an integer. The average of $\tau_1(n)$ is $1$ since $$\sum_{n\leq ...
13
votes
1answer
538 views

Algorithmic (un-)solvability of diophantine equations of given degree with given number of variables

Question: For which $d, k \in \mathbb{N}$ is there an algorithm to determine whether a polynomial diophantine equation $$ P(x_1, \dots, x_k) = 0, \ \ \ P \in \mathbb{Z}[x_1, \dots, x_k] $$ ...
1
vote
1answer
132 views

Level-Lowering in Weight 2

Let $N$ and $p$ be relatively prime integers with $p$ a prime. Suppose $f$ is a weight $k=2$ (normalized, cuspidal, etc) newform of level $\Gamma_1(N) \cap \Gamma_0(p)$. I seem to recall the existence ...
5
votes
0answers
64 views

divisibility by Bernoulli numbers of discriminant of Hecke algebra over the space of modular forms of level 1

For the space of modular forms and the space of cusp forms (here I only care about the level $1$ case), we have the action by Hecke algebras. Therefore, we can calculate the discriminant of this ...
41
votes
4answers
1k views

How did Cole factor $2^{67}-1$ in 1903

I just heard a This American Life episode which recounted the famous anecdote about Frank Nelson Cole factoring $N:=2^{67}-1$ as $193707721 \times 761838257287$. There doesn't seem to be a historical ...
4
votes
3answers
312 views

what is exactly the difference between the Selberg class and the set of Artin L-functions?

The question is in the title: from what I read in the answer to another question, Artin L-functions are conjecturally cuspidal automorphic L-functions for some algebraic group that can be transfered ...