Presentations for small reflection equation algebras of type A

Juliet Cooke; Robert Laugwitz

REVIEW 3 major objections 5 minor 10 references

Presentations for small reflection equation algebras of type A

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves explicit finite presentations for the reflection equation algebras of type $GL_n$ and $SL_n$ at odd roots of unity, obtained by twisting the relations of the small quantum function algebras.

desk verdict Genuinely new presentation theorem for small RE algebras at roots of unity, but the integral-form claims rest on an unstated root extension and the ideal-twist correspondence is not proved. read the letter →

arxiv 2412.16004 v2 pith:UBQIOHF2 submitted 2024-12-20 math.QA math.CTmath.RA

Juliet Cooke , Robert Laugwitz This is my paper · ORCID

classification math.QAmath.CTmath.RA MSC 17B3716T0518M0518M15

keywords reflectionequationalgebrasmallquantumgroupfunctioncovariantizedHopfintegralformrootofunitypresentationsalgebrastypeA

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

At an odd root of unity $\epsilon$, the small quantum group $u_\epsilon(\mathfrak{g})$ has a finite-dimensional dual Hopf algebra—the small quantum function algebra $o_\epsilon(G)$—and applying the reflection-equation (covariantized) product to that dual gives a finite-dimensional algebra $b_\epsilon(G)$. The paper proves that for $G = GL_n$ and $SL_n$ this algebra is presented by the generators $u^k_l$ of the generic reflection equation algebra, the generic quadratic relations (4.6)–(4.9), and two extra families: off-diagonal generators are nilpotent of order $\ell$, and each diagonal generator obeys a unipotence relation summed over compositions of $\ell$ with coefficients $\sigma_\epsilon(\lambda)$ in $\mathbb{Z}[\epsilon,\epsilon^{-1}]$. The same generators and relations, with $\epsilon$ replaced by the generator of the cyclotomic integers, present the integral forms. This turns an abstractly defined coend into a concrete finite presentation, which is what would make the representation theory and braided tensor products of these algebras computationally accessible.

What carries the argument

The carrying mechanism is the twisting map $\Psi$ of (4.3): it fixes generators by $\Psi(x^i_j)=u^i_j$ and is extended to products through the braided, covariantized product formula (2.24). It converts the quadratic FRT relations of $O_q(M_n)$ into the generic reflection-equation relations (4.6)–(4.9), and converts the small-quantum-function relations $(x^k_l)^\ell=0$, $(x^k_k)^\ell=1$ into the nilpotence and unipotence relations (4.17)–(4.18). The unipotence conversion is organised by compositions: for each $\lambda\vDash\ell$ there is a scalar $\sigma_\epsilon(\lambda)\in\mathbb{Z}[\epsilon,\epsilon^{-1}]$ defined by a product of factors $(1-\epsilon^{-2m})$, and an index set $V^k(\lambda)$ that forces the entries of each monomial to return to $k$ only at positions prescribed by the parts of $\lambda$. Lemma 4.14 provides the recursion making $\sigma_\epsilon(\lambda)$ integral, and Proposition 4.26 carries out the induction identifying the twisted diagonal relation with the composition sum.

What would settle it

For $n=3$, $\ell=3$, form the algebra presented by (4.6)–(4.9) with $(u^k_l)^{\cdot 3}=0$ and the relation (4.23) for $k=1,2,3$, and compute its dimension over $\mathbb{C}$; if it is not $3^9$ for $GL_3$ (or $3^8$ after imposing $\det_\epsilon(3)=1$), the presentation over- or under-generates. Checking (4.23) for $k=2$ directly, where the terms $u^2_1 u^1_2 u^2_2$, $u^2_2 u^2_1 u^1_2$, and $u^2_1 u^1_1 u^1_2$ appear, would already test the twisted unipotence identity.

Watch

Extended reading notes

Core claim

