Alex Chandler, NC State, Spectral Sequences Working Seminar part 3
Exact couples and the Bockstein spectral sequence.
Exact couples and the Bockstein spectral sequence.
Computing Tor with spectral sequences.
Knot homology theories
A Floer homology is an invariant of a closed, oriented 3-manifold Y that arises as the homology of a chain complex whose generators are either the set of solutions to a differential equation or the intersection points between Lagrangian manifold, and its differential arises as the count of solutions of a differential equation on Y…
Spectral sequences in Khovanov homology.
The cosmetic surgery conjecture states that no two surgeries on a given knot produce the same 3-manifold (up to orientation preserving diffeomorphism). Floer homology has proved to be a powerful tool for approaching this problem; I will survey partial results that are known and then show that these results can be improved significantly. If a…
For an un-oriented link K, let L(K) be the ropelength of K. It is known that in general L(K) is at least of the order O((Cr(K))3/4), and at most of the order O(Cr(K) ln5 (Cr(K)) where Cr(K) is the minimum crossing number of K. Furthermore, it is known that there exist families of (infinitely many) links with the property…
The original construction of the Khovanov homology of a link can be seen as a formal complex in the category of flat tangles and surfaces between them. There is a way to associate a chain map with a link cobordism, but only up to a sign. Blanchet has fixed this by introducing the category of gl(2)-foams, certain singular cobordisms…
In his monograph “Systèmes Orthogonaux” (Leçons sur les systèmes orthogonaux et les coordonnées curvilignes, Gauthier-Villars, Paris, 1910), Darboux stated three theorems providing local existence and uniqueness of solutions to first order systems of PDEs, where for each unknown function a certain subset of partial derivatives is prescribed and the values of the unknown functions are prescribed along the corresponding transversal coordinate…
One way to effectively show a group is non-trivial is to find a non-trivial representation. A major open question in low-dimensional topology is whether the fundamental group of a closed three-manifold other than S^3 has a non-trivial SU(2) representation, and this is a strategy for an alternate proof of the three-dimensional Poincare conjecture. We will…
In this talk I'll explain a surprising relationship between the objects in the title. Two n-dimensional polytopes, $P$, $Q$ are said to be scissors congruent if one can cut $P$ along a finite number of hyperplanes, and re-assemble it into $Q$. The scissors congruence problem asks: when can we do this? what obstructs this? In…
The Penrose triangle, also known as the impossible tribar is an icon for cohomology. It is literally the icon for Cech cohomology on Wikipedia. The idea goes back to a paper by Roger Penrose in 1992, but was first reported by Penrose several years earlier. There, he shows how the impossibility of the figure depends…
Self-duality equations in gauge theory can be complexified in many inequivalent ways, but there are two obvious options: One can extend Hodge duality in either a complex linear fashion, or in a conjugate linear one. In general, the two cases result in two very different equations. The first case was first studied by Haydys, while…
Topological Data Analysis (TDA) is a relatively young field in both algebraic topology and machine learning. Tools from TDA, in particular persistent homology, have proven successful in many scientific disciplines. Persistence diagrams, a typical way to study persistent homology, contain fruitful information about the underlying objects. However, performing statistical methods directly on the space of persistence diagrams is…
A geometrically-exact beam is a nonlinear field-theoretic model for elongated elastic objects. It utilizes moving frames to reduce the number of system’s independent spatial variables, which is a further development of Euler’s approach to the rotational dynamics of rigid bodies. The talk will discuss the dynamics and geometrically-inspired discretization for structure-preserving numerical simulations of free,…
A transverse link is a link in the 3-sphere that is everywhere transverse to the standard contact structure. Transverse links are considered up to transverse isotopy, with classical invariants such as the self-linking number and regular isotopy class. One of the first connections between transverse links and quantum invariants was made by Plamenevskaya in 2006,…
In this talk, we introduce a scattering asymmetry which measures the asymmetry of a domain on a surface by quantifying its incompatibility with an isometric circle action. We prove a quantitative isoperimetric inequality involving the scattering asymmetry and characterize the domains with vanishing scattering asymmetry by their rotational symmetry. We also give a new proof…
The Turaev surface of a link diagram is a surface built from a cobordism between the all-A and all-B Kauffman states of the diagram. The Turaev surface can be seen as a Jones polynomial analogue of the Seifert surface. The Turaev genus of a link is the minimum genus of the Turaev surface for any…