In this paper we define, for each aspherical orientable 3-manifold $M$ endowed with a \emph{torus splitting} $Ţ$, a 2-dimensional fundamental $l_1$-class $[M]^{Ţ}$ whose $l_1$-norm has similar properties as the Gromov simplicial volume of $M$ (additivity under torus splittings and isometry under finite covering maps). Next, we use the Gromov simplicial volume of $M$ and the $l_1$-norm of $[M]^{Ţ}$ to give a complete characterization of those nonzero degree maps $f\co M\to N$ which are homotopic to a ${\rm deg}(f)$-covering map. As an application we characterize those degree one maps $f\co M\to N$ which are homotopic to a homeomorphism in terms of bounded cohomology classes.
A homology and cohomology theory for topological quandles are introduced. The relation between these (co)homology groups and quandle (co)homology groups are studied. The 1 - topological quandle cocycles are used to compute state sum invariants corresponding to knot diagrams.
Ozsvath and Szabo construct a spectral sequence with E_2 term Λ^*(H^1(Y;Z))\otimes Z[U,U^{-1}] converging to HF^\infty(Y,s) for a torsion Spin^c structure s. They conjecture that the differentials are completely determined by the integral triple cup product form via a proposed formula. In this paper, we prove that HF^\infty(Y,s) is in fact determined by the integral cohomology ring when s is torsion. Furthermore, for torsion Spin^c structures, we give a complete calculation of HF^\infty with mod 2 coefficients when b_1 is 3 or 4.
It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds with no 2-torsion in their first homology. Then we exhibit families of examples of 3-manifolds (obtained by surgery on links), with fixed linking form and cohomology ring, that are not homology cobordant to any Seifert fibered space (as shown by their rational cohomology ring). T…
We show that for any set of primes $\mathcal{P}$ there exists a space $M_{\mathcal{P}}$ which is a homology and cohomology 3-manifold with coefficients in $\mathbb{Z}_{p}$ for $p\in \mathcal{ P}$ and is not a homology or cohomology 3-manifold with coefficients in $\mathbb{Z}_q$ for $q\not\in \mathcal{ P}$. Moreover, $M_{\mathcal{P}}$ is neither a homology nor cohomology 3-manifold with coefficients in $\mathbb{Z}$ or $\mathbb{Q}$.
This is the first of five papers that construct an isomorphism between the embedded contact homology and Seiberg-Witten Floer cohomology of a compact 3-manifold with a given contact 1-form. This paper describes what is involved in the construction.
Algebraic homology and cohomology theories for quandles have been studied extensively in recent years. With a given quandle 2(3)-cocycle one can define a state-sum invariant for knotted curves(surfaces). In this paper we introduce another version of quandle (co)homology theory, say positive quandle (co)homology. Some properties of positive quandle (co)homology groups are given and some applications of positive quandle cohomology in knot theory are discussed.
We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an invariant that is already known to detect the unknot.
We solve some computational problems for triangulated closed three-dimensional manifolds using groups of simplicial homology and cohomology modulo 2. Two efficient algorithms for computing the intersection numbers of 1- and 2-dimensional cycles are developed. By means of these algorithms it is possible to construct a basis of cohomology group from the homology group of two cycles of complementary dimensions.
Various Seiberg-Witten Floer cohomologies are defined for a closed, oriented 3-manifold; and if it is the mapping torus of an area-preserving surface automorphism, it has an associated periodic Floer homology as defined by Michael Hutchings. We construct an isomorphism between a certain version of Seiberg-Witten Floer cohomology and the corresponding periodic Floer homology, and describe some immediate consequences.
Weighted Homology and Cohomology of Weighted Polyhedra
School of Mathematics, Nanjing University（南京大学数学系）；College of Mathematics and Systems Science, Shandong University of Science and Technology（山东科技大学数学与系统科学学院）
This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove the symplectic cup and cap bimodules which relate different symplectic arc algebras are themselves formal over k, and construct a long exact triangle for symplectic Khovanov cohomology. We then prove the symplectic and combinatorial arc algebras are isomorphic over the integers in …
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 homology (on the category of CW-complexes), and it was then shown by Loeh that, in the absolute case, such isomorphism is in fact an isometry with respect to the L^1-seminorm on singular homology and the total variation seminorm on measure homology. Loeh's result plays a fundamental…
We develop a generalization to non-Witt spaces of the intersection homology theory of Goresky-MacPherson. The second author has described the self-dual sheaves compatible with intersection homology, and the other authors have described a generalization of Cheeger's L2 de Rham cohomology. In this paper we extend both of these cohomologies by describing all sheaf complexes in the derived category of constructible sheaves that are compatible with middle perversity intersection cohomology, though not necessarily self-dual. On Thom-Mather stratified spaces this refined intersection cohomology theor…
We prove that for "most" closed 3-dimensional manifolds $M$, the existence of a closed non singular one-form in a given cohomology class $u\in H^1 (M,\bf R)$ is equivalent to the fact that every twisted Alexander polynomial $Δ^H(M,u) \in {\bf Z}[G/\ker u]$ associated to a normal subgroup with finite index $H < π_1(M)$ has a unitary $u$-minimal term.
The algebra of truncated polynomials A_m=Z[x]/(x^m) plays an important role in the theory of Khovanov and Khovanov-Rozansky homology of links. We have demonstrated that Hochschild homology is closely related to Khovanov homology via comultiplication free graph cohomology. It is not difficult to compute Hochschild homology of A_m and the only torsion, equal to Z_m, appears in gradings (i,m(i+1)/2) for any positive odd i. We analyze here the grading of graph cohomology which is producing torsion for a polygon. We find completely the cohomology H^{1,v-1}_{A_2}(G) and H^{1,2v-3}_{A_3}(G). The grou…
Lower bounds of betti numbers for homology groups of racks and quandles will be given using the quotient homomorphism to the orbit quandles. Exact sequences relating various types of homology groups are analyzed. Geometric methods of proving non-triviality of cohomology groups are also given, using virtual knots. The results can be applied to knot theory as the first step towards evaluationg the state-sum invariants defined from quandle cohomology.
We study the relationship between trivial cocycles on the Torelli group and invariants of oriented integral homology 3-spheres. We give ncecessary and sufficient conditions for a function defined on the union of the Torelli groups to be an invariant of homology spheres. We apply this study to give a new purely algebraic construction of the Casson invariant and prove in this setting its surgery properties. As a by-product we get a new 2-torsion cohomology class in the second integral cohomology of the Torelli group.
We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we define the higher indices, which invariants of knots in $\R^3$ define at arbitrary singular knots. More generally, for any finite-order cohomology class of the space of knots we define its principal symbol, which lies in a cohomology group of a certain finite-dimensional configuration space and characterizes our class modulo the classes of smaller filtration.
To a presentation of an oriented link as the closure of a braid we assign a complex of bigraded vector spaces. The Euler characteristic of this complex (and of its triply-graded cohomology groups) is the HOMFLYPT polynomial of the link. We show that the dimension of each cohomology group is a link invariant.
In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism maps on Khovanov homology. As a consequence we obtain a refinement of Rasmussen's slice genus bound s for each stable cohomology operation. We show that in the case of the Steenrod square Sq^2 our refinement is strictly stronger than s.
For any negative definite plumbed 3-manifold M we construct from its plumbed graph a graded Z[U]-module. This, for rational homology spheres, conjecturally equals the Heegaard-Floer homology of Ozsvath and Szabo, but it has even more structure. If M is a complex singularity link then the normalized Euler-characteristic can be compared with the analytic invariants. The Seiberg--Witten Invariant Conjecture is discussed in the light of this new object.
We propose a method for calculating cohomology operations for finite simplicial complexes. Of course, there exist well--known methods for computing (co)homology groups, for example, the reduction algorithm consisting in reducing the matrices corresponding to the differential in each dimension to the Smith normal form, from which one can read off (co)homology groups of the complex, or the incremental algorithm (due to Edelsbrunner et al.) for computing Betti numbers. However, there is a gap in the literature concerning general methods for computing cohomology operations. For a given finite simp…
We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit computation of dualizing sheaves on spaces of metric graphs, thus characterizing to which extent these spaces are different from oriented orbifolds. We also provide a relation between the cohomology of the…
In this note we make an attempt to compare a cohomological theory of Hilbert spaces of ground states in the ${\cal N}=(2,2)$ 2d Landau-Ginzburg theory in models describing link embeddings in ${\mathbb{R}}^3$ to Khovanov and Khovanov-Rozansky homologies. To confirm the equivalence we exploit the invariance of Hilbert spaces of ground states for interfaces with respect to homotopy. In this attempt to study solitons and instantons in the Landau-Giznburg theory we apply asymptotic analysis also known in the literature as exact WKB method, spectral networks method, or resurgence. In particular, we …
We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy graph homology coming from graphs with cyclic fundamental group as the dihedral homology of a related associative algebra with involution. For the operads Comm, Assoc and Lie we compute this algebra explicitly, enabling us to apply known results on dihedral homology to the computation of hairy graph homology. In addition we determine the image in hairy graph …
