# Tagged Questions

Prime numbers, diophantine equations, analytic or algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

77 views

### The Linnik problem for dimension $2$

For $N$ an integer, let $$\Omega_N:=\left\{\frac{\alpha}{\|\alpha\|}|\alpha \in\textbf{Z}^n~\text{and}~\|\alpha\|^2=N\right\}.$$ For $n=3$, Linnik asked if the set $\Omega_N$ was uniformly distributed ...
203 views

### On the size of residue class

Let $n \in \mathbb{N}$ be a odd number. Let $S \subseteq \{1,3,5,7,...,n-2,n\}$ and $|S|$ is even number. Let $R_i^k=\{a \mid a \in S \text{ } \&\text{ } a\equiv i \text{ }(mod \text{ } k)\}$ ...
234 views

### Computational number theory

Suppose that $p$ is prime and $q$ is an even number divides $p-1$, such that $q<\frac{p-1}{q}$ and $u$ has order $q$ modulo $p$. Let $S$ be the subgroup of $Z^*_p$ consisting of the powers of $u$. ...
396 views

### Does Littlewood's bound on $\zeta(1+it)$ extend to all the partial sums?

Littlewood established that $2e^{\gamma} \geq \limsup_{t \to \infty} |\zeta(1+it)| / \log{\log{t}} \geq e^{\gamma}$, the lower bound unconditionally and the upper bound on RH. It now seems to be ...
295 views

143 views

### Criteria for the surjectivity of the reduction map of the $SL_n$-group scheme

Let $R$ be a commutative ring and let $I\subseteq R$ be an ideal. We have a natural projection map $$\pi:SL_n(R)\rightarrow SL_n(R/I)$$ (In the original question I had put $GL_n$ instead of $SL_n$ ...
220 views

### Hilbert modular forms twist-equivalent to their conjugates

Let $L / K$ be a solvable (or cyclic) Galois extension of totally real fields, and let $f$ be a Hilbert modular newform over $L$. Suppose that, for every $\sigma \in Gal(L / K)$, the conjugate ...
102 views

### Combinatorial splitting in number rings

The goal of this problem is to see if there is a structured way to factor numbers constructed from a set of distinct odd primes $p_1$ through $p_n$ in a number ring. Take an arbitrary non empty ...
335 views

### Jacobi's theorem on sums of two squares (reference request)

One of Jacobi's theorems states that the number of representations of a positive integer $n$ as a sum of two squares of integers equals $$4(d_1(n)-d_3(n)),$$ where the function $d_i$ counts the number ...
369 views

### Can you use Chevalley‒Warning to prove existence of a solution?

Recall the Chevalley‒Warning theorem: Theorem. Let $f_1, \ldots, f_r \in \mathbb F_q[x_1,\ldots,x_n]$ be polynomials of degrees $d_1, \ldots, d_r$. If $$d_1 + \ldots + d_r < n,$$ then the ...
273 views

### Geometry of numbers argument: counting integers with some linear condition

I am interested in the proof of the following result: Suppose that $A > 1$, $\lambda \in \mathbb{R}$, and for $0 < Z \leq 1$, let $U(Z)$ be the number of integer solutions $v$ of \begin{...
709 views

### Smallest solution to $x^2 \equiv x\pmod{n}$

Given $n$, is it possible to upper bound the smallest $x > 1$ that satisfies the congruence $x^2 \equiv x\pmod{n}$? Obviously when $n$ is a prime power $x = n$, and we are in the worst situation. ...
85 views

### Reference request: Bounding exponential sum $\sum_{x \in [0,X]} \Lambda(x) e(\beta_d x^d + \ldots + \beta_1 x )$

Let $1 \leq i \leq d$, $q \in \mathbb{N}$, and $0 \leq a_{i} < q$. Let $$\mathfrak{M}^{(i)}_{a_{ i}, q} (C) =\{ \beta_{i} \in [0,1) : | \beta_{i} - a_{i}/q | \leq (\log X)^{C} X^{-i} \} .$$ We ...
218 views

### How to count fixed-sized subsets of pairwise co-prime numbers less than a prime, satisfying an additional ‎constraint‎?

In part of my research, I need to count (or find a polynomial bound for) the number of ‎possible ‎ways to select $n$ distinct integers less than the prime $p$, say $r_1, r_2, …, r_n$, which ‎are ...
637 views

### Congruence equation and quadratic residue

The following observation makes me quite confused when I am trying to count the number of solutions of the equation: $$\sum_{k=0}^{M}{M \choose k}^2x^k=0$$ on finite fields $\mathbb{F}_p$ with the ...
112 views

### Is a positive integer determined by its sequence of typical primality radii?

This question is a follow-up to About Goldbach's conjecture . Assuming the truth of Goldbach's conjecture, suppose $n$ and $m$ are two positive integers such that $N_{2}(n)=N_{2}(m)=:N$ and that ...
166 views

### A $p$-adic sum of reciprocals of powers

Let $p$ be a prime number and $k\geq 2$ an even integer. Consider the following $p$-adic integer: $$S_{p,k} := \lim_{r\to+\infty} \sum_{a=1}^{p^r} \big(\frac{p^r}{a}\big)^k$$ Convergence is easy to ...
145 views

### Complete subring of F_p[[X]]

Pointed out on famous disbelief, I know now that there is an embedding $\iota_n \colon {\Bbb F}_p[[T_1,...,T_n]] \hookrightarrow {\Bbb F}_p[[X,Y]]$ for any $n \leq \infty$. Then I would like to ask ...
145 views

### Lifting points via étale morphism of adic spaces

This question was suggested to me during the reading of Huber's book about Etale Cohomology of Adic Spaces. I formulate this question here in the context of adic spaces, but I think, since a morphism ...
257 views

56 views

71 views

### least integer for a related factorial

Let $p$ be a prime, $d$ a divisor of $p-1$, $j$ an integer with $0 \le j<d$. Let $n\in\mathbb N$. Does there exist a formula giving the least integer $m$ such that $$v_p((dm)!)\ge v_p((dn)!)+j+dn?$$...