Related papers: Higher Order Intersections in Low-Dimensional Topo…
The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also…
Take transverse immersions f from a disjoint unin of the three 4-spheres $S^4_1$, $S^4_2$, and $S^4_3$ into $S^6$ with the following properties: (1) The restriction of $f$ to $S^4_i$ is an embedding, (2) The intersection of $f(S^4_i)$ and…
Invariant inference algorithms such as interpolation-based inference and IC3/PDR show that it is feasible, in practice, to find inductive invariants for many interesting systems, but non-trivial upper bounds on the computational complexity…
We consider an algebra of (classical or virtual) tangles over an ordered circuit operad and introduce Conway-type invariants of tangles which respect this algebraic structure. The resulting invariants contain both the coefficients of the…
We define the higher-order Alexander modules $A_{n,i}(\mathcal{U})$ and higher-order degrees $\delta_{n,i}(\mathcal{U})$ which are invariants of a complex hypersurface complement $\mathcal{U}$. These invariants come from the module…
We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$…
The classification of topological insulators predicts the existence of high-dimensional topological phases that cannot occur in real materials, as these are limited to three or fewer spatial dimensions. We use electric circuits to…
We study the secondary structure of RNA determined by Watson-Crick pairing without pseudo-knots using Milnor invariants of links. We focus on the first non-trivial invariant, which we call the Heisenberg invariant. The Heisenberg invariant,…
We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that…
We present the simplest non-abelian version of Seiberg-Witten theory: Quaternionic monopoles. These monopoles are associated with Spin^h(4)-structures on 4-manifolds and form finite-dimensional moduli spaces. On a Kahler surface the…
We associate a Taylor tower supplied by calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord…
We derive a $\mathbb{Z}_4$ topological invariant that extends beyond symmetry eigenvalues and Wilson loops and classifies two-dimensional insulators with a $C_4 \mathcal{T}$ symmetry. To formulate this invariant, we consider an irreducible…
We analyze the topological properties of a chiral ${p}+i{p}$ superconductor for a two-dimensional metal/semimetal with four Dirac points. Such a system has been proposed to realize second-order topological superconductivity and host corner…
The Milnor degree of a 3-manifold is an invariant that records the maximum simplicity, in terms of higher order linking, of any link in the 3-sphere that can be surgered to give the manifold. This invariant is investigated in the context of…
A dual description of 3-dimensional topological Seiberg-Witten theory in terms of the Alexander invariant on manifolds obtained via surgery on a knot is proposed. The description directly follows from a low-energy analysis of the…
Let S^3_i be a 3-sphere embedded in the 5-sphere S^5 (i=1,2). Let S^3_1 and S^3_2 intersect transversely. Then the intersection C of S^3_1 and S^3_2 is a disjoint collection of circles. Thus we obtain a pair of 1-links, C in S^3_i (i=1,2),…
We prove new adjunction inequalities for embedded surfaces in four-manifolds with non-negative self-intersection number by using the Donaldson invariants. These formulas are completely analogous to the ones obtained by Ozsv\'ath and Szab\'o…
We give a simple axiomatic definition of a rational-valued invariant s(W,V,e) of triples (W,V,e), where W is a (smooth, oriented, closed) 6-manifold and V is a 3-submanifold of W, and where e is a second rational cohomology class of the…
Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as…
The demand to know the structure of functionally independent invariants of tensor fields arises in many problems of theoretical and mathematical physics, for instance for the construction of interacting higher-order tensor field actions. In…