arXiv subjects
Publications and source records attributed to Yuji Terashima.
We consider the sum of the adjoint Reidemeister torsions and prove the integrality for twist knots and the meridian. We also give some concrete examples of the generating functions for these sums.
We study the conjecture that a sum of the (g-1)st powers of adjoint Reidemeister torsions for a torus knot is an integer. We prove that the conjecture is true for any torus knot and all non-negative g. To prove the conjecture, we introduce the Verlinde numbers for torus knots from the viewpoint of modular S-matrix and show the recursion formulas and initial values of them. The recursion formulas of Verlinde numbers prove the integrality of the sum of the (g-1)st powers of adjoint Reidemeister torsions. Related to a modular S-matrix, we also provide a birational model of the character variety for a torus knot and show how to recover the adjoint Reidemeister torsion for a torus knot from the Hessian of the polynomial defining the birational model.
We study the integrability of the quantized six-vertex model with four parameters on a torus. It is a three-dimensional integrable lattice model in which a layer transfer matrix, depending on two spectral parameters associated with the homology cycles of the torus, can be defined not only on the square lattice but also on more general graphs. For a class of graphs that we call admissible, we establish the commutativity of the layer transfer matrices by introducing four types of tetrahedron equations and two types of inversion relations. Expanding in the spectral parameters yields a family of commuting quantum Hamiltonians. The quantized six-vertex model can also be reformulated in terms of (quantized) dimer models, and encompasses known integrable systems as special cases, including the free parafermion model and the relativistic Toda chain.
We consider the Burde--de Rham theorem for finitely presented pro-$p$ groups under the assumption that the total degrees of all relators are $0$. We also give some concrete examples including higher-dimensional cases under Iwasawa theoretic conditions, and consider some cohomological interpretations.
We give a generalization of Goncharov's Hodge correlator twistor connection. Our generalized version is a connection 1-form with values in a DG Lie algebra of uni-trivalent graphs which may have loops and satisfies some Maurer--Cartan equation. This connection and the Maurer--Cartan equation can be viewed as an arithmetic analogue of effective action and quantum master equation respectively in non-acyclic Chern--Simons perturbation theory associated with the trivial local system.
We construct a new solution to the tetrahedron equation by further pursuing the quantum cluster algebra approach in our previous works. The key ingredients include a symmetric butterfly quiver attached to the wiring diagrams for the longest element of type $A$ Weyl groups and the implementation of quantum $Y$-variables through the $q$-Weyl algebra. The solution consists of four products of quantum dilogarithms. By exploring both the coordinate and momentum representations, along with their modular double counterparts, our solution encompasses various known three-dimensional (3D) $R$-matrices. These include those obtained by Kapranov-Voevodsky (1994) utilizing the quantized coordinate ring, Bazhanov-Mangazeev-Sergeev (2010) from a quantum geometry perspective, Kuniba-Matsuike-Yoneyama (2023) linked with the quantized six-vertex model, and Inoue-Kuniba-Terashima (2023) associated with the Fock-Goncharov quiver. The 3D $R$-matrix presented in this paper offers a unified perspective on these existing solutions, coalescing them within the framework of quantum cluster algebra.
We construct a new solution to the tetrahedron equation and the three-dimensional (3D) reflection equation by extending the quantum cluster algebra approach by Sun and Yagi concerning the former. We consider the Fock-Goncharov quivers associated with the longest elements of the Weyl groups of type $A$ and $C$, and investigate the cluster transformations corresponding to changing a reduced expression into a `most distant' one. By devising a new realization of the quantum $y$-variables in terms of $q$-Weyl algebra, the solutions are extracted as the operators whose adjoint actions yield the cluster transformations of the quantum $y$-variables. Explicit formulas of their matrix elements are also derived for some typical representations.
We develop the quantum cluster algebra approach recently introduced by Sun and Yagi to investigate the tetrahedron equation, a three-dimensional generalization of the Yang-Baxter equation. In the case of square quiver, we devise a new realization of quantum Y-variables in terms $q$-Weyl algebras and obtain a solution that possesses three spectral parameters. It is expressed in various forms, comprising four products of quantum dilogarithms depending on the signs in decomposing the quantum mutations into the automorphism part and the monomial part. For a specific choice of them, our formula precisely reproduces Sergeev's $R$ matrix, which corresponds to a vertex formulation of the Zamolodchikov-Bazhanov-Baxter model when $q$ is specialized to a root of unity.
In this article, for any Seifert fibered homology 3-sphere, we introduce homological blocks with simple Lie algebra and prove that its radial limits are identified with the Witten--Reshetikhin--Turaev invariants. To prove it, we develop an asymptotic formula and a vanishing result of asymptotic coefficients.
A $1$-parameter family of invertible states gives a topological transport phenomenon, similar to the Thouless pumping. As a natural generalization of this, we can consider a family of invertible states parametrized by some topological space $X$. This is called a higher pump. It is conjectured that $(1+1)$-dimensional bosonic invertible state parametrized by $X$ is classified by $\mathrm{H}^{3}(X;\mathbb{Z})$. In this paper, we construct two higher pumping models parametrized by $X=\mathbb{R}P^{2}\times S^1$ and $X=\mathrm{L}(3,1)\times S^1$ that corresponds to the torsion part of $\mathrm{H}^{3}(X;\mathbb{Z})$. As a consequence of the nontriviality as a family, we find that a quantum mechanical system with a nontrivial discrete Berry phase is pumped to the boundary of the $(1+1)$-dimensional system. We also study higher pump phenomena by using matrix product states (MPS), and construct a higher pump invariant which takes value in a torsion part of $\mathrm{H}^{3}(X;\mathbb{Z})$. This is a higher analog of the ordinary discrete Berry phase that takes value in the torsion part of $\mathrm{H}^{2}(X;\mathbb{Z})$. In order to define the higher pump invariant, we utilize the smooth Deligne cohomology and its integration theory. We confirm that the higher pump invariant of the model has a nontrivial value.
We construct a new type of quantum invariant of closed framed $3$-manifolds with the vanishing first Betti number. The invariant is defined for any finite dimensional Hopf algebra, such as small quantum groups, and is based on ideal triangulations. We use the canonical element of the Heisenberg double, which satisfies a pentagon equation, and graphical representations of $3$-manifolds introduced by R. Benedetti and C. Petronio. The construction is simple and easy to be understood intuitively; the pentagon equation reflects the Pachner $(2,3)$ move of ideal triangulations and the non-involutiveness of the Hopf algebra reflects framings. For an involutory Hopf algebra, the invariant reduces to an invariant of closed combed $3$-manifolds. For an involutory unimodular counimodular Hopf algebra, the invariant reduces to the topological invariant of closed $3$-manifolds which is introduced in our previous paper. In this paper we formalize the construction using more generally a Hopf monoid in a symmetric pivotal category and use tensor networks for calculations.
We introduce the adjoint homological Selmer module for an SL$_2$-representation of a knot group, which may be seen as a knot theoretic analogue of the dual adjoint Selmer module for a Galois representation. We then show finitely generated torsion-ness of our adjoint Selmer module, which are widely known as conjectures in number theory, and give some concrete examples.
In this article, for any Seifert fibered integral homology 3-sphere, we give explicit modular transformation formulas of homological blocks introduced by Gukov-Pei-Putrov-Vafa. Moreover, based on the modular transformation formulas, we have explicit asymptotic expansion formulas for the Witten-Reshetikhin-Turaev invariants which give a new proof of a version by Andersen of the Witten asymptotic conjecture.
We construct 3D $\mathcal{N}=2$ abelian gauge theories on $\mathbb{S}^2 \times \mathbb{S}^1$ labeled by knot diagrams whose K-theoretic vortex partition functions, each of which is a building block of twisted indices, give the colored Jones polynomials of knots in $\mathbb{S}^3$. The colored Jones polynomials are obtained as the Wilson loop expectation values along knots in $SU(2)$ Chern-Simons gauge theories on $\mathbb{S}^3$, and then our construction provides an explicit correspondence between 3D $\mathcal{N}=2$ abelian gauge theories and 3D $SU(2)$ Chern-Simons gauge theories. We verify, in particular, the applicability of our constructions to a class of tangle diagrams of 2-bridge knots with certain specific twists.
We construct an invariant of closed oriented $3$-manifolds using a finite dimensional, involutory, unimodular and counimodular Hopf algebra $H$. We use the framework of normal o-graphs introduced by R. Benedetti and C. Petronio, in which one can represent a branched ideal triangulation via an oriented virtual knot diagram. We assign a copy of a canonical element of the Heisenberg double $\mathcal{H}(H)$ of $H$ to each real crossing, which represents a branched ideal tetrahedron. The invariant takes values in the cyclic quotient $\mathcal{H}(H)/{[\mathcal{H}(H),\mathcal{H}(H)]}$, which is isomorphic to the base field. In the construction we use only the canonical element and structure constants of $H$ and we do not use any representations of $H$. This, together with the finiteness and locality conditions of the moves for normal o-graphs, makes the calculation of our invariant rather simple and easy to understand. When $H$ is the group algebra of a finite group, the invariant counts the number of group homomorphisms from the fundamental group of the $3$-manifold to the group.
Based on the analogies between mapping class groups and absolute Galois groups, we introduce an arithmetic pro-$\ell$ analogue of Orr invariants for a Galois element associated with Galois action on \'etale fundamental groups of punctured projective lines. At the same time, we also introduce pro-$\ell$ Orr space as an arithmetic analogue of Orr space whose third homotopy group is a target group of Orr invariant. We then determine its rank as $\mathbb{Z}_{\ell}$-module following Igusa-Orr's computation. Moreover, we investigate its relation with Ellenberg's obstruction to $\pi_1$-sections associated with lower central series filtration in the context of Grothendieck's section conjecture.
In this paper, for a Seifert loop (i.e., a knot in a Seifert three-manifold), first we give a family of an explicit function $\Phi(q; N)$ whose special values at roots of unity are identified with the Witten-Reshetikhin-Turaev invariants of the Seifert loop for the integral homology sphere. Second, we show that the function $\Phi(q; N)$ satisfies a $q$-difference equation whose classical limit coincides with a component of the character varieties of the Seifert loop. Third, we give an interpretation of the function $\Phi(q; N)$ from the view point of the resurgent analysis.
We show some fundamental results concerning $3$-dimensional foliated dynamical systems (FDS$^3$ for short) introduced by Deninger. Firstly, we give a decomposition theorem for an FDS$^3$, which yields a classification of FDS$^3$'s. Secondly, for each type of the classification, we construct concrete examples of FDS$^3$'s. Finally, by using the integration theory for smooth Deligne cohomology, we introduce geometric analogues of local symbols and show a Hilbert type reciprocity law for an FDS$^3$. Our results answer the question posed by Deninger.