SearcharxivSearch

arXiv subjects

Se-Goo Kim

Publications and source records attributed to Se-Goo Kim.

14 recordsLinked to original sources

Doubly slicing knots and embedding 3-manifolds in 4-manifolds

For a knot $K$ in the 3-sphere and a simply connected closed 4-manifold $X$, we define the $X$-double slice genus of $K$, extending the notion from the case when $X$ is the 4-sphere. We show that for each integer $n$, there exists an algebraically doubly slice and ribbon knot $K$ whose $X$-double slice genus is greater than $n$. Our arguments use new $L^2$-signature obstructions to embedding closed 3-manifolds with infinite cyclic first homology into closed 4-manifolds with infinite cyclic fundamental group, in a way that preserves first homology. We also extend the concept of the superslice genus of a knot to simply connected 4-manifolds and show that there exist doubly slice knots whose generalized superslice genera are arbitrarily large. Furthermore, we define the double stabilizing number of a knot, extending the stabilizing number introduced by Conway and Nagel, and show that this invariant can also be arbitrarily large.

math.GT

One-bipolar topologically slice knots and primary decomposition

Let {T_n} be the bipolar filtration of the smooth concordance group of topologically slice knots, which was introduced by Cochran, Harvey, and Horn. It is known that for each n not equal to 1 the quotient group T_n/T_{n+1} has infinite rank and T_1/T_2 has positive rank. In this paper, we show that T_1/T_2 also has infinite rank. Moreover, we prove that there exist infinitely many Alexander polynomials p(t) such that there exist infinitely many knots in T_1 with Alexander polynomial p(t) whose nontrivial linear combinations are not concordant to any knot with Alexander polynomial coprime to p(t), even modulo T_2. This extends the recent result of Cha on the primary decomposition of T_n/T_{n+1} for all n greater than 1 to the case n=1. To prove our theorem, we show that the surgery manifolds of satellite links of $ν^+$-equivalent knots with the same pattern link have the same Ozsváth-Szabó $d$-invariants, which is of independent interest. As another application, for each g greater than 0, we give a topologically slice knot of concordance genus g that is $ν^+$-equivalent to the unknot.

math.GT

Primary decomposition of knot concordance and von Neumann rho-invariants

We address the primary decomposition of the knot concordance group in terms of the solvable filtration and higher-order von Neumann $ρ$-invariants by Cochran, Orr, and Teichner. We show that for a nonnegative integer n, if the connected sum of two n-solvable knots with coprime Alexander polynomials is slice, then each of the knots has vanishing von Neumann $ρ$-invariants of order n. This gives positive evidence for the conjecture that nonslice knots with coprime Alexander polynomials are not concordant. As an application, we show that if K is one of Cochran-Orr-Teichner's knots which are the first examples of nonslice knots with vanishing Casson-Gordon invariants, then K is not concordant to any knot with Alexander polynomial coprime to that of K.

math.GT

Concordance invariants of doubled knots and blowing up

Let $ν$ be either the Ozsváth-Szabó $τ$-invariant or the Rasmussen $s$-invariant, suitably normalized. For a knot $K$, Livingston and Naik defined the invariant $t_ν(K)$ to be the minimum of $k$ for which $ν$ of the $k$-twisted positive Whitehead double of $K$ vanishes. They proved that $t_ν(K)$ is bounded above by $-TB(-K)$, where $TB$ is the maximal Thurston-Bennequin number. We use a blowing up process to find a crossing change formula and a new upper bound for $t_ν$ in terms of the unknotting number. As an application, we present infinitely many knots $K$ such that the difference between Livingston-Naik's upper bound $-TB(-K)$ and $t_ν(K)$ can be arbitrarily large.

math.GT

Polynomial splittings of correction terms and doubly slice knots

We show that if the connected sum of two knots with coprime Alexander polynomials is doubly slice, then the Ozsváth-Szabó correction terms as smooth double sliceness obstructions vanish for both knots. Recently, Jeffrey Meier gave smoothly slice knots that are topologically doubly slice, but not smoothly doubly slice. As an application, we give a new example of such knots that is distinct from Meier's knots modulo doubly slice knots.

math.GT

Secondary Upsilon invariants of knots

