A surgery formula for the Casson–Seiberg–Witten invariant of integral homology S1×S3

2021 ◽  
Vol 14 (3) ◽  
pp. 913-962
Author(s):  
Langte Ma
2007 ◽  
Vol 143 (6) ◽  
pp. 1593-1612 ◽  
Author(s):  
Anna Beliakova ◽  
Thang T. Q. Lê

AbstractWe prove that the Witten–Reshetikhin–Turaev (WRT) SO(3) invariant of an arbitrary 3-manifold M is always an algebraic integer. Moreover, we give a rational surgery formula for the unified invariant dominating WRT SO(3) invariants of rational homology 3-spheres at roots of unity of order co-prime with the torsion. As an application, we compute the unified invariant for Seifert fibered spaces and for Dehn surgeries on twist knots. We show that this invariant separates Seifert fibered integral homology spaces and can be used to detect the unknot.


1996 ◽  
Vol 05 (04) ◽  
pp. 441-461 ◽  
Author(s):  
STAVROS GAROUFALIDIS

Recently Ohtsuki [Oh2], motivated by the notion of finite type knot invariants, introduced the notion of finite type invariants for oriented, integral homology 3-spheres. In the present paper we propose another definition of finite type invariants of integral homology 3-spheres and give equivalent reformulations of our notion. We show that our invariants form a filtered commutative algebra. We compare the two induced filtrations on the vector space on the set of integral homology 3-spheres. As an observation, we discover a new set of restrictions that finite type invariants in the sense of Ohtsuki satisfy and give a set of axioms that characterize the Casson invariant. Finally, we pose a set of questions relating the finite type 3-manifold invariants with the (Vassiliev) knot invariants.


1996 ◽  
Vol 05 (04) ◽  
pp. 427-439 ◽  
Author(s):  
RICCARDO BENEDETTI ◽  
CARLO PETRONIO

In this paper we discuss the beautiful idea of Justin Roberts [7] (see also [8]) to re-obtain the Turaev-Viro invariants [11] via skein theory, and re-prove elementarily the Turaev-Walker theorem [9], [10], [13]. We do this by exploiting the presentation of 3-manifolds introduced in [1], [4]. Our presentation supports in a very natural way a formal implementation of Roberts’ idea. More specifically, what we show is how to explicitly extract from an o-graph (the object by which we represent a manifold, see below), one of the framed links in S3 which Roberts uses in the construction of his invariant, and a planar diagrammatic representation of such a link. This implies that the proofs of invariance and equality with the Turaev-Viro invariant can be carried out in a completely “algebraic” way, in terms of a planar diagrammatic calculus which does not require any interpretation of 3-dimensional figures. In particular, when proving the “term-by-term” equality of the expansion of the Roberts invariant with the state sum which gives the Turaev-Viro invariant, we simultaneously apply several times the “fusion rule” (which is formally defined, strictly speaking, only in diagrammatic terms), showing that the “braiding and twisting” which a priori may exist on tetrahedra is globally dispensable. In our point of view the success of this formal “algebraic” approach witnesses a certain efficiency of our presentation of 3-manifolds via o-graphs. In this work we will widely use recoupling theory which was very clearly exposed in [2], and therefore we will avoid recalling notations. Actually, for the purpose of stating and proving our results we will need to slightly extend the class of trivalent ribbon diagrams on which the bracket can be computed. We also address the reader to the references quoted in [2], in particular for the fundamental contributions of Lickorish to this area. In our approach it is more natural to consider invariants of compact 3-manifolds with non-empty boundary. The case of closed 3-manifolds is included by introducing a correction factor corresponding to boundary spheres, as explained in §2. Our main result is actually an extension to manifolds with boundary of the Turaev-Walker theorem: we show that the Turaev-Viro invariant of such a manifold coincides (up to a factor which depends on the Euler characteristic) with the Reshetikhin-Turaev-Witten invariant of the manifold mirrored in its boundary.


Author(s):  
Yongqiang Liu ◽  
Laurenţiu Maxim ◽  
Botong Wang

Abstract In their paper from 2012, Bobadilla and Kollár studied topological conditions which guarantee that a proper map of complex algebraic varieties is a topological or differentiable fibration. They also asked whether a certain finiteness property on the relative covering space can imply that a proper map is a fibration. In this paper, we answer positively the integral homology version of their question in the case of abelian varieties, and the rational homology version in the case of compact ball quotients. We also propose several conjectures in relation to the Singer–Hopf conjecture in the complex projective setting.


2008 ◽  
Vol 8 (2) ◽  
pp. 787-801
Author(s):  
Jean-Baptiste Meilhan
Keyword(s):  

1996 ◽  
Vol 48 (3) ◽  
pp. 483-495 ◽  
Author(s):  
Dominique Arlettaz

AbstractThis paper shows that for the Moore spectrum MG associated with any abelian group G, and for any positive integer n, the order of the Postnikov k-invariant kn+1(MG) is equal to the exponent of the homotopy group πnMG. In the case of the sphere spectrum S, this implies that the exponents of the homotopy groups of S provide a universal estimate for the exponent of the kernel of the stable Hurewicz homomorphism hn: πnX → En(X) for the homology theory E*(—) corresponding to any connective ring spectrum E such that π0E is torsion-free and for any bounded below spectrum X. Moreover, an upper bound for the exponent of the cokernel of the generalized Hurewicz homomorphism hn: En(X) → Hn(X; π0E), induced by the 0-th Postnikov section of E, is obtained for any connective spectrum E. An application of these results enables us to approximate in a universal way both kernel and cokernel of the unstable Hurewicz homomorphism between the algebraic K-theory of any ring and the ordinary integral homology of its linear group.


2020 ◽  
pp. 1-28
Author(s):  
Gwénaël Massuyeau ◽  
Delphine Moussard

Abstract We prove a “splicing formula” for the LMO invariant, which is the universal finite-type invariant of rational homology three-spheres. Specifically, if a rational homology three-sphere M is obtained by gluing the exteriors of two framed knots $K_1 \subset M_1$ and $K_2\subset M_2$ in rational homology three-spheres, our formula expresses the LMO invariant of M in terms of the Kontsevich–LMO invariants of $(M_1,K_1)$ and $(M_2,K_2)$ . The proof uses the techniques that Bar-Natan and Lawrence developed to obtain a rational surgery formula for the LMO invariant. In low degrees, we recover Fujita’s formula for the Casson–Walker invariant, and we observe that the second term of the Ohtsuki series is not additive under “standard” splicing. The splicing formula also works when each $M_i$ comes with a link $L_i$ in addition to the knot $K_i$ , hence we get a “satellite formula” for the Kontsevich–LMO invariant.


2014 ◽  
Vol 66 (1) ◽  
pp. 141-169
Author(s):  
Shanti Caillat-Gibert ◽  
Daniel Matignon

AbstractThis paper concerns the problem of existence of taut foliations among 3-manifolds. From the work of David Gabai we know that a closed 3-manifold with non-trivial second homology group admits a taut foliation. The essential part of this paper focuses on Seifert fibered homology 3-spheres. The result is quite different if they are integral or rational but non-integral homology 3-spheres. Concerning integral homology 3-spheres, we can see that all but the 3-sphere and the Poincaré 3-sphere admit a taut foliation. Concerning non-integral homology 3-spheres, we prove there are infinitely many that admit a taut foliation, and infinitely many without a taut foliation. Moreover, we show that the geometries do not determine the existence of taut foliations on non-integral Seifert fibered homology 3-spheres.


Sign in / Sign up

Export Citation Format

Share Document