Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
2 answers
363 views

Largest prime factors of integer polynomials

I have a question in analytic number theory which is closely related to the open problem (Bunyakovsky conjecture and more generally, Schinzel's hypothesis H) that asks you if, any irreducible ...
James Moriarty's user avatar
8 votes
1 answer
868 views

Brauer–Siegel's Theorem and application

$\newcommand\underto[1]{\xrightarrow[#1]{}}$Brauer–Siegel's Theorem says that if we consider an infinite sequence of number fields $K_i/\mathbb{Q}$ such that $$\frac{[K_i:\mathbb{Q}]}{\log{|D_i|}}\...
Alphaone's user avatar
  • 103
3 votes
1 answer
203 views

Chowla's theorem on class number of real quadratic field

Let $p\equiv1\bmod 4$ be a prime number and $h$ the class number of real quadratic field $\mathbb Q(\sqrt{p})$, $\epsilon=\frac{t+u\sqrt{p}}{2}$ its fundamental unit. In this paper https://www.pnas....
HGF's user avatar
  • 287
2 votes
0 answers
107 views

Record for determining complete list of imaginary quadratic fields with small class number

In 2003, Mark Watkins (Class numbers of imaginary quadratic fields) determined all imaginary quadratic fields having class number at most 100. Has this list been improved? That is, what is the largest ...
Stanley Yao Xiao's user avatar
1 vote
0 answers
133 views

Automorphy of the twisted representation

The Artin reciprocity says that if $$ \chi: \operatorname{Gal}(K/\mathbb Q) \to \mathbb C $$ is a 1-dimensional representation of a finite Galois extension $K/ \mathbb Q$, then it corresponds to a ...
LWW's user avatar
  • 663
2 votes
0 answers
110 views

Gaussian primes in translations of lattices in $\mathbb{Z}[i]$

I am considering undertaking some independent research in my summer break studying Gaussian primes in translations of lattices in $\mathbb{Z}[i]$, i.e. sets of the form $ \{ a+sx+tw:s,t \in \mathbb{Z} ...
Daniel Lang's user avatar
1 vote
0 answers
59 views

A question on generalized bases

I just came to know that it is possible to define a generalized base as an infinite sequence of natural numbers $\mathbf b=(b_1,b_2,\dots)$ where $b_i\ge 2$ for all $i$. With this definition, any $m\...
Dumbest person on earth's user avatar
4 votes
1 answer
224 views

Generators of the ideal class group

Theorem 4 of Eric Bach's "Explicit bounds for primality testing and related problems" states the following: Let $K$ be a number field of degree greater than 1. Let $d$ be the absolute value ...
Rashad Ek's user avatar
2 votes
1 answer
264 views

'$\times$' or '$\otimes$' when writing $L$-functions?

Recently, I came across the Langlands correspondence theorem, there is the following line: $$L(s,\pi(\sigma) \times \pi(\tau)) = L(s,\sigma \otimes \tau), $$ where $\sigma$ and $\tau$ are ...
Misaka 16559's user avatar
0 votes
0 answers
44 views

Asymptotic counts for imaginary quadratic discriminants with fixed splitting conditions

Let $p$ be prime and $r$ be a positive integer. I am interested in asymptotics for the number of imaginary quadratic discriminants $d$ such that $p$ does not divide the conductor of $d$, $p$ splits ...
stillconfused's user avatar
2 votes
2 answers
283 views

Expressions for binomial residue sum $\sum_{k=0}^n {n \choose k} x^k \left( \frac{k}{q} \right)$

I'm interested in the sum: $$\sum_{k=0}^n {n \choose k} x^k \left( \frac{k}{q} \right)$$ where $q$ is a prime number. This is just the binomial expansion with an extra weight on quadratic residues ...
mtheorylord's user avatar
2 votes
0 answers
103 views

On equidistribution of primes in positive characteristic

In S. Lang's book "Algebraic Number Theory" (1986), page 317, Theorem 6 states essentially that given $P$ a set of primes, let $\tau:P\longrightarrow J$ be the typical idèle map taking ...
Hair80's user avatar
  • 675
3 votes
1 answer
538 views

Density of prime ideals of a given degree

Let $K$ be a number field. For each ideal $I$ of the ring of integers $\mathcal{O}_K$ let $N_K(I)$ denote the norm of $I$. For a prime $\mathfrak{p}\subset \mathcal{O}_K$ above the rational prime $p\...
Tristan Phillips's user avatar
0 votes
1 answer
112 views

Statistics of action of Galois group of number field on primes over unramified rational primes

Let $p \in \mathbb{Z}$ be prime and $K / \mathbb{Q}$ be a finite Galois extension. The Galois group $G$ of $K$ acts on the primes of $\mathcal{O}_K$ over $p$. Do we know any statistical information ...
Vik78's user avatar
  • 658
7 votes
0 answers
162 views

Relation between the additive Haar measure on $(K,+)$ and the multiplicative Haar measure on $K^{*}$ for a global field $K$

The following question comes from my studying of Alain Connes's paper Trace Formula in Noncommutative Geometry and the Zeros of the Riemann Zeta Function. In it, on p. 11, Connes notes that if $K$ is ...
The Thin Whistler's user avatar
-2 votes
2 answers
149 views

Calculate the great common factor between $2^{2n+1}-1$ and $2^{4m+2}+1$ [closed]

How to calculate the great common factor between $2^{2n+1}-1$ and $2^{4m+2}+1$, where $n$ and $m$ are positive numbers. We guess that: the great common factor is $1$.
C. Simon's user avatar
  • 577
10 votes
1 answer
398 views

Vinogradov-Korobov prime number theorem for number fields

Without assuming the Riemann hypothesis, the traditional error bound of the prime-counting function $\pi(x)$ is $O(x\exp(-c(\log(x))^{1/2}))$. As shown by the Wikipedia page for the Landau prime ...
George Bentley's user avatar
14 votes
0 answers
446 views

Is every prime $q$ of the form $x^2 + py^2$ for some prime $p<q$?

For every odd prime $q \geq 3$, does there exist a prime $p < q$ and integers $x,y$ such that $$\displaystyle x^2 + py^2 = q?$$ One can easily show that all primes $q \not \equiv -1 \pmod{3}$ can ...
Stanley Yao Xiao's user avatar
1 vote
0 answers
115 views

Integral points in smooth cubic curves

Let $X$ be a smooth affine cubic curve in $\mathbb A^2$ defined by $f(T_1,T_2)\in\mathbb Z[T_1,T_2]$ (of course $\deg(f)=3$ by definition), and $$n(f, B)=\{(x_1,x_2)\in\mathbb Z^2| |x_1|\leq B, |x_2|\...
var's user avatar
  • 403
4 votes
1 answer
520 views

Proving $\zeta_K\left(\frac12\right)\neq 0 \implies \zeta_K'\left(\frac12\right)\neq0?$

For an algebraic number field $K$, let $\zeta_K(s)$ be the Dedekind zeta function associated to $K$, and let $\zeta_K'(s)$ be its derivative. I believe that the following statement is true: $$\zeta_K\...
Permutator's user avatar
2 votes
0 answers
356 views

Classifying solutions of a certain Diophantine Equation

The following question arose from a problem I am working on. Let $N, k$ be positive integers. Consider the Diophantine equation in $a, b, c$: $$ \frac{1}{a} + \frac{N - 1}{b} = \frac{N^k}{c} $$ with ...
Sayan Dutta's user avatar
7 votes
0 answers
118 views

Upper bound on $\#\{p \leq B :\#E(\mathbb{F}_p) \equiv a \mod b\}$ for large $b$

Let $E$ be a fixed elliptic curve over $\mathbb{Q}$. Is there a good upper bound on $\#\{p \leq B :\#E(\mathbb{F}_p) \equiv a \mod b\}$ when $b$ is large (maybe around $\sqrt{B}$)? I don't mind ...
johng23's user avatar
  • 270
0 votes
1 answer
305 views

Generalization of Gauss's class number one problem

Gauss's class number one problem for imaginary quadratic fields, now a theorem due to Heegner, Stark, and Baker (independently), asserts that the set of imaginary quadratic fields having class number ...
Stanley Yao Xiao's user avatar
10 votes
1 answer
841 views

Infinitely many primes that split completely in an arithmetic progression

Let $d \geq 1$ be an integer. Dirichlet's theorem on arithmetic progression implies that the arithmetic progression $a, a+d, a+2d, \ldots$ contains infinitely many primes if and only if $\gcd(a,d)=1$. ...
Xiao Xiao's user avatar
  • 103
4 votes
0 answers
197 views

Bailey's lemma in number theory

A pair of sequences $(α_n,β_n)$ is called a Bailey pair if they are related by $$\beta_n=\sum_{r=0}^n\frac{\alpha_r}{(q;q)_{n-r}(aq;q)_{n+r}}$$ or equivalently $$\alpha_n = (1-aq^{2n})\sum_{j=0}^n\...
gagamaga's user avatar
2 votes
0 answers
1k views

Advanced texts on analytic number theory?

So a friend of mine is very interested in analytic number theory, and is looking for resources past the basic level. He has studied analytic number theory from several books, among them are Hardy’s ...
1 vote
0 answers
84 views

How common are semiprimes with equally bitsized factors among semiprimes with equal bitsize?

I am curious about the following after having looked at the paper "Almost primes in almost all short intervals", theorem 3 says: Almost all intervals $[x, x + \log^{3.51}{(x)}]$ with $x ≤ X$...
factorn's user avatar
  • 11
2 votes
2 answers
263 views

Sign of the special value at s=0 of Hecke L-functions

Let $L/K$ be an abelian extension of number fields with Galois group $G$ and let $\chi : G \to \{\pm 1\}$ denote a real linear character of $G$. Denote $L(\chi,s)$ the Artin L-function associated to $\...
Adrien MORIN's user avatar
3 votes
1 answer
261 views

Consecutive integers that are coprime to a given number

Let $n \in \mathbb{N}$. Is there a general formula for $|\{1 \leq k \leq n \mid (k(k+1),n)= 1\}|$? Or even more generally, for $1 \leq r < n$, is there a formula for $|\{1 \leq k \leq n \mid (k(k+r)...
Nick's user avatar
  • 191
6 votes
0 answers
456 views

Conditions under which an $\eta$-quotient becomes a **weak** modular form (reference request for theorems similar to Ligozat's theorem)

For any $z \in \mathcal{H}$, let $q = e^{2\pi iz}$; and the eta function is defined as ${\displaystyle \eta (q) =q^{\frac {1}{24}}\prod _{n=1}^{\infty }\left(1-q^{n}\right).}$ By an $\eta$-quotient ...
Davood Khajehpour's user avatar
2 votes
1 answer
159 views

On some claims on cyclic modules over Hecke algebra used in Serre's "Quelques applications du théorème de densité de Chebotarev"

I have been reading section 7 of Serre's "Quelques applications du théorème de densité de Chebotarev" (http://www.numdam.org/item/PMIHES_1981__54__123_0/), and in particular have been trying ...
asrxiiviii's user avatar
2 votes
0 answers
245 views

Ambiguity about the exact definition of coefficients of modular forms

You can see the parts after my questions in the boxes. I received the answer to my first question in the comments. I am confused about the definition of $a_n$ and $b_n$ in Part II below. I know the ...
Tireless and hardworking's user avatar
2 votes
0 answers
270 views

Generalized Siegel Weil formula

I am studying the following Poincare-like series, \begin{equation} F_k(\tau,\bar{\tau})=\sum_{\gamma\in\Gamma_{\infty}\backslash\Gamma}\sqrt{\text{Im}\gamma\tau}(q_{\gamma}\bar{q}_{\gamma})^k, \end{...
Sounak Sinha's user avatar
1 vote
0 answers
172 views

Does Lemma 5.4 in Deligne's Ramanujan paper generalize to Shimura varieties of PEL type?

It is generally not known if a smooth variety over a perfect field embeds into a smooth proper variety. Lemma 5.4 in Formes modulaires et représentations $\ell$-adiques provides such an embedding for ...
soft-drinks's user avatar
1 vote
0 answers
135 views

Modularity for $\mathrm{GL}_2/\mathbb{Q}(\sqrt[3]{2})$ [closed]

What is known about modularity for $\mathrm{GL}_2/\mathbb{Q}(\sqrt[3]{2})$?
BFK's user avatar
  • 11
5 votes
0 answers
349 views

Smallest prime $p$ such that $2\mid\operatorname{ord}_p(q)$, the multiplicative order of $q$ modulo $p$

$\DeclareMathOperator\ord{ord}$Let $q$ be prime. I want to upper bound the smallest odd prime $p$ such that $2\mid\ord_p(q)$ (where $\ord_p(q)$ is the multiplicative order of $q$ modulo $p$). Using ...
Tejas Rao's user avatar
  • 101
3 votes
2 answers
257 views

On the arithmetic of powers of subseries of the exponential series

Let $p$ be a prime number and $q=p-1$. I’m trying to prove that the nonzero coefficients $a_{qk}$ ($k\ge1$) of the power series $$ \sum_{k\ge1} a_{qk} z^{qk} := \left( \sum_{k\ge0} \frac{z^{qk+1}}{(qk+...
user313592's user avatar
5 votes
0 answers
205 views

Is there a polynomial version of Wilson's theorem which can avoid Cramer flavored conjectures?

Wilson's theorem states that a natural number $n > 1$ is a prime number if and only if the product of all the positive integers less than $n$ is one less than a multiple of $n$. Is there a version ...
Turbo's user avatar
  • 13.9k
7 votes
1 answer
635 views

Is there a Chebotarev‘s theorem for non-Galois extension over Q?

For a Galois extension $K/\mathbb{Q}$, the Chebotarev Density Theorem predicts the density of primes with a certain splitting type. I'm wondering if there is a similar result for non-Galois extension? ...
Yuan Yang's user avatar
  • 547
5 votes
0 answers
274 views

Goldfeld resolution of the quadratic class number problem

Goldfeld proved the following result. Let $E$ be an elliptic curve (with conductor $N$) over $\mathbb{Q}$ whose Hasse-Weil L-function has a zero at $s = 1$ with multiplicity $g$ then for sufficiently ...
Melanka's user avatar
  • 577
3 votes
0 answers
186 views

Maximum value of newform from Galois representation

One can attach $\ell$-adic Galois representations to holomorphic cuspidal newforms of weight $2$ on the upper half-plane. If a newform is $L^2$-normalized, can one extract its maximum value from the ...
sup's user avatar
  • 39
7 votes
1 answer
400 views

Splitting of small primes in number fields generated by the torsion of elliptic curves

Suppose $E/\mathbb Q$ is a non CM elliptic curve and we look at the number field $K_d$ generated by the $d$-torsion of $E$. What is known about the (complete) splitting of small primes in $K_d$? More ...
Asvin's user avatar
  • 7,746
12 votes
1 answer
1k views

Where should I learn about the p-adic L-functions of elliptic curves?

Where is the best place to learn about the p-adic L-functions of Elliptic Curves? Doing a bit of research I have found books like "An Introduction to Cyclotomic Fields" by Washington, but ...
Milo Moses's user avatar
  • 2,902
1 vote
0 answers
170 views

Degree of compositum of all number fields under given discriminant

For an integer $n\geq 1$ define $f(n)$ to be the degree of the compositum of all number fields with discriminant at most $n$. What bounds are known on $f(n)$?
J Xiang's user avatar
  • 11
4 votes
2 answers
331 views

Richaud-Degert type quadratic extensions

A Richaud-Degert type real quadratic field is a number field of the form $K = \mathbb{Q}(\sqrt{d})$ where $d = {(an)}^2 + ka > 0$ for positive integers $a, n$ and $k \in \{ \pm 1, \pm 2, \pm 4 \}$, ...
Melanka's user avatar
  • 577
1 vote
0 answers
132 views

Stabilizers of points in the upper half-plane

Suppose that $\Gamma$ is a group acting discontinuously on $\mathcal{H} = \{ z \in \mathbb{C} : \operatorname{Im}(z) > 1\}$. In order to keep things simple, suppose that $\Gamma \subseteq \...
Oiler's user avatar
  • 163
3 votes
0 answers
534 views

Serge Lang's proof of Brauer-Siegel theorem

I was reading through chapter 16 of Lang's Algebraic Number Theory book. The chapter is fully devoted to proving the Brauer-Siegel theorem: Let ${(k_n/ \mathbb{Q})}_n$ be a sequence of galois ...
Melanka's user avatar
  • 577
4 votes
1 answer
355 views

Clarification regarding a claim in Heilbronn’s 1934 paper

I was reading Heilbronn’s 1934 paper where he proves that $H(d) \to \infty$ as $d \to -\infty$, where $H(d)$ is the ideal class number of the imaginary quadratic field with discriminant $d$. I couldn'...
Melanka's user avatar
  • 577
9 votes
1 answer
235 views

Are the class numbers of $\mathbb{Q}(\cos(2\pi / m))$ $O(m^n)$ for some fixed $n$?

Question: Are the class numbers of $\mathbb{Q}(\cos(\frac{2\pi}m))$ $O(m^n)$ for some fixed $n$? Evidences (e.g. a recent paper) showing that the question above is open are also OK. Remark: If such $n$...
LeechLattice's user avatar
  • 9,501
4 votes
1 answer
196 views

Generalization of $\lim_{n \rightarrow \infty} \prod_{i=1}^{n}\frac{2i-1}{2i}$ for a character $\chi:\mathbb{Z}/s \mathbb{Z} \rightarrow \mathbb{C}^*$

Playing with some infinite products I came up with this problem, that I'm not able to figure it out by myself. Moreover in the internet it doesn't seem to appear anywhere. Maybe it is just an easy ...
gigi's user avatar
  • 1,343