{"id":2225,"date":"2016-03-15T01:00:10","date_gmt":"2016-03-15T01:00:10","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=2225"},"modified":"2016-04-12T19:36:08","modified_gmt":"2016-04-12T19:36:08","slug":"zamolodchikov-tetrahedron-equation","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2016\/03\/15\/zamolodchikov-tetrahedron-equation\/","title":{"rendered":"Zamolodchikov Tetrahedron Equation"},"content":{"rendered":"
\n
\"Zamolodchikov<\/a>

Zamolodchikov Tetrahedron Equation – J. Scott Carter and Masahico Saito<\/p><\/div>\n<\/div>\n

The Zamolodchikov tetrahedron equation, illustrated above by J. Scott Carter<\/a> and Masahico Saito<\/a>, is a fundamental law governing surfaces embedded in 4-dimensional space. It also arises purely algebraically in the theory of braided monoidal 2-categories.<\/p>\n

Given an object \\(x\\) in a monoidal category<\/a>, we say a morphism<\/p>\n

$$B \\colon x \\otimes x \\to x \\otimes x $$<\/p>\n

obeys the Yang–Baxter equation<\/a><\/b> if <\/p>\n

$$ (B \\otimes 1)(1 \\otimes B)(B \\otimes 1) =
\n (1 \\otimes B)(B \\otimes 1)(1 \\otimes B) $$<\/p>\n

We can understand this using the technique of string diagrams<\/a> if we draw \\(B\\) as a ‘braiding’<\/a>, the process of switching two copies of the object \\(x\\):<\/p>\n

\n\"Braiding<\/a> <\/div>\n

The Yang–Baxter equation then says this:<\/p>\n

\"Yang--Baxter<\/a><\/div>\n

In other words, we can slide a crossing of two strands under a third strand. In topology this is called the third Reidemeister move<\/a><\/b>, one of three basic ways of changing a picture of a knot without changing the topology of the knot.<\/p>\n

Given an object $x$ in a monoidal 2-category and a morphism<\/p>\n

$$B \\colon x \\otimes x \\to x \\otimes x, $$<\/p>\n

we can demand that the Yang–Baxter equation hold up to a 2-morphism. This means that there is a 2-morphism<\/p>\n

$$Y \\colon (B \\otimes 1)(1 \\otimes B)(B \\otimes 1) \\Rightarrow
\n (1 \\otimes B)(B \\otimes 1)(1 \\otimes B) $$<\/p>\n

called the Yang–Baxterator<\/b>. We think of this as the process<\/i> of sliding a crossing of strands under a third strand:<\/p>\n

\"Yang--Baxterator<\/a> <\/div>\n

Using topology, we can see that it is natural for the Yang–Baxterator to satisfy an equation of its own, a higher-dimensional analogue of the Yang–Baxter equation. This is called the Zamolodchikov tetrahedron equation<\/b>:<\/p>\n

$$
\n\\begin{array}{c}
\n[Y \\circ (1 \\otimes 1 \\otimes B)(1 \\otimes B \\otimes 1)(B \\otimes 1 \\otimes 1)] [(1 \\otimes B \\otimes 1)(B \\otimes 1 \\otimes 1) \\circ
\nY \\circ (B \\otimes 1 \\otimes 1)]
\n\\\\
\n[(1 \\otimes B \\otimes 1)(1
\n\\otimes 1 \\otimes B) \\circ Y \\circ (1 \\otimes 1 \\otimes B)] [Y
\n\\circ (B \\otimes 1 \\otimes 1)(1 \\otimes B \\otimes 1)(1 \\otimes 1 \\otimes
\nB)]
\n\\\\
\n=
\n\\\\
\n[(B \\otimes 1 \\otimes 1)(1 \\otimes B \\otimes 1)(1 \\otimes 1 \\otimes B)
\n\\circ Y ] [(B \\otimes 1 \\otimes 1) \\circ Y \\circ (B \\otimes 1
\n\\otimes 1)(1 \\otimes B \\otimes 1)]
\n\\\\
\n[(1 \\otimes 1 \\otimes B) \\circ Y \\circ (1 \\otimes 1 \\otimes
\nB)(1 \\otimes B \\otimes 1)] [(1 \\otimes 1 \\otimes B)(1 \\otimes B
\n\\otimes 1)(B \\otimes 1 \\otimes 1) \\circ Y].
\n\\end{array}
\n$$<\/p>\n

To see the significance of this complex but beautifully symmetrical equation, one should think of $Y$ as the surface in 4-dimensional space traced out by the process of performing the third Reidemeister move. Then the Zamolodchikov tetrahedron equation says the surface traced out by first performing the third Reidemeister move on a threefold crossing and then sliding the result under a fourth strand:<\/p>\n

\"Zamolodchikov<\/a><\/div>\n

can be deformed to the surface traced out by first sliding the threefold crossing under the fourth strand and then performing the third Reidemeister move:<\/p>\n

\"Zamolodchikov<\/a> <\/div>\n

So, the Zamolodchikov tetrahedron equation says this:<\/p>\n

\n\"Zamolodchikov<\/a><\/div>\n

Here is another picture of it created by Carter and Saito:<\/p>\n

\n
\"Zamolodchikov<\/a>

Zamolodchikov Tetrahedron Equation – J. Scott Carter and Masahico Saito<\/p><\/div>\n<\/div>\n

The numbers indicate which three strands are involved in each appearance of the Yang–Baxterator.<\/p>\n

To learn more about the role of the Zamolodchikov tetrahedron equation in topology, see these papers:<\/p>\n

• J. Scott Carter, Seiichi Kamada and Masahico Saito, Surfaces in 4-Space<\/i>, Springer, Berlin, 2004.<\/p>\n

• J. Scott Carter and Masahico Saito, Knotted Surfaces and Their Diagrams<\/i>, AMS, Providence, Rhode Island, 1998.<\/p>\n

Just as the Yang–Baxter equation is a consequence of the definition of braided monoidal category<\/a>, the Zamolodchikov tetrahedron equation automatically follows from the definition of ‘braided monoidal 2-category’. For details and connections to other algebraic structures, see:<\/p>\n

• John Baez and Martin Neuchl, Higher-dimensional algebra I: braided monoidal 2-categories<\/a>, Adv. Math.<\/i> 121<\/b> (1996), 196–244. <\/p>\n

• Sjoerd Crans, Generalized centers of braided and sylleptic monoidal 2-categories<\/a>, Adv. Math.<\/i> 136<\/b> (1998), 183–223.<\/p>\n

• John Baez and Laurel Langford, Higher-dimensional algebra IV: 2-tangles<\/a>, Adv. Math.<\/i> 180<\/b> (2003), 705–764.<\/p>\n

• John Baez and Alissa Crans, Higher-dimensional algebra VI: Lie 2-algebras<\/a>, Theory and Applications of Categories<\/i>, 12<\/b> (2004), 492–528.<\/p>\n

The uncaptioned pictures above come from the paper by Baez and Crans; most of them were created by Aaron Lauda.<\/p>\n

\n

Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment here<\/a> and let me know!<\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

The Zamolodchikov tetrahedron equation, illustrated above by J. Scott Carter<\/a> and Masahico Saito<\/a>, is a fundamental law governing surfaces embedded in 4-dimensional space. It also arises purely algebraically in the theory of braided monoidal 2-categories.<\/p>\n

<\/div>\n","protected":false},"author":66,"featured_media":2548,"comment_status":"open","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[2,12,25],"tags":[],"class_list":["post-2225","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-images-library","category-surfaces","category-topology"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/03\/zamolodchikov_tetrahedron.jpg","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-zT","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2225","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=2225"}],"version-history":[{"count":37,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2225\/revisions"}],"predecessor-version":[{"id":2552,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2225\/revisions\/2552"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/2548"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=2225"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=2225"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=2225"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}