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 1384

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

22 votes
1 answer
749 views

Low-level proof of identity related to Weierstrass P-function

A theorem which can be extracted from Theorem V.1.1 of Silverman's "advanced topics in the theory of elliptic curves" is the following. Here $\mathbb{Q}(u)$ denotes rational functions in a variable $u …
Kevin Buzzard's user avatar
49 votes

Are there mistakes in the proof of FLT?

No there are not any mistakes in these papers of any interest. In the 1990s there were a bazillion study groups and seminars across the world devoted to these papers; I personally read all three of th …
Kevin Buzzard's user avatar
2 votes

Write the algebra closure of $F_p$ as union of finite fields

What you say sounds fine. The absolute Galois group of $F_q$ is $\widehat{\mathbb{Z}}$ and if you take some infinite quotient of this like $\mathbb{Z}_2$ (corresponding to a closed subgroup) then that …
Kevin Buzzard's user avatar
72 votes

What are "perfectoid spaces"?

Here is a completely different kind of answer to this question. A perfectoid space is a term of type PerfectoidSpace in the Lean theorem prover. Here's a quote from the source code: structure perfe …
Kevin Buzzard's user avatar
14 votes
Accepted

Totally ramified subextension in a finite extension of $\mathbf{Q}_p$

This is not a complete answer, but perhaps it's a roadmap to a counterexample. My strategy is to consider some non-Galois $K/\mathbf{Q}_p$ for which the result is true, and let's make some deductions …
Kevin Buzzard's user avatar
2 votes
Accepted

A question about numbers

No. How about $a=9$ and $b=16$? Then $c=25$ so $\Omega(a)=\Omega(c)=2\leq\Omega(b)$, the gcd's are $3,16,5$ so the left hand side is 6 and the right hand side only 5. Edit: if $a=316$ and $b=27$ then …
Kevin Buzzard's user avatar
18 votes
Accepted

What can be said about this double sum?

I don't know how "classical" you find these values, but here's perhaps something. Define $E=\sum_{m,n\in\mathbb{Z}}q^{m^2+n^2}$, which is known to be a weight 1 level 4 modular form. In fact $E$ is a …
Kevin Buzzard's user avatar
16 votes
Accepted

simple questions on topological rings arising in the context of Perfectoid Spaces

Firstly, I don't think you should start to learn about adic spaces by thinking about perfectoid spaces. The sensible examples of adic spaces for a beginner to think about are sane Noetherian things li …
Kevin Buzzard's user avatar
17 votes

Uniform Faltings

On the contrary, some conjectures suggest that the answer is NO! It follows from the Bombieri-Lang conjecture (sometimes known as Lang's conjectures) that a uniform bound should exist. More precisel …
Kevin Buzzard's user avatar
19 votes

Galois Representations and Rational Points

In general one can say very little. There are some positive results (as indicated in the comments) in special cases, but the below example kills any hope that one can say something in general. NB "the …
Kevin Buzzard's user avatar
5 votes
Accepted

Proof in Schemmel's Paper

The case $n=4$ and $m=35$ given in both the question and the original German paper (link now removed from question) is a little misleading. In this case the sets are disjoint. The case $n=2$ and $m=35 …
Kevin Buzzard's user avatar
6 votes
Accepted

Hilbert Symbols, Norms, and p-adic roots of unity

I think I can construct an explicit counterexample with $a\in\mathbb{Q}_p$. Choose a compatible sequence $\zeta_{p^m}$ of $p^m$th roots of unity in $\overline{\mathbb{Q}}_p$. Write $q=p^n$ with $n\g …
Kevin Buzzard's user avatar
6 votes

Mid-Square with all bits set

Not an answer, but too long for a comment. I can't see any tricks to do this other than a brute force computational approach. The naive approach would be to loop from $2^{96}$ to $2^{128}$ squaring e …
Kevin Buzzard's user avatar
10 votes
Accepted

Type of place versus type of unitary group

Things are perhaps a bit messier than you hope. In particular it is not true that the unitary group is non-quasi-split if and only if $v$ ramifies. Disclaimer: I did not know the answer to this questi …
Kevin Buzzard's user avatar
4 votes
Accepted

Galois group of an L-function

Let $M$ be the set of finite products of Dirichlet $L$-functions. These surely form a class of $L$-functions as in the question. Now take some prime $p$ congruent to 1 mod 4 and let $\chi$ be one of t …
Kevin Buzzard's user avatar

1
2 3 4 5
10
15 30 50 per page