2025-06-16 | | Total: 9
Given a rational homology 3-sphere $M$, we introduce a triple linking form on $H_1(M; \mathbb{Z})$, defined when the classical torsion linking pairing of three homology classes vanishes pairwise. If $M$ is the boundary of a simply-connected 4-manifold $N$, the triple linking form can be computed in terms of the higher order intersection form on $N$, introduced by Matsumoto. We use these methods to formulate an embedding obstruction for rational homology spheres in $S^4$, extending a 1938 theorem of Hantzsche.
We define obstructions which obstruct topological pseudo-isotopies from being isotopic to isotopies in dimension four. These match the smooth obstructions of Hatcher-Wagoner for smooth pseudo-isotopies, and accordingly are valued in certain Whitehead groups. We show that our obstructions are fully realisable, and we use these realisations to build homeomorphisms of $Y\times S^1$ for many 3-manifolds $Y$ that are pseudo-isotopic to the identity but not isotopic to the identity.
This paper shows that the complex projective plane $\mathbb{P}^2$ can be realized as the underlying space for a closed hyperbolic $4$-orbifold. This is the first example of a closed hyperbolic $4$-orbifold whose underlying space is symplectic, which is related to the open question as to whether or not closed hyperbolic $4$-manifolds can admit symplectic structures.
We extend the $sl(3)$-polynomial invariant for links to tangles. Motivated by Kuperberg's construction of this invariant via planar trivalent graphs, we first define a category of $sl(3)$ webs and its sister linear category, and describe them via generators and relations. Then we define a functor from the category of oriented tangles to the linear category of $sl(3)$ webs, which yields an invariant for tangles and allows us to recover the $sl(3)$-polynomial invariant for links.
A 1-tangle is a properly embedded arc $\psi$ in an unknotted solid torus $V$ in $S^3$. Attaching an arc $\phi$ in the complementary solid torus $W$ to its endpoints creates a knot $K(\phi)$ called the closure of $\psi$. We show that for a given nontrivial 1-tangle $\psi$ there exist at most two closures that are the unknot. We give a general method for producing nontrivial 1-tangles admitting two distinct closures and show that our construction accounts for all such examples. As an application, we show that if we twist an unknot $q \neq 0$ times around an unknotted sufficiently incompressible annulus intersecting it exactly once, then there is at most one $q$ such that the resulting knot is unknotted and, if there is such, then $q = \pm 1$. With additional work, we also show that the Krebes 1-tangle does not admit an unknot closure. Our key tools are the ``wrapping index'' which compares how two complementary 1-tangles $\phi_1$ and $\phi_2$ wrap around $W$, a theorem of the author's from sutured manifold theory, and theorems of Gabai and Scharlemann concerning band sums.
Let M be a closed connected oriented manifold admitting a non-zero degree map to a nilmanifold. In the first part of the paper we study effective finite group actions on M. In particular, we prove that Homeo(M) is Jordan, we bound the discrete degree of symmetry of M and we study the number and the size of stabilizers of an effective action of a finite group G on M. We also study the toral rank conjecture and Carlsson's conjecture for large primes for this class of manifolds. In the second part of the paper we introduce the concepts of free iterated action of groups and the iterated discrete degree of symmetry which we use to obtain cohomological rigidity results for manifolds admitting a non-zero degree map to a 2-step nilmanifold.
We initiate and develop the theory of complex harmonic maps to holomorphic Riemannian symmetric spaces, which we make use of to study complex analytic aspects of higher Teichmüller theory, with a focus on rank $2$ Hitchin components. Complex harmonic maps lead to various generalizations of objects from the theory of Higgs bundles; for instance, the Hitchin fibration, cyclic Higgs bundles, and the affine Toda equations. Beyond such generalizations, we also find a relation between complex harmonic maps and opers. Within the realm of higher Teichmüller theory, for any rank $2$ Hitchin component, we prove a Bers-type theorem, which extends and improves our previous work on $\mathrm{SL}(3,\mathbb R)$, and we prove that Goldman's symplectic form is compatible with Labourie's complex structure, so that the two determine a mapping class group invariant pseudo-Kähler structure. We obtain partial generalizations in higher rank, and we construct Kähler structures on other spaces that are related to the Hitchin components.
Given a splitting of a free-by-cyclic group, the associated monodromy acts on outer space preserving Handel and Mosher's "axis bundle." We show that the property of a monodromy having a "lone axis" is non-generic in the sense that the associated splittings are projectively discrete in first cohomology. Additionally, we show that this discreteness statement cannot be promoted to a finiteness statement.
Let $\mathfrak{S}(\underline{s},w)$ be the graph whose vertices are all subexpressions with target $w$ of a fixed expression $\underline{s}$ in generators of a Coxeter group and edges are the pairs of subexpressions with Hamming distance 2. We prove that $\mathfrak{S}(\underline{s},w)$ is connected and its cycle space is spanned by the cycles of lengths 3,4 and $n+2$, where $n$ runs over the set of all finite orders of products of two (not necessarily simple) reflections.