Search Results
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 |
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …