Rack

Rack とは, self-distributivity をみたす binary operation \(\rhd : X\times X\to X\) を持ち, 各 \(x\in X\) に対し \(x\rhd (-) : X\to X\) が全単射になる集合のことである。正確には, left rack と呼ぶべきであるが。 全単射を仮定しないものを, shelf と呼ぶ。 群などと比べると, あまり一般的ではない代数的構造であるが, かなり古くから考えられてきて, 何度も再発見されているもののようである。

Eisermann の [Eis14] には, rackは, 最初 Brieskorn [Bri88] により automorphic set という名前で定義されたように書いてあるが, Jackson の [Jac05] には, 1959年に Conway と Wraith により最初に調べられたと書いてある。更に, Przytycki の [Prz15] によると, self-distributive な構造は, 19世紀に既に Peirce の [Pei80] に登場しているらしい。

最も基本的な例は, 群の自分自身への conjugation での作用による rack であるが, これはもう少し良い性質を持ち quandle というものになる。他にも類似の構造は色々知られている。

• quandleやrackやその一般化

群の conjugation から得られるものの他に, Euclid空間での reflection を用いて作られる Coxeter rack というものがある。Nelson と Wieghard の [NW11] では, \(\R \) を任意の可換環にした Coxeter rack の一般化が考えられている。

• Coxeter rack

Coxeter rack は quandle の条件をみたさない rack の例であるが, ちょっと修正すれば quandle にできる。一般に, 任意の rack は quandle に変形することができる。

• rack と quandle の対応

このことも含めた, rack の代数的な構造については, pointed Hopf algebra との関係について調べた, Andruskiewitsch と Graña の [AG03] を読むのがよいと思う。 “Preliminaries” として, 基本的なことがまとめられているので便利である。 このように純粋に代数的に rack を調べるときには, まず基本となるのが, rack に associate した群である。

• rack の enveloping group
• rack の inner automorphism group
• rack の outer automorphism group

群に関係したものとしては, Crans と Wagemann [CW] による crossed module の rack への一般化がある。

• rack の crossed module

Andruskiewitsch と Graña が rack を調べた motivation は, finite pointed Hopf algebra の分類であるが, その問題は, 「有限単純群の分類の非可換版」 と考えることができるだろう。類似の問題として finite simple rack の分類問題が考えられるが, Andruskiewitsch と Graña は simple rack を定義し, finite simple rack を分類している。

• rack の extension
• simple rack

Hopf algebra の分類の視点からは, ある種の rack が重要となる。 Andruskiewitsch, Fantino, Garcia, Vendramin [And+] によると, pointed Hopf algebra の分類の視点からは, type D の rack が重要らしい。 Heckenberger と Lochmann と Vendramin [HLV] は, braided rack という構造を考えている。Quandle の一種なので, braided quandle と呼んだ方がよいと思うが。

Rack の (コ)ホモロジーは, Fenn と Rourke と Sanderson の preprint で, rack に associate した空間 (rack space) の(コ)ホモロジーとして定義された。 その内容は, [FRS07] としてarXivにある。

• rack space あるは rack の分類空間
• rackやquandleの (コ)ホモロジー

Rack の作用も色々考えられている。群の類似としては, 集合への作用がまず考えられる。Chang と Nelson [CN11] は, rack の作用を持つ集合を rack shadow と呼んでいる。 コホモロジーを考えるときには, 局所係数あるいは sheaf のようなものを考えないといけない。Jackson の [Jac05] などがある。Crossed module の類似としては, Crans と Wagemann [CW] で定義されているものがある。

群の表現がその group algebra の表現であることから, rack の加群への作用を 考えるときには, rack algebra を定義し, その表現を考えるのが, 一つの方法である。そのアイデアで rack や quandle から associative algebra を定義したものとして, Andruskiewitsch と Graña の [AG03] や Haas, Heckel, Nelson, Yuen, Zhang の [Haa+12] がある。 一方, rack の構造をそのまま線形化し, non-associative algebra を定義して いるのが, Bardakov, Passi, Singh の [BPS] である。 どちらを rack algebra と呼ぶべきなのだろうか。

Rack は分類空間を持つことから, 対象が一つの小圏が monoid, あるいはmonoidの “many-objectification” が小圏であるように, rack の many-objectification が何かというのは自然な疑問である。その解答は, Fenn と Rourke と Sanderson [FRS95] により与えられている。 Quiver に四角の oriented cycle の集合を指定しただけの, 非常に単純なものである。彼らはその分類空間も構成している。その構成では, simplicial set ではなく, degeneracy を持たない cubical set が使われている。

• trunk
• \(\Box \)-set
• trunk の分類空間

