Pre-workshop Zoom mini-courses: (all times are PT)
Wednesday, July 15
10am-11am Trisections I (Román Aranda)
12-1:30pm SnapPy and related tools (Nathan Dunfield)
Thursday, July 16
10am-11am Trisections II (Román Aranda)
12-1:30pm KLO and related tools (Frank Swenton)
Friday, July 17
10am-11am Trisections III (Román Aranda)
12-1:30pm Machine learning in low-dimensional topology (Sergei Gukov)
All talks take placein Miller Hall 138, and refreshments are in Miller Hall 102.
Monday, July 20:
8:30am-9am Registration
9am-10am Sarah Blackwell
10am-10:30am Break
10:30am-11:30am Problem Session
11:30am-1:15pm Lunch
1:15-1:45pm Problem Session
1:45pm-3pm Work in Groups
3pm-3:30pm Break
3:30pm-4:45pm Work in Groups
4:45pm-5pm Recap
Tuesday, July 21:
8:30-9am Coffee
9am-10am Sherry Gong
10am-10:30am Break
10:30am-11:30am Marc Kegel
11:30am-1:15pm Lunch
1:15pm-3pm Work in Groups
3pm-3:30pm Break
3:30pm-4:45pm Work in Groups
4:45pm-5pm Recap
Wednesday, July 22:
8:30am-9am Coffee
9am-10am Qiuyu Ren
10am-10:30am Break
10:30am-11:30am Lightning Talks
Free Afternoon
Thursday, July 23:
8:30-9am Coffee
9am-10am Julia Courtney
10am-10:30am Break
10:30am-11:30am Seungwon Kim
11:30am-1:15pm Lunch
1:15pm-3pm Work in Groups
3pm-3:30pm Break
3:30pm-4:45pm Work in Groups
4:45pm-5pm Recap
Friday, July 24:
8:30am-9am Coffee
9am-10am Work in Groups
10am-10:30am Break
10:30am-11am Work in Groups
11am-12pm Final Presentations
Title: Ruminations on Computation in Trisections
Abstract: Oftentimes in mathematics, we come across a dichotomy between quantities (such as invariants) which are powerful yet impossible to calculate, versus quantities which are calculable but not very powerful. In this talk we’ll discuss, in fairly broad strokes, some aspects of the theory of trisections in which this dichotomy arises, and which might be aided by new computational strategies or tools. Are there places where we might be able to “meet in the middle” of this dichotomy and make progress? Topics explored, subject to time, will include diagrams, L-invariants, and group trisections, and the various settings and contexts in which each of these topics exist.
Title: Knotted Surfaces at the End of the Rainbow
Abstract: There are numerous diagrammatic representations of knotted surfaces in four dimensions, including triplane diagrams, braid movies, banded unlinks, and braid charts. In this talk, I will introduce rainbow diagrams, a new representation of knotted surfaces in the 4-sphere that bridges triplane diagrams and braid charts. By adapting classical methods from three-dimensional braid theory due to Alexander, Morton, and Yamada, we develop explicit procedures for converting between these diagrammatic representations. These methods also yield four-dimensional analogues of classical results from braid theory. This is joint work with Roman Aranda, Scott Carter, and Puttipong Pongtanapaisan.
Title: Ribbon concordances and slice obstructions: experiments and examples
Abstract: We will discuss some computations of ribbon concordances between knots and talk about the methods and the results. This is a joint work with Nathan Dunfield.
Title: The Conway knot has infinite concordance order
Abstract: We examine how the Rasmussen invariant, satellite operations, and null-homologous twists can be used to establish infinite order of knots in the smooth concordance group. As an application, we show that the Conway knot has infinite concordance order. This is based on joint work with Chiara Donatone, Lukas Lewark, and Paula Truöl.
Title: Irreducibility of Knotted Surfaces in 4-Space
Abstract: A knotted surface is irreducible if it does not have a non-spherical unknotted surface as a summand. In this talk, I will survey previous work on irreducible knotted surfaces and then discuss an example of an irreducible knotted real projective plane, which is a counterexample to Kinoshita’s conjecture. This is joint work with Mark Hughes, Maggie Miller, and Gheehyun Nahm.
Title: Multisecting n-manifolds
Abstract: Multisections, as introduced by Ben Aribi--Courte--Golla--Moussard, generalize Heegaard splittings and trisections to arbitrary dimensions. Their existence, however, had only been established in dimension 3 (Heegaard), 4 (Gay--Kirby), and 5 (ACGM). We prove the existence of multisections in arbitrary dimensions.
One can also define a notion of bridge positions for submanifolds of codimension at least 2 in a multisection, generalizing bridge position for links in Heegaard splittings, bridge trisections for surfaces in trisections by Meier--Zupan, and bridge quadrisections in quadrisections by Aranda--Blackwell--Kim--Naylor--Pongtanapaisan. We give a proof that every submanifold of codimension at least 2 in a multisection can be put into bridge position, generalizing results in aforementioned work. This result is also a key ingredient in our proof of the existence of multisections. Time permitting, we illustrate our proof idea in some low-dimensional examples. We also mention some natural questions that arise from our work. This is joint work with Sylvain Courte, Delphine Moussard, and Xiaozhou Zhou.
Patrick Naylor was scheduled to speak but had to cancel due to illness.
Mini-course Instructors:
Román Aranda (University of Nebraska-Lincoln)
Nathan Dunfield (University of Illinois Urbana-Champaign)
Sergei Gukov (Caltech)
Frank Swenton (Middlebury College)