I have been painfully remiss in keeping this blog up and running lately. I wholeheartedly blame the pretty intense travel schedule I’ve been on for the last month and a half.
To get back into the game, I start things off with a letter from a reader. Rodolfo Medina write:
surfing around in internet, looking for an answer to my question, I fell into
your web site.
I’m looking for an answer to the following question:
my intuitive idea is that a one-dimensional connected topological submanifold
of a topological space S should necessarily be the codomain of a curve (if we
define a curve to be a continuous map from an R interval into a topological
Conversely, the codomain of an injective curve, defined in an open R interval,
should necessarily be a one-dimensional topological submanifold of S.
- October 28th, 2008
- 11:03 pm
It turns out that there is even more to say on the communes of Lichtenstein.
First of all, there is a 5-clique in the communal graph, as Brian Hayes pointed out. But there are two different excluded subgraphs for planarity – so if we aren’t looking specifically for the chromatic number, but rather how this graph fails to be a “normal” land map, we might want to see whether it realizes BOTH.
It turns out that it does.
The following are two highlighted versions of the Liechtenstein communal graph.
The embedded K5 with edges in blue.
The embedded K33 with blue and red vertices.
- October 28th, 2008
- 7:41 pm
Following the featuring of the internal political structure of Lichtenstein on the Strange Maps blog, Brian Hayes asks for the chromatic number of Lichtenstein.
Rahul pointed out that I made errors in transferring the map to a graph. Specifically, I missed the borders Schellenberg-Eschen and Vaduz-Triesen. The post below changes accordingly.
Warning: This post DOES contain spoilers to Brian’s question. If you do want to investigate it yourself, you’ll need to stop reading now. Apologies to those on my planet feeds.
As a first step, we need to build a graph out of it. I labeled each region in turn with the exclaves numbered higher than the “main” region of each organizational unit. And then I build a .dot file to capture them all:
First off, I’d ask your pardon for the lull in postings – this spring has been insane. It has been very much fun – traveling the world, talking about my research and meeting people I only knew electronically – and also very intense.
To break the lull, I thought I’d try to pick up what I did last summer: parallel computing on clusters. It’s been a bit of blog chatter about SAGE and how SAGE suddenly has transformed from a Really Good Idea to something that starts to corner out most other systems in usability and flexibility.
Matlab? SciPy bundled with SAGE and the Python integration seems to be at least as good, if not better.
Maple? Mathematica? Maxima? Singular? GAP? SAGE interfaces with all those that it doesn’t emulate.
I’m going to move on with the identification of geometric objects with functions from these objects down to a field soon enough, but I’d like to spend a little time nailing down the categorical language of this association. Basically, we have two functors I and V going back and forth between two categories. And the essential statement of the last post is that these two functors form an equivalence of categories.
Now, first off in this categorical language, I want to nail down exactly what the objects are. In the category the objects are solution sets of systems of polynomial equations. And in the category , the objects are finitely presented Noetherian reduced k-algebras.
The functor acts on objects by sending an algebra R to the solution set of the polynomial equations generating the ideal in a presentation of the algebra.
- February 21st, 2008
- 10:43 pm
I want to lead this sequence to the point where I am having trouble understanding algebraic geometry. Hence, I won’t take the usual course such an introduction would take, but rather set the stage reasonably quickly to make the transit to the more abstract themes clear.
But that’s all a few posts away. For now, recall that we recognized already that any variety is defined by an ideal, and that intersections and unions of varieties are given by sums and intersections or products of ideals.
This is the first page of what is known as the Algebra-Geometry dictionary. The dictionary is made complete by a pair of reasonably famous theorems. I won’t bother proving them – the proofs are a good chunk of any decent commutative algebra course – but I’ll quote the theorems and discuss why they matter.
- February 21st, 2008
- 12:33 pm
- February 1st, 2008
- 2:27 pm
So, here’s the plan for my 10th grade topology students.
Today, we’ll abandon algebraic topology completely, and instead go into knot theory. I’ll want to discuss what we mean by a knot (embedding of in ), what we mean by a knot deformation (thus introducing isotopies while we’re at it) and the Reidemeister moves. Also we’ll discuss knot invariants – and their use analogous to topological invariants.
Later on, we’ll continue with other invariants; definitely including the Jones polynomial, and possibly even covering Khovanov homology. One possible end report would be to explain a bunch of knot invariants and show using examples how these have different coarseness.
Edited to add: I got myself some damn smart students. They figured out the Reidemeister moves on their own – as well as minimal crossing number in a projection being highly relevant – with basically no prompting from me. I’m impressed.
- January 25th, 2008
- 5:58 pm
At the start of the German Year of Mathematics, the Oberwolfach research institute has released an exhibition and the software they used to produce it. The software, surfer, is a really nice GUI that sits on top of surf and lets you rotate and zoom your algebraic surfaces as well as pick colours very comfortably.
They have a whole bunch of Really Pretty Images at the exhibition website, and I warmly recommend a visit. If you can get hold of the exhibition, they also have produced real models – with a 3d-printer – of some of the snazzier surfaces, so that one could have a REALLY close encounter with them.
But also, I’d really like to show you some of my own minor experiments with the program.
This is the interior of a Klein Bottle, using the “standard” realization as an algebraic surface given by Mathworld. In other words, I’m using
for the defining equation. It kinda looks a bit like a Sousaphone in my opinion.
- November 16th, 2007
- 4:34 pm
Today, I told my two bright students about abstract and geometric simplicial complexes, about the boundary map and the chain complex over a ring R associated with a simplicial complex Δ, and assigned them reading out of Hatcher’s Algebraic Topology.
The next couple of weeks will be spent doing homology of simplicial complexes, singular homology, equivalence of the two, neat things you can do with them; and then we’ll start moving towards a Borsuk-Ulam-y topological combinatorics direction.
I might end up pulling combinatorics papers from my old “gang” in Stockholm on graph complexes, and graph property complexes, and poke around those with them.
I seem to have become the Goto-guy in this corner of the blogosphere for homological algebra.
Our beloved Dr. Mathochist just gave me the task of taking care of any readers prematurely interested in it while telling us all just a tad too little for satisfaction about Khovanov homology.
And I received a letter from the Haskellite crowd – more specifically from alpheccar, who keeps on reading me writing about homological algebra, but doesn’t know where to begin with it, or why.
I have already a few times written about homological algebra, algebraic topology and what it is I do, on various levels of difficulty, but I guess – especially with the carnival dry-out I’ve been having – that it never hurts writing more about it, and even trying to get it so that the non-converts understand what’s so great about it.
So here goes.
- February 21st, 2006
- 11:06 am
Todays webbrowsing led me to John Baez finds in mathematical physics for week 226, which led me to snoop around John Baez homepage, which in turn led me to stumble across the Geometry of Computation school and conference in Marseilles right now.
This, in turn, leads to several different themes for me to discuss.
In the weeks finds, John Baez comes up to speed with the cryptographic community on the broken state of SHA-1 and MD-5. Now, this is a drama that has been developing with quite some speed during the last 1-1½ years. It all began heating up seriously early 2005 when Wang, Yin and Yu presented a paper detailing a serious attack against SHA-1. Since then, more and more tangible evidence for the inadvisability of MD-5 and upcoming problems with SHA-1 have arrived – such as several example objects with different contents and identical MD-5 hashes: postscript documents (Letter of Recommendation and Access right granting), X.509 certificates et.c.
- February 13th, 2006
- 1:55 pm
- February 12th, 2006
- 11:14 pm
If I’m going to take this renewed interest in trying to understand differential geometry more seriously, I might as well read more than one source on it. So, I’ll start a sequence of posts on this book as well.
Just as Merkulov, Lee starts with a short definition of what a topological manifold is, including definitions for the terms needed for the treatment.
An n-dimensional topological manifold is a second countable Haussdorff space of local Euclidean dimension n.
Next, Lee goes on to define coordinate charts. I won’t repeat the treatment, since he doesn’t really bring anything Merkulov hasn’t talked about in some manner or other. Atlases, smooth structures and equivalence of atlases also merits some treatment.
- February 11th, 2006
- 11:03 pm
- February 11th, 2006
- 2:23 pm
I’ll do this in posts and not pages on further thought…
Sergei Merkulov at Stockholm University gives during the spring 2006 a course in differential geometry, geared towards the algebra graduate students at the department. The course was planned while I was still there, and so I follow it from afar, reading the lecture notes he produces.
At this page, which will be updated as I progress, I will establish my own set of notes, sketching at the definitions and examples Merkulov brings, and working out the steps he omits.
Familiar parts in unfamiliar language
Merkulov begins the paper by introducing in swift terms the familiar definitions from topology of topology, continuity, homeomorphisms, homotopy, and then goes on to discuss homotopy groups, and thereby introducing new names for things I already knew. Thus, I give you, for a pointed topological space