
the Riemann hypothesis and Psi
Last time we revisited Robin’s theorem saying that 5040 being the largest counterexample to the bound \[ \frac{\sigma(n)}{n~log(log(n))} < e^{\gamma} = 1.78107... \] is equivalent to the Riemann hypothesis. There’s an industry of similar results using other arithmetic functions. Today, we’ll focus on Dedekind’s Psi function \[ \Psi(n) = n \prod_{p  n}(1 + \frac{1}{p}) […]

RH and the Ishango bone
“She simply walked into the pond in Kensington Gardens Sunday morning and drowned herself in three feet of water.” This is the opening sentence of The Ishango Bone, a novel by Paul Hastings Wilson. It (re)tells the story of a young mathematician at Cambridge, Amiele, who (dis)proves the Riemann Hypothesis at the age of 26,…

eBook ‘geometry and the absolute point’ v0.1
In preparing for next year’s ‘seminar noncommutative geometry’ I’ve converted about 30 posts to LaTeX, centering loosely around the topics students have asked me to cover : noncommutative geometry, the absolute point (aka the field with one element), and their relation to the Riemann hypothesis. The idea being to edit these posts thoroughly, add much…

Langlands versus Connes
This is a belated response to a MathOverflow exchange between Thomas Riepe and Chandan Singh Dalawat asking for a possible connection between Connes’ noncommutative geometry approach to the Riemann hypothesis and the Langlands program. Here’s the punchline : a large chunk of the ConnesMarcolli book Noncommutative Geometry, Quantum Fields and Motives can be read as…

big Witt vectors for everyone (1/2)
Next time you visit your mathlibrary, please have a look whether these books are still on the shelves : Michiel Hazewinkel‘s Formal groups and applications, William Fulton’s and Serge Lange’s RiemannRoch algebra and Donald Knutson’s lambdarings and the representation theory of the symmetric group. I wouldn’t be surprised if one or more of these books…

looking for the moonshine picture
We have seen that Conway’s big picture helps us to determine all arithmetic subgroups of $PSL_2(\mathbb{R}) $ commensurable with the modular group $PSL_2(\mathbb{Z}) $, including all groups of monstrous moonshine. As there are exactly 171 such moonshine groups, they are determined by a finite subgraph of Conway’s picture and we call the minimal such subgraph…

best of 2008 (2) : big theorems
A comment to Charles Siegel’s ‘big theorems’series got me checking my stats.