The central result, Theorem 4.15, states that for a primitive $\ell$-th root of unity $\epsilon$ with $\ell$ odd, the small reflection equation algebra $b_\epsilon(GL_n)$ — the covariantized algebra of the small quantum function algebra $o_\epsilon(GL_n)$ — is generated by the $u^k_l$ ($1\le k,l\le n$) subject to the generic relations (4.6)–(4.9), the nilpotence relations $(u^k_l)^{\cdot\ell}=0$ for $k\neq l$, and the unipotence relations $\sum_{\lambda\vDash \ell} \sigma_\epsilon(\lambda)\sum_{\beta\in V^k(\lambda)} u^{\beta_1}_{\beta_2}\cdot\ldots\cdot u^{\beta_\ell}_{\beta_{\ell+1}}=1$. The algebra $b_\epsilon(SL_n)$ is the quotient of $b_\epsilon(GL_n)$ by the single relation $\det_\epsilon(n)=1$. The proof twists the known presentation of $o_\epsilon(G)$ by the map that sends $x^i_j$ to $u^i_j$; the nilpotence relations twist cleanly to (4.17), and the relation $(x^k_k)^\ell=1$ twists to the displayed sum over compositions via an induction whose coefficients are the recursively defined $\sigma_\epsilon(\lambda)$. The same presentation, with $\epsilon$ replaced by $\nu\in \mathcal{O}$, is asserted for the integral forms $b^{\mathrm{int}}_\nu(GL_n)$ and $b^{\mathrm{int}}_\nu(SL_n)$.

Load-bearing premise

The argument needs the twisting construction, which uses the dual R-matrix with its $q^{\pm 1/n}$ factors, to be an isomorphism over the chosen ring and to send the defining relations of the small quantum function algebra exactly to relations (4.17)–(4.19).

Editorial extensions

If this is right

$b_\epsilon(GL_n)$ has dimension $\ell^{n^2}$ and $b_\epsilon(SL_n)$ has dimension $\ell^{n^2-1}$, so the presentations describe the finite-dimensional quotients explicitly.
Replacing $\epsilon$ by the cyclotomic generator $\nu$ gives presentations of the integral forms $b^{\mathrm{int}}_\nu(GL_n)$ and $b^{\mathrm{int}}_\nu(SL_n)$ over $\mathcal{O}=\mathbb{Z}[\nu]$.
The single relation $\det_\epsilon(n)=1$ cuts $b_\epsilon(GL_n)$ down to $b_\epsilon(SL_n)$, and the determinant is central by Theorem 4.5.
For small values, the unipotence relation is explicit: when $k=1$ it is simply $(u^1_1)^{\cdot\ell}=1$, and for $n=2$ it collapses to the monomial formula of Corollary 4.19; Equation (4.23) displays the full relation for $\ell=3$.
The explicit presentations give a route to concrete module computations over braided tensor products of copies of $b_\epsilon$, the paper's stated motivation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Not stated in the paper, the composition-indexed form of (4.18) suggests a normal-form strategy: with a degree-lexicographic order the leading term of each unipotence relation is $(u^k_k)^{\cdot\ell}$, so a Gröbner-style basis for $b_\epsilon(GL_n)$ could be built from the generic relations plus these reductions, providing a direct combinatorial proof of the dimension.
Not stated in the paper, the fractional powers $q^{\pm 1/n}$ in the dual R-matrix (4.1) hint that the natural integral version of the twisting map may require a ring slightly larger than $\mathbb{Z}[q,q^{-1}]$; checking well-definedness over the cyclotomic integers would settle whether the integral presentation is minimal.
Not stated in the paper, the same twisting scheme should apply to other Lie types once the small quantum function algebra relations are known; the composition formula here would then appear as the type-A case of a more general factorisation identity.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

First thing to know: the main theorem, Theorem 4.15, is a genuinely new presentation for the small reflection equation algebras b_epsilon(GL_n) and b_epsilon(SL_n) at odd roots of unity, and the combinatorial formula for the twisted unipotence relation (4.18) is the real new ingredient. I think the theorem is very likely correct over C, and the detailed twist computations in Section 4.3 support it. People working on RE algebras, factorization homology, or small quantum group invariants will want this.

What it does well: it extends the generic-q presentations to the root-of-unity quotients by twisting the known relations for o_epsilon(G), and it gives a clean, explicit formula for the non-obvious diagonal relation. The authors are honest about relying on [Tak92, Lus90, JW20], and I do not see circularity. The proofs of Propositions 4.23 and 4.26 are detailed, and the n=2, l=3,5 examples are useful sanity checks.

The soft spots, in order of seriousness. First, the integral-form story as written does not go through. Equation (4.1) defines the dual R-matrix with a q^{-1/n} factor, which is not in I=Z[q,q^{-1}]. So the covariantized algebra Bint_q(M_n) of Definition 4.1 is not an I-algebra via that pairing, and "bint_nu(GL_n)" as a plain O-algebra in Remark 4.17 is not justified. You may be able to save it by defining the integral form via the presentation and then checking base change, or by working over Z[q^{±1/n}], but neither is said. The stress-test example (l=5, n=3, epsilon^{1/3} not in Q(zeta_5)) hits exactly this. Second, the proof of Theorem 4.15 needs the fact that the twist of the defining Hopf ideal of o_epsilon(G) is the ideal generated by (4.17)-(4.19) in the covariantized algebra. The paper never states this as a lemma; it is asserted in the proof by referencing the twist computations. For experts this is probably a standard cocycle-twist fact, but as written it is a gap. Third, minor: the claim that Psi is an isomorphism of free modules over I is repeated, but the map is only well-defined after fixing the root extension.

