arXiv research

Introduces integer-valued Heegaard Floer theory with canonical orientations.

A central result here is the computation of the entire cyclic homology of canonical smooth subalgebras of stable continuous trace C*-algebras having smooth manifolds M as their spectrum. More precisely, the entire cyclic homology is shown to be canonically isomorphic to the continuous periodic cyclic homology for these…

Injectivity proven for measure homology of certain wild spaces.

An $L_\infty$-algebra is built on symplectic manifold homology.

In this paper we prove that the zeroth Milnor-Thurston homology group coincides with singular homology for Peano Continua. More- over, we show that the canonical homomorphism between these ho- mology theories may not be injective. However, it is proved that it is injective when a space has Borel path-components.

We explain how deformation theories of geometric objects such as complex structures, Poisson structures and holomorphic bundle structures lead to differential Gerstenhaber or Poisson algebras. We use homological perturbation theory to obtain $A_{\infty}$ algebra structures and some canonically defined deformations of s…

In this paper we determine the integral homology and cohomology groups of a closed 4-manifold X obtained as the generalized fibre sum of two closed 4-manifolds M and N along embedded surfaces of genus g and self-intersection zero. If the homologies of the 4-manifolds are torsion free and the surfaces represent indivisi…

We consider critical points of the global squared $L^2$-norms of the second fundamental form and the mean curvature vector of isometric immersions into a fixed background Riemannian manifold under deformations of the immersion. We use the critical points of the former functional to define canonical representatives of a…

In joint work with Yang Huang, we defined a canonical absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields. A similar grading was defined on embedded contact homology by Michael Hutchings. In this paper we show that the isomorphism between these homology theories defined by Colin-G…

Let S be a compact connected oriented surface with one boundary component. We extend each of Johnson's and Morita's homomorphisms to the Ptolemy groupoid of S. Our extensions are canonical and take values into finitely generated free abelian groups. The constructions are based on the 3-dimensional interpretation of the…

Proves representability of complex semigroup systems.

In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group define…

Uniformly finite homology is a coarse homology theory, defined via chains that satisfy a uniform boundedness condition. By construction, uniformly finite homology carries a canonical $\ell^\infty$-semi-norm. We show that, for uniformly discrete spaces of bounded geometry, this semi-norm on uniformly finite homology in …

Classifies degenerations of complex projective plane with rational singularities.

For a Liouville domain $W$ satisfying $c_1(W)=0$, we propose in this note two versions of symplectic Tate homology $\underrightarrow{H}\underleftarrow{T}(W)$ and $\underleftarrow{H}\underrightarrow{T}(W)$ which are related by a canonical map $κ\colon \underrightarrow{H}\underleftarrow{T}(W) \to \underleftarrow{H}\under…

The study confirms the non-existence of rational homology ball symplectic fillings for certain Brieskorn spheres.

The instanton Floer homology of a knot in the three-sphere is a vector space with a canonical mod 2 grading. It carries a distinguished endomorphism of even degree,arising from the 2-dimensional homology class represented by a Seifert surface. The Floer homology decomposes as a direct sum of the generalized eigenspaces…

Study examines homology of contact CR-submanifolds in complex Euclidean space.

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for the graded pieces of the module with respect to constant and abelian coefficien…

We prove that the mod Z reduction of the torsion of a rational homology 3-sphere is completely determined by three data: a certain canonical spin^c structure, the linking form and a Q/Z-valued constant c. This constant is a new topological invariant of the rational homology sphere. Experimentations with lens spaces sug…

The paper contains an essentially self-contained treatment of Khovanov homology, Khovanov-Lee homology as well as the Rasmussen invariant for virtual knots and virtual knot cobordisms which directly applies to classical knot and classical knot cobordisms. To do so, we give an alternate formulation for the Manturov defi…

We prove that, like the Seiberg-Witten monopole homology, the Heegaard Floer homology for a three-manifold determines its Thurston norm. As a consequence, we show that knot Floer homology detects the genus of a knot. This leads to new proofs of certain results previously obtained using Seiberg-Witten monopole Floer hom…

We study variuos homological structures associated with Poisson algebra, the canonical differential complex for singular Poisson structure and the analogue of the star operator for such manifolds. Give the interpretation of the classical Koszul differential of exterior forms, as the supercommutator with some second ord…

