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

This tag is used if a reference is needed in a paper or textbook on a specific result.

3 votes
Accepted

A question on linear recurrence

I don't know what "dominating" means so perhaps this isn't a counterexample, but how about $-p(x)=x^5 - x^4 - x^3 - x^2 + x + 1=(x^2-x-1)(x^3-1)$ (which has a unique real root greater than 1), with $a …
Kevin Buzzard's user avatar
5 votes

Image of complex conjugation by modular representations in characteristic 2

Joel -- it's difficult to work out what you're asking. Of course both possibilities can occur, as Wanax said. Furthermore both possibilities can occur even for the same modular form. For example, if y …
Kevin Buzzard's user avatar
25 votes

English reference for a result of Kronecker?

If all the Galois conjugates of an algebraic integer $\alpha$ have absolute value at most 1, then the norm of this algebraic integer is a rational integer with absolute value at most 1. Hence either t …
Kevin Buzzard's user avatar
8 votes

Reference request: Examples of research on a set with interesting properties which turned ou...

The odd-order theorem states that every finite group of odd order is solvable, and the proof involves developing a very large theory explaining what the smallest counterexample looks like, and to ulti …
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
2 votes

Companion forms

It might all depend on precisely what you mean by Serre's conjecture. Various versions are in print. Serre's original conjecture stayed away from $k=1$ and K-W resolved this version of the conjecture …
Kevin Buzzard's user avatar
4 votes

Modular forms reference

Just to add one more thing to what Pete said: the variety A_f that one normally attaches to f might have endomorphism ring bigger than an order in the coefficient field of f: for example if E is an el …
Kevin Buzzard's user avatar
18 votes
6 answers
2k views

Explicit formula for the trace of an unramified principal series representation of $GL(n,K)$...

Let $K$ be a non-arch local field (I'm only interested in the char 0 case), let $\mathbb{G}$ be a connected reductive group over $K$ and let $G=\mathbb{G}(K)$. If $V$ is a smooth irreducible complex r …
Kevin Buzzard's user avatar
12 votes
Accepted

Can every finite graph be represented by an arithmetic sequence of natural numbers?

OK so take the unique tree on 3 vertices. Claim: you can't encode this with an arithmetic progression (AP). For if the AP is $a,a+d,a+2d$ then (because we have two edges) either vertices 1 and 2 are j …
Kevin Buzzard's user avatar
4 votes

Errata for Atiyah–Macdonald

The following slip on p82 was found by Kenny Lau when he was formalising Prop 7.8 in Lean: In the line "Substituting (1) and making repeated use of (2) shows that each element of C is..." there's an i …
5 votes

Textbook recommendations for undergraduate proof-writing class

I am not so sure of the US system but one of the books we recommend at our university is Martin Liebeck's "A concise introduction to pure mathematics". http://www.amazon.co.uk/Concise-Introduction-Pu …