Overall: the central theorem over C is solid and worth publishing; the integral-form and ideal-correspondence gaps are fixable and should be fixed before the paper is final. I would recommend sending it to a serious referee with a request to focus on these two points.

Referee Report

3 major / 5 minor

Summary. This paper gives explicit finite presentations for the small reflection equation algebras b_epsilon(GLn) and b_epsilon(SLn) at an odd root of unity epsilon, expressing them as quotients of the infinite-dimensional reflection equation algebras by nilpotence and unipotence relations. The proof is based on a twisting map from the small quantum function algebra, with the coefficients in the extra relations given by an explicit combinatorial formula involving compositions; the determinant relation is imported from Jordan-White. The paper also surveys the categorical constructions of FRT and reflection equation algebras and includes an appendix on cocompletions of tensor categories.

Significance. If the main theorem is correct, it provides a complete finite presentation of the small reflection equation algebras of type A, which would be a useful tool for explicit module computations and for studying integral forms over cyclotomic integers. The combinatorial formula for the unipotence relations is explicit, and the derivations of Propositions 4.23 and 4.26 are detailed. The argument is not circular: it relies on known presentations of the small quantum function algebras from Takeuchi and Lusztig and on the generic reflection equation algebra results of Jordan-White. However, the base-ring problem with q^{±1/n} in the dual R-matrix and the missing ideal-correspondence lemma mean that both the integral-form claims and, as written, even the full presentation over C require additional justification.

major comments (3)

[§4.1, Eq. (4.1)] The dual R-matrix in Eq. (4.1) and its inverse in Eq. (4.2) contain q^{-1/n} and q^{1/n}, which are not elements of I = Z[q,q^{-1}]. Definition 4.1 nonetheless defines B^int_q(M_n) as the covariantized algebra of the I-Hopf algebra O^int_q(M_n), while Definition 2.18 requires a dual R-matrix with values in the base ring. Consequently, the braided product is not defined over I unless one first passes to an explicit ring extension such as Z[q^{±1/n}], and no such extension is introduced. This affects Lemma 4.2, the proofs of Propositions 4.23 and 4.26, and especially Remark 4.17. The n = 2,3 examples show that the fractional powers cancel in those cases, but no general cancellation lemma is proved. The integral-form claims are therefore unsupported as stated; please state the required base ring extension and prove that the final relations are defined over I or O.
[§4.2, proof of Theorem 4.15] The proof of Theorem 4.15 shows, via Propositions 4.23 and 4.26, that the images under twisting of the defining relations (3.11) of o_epsilon(GL_n) are exactly the relations (4.17)–(4.18). What is not shown is that twisting is compatible with taking the quotient: one needs a lemma that the kernel of the canonical map from the covariantized algebra B_epsilon(GL_n) to b_epsilon(GL_n) is the ideal generated by the twisted relations. Since the twisting map Ψ is only a linear isomorphism and not an algebra homomorphism, this is not automatic, and no spanning or dimension argument is supplied to replace it. Without this step the presentation is not fully established even over C.
[§4.3, Proposition 4.23] In the proof of Proposition 4.23, the factors q^{N(1/n-1)} and q^{N(-1/n+1)} are cancelled, and similar fractional powers appear in the proofs of Propositions 4.24 and 4.26. These cancellations take place in an unspecified extension of the base ring, and over I the intermediate expressions are not defined. Thus the statement that the equality holds in B^int_q(M_n) is technically false as written. This is a concrete manifestation of the base-ring issue raised in the first major comment and should be repaired by either working throughout over an explicit extension and then proving descent, or by proving a direct cancellation lemma.

minor comments (5)

