For the state of the art on sheaves of sets, see this chapter-length introduction to sheaf theory by Claudia Centazzo and Enrico M. Vitale.
Author Archives: Walt
The n-Category Café
John Baez of This Week’s Finds in Mathematical Physics fame, David Corfield of Philosophy of Real Mathematics fame, and Urs Schreiber of The String Coffee Table fame have banded together to form a new weblog, The n-Category Café, dedicated to n-category theory, and their potential applications to physics.
NASA Announces Dark Matter Discovery
Physics weblogs are all abuzz over a mysterious press release put by NASA entitled NASA Announces Dark Matter Discovery. The main body of the announcement reads:
Astronomers who used NASA’s Chandra X-ray Observatory will host a media teleconference at 1 p.m. EDT Monday, Aug. 21, to announce how dark and normal matter have been forced apart in an extraordinarily energetic collision.
Via Backreaction.
Update. John Baez has been on the case, and he’s deduced the meat of the announcement: a collision of two clusters of galaxies has apparently pulled galaxies and their dark matter halos apart. This provides compelling evidence in favor of the actual existence of dark matter. He has more in the comments, and at his website.
Fulton on Algebraic Stacks
William Fulton is writing a new book on algebraic stacks. He is posting each chapter online as he finishes them. So far he has posted the preface and the first chapter.
For an introduction to the concept, see Dan Edidin’s What is… a stack? from the Notices of the AMS, and for a more detailed introduction, try Introduction to algebraic stacks by Alberto Canonaco.
Board of Topology Resigns
Peter Woit reports that the entire editorial board of the journal Topology has resigned to protest the high cost of subscription to the journal. John Baez has posted the resignation letter here.
John has long been an advocate of boycotting expensive journals, and has written a call to action. You can find a list of math journals and their costs on this webpage by Ulf Rehmann.
Hodge Conjecture False?
There’s a new preprint on arXiv, Counterexample to the Hodge Conjecture, by Kim and Roush, that proposes a counterexample to the Hodge conjecture, one of the Clay Mathematics Institute’s 7 Millenium Problems. It’s a bold claim, and the 12-page paper looks like it would be easy for an expert (which I am not) to follow, so we’ll probably hear a definite verdict relatively soon. Interestingly, part of the argument involves a computer calculation.
Via Peter Woit.
Update. The authors have withdrawn their claim of a counterexample.
Grete Hermann
This thread about famous women mathematicians on Cocktail Party Physics, reminded me of an interesting figure in history that I came across while doing researching for a Wikipedia article: Grete Hermann. (The Wikipedia article is a skeleton that I created; it could use a lot of work.)
Hermann was a student of Emmy Noether. Noether was one of the iconic figures of twentieth-century mathematics, a key figure in the century’s trend toward abstraction. A typical example is her proof of the Lasker-Noether theorem. The theorem, that every ideal has a primary decomposition, was originally proven for polynomial rings by Emanuel Lasker, using a difficult computational argument. Noether identified the key abstract condition behind the result — the ascending chain condition on ideals — and used it to give a shorter proof of a much more general theorem. Rings that satisfy the ascending chain condition on ideals are now known as Noetherian rings in her honor.
While Hermann was Noether’s student, her thesis was a throwback to the nineteenth century’s computational approach. Hermann showed that Lasker’s approach could be turned into an effective procedure for computing primary decompositions. Hermann did this before the invention of the computer, or even before the notion of an effective procedure had been formalized. (As her definition, Hermann used the existence of an explicit upper bound on time complexity, and gave such a bound for primary decomposition, and other questions in commutative ring theory.)
Hermann went on to work in philosophy and the foundations of physics. John Von Neumann had proposed a proof that a hidden variable theory of quantum mechanics could not exist. (A hidden variable theory is one that explains the random behavior of quantum mechanical systems in terms of unobserved deterministic variables.) Hermann discovered and published the flaw in Von Neumann’s proof back in 1935, a result that has no impact until it was rediscovered by John Bell some thirty years later.
(The thread on Cocktail Party Physics is instructive for just how unfamous mathematicians really are. For physicists, Karl Weierstrauss is an obscure historical figure. For mathematicians of course, Weierstrauss is five times as famous as Madonna and Britney Spears combined. It was interesting to learn that Sofia Kovalevskaya is not particularly well-known among physicists, even though part of her research was in classical mechanics.)
Differential Forms in Second-Year Calculus
David Bachman has written a text, available online that introduces differential forms at the level of second-year calculus. The subject is a little too familiar to me for me to judge how well he succeeds, but he actually uses the notes as the text when he teaches Calculus III.
Baez Week 236
Week 236 of John Baez’ This Week’s Finds in Mathematical Physics is up. The bulk of this week’s entry is about large countable ordinals. (Something I’ve always wanted to understand is in what sense the Feferman-Schütte ordinal captures the idea of an impredicative definition.
John explains how the spaces between interesting ordinals grows large in terms of driving through South Dakota. If you ever drive I-90 the length of South Dakota, you’ll see prairie occasionally interrupted by billboards. Unfortunately, there’s not that much worth advertising, but since there’s a law of conservation of the number of billboards, fake tourist attractions have sprung up simply to catch bored travellers. After seeing billboards for Wall Drug for 400 miles (and the first one travelling west really says “Wall Drug — 400 miles”), you’ll be tempted to stop too.
August Notices
The August Notices of the AMS is out. David Ruelle contributes What is… a Strange Attractor. Samuel Maratek’s The Differential Geometry and Physical Basis for the Applications of Feynman Diagrams summarizes the basics of gauge theory.
The issue also features a debate between David Eisenbud and Ronald Stern about whether the AMS should establish an AMS Fellow program.