SearcharxivSearch

arXiv subjects

Seonhwa Kim

Publications and source records attributed to Seonhwa Kim.

12 recordsLinked to original sources

Computations of parabolic character schemes of knots

We compute parabolic $\mathrm{SL}_2(\mathbb{C})$-character schemes of knots using the parabolic quandle. To this end, we introduce sign-refined arc-colorings and show that their sign data encode the obstruction classes of the induced parabolic representations. We also establish a correspondence between the schemes defined by sign-refined arc-colorings and the parabolic character scheme. This yields a practical diagrammatic method for computing complete lists of parabolic characters, together with their multiplicities and obstruction classes. Using this method, we verify a conjecture of Bénard and Detcherry for all small knots with at most $12$ crossings.

math.GT

Rigidity of nonconvex polyhedra with respect to edge lengths and dihedral angles

We prove that every three-dimensional polyhedron is uniquely determined by its dihedral angles and edge lengths, even if nonconvex or self-intersecting, under two plausible sufficient conditions: (i) the polyhedron has only convex faces and (ii) it does not have partially-flat vertices, and under an additional technical requirement that (iii) any triple of vertices is not collinear. The proof is consistently valid for Euclidean, hyperbolic and spherical geometry, which takes a completely different approach from the argument of the Cauchy rigidity theorem. Various counterexamples are provided that arise when these conditions are violated, and self-contained proofs are presented whenever possible. As a corollary, the rigidity of several families of polyhedra is also established. Finally, we propose two conjectures: the first suggests that Condition (iii) can be removed, and the second concerns the rigidity of spherical nonconvex polygons.

math.GT

Octahedral developing of knot complement II: Ptolemy coordinates and applications

It is known that a knot complement (minus two points) decomposes into ideal octahedra with respect to a given knot diagram. In this paper, we study the Ptolemy variety for such an octahedral decomposition in perspective of Thurston's gluing equation variety. More precisely, we compute explicit Ptolemy coordinates in terms of segment and region variables, the coordinates of the gluing equation variety motivated from the volume conjecture. As a consequence, we present an explicit formula for computing the obstruction to lifting a $(\mathrm{PSL}(2,\mathbb{C}),P)$-representation of the knot group to a $(\mathrm{SL}(2,\mathbb{C}),P)$-representation. We also present a diagrammatic algorithm to compute a holonomy representation of the knot group.

math.GT

Volume of Hypercubes Clipped by Hyperplanes and Combinatorial Identities

There is an elegant expression for the volume of hypercube $[0,1]^n$ clipped by a single hyperplane. In the article the formula is generalized to the case of more than one hyperplane. An important foundation for the result is Lawrence's formula and a way to weaken two restrictions of simplicity and non-parallelness in his formula is also considered. Several concrete volume formulas of clipped hypercubes are derived explicitly and the corresponding combinatorial identities are obtained as an application.

math.CO

Parabolic representations and generalized Riley polynomials

We generalize R. Riley's study about parabolic representations of two bridge knot groups to the general knots in $S^3$. We utilize the parabolic quandle method for general knot diagrams and adopt symplectic quandle for better investigation, which gives such representations and their complex volumes explicitly. For any knot diagram with a specified crossing $c$, we define a generalized Riley polynomial $R_c(y) \in \mathbb{Q}[y]$ whose roots correspond to the conjugacy classes of parabolic representations of the knot group. The sign-type of parabolic quandle is newly introduced and we obtain a formula for the obstruction class to lift to a boundary unipotent $\text{SL}_2 \mathbb{C}$-representation. Moreover, we define another polynomial $g_c(u)\in\mathbb{Q}[u]$, called $u$-polynomial, and prove that $R_c(u^2)=\pm g_c(u)g_c(-u)$. Based on this result, we introduce and investigate Riley field and $u$-field which are closely related to the invariant trace field. This method eventually leads to the complete classification of parabolic representations of knot groups along with their complex volumes and cusp shapes up to 12 crossings.

math.GT

Adjoint Reidemeister torsions from wrapped M5-branes

We introduce a vanishing property of adjoint Reidemeister torsions of a cusped hyperbolic 3-manifold derived from the physics of wrapped M5-branes on the manifold. To support our physical observation, we present a rigorous proof for the figure-eight knot complement with respect to all slopes. We also present numerical verification for several knots.

math.GT

A wrapped Fukaya category of knot complement

