Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 65

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

60 votes

Polynomial representing all nonnegative integers

The search turned up a 1981 paper by John S.Lew (in the Unsolved problems section) Polynomials in Two Variables Taking Distinct Integer Values at Lattice-Points which discusses related problems, and …
Ilya Nikokoshev's user avatar
1 vote

b^(n-1)=-1 mod n

That would be equivalent to $2(n-1) = k\varphi(n)$ and $n-1\ne k'\varphi(n)$ by Fermat's little theorem for composite numbers. The second condition is equivalent to being able to satisfy first with …
Ilya Nikokoshev's user avatar
3 votes
2 answers
738 views

Nonnegative polynomial in two variables

What can be said about the polynomials $f\in\mathbb Q[x, y]$ which are nonnegative on $\mathbb R\times \mathbb R$? Motivation: this may lead to progress in the question about polynomial onto map …
Ilya Nikokoshev's user avatar
14 votes
3 answers
1k views

Non-simply-connected smooth proper scheme over Z?

Source This question came up in the discussion between Kevin Buzzard and Minhyong Kim in the comments to Smooth proper scheme over Z. It was 2 weeks ago, so I took the liberty of posting it as commun …
4 votes

Class number measuring the failure of unique factorization

Class number $h(K)$ is exactly the quantitative measure of the failure of unique factorization: by its definition it measures "how many more ideas are there compared to numbers". To clarify: decompo …
Ilya Nikokoshev's user avatar
10 votes

Why no abelian varieties over Z?

Comments by Anweshi The essential point is what Emerton mentioned, ie the analogy with Minkowski's theorem on number fields with ramification. The basic principle is that "arithmetic is geometry". Nu …
33 votes
5 answers
8k views

Why no abelian varieties over Z?

Motivation I learned about this question from a wonderful article Rational points on curves by Henri Darmon. He gives a list of statements (some are theorems, some conjectures) of the form the set $\ …
Ilya Nikokoshev's user avatar
4 votes
Accepted

Field of Definition of a Meromorphic Function

It is not sufficient that the subscheme of poles and zeroes is defined together over $K$, as the example of the function $(z+i)/(z-i):\mathbb P^1 \to \mathbb P^1$, defined only over $\mathbb Q(i)$, il …
Ilya Nikokoshev's user avatar
7 votes
1 answer
554 views

Hasse principle for a group

$\DeclareMathOperator\PSL{PSL}$In the paper Ono - "Hasse principle" for $\PSL_2 (\mathbb Z)$ and $\PSL_2(\mathbb F)$ there's a definition of a Hasse principle for a group $G$, but I don't completely g …
Ilya Nikokoshev's user avatar
7 votes
2 answers
722 views

Zeta function for curves in a manifold

Motivation In the analogy between prime numbers and knots, the prime number is thought sometimes as the circle of length $l([p]) = \text{log}\,p$. This is so you can express the zeta function as $$ …
Ilya Nikokoshev's user avatar
12 votes
3 answers
2k views

Order of the Tate-Shafarevich group

I thought that the order of the Tate-Shafarevich group should always be a square (it's also supposed to be finite, but for the purposes of this question let's assume we know this) but I don't seem to …
Ilya Nikokoshev's user avatar
7 votes
1 answer
2k views

Polynomial representing prime numbers

Along the lines of Polynomial representing all nonnegative integers, but likely well-known question: is there a polynomial $f \in \mathbb Q[x_1, \dots, x_n]$ such that $f(\mathbb Z\times\mathbb Z\ …
Ilya Nikokoshev's user avatar
21 votes

Statements in group theory which imply deep results in number theory

I'm sure you omitted this just because it's too classic: big part of group theory was invented to prove that most algebraic numbers cannot be constructed by radical extensions. It's still the best, …
3 votes

How do we study the theory of reductive groups?

You can look at rt.representation-theory or automophic-forms questions on Math Overflow. Here are some that may be relevant: Definitions of Hecke Algebras Induction and Coinduction of Representation …
Ilya Nikokoshev's user avatar
5 votes
Accepted

Geometry Vs Arithmetic of schemes

Let's start with the most elementary example: projective space $\mathbb P^n$. It's not hard to see that that the number of points on it is always $q^n + q^{n-1} + \dots + q + 1.$ Note that this is b …
Ilya Nikokoshev's user avatar

15 30 50 per page