Takuro Mochizuki
We determine the third cohomology of Alexander quandles of the form F_q[T]/(T-omega), where F_q denotes the finite field of order q and omega is an element of F-q which is neither 0 nor 1. As a result, we obtain many concrete examples of non-trivial 3-cocycles.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Ishii and Oshiro introduced the notion of an $f$-twisted Alexander matrix, which is a quandle version of a twisted Alexander matrix and defined an invariant of finitely presented quandles. In this paper, we study $f$-twisted Alexander matrices of certain quandles with the Alexander pair obtained from a quandle 2-cocycle. We show that the 0-th elementary ideal of $f$-twisted Alexander matrix of the knot quandle of a surface knot with the Alexander pair obtained from a quandle 2-cocycle can be described with the Carter-Saito-Satoh's invariant. We also discuss a relationship between $f$-twisted A…
A. Ishii and K. Oshiro introduced the notion of an $f$-twisted Alexander matrix. This notion is a quandle version of the twisted Alexander matrix which was introduced by M. Wada. They showed that the twisted Alexander matrix of a pair of a link group and a group representation can be recovered from the $f$-twisted Alexander matrix of a pair of a link quandle and a quandle homomorphism. In this paper, we study a relationship between the $f$-twisted Alexander matrix and the quandle cocycle invariant. As an application, we show that an $f$-twisted Alexander invariant of knot quandles is a really …
Cocycles are constructed by polynomial expressions for Alexander quandles. As applications, non-triviality of some quandle homology groups are proved, and quandle cocycle invariants of knots are studied. In particular, for an infinite family of quandles, the non-triviality of quandle homology groups is proved for all odd dimensions.
Joyce observed that the Alexander invariant and the medial quandle of a classical knot are equivalent to each other, as invariants. In the present paper, we discuss the rather complicated extension of Joyce's observation to several different medial quandles and reduced (one-variable) Alexander modules associated with classical links. The theme is that for links, medial quandles provide stronger invariants than reduced Alexander modules.
In this paper, we study the colorability of link diagrams by the Alexander quandles. We show that if the reduced Alexander polynomial $Δ_{L}(t)$ is vanishing, then $L$ admits a non-trivial coloring by any non-trivial Alexander quandle $Q$, and that if $Δ_{L}(t)=1$, then $L$ admits only the trivial coloring by any Alexander quandle $Q$, also show that if $Δ_{L}(t)\not=0, 1$, then $L$ admits a non-trivial coloring by the Alexander quandle $Λ/(Δ_{L}(t))$.
We describe an algorithm for determining whether a finite quandle is isomorphic to an Alexander quandle by finding all possible Alexander presentations of the quandle. We give an implementation of this algorithm in Maple.
We prove that an Alexander quandle of prime order is generated by any pair of distinct elements. Furthermore, we prove for such a quandle that any ordered pair of distinct elements can be sent to any other such pair by an automorphism of the quandle.
A quandle is an algebra whose axioms are motivated from knot theory. A linear extension of a quandle can be described by using a pair of maps called an Alexander pair. In this paper, we show that a linear extension of a multiple conjugation quandle can be described by using a pair of maps called an MCQ Alexander pair, where a multiple conjugation quandle is an algebra whose axioms are motivated from handlebody-knot theory.
We incorporate quandle cocycle information into the quandle coloring quivers we defined in arXiv:1807.10465 to define weighted directed graph-valued invariants of oriented links we call \textit{quandle cocycle quivers}. This construction turns the quandle cocycle invariant into a small category, yielding a categorification of the quandle cocycleinvariant. From these graphs we define several new link invariants including a 2-variable polynomial which specializes to the usual quandle cocycle invariant. Examples and computations are provided.
A multiple conjugation quandle is an algebra whose axioms are motivated from handlebody-knot theory. Any linear extension of a multiple conjugation quandle can be described by using a pair of maps called an MCQ Alexander pair. In this paper, we show that any affine extension of a multiple conjugation quandle can be described by using a quadruple of maps, called an augmented MCQ Alexander pair.
The multivariate Alexander module of a link L has several subsets that admit quandle operations defined using the module operations. One of them, the fundamental multivariate Alexander quandle, determines the link module sequence of L.
Multivariate Alexander quandles, V. Constructing the medial quandle of a link
本文提出通过减少的亚历山大模的周边结构来构建链接的媒介淬火方法。
K. Cho and S. Nelson introduced the notion of a quandle coloring quiver, which is a quiver-valued link invariant, and a quandle cocycle quiver which is an enhancement of the quandle coloring quiver by assigning to each vertex a weight computed using a quandle 2-cocycle. In this paper, we study quandle coloring quivers using dihedral quandles and introduce the notions of a shadow quandle coloring quiver and a shadow quandle cocycle quiver, which are shadow versions of the quandle coloring quiver and the quandle cocycle quiver. We show that, when we use a dihedral quandle of prime order, the qua…
Multivariate Alexander quandles, VI. Metabelian groups and 2-component links
本文研究了多变量亚历山大淬火与可解群的关系，证明了其与链接群商群的同构性，并揭示了二链环的 medial 淬火与简化亚历山大不变量的联系。
Quandle 2-cocycles define invariants of classical and virtual knots, and extensions of quandles. We show that the quandle 2-cocycle invariant with respect to a non-trivial $2$-cocycle is constant, or takes some other restricted form, for classical knots when the corresponding extensions satisfy certain algebraic conditions. In particular, if an abelian extension is a conjugation quandle, then the corresponding cocycle invariant is constant. Specific examples are presented from the list of connected quandles of order less than 48. Relations among various quandle epimorphisms involved are also e…
We explore a knot invariant derived from colorings of corresponding $1$-tangles with arbitrary connected quandles. When the quandle is an abelian extension of a certain type the invariant is equivalent to the quandle $2$-cocycle invariant. We construct many such abelian extensions using generalized Alexander quandles without explicitly finding $2$-cocycles. This permits the construction of many $2$-cocycle invariants without exhibiting explicit $2$-cocycles. We show that for connected generalized Alexander quandles the invariant is equivalent to Eisermann's knot coloring polynomial. Computatio…
Relations will be described between the quandle cocycle invariant and the minimal number of colors used for non-trivial Fox colorings of knots and links. In particular, a lower bound for the minimal number is given in terms of the quandle cocycle invariant.
To study embeddings of tangles in knots, we use quandle cocycle invariants. Computations are carried out for the tables of knots and tangles, to investigate which tangles may or may not embed in knots in the tables.
Quandle cocycle invariants form a powerful and well developed tool in knot theory. This paper treats their variations - namely, positive and twisted quandle cocycle invariants, and shadow invariants. We interpret the former as particular cases of the latter. As an application, several constructions from the shadow world are extended to the positive and twisted cases. Another application is a sharpening of twisted quandle cocycle invariants for multi-component links.
Relationship between quandle shadow cocycle invariants and Vassiliev invariants
本文研究了结合影淬灭余弦不变量与瓦西利耶夫不变量之间的关系，证明了其有限扰动展开系数对于任何编织都是瓦西利耶夫不变量。
In this note we prove that for any finite quandle $X$ and any 2-cocycle $ϕ\in Z^2_{Q\pm}(X; \mathds{Z})$, the cocycle invariant $Φ^{\pm}_ϕ(K)$ is trivial for all knots $K$.
We give a construction of quandle cocycles from group cocycles, especially, for any integer p \geq 3, quandle cocycles of the dihedral quandle R_p from group cocycles of the cyclic group Z/p. We will show that a group 3-cocycle of Z/p gives rise to a non-trivial quandle 3-cocycle of R_p. When p is an odd prime, since dim_{F_p} H_Q^3(R_p; F_p) = 1, our 3-cocycle is a constant multiple of the Mochizuki 3-cocycle up to coboundary. Dually, we construct a group cycle represented by a cyclic branched covering branched along a knot K from the quandle cycle associated with a colored diagram of K.
If $L$ is a classical link then the multivariate Alexander quandle, $Q_A(L)$, is a substructure of the multivariate Alexander module, $M_A(L)$. In the first paper of this series we showed that if two links $L$ and $L'$ have $Q_A(L) \cong Q_A(L')$, then after an appropriate re-indexing of the components of $L$ and $L'$, there will be a module isomorphism $M_A(L) \cong M_A(L')$ of a particular type, which we call a"Crowell equivalence." In the present paper we show that $Q_A(L)$ (up to quandle isomorphism) is a strictly stronger link invariant than $M_A(L)$ (up to re-indexing and Crowell equival…
We construct elements of the third quandle homology groups of knot quandles, which are called the shadow fundamental classes. They play the same roles for the shadow quandle cocycle invariants of knots as the fundamental classes of knot quandles does for the quandle cocycle invariants. As an application of the shadow fundamental classes, we show the relation between the shadow quandle cocycle invariants and the based shadow quandle cocycle invariants. Moreover, we will show, for a prime knot, that any third quandle homology classes are considered as images of the shadow fundamental classes of …
Defined by Joyce and Matveev, the fundamental quandle is a complete invariant of oriented classical knots. We consider invariants of knots defined from quotients of the fundamental quandle. In particular, we introduce the fundamental Latin Alexander quandle of a knot and consider its Gröbner basis-valued invariants, which generalize the Alexander polynomial. We show via example that the invariant is not determined by the generalized Alexander polynomial for virtual knots.
We introduce the notion of a quandle with a good involution and its homology groups. Carter et al. defined quandle cocycle invariants for oriented links and oriented surface-links. By use of good involutions, quandle cocyle invariants can be defined for links and surface-links which are not necessarily oriented or orientable. The invariants can be used in order to estimate the minimal triple point numbers of non-orientable surface-links.
Homomorphisms on quandle cohomology groups that raise the dimensions by one are studied in relation to the cocycle state-sum invariants of knots and knotted surfaces. Skein relations are also studied.
Quandles with good involutions, which are called symmetric quandles, can be used to define invariants of unoriented knots and links. In this paper, we determine the necessary and sufficient condition for good involutions of a generalized Alexander quandle to exist. Moreover, we classify all good involutions of a connected generalized Alexander quandle up to symmetric quandle isomorphisms.
Isomorphism classes of Alexander quandles of order 16 are determined, and classes of connected quandles are identified. This paper extends the list of known distinct connected finite Alexander quandles.
For any twisted conjugate quandle $Q$, and in particular any Alexander quandle, there exists a group $G$ such that $Q$ is embedded into the conjugation quandle of $G$.
The lengths of 3-cocycles of the 7-dihedral and the octahedral quandles
通过确定7-二面体quandle与八面体quandle的部分3-上循环长度，证明2-扭纺5₂-结和4-扭纺三叶结的三重点数均为8，为扭纺结的三重点数研究提供结果。
We propose a simple method to produce quandle cocycles from group cocycles, as a modification of Inoue-Kabaya chain map. We further show that, in respect to "universal central extended quandles", the chain map induces an isomorphism between their third homologies. For example, all Mochizuki's quandle 3-cocycles are shown to be derived from group cocycles of some non-abelian group. As an application, we calculate some $\Z$-equivariant parts of the Dijkgraaf-Witten invariants of some cyclic branched covering spaces, via some cocycle invariant of links.
Two finite Alexander quandles with the same number of elements are isomorphic iff their Z[t,t^-1]-submodules Im(1-t) are isomorphic as modules. This yields specific conditions on when Alexander quandles of the form Z_n[t,t^-1]/(t-a) where gcd(n,a)=1 (called linear quandles) are isomorphic, as well as specific conditions on when two linear quandles are dual and which linear quandles are connected. We apply this result to obtain a procedure for classifying Alexander quandles of any finite order and as an application we list the numbers of distinct and connected Alexander quandles with up to fift…
By using the cohomology theory of quandles, quandle cocycle invariants and shadow quandle cocycle invariants are defined for oriented links and surface-links via broken surface diagrams. By using symmetric quandles, symmetric quandle cocycle invariants are also defined for unoriented links and surface-links via broken surface diagrams. A marked graph diagram is a link diagram possibly with $4$-valent vertices equipped with markers. S. J. Lomonaco, Jr. and K. Yoshikawa introduced a method of describing surface-links by using marked graph diagrams. In this paper, we give interpretations of these…
We introduce the notion of quasi-triviality of quandles and define homology of quasi-trivial quandles. Quandle cocycle invariants are invariant under link-homotopy if they are associated with 2-cocycles of quasi-trivial quandles. We thus obtain a lot of numerical link-homotopy invariants.
This paper is a brief overview of some of our recent results in collaboration with other authors. The cocycle invariants of classical knots and knotted surfaces are summarized, and some applications are presented.
State-sum invariants for knotted curves and surfaces using quandle cohomology were introduced by Laurel Langford and the authors in math.GT/9903135 In this paper we present methods to compute the invariants and sample computations. Computer calculations of cohomological dimensions for some quandles are presented. For classical knots, Burau representations together with Maple programs are used to evaluate the invariants for knot table. For knotted surfaces in 4-space, movie methods and surface braid theory are used. Relations between the invariants and symmetries of knots are discussed.
Classification of generalized Alexander quandles
本文利用基础群及其自同构，为广义Alexander quandle的同构类提供了新的刻画以推广先前结论，并计算了阶数不超过127的群及其群自同构导出的广义Alexander quandle数量。
The goal of this paper is to characterization generalized Alexander quandles of finite groups in the language of the underlying groups. Firstly, we prove that if finite groups $G$ are simple, then the quandle isomorphic classes of generalized Alexander quandles of $G$ one-to-one correspond to the conjugacy classes of the automorphism groups of $G$. This correspondence can be also claimed for the case of symmetric groups. Secondly, we give a characterization of generalized Alexander quandles of finite groups $G$ under some assumptions in terms of $G$. As corollaries of this characterization, we…
In a recent paper, Allen and Swenberg investigated which link polynomials are capable of detecting causality in (2+1)-dimensional globally hyperbolic spacetimes. They ultimately suggested it is likely that the Jones Polynomial accomplishes this, while the Alexander-Conway polynomial, independently, is insufficient. As the Alexander-Conway polynomial on its own is not likely to detect causality an additional piece of information must be supplemented to the link polynomial. This paper aims to examine the ability of Alexander quandles, to distinguish the connected sum of two Hopf links and Allen-…
Quandle cocycles are constructed from extensions of quandles. The theory is parallel to that of group cohomology and group extensions. An interpretation of quandle cocycle invariants as obstructions to extending knot colorings is given, and is extended to links component-wise.
This paper studies the chirality of knotoids using shadow quandle colorings and the shadow quandle cocycle invariant. The shadow coloring number and the shadow quandle cocycle invariant is shown to distinguish infinitely many knotoids from their mirrors. Specifically, the knot-type knotoid $3_1$ is shown to be chiral. The weight of a quandle 3-cocycle is used to calculate the crossing numbers of infinitely many multi-linkoids.
We determine the second, third, and fourth cohomology groups of Alexander $f$-quandles of the form $\mathbb{F}_q[T,S]/ (T-ω, S-β)$, where $\mathbb{F}_q$ denotes the finite field of order $q$, $ω\in \mathbb{F}_q\setminus \{0,1\}$, and $β\in \mathbb{F}_q$
We improve the lower bound for the minimum number of colors for linear Alexander quandle colorings of a knot given in Theorem 1.2 of Colorings beyond Fox: The other linear Alexander quandles (Linear Algebra and its Applications, Vol. 548, 2018). We express this lower bound in terms of the degree k of the reduced Alexander polynomial of the considered knot. We show that it is exactly k + 1 for L-space knots. Then we apply these results to torus knots and Pretzel knots P(-2,3,2l + 1), l>=0. We note that this lower bound can be attained for some particular knots. Furthermore, we show that Theorem…
We show a de Rham theory for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in \cite{Dup2,DK} produce cocycles of quandles.
Good involutions of twisted conjugation subquandles and Alexander quandles
本文完整刻画了自由拟群、扭共轭子拟群及所有 Alexander 拟群的优良对合，并枚举线性拟群的对合，给出阶数不超过 23 的显式映射，同时刻画了连通对合型 Alexander 拟群。
Frobenius Alexander quandles, knot colorings, and isogeny classes of abelian varieties over finite fields
该研究引入有限域上阿贝尔簇的Frobenius Alexander纽胚概念，确定纽被其非平凡着色的素数条件，证明其同构类可确定阿贝尔簇同构类，为纽理论与算术研究提供新工具。
We give a formula of the connected component decomposition of the Alexander quandle: $\mathbb{Z}[t^{\pm1}]/(f_1(t),\ldots, f_k(t))=\bigsqcup^{a-1}_{i=0}\mathrm{Orb}(i)$, where $a=\gcd (f_1(1),\ldots, f_k(1))$. We show that the connected component $\mathrm{Orb}(i)$ is isomorphic to $\mathbb{Z}[t^{\pm1}]/J$ with an explicit ideal $J$. By using this, we see how a quandle is decomposed into connected components for some Alexander quandles. We introduce a decomposition of a quandle into the disjoint union of maximal connected subquandles. In some cases, this decomposition is obtained by iterating a…
The state-sum invariants for knots and knotted surfaces defined from quandle cocycles are described using the Kronecker product between cycles represented by colored knot diagrams and a cocycle of a finite quandle used to color the diagram. Such an interpretation is applied to evaluating the invariants. Algebraic interpretations of quandle cocycles as deformations of extensions are also given. The proofs rely on colored knot diagrams.
The theory of quandle (co)homology and cocycle knot invariants is rapidly being developed. We begin with a summary of these recent advances. One such advance is the notion of a dynamical cocycle. We show how dynamical cocycles can be used to color knotted surfaces that are obtained from classical knots by twist-spinning. We also demonstrate relations between cocycle invariants and Alexander matrices.
Quandle colorings and cocycle invariants are studied for composite knots, and applied to chirality and abelian extensions. The square and granny knots, for example, can be distinguished by quandle colorings, so that a trefoil and its mirror can be distinguished by quandle invariants of composite knots. We investigate this and related phenomena. Quandle cocycle invariants are studied in relation to the connected sum, and formulas are given for computing the cocycle invariant from the number of colorings of composite knots. Relations to corresponding abelian extensions of quandles are studied, a…
This paper is a survey of several papers in quandle homology theory and cocycle knot invariants that have been published recently. Here we describe cocycle knot invariants that are defined in a state-sum form, quandle homology, and methods of constructing non-trivial cohomology classes.
The quandle homology theory is generalized to the case when the coefficient groups admit the structure of Alexander quandles, by including an action of the infinite cyclic group in the boundary operator. Theories of Alexander extensions of quandles in relation to low dimensional cocycles are developed in parallel to group extension theories for group cocycles. Explicit formulas for cocycles corresponding to extensions are given, and used to prove non-triviality of cohomology groups for some quandles. The corresponding generalization of the quandle cocycle knot invariants is given, by using the…
A condition of admissibility for generalized Alexander quandles
本文针对 quandle 的可容性问题，聚焦广义亚历山大 quandles，基于几何性质给出充分条件，推广了相关前期研究结论。
Joyce showed that for a classical knot $K$, the involutory medial quandle $\text{IMQ}(K)$ is isomorphic to the core quandle of the homology group $H_1(X_2)$, where $X_2$ is the cyclic double cover of $\mathbb S ^3$, branched over $K$. It follows that $|\text{IMQ}(K)| = | \det K |$. In the present paper, the extension of Joyce's result to classical links is discussed. Among other things, we show that for a classical link $L$ of $μ\geq 2$ components, the order of the involutory medial quandle is bounded as follows: \[ \frac{μ| \det L |}{2} \geq |\text{IMQ}(L)| \geq \frac{ μ| \det L |} {2^{μ-1}}.…
Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Graña. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander modules for classical knots. Second, 2-cocycles valued in non-abelian groups are used in a way similar to Hopf algebra invariants of classical knots. These invariants are shown to be of quantum type. Third, cocycles with group actions on coefficient groups are used to define quandle co…
We consider the classical problem of a position of n-dimensional manifold M in R^{n+2}. We show that we can define the fundamental (n+1)-cycle and the shadow fundamental (n+2)-cycle for a fundamental quandle of a knotting M to R^{n+2}. In particular, we show that for any fixed quandle, quandle coloring, and shadow quandle coloring, of a diagram of M embedded in R^{n+2} we have (n+1)- and (n+2)-(co)cycle invariants (i.e. invariant under Roseman moves). We speculate on a similar construction for general Yang-Baxter operators.
Quandle homology theory has been developed and cocycles have been used to define invariants of oriented classical or surface links. We introduce a shifting chain map $σ$ on each quandle chain complex that lowers the dimensions by one. By using its pull-back $σ^\#$, each $2$-cocycle $ϕ$ gives us the $3$-cocycle $σ^\# ϕ$. For oriented classical links in the $3$-space, we explore relation between their quandle $2$-cocycle invariants associated with $ϕ$ and their shadow $3$-cocycle invariants associated with $σ^\# ϕ$. For oriented surface links in the $4$-space, we explore how powerful their quand…
We investigate some algebraic structures called quasi-trivial quandles and we use them to study link-homotopy of pretzel links. Precisely, a necessary and sufficient condition for a pretzel link with at least two components being trivial under link-homotopy is given. We also generalize the quasi-trivial quandle idea to the case of biquandles and consider enhancement of the quasi-trivial biquandle cocycle counting invariant by quasi-trivial biquandle cocycles, obtaining invariants of link-homotopy type of links analogous to the quasi-trivial quandle cocycle invariants in Ayumu Inoue's article a…
T. Mochizuki determined all 3-cocycles of the third quandle cohomologies of Alexander quandles on finite fields. We show that all the 3-cocycles, except those of 2-cocycle forms, are derived from group 3-cocycles of a meta-abelian group. Further, the quandle cocycle invariant of a link using Mochizuki's 3-cocycle is equivalent to a $\Z$-equivariant part of the Dijkgraaf-Witten invariant of a cyclic covering of $S^3$ branched over the link using the group. We compute some Massey triple products via the former invariant.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。