arXiv subjects

Keisuke Himeno

Publications and source records attributed to Keisuke Himeno.

9 recordsLinked to original sources

arXiv2026

A condition of admissibility for generalized Alexander quandles

A typical example of a quandle is the conjugation quandle. A quandle is said to be admissible if it is isomorphic to a conjugation quandle. We study the admissibility problem for quandles, that is, determining whether a given quandle is admissible. In particular, we focus on generalized Alexander quandles, which are groups equipped with quandle structures defined by group automorphisms. In this paper, we provide a sufficient condition for admissibility in terms of geometric properties of quandles: namely, if every antipodal set in each algebraically connected component consists of a single point, then the quandle is admissible. This result generalizes previous results on generalized Alexander quandles.

math.GT↗

arXiv2025

The bridge index and the braid index for twist positive knots

In general, the bridge index of a knot is less than or equal to its braid index. A natural question is when these two values coincide. Motivated by a conjecture of Krishna and Morton, we prove that the bridge index and the braid index coincide for all twist positive knots, using the knot Floer torsion order. Here, a twist positive knot is a knot that admits a positive braid representative containing at least one full twist.

math.GT↗

arXiv2025

Non-braid positive hyperbolic $L$-space knots

An $L$-space knot is a knot that admits a positive Dehn surgery yielding an $L$-space. Many known hyperbolic $L$-space knots are braid positive, meaning they can be represented as the closure of a positive braid. Recently, Baker and Kegel showed that the hyperbolic $L$-space knot $o9\_30634$ from Dunfield's census is not braid positive, and they constructed infinitely many candidates for hyperbolic $L$-space knots that may not be braid positive. However, it remains unproven whether their examples are genuinely non-braid positive. In this paper, we construct infinitely many hyperbolic $L$-space knots that are not braid positive, and our examples are distinct from those considered by Baker and Kegel.

math.GT↗

arXiv2025

The unoriented band unknotting numbers of torus knots

The unoriented band unknotting number of a knot is the minimum number of oriented or non-oriented band surgeries that turn the knot into the unknot. Batson introduced a certain non-oriented band surgery for a torus knot. The minimum number of these operations required to turn a torus knot into the unknot is called the pinch number, and it can be easily calculated from the parameters of the torus knot. In this paper, we show that the unoriented band unknotting number and the pinch number coincide for torus knots. In the proof, we use the torsion order of the unoriented knot Floer homology.

math.GT↗

arXiv2024

Hyperbolic knots with arbitrarily large torsion order in knot Floer homology

In knot Floer homology, there are two types of torsion order. One is the minimal power of the action of the variable $U$ to annihilate the $\mathbb{F}_2[U]$-torsion submodule of the minus version of knot Floer homology $\mathrm{HFK}^-(K)$. This is introduced by Juhász, Miller and Zemke, and denoted by $\mathrm{Ord}(K)$. The other, $\mathrm{Ord}'(K)$, introduced by Gong and Marengon, is similarly defined for the $\mathbb{F}_2[U]$-torsion submodule of the unoriented knot Floer homology $\mathrm{HFK}'(K)$. For both torsion orders, it is known that arbitrarily large values are realized by torus knots. In this paper, we prove that they can be realized by hyperbolic knots, most of which are twisted torus knots. Two torsion orders are argued in a unified way by using the Upsilon torsion function introduced by Allen and Livingston. We also give the first infinite family of hyperbolic knots which shares a common Upsilon torsion function.

math.GT↗

arXiv2024

Twisted right-angled Artin groups embedded in knot groups

Twisted right-angled Artin groups are defined through presentation based on mixed graphs. Each vertex corresponds to a generator, each undirected edge yields a commuting relation and each directed edge gives a Klein bottle relation. If there is no directed edge, then this reduces to an ordinary right-angled Artin group. There is a characterization of right-angled Artin groups which can be embedded in knot groups by Katayama. In this paper, we completely determine twisted right-angled Artin groups embedded in knot groups.

math.GT↗

arXiv2024

Classification of generalized torsion elements of order two in 3-manifold groups

Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the identity, then $g$ is called a generalized torsion element. The minimum number of conjugates in such a product is called the order of $g$. We will classify $3$-manifolds $M$, each of whose fundamental group has a generalized torsion element of order two. Furthermore, we will classify such elements in $π_1(M)$. We also prove that $R$-group and $\overline{R}$-group coincide for $3$-manifold groups, and classify $3$-manifold groups which are $R$-groups (and hence $\overline{R}$-groups).

math.GT↗

arXiv2024

New family of hyperbolic knots whose Upsilon invariants are convex

The Upsilon invariant of a knot is a concordance invariant derived from knot Floer homology theory. It is a piecewise linear continuous function defined on the interval $[0,2]$. Borodzik and Hedden gave a question asking for which knots the Upsilon invariant is a convex function. It is known that the Upsilon invariant of any $L$-space knot, and a Floer thin knot after taking its mirror image, if necessary, as well, is convex. Also, we can make infinitely many knots whose Upsilon invariants are convex by the connected sum operation. In this paper, we construct infinitely many mutually non-concordant hyperbolic knots whose Upsilon invariants are convex. To calculate the full knot Floer complex, we make use of a combinatorial method for $(1,1)$-knots.

math.GT↗

arXiv2022

Generalized torsion, unique root property and Baumslag--Solitar relation for knot groups

Let $G$ be a group. If an equation $x^n = y^n$ in $G$ implies $x = y$ for any elements $x$ and $y$, then $G$ is called an $R$--group. It is completely understood which knot groups are $R$--groups. Fay and Walls introduced $\bar{R}$--group in which the normalizer and the centralizer of an isolator of $\langle x \rangle$ coincide for any non-trivial element $x$. It is known that $\bar{R}$--groups and $R$--groups share many interesting properties and $\bar{R}$--groups are necessarily $R$--groups. However, in general, the converse does not hold. We will prove that these classes are the same for knot groups. In the course of the proof, we will determine knot groups with generalized torsion of order two.

math.GT↗