Questions tagged [nt.number-theory]

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

2,946 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
15
votes
0answers
1k views

Special values of Artin L-functions

This question might be naive and might carry the heuristic that we are living in the best possible world a little too far. If so, I appreciate being told so. Background: Stark's conjecture interprets ...
14
votes
0answers
382 views

Finite version special case Jacobi triple product formula

In this paper, Shanks uses the following formula: $$ \sum_{s=0}^{n-1}q^{s(2n+1)} \times \left( \prod_{k=s+1}^{n} \dfrac{1-q^{2k}}{1-q^{2k-1}}\right) = \sum_{s=1}^{2n} q^{\frac{s(s-1)}{2}}$$ to get a ...
14
votes
0answers
353 views

Failure of local Fontaine Mazur

This question unfortunately has a very similar name to this one, but I what want to ask here is different. Let $K$ be a finite extension of $\mathbb{Q}_p$. It seems to be well known that the local ...
14
votes
0answers
423 views

If $ab^2$ is a sum of three squares, then so is $a$. How to see it quickly?

Here $a, b$ are positive integers, and the squares are the squares of integers. This follows from Legendre's three squares theorem, but is there a direct way?
14
votes
0answers
1k views

Explicit example of elliptic curve of the kind needed for IUTT

At the nLab, we are currently trying to illustrate the definition of initial theta-data in Mochizuki's first IUTT paper by means of an explicit example. The exposition should end up at the following ...
14
votes
0answers
422 views

Moments of derivatives of $L$-functions

I'd like to know why it is important to know the moments of the derivatives of $L$-functions. The moments of $L$-functions are related to the Lindelöf Hypothesis, but what about the moments of the ...
14
votes
0answers
1k views

Status of the “anabelian dream” ($\mathrm{dim} \leq 1$)

The anabelian conjectures for small dimensions have been known for quite some time. In full generality the results are: Dimension 0. Finitely generated fields are anabelian (Pop) Dimension 1. ...
14
votes
0answers
391 views

Counting abelian varieties over finite fields in a given isogeny class

Let $f(x) \in \mathbb Z[x]$ be a monic polynomial of degree $g$ with all roots having absolute value $\sqrt{q}$. How many principally polarized abelian varieties over $\mathbb F_q$ have $f(x)$ as the ...
14
votes
0answers
419 views

Is the absolute Galois group of the rationals Hopfian?

Is every continuous epimorphism from the absolute Galois group of $\mathbb{Q}$ to itself injective?
14
votes
0answers
599 views

Can there be arbitrarily many cubic fields unramified outside $\{p,\infty\}$?

Observe, trivially, that since quadratic fields correspond to rational integers modulo squares (viz. discriminants), there are (roughly about, but certainly at most) $2^{|S|+1}$ quadratic fields ...
14
votes
0answers
730 views

On quintic roots $x_1^{1/5}+x_2^{1/5}+\dots+x_5^{1/5}$