群に対しては, 位相を持った位相群があるので, rackや quandle に対しても topological rackや topological quandleが考えられていても不思議ではない。 実際, Rubinsztein の [Rub] や Elhamdadi と Moutuou の [EM] などがある。

• topological rack や topological quandle

もちろん, 位相空間の圏を他の monoidal categoryに変えることもできる。 例えば, coalgebraの圏 “rack object” が, Alexandre と Bordemann の [Ale+] で導入されている。 Coalgebra の圏での monoid object が bialgebra と呼ばれることから, 彼等はそのような構造を rack bialgebra と呼んでいる。

• rack bialgebra

References

[AG03]

Nicolás Andruskiewitsch and Matı́as Graña. “From racks to pointed Hopf algebras”. In: Adv. Math. 178.2 (2003), pp. 177–243. arXiv: math/0202084. url: http://dx.doi.org/10.1016/S0001-8708(02)00071-3.

[Ale+]

Charles Alexandre, Martin Bordemann, Salim Riviere, and Friedrich Wagemann. Structure theory of Rack-Bialgebras. arXiv: 1412.5907.

[And+]

N. Andruskiewitsch, F. Fantino, G. A. Garcia, and L. Vendramin. On Twisted homogeneous racks of type D. arXiv: 1007.1739.

[BPS]

Valeriy G. Bardakov, Inder Bir Singh Passi, and Mahender Singh. Quandle rings. arXiv: 1709.03069.

[Bri88]

E. Brieskorn. “Automorphic sets and braids and singularities”. In: Braids (Santa Cruz, CA, 1986). Vol. 78. Contemp. Math. Providence, RI: Amer. Math. Soc., 1988, pp. 45–115. url: http://dx.doi.org/10.1090/conm/078/975077.

[CN11]

Wesley Chang and Sam Nelson. “Rack shadows and their invariants”. In: J. Knot Theory Ramifications 20.9 (2011), pp. 1259–1269. arXiv: 0910.3002. url: https://doi.org/10.1142/S0218216511009315.

[CW]

Alissa S. Crans and Friedrich Wagemann. Crossed modules of racks. arXiv: 1310.4705.

[Eis14]

Michael Eisermann. “Yang-Baxter deformations and rack cohomology”. In: Trans. Amer. Math. Soc. 366.10 (2014), pp. 5113–5138. arXiv: 0808.0108. url: http://dx.doi.org/10.1090/S0002-9947-2014-05785-1.

[EM]

Mohamed Elhamdadi and El-kaïoum M. Moutuou. Foundations of topological racks and quandles. arXiv: 1506.00084.

[FRS07]

Roger Fenn, Colin Rourke, and Brian Sanderson. “The rack space”. In: Trans. Amer. Math. Soc. 359.2 (2007), pp. 701–740. arXiv: math/0304228. url: https://doi.org/10.1090/S0002-9947-06-03912-2.

[FRS95]

Roger Fenn, Colin Rourke, and Brian Sanderson. “Trunks and classifying spaces”. In: Appl. Categ. Structures 3.4 (1995), pp. 321–356. url: http://dx.doi.org/10.1007/BF00872903.

[Haa+12]

Aaron Haas, Garret Heckel, Sam Nelson, Jonah Yuen, and Qingcheng Zhang. “Rack module enhancements of counting invariants”. In: Osaka J. Math. 49.2 (2012), pp. 471–488. arXiv: 1008.0114. url: http://projecteuclid.org/euclid.ojm/1340197935.

[HLV]

I. Heckenberger, A. Lochmann, and L. Vendramin. Braided racks, Hurwitz actions and Nichols algebras with many cubic relations. arXiv: 1103.4526.

[Jac05]

Nicholas Jackson. “Extensions of racks and quandles”. In: Homology Homotopy Appl. 7.1 (2005), pp. 151–167. arXiv: math/0408040. url: http://projecteuclid.org/euclid.hha/1139839510.

[NW11]

Sam Nelson and Ryan Wieghard. “Link invariants from finite Coxeter racks”. In: J. Knot Theory Ramifications 20.9 (2011), pp. 1247–1257. arXiv: 0808.1584. url: https://doi.org/10.1142/S0218216511009273.

[Pei80]

C. S. Peirce. “On the Algebra of Logic”. In: Amer. J. Math. 3.1 (1880), pp. 15–57. url: https://doi.org/10.2307/2369442.

[Prz15]

Józef H. Przytycki. “Knots and distributive homology: from arc colorings to Yang-Baxter homology”. In: New ideas in low dimensional topology. Vol. 56. Ser. Knots Everything. World Sci. Publ., Hackensack, NJ, 2015, pp. 413–488. arXiv: 1409.7044. url: http://dx.doi.org/10.1142/9789814630627_0011.

[Rub]

Ryszard L. Rubinsztein. Topological Quandles and Invariants of Links. arXiv: math/0508536.