The $D_4$ dualizability law

Comments published

<! --- LETTERS ---> $$ \newcommand{\lR}{\mathbb{R}} $$ $$ \newcommand{\lZ}{\mathbb{Z}} $$ $$ \newcommand{\lN}{\mathbb{N}} $$ $$ \newcommand{\lI}{\mathbb{I}} $$ $$ \newcommand{\II}{\mathbb{I}} $$ $$ \newcommand{\bI}{\mathbf{I}} $$ $$ \newcommand{\bC}{\mathbf{C}} $$ $$ \newcommand{\bD}{\mathbf{D}} $$ $$ \newcommand{\bE}{\mathbf{E}} $$ $$ \newcommand{\bF}{\mathbf{F}} $$ $$ \newcommand{\iI}{\mathsf{I}} $$ $$ \newcommand{\iA}{\mathsf{A}} $$ $$ \newcommand{\iB}{\mathsf{B}} $$ $$ \newcommand{\iC}{\mathsf{C}} $$ $$ \newcommand{\iD}{\mathsf{D}} $$ $$ \newcommand{\iE}{\mathsf{E}} $$ $$ \newcommand{\iF}{\mathsf{F}} $$ $$ \newcommand{\iM}{\mathsf{M}} $$ <! --- SYMBOLS ---> $$ \newcommand{\eps}{\epsilon} $$ $$ \newcommand{\SetCat}{\mathrm{Set}} $$ $$ \newcommand{\Bool}{\mathrm{Bool}} $$ $$ \newcommand{\Pos}{\mathrm{Pos}} $$ $$ \newcommand{\lbl}{\mathsf{lbl}} $$ $$ \newcommand{\subdiv}{\mathsf{sd}} $$ $$ \newcommand{\Hom}{\mathrm{Hom}} $$ $$ \newcommand{\Fun}{\mathrm{Fun}} $$ $$ \newcommand{\Psh}{\mathrm{PSh}} $$ <! --- OPERATORS ---> $$ \newcommand{\dim}{\mathrm{dim}} $$ $$ \newcommand{\id}{\mathrm{id}} $$ $$ \newcommand{\src}{\partial^-} $$ $$ \newcommand{\tgt}{\partial^+} $$ $$ \newcommand{\und}[1]{\underline{#1}} $$ $$ \newcommand{\abs}[1]{\left|{#1}\right|} $$ $$ \newcommand{\op}{^{\mathrm{op}}} $$ $$ \newcommand{\inv}{^{-1}} $$ <! --- CATEGORIES, FUNCTORS AND CONSTRUCTIONS ---> $$ \newcommand{\ttr}[1]{\mathfrak{T}^{#1}} $$ $$ \newcommand{\lttr}[2]{\mathfrak{T}^{#1}{(#2)}} $$ $$ \newcommand{\truss}[1]{\mathsf{T}\!\mathsf{rs}_{#1}} $$ $$ \newcommand{\sctruss}[1]{\bar{\mathsf{T}}\!\mathsf{rs}_{#1}} $$ $$ \newcommand{\rotruss}[1]{\mathring{\mathsf{T}}\!\mathsf{rs}_{#1}} $$ $$\newcommand{\trussbun}[1]{\mathsf{TrsBun}_{#1}} $$ $$ \newcommand{\trusslbl}[1]{\mathsf{Lbl}\mathsf{T}\!\mathsf{rs}_{#1}} $$ $$ \newcommand{\blcat}[1]{\mathsf{B}\mathsf{lk}_{#1}} $$ $$ \newcommand{\blset}[1]{\mathsf{Blk}\mathsf{Set}_{#1}} $$ $$ \newcommand{\fcl}[2]{\chi^{#1}_{#2}} $$ $$ \newcommand{\Entr}{\mathsf{Entr}} $$ $$ \newcommand{\Exit}{\mathsf{Exit}} $$ <! --- ARROWS AND RELATIONS ---> $$ \newcommand{\fleq}{\preceq} $$ $$ \newcommand{\fles}{\prec} $$ $$ \newcommand{\xto}[1]{\xrightarrow{#1}} $$ $$ \newcommand{\xot}[1]{\xleftarrow{#1}} $$ $$ \newcommand{\ot}{\leftarrow} $$ $$ \newcommand{\toot}{\leftrightarrow} $$ $$ \newcommand{\imp}{\Rightarrow} $$ $$ \newcommand{\iff}{\Leftrightarrow} $$ $$ \newcommand{\iso}{\cong} $$ $$ \newcommand{\into}{\hookrightarrow} $$ $$ \newcommand{\proto}{\longrightarrow\mkern{-2.8ex}{\raisebox{.3ex}{$\tiny\vert$}}\mkern{2.5ex}} $$ <! --- DIAGRAM ARROWS ---> <! ---... should replace \rlap by \mathrlap, see KaTeX doc ---> $$ \newcommand{\ra}[1]{\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} $$ $$ \newcommand{\la}[1]{\xleftarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} $$ $$ \newcommand{\da}[1]{\downarrow\raisebox{.5ex}{\rlap{$\scriptstyle#1$}}} $$ $$ \newcommand{\dra}[1]{\raisebox{.2ex}{\llap{$\scriptstyle#1$}}\kern-.5ex\searrow}} $$ $$ \newcommand{\dla}[1]{\swarrow\kern-1ex\raisebox{.2ex}{\rlap{$\scriptstyle#1$}}} $$ $$ \newcommand{\ua}[1]{\uparrow\raisebox{.2ex}{\rlap{$\scriptstyle#1$}}} $$ $$ \newcommand{\ura}[1]{\raisebox{.2ex}{\llap{$\scriptstyle#1$}\kern-.5ex\nearrow}} $$ $$ \newcommand{\ula}[1]{\nwarrow\kern-1ex\raisebox{.2ex}{\rlap{$\scriptstyle#1$}}} $$


As explained in a recent preprint [1] classical singularities, such as Arnold’s ADE singularities, can be translated into higher categorical pasting diagrams—the latter can be thought of expressing laws satisified by (coherently) dualizable objects: for instance, the usual ‘triangle law’ between the unit and counit of an adjoint corresponds to the simplest non-quadratic singularity, namely, Arnold’s \(A_2\) singularity.

In this post, supplementing the material in [1], we explain in more detail how we can understand the first \(D\)-series singularity, namely Arnold’s \(D^-_4\) singularity, as a categorical pasting diagram. Some references for classical singularity theory are [2], [3], and [4].

The \(D_4^-\) germ $x_1^3 - x_2^2 x_1$ has an unfolding $f(x_1,x_2,u_1,u_2,u_3)$ of the form

\[x_1^3 - x_2^2 x_1 + u_1 (x_2^2 + x_1^2) - u_2 x_2 - u_3 x_1.\]

In [1] we describe a recipe for turning this unfolding into a tame tangle: namely, a tangle can be obtained from the hyper-surface $\tilde\Gamma_f$ of points $\{(u_3,u_2,u_1,f(x_1,x_2,u_1,u_2,u_3),x_2,x_1) \in \lR^6\}$, by appropriately restricting $\tilde\Gamma_f$ to a framed subcube $\II^6 \into \lR^6$ containing the origin. Note, the latter inclusion projects to a framed subcube $\II^3 \into \lR^3$: we visualize the situation (for a somewhat very “standard” looking inclusion) on the left in the Figure below.

Figure 1: Sampling neighborhoods of the origin \(0\).

We’ll be interested in the link $L_f = \partial \II^3 \cap \tilde\Gamma_f$ of the singularity around the origin—as a tame tangle, this splits up into a source and target part: the face of the framed cube inclusion corresponding to source and target are highlighted in green resp. red in Fig. 1.

Note, each point in the source (resp. the target) face of the cube is described by a triple $\mathbf{u} = (u_1,u_2,u_3)$; fibered over each such point is the hyper-surface of $\tilde \Gamma_{f,\mathbf{u}}$ points $(f(x_1,x_2,u_1,u_2,u_3),x_2,x_1)$ in $\II^3$ which is a 2-tangle in the 3-cube. Varying the parameters $u_i$ evolves this 2-tangle making the source/target a 4-tangle in $\II^5$ (note the evolution is in two dimensions since $u_3$ is fixed for both source and target face: the categorical 4-direction evolution is the parameter $u_1$, and the 5-direction is the parameter $u_2$). To visualize these 4-tangles in $\II^5$ we can sample their $\II^4$ slices at different $u_2$-parameter “times” $t_1, …, t_i$, and at each such time, sample $\II^3$ slices of $\II^4$ slices at different $u_1$-parameter “times” $a_1, …, a_j$. This is schematically illustrated in the Fig. 1 (on the left) for the target.

It turns out we can further clarify the visualization of the $L_f$ if we change our plan slightly as follows: instead of sampling the source and target of a cube as shown above, we will sample our 4-tangle in $\II^5$ on the boundary a “cylinder” as shown on the right—technically, this cylinder is not the image of a framed embedding of a 3-cube $\II^3$; however, we could chose a thin framed-embedded cube (illustrated in orange) and this would lead us to a qualitatively similar visualization of $L_f$. Note that by sampling times $t_k$ “around the cylinder” we combine source and target 4-tangle into a single 4-tangle in $\II^5$, which we refer to as $L_f$. We are now ready to actually plot $L_f$.

The above plan to sample the hypersurfaces $\tilde \Gamma_{f,\mathbf{u}}$ at varying $\mathbf{u}$ is implemented by the following Mathematica code. Note, there are several choices of numerical values ($a$ times range between $[-1.5, +1.5]$, $t$ times between $[0, 2\pi]$, the cylinder radius is $1.5$, $x_i$ are plotted between $[-3,3]$, $f$ values between $[-40,40]$; note the monomial $x_1^3$ in $f$ is modified by a factor $\frac{1}{3}$; note also $i$ above becomes the variable slices4D below, and $j$ becomes slices3DPer4Dslice)—all of these choices are so that “the action becomes clearly visible”. The “action” can be seen in a movie below.

slices4D = 12;
slices3DPer4Dslice = 80;
movieFrame = 0;
 movieFrame < slices4D*slices3DPer4Dslice,

 frameTuple = QuotientRemainder[movieFrame, slices3DPer4Dslice];
 t = frameTuple[[1]]*(2*Pi)/slices4D;
 a = -1.5 + frameTuple[[2]]*3/slices3DPer4Dslice;
 f[x_, y_] = (1/3)*x^3 - x*y^2 + a*(x^2 + y^2) -
   1.5*Cos[t]*y - 1.5*Sin[t]*x;
 criticalPoints = {x, y, f[x, y]} /.
   NSolve[{x^2 - y^2 + 2*a*x - 1.5*Sin[t] ==
      0, -2*x*y + 2*a*y - 1.5*Cos[t] == 0}, {x, y}, Reals];
 framePlot =
  Show[Plot3D[f[x, y], {x, -3, 3}, {y, -3, 3},
      PlotRange -> {-40, 40}, MeshFunctions -> {#3 &}, Mesh -> 100,
      BoxRatios -> {1, 1, 3},
      PlotStyle ->
       Directive[Yellow, Specularity[White, 20], Opacity[0.7]],
      ImageSize -> {1899, 1899}, ViewVector -> {80, -32, 560},
      ViewAngle -> -10, AxesLabel -> Thread@Text[{"x", "y", "f"}],
      PlotLabel ->
         "time = " <>
          StringPadRight[ToString[NumberForm[N[t], 3]], 4, "0"] <>
          " height = " <>
          StringPadRight[ToString[NumberForm[N[a], 3]], 4, "0"]],
     Graphics3D[{Red, PointSize[.005], Point[criticalPoints]}],
     Graphics3D[{Blue, PointSize[.005],
       Point[{#[[1]], #[[2]], 0} & /@ criticalPoints]}],
     Graphics3D[{Black, PointSize[.002],
       Point[{-3, -3, #[[3]]} & /@ criticalPoints]}]];
    Export["frame" <> StringPadLeft[ToString[movieFrame],
    4, "0"] <> ".jpg", framePlot];;


The Mathematica code generates movie frames that can be assembled into a single movie watchable below—note that, really, it is a “movie of movies”: for each time $t_k$ there is a movie of hypersurfaces in $\II^3$ with a frame for each of the times $a_1, …, a_j$. For our later interpretation as a tangle, it is extremely helpful to also plot critical points (i.e. points $(x_1,x_2)$ where the $df = 0$): these are marked by red dots in the movie, while blue dots are the projection of red dots to the plane $\lR^2 \times 0 \subset \lR^3$ (this is helpful to “see” the value $f(x_1,x_2)$ at a critical point: its the distance between the red and the blue point).

In the paused video, you can navigate frames with “.” and “,” (press twice since the video has 12fps instead of the usual 24fps). Here’s a link to the original video file which should be yet better quality if you download it (~160MB).

Note that these hypersurfaces in $\II^3$ aren’t actually 2-tangles yet: they do intersect the cube $[-3,3] \times [-3,3] \times [-40,40]$ badly on the boundary $\partial (3\II^2) \times [-40,40]$ (where $3\II^2 = [-3,3] \times [-3,3]$)—however, this is easily remedied by choosing a different framed cube (see Fig. 3.15 in [1] for how this is done in the case of the saddle 2-tangle), and we are allowed to vary this cube frame-by-frame (by definition of framed maps). Doing so leads to a movie of movies of 2-tangles, and this is illustrated in the next Figure—in order to be able to read this Figure not the following.

  • Rows are evolution in categorical 4-direction (i.e. increasing time $a$)
  • Columns evolve rows in categorical 3-direction (i.e. increasing time $t$)
  • To depict individual 2-tangles in $\II^3$ we use shorthand notation by projecting to critical 2-tangles to $\II^2$, see Section 3.4 in [1]. This requires an “initial condition” which is given in the lower left of the Figure.
  • All 2-tangle data is given in shades of grey.
  • Thin colored lines indicate evolution in 4-direction.
  • Thick colored lines indicate evolution in 5-direction—in fact, thick colored lines are line strata in the manifold diagram corresponding to the 4-tangle (see Section 3.1 in [1])).
  • Colored dots are point strata in the manifold diagram corresponding to the 4-tangle.
Figure 2: The link $L_f$ of the \(D_4\) singularity as a tangle.

Before heading to the next section, we pat ourselves on the shoulder for having chosen slices4D = 12: indeed, from the above we see that interesting deformations happen for times $\frac{t}{2\pi}$ being $\frac{1}{12}$, $\frac{3}{12}$, $\frac{5}{12}$, and $\frac{9}{12}$ (Note 1: for $\frac{7}{12}$ and $\frac{11}{12}$ stuff happens too as “things move past each other”, but this is somewhat less interesting) (Note 2: the event at $\frac{3}{12}$ is similarly invisible from just looking at critical points in the movie, but only appears when working with framed space). Compare this to the classical “3-fold” symmetry in the parameter space of the $D^-_4$ singularity which can be seen e.g. here.

Taking the cone of the 4-tangle $L_f$ in Fig. 2 defines a 5-tangle singularity which in [1] we denoted by $\iD_4$. As discussed there, the singularity appears to be stable—but it is not extendedly stable: that is, the link $L_f$ uses tangle singularities that can be perturbed into simpler tangle singularities. We now outline how such a perturbation can be achieved.

As a first step, recall [1] classes of stable 3-tangle singualarities that can be constructed as “binary algebraic laws” of lower-dimensional singularities: we reillustrate these classes in Fig. 3 below. It will turn out that 3-tangle singularities of these “binary” types (and analogous “binary” 4-tangle singularities) suffice to write down a perturbation of $L_f$.

Figure 3: Classes of stable 3-tangle singularities (reproducing Fig. 3.18 from [1])

Take note of the colors chosen for these singularities: we will use them consistently in the following, for indicating singularities from classes represented by those in Fig. 3.

As a first step in perturbing $L_f$ consider the (thick) pink and brown line strata in Fig. 2: let us call the pink singularity the “morse split” and the brown singularity the “cusp flip”. Neither of these singularities are stable—the fact that they can be perturbed into simpler singularities is illustrated in Fig. 4 below.

Figure 4: Perturbing the cusp flip and the morse split singularities

Observe carefully that there are two reasonable perturbations of the of the cusp flip: one ends in the color sequence blue-red-green and the other in the (reverse sequence) green-red-blue. This has the following effect.

Our approach to perturbing $L_f$ will first perturb line strata, splitting them up into multiple line strata as shown in Fig. 4. In fact, this will also naturally lead to splittings of point strata as we will see. However, The “figure 8 braid” in $L_f$ around the time $\frac t {2\pi} = \frac 3 12$ leads to a complication that will require as to reverse the color-sequence blue-red-green into the sequence green-red-blue. This reversal requires additional singularities (which turn out to be crucial!) as illustrated by a “zoomed-in part” in the next figure: this figure depicts a first perturbation of the link $L_f$. Note that our depiction is schematic: except for the zoomed in part, it only depicts global 4-5-structures, leaving the full 1-2-3-4-5-structure to be filled in by the reader (of course we claim there is just one correct way of doing it).

Figure 5: A first perturbation of the link of \(D_4\)

Fig. 5 shows a 4-tangle $L^\prime_f$ that perturbs our earlier tangle $L_f$. $L^\prime_f$ is almost stable: namely, it is perturbation stable except for the box in the color-sequence reversal—the yellow point stratum (yellow dot) is a tangle singularity that is in fact not yet stable. Thus in the next step is to perturb the yellow point stratum. We forego producing another image for this perturbation: the perturbation will precisely contain an $\iD_3$ that also appears in the next figure (and the remaining details are once more left to the reader). Instead, let us fast forward: perturbing the yellow singularity leads to another perturbation $L^\prime_f \rightharpoonup L^{\prime\prime}_f$. Now, $L^{\prime\prime}_f$ can be further simplified by an isotopy path $L^{\prime\prime}_f \to \tilde L_f$, which allows to remove some point and line and strata from the above (note that we don’t claim that our choice of perturbation or subsequent isotopy is unique). The resulting tangle $\tilde L_f$ is thus $\mathscr{F}$-equivalent to the link $L_f$ we started with, and thus the cone $\tilde\iD_4$ of $\tilde L_f$ is $\mathscr{F}$-equivalent to $\iD_4$ (making $\tilde\iD_4$ and $\iD_4$ appropriately equivalent as tangle singularities). The link $\tilde L_f$ is shown in the next and final figure (Note: for added symmetry, one of the two bottom green boxes in $L^\prime_f$ in Fig. 4 was moved to the top of $\tilde L_f$ in Fig. 5).

Figure 5: the link of \(D_4\) genericised and simplified (reproducing Fig. 3.19 from [1]).

The core observation made in [1] is the following: the above exhibits the $\tilde\iD_4$ singularity as a algebraic binary law of $\iD_3$ singularities, just as a the simple $A_2$ singularity corresponds to the triangle law for units and counits (i.e. $\iA_1 = \iM_1$ singularities) in adjoints/adjoint equivalences. This hints at a deep connection between classical singularity theory and the theory of higher adjoints/adjoint equivalences, i.e. of coherently dualizable/invertible objects.


[1] “Manifold diagrams, tame tangles and singularities”, Dorn + Douglas

[2] Local normal forms of functions, V Arnold

[3] Notes on the classification of singularities, CTC Wall

[4] Singularities of mappings, D Mond + JJ Nuno-Ballesteros