arXiv research

Classifies knots that bound equivariant surfaces with free symmetries.

Constructs a functor for equivariant smooth h-cobordisms.

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its si…

Proves an equivariant version of Heegaard Floer link surgery formula.

Study of equivariant movie moves for involutive links.

Study of equivariant ribbon concordance using Khovanov homology.

New invariants refine link homology, showing large genus differences.

We give a simple and explicit presentation of the Z/2-equivariant complex cobordism ring.

We compute the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu's conjecture that $β=-\barμ$ for Seifert integral homology three-spheres. We show that the Manolescu invari…

We show that the theory of stable complex $G$-cobordisms, for a torus $G$, is embedded into the theory of stable complex $G$-cobordisms of not necessarily compact manifolds equipped with proper abstract moment maps. Thus the introduction of such non-compact cobordisms in the stable complex $G$-cobordism theory does not…

New map constructed from equivariant spectra for manifold study.

Develops equivariant Seiberg-Witten-Floer cohomology for 3-spheres.

Calculates cobordism ring of stably almost complex C_p-manifolds.

The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivarian…

Study of knot Floer homology and its relation to Heegaard Floer homology via equivariant surgery.

The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homolog…

We apply fixed-point techniques to compute the coefficient ring of semifree geometric circle-equivariant complex cobordism with isolated fixed points, recovering a 2004 result of Sinha through 19th-century methods.

The paper studies hyperbolic three-manifolds and their geometric constraints.

New invariants detect corks obstructing homology ball extensions.

We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any compact Lie group G. In the special case when G is finite or a torus, we show that ou…

Develops equivariant grid homology for strongly invertible knots.

Study cyclic group actions on spin 4-manifolds with boundary using Seiberg-Witten theory.

We compute the equivariant complex K-theory ring of a cohomogeneity-one action of a compact Lie group at the level of generators and relations and derive a characterization of K-theoretic equivariant formality for these actions. Less explicit expressions survive for a range of equivariant cohomology theories including …

Paper defines half-Conway polynomial and computes it for knots up to 12 crossings.

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology $3$-spheres. As an application, we give explicit constrains on the intersection forms of spin $4$-manifolds bounded by Brieskorn spheres $\pmΣ(2,3,6k\…

Let $D$ be a (generalized) Dirac operator on a non-compact complete Riemannian manifold $M$ acted on by a compact Lie group $G$. Let $v:M --> Lie(G)$ be an equivariant map, such that the corresponding vector field on $M$ does not vanish outside of a compact subset. These data define an element of $K$-theory of the tran…

This work extends knot homology theory to links, proving exact triangles and categorifying link signatures.

We define four versions of equivariant instanton Floer homology ($I^+, I^-, I^\infty$ and $\widetilde I$) for a class of 3-manifolds and $SO(3)$-bundles over them including all rational homology spheres. These versions are analogous to the four flavors of monopole and Heegaard Floer homology theories. This construction…

Develops Floer cohomology for 4-manifolds with involutions and links.

Witt algebra acts on Khovanov-Rozansky homology of links.

We survey the different versions of Floer homology that can be associated to three-manifolds. We also discuss their applications, particularly to questions about surgery, homology cobordism, and four-manifolds with boundary. We then describe Floer stable homotopy types, the related Pin(2)-equivariant Seiberg-Witten Flo…

We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there…

In this paper we study the (equivariant) topological types of a class of 3-dimensional closed manifolds (i.e., 3-dimensional small covers), each of which admits a locally standard $(\mathbb{Z}_2)^3$-action such that its orbit space is a simple convex 3-polytope. We introduce six equivariant operations on 3-dimensional …

Paper studies spectral invariants and monopole Floer homology for rational homology three-spheres.

We define an invariant of based transverse links, as a well-defined element inside the equivariant Heegaard Floer cohomology of its branched double cover, defined by Lipschitz, Hendricks, and Sarkar. We prove the naturality and functoriality of equivariant Heegaard Floer cohomology for branched double covers of $S^3$ a…

We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show that, if the principal symbol class of such an elliptic operator on the boundary of …

Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed…

New invariants from Seiberg-Witten theory for 3-spheres with involution.

New instanton invariants for rational homology spheres defined and shown to be functorial.

Manolescu correction terms are numerical invariants of homology three-spheres arising from $\mathrm{Pin}(2)$-equivariant Seiberg-Witten theory that contain information about homology cobordism. We discuss several constraints on these invariants for homology spheres obtained by Dehn surgery on a knot in the three-sphere…

Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further, we obtain two new invariants of homology cobordism, $\underline{d}$ and $\bar{d}$…

We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory. In the process we introduce the notion of a Floer K_G-split homology sphere; thi…

New conditions prevent non-trivial relations in local equivalence group.

New invariants derived from link homology for 4-manifolds.

Let $n$ be a positive integer, and let $\ell>1$ be square-free odd. We classify the set of equivariant homeomorphism classes of free $C_\ell$-actions on the product $S^1 \times S^n$ of spheres, up to indeterminacy bounded in $\ell$. The description is expressed in terms of number theory. The techniques are various appl…

We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact 4-dimensional cobordisms $M$ with symmetric boundary components and whose interiors have …

Study topological 4-manifolds with specific fundamental groups.

Let G be a finite group. To every smooth G-action on a compact, connected and oriented surface we can associate its data of singular orbits. The set of such data becomes an Abelian group B_G under the G-equivariant connected sum. We will show that the map which sends G to B_G is functorial and carries many features of …