Write Dirichlet's theorem on arithmetic progression - #251
Conversation
|
|
||
| In this chapter, we will sketch a proof of the following theorem: | ||
| \begin{theorem}[Dirichlet's theorem on arithmetic progressions] | ||
| For every positive integers $a, n > 0$ such that $\gcd(a, n) = 1$, then there are infinitely |
There was a problem hiding this comment.
should this say something like every pair of positive integers?
There was a problem hiding this comment.
just a wording issue. I don't mind either, but there's another incident where the other wording is used
There was a problem hiding this comment.
i would say 16F would be better as "for all $x_1, x_2 \in X" as well, so I'll change that now.
msm-code
left a comment
msm-code
left a comment
There was a problem hiding this comment.
Isn't that firmly in the analytic branch of number theory? I'm not complaining, I'm happy to see anything related to number theory (as I've mentioned before). Actually I'm probably baiting for more, since analytic NT is explicitly mentioned as the one topic not in napkin (Topics not in Napkin section).
Though this introduces a dependency on complex analysis which is not present for the other algebraic NT chapters.
| So what is a $L$-series? In one sentence:\footnote{In my (limited) understanding, at the time of | ||
| writing this.} |
There was a problem hiding this comment.
Very unclear for the reader that the footnote is not written by Evan. May be a good place to put your disclaimer.
Is it? Neukirch's book is named "algebraic number theory" so… side note, I remember reading somewhere "algebraic number theory doesn't mean 'number theory using algebraic methods', it means 'the theory of algebraic numbers'". I should figure out what analytic number theory is soon. |
| \end{quote} | ||
|
|
||
| Surprisingly, you will see $L$-series in many other places as well --- an elliptic curve over $\QQ$ | ||
| has a $L$-series, and a modular form also have a $L$-series!\todo{really? |
There was a problem hiding this comment.
"a modular form also have" -> "a modular form also has"
| So what is a $L$-series? In one sentence:\footnote{In my (limited) understanding, at the time of | ||
| writing this.} | ||
| \begin{moral} | ||
| A $L$-series bridges between an infinite sum (complex analysis) |
There was a problem hiding this comment.
Should be an
|
lol I also wrote a Dirichlet chapter last April |
6 participants
might need a disclaimer “All evidences of incompetence is not evanchen's fault.” stuck somewhere.
I'm not 100% confident that I understand that's what L-series is supposed to do, but here we go. (A missing piece of puzzle is the functional equation. There's a MathOverflow question on that but I still can't digest it yet…)
Hopefully it is sufficiently well-motivated, though the last section gets more technical.
Will there be another chapter? I'm not sure. Maybe on Hecke L-series? (at the moment I don't know if it's worth writing about yet)