Related papers: Higher order intersection numbers of 2-spheres in …
n this paper we define an invariant of a pair of 6 dimensional symplectic %optional manifold with vanishing 1st Chern class and its Lagrangian submanifold with vanishing Maslov index. This invariant is a function on the set of the path…
In this thesis, we give a unification of the quantum WRT invariants. Given a rational homology 3-sphere M and a link L inside, we define the unified invariants, such that the evaluation of these invariants at a root of unity equals the…
In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod…
Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion…
A full-homomorphism between a pair of graphs is a vertex mapping that preserves adjacencies and non-adjacencies. For a fixed graph $H$, a full $H$-colouring is a full-homomorphism of $G$ to $H$. A minimal $H$-obstruction is a graph that…
An arrow matrix is a matrix with zeroes outside the main diagonal, first row, and first column. We consider the space $M_{St_n,\lambda}$ of Hermitian arrow $(n+1)\times (n+1)$-matrices with fixed simple spectrum $\lambda$. We prove that…
Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $\Gamma$, count the number of homomorphisms $\Gamma \to G$. Our first result establishes that this problem is…
We introduce an invariant of a hyperbolic knot which is a map $\alpha\mapsto \boldsymbol{\Phi}_\alpha(h)$ from $\mathbb{Q}/\mathbb{Z}$ to matrices with entries in $\overline{\mathbb{Q}}[[h]]$ and with rows and columns indexed by the…
This paper extends some results of Hatcher and Quinn beyond the metastable range. We give a bordism theoretic obstruction to deforming a map between manifolds simultaneously off of a collection of pairwise disjoint submanifolds under the…
Let $G$ be a connected Lie group acting locally simply transitively on a manifold $M$. By connecting curves in $M$ we mean the orbits of one-parameter subgroups of $G$. To block a pair of points $m_1,m_2\in M$ is to find a finite set…
This article is one of three highly influential articles on the topology of manifolds written by Robert D. Edwards in the 1970's but never published. It presents the initial solutions of the fabled Double Suspension Conjecture. (The other…
Let $M$ be a connected, closed, oriented three-manifold and $K$, $L$ two rationally null-homologous oriented simple closed curves in $M$. We give an explicit algorithm for computing the linking number between $K$ and $L$ in terms of a…
Consider a smooth $4$-manifold $X$ and a diffeomorphism $f : X \to X$. We give an obstruction in the form of an adjunction inequality for an embedded surface in $X$ to be isotopic to its image under $f$. It follows that the minimal genus of…
A geometric characterization of the Arf invariant of a knot in the 3-sphere is given in terms of two kinds of 4-dimensional bordisms, half-gropes and Whitney towers. These types of bordisms have associated complexities class and order which…
We revisit Vafa-Witten theory in the more general setting whereby the underlying moduli space is not that of instantons, but of the full Vafa-Witten equations. We physically derive (i) a novel Vafa-Witten four-manifold invariant associated…
We prove a concordance version of the 4-dimensional light bulb theorem for $\pi_1$-negligible compact orientable surfaces, where there is a framed but not necessarily embedded dual sphere. That is, we show that if $F_0$ and $F_1$ are such…
An oriented link L in a 3-sphere S in complex 2-space is a C-boundary if it bounds a piece of algebraic curve in the 4-ball bounded by S. Using Kronheimer and Mrowka's proof of the Thom Conjecture, we construct many oriented knots which are…
We carry out the programme of R. Liouville \cite{Liouville} to construct an explicit local obstruction to the existence of a Levi--Civita connection within a given projective structure $[\Gamma]$ on a surface. The obstruction is of order 5…
In this paper we study the Haefliger invariant for long embeddings $\mathbb{R}^{4k-1}\hookrightarrow\mathbb{R}^{6k}$ in terms of the self-intersections of their projections to $\mathbb{R}^{6k-1}$, under the condition that the projection is…
An attempt is made to conceptualize the derivation as well as to facilitate the computation of Ohtsuki's rational invariants $\lambda_n$ of integral homology 3-spheres extracted from Reshetikhin-Turaev SU(2) quantum invariants. Several…