2017-05-31

Here are some pictures I made for my Georgia International Topology Conference talk last week, amazingly they're exactly the same topic as my last blog post from almost two years ago. Now fancy and 3D-ish, trisections of $T^2$ via a Morse $2$-function (generic smooth map) $f : T^2 \to \mathbb{R}^2$.

Here's one, more later: .

2015-10-01

First, unrelated to trisections, I was just last night made aware of (thanks to Tanner Strunk) a video on youtube of Milnor talking about differential topology in 1965: Definitely a classic.

We're still thinking about trisections of surfaces, so I want to spend today's entry on a picture I often attempt to draw in talks. This is a sequence of pictures of a torus in $\mathbb{R}^3$, but since they are pictures on your computer screen of course they are projected onto $\mathbb{R}^2$. I would love to see this example animated, drawn professionally, somehow illustrated by a serious mathematical illustrator. I'll do blackboard pictures again, and today just post the pictures without explanation:

T2inR3.1  T2inR3.2  T2inR3.3  T2inR3.4  T2inR3.5  T2inR3.6  T2inR3.7

 

2015-09-28

On to trisections of closed $2$-manifolds:

A $(g,k)$ trisection of a closed $2$-manifold $\Sigma$ is a decomposition $\Sigma=\Sigma_1 \cup \Sigma_2 \cup \Sigma_3$ such that: (1) each $\Sigma_i \cong \natural^k S^0 \times B^2$, (2) each $\Sigma_i \cap \Sigma_j \cong \natural^g S^0 \times B^1$ and (3) $\Sigma_1 \cap \Sigma_2 \cap \Sigma_3 \cong \#^g S^0 \times S^0$.

As we've seen earlier, these connected sums and boundary connected sums in low dimensions behave strangely, but the upshot is that (1) each $\Sigma_i$ is a disjoint union of $k+1$ disks, (2) each $\Sigma_i \cap \Sigma_j$ is a disjoint union of $g+1$ arcs and (3) $\Sigma_1 \cap \Sigma_2 \cap \Sigma_3$ is $2g+2$ points. The Euler characteristic $\chi(\Sigma)$ is then $(2g+2)-3(g+1)+3(k+1) = 2-g+3k$. Note that a more sensible indexing might be to call it a $(b,c)$ trisection, where $b$ is the number of arcs (bridges) and $c$ is the number of disks (components); this is what Meier and Zupan do, and the relation of course is $g=b-1$, $k=c-1$.

Here is a quick picture prepared for a grant proposal, of a $(0,0)$ trisection of $S^2$ and a $(2,0)$ trisection of $T^2$ (I've used the $(g,k)$ notation not the $(b,c)$ notation here):

S2T2trisections

Another good one for $S^2$ is the cube, where opposite faces form the $\Sigma_i$'s; this is a $(3,1)$ trisection.

2015-09-24

Summarizing, it seems that Heegaard splittings of $0$-manifolds are problematic, or need a different definition, and similarly trisections of $1$-manifolds are problematic; in both cases, the problem is having part of the dimension be $(-1)$-dimensional. But Heegaard splittings of (closed) $1$-manifolds were fine.

Now let's do Heegaard splittings of closed surfaces. Here are two options:

Option 1: A "genus $g$" Heegaard splitting of a closed surface $\Sigma$ is a decomposition $\Sigma=\Sigma_1 \cup \Sigma_2$ such that (1) each $\Sigma_i \cong \natural^g S^1 \times B^1$ and (2) $\Sigma_1 \cap \Sigma_2 \cong \#^g S^1 \times S^0$. 

On other words, each $\Sigma_i$ is a planar surface with $g+1$ boundary componets, a.k.a. a $g$-punctured disk (well, disk with $g$ open disks removed). So just put your surface flat on the table and slice parallel to the table, like this:

SurfaceHS

Note that this doesn't give us much choice. There is only one way to do this for a fixed surface of (actual) genus $h$. And maybe we really want to think of $\Sigma$ as just the double of some surface with boundary, i.e. a $2$-dimensional $1$-handlebody. So...

Option 2: A Heegaard splitting of a closed surface $\Sigma$ is a decomposition $\Sigma=\Sigma_1 \cup \Sigma_2$ such that (1) each $\Sigma_i$ is a $2$-dimensional $1$-handlebody and (2) $\Sigma_1 \cap \Sigma_2$ is a disjoint union of circles.

Now the formalism is breaking down, but this again is something special in low dimensions, that $2$-dimensional $1$-handlebodies are not completely determined by the number of $1$-handles. This suggests also that breaking the formalism a little might help with the $0$- and $1$-dimensional examples that failed. I'll return to this tomorrow, I think. Let's just end with a picture of this kind of Heegaard splitting:

SurfaceHS2

Here each half is a once-punctured torus. All I actually did was cut along the central "neck" first, but then modify that cut by a Dehn twist to make it look fancy.