[§4.2, Definition 4.10] There is a typo: 'cylotomic integers' should be 'cyclotomic integers'.
[§4.2, Remark 4.17] Remark 4.17 asserts that replacing epsilon by nu gives presentations of the integral forms over O, but this is a consequence of the missing base-ring and cancellation arguments and should either be proved or explicitly labelled as conditional on those arguments.
[§4.3, Lemma 4.14] The definition of sigma_q(lambda) as a quotient in (4.16) has denominators that can vanish after specialization to a root of unity; the proof that sigma_q(lambda) lies in I justifies the specialization, but this point is not stated explicitly and could be clarified for the reader.
[§4.3, Proposition 4.26] In the proof of Proposition 4.26, the induction base treats N = 2 and the induction step starts with N ≥ 3; the statement itself says 'for all integers N ≥ 2', which is correct but could be worded more consistently with the proof.
[§2 and Appendix A] The text contains several typographical issues, including 'the the category', 'FR T algebra', and inconsistent spacing in 'T heorem'; these should be corrected in a final polish.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the presentation is obtained by twisting an independently sourced presentation of the small quantum function algebra, with all new formulas proved by direct computation.

full rationale

The derivation chain in the paper is not circular. The starting point is the known presentation of the small quantum function algebra oϵ(GLn) from Definition 3.16 and Lemma 3.17, which is attributed to Takeuchi [Tak92] and Parshall–Wang [PW91]. The reflection equation algebra bϵ(GLn) is then defined as the covariantized algebra of oϵ(GLn) via Definition 2.18 and Definition 4.10, so obtaining a presentation for bϵ(GLn) legitimately amounts to twisting the relations of oϵ(GLn). All nontrivial twisting computations are carried out in Propositions 4.22, 4.23, 4.24, 4.25, and 4.26, using the explicit dual R-matrix (4.1) from Majid [Maj00]. The combinatorial coefficients σq(λ) are not fitted inputs: they are defined by an explicit rational expression in (4.16) and proved to lie in I = Z[q,q^{-1}] by the recursion in Lemma 4.14. The unipotence relation (4.18) is the output of Proposition 4.26, not an assumption used to define the coefficients. The quantum determinant relation (4.19) is imported from Jordan–White [JW20], an external source. The only reference with author overlap is [LWY25], cited in the introduction for the universal comodule algebra property of the reflection equation algebra; that statement is not used in the proof of Theorem 4.15 and is not load-bearing. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to force the presented relations. A separate reviewer concern that the dual R-matrix (4.1) contains q^{±1/n}, which is not in I, is a base-ring gap rather than a circularity; it does not make the main derivation equivalent to its inputs. Therefore no circular step meeting the required standard is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No fitted parameters appear; the paper is a pure algebra presentation theorem. The central claim rests on the four external standard results above and two structural assumptions. The fifth and sixth axioms are the fragile ones: the twisted-ideal correspondence is unproved as a lemma, and the R-matrix normalization conflicts with the stated integral base ring. No invented entities are introduced.

assumptions (6)

standard math Takeuchi non-degenerate pairings identify O_q^int(GLn), O_q^int(SLn) with FRT algebras for U_q^int(gln), U_q^int(sln).
Used in Proposition 3.20 and Corollaries 3.21-3.24 to identify the abstract FRT algebra A_C with the concrete quantum function algebras whose relations are twisted in Section 4.
standard math Lusztig's presentation of small quantum groups u_ϵ(gln), u_ϵ(sln), with kernel generated by E_α^ℓ, F_α^ℓ, J_j^ℓ - 1 or K_j^ℓ - 1.
Used in Section 3.1 to define the small quantum groups and, by duality, the small quantum function algebras o_ϵ(GL_n) and o_ϵ(SL_n).
standard math Generic reflection equation algebra B_q(M_n) has the presentation (4.6)-(4.9) from [JW20, DL05].
The paper re-derives this presentation in Lemma 4.2 by twisting quadratic FRT relations and then uses it as the base for Theorem 4.15.
standard math Jordan-White formula (4.14) gives the quantum determinant det_q(n) inside B_q(M_n).
Used in Theorem 4.5 and Corollary 4.6 to define the GL_n localization and the SL_n quotient relation (4.19).
domain assumption Twisting by the 2-cocycle R_13 R_23 sends the Hopf ideal defining o_ϵ(G) to the ideal of the reflection algebra generated by the twisted relations.
This is the load-bearing structural premise of the proof of Theorem 4.15; the paper does not isolate it as a lemma, so presentation completeness depends on it.
domain assumption The dual R-matrix (4.1) is a valid pairing over the base ring used for integral forms.
Eq. (4.1) contains q^{-1/n} and q^{1/n}, which are not in I = Z[q, q^{-1}]; the paper does not state the ring extension needed for B^int_q(M_n) or the descent to O = Z[ν].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Presentations for small reflection equation algebras of type A." pith.science (2026). https://pith.science/paper/UBQIOHF2

