# Tagged Questions

**1**

vote

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**6**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**4**answers

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

**3**answers

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