Let $Γ$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $Γ$ can be the level $L$ subgroup or the spin mapping class group. We show that $H_2(Γ;\Q) \cong \Q$ for $g \geq 5$. A corollary of this is that the rational Picard groups of the associated finite covers of the moduli space of curves are equal to $\Q$. We also prove analogous results for surface with punctures and boundary components.
In this article we give a survey of homology computations for moduli spaces $\mathfrak{M}_{g,1}^m$ of Riemann surfaces with genus $g\geqslant 0$, one boundary curve, and $m\geqslant 0$ punctures. While rationally and stably this question has a satisfying answer by the Madsen-Weiss theorem, the unstable homology remains notoriously complicated. We discuss calculations with integral, mod-2, and rational coefficients. Furthermore, we determine, in most cases, explicit generators using homology operations.
We study the topology of moduli spaces of closed linkages in \R^d depending on a length vector \ell\in \R^n. In particular, we use equivariant Morse theory to obtain information on the homology groups of these spaces, which works best for odd d. In the case d=5 we calculate the Poincare polynomial in terms of combinatorial information encoded in the length vector.
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…
In this paper we prove the existence of rational homology balls smoothly embedded in regular neighborhoods of certain linear chains of smooth $2$-spheres by using techniques from minimal model program for 3-dimensional complex algebraic variety.
We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres.
In the present paper we study hyperbolic manifolds that are rational homology 3-spheres obtained by colouring of right--angled polytopes. We study the existence (or absence) of different kinds of symmetries of rational homology spheres that preserve the tessellation of the manifold into polytopes. We also describe how to create colourings with given symmetries.
We present a set of notes on Morse Homology, which grew out of lectures the first named autor gave at Ludwig-Maximilian University in Munich, Seoul National University, and the University of Augsburg. Although we do not discuss Floer homology in these notes, they are written having Floer homology in mind. Therefore, we use concepts which can be generalized to the semi-infinite dimensional case. In the finite dimensional case, they might not always be the most efficient ones but on the other hand, the finite dimensional case has the advantage that these concepts can be visualized much more easi…
We use invariants of Hendricks and Manolescu coming from involutive Heegaard Floer theory to find constraints on possible configurations of singular points of a rational cuspidal curve of odd degree in the projective plane. We show that the results do not carry over to rational cuspidal curves of even degree.
In this article, we give a classification of Alexander modules of null-homologous knots in rational homology spheres. We characterize these modules A equipped with their Blanchfield forms $ϕ$, and the modules A such that there is a unique isomorphism class of $(A,ϕ)$, and we prove that for the other modules A, there are infinitely many such classes. We realise all these $(A,ϕ)$ by explicit knots in rational homology spheres.
We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about surface diffeomorphism groups made discrete. The stable homology is isomorphic to the homology of a certain infinite loop space related to the Haefliger's classifying space of foliations. One geometric consequence of this description of the stable homology is a splitting theorem that implies certain classes called generalized Mumford-Morita-Miller classes can be …
We give a complete classification of the spherical 3-manifolds that bound smooth rational homology 4-balls. Furthermore, we determine the order of spherical 3-manifolds in the rational homology cobordism group of rational homology 3-spheres. To this end, we use constraints for 3-manifolds to bound rational homology balls induced from Donaldson's diagonalization theorem and Heegaard Floer correction terms.
We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homology groups coincide with the rationalized K-theory of the reduced C*-algebra of G. We illustrate our algorithm on some concrete examples.
Starting from a Heegaard splitting of a three-manifold, we use Lagrangian Floer homology to construct a three-manifold invariant, in the form of a relatively Z/8-graded abelian group. Our motivation is to have a well-defined symplectic side of the Atiyah-Floer Conjecture, for arbitrary three-manifolds. The symplectic manifold used in the construction is the extended moduli space of flat SU(2)-connections on the Heegaard surface. An open subset of this moduli space carries a symplectic form, and each of the two handlebodies in the decomposition gives rise to a Lagrangian inside the open set. In…
For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,q$, we obtain an infinite family of irreducible rational homology 3-spheres which are homology cobordant to the lens space $L(p,q)$ but cannot obtained by a knot surgery.
Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.
We apply the methods of Heegaard Floer homology to identify topological properties of complex curves in the complex projective plane. As one application, we resolve an open conjecture that constrains the Alexander polynomial of the link of the singular point of the curve in the case that there is exactly one singular point, having connected link, and the curve is of genus 0. Generalizations apply in the case of multiple singular points.
Let $Σ$ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds $M_+, M_-$ in $Σ$ are called dual to each other if the complement $Σ- M_+$ strongly homotopy retracts onto $M_-$ or vice-versa. In this paper we will give a complete answer of which integral triples $(n; m_+, m_-)$ can appear, where $n=dim Σ-1$, $m_+={codim}M_+ -1$ and $m_-={codim}M_- -1$.
Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$ was studied by several authors including Burlet, de Rham, Porto, Furuya, Èliašberg, Saeki, and Sakuma. In this paper, we study rational homology $n$-spheres that admit special generic maps into $\mathbb{R}^{p}$ for $p<n$. We use the technique of Stein factorization to derive a necessary homological condition for the existence of such maps for odd $n$. We exami…
We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by a unique connected sum of lens spaces whose first homology embeds in any other element in the same class. As a first consequence, we show that several natural maps to the rational homology cobordism group have infinite rank cokernels. Further consequences include a divisibility condition between the determinants of a connected sum of 2-bridge knots and any …
Motivated by a result of L.P. Roberts on rational blow-downs in Heegaard-Floer homology, we study such operations along 3-manifolds that arise as branched double covers of $S^{3}$ along several non-alternating, slice knots.
We give simple homological conditions for a rational homology 3-sphere Y to have infinite order in the rational homology cobordism group, and for a collection of rational homology spheres to be linearly independent. These translate immediately to statements about knot concordance when Y is the branched double cover of a knot, recovering some results of Livingston and Naik. The statements depend only on the homology groups of the 3-manifolds, but are proven through an analysis of correction terms and their behavior under connected sums.
We prove that there are rational homology balls $B_p$ smoothly embedded in the $2$-handlebodies associated to certain knots. Furthermore we show that, if we rationally blow up the $2$-handlebody along the embedded rational homology ball $B_p$, then the resulting $4$-manifold cannot be obtained just by a sequence of ordinary blow ups from the $2$-handlebody under a certain mild condition.
We give a new construction of monopole Floer homology for spin-c rational homology 3-spheres. As applications we define two invariants of certain smooth compact 4-manifolds with b_1=1 and b^+=0.
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 suggest this constant may be as powerful an invariant as the torsion itself.
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.
A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special care is given to accommodate 1-dimensional links with mutual linking. Furthermore our concordance theory of links in rational homology spheres remains highly nontrivial after factoring out the contribution from links in integral homology spheres.
We classify the resolution graphs of weighted homogeneous surface singularities which admit rational homology disk smoothings. The nonexistence of rational homology disk smoothings is shown by symplectic geometric methods, while the existence is verified via smoothings of negative weights. In particular, it is shown that a (negative definite) starshaped plumbing tree gives rise to a weighted homogeneous singularity admitting a rational homology disk smoothing if and only if the Milnor fillable contact structure of the link admits a weak symplectic rational homology disk filling.
We show that if $Y$ is the boundary of an almost-rational plumbing, then the framed instanton Floer homology $\smash{I^\#(Y)}$ is isomorphic to the Heegaard Floer homology $\smash{\widehat{\mathit{HF}}(Y; \mathbb{C})}$. This class of 3-manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$ (we establish the isomorphism for the remaining Seifert fibered rational homology spheres$\unicode{x2014}$with base $\mathbb{RP}^2$$\unicode{x2014}$directly). Our proof utilizes lattice homology, and relies on a decomposition theorem for instanton Floer cobordism maps recen…
We prove that the Seiberg-Witten invariants of a rational homology sphere are determined in a very explicit fashion by the Casson-Walker invariant and the Reidemeister torsion
The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS] and were subsequently used (e.g. Fintushel-Stern[FS4], Park[Pa2]) to construct exotic smooth manifolds with small Euler numbers. We show that a large class of smooth 4-manifolds have all of the $B_n$'s for odd $n \geq 3$ embedded in them. In particular, we give explicit examples, using Kirby calculus, of several families of smooth embeddings of the rational homology balls $B_n$.
We investigate rational homology cobordisms of 3-manifolds with non-zero first Betti number. This is motivated by the natural generalization of the slice-ribbon conjecture to multicomponent links. In particular we consider the problem of which rational homology $S^1\times S^2$'s bound rational homology $S^1\times D^3$'s. We give a simple procedure to construct rational homology cobordisms between plumbed 3-manifold. We introduce a family F of plumbed 3-manifolds with first Betti number equal to 1. By adapting an obstruction based on Donaldson's diagonalization theorem we characterize all manif…
The smooth rational homology cobordism group of rational homology three spheres, T, contains subgroups T_p generated by 3-manifolds with first homology p-torsion, where p is a prime. Rochlin's theorem and gauge theoretic methods show that the inclusion of the direct sum of the T_p into T has infinitely generated kernel. We use Heegaard-Floer methods to show that the cokernel is infinitely generated. On the level of Witt groups of linking forms and conjecturally in the topological category, the inclusion is an isomorphism. One application is the demonstration of the failure in dimension three o…
We give some constraints on intersection forms of spin 4-manifolds bounded by Seifert rational homology 3-spheres in terms of the $\barμ$ invariant and compare them with those in terms of the $κ$ invariant. We also show that the difference between $κ$ and $-\barμ$ for a Seifert rational homology 3-sphere is at most 2, and under certain extra conditions the difference is 0.
The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries are rational homology cobordant 3-manifolds, wherein the knots are not rationally concordant (that is not concordant in any rational homology S^3 x [0,1]). Specifically, we prove that, for any positive integer p and any knot K, the zero framed surgery on K is Z[1/p]-homology cob…
We define an invariant of rational homology 3-spheres via vector fields. The construction of our invariant is a generalization of both that of the Kontsevich-Kuperberg-Thurston invariant and that of Watanabe's Morse homotopy invariant, which implies the equivalence of these two invariants.
M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behaviour of Z under rational homology handlebodies replacements. The explicit formulae that we present generalize a sum formula obtained by the author for the Casson-Walker invariant in 1994. They allow us to identify the degree one term of Z with the Walker invariant for rational hom…
The paper describes how known results in Heegaard-Floer homology apply to all known examples of rational blow-downs, and provides several new four dimensional pieces which could be exchanged while preserving some of the Ozsváth-Szabó four manifold invariants, when one of these pieces is found embedded in a smooth four manifold.
In this short note, we exhibit an infinite family of hyperbolic rational homology $3$--spheres which do not admit any fillable contact structures. We also note that most of these manifolds do admit tight contact structures.
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.
We prove that loose Legendrian knots in a rational homology contact 3-sphere, satisfying some additional hypothesis, are Legendrian isotopic if and only if they have the same classical invariants. The proof requires a result of Dymara on loose Legendrian knots and Eliashberg's classification of overtwisted contact structures on 3-manifolds.
We show that the perturbative ${\frak g}$ invariant of rational homology 3-spheres can be recovered from the LMO invariant for any simple Lie algebra ${\frak g}$, i.e, the LMO invariant is universal among the perturbative invariants. This universality was conjectured in [25]. Since the perturbative invariants dominate the quantum invariants of integral homology 3-spheres [13,14,15], this implies that the LMO invariant dominates the quantum invariants of integral homology 3-spheres.
We generalise theorems of Khodorovskiy and Park-Park-Shin, and give new topological proofs of those theorems, using embedded surfaces in the 4-ball and branched double covers. These theorems exhibit smooth codimension-zero embeddings of certain rational homology balls bounded by lens spaces.
The 3-strand pretzel knots and links are a well-studied source of examples in knot theory. However, while there have been computations of the Khovanov homology of some sub-families of 3-strand pretzel knots, no general formula has been given for all of them. We give a general formula for the unreduced Khovanov homology of all 3-strand pretzel links, over the rational numbers.
We consider the question of which Dehn surgeries along a given knot bound rational homology balls. We use Ozsváth and Szabó's correction terms in Heegaard Floer homology to obtain general constraints on the surgery coefficients. We then turn our attention to the case of integral surgeries, with particular emphasis on positive torus knots. Finally, combining these results with a lattice-theoretic obstruction based on Donaldon's theorem, we classify which integral surgeries along torus knots of the form $T_{kq\pm 1,q}$ bound rational homology balls.
In this paper, we develop a method for constructing left-orders on the fundamental groups of rational homology 3-spheres. We begin by constructing the holonomy extension locus of a rational homology solid torus $M$, which encodes the information about peripherally hyperbolic $\widetilde{\text{PSL}_2\mathbb{R}}$ representations of $π_1(M)$. Plots of the holonomy extension loci of many rational homology solid tori are shown, and the relation to left-orderability is hinted. Using holonomy extension loci, we study rational homology 3-spheres coming from Dehn filling on rational homology solid tori…
Fintushel and Stern showed that the Brieskorn sphere $Σ(2,3,7)$ bounds a rational homology ball, while its non-trivial Rokhlin invariant obstructs it from bounding an integral homology ball. It is known that their argument can be modified to show that the figure-eight knot is rationally slice, and we use this fact to provide the first additional examples of Brieskorn spheres that bound rational homology balls but not integral homology balls: the families $Σ(2,4n+1,12n+5)$ and $Σ(3,3n+1,12n+5)$ for $n$ odd. We also provide handlebody diagrams for a rational homology ball containing a rationally…
We make explicit computations in the formal symplectic geometry of Kontsevich and determine the Euler characteristics of the three cases, namely commutative, Lie and associative ones, up to certain weights.From these, we obtain some non-triviality results in each case. In particular, we determine the integral Euler characteristics of the outer automorphism groups Out F_n of free groups for all n <= 10 and prove the existence of plenty of rational cohomology classes of odd degrees. We also clarify the relationship of the commutative graph homology with finite type invariants of homology 3-spher…
