Hauptvermutung, Tietze’s dream and the importance of checking your references

Recently, we got back several referee reports for this paper here (to appear in Inventiones mathematicae, see here) which were quite positive (well, the comments were “the construction is genius and it works, but the exposition is quite messy”; I choose to take it as a compliment), which made me very happy because it is a very classical conjecture with some nice implications. And seeing people who took their time to understand the construction (and wade through my horrible writing, because the “messy” is certainly my fault) made me quite proud…

Speaking of, though, classical conjecture…. well one part was Oda’s. That was fine. The other conjecture we solved was “Alexander’s conjecture”, named after James Waddell Alexander. Everyone kept calling it that, and Alexander certainly worked on related problems and proved something weaker in a 1930 paper (building on work of Max Newman, who, another cool fact, is best known for becoming a codebreaker later).

Continue reading →

Teaching in the Spring, CAGe and more

Firstly, for a while now, Harald Helfgott, Vasiliki Petrotou, Arina Voorhaar and myself have been organizing CAGe, a bimonthly (the bimonthly that happens roughly every 6 weeks) miniworkshop at IMJ in Paris. The idea was to have this instead of a seminar so that the visiting speakers could also have interesting talks to join, and so that there would be more of a theme each time. Next time is March 4, with Evita Nestoridi, Carsten Peterson and Jacinta Torres. Enjoy and join!

Secondly, after settling down at IMJ and getting a couch and carpet for my office, I will be teaching a course with Harald in the spring, on spectral graph theory. Find it here.

Continue reading →

De Rham but not de Rham: (mixed) volumes for semigroup algebras and more!

Wanna hear a cool thing we realized while exploring lattice polytopes, but that took us much further?

So you know how in a smooth manifold, we can think of the fundamental class by integration over the manifold; that’s just de Rham cohomology of course, and we come to think of the fundamental class as something related to volumes and measures. This beautiful picture is something very geometric, in the end, one might think.

Continue reading →

On Bing’s theorem and its applications

I want to say a word about a theorem of Bing, and a consequence I am sure he knew, and I thought everyone knew, so I just assumed it often in talks and papers (I do this often, unfortunately).

I did this several times, until a prominent mathematician said, during a colloquium in Paris, angrily that this could not be true. So maybe it is less folklore than I thought.

Anyway, to the theorem: Bing proved that if a simplicial complex X embeds facewise linearly into a PL manifold M, then M has a triangulation that contains X as a subcomplex. That seems believable, and is not so hard to prove, and contained in R. H. Bing, The geometric topology of 3-manifolds, AMS, 1983.

Now the corollary that people have problems with is this: If X embeds piecewise linearly into a PL manifold M, then M has a triangulation that contains X as a subcomplex.

That is a bit counterintuitive, as the map may be rather wild, and locally not flat. In fact, the theorem requires that we deform the map a little. But it is true nevertheless, and it is what Zuzana Patáková and I proved.

Continue reading →

Stellar refinements and the Oda and Alexander conjectures

One of the fundamental results of PL topology on one hand, and the algebraic geometry of toric varieties on the other, is that any map in the respective categories (PL homeomorphism on the one hand, and birational map on the other) can be factorized into elementary moves: A PL topologist would call these stellar subdivisions, the operation of picking a point in a simplex of the polyhedron, and forcefully subdividing it by coning over the boundary of its neighborhood. And their inverses.

An algebraic geometer knows these operations as blowups and blowdowns.

Continue reading →