This is the third of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an au…

For each manifold or effective orbifold $Y$ and commutative ring $R$, we define a new homology theory $MH_*(Y;R)$, $M$-$homology$, and a new cohomology theory $MH^*(Y;R)$, $M$-$cohomology$. For $MH_*(Y;R)$ the chain complex $(MC_*(Y;R),\partial)$ is generated by quadruples $[V,n,s,t]$ satisfying relations, where $V$ is…

Knots generating infinite subgroup bound rational homology balls.

Khovanov homology is a recently introduced invariant of oriented links in $\mathbb{R}^3$. It categorifies the Jones polynomial in the sense that the (graded) Euler characteristic of the Khovanov homology is a version of the Jones polynomial for links. In this paper we study torsion of the Khovanov homology. Based on ou…

Constructs Morse homology for complex algebraic varieties.

Spatial refinement of Bar-Natan homology constructed.

Study symplectic 4-orbifolds with vanishing canonical class, finding new structures and resolutions.

This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this…

Let M be a closed, connected, orientable 3-manifold. The purpose of this paper is to study the Seiberg-Witten Floer homology of M given that S^1 X M admits a symplectic form. In particular, we prove that M fibers over the circle if M has first Betti number 1 and S^1 X M admits a symplectic form with non-torsion canonic…

We refine Matveev's result asserting that any two closed oriented 3-manifolds can be related by a sequence of borromean surgeries if and only if they have isomorphic first homology groups and linking pairings. Indeed, a borromean surgery induces a canonical isomorphism between the first homology groups of the involved …

We show that the computation of the Fredholm index of a fully elliptic pseudodifferential operator on an integrated Lie manifold can be reduced to the computation of the index of a Dirac operator, perturbed by a smoothing operator, canonically associated, via the so-called clutching map. To this end we adapt to our fra…

We compare the sheaf-theoretic and singular chain versions of Poincare duality for intersection homology, showing that they are isomorphic via naturally defined maps. Similarly, we demonstrate the existence of canonical isomorphisms between the singular intersection cohomology cup product, the hypercohomology product i…

The paper constructs semistrict monoidal 2-categories from foam evaluations.

The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to…

Researchers attempt to categorify biquandle brackets using Khovanov homology methods.

We study the topology of exact and Stein fillings of the canonical contact structure on the unit cotangent bundle of a closed surface $Σ_g$, where $g$ is at least 2. In particular, we prove a uniqueness theorem asserting that any Stein filling must be s-cobordant rel boundary to the disk cotangent bundle of $Σ_g$. For …

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable mapping class group of non-orientable surfaces, up to homology isomorphism, is the inf…

Legendrian surgery describes canonical contact structures and calculates Gompf's θ-invariant.

Measure homology was introduced by Thurston in his notes about the geometry and topology of 3-manifolds, where it was exploited in the computation of the simplicial volume of hyperbolic manifolds. Zastrow and Hansen independently proved that there exists a canonical isomorphism between measure homology and singular hom…

We construct new knot polynomials. Let $V$ be the standard solid torus in 3-space and let $pr$ be its standard projection onto an annulus. Let $M$ be the space of all smooth oriented knots in $V$ such that the restriction of $pr$ is an immersion (e.g. regular diagrams of a classical knot in the complement of its meridi…

We show that the Gerstenhaber algebra of the 1-jet Lie algebroid of a Jacobi manifold has a canonical exact generator, and discuss duality between its homology and the Lie algebroid cohomology. We also discuss a new example of a Lie bialgebroid on Poisson manifolds.

The paper solves obstructions to the Fredholm perturbation property for manifolds with corners.

Constructs an explicit cycle in arithmetic group cohomology.

This paper shows how pseudo-Anosov flows represent stable Hamiltonian classes and limits the ways 3-manifolds can be obtained from knots.

Let $Λ$ be a Legendrian in the jet space of some manifold $X$. To a generating family presentation of $Λ$, we associate a constructible sheaf on $X \times \mathbb{R}$ whose singular support at infinity is $Λ$, and such that the generating family homology is canonically isomorphic to the endomorphism algebra of this she…