User jeff h - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T00:51:14Z http://mathoverflow.net/feeds/user/10547 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/119772/digital-copy-of-katos-paper Digital Copy of Kato's Paper Jeff H 2013-01-24T16:23:43Z 2013-01-24T16:23:43Z <p>Kato's celebrated paper "p-adic Hodge theory and values of zeta functions of modular forms" is published in the bound Asterisque collection "Cohomologies p-adiques et applications arithmétiques. Volume III". </p> <p>I have a copy of this book, but I'm searching (to no avail) for a digital copy of Kato's paper. This would be nice for at least two reasons:</p> <p>(1) I wouldn't need to carry the book around if I had a laptop/tablet handy.</p> <p>(2) I could print out portions of the paper and write notes all over them.</p> <p>Does anyone know where a digital copy of the paper can be found, or whether there are legal reasons preventing a digital copy from existing?</p> http://mathoverflow.net/questions/103545/number-fields-arising-from-newforms Number Fields Arising from Newforms Jeff H 2012-07-30T20:30:33Z 2012-07-30T22:48:24Z <p>It is well-known that, given a normalized eigenform $f=\sum a_n q^n$, its coefficients $a_n$ generate a number field $K_f$. </p> <p>In their 1995 <a href="http://www.math.mcgill.ca/darmon/pub/Articles/Expository/05.DDT/paper.pdf" rel="nofollow">paper</a> "Fermat's Last Theorem", Darmon, Diamond, and Taylor remark that, at the time of writing, very little was known about what sort of number fields could arise as some $K_f$. They do claim, however, that $K_f$ must be totally real or CM. This claim is made just before Lemma 1.37, on page 40 of the copy I linked to.</p> <p>This is probably standard knowledge among experts, but I'm having trouble finding a reference, so my questions are:</p> <p>1) Can someone please provide a reference for this claim?</p> <p>2) Is this still the state of the art, or do we now know more about what types of fields can appear as $K_f$ for some $f$? What if we restrict our attention to weight $k=2$?</p> <p>Thank you!</p> <blockquote> <p>Edit: In my question, I originally just wrote "modular form" instead of "normalized eigenform". Thanks to @Stopple for pointing this out! Also, I originally claimed the paper was published in 2007, but Kevin Buzzard pointed out it was published in 1995. Thanks Kevin!</p> </blockquote> http://mathoverflow.net/questions/100925/computational-number-theory/100938#100938 Answer by Jeff H for Computational number theory Jeff H 2012-06-29T14:43:28Z 2012-06-29T14:43:28Z <p>You might be interested in Project Euler (<a href="http://projecteuler.net/" rel="nofollow">http://projecteuler.net/</a>), which guides you through solving progressively more difficult math problems using computer programming. This is not exactly what you asked about, but is rather a complement to quid's excellent answer.</p> http://mathoverflow.net/questions/99506/blackbox-theorems/100839#100839 Answer by Jeff H for Blackbox Theorems Jeff H 2012-06-28T03:09:21Z 2012-06-28T03:09:21Z <p>Deligne's construction of Galois representations corresponding to modular forms.</p> http://mathoverflow.net/questions/24719/suggestions-for-good-books-on-class-field-theory/83162#83162 Answer by Jeff H for Suggestions for good books on class field theory Jeff H 2011-12-11T04:38:12Z 2011-12-11T04:38:12Z <p>If all you need is the major statements from CFT with a few examples, check out the appendix in Lawrence Washington's "Introduction to Cyclotomic Fields" for a speedy overview of both local and global class field theory. It's not big on exposition, and you won't learn the proofs, but it's short and not time-consuming to read. You can then see some applications of the theory in chapter 11 of the same book.</p> http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic When are roots of power series algebraic? Jeff H 2011-10-21T21:30:25Z 2011-11-03T15:30:42Z <blockquote> <p>Let $K$ be a field and consider a power series $f(T) \in K[[T]]$. Under what conditions (on $K$ and/or on $f$) can we conclude that if $\alpha$ is a root of $f(T)$ then $\alpha$ is in fact algebraic over $K$?</p> </blockquote> <p>This question is inspired by the following: In <a href="http://math.bu.edu/people/rpollack/Papers/On_the_padic_Lfunction_of_a_modular_form_at_a_ss_prime.pdf" rel="nofollow">this paper</a> of R. Pollack, in the proof of his Lemma 3.2, the author states that if $K$ is a finite extension of $\mathbb{Q}_p$ and $f(T)$ converges on the open unit disc of $\mathbb{C}_p$ and has finitely many roots, then each of these roots is algebraic over $K$.</p> <p>I haven't yet come up with a proof of this statement (and any proofs offered would be appreciated), and perhaps having a proof in hand would help me to answer my question on my own, but I'm now curious about other situations in which this can occur.</p> http://mathoverflow.net/questions/75477/prime-decomposition-in-cyclotomic-z-p-extensions Prime Decomposition in Cyclotomic Z_p-extensions Jeff H 2011-09-15T04:16:21Z 2011-09-15T08:59:44Z <p>In their classic paper "Class fields of abelian extensions of $\mathbf{Q}$", Mazur and Wiles assert that </p> <blockquote> <p>"in a cyclotomic $\mathbf{Z}_p$-extension only finitely many primes lie above any prime of $\mathbf{Q}$."</p> </blockquote> <p>My only other source in learning this material so far has been Washington's "Introduction to Cyclotomic Fields", and the only result along these lines is that such extensions are unramified outside of $p$. </p> <p>So apparently, all primes lying above $l \neq p$ stop splitting at some finite level $K_n$, after which they remain inert. I've been unable to make much progress is proving this.</p> <blockquote> <p>How can we see that this statement is true, and what other, more general results do we have about prime decomposition in cyclotomic extensions?</p> </blockquote> http://mathoverflow.net/questions/69937/changing-field-of-study-post-phd/70125#70125 Answer by Jeff H for Changing field of study post-PhD Jeff H 2011-07-12T14:37:06Z 2011-07-12T14:37:06Z <p>I don't have the necessary reputation to comment, so I'll leave this as an answer. You asked if we knew of anyone who has made this switch, so I'll chime in: Several well-known mathematicians have done this, and surely many more not-so-well-known mathematicians have as well. The first one that comes to mind is <a href="http://www.gap-system.org/~history/Biographies/Mazur_Barry.html" rel="nofollow">Barry Mazur</a>, who started off working in algebraic topology before switching to number theory. <a href="http://www.gap-system.org/~history/Biographies/Serre.html" rel="nofollow">Serre</a> did something similar.</p> http://mathoverflow.net/questions/1722/free-high-quality-mathematical-writing-online/46667#46667 Answer by Jeff H for Free, high quality mathematical writing online? Jeff H 2010-11-19T18:47:21Z 2010-11-19T18:47:21Z <p>I'm glad someone mentioned Keith Conrad's notes, as they are excellent.</p> <p>I would also like to point people towards <a href="http://www.math.umass.edu/~weston/" rel="nofollow">Tom Weston</a>'s webpage. He has expository papers at <a href="http://www.math.umass.edu/~weston/ep.html" rel="nofollow">http://www.math.umass.edu/~weston/ep.html</a> on several topics, including cobordism theory and spectral sequences.</p> <p>He also has some course notes at <a href="http://www.math.umass.edu/~weston/cn.html" rel="nofollow">http://www.math.umass.edu/~weston/cn.html</a>, including truly excellent book-length notes on introductory algebraic number theory, as well as several dozen illuminating pages on local fields and ideles.</p> http://mathoverflow.net/questions/120253/research-trends-in-geometry-of-numbers Comment by Jeff H Jeff H 2013-01-30T03:29:23Z 2013-01-30T03:29:23Z This is not new research in the geometry of numbers, but rather an application of classical results to another classical problem, that of determining primes of the form x^2+ny^2: <a href="http://www.tcnj.edu/~hagedorn/papers/Geometry%20of%20Convenient%20Numbers.pdf" rel="nofollow">tcnj.edu/~hagedorn/papers/&hellip;</a> http://mathoverflow.net/questions/119772/digital-copy-of-katos-paper Comment by Jeff H Jeff H 2013-01-24T17:03:34Z 2013-01-24T17:03:34Z @YangMills That answers my question. Thank you very much! http://mathoverflow.net/questions/119772/digital-copy-of-katos-paper Comment by Jeff H Jeff H 2013-01-24T17:00:51Z 2013-01-24T17:00:51Z @Franz I'm not sure what you're implying with the &quot;spamming&quot; comment. I think this question is quite reasonable for MO, considering both the importance and scarcity of this paper. Scanning is not really an option since it is a borrowed book and I'm afraid that scanning would do considerable damage to the binding. @Serge Thanks, but I checked there and they don't have it. It's a hard paper to track down. http://mathoverflow.net/questions/103545/number-fields-arising-from-newforms/103554#103554 Comment by Jeff H Jeff H 2012-07-30T22:28:24Z 2012-07-30T22:28:24Z @Rob: Thank you! This is perfect. http://mathoverflow.net/questions/103545/number-fields-arising-from-newforms/103551#103551 Comment by Jeff H Jeff H 2012-07-30T22:25:00Z 2012-07-30T22:25:00Z @Kevin Buzzard: Oh! You're absolutely right -- I see on Darmon's website that it was indeed published in 1995. I guess the tex file was recompiled in 2007, leading to the date I cited from this version of the paper: www.math.mcgill.ca/darmon/pub/Articles/Expository/05.DDT/paper.pdf Thanks! http://mathoverflow.net/questions/103545/number-fields-arising-from-newforms/103551#103551 Comment by Jeff H Jeff H 2012-07-30T21:15:00Z 2012-07-30T21:15:00Z Hi Stopple, good point. It's a bad habit, but in my mind, when I say modular form I (almost) always mean &quot;normalized eigenform&quot;, or even just &quot;newform&quot;, but certainly the way I stated my question is incorrect. I'll fix my question to make it more precise. Thanks for pointing this out! http://mathoverflow.net/questions/100653/pronunciation-dirichlet/100655#100655 Comment by Jeff H Jeff H 2012-06-26T02:45:52Z 2012-06-26T02:45:52Z I'm going to let this question sit for a bit in the hope that someone with a strong opinion in one particular direction will come along, otherwise I'll accept this answer. http://mathoverflow.net/questions/100653/pronunciation-dirichlet/100655#100655 Comment by Jeff H Jeff H 2012-06-26T02:44:44Z 2012-06-26T02:44:44Z Hmm, I was hoping for a &quot;right answer&quot;, and I find it somewhat disturbing that there could be so many &quot;correct&quot; ways to pronounce one person's name (there is certainly only one correct way to pronounce /my/ name, after all...), but the comment by @Francois does suggest some ambiguity with Dirichlet. http://mathoverflow.net/questions/100653/pronunciation-dirichlet/100655#100655 Comment by Jeff H Jeff H 2012-06-26T02:13:15Z 2012-06-26T02:13:15Z Yes, that is a long thread discussing this question, but I also find it incredibly hard to read (the quote boxes are broken), and I see arguments made for every one of the possibly pronunciations that I listed, plus a few more. So, to me, this long discussion you've referenced seems very far from definitive. Again, I've heard arguments for all of these pronunciations, but it's very hard for someone with no expertise in any language outside of English to get to the truth of the matter. So I'm hoping someone will answer this thread in a coherent and persuasive way. http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic/79345#79345 Comment by Jeff H Jeff H 2011-10-28T15:09:00Z 2011-10-28T15:09:00Z Rob, this is wonderful...thank you!! http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic/78927#78927 Comment by Jeff H Jeff H 2011-10-24T01:14:47Z 2011-10-24T01:14:47Z @Lubin: This is a great (counter?)example. Thanks for this alternate perspective! http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic/78871#78871 Comment by Jeff H Jeff H 2011-10-23T18:05:08Z 2011-10-23T18:05:08Z @KConrad: Thank you, this is great! http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic Comment by Jeff H Jeff H 2011-10-23T18:04:46Z 2011-10-23T18:04:46Z @Robert: Thank you for explaining that with such a simple, succinct argument! http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic Comment by Jeff H Jeff H 2011-10-22T16:07:12Z 2011-10-22T16:07:12Z @David: I'm not sure I understand. In the example quoted in my question (the middle paragraph), a priori $f$ does not have coefficients in the ring of integers of $K$. The only thing known about $f$ is that it is a formal power series with coefficients in $K$ which converges in the <i>open</i> unit disc of $\mathbb{C}_p$ and has finitely many zeros. Where (and how) is the Weierstrass Preparation Theorem being invoked here?. http://mathoverflow.net/questions/78796/when-are-roots-of-power-series-algebraic Comment by Jeff H Jeff H 2011-10-21T22:40:43Z 2011-10-21T22:40:43Z @Qiaochu: Yes, Jacques has the right idea. @KConrad: Yes, the Weierstrass Preparation Theorem is a great example of this phenomenon. Thank you.