@misc{pith2026241216004,
  author       = {Pith},
  title        = {Pith review of: Presentations for small reflection equation algebras of type A},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UBQIOHF2}},
  note         = {Machine review of arXiv:2412.16004}
}

abstract

We give presentations, in terms of the generators and relations, for the reflection equation algebras of type $GL_n$ and $SL_n$, i.e., the covariantized algebras of the dual Hopf algebras of the small quantum groups of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$. Our presentations display these algebras as quotients of the infinite-dimensional reflection equation algebras of types $GL_n$ and $SL_n$ by identifying additional relations that correspond to twisting the nilpotency and unipotency relations of the finite-dimensional quantum function algebras. The presentations are valid for appropriately defined integral forms of these algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1982]

Kolb, Braided module categories via quantum symmetric pairs, Proc

[Kol20] S. Kolb, Braided module categories via quantum symmetric pairs, Proc. Lond. Math. Soc. (3) 121 (2020), no. 1, 1–31. [KS09] S. Kolb and J. V. Stokman, Reflection equation algebras, coideal subalgebras, and their centres, Selecta Math. (N.S.) 15 (2009), no. 4, 621–664. [KS92] P. P. Kulish and E. K. Sklyanin, Algebraic structures related to reflectio...

work page 2020
[1992]

Takeuchi, Some topics on GLq(n), J

[Tak92] M. Takeuchi, Some topics on GLq(n), J. Algebra 147 (1992), no. 2, 379–410. [TV17] V. Turaev and A. Virelizier, Monoidal categories and topological field theory , Progress in Mathematics, vol. 322, Birkh¨ auser/Springer, Cham,

work page 1992
[1994]

Brandenburg, A

[BCJF15] M. Brandenburg, A. Chirvasitu, and T. Johnson-Freyd, Reflexivity and dualizability in categorified linear algebra, Theory Appl. Categ. 30 (2015), Paper No. 23, 808–835. [BD68] I. Bucur and A. Deleanu, Introduction to the theory of categories and functors , Pure and Applied Mathematics, Vol. XIX, John Wiley & Sons, Ltd., London-New York- Sydney,

work page 2015
[1995]

Majid, Braided groups, J

[Maj93] S. Majid, Braided groups, J. Pure Appl. Algebra 86 (1993), no. 2, 187–221. [PW91] B. Parshall and J. P. Wang, Quantum linear groups , Mem. Amer. Math. Soc. 89 (1991), no

work page 1993
[1996]

Jordan and N

[JW20] D. Jordan and N. White, The center of the reflection equation algebra via quantum minors, J. Algebra 542 (2020), 308–342. [Kel82a] G. M. Kelly, Structures defined by finite limits in the enriched context. I , Cahiers Topologie G´ eom. Diff´ erentielle23 (1982), no. 1, 3–42. Third Colloquium on Cate- gories, Part VI (Amiens, 1980). [Kel82b] G. M. Ke...

work page 2020
[1997]

[Kul96] P. P. Kulish, Yang-Baxter equation and reflection equations in integrable models , Low-dimensional models in statistical physics and quantum field theory (Schladming, 1995), 1996, pp. 125–144. [Len69] H. Lenzing, Endlich pr¨ asentierbare Moduln, Arch. Math. (Basel) 20 (1969), 262–266. [LM94] V. Lyubashenko and S. Majid, Braided groups and quantum ...

work page Pith review arXiv 1969
[2002]

Ben-Zvi, A

[BZBJ18a] D. Ben-Zvi, A. Brochier, and D. Jordan, Integrating quantum groups over surfaces , J. Topol. 11 (2018), no. 4, 874–917. [BZBJ18b] D. Ben-Zvi, A. Brochier, and D. Jordan, Quantum character varieties and braided module categories, Selecta Math. (N.S.) 24 (2018), no. 5, 4711–4748. [Che84] I. V. Cherednik, Factorizing particles on a half line, and r...

work page 2018
[2014]

[RTF89] N. Yu. Reshetikhin, L. A. Takhtadzhyan, and L. D. Faddeev, Quantization of Lie groups and Lie algebras , Algebra i Analiz 1 (1989), no. 1, 178–206. 46 J. COOKE AND R. LAUGWITZ [Sch92] P. Schauenburg, Tannaka duality for arbitrary Hopf algebras , Algebra Berichte, vol. 66, Verlag Reinhard Fischer, Munich,

