Let Map(K,X) denote the space of pointed continuous maps from a finite cell complex K to a space X. Let E_* be a generalized homology theory. We use Goodwillie calculus methods to prove that under suitable conditions on K and X, Map(K, X) will send a E_*--isomorphism in either variable to a map that is monic in E_* homology. Interesting examples arise by letting E_* be K--theory, K be a sphere, and the map in the X variable be an exotic unstable Adams map between Moore spaces.
The Morse-Bott inequalities relate the topology of a closed manifold to the topology of the critical point set of a Morse-Bott function defined on it. The Morse-Bott inequalities are sometimes stated under incorrect orientation assumptions. We show that these assumptions are insufficient with an explicit counterexample and clarify the origin of the mistake.
We show that the generalized Khovanov homology, defined by the second author in the framework of chronological cobordisms, admits a grading by the group $\mathbb{Z}\times\mathbb{Z}_2$, in which all homogeneous summands are isomorphic to the unified Khovanov homology defined over the ring $\mathbb{Z}_π:=\mathbb{Z}[π]/(π^2-1)$ (here, setting $π$ to $\pm 1$ results either in even or odd Khovanov homology). The generalized homology has $\Bbbk := \mathbb{Z}[X,Y,Z^{\pm 1}]/(X^2=Y^2=1)$ as coefficients, and the above implies that most of automorphisms of $\Bbbk$ fix the isomorphism class of the gener…
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 induced by the Goresky-MacPherson sheaf pairing, and, for PL pseudomanifolds, the Goresky-MacPherson PL intersection product. We also show that the de Rham isomorphism of Brasselet, Hector, and Saralegi preserves product structures.
Taking the l^1-completion and the topological dual of the singular chain complex gives rise to l^1-homology and bounded cohomology respectively. In contrast to l^1-homology, major structural properties of bounded cohomology are well understood by the work of Gromov and Ivanov. Based on an observation by Matsumoto and Morita, we derive a mechanism linking isomorphisms on the level of homology of Banach chain complexes to isomorphisms on the level of cohomology of the dual Banach cochain complexes and vice versa. Therefore, certain results on bounded cohomology can be transferred to l^1-homology…
We show that the sutured Floer homology of a sutured 3-manifold of the form $(D^2 \times S^1, F \times S^1)$ can be expressed as the homology of a string-type complex, generated by certain sets of curves on $(D^2, F)$ and with a differential given by resolving crossings. We also give some generalisations of this isomorphism, computing "hat" and "infinity" versions of this string homology. In addition to giving interesting elementary facts about the algebra of curves on surfaces, these isomorphisms are inspired by, and establish further, connections between invariants from Floer homology and st…
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 construct a graph complex calculating the integral ho- mology of the bordered mapping class groups. We compute the ho- mology of the bordered mapping class groups of various surfaces. Using the circle action on this graph complex, we build a double complex and a spectral sequence converging to the homology of the unbordered mapping class groups. We compute the homology of the punctured mapping class groups associated to certain surfaces. Finally, we use Miller's operad to get the first Kudo-Araki and Browder operations on our graph complex. We also consider an unstable version of the higher…
Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology, topological Hochschild homology, etc. Finally, we reduce this fundamental isomorphism conjecture for K-theoretic ones.
We prove an extension to the simplicial Nerve Lemma which establishes isomorphism of persistent homology groups, in the case where the covering spaces are filtered. While persistent homology is now widely used in topological data analysis, the usual Nerve Lemma does not provide isomorphism of persistent homology groups. Our argument involves some homological algebra: the key point being that although the maps produced in the standard proof of the Nerve Lemma do not commute as maps of chain complexes, the maps they induce on homology do.
We construct several families of embeddings of braid groups into mapping class groups of orientable and non-orientable surfaces and prove that they induce the trivial map in stable homology in the orientable case, but not so in the non-orientable case. We show that these embeddings are non-geometric in the sense that the standard generators of the braid group are not mapped to Dehn twists.
We report on the computation of the integral homology of the mapping class group of genus g surfaces with one boundary curve and m punctures, when 2g + m is smaller than 6. In particular, it includes the genus 2 case with no or one puncture.
We give definitions of moduli spaces of framed, r-Spin and Pin surfaces. We apply earlier work of the author to show that each of these moduli spaces exhibits homological stability, and we identify the stable integral homology with that of certain infinite loop spaces in each case. We further show that these moduli spaces each have path components which are Eilenberg--MacLane spaces for the framed, r-Spin and Pin mapping class groups respectively, and hence we also identify the stable group homology of these groups. In particular: the stable framed mapping class group has trivial rational homo…
Null Lagrangian-preserving surgeries are a generalization of the Garoufalidis and Rozansky null-moves, that these authors introduced to study the Kricker lift of the Kontsevich integral, in the setting of pairs (M,K) composed of a rational homology sphere M and a null-homologous knot K in M. They are defined as replacements of null-homologous rational homology handlebodies of M\K by other such handlebodies with identical Lagrangian. A null Lagrangian-preserving surgery induces a canonical isomorphism between the rational Alexander modules of the involved pairs, which preserves the Blanchfield …
We prove an $O(2)$-equivariant version of the Jones isomorphism relating the Borel $O(2)$-equivariant cohomology of the free loop space to the dihedral homology of the cochain algebra. We discuss polynomial forms and a variation of the de Rham isomorphism and use these to do a computation for the 2-sphere.
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same is true for so-called symmetric diffeomorphisms of $W$ connected sum with $k$ copies of an arbitrary compact smooth manifold $Q$ of the same dimension. The analogues for mapping class groups as well as other generalisations will also be proved.
Let M be a closed, oriented, n -manifold, and LM its free loop space. Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively. In this paper we prove that these structures are homotopy invariants in the following sense. Let f : M_1 \to M_2 be a homotopy equivalence of closed, oriented n -manifolds. Then the induced equivalence, Lf : LM_1 \to LM_2 induces a ring isomorphism in homology, and an isomorphism of Lie algebra…
We compute the mod 2 homology of spin mapping class groups in the stable range. In earlier work we computed the stable mod p homology of the oriented mapping class group, and the methods and results here are very similar. The forgetful map from the spin mapping class group to the oriented mapping class groups induces a homology isomorphism for odd p but for p=2 it is far from being an isomorphism. We include a general discussion of tangential structures on 2-manifolds and their mapping class groups and then specialise to spin structures. As in Madsen and Weiss' solution to Mumford's conjecture…
Let $H_{g}$ be a 3-dimensional handlebody of genus $g$. We determine the twisted first homology group of the mapping class group of $H_{g}$ with coefficients in the first integral homology group of the boundary surface $\partial H_{g}$ for $g\geq 2$.
Let $k$ be a field, let $R$ be a commutative ring, and assume the exponential characteristic of $k$ is invertible in $R$. In this note, we prove that isomorphisms in Voevodsky's triangulated category of motives $\mathcal{DM}(k;R)$ are detected by motivic homology groups of base changes to all separable finitely generated field extensions of $k$. It then follows from previous conservativity results that these motivic homology groups detect isomorphisms between certain spaces in the pointed motivic homotopy category $\mathcal{H}(k)_*$.
We focus on two kinds of infinite index subgroups of the mapping class group of a surface associated with a Lagrangian submodule of the first homology of a surface. These subgroups, called Lagrangian mapping class groups, are known to play important roles in the interaction between the mapping class group and finite-type invariants of 3-manifolds. In this paper, we discuss these groups from a group (co)homological point of view. The results include the determination of their abelianizations, lower bounds of the second homology and remarks on the (co)homology of higher degrees. As a by-product …
We calculate the homology of the mapping class group in the stable range. The calculation is based on Madsen and Weiss' proof of the "Generalised Mumford Conjecture".
We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $Λ$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian, Pask and Sims in the positive. Our first proof uses the topological realization of a higher-rank graph, which was introduced by Kaliszewski, Kumjian, Quigg, and Sims. In our more combinatorial second proof, we construct, explicitly and in both directions, maps on the level of (co-)chain complexes that implement said isomorphism. Along the way, we extend the definit…
Using a cap product, we construct an explicit Poincaré duality isomorphism between the blown-up intersection cohomology and the Borel-Moore intersection homology, for any commutative ring of coefficients and second-countable, oriented pseudomanifolds.
We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphism on homotopy groups. For infinite groups, we establish pro-isomorphism, (split) injectivity, and rational injectivity results, as well as counterexamples to injectivity and surjectivity. In particular, for hyperbolic groups and for virtually finitely generated abelian groups, we…
We consider the Birman-Hilden inclusion $φ\colon\mathfrak{Br}_{2g+1}\toΓ_{g,1}$ of the braid group into the mapping class group of an orientable surface with boundary, and prove that $φ$ is stably trivial in homology with twisted coefficients in the symplectic representation $H_1(Σ_{g,1})$ of the mapping class group; this generalises a result of Song and Tillmann regarding homology with constant coefficients. Furthermore we show that the stable homology of the braid group with coefficients in $φ^*(H_1(Σ_{g,1}))$ has only $4$-torsion.
In this paper, we deal with stable homology computations with twisted coefficients for mapping class groups of surfaces and of 3-manifolds, automorphism groups of free groups with boundaries and automorphism groups of certain right-angled Artin groups. On the one hand, the computations are led using semidirect product structures arising naturally from these groups. On the other hand, we compute the stable homology with twisted coefficients by FI-modules. This notably uses a decomposition result of the stable homology with twisted coefficients for pre-braided monoidal categories proved in this …
We compute the rational stable homology of the automorphism groups of free nilpotent groups. These groups interpolate between the general linear groups over the ring of integers and the automorphism groups of free groups, and we employ functor homology to reduce to the abelian case. As an application, we also compute the rational stable homology of the outer automorphism groups and of the mapping class groups of the associated aspherical nil-manifolds in the TOP, PL, and DIFF categories.
Following an idea of Bendersky-Gitler, we construct an isomorphism between Anderson's and Arone's complexes modelling the chain complex of a map space. This allows us to apply Shipley's convergence theorem to Arone's model. As a corollary, we reduce the problem of homotopy equivalence for certain "toy" spaces to a problem in homological algebra.
Motif-based filtrations for persistent homology: A framework for graph isomorphism and property prediction
Center for Complex Networks and Systems Research, Luddy School of Informatics, Computing, and Engineering, Indiana University（印第安纳大学卢迪信息、计算与工程学院复杂网络与系统研究中心）；Delft University of Technology（代尔夫特理工大学）；Universitat de Barcelona（巴塞罗那大学）；Institute of Complex Systems (UBICS), Universitat de Barcelona（巴塞罗那大学复杂系统研究所）；ICREA（加泰罗尼亚高级研究院）
Combining results of Wahl, Galatius--Madsen--Tillmann--Weiss and Korkmaz one can identify the homotopy-type of the classifying space of the stable non-orientable mapping class group $N_\infty$ (after plus-construction). At odd primes p, the F_p-homology coincides with that of $Q_0(HP^\infty_+)$, but at the prime 2 the result is less clear. We identify the F_2-homology as a Hopf algebra in terms of the homology of well-known spaces. As an application we tabulate the integral stable homology of $N_\infty$ in degrees up to six. As in the oriented case, not all of these cohomology classes have a g…
We describe a natural isomorphism between the set of equivalence classes of pseudocycles and the integral homology groups of a smooth manifold. Our arguments generalize to settings well-suited for applications in enumerative algebraic geometry and for construction of the virtual fundamental class in the Gromov-Witten theory.
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an …
Let E=BP<n> denote the Johnson-Wilson spectrum, localized at p. It is proved that if E_*(X) is locally finite, then there is an isomorphism of right E_*-modules E^*(X) = (E_*(Sigma^{D+n+1}X))^V, where D=Sum |v_i| and M^V=Hom(M,Q/Z) is the Pontryagin dual. This result was motivated by work of the author and W.S.Wilson regarding the 2-local ku-homology and -cohomology of the Eilenberg-MacLane space K(Z/2,2).
Let $G$ be a simply-connected, simple compact Lie group of type $\{n_{1},\ldots,n_{\ell}\}$, where $n_{1}\le\cdots \le n_{\ell}$. Let $\mathcal{G}_k$ be the gauge group of the principal $G$-bundle (namedright{P}{}{S^{4}}) whose isomorphism class is determined by the the second Chern class having value $k\in\mathbb{Z}$. We calculate the mod-$p$ homology of the classifying space $B\mathcal{G}_k$ provided that $n_{\ell}<p-1$ and $p$ does not divide $k$.
In the paper we investigate the degree and the homotopy theory of Orlicz-Sobolev mappings $W^{1,P}(M,N)$ between manifolds, where the Young function $P$ satisfies a divergence condition and forms a slightly larger space than $W^{1,n}$, $n=\dim M$. In particular, we prove that if $M$ and $N$ are compact oriented manifolds without boundary and $\dim M=\dim N=n$, then the degree is well defined in $W^{1,P}(M,N)$ if and only if the universal cover of $N$ is not a rational homology sphere, and in the case $n=4$, if and only if $N$ is not homeomorphic to $S^4$.
Let F be a field of characteristic zero and let f(t,n) be the stabilization homomorphism from the n-th integral homology of SL(t,F) to the n-th homology of SL(t+1,F). We prove the following results: For all n, f(t,n) is an isomorphism if t is at least n+1, and is surjective for t=n, confirming a conjecture of C-H. Sah. Furthermore if n is odd, then f(n,n) is an isomorphism and when n is even the kernel of f(n,n) is the (n+1)st power of the fundamental ideal of the Witt Ring of the field.. If n is even, then the cokernel of f(n-1,n) is naturally isomorphic to the n-th Milnor-Witt K-group of F, …
Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit proof of the Baum-Connes conjecture (without coefficients), that states that the assembly map $μ_i^L:K_i^L(\underline{E} L)\rightarrow K_i(C^*L)\;(i=0,1)$ is an isomorphism. Actually, $K_0(C^*L)$ is free abelian of countable rank, with an explicit basis consisting of projections in $C^*L$, while $K_1(C^*L)$ is infinite cyclic, generated by the unitary of $C^*L…