This is the first of a series of two articles where we construct a version of wrapped Fukaya category $\mathcal W\mathcal F(M\setminus K;H_{g_0})$ of the cotangent bundle $T^*(M \setminus K)$ of the knot complement $M \setminus K$ of a compact 3-manifold $M$, and do some calculation for the case of hyperbolic knots $K \subset M$. For the construction, we use the wrapping induced by the kinetic energy Hamiltonian $H_{g_0}$ associated to the cylindrical adjustment $g_0$ on $M \setminus K$ of a smooth metric $g$ defined on $M$. We then consider the torus $T = \partial N(K)$ as an object in this category and its wrapped Floer complex $CW^*(ν^*T;H_{g_0})$ where $N(K)$ is a tubular neighborhood of $K \subset M$. We prove that the quasi-equivalence class of the category and the quasi-isomorphism class of the $A_\infty$ algebra $CW^*(ν^*T;H_{g_0})$ are independent of the choice of cylindrical adjustments of such metrics depending only on the isotopy class of the knot $K$ in $M$. In a sequel [BKO], we give constructions of a wrapped Fukaya category $\mathcal W\mathcal F(M\setminus K;H_h)$ for hyperbolic knot $K$ and of $A_\infty$ algebra $CW^*(ν^*T;H_h)$ directly using the hyperbolic metric $h$ on $M \setminus K$, and prove a formality result for the asymptotic boundary of $(M \setminus K, h)$.

math.SG

Formality of Floer complex of the ideal boundary of hyperbolic knot complement

This is a sequel to the authors' article [BKO](arXiv:1901.02239). We consider a hyperbolic knot $K$ in a closed 3-manifold $M$ and the cotangent bundle of its complement $M \setminus K$. We equip $M \setminus K$ with a hyperbolic metric $h$ and its cotangent bundle $T^*(M \setminus K)$ with the induced kinetic energy Hamiltonian $H_h = \frac{1}{2} |p|_h^2$ and Sasakian almost complex structure $J_h$, and associate a wrapped Fukaya category to $T^*(M\setminus K)$ whose wrapping is given by $H_h$. We then consider the conormal $ν^*T$ of a horo-torus $T$ as its object. We prove that all non-constant Hamiltonian chords are transversal and of Morse index 0 relative to the horo-torus $T$, and so that the structure maps satisfy $\widetilde{\mathfrak m}^k = 0$ unless $k \neq 2$ and an $A_\infty$-algebra associated to $ν^*T$ is reduced to a noncommutative algebra concentrated to degree 0. We prove that the wrapped Floer cohomology $HW(ν^*T; H_h)$ with respect to $H_h$ is well-defined and isomorphic to the Knot Floer cohomology $HW(\partial_\infty(M \setminus K))$ that was introduced in [BKO] for arbitrary knot $K \subset M$. We also define a reduced cohomology, denoted by $\widetilde{HW}^d(\partial_\infty(M \setminus K))$, by modding out constant chords and prove that if $\widetilde{HW}^d(\partial_\infty(M \setminus K))\neq 0$ for some $d \geq 1$, then $K$ cannot be hyperbolic. On the other hand, we prove that all torus knots have $\widetilde{HW}^1(\partial_\infty(M \setminus K)) \neq 0$.

math.SG

Octahedral developing of knot complement I: pseudo-hyperbolic structure

It is known that a knot complement can be decomposed into ideal octahedra along a knot diagram. A solution to the gluing equations applied to this decomposition gives a pseudo-developing map of the knot complement, which will be called a pseudo-hyperbolic structure. In this paper, we study these in terms of segment and region variables which are motivated by the volume conjecture so that we can compute complex volumes of all the boundary parabolic representations explicitly. We investigate the octahedral developing and holonomy representation carefully, and obtain a concrete formula of Wirtinger generators for the representation and also cusp shape. We demonstrate explicit solutions for $T(2,N)$ torus knots, $J(N,M)$ knots and also for other interesting knots as examples. Using these solutions we can observe the asymptotic behavior of complex volumes and cusp shapes of these knots. We note that this construction works for any knot or link, and reflects systematically both geometric properties of the knot complement and combinatorial aspect of the knot diagram.

math.GT

Legendrian singular links and singular connected sums

We study Legendrian singular links up to contact isotopy. Using a special property of the singular points, we define the singular connected sum of Legendrian singular links. This concept is a generalization of the connected sum and can be interpreted as a tangle replacement, which provides a way to classify Legendrian singular links. Moreover, we investigate several phenomena only occur in the Legendrian setup.

math.GT

Optimistic limits of Kashaev invariants and complex volumes of hyperbolic links

Yokota suggested an optimistic limit method of the Kashaev invariants of hyperbolic knots and showed it determines the complex volumes of the knots. His method is very effective and gives almost combinatorial method of calculating the complex volumes. However, to describe the triangulation of the knot complement, he restricted his method to knot diagrams with certain conditions. Although these restrictions are general enough for any hyperbolic knots, we have to select a good diagram of the knot to apply his theory. In this article, we suggest more combinatorial way to calculate the complex volumes of hyperbolic links using the modified optimistic limit method. This new method works for any link diagrams, and it is more intuitive, easy to handle and has natural geometric meaning.

math.GT