work page 1989

Show all 10 references

[2015]

[FRT88] L. D. Faddeev, N. Yu. Reshetikhin, and L. A. Takhtajan, Quantization of Lie groups and Lie algebras , Algebraic analysis, Vol. I, 1988, pp. 129–139. [FS17] J. Fuchs and C. Schweigert, Coends in conformal field theory , Lie algebras, vertex operator algebras, and relate...

1988
[2017]

[Zha03] R. B. Zhang, Howe duality and the quantum general linear group, Proc. Amer. Math. Soc. 131 (2003), no. 9, 2681–2692. School of Mathematical Sciences, University of Nottingham, University Park, Not- tingham, NG7 2RD, UK Email address : robert.laugwitz@nottingham.ac.uk

2003

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1982]

Kolb, Braided module categories via quantum symmetric pairs, Proc

[Kol20] S. Kolb, Braided module categories via quantum symmetric pairs, Proc. Lond. Math. Soc. (3) 121 (2020), no. 1, 1–31. [KS09] S. Kolb and J. V. Stokman, Reflection equation algebras, coideal subalgebras, and their centres, Selecta Math. (N.S.) 15 (2009), no. 4, 621–664. [KS92] P. P. Kulish and E. K. Sklyanin, Algebraic structures related to reflectio...

work page 2020

[2] [1992]

Takeuchi, Some topics on GLq(n), J

[Tak92] M. Takeuchi, Some topics on GLq(n), J. Algebra 147 (1992), no. 2, 379–410. [TV17] V. Turaev and A. Virelizier, Monoidal categories and topological field theory , Progress in Mathematics, vol. 322, Birkh¨ auser/Springer, Cham,

work page 1992

[3] [1994]

Brandenburg, A

[BCJF15] M. Brandenburg, A. Chirvasitu, and T. Johnson-Freyd, Reflexivity and dualizability in categorified linear algebra, Theory Appl. Categ. 30 (2015), Paper No. 23, 808–835. [BD68] I. Bucur and A. Deleanu, Introduction to the theory of categories and functors , Pure and Applied Mathematics, Vol. XIX, John Wiley & Sons, Ltd., London-New York- Sydney,

work page 2015

[4] [1995]

Majid, Braided groups, J

[Maj93] S. Majid, Braided groups, J. Pure Appl. Algebra 86 (1993), no. 2, 187–221. [PW91] B. Parshall and J. P. Wang, Quantum linear groups , Mem. Amer. Math. Soc. 89 (1991), no

work page 1993

[5] [1996]

Jordan and N

[JW20] D. Jordan and N. White, The center of the reflection equation algebra via quantum minors, J. Algebra 542 (2020), 308–342. [Kel82a] G. M. Kelly, Structures defined by finite limits in the enriched context. I , Cahiers Topologie G´ eom. Diff´ erentielle23 (1982), no. 1, 3–42. Third Colloquium on Cate- gories, Part VI (Amiens, 1980). [Kel82b] G. M. Ke...

work page 2020

[6] [1997]

[Kul96] P. P. Kulish, Yang-Baxter equation and reflection equations in integrable models , Low-dimensional models in statistical physics and quantum field theory (Schladming, 1995), 1996, pp. 125–144. [Len69] H. Lenzing, Endlich pr¨ asentierbare Moduln, Arch. Math. (Basel) 20 (1969), 262–266. [LM94] V. Lyubashenko and S. Majid, Braided groups and quantum ...

work page Pith review arXiv 1969

[7] [2002]

Ben-Zvi, A

[BZBJ18a] D. Ben-Zvi, A. Brochier, and D. Jordan, Integrating quantum groups over surfaces , J. Topol. 11 (2018), no. 4, 874–917. [BZBJ18b] D. Ben-Zvi, A. Brochier, and D. Jordan, Quantum character varieties and braided module categories, Selecta Math. (N.S.) 24 (2018), no. 5, 4711–4748. [Che84] I. V. Cherednik, Factorizing particles on a half line, and r...

work page 2018

[8] [2014]

[RTF89] N. Yu. Reshetikhin, L. A. Takhtadzhyan, and L. D. Faddeev, Quantization of Lie groups and Lie algebras , Algebra i Analiz 1 (1989), no. 1, 178–206. 46 J. COOKE AND R. LAUGWITZ [Sch92] P. Schauenburg, Tannaka duality for arbitrary Hopf algebras , Algebra Berichte, vol. 66, Verlag Reinhard Fischer, Munich,

work page 1989