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)

2
votes
2answers
192 views

Compact induction as a tensor product

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ ...
1
vote
1answer
132 views

trigonometric sum and inequalities

let $x\in\mathbb{R}-\mathbb{Z}$ and $e(x)=e^{2\pi ix}$. If we have this sum $$\left|\overset{q}{\underset{h=1}{\sum}^{*}}e\left(h\, x\right)\underset{\underset{p\equiv h\,\textrm{mod}\, q}{p\leq ...
0
votes
1answer
89 views

Studies of Specific Kinds of Beurling Primes?

I know that Beurling developed a notion of generalized primes (and integers. However, does anyone know if Beurling, or anyone else, studied subclasses of the broader class of Beurling primes that ...
5
votes
1answer
162 views

The sixth power integral moment of automorphic L-function attached to Maass Forms

It is known that the sixth power integral moment of automorphic L-function attached to Cusp Forms has been proved by M. Jutila, that is $\int_{0}^{T}|L(1/2+it,f)|^{6}dt \ll T^{2+\varepsilon}$. And ...
1
vote
0answers
107 views

Equations over $\mathbb{Z}[[T]]$ vs. equations over $\mathbb{Z}_p$

This question might be deemed totally unanswerable, unless there is an obvious counterexample. Answers to either effect would be welcome. Question. Let $X$ be a finite-type scheme over ...
5
votes
1answer
266 views

Parity of primes [duplicate]

While working on a completely different (combinatorial) problem, I ran a simple program to calculate the parity of the first ~50000 primes (number of 1s in their binary representation modulo 2). The ...
2
votes
0answers
137 views

What are the minimal degrees of the real and imaginary part of an algebraic complex number? [closed]

Let $z=a+bi\in\mathbb C$ with $b\ne0$ be an algebraic complex number of minimal degree $n$. It is obvious that $a=\dfrac {z+\bar{z}}2$ and $b=\dfrac {z-\bar{z}}{2i}$ are also algebraic. For $n=3$, it ...
3
votes
1answer
132 views

When are all sums of the elements of a set different?

Consider a set $S = \{x_1, \dots, x_n\} \subset \mathbb{Q}\setminus\{0\}$ and assume that for any $I, J \subset [n]$ with $I \neq J$ we have that \begin{equation} \sum_{i \in I} x_i \neq \sum_{j \in ...
5
votes
1answer
266 views

What does the sum of the reciprocals of all the highly composite numbers converge to?

I've calculated the sum of the reciprocals of all the $156$ first highly composite numbers up to $10^{18}$: $\sum \dfrac{1}{HCC(n)} = \dfrac{1}{2} + \dfrac{1}{4} + \dfrac{1}{6} + \dfrac{1}{12} + ...
3
votes
2answers
422 views

Intuition behind $\zeta(2) = \frac{\pi^2}{6}$ [closed]

In literature, there are many proofs of the well-known result $$\zeta(2) = \frac{\pi^2}{6}.$$ However, as far as I know, they do not offer an intuitive explanation of why this result should be true. ...
9
votes
2answers
371 views

Splitting integers 1, 2, 3, … n to avoid least possible sum

For each positive integer n, partition the integers 1, 2, 3, … 2n into two sets of n integers each. Let g(n) be the least integer such that there is such a partition in neither of whose parts there is ...
1
vote
1answer
102 views

On the Saito Kurokawa representation

I know Saito-Kurokawa(SK) representation is the famous non-tempered representation of $SO(5)$. But since the tempered or non-tempered terms are concerned with local phenomenon, I am wondering that ...
3
votes
1answer
167 views

A number array related to colored necklaces and the primes

I stumbled upon entry OEIS-A208535 on the enumeration of certain kinds of colored necklaces and noticed that the integers for the odd prime rows of the table there seem to be given by the Moreau ...
3
votes
0answers
112 views

Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$. I am ...
8
votes
1answer
186 views

A curious Gauss-Sum type identity

Let $q=e^{2\pi i/m}$, $a\in\mathbb{R}$ and $1\leq j\leq m-1$. I would like to prove that: $$(a-1)\sum_{n=0}^{m-1} q^n\frac{\prod_{k=0}^{j-2} (q^{n+k+1}-a)}{\prod_{k=0}^{j} (aq^{n+k}-1)}=0.$$ For ...
4
votes
0answers
167 views

Monte Carlo variant of Hilbert's Tenth Problem

Let $k \in \mathbb{N}$. Given an algorithm $\mathcal{A}$ which takes as argument a polynomial $P \in \mathbb{Z}[x_1,\dots,x_k]$ and either returns true or false, we say that $\mathcal{A}$ works for ...
2
votes
2answers
144 views

Projection formula for smooth representations of locally profinite groups

Let $G$ be a locally profinite (i.e., locally compact, Hausdorff, and totally disconnected) topological group, $H \le G$ a closed subgroup, $(\pi, V)$ a smooth representation of $G$, and $(\sigma, W)$ ...
3
votes
1answer
114 views

Lower bound of first moment of $L$-function on $\mathrm{GL}(3)$

Let $\pi$ be an automorphic form on $\mathrm{GL}(3,\mathbb{A}_{\mathbb{Q}})$. Do we know any case that \[\int_0^{T} \left|L(\frac{1}{2} + it, \pi)\right| dt \gg T\] holds unconditionally? I know the ...
7
votes
0answers
216 views

On the ratio of Gilbreath sequences

Definitions: let $n \in \mathbb{N}_{>0} \cup \{ \infty \}$ and let $E_n$ be the set of sequences $(d_i)_{i=1}^n$ such that $d_1=1$, $d_i$ is an even integer (for $i > 1$) and $0<d_i \le i$. ...
1
vote
0answers
89 views

Clarifications on twisted forms

Suppose $F = F(\bar{k})$ is a finite algebraic group over a number field $k$. The absolute Galois group $\Gamma_k$ of $k$ acts on $F$ by group automorphisms via a homomorphism $\rho: \Gamma_k \to ...
8
votes
0answers
420 views

Number Theory over $\mathbb{F}_q [t]$, why is it important/interesting?

This is something I was curious about, but not really sure why. I was hoping maybe someone could give me a good explanation. I understand that there are similarities between $\mathbb{Z}$ and ...
3
votes
2answers
206 views

Inequality for an integral involving $ \exp $, $ \sin $ and $ \cos $

Let $ t > 0 $ and $ k \in \{ 0,1,2,\ldots \} $. Does the following inequality hold? $$ \int_{k + 1/2}^{k + 3/2} \frac{x \sin(2 \pi x)}{1 + 2 e^{2 \pi t} \cos(2 \pi x) + e^{4 \pi t}} ...
6
votes
1answer
520 views

A good book on adeles and ideles

Many results in number theory are stated either in a classical language or in an adelic one. I am often impressed of the efficiency and the satisfactory computational properties of the adelic setting, ...
0
votes
2answers
167 views

Equidistribution of rational points on an algebraic variety

Suppose that we have a variety $X \subset \mathbb{P}^{n}$ defined over $\mathbb{Q}$. Suppose we have $S$ many rational points on $X$ inside the box defined by $|x_i| \leq B_i$ for $i = 0, \cdots, n$, ...
2
votes
0answers
142 views

Tate's conjecture and symmetry of Hodge-Tate weights

I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf At page 10 he claims that an indirect ...
5
votes
0answers
105 views

The topology on the Robba ring

I've been reading Kedlaya's paper http://arxiv.org/abs/math/0208027 on finiteness of rigid cohomology and there's something I can't quite resolve in my understanding of the topology on the Robba ring. ...
1
vote
1answer
185 views

Is the Cassels-Tate pairing defined for elliptic curves over function fields?

The Cassels-Tate pairing is typically defined for elliptic curves (or abelian varieties) over number fields, but it seems like it should be defined for elliptic curves over function fields as well. ...
7
votes
0answers
389 views

What is the decomposition group at $p$ in the Galois group unramified outside $\ell?$

Let $p\ne\ell$ be two prime numbers, and let $K_{\ell}$ be the maximal extension of $\mathbb Q$ ramified only at $\ell$ and $\infty$ (i.e. it is the fixed subfield of $\overline{\mathbb Q}$ by all the ...
0
votes
0answers
64 views

What is the proper Zariski-closed subset in these examples for Vojta's more general abc conjecture?

In A more general abc conjecture, p. 7 Paul Vojta conjectures: If $x_0,\ldots x_{n-1}$ are nonzero coprime integers satisfing $x_0 + \cdots x_{n-1}=0$ $$ \max\{|x_0|,\ldots |x_{n-1}|\} \le C ...
6
votes
1answer
181 views

Isotropy of Apollonian disk-packing

Is there any sense in which the "epsilon-tail" of an Apollonian disk-packing (by which I mean the union of the disks of radius less than epsilon) exhibits more and more statistical isotropy as epsilon ...
7
votes
2answers
849 views

Does the Gamma function preserve integers?

Does the Gamma function $\Gamma: \mathbb{C} \to \mathbb{C}$ preserve the Kummer ring $\mathbb{Z}[\exp(2\pi\imath/m)]$? And if not, then what about the Gaussian integers $\mathbb{Z}[\imath]$ or the ...
5
votes
1answer
342 views

Why do $12$ and $120$ occur very often in the denominators of $\zeta(-n)$ for odd $n$?

$\zeta(-n) = - \dfrac{B_{n+1}}{n+1}$ $\zeta(-2n) = 0$ $\zeta(-1) = - \dfrac{1}{12}$ $\zeta(-3) = \dfrac{1}{120}$ $\zeta(-5) = - \dfrac{1}{252}$ $\zeta(-7) = \dfrac{1}{240}$ $\zeta(-9) = - ...
1
vote
0answers
73 views

Definition of primitive divisor of a Lucas sequence

If $\{a_n\}_{n=1}^\infty$ is a sequence of integers, then the definition of primitive divisor of one of its terms is quite natural: Def. 1. A prime number $p$ is a primitive divisor of $a_n$ if $p ...
3
votes
1answer
499 views

what would be the consequences on the distribution of primes of $\Lambda=\infty$?

It is widely believed that the quantity $\Lambda:=\lim\sup\dfrac{t_{n+1}-t_{n}}{2\pi/\log t_{n}}$, where $t_{n}$ is the imaginary part of the $n$-th non-trivial zero on the critical line of the ...
4
votes
0answers
171 views

Moduli interpretation of Eisenstein series

Let $N \geq 11$ be an integer and consider the basis of Eisenstein series for $M_2(\Gamma_0(N))$ described in Theorem $4.6.2$ of Diamond--Shurman's book. Pick and Eisenstein series $F$ in this basis. ...
1
vote
1answer
138 views

What is the ring $A_{\Gamma}$ in the Cohen-Lenstra Heuristics?

I understand the work in Cohen and Lenstra's paper that leads up to the heuristics themselves, where they count weighted averages of functions defined over isomorphism classes of $A$-modules, where ...
8
votes
0answers
149 views

Intersection of a ring class field of a quadratic field K with the cyclotomic extension of K

Let $K$ be a quadratic field. Let $f\in\mathbb{Z}_{\geq 1}$. Let $\mathcal{O}_f=\mathbf{Z}+f\mathcal{O}_K$ be the unique order of $K$ of index $f$ in $\mathcal{O}_K$. Let $H_f^{ring}$ denote the ring ...
4
votes
0answers
136 views

Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves. One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...
6
votes
0answers
103 views

Weyl law for Maass forms with nontrivial character

The classical Weyl law for $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ counts the number of Maass cusp forms on $\Gamma \backslash \mathbb{H}$ with Laplace eigenvalue less than $T$. This is originally due to ...
2
votes
3answers
278 views

Prime factors of the members of a certain recurrence

It is possible to prove elementarily that there are infinitely many primes that divide some element of the sequence $a_0 = k\ge 0$, $a_n = a_{n-1}^2+ 1$ for all $n\ge 1$ by showing that for all $m$, ...
1
vote
0answers
60 views

density of zeroes of Epstein zeta functions on vertical strips

There are many results (e.g. Davenport and Heilbronn) asserting that Epstein zeta functions in general have zeroes outside the line $\mathrm{Re\ } s = n/4$. Is there any result about the density of ...
3
votes
4answers
435 views

solutions to special diophantine equations [closed]

Let $0\le x,y,z,u,v,w\le n$ be integer numbers obeying \begin{align*} x^2+y^2+z^2=&u^2+v^2+w^2\\ x+y+v=&u+w+z\\ x\neq& w \end{align*} (Please note that the second equality is ...
0
votes
0answers
58 views

For which recurrence relations is it decidable whether a formal power series has a maximal zero coefficient?

In this MSE question, I asked whether one can prove that a generating function has infinitely many coefficients equal to zero. The answer given (and accepted) to that rather broad question was “No”. ...
0
votes
0answers
72 views

Are the first ten zeros of this Dedekind zeta function non-simple?

This question asks about the zeros of the zeta function of the number field with defining polynomial: ...
0
votes
1answer
306 views

The periodic architecture underlying the natural numbers [closed]

EDIT In the original version of this post I did not include a well specified mathematical question, and learning by failing, I realize there should have been. Closing or deleting the question is the ...
8
votes
0answers
238 views

Zero's in the decimal representation of powers of 3

This looked like an easy exercise, when a friend of mine asked me if I know a way to prove that the decimal representation of $3^k$ always contains a zero for $k\ge k_0$, but the more I think about ...
15
votes
0answers
387 views

Does $\binom{2n}{n} \equiv 2 \pmod p$ ever hold?

Well, the title does not tell the whole story; the complete question is: Are there any primes of the form $p=2n(n-1)+1$, with integer $n\ge 1$, such that $$ \binom{2n}{n} \equiv 2\pmod p ? $$ ...
3
votes
0answers
151 views

Fourier expansions of newforms at width-1 cusps

Let $f_E$ be the newform attached to the Elliptic Curve $E$ with cremona label $\textbf{100a1}$ and let $\alpha = \left[\begin{matrix} 1&0 \\ 10&1 \end{matrix}\right] \in SL_2(\mathbb{Z})$. ...
1
vote
1answer
124 views

Factorisation of local quaternionic zeta functions

Vignéras, in her Arithmetics of quaternion algebras, begin chapter II.4 recalling that we know the number of integer ideals of fixed norm of a quaternion algebra $H$ over a local field $K$, ramified ...
1
vote
1answer
236 views

Conjecture on prime numbers

Given a prime $p$, let $a_n=pn+n-1$. I have noticed that $\forall{p}\exists{n}\in[2,p]:a_n\in\mathbb{P}$. For example: $p=7,a_3=23,a_4=31,a_6=47$. What is this conjecture called, and has it been ...