The knot invariant Upsilon, defined by Ozsvath, Stipsicz, and Szabo, induces a homomorphism from the smooth knot concordance group to the group of piecewise linear functions on the interval [0,2]. Here we define a set of related secondary invariants, each of which assigns to a knot a piecewise linear function on [0,2]. These secondary invariants provide bounds on the genus and concordance genus of knots. Examples of knots for which Upsilon vanishes but which are detected by these secondary invariants are presented.

math.GT

Topologically slice knots of smooth concordance order two

The existence of topologically slice knots that are of infinite order in the knot concordance group followed from Freedman's work on topological surgery and Donaldson's gauge theoretic approach to 4-manifolds. Here, as an application of Ozsvath and Szabo's Heegaard-Floer theory, we show the existence of an infinite subgroup of the smooth concordance group generated by topologically slice knots of concordance order two. In addition, no nontrivial element in this subgroup can be represented by a knot with Alexander polynomial one.

math.GT

Splittings of von Neumann rho-invariants of knots

We give a sufficient condition under which vanishing property of Cochran-Orr-Teichner knot concordance obstructions splits under connected sum. The condition is described in terms of self-annihilating submodules with respect to higher-order Blanchfield linking forms. This extends results of Levine and the authors on distinguishing knots with coprime Alexander polynomials up to concordance. As an application, we show that the knots constructed by Cochran, Orr and Teichner as the first examples of nonslice knots with vanishing Casson-Gordon invariants are not concordant to any knot of genus one.

math.GT

Non-splittability of the rational homology cobordism group of 3-manifolds

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 of an algebraic and higher dimensional theorem of Stoltzfus regarding primary splittings in the knot concordance group. We also build on work of the second author with Hedden and Ruberman to prove that the homology cobordism group of rational homology three spheres that bound topological rational homology 4-balls remains infinitely generated when modded out by the homology cobordism group of integral homology 3-spheres.

math.GT

Polynomial splittings of metabelian von Neumann rho-invariants

We show that if the connected sum of two knots with coprime Alexander polynomials has vanishing von Neumann rho-invariants associated with certain metabelian representations then so do both knots. As an application, we give a new example of an infinite family of knots which are linearly independent in the knot concordance group.

math.GT

Knot mutation: 4-genus of knots and algebraic concordance

Kearton observed that mutation can change the concordance class of a knot. A close examination of his example reveals that it is of 4-genus 1 and has a mutant of 4-genus 0. The first goal of this paper is to construct examples to show that for any pair of nonnegative integers m and n there is a knot of 4-genus m with a mutant of 4-genus n. A second result of this paper is a crossing change formula for the algebraic concordance class of a knot, which is then applied to prove the invariance of the algebraic concordance class under mutation. The paper concludes with an application of crossing change formulas to give a short new proof of Long's theorem that strongly positive amphicheiral knots are algebraically slice.

math.GT

Polynomial splittings of Casson-Gordon invariants

In this paper we prove that the Casson-Gordon invariants of the connected sum of two knots split when the Alexander polynomials of the knots are coprime. As one application, for any knot K, all but finitely many algebraically slice twisted doubles of K are linearly independent in the knot concordance group.

math.GT

Invertible knot concordances and prime knots

Kirby and Lickorish showed that every knot in the 3-sphere is concordant to a prime knot, equivalently, every concordance class contains a prime knot. We prove here that their result can be strengthened: Every knot in the 3-sphere is invertibly concordant to a prime knot. A consequence is that every double concordance class contains a prime knot.

math.GT

Virtual Knot Groups

Virtual knots, defined by Kauffman, provide a natural generalization of classical knots. Most invariants of knots extend in a natural way to give invariants of virtual knots. In this paper we study the fundamental groups of virtual knots and observe several new and unexpected phenomena. In the classical setting, if the longitude of a knot is trivial in the knot group then the group is infinite cyclic. We show that for any classical knot group there is a virtual knot with that group and trivial longitude. It is well known that the second homology of a classical knot group is trivial. We provide counterexamples of this for virtual knots. For an arbitrary group G, we give necessary and sufficient conditions for the existence of a virtual knot group that maps onto G with specified behavior on the peripheral subgroup. These conditions simplify those that arise in the classical setting.

math.GT