(Major revision to incorporate new results in this MO cubic version.) Note: All coefficients are in the rationals. I. Cubic In the linked post, it was shown that given a general cubic (via its ...
14
votes
0answers
260 views

What's the dimension of the space of CM cusp forms?

I would guess that the following is very well known, but I don't know the answer and I couldn't find anything with some googling. Let $\Gamma \subset \mathrm{SL}(2,\mathbf Z)$ be a congruence ...
14
votes
0answers
533 views

Positive binary quadratic form plus univariate monic cubic (giving Hilbert class field)

We have the Lucas numbers, $$ L_1 = 1, \; L_2 = 3, \; L_3 =4, \; L_4 = 7, L_5 = 11, \; L_{n+2} = L_{n+1}+ L_n \; . $$ Question: is it the case that $$ f(x,y,z) = 4 x^2 + 3 x y + 9 y^2 + z^3 + 3 z $$...
14
votes
0answers
1k views

Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable. ...
14
votes
0answers
843 views

Structure of the algebra of mod $p$ modular forms

Let me first define the algebra $M$ I am talking about: let us fix a prime $p$, an integer $N$ not divisible by $p$. For $k$ an integer, let me call $N_k$ the $\mathbb{Z}$-module of modular forms of ...
14
votes
0answers
429 views

Cohomological interpretations of quadratic form invariants over rings?

The standard approach to classifying of quadratic forms over $\Bbb Q$ is to use the Hasse (local-global) principle together with a system of standard invariants of quadratic forms over the local ...
14
votes
0answers
448 views

Any references on zeta-function like sums of inverse determinants over lattices of matrices?

I'm sorry for the title, it was little difficult to phrase.. Let us consider a matrix lattice $L\subset M_n(\mathbb{C})$. By this I mean a discrete additive group in $M_n(\mathbb{C})$. Let us ...
14
votes
0answers
696 views

Galois theory: Generalization of Abel's Theorem?

Let $L$ stand for the field obtained by adjoining to ${\Bbb Q}$ all roots of all polynomials of the form $x^n+ax+b$, $a,b\in {\Bbb Q}$. What polynomials $p$ don't split over $L$? In particular, ...
13
votes
0answers
119 views

Geometry of algebraic curve determined by point counts over all number fields?

Let $C$ be a smooth irreducible projective curve of genus $g>1$ over a number field $K$. The Mordell conjecture (first proved by Faltings) says that for any finite field extension $L/K$ (say, ...
13
votes
0answers
432 views

When does the product equal the sum?

Let $R$ be a commutative ring with identity and $R^n$ be the direct sum of $R$. Find all $a_1, a_2, \cdots, a_n \in R$ such that $$a_1 + a_2 + \cdots + a_n = a_1a_2\cdots a_n,$$ or, in other words, if ...
13
votes
0answers
345 views

Hensel lemma and rational points in complete noetherian local ring

Let $A$ be a complete noetherian local ring and $\mathfrak{m}$ be its maximal ideal. If we have several polynomials $f_i \in A[X_1, \dots, X_m]$ which have a common zero $x_n$ in $A/\mathfrak{m}^n$ ...
13
votes
0answers
308 views

A determinant problem for primes $p\equiv 1\pmod4$

Let $p$ be an odd prime, and let $A_p$ denote the matrix $$[a_{ij}]_{1\le i,j\le (p-1)/2},$$ where $$a_{1j}=\left(\frac jp\right),\ \ \text{and}\ \ a_{ij}=\left(\frac{i^2+j^2}p\right)\ \text{for}\ i&...
13
votes
0answers
339 views

Lifting automorphic Galois representations to arithmetic fundamental groups and their quotients

Suppose $V$ is an algebraic variety over a number field $K$. The absolute Galois group $G_K$ of $K$ acts by outer automorphisms on the étale fundamental group $\pi_1(V_{\bar{K}})$ where $\bar{K}$ is ...
13
votes
0answers
1k views

Inter-Universal Teichmuller Theory and the Field with One Element

The idea of the "field with one element", or $\mathbb{F}_{1}$, is supposed to allow us to do for number fields what we can do for function fields. Hence this idea often comes up regarding problems ...
13
votes
0answers
208 views

Group homology $\mathrm{SL}_2$ acting on $\mathrm{Sym}^g$

Let $k$ be a field. We write $\mathrm{Sym}^g(k^2)$ for the $g$-th symmetric power of the (a?) standard representation of $\mathrm{GL}_2(k)$ ($g\geq 0$ an integer). Here I consider $\mathrm{Sym}^g(k^2)$...
13
votes
0answers
548 views

Special configurations on a circle from a homological algebra problem

Here is the short version of the combinatorial problem: Given a positive integer $n \geq 2$. Draw a circle with $2n$ points indexed by the numbers from $\mathbb{Z}/ 2n \mathbb{Z}$. We colour the ...
13
votes
0answers
684 views

Intersection between the sums of the first positive integers, primes and non primes

Is the following conjecture true ? $$\left\{\sum\limits_{\begin{array}{c}k=1\\k\in\mathbb{Z}\end{array}}^nk \ |\ n\in\Bbb Z\right\} \cap \left\lbrace \sum\limits_{\begin{array}{c}k=1\\k\in\mathbb{Z}...
13
votes
0answers
285 views

Is the set of numbers $\{ [n^{3/2}] \mid n\text{ an integer}\}$ a basis of order 3?

A set of integers is called a basis of order h if every nonnegative integer can be written as the sum of h not necessarily distinct elements of the set.(Nathanson, Additive Number Theory, page 7) ...
13
votes
0answers
2k views

Distribution of digits of $pq$-adic idempotents (aka “automorphic numbers”)

Let $p$ and $q$ be distinct primes. By the ring of $pq$-adic integers I mean the ring $\mathbb{Z}_{pq} := \varprojlim \mathbb{Z}/(pq)^n\mathbb{Z}$ which is obviously isomorphic to $\mathbb{Z}_p \...
13
votes
0answers
488 views

If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$?

Question : For every even $k\ge 4$, is the following $(\star)$ true? $$\begin{align}\text{If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$.}\...
13
votes
0answers
569 views

L-Functions of Varieties, Zeta Functions of Their Models

Let $k$ denote a number field, with algebraic closure $\bar{k}$. Take a smooth, projective variety $X$ over $k$. If $\mathfrak{p}$ is a prime of $k$, and $l$ is a rational prime different to the ...
13
votes
0answers
386 views

Integer-valued power towers

$$\text{Let }f_n(a)=\underbrace{2^{2^{.^{.^{.^{2^a}}}}}}_{\text{$n$ 2s}}.$$ Obviously, $f_n(a)$ is an integer for every positive integer $n$ and non-negative integer $a$. Are there any positive ...
13
votes
0answers
541 views

Should the number of small solutions in Roth's theorem be bounded uniformly, assuming the target is an algebraic integer?

Consider, on the one hand, algebraic integers $\alpha$ and their rational approximants to within a varying exponent $\kappa > 2$; and on the other hand, smooth projective geometrically irreducible ...
13
votes
0answers
575 views

What's about N. M. Katz' “over-world” of exp. sums?

Having just read in N. M. Katz' beautiful old survey on exponential sums a d differential eq.s, I wonder what became out of his question (on p. 297 - 300) on a "general conceptual framework in which ...
13
votes
0answers
492 views

Higher-dimensional algebraic subgroups of the proalgebraic Nottingham group?

Let $R$ be a commutative ring, and, for $n\ge0$, ${\mathcal{A}}_n={\mathcal{A}}_n(R)$ the group of series $u(x)=\sum_0^\infty a_jx^{j+1}\in R[[x]]$ for which $a_0\in R^\times$ and $u(x)\equiv x\pmod{x^...
13
votes
0answers
8k views

Deligne's letter to Jean-Pierre Serre

I'm looking for another letter of Pierre Deligne, this time to Jean-Pierre Serre (from around 1974 I think), in which he proves that the Galois representation associated to a certain Hecke eigenform ...
13
votes
0answers
644 views

Is “OEIS A001935 Number of partitions with no even part repeated” efficiently computable $\mod 4$?

Is A001935 Number of partitions with no even part repeated efficiently computable $\mod 4$? I am interested because of this relation with sum of divisors of $8n+1$. $\sigma(8n+1) \equiv A001935(n) \...
13
votes
0answers
944 views

Stickelberger's congruence for Gauss sums

We begin with (unfortunately, quite a bit of) notation necessary to state Stickelberger's congruence: Fix an integer $k>1$, and let $p$ be a prime number not dividing $k$. Let $r$ be the smallest ...
13
votes
0answers
750 views

Does Fermat hold in non-standard models?

Let $n \geq 3$ be a natural number and $PA$ denote Peano arithmetic. Do we have $PA \models \forall x,y,z \geq 1 : x^n + y^n \neq z^n$? In other words, does Fermat's Last Theorem hold also in non-...
13
votes
0answers
1k views

A question about Mobius inversion

I don't know how precise I can make this question. I want to know whether there is a theorem that says that a certain phenomenon always happens, but I think the best I can do in order to pin down the ...
13
votes
0answers
721 views

A conjecture on p-divisibility of Bernoulli numbers

Is anyone aware of the history of the following conjecture on the $p$-divisibility of (the numerators) of Bernoulli numbers? CONJECTURE: For $p$ an odd prime, and $k$ even with $2 \leq k \leq p-3$, $...
12
votes
0answers
644 views

Why am I unable to find primes of the form $(9n)!+n!+1$?

See also Math StackExchange: Is there a prime of the form $(9n)!+n!+1$? Recently, user Peter from Math StackExchange asked for a prime of the form $(9n)!+n!+1$ (where $n$ is some natural number). ...
12
votes
0answers
119 views

Hypergeometric representation of Eisenstein series

It is well known (Fricke ?) that $E_4^{1/4}$ and $E_6^{1/6}$ can be represented as Gauss hypergeometric functions of $1728/j$ and $1728/(1728-j)$ respectively. The same result is true in levels $2$, $...
12
votes
0answers
170 views

Number rings with elements of norm $-1$

Is there a nice characterization of number rings $\mathcal{O}$ such that there exists an element $x \in \mathcal{O}$ whose norm is $-1$? One obvious necessary condition is that $\mathcal{O}$ must ...
12
votes
0answers
226 views

Mixed characteristic analogue of algebraicity of the diagonal of two-variable power series?

Let $f=\sum_{n,m \geq 0}^{\infty}[a_{nm}]p^ny^m \in \mathbb Z_p[[y]]$, where $a_{nm} \in \mathbb F_p$ and $[\cdot]$ means the Teichmüller lifting. Define $I(f)=\sum_{n \geq 0}[a_{nn}]p^nt^n \in \...
12
votes
0answers
217 views

sequences in non-abelian group cohomology

In general, if we have a (pro-)finite group $G$ and a sequence of (continuous) non-abelian $G$-modules $$1\rightarrow A\rightarrow B\rightarrow C\rightarrow 0,$$ such that the image of $A$ lies in the ...
12
votes
0answers
229 views

Statistics for rational points on curves of genus $g$ over $\mathbb{F}_q$, $g\gg q$

Consider the distribution of the number of $\mathbb{F}_q$ points as I range over smooth projective curves of genus $g$ (defined over $\mathbb{F}_q$). If $q\gg g,$ the Hasse-Weil bounds give me a lot ...
12
votes
0answers
192 views

average value of j-invariant at infinity

Let $\xi\in\mathbb{R}$ and consider the average value (with respect to hyperbolic length) of the $j$-invariant ($j(z)=q^{-1}+744+196884q+\ldots$, $q=e^{2\pi iz}$) along a geodesic aimed at $\xi$: $$ \...
12
votes
0answers
310 views

Computing Mertens' function in time O(sqrt(x)) - in practice

As far as I know, there is one way currently known to -- in principle -- compute the Mertens function $M(x) = \sum_{n\leq x} \mu(n)$ in time essentially $O\left(x^{1/2}\right)$, namely, a modification ...
12
votes
0answers
371 views

Wherefore art thou a Borcherds Product?

This question essentially asks how can one recognize (or rule out) that a generating function of combinatorial origin may be given as a Borcherds type product. I'll start with a motivational example: ...

1 2 3 4 5 59