On the structure and representations of quantum graph algebras at roots of unity

Matthieu Faitg; Philippe Roche; St\'ephane Baseilhac

REVIEW 2 major objections 4 minor 1 cited by

On the structure and representations of quantum graph algebras at roots of unity

T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read Quantum graph algebras specialized at odd roots of unity are shown to have central localizations that are central simple algebras, with exact PI degrees controlling all irreducible representation dimensions.

desk verdict Strong results on PI degrees of root-of-unity graph algebras, but injectivity of the modified Alekseev morphism rests on a sketched filtration in App. C. read the letter →

arxiv 2601.08789 v2 pith:ZHWQ4ZTC submitted 2026-01-13 math.QA math.RAmath.RT

Stéphane Baseilhac , Matthieu Faitg , Philippe Roche This is my paper · ORCID

classification math.QAmath.RAmath.RT MSC 17B3720G4216T20

keywords quantumgraphalgebrasrootsofunitycentralsimplePIdegreesmallgroupmomentmapAlekseevmorphismcharactervarieties

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

The paper studies the specialization of quantum graph algebras at odd roots of unity. It proves that both the full algebra and its subalgebra of elements invariant under a small quantum group are domains whose central localizations are central simple algebras, and it computes their PI degrees exactly. These numbers bound the largest possible dimension of any irreducible representation, so the result pins down the representation theory of these algebras. A sympathetic reader would care because these algebras quantize character varieties and appear in non-semisimple topological quantum field theories.

What carries the argument

The argument is carried by a modified Alekseev morphism bPhi^epsilon_{g,n} that intertwines the quantum moment map with the representation theory of the small quantum group, together with the double centralizer theorem. Injectivity of bPhi^epsilon_{g,n} makes L^epsilon_{g,n} a domain, and the quantum moment map identifies the invariant subalgebra L^{u^epsilon}_{g,n} as the centralizer of a subalgebra in L^epsilon_{g,n}, which allows the PI degree to be computed from the center of L^epsilon_{g,n}.

What would settle it

For the smallest case g=sl_2 and l=3, compute Phi^epsilon_{1,0} on a non-zero element of a highest weight space and check whether the leading-term coefficient in the Appendix C filtration is indeed non-zero; a zero leading term would produce an element in the kernel, collapsing the domain and PI-degree results.

Watch

Extended reading notes

Core claim

For a root of unity of odd order, the specialized graph algebra L^epsilon_{g,n} is a free module of rank l^{(2g+n)dim(g)} over its central subalgebra Z_0, and its central localization Q(L^epsilon_{g,n}) is a division algebra, central simple of PI degree l^{g·dim(g)+nN}, where N is the number of positive roots. For the invariant subalgebra L^{u^epsilon}_{g,n}, the central localization is central simple of PI degree l^{g·dim(g)+N(n-1)-m} when (g,n) is not (0,1). From the theory of PI rings, every simple module has dimension at most this degree, every central character arises from some simple module, and generic central characters admit a unique simple module of exactly this dimension.

Load-bearing premise

The entire structure theorem rests on the injectivity of the modified Alekseev morphism, and in particular on the base case Phi^epsilon_{1,0}, whose proof in Appendix C relies on a weight-space filtration that is asserted rather than fully proved.

Editorial extensions

If this is right

Irreducible representations of L^epsilon_{g,n} and L^{u^epsilon}_{g,n} have dimension bounded by the respective PI degrees, and the bound is attained exactly on the complement of the discriminant variety.
The centers of both algebras are integrally closed Noetherian rings, described by the subalgebras Z_0 and Z_1, and they coincide with the trace rings of the algebras.
The projection to the graph algebra of the small quantum group makes L^epsilon_{g,n} a central extension of the endomorphism algebra of a TQFT state space, so the representation-theoretic results transfer to that setting.
The PI-degree formula covers all simply-connected complex semi-simple groups uniformly, without needing a presentation of the algebra by generators and relations.

Reading between the lines

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

If the same framework is extended to roots of unity beyond the odd, coprime-to-D case (which the paper flags as future work), the central-simplicity and PI-degree structure would plausibly survive, though the small quantum group would no longer be factorizable and new arguments would be needed.
Because the center equals the trace ring, these algebras are likely maximal orders over their centers; verifying this would complete the description of their noncommutative algebraic geometry.
The compatibility of the central extension with the mapping class group action suggests the PI-degree results could be made equivariant, leading to a refined picture of the action on irreducible representations.

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

Bottom line: this paper proves the expected PI-degree formulas for root-of-unity specializations of quantum graph algebras L^ε_{g,n} and their small-quantum-group invariants L^{u^ε}_{g,n} for all simple types and all (g,n), describes the centers, and shows freeness over the Frobenius center. If the proofs hold, these are the definitive structural results in the area. The main new engine is a modified Alekseev morphism Φ̂^ε_{g,n} into an extended Heisenberg double Ĥ, plus a centralizer theorem (Th 5.13) identifying L^{u^ε}_{g,n} as the centralizer of the quantum moment map. The architecture is coherent and the paper is unusually upfront about its dependencies and deferred proofs.

The soft spot is exactly where you'd expect: everything downstream of injectivity of Φ̂^ε_{g,n} (Prop 5.9). That reduces to two base cases: Φ^ε_{0,1}, imported from [12], and Φ^ε_{1,0}, handled in App. C. The latter is one paragraph: it says the weight-space decomposition O_ε = ⊕_{μ,ν} _μ(O_ε)_ν specializes from the A-form, and then uses it to get the leading-term filtration. No proof is given that this decomposition is a direct sum after specialization, nor that the leading coefficients are nonzero on each weight space. If that decomposition fails, the filtration collapses, and with it the domain property and the PI-degree computations. The reader's stress test flags this, and I think the flag is fair. The rest of the paper's dependencies—on [12] for the (0,1) base case and on [14] for generic-q structure—are standard and clearly cited.

That said, I don't read this as a fatal flaw. The step is probably fixable with a more careful argument (Lusztig's canonical basis should control the specialized weights), but it is a genuine gap in the current version, not a cosmetic one. A referee should ask for a complete proof of App. C before signing off on Th 5.24 and 5.28.

Who is this for? People working on skein algebras, non-semisimple TQFT state spaces, and quantum group invariants. It deserves a serious referee. I would send it out, with the explicit request that the referee verify App. C and the reduction to [12, Cor. 2.25]. If the gap is closed, it's an acceptance; if not, it's a major revision.

Referee Report

2 major / 4 minor

Summary. The paper studies the specialization L^ε_{g,n} at odd roots of unity ε of the quantum graph algebras associated to a simply-connected complex semisimple group G and an oriented surface Σ°_{g,n} of genus g with n punctures and one boundary component. The main structural claims are: (i) L^ε_{g,n} is a free module of rank l^{(2g+n) dim(g)} over the central subalgebra Z_0(L^ε_{g,n}) ≅ O(G)^{⊗(2g+n)}; (ii) the central localization Q(L^ε_{g,n}) is a division algebra and a central simple algebra of PI-degree l^{g dim(g)+nN}; (iii) the analogous statement for the invariant subalgebra L^{u^ε}_{g,n} under the small quantum group u^ε has PI-degree l^{g dim(g)+(n-1)N-m} for (g,n)≠(0,1); (iv) the centers Z(L^ε_{g,n}) and Z(L^{u^ε}_{g,n}) are integrally closed, Noetherian, and are described by explicit multiplication isomorphisms. The proofs use a modified Alekseev morphism \widehatΦ^ε_{g,n}, the quantum moment map, factorizability of u^ε, and a reduction to classical invariant theory. The representation-theoretic consequences via PI-ring theory are also drawn: simple modules have dimension at most the PI-degree, every central character is realized, and generic central characters have a unique simple module of maximal dimension.

Significance. If the structural theorems are correct, this is a substantial and uniform advance: it extends the root-of-unity structure theory of quantum graph algebras to all simple Lie types and to punctured surfaces, giving explicit PI-degrees, freeness ranks, and center descriptions, with applications to stated skein algebras and non-semisimple TQFTs. The paper is careful and mostly transparent: it provides machine-checkable algebraic constructions (the modified Heisenberg double and modified Alekseev morphism are defined and proved within the paper), gives explicit formulas for ranks and PI-degrees, and isolates the dependence on prior results. However, one load-bearing point—the injectivity of the modified Alekseev morphism—rests on an appendix that is too terse and, as stated, contains a questionable weight-space decomposition. The gap is localized and appears repairable, but it must be fixed before the main theorems can be considered fully established.

major comments (2)

[Appendix C, leading-term formula] The decomposition O_ε = ⊕_{μ,ν∈P} _μ(O_ε)_ν, with _μ(O_ε)_ν defined by specializing (157), is not a direct sum as stated. In Γ^Q_ε one has K_i^l = 1 (eq. (86)), so the operators in (157) distinguish only μ,ν modulo lP; the eigenspaces for μ and μ+lϖ coincide. This affects the injectivity of Φ^ε_{1,0} and hence of \widehatΦ^ε_{g,n} (Prop. 5.9), which is used for the domain property (Prop. 5.21), the centralizer theorem (Th. 5.13), and the PI-degree computations (Th. 5.24, Th. 5.28). A repair is possible by defining _μ(O_ε)_ν as the image of the A-weight space (via the canonical basis of O_A), which gives a genuine direct-sum decomposition, or by replacing P with P/lP and adapting the filtration argument. As written, the proof is incomplete and the statement is misleading.
[Appendix C, leading-term formula] The claimed formula Φ^ε_{1,0}(β⊗1) = ε^{(λ,σ)} β⊗K_{λ+σ} + (lower terms) is asserted without proof. In the generic case this follows from explicit commutation relations in the Heisenberg double; after specialization one must verify that the lower terms are strictly ordered with respect to a well-founded order and that the leading coefficient cannot vanish. The collapse of weight spaces modulo lP makes this a nontrivial check, not a verbatim adaptation of [14, Th. 3.13]. Please supply a complete argument or a precise reference covering the specialized setting.

minor comments (4)

[Eq. (157)] The notation (K_i; l)_{q_i} is retained while the text says the equations are specialized; please specify the specialized operators and their eigenvalue formulas to avoid ambiguity.
[Prop. C.1] Once the index set is understood modulo lP, the phrase 'maximal for the order ≤' needs justification: the order must be shown to be well-founded on the relevant finite set and that no terms above the chosen maximal index can appear in the expansion.
[Appendix D] The proof of Cor. D.1 is very brief; if the filtration T is not fully described in the final version, a complete definition or a precise reference to [14, Prop. 5.7] with the modifications needed at the root of unity would help the reader.
[Th. 5.24] The subalgebra \hatZ_0(L^ε_{g,n}) is introduced in mid-proof; a displayed definition before the theorem would improve readability.

Circularity Check

1 steps flagged · score 4.0 of 10

Load-bearing rank in the PI-degree computation is imported from a same-group citation whose proof the authors admit uses a result proved in the present paper.

self citation load bearing [Theorem 5.24 proof, around eq. (130), footnote 8]
"it is known that [Q(Ẑ0(L^ϵ_{0,1})) : Q(Z0(L^ϵ_{0,1}))] = l^m by [12, Rmk. 5.3]^8 ... The proof of [12, Th. 5.2], which is used in [12, Rmk. 5.3], implicitly uses Cor. A.3 of the present paper."

The upper bound in (131) needs the lower bound [Q(Z(L^ϵ_{g,n})):Q(Z0(L^ϵ_{g,n}))] ≥ l^{mn}, which is obtained by taking the l^m rank of Ẑ0 over Z0 for L^ϵ_{0,1} from [12, Rmk. 5.3]. The footnote concedes that the proof of the cited [12] result implicitly uses Cor. A.3 of the present paper. Thus the cited 'known' rank is not an independent external input at the point of use: its justification passes through a result proved in this same paper. This is a load-bearing self-citation chain. It is not a formal logical loop because Cor. A.3 is proved independently in Appendix A, and the center theorem in §6 later provides an alternative route to the same rank via [32]/[30]; hence the central claim still has independent content, but the derivation as written reduces this specific step to a self-cit

full rationale

The central structural theorems — domain property, centralizer theorem, PI-degree computations, and center descriptions — are new and are built on constructions (the modified Alekseev morphism Φ̂, the hat-Heisenberg double, the quantum moment map) that are defined and proved inside the paper. The main numerical inputs (O_ϵ free over Z_0(O_ϵ) of rank l^{dim g}, factorizability of u^Q_ϵ, classical De Concini–Kac–Procesi center results) come from external quantum-group literature or classical invariant theory, and they do not themselves presuppose the target theorems. The only genuinely load-bearing same-group citation that is not fully external at the point of use is the rank [Q(Ẑ0):Q(Z0)] = l^m imported from [12, Rmk. 5.3], whose proof the paper admits depends on its own Cor. A.3. Since Cor. A.3 is independently proved in Appendix A, this is a self-citation/dependency issue rather than a collapse of the derivation into its inputs. Appendix C's asserted weight-space decomposition O_ϵ = ⊕_{μ,ν} _μ(O_ϵ)_ν is a proof gap (the direct-sum property after specialization is asserted rather than demonstrated), but it is a correctness risk, not a circularity: the decomposition is not defined in terms of the theorem it is used to prove. Overall, the paper's claims do not reduce to their inputs by construction; the circularity score is moderate because of the load-bearing self-citation, not because the main theorems are tautological.

Assumptions & free parameters 0 free parameters · 9 assumptions · 2 invented entities

The paper contributes the architectural proof; it pulls many load-bearing facts from prior published work, including the same group's [11, 12, 14]. There are no fitted free parameters: l, N, m, dim(g) are structural constants of the input data (the Lie type, surface, and root of unity). The main new constructions (Ĥ, Φ̂) are justified internally rather than postulated ad hoc. The heaviest external imports are the DKP center structure, Lyubashenko factorizability, and the geometric freeness/normality results.

assumptions (9)

domain assumption Restriction to odd-order roots of unity: l odd, gcd(l,D)=1, gcd(l,3)=1 for type G_2 (§2.2, eq. (84))
All main theorems are stated under this restriction; specialization of q_D to arbitrary Dl-th roots is deferred to a future appendix (Remark 1.1). This is a disclosed scope limitation, not a hidden postulate.
domain assumption Injectivity of the specialized morphism Φ^ϵ_{0,1} (imported from [12, Cor. 2.25])
Used in Props. 5.9 and 5.27 to bootstrap injectivity of the modified Alekseev morphism and of the quantum moment map; not reproved in this paper.
domain assumption Base case g=0: PI degrees and freeness for L^ϵ_{0,n} from [12, Th. 4.9, 5.2, 5.4]
The g=0 results are inputs to the rank computations (e.g., via Lemma 5.23 tensor products of fraction fields) and serve as the benchmark for the general case.
domain assumption Rank formula [Q(Ẑ_0(L^ϵ_{0,1})) : Q(Z_0(L^ϵ_{0,1}))] = l^m ([12, Rmk. 5.3])
Load-bearing for the upper bound on the PI-degree in Thm 5.24, eq. (130). Footnote 8 notes its proof implicitly uses Cor. A.3 of the present paper — an honest, acyclic dependency, but one where the paper validates part of its own input.
domain assumption De Concini–Kac–Procesi structure of the center Z(U^P_ϵ): Z_0 ⊗_{Z_0∩Z_1} Z_1 ≅ Z(U^P_ϵ), and freeness of Z_1 over Z_0∩Z_1 of rank l^m ([30, §6], [32, §21])
Used in Lemma 6.2, Prop. 6.4 and Th. 6.1 as the classical model to which the graph-algebra center is reduced via Φ^ϵ_{0,1}.
domain assumption Lyubashenko's factorizability of the small quantum group u^Q_ϵ for odd l ([56, Cor. A.3.3])
Used in Prop. 5.22 to construct the irreducible L_{g,n}(u^Q_ϵ)-module of dimension l^{g·dim(g)+nN}, providing the lower bound on the PI-degree.
standard math Every element of a connected semisimple algebraic group over an algebraically closed field is a commutator ([64])
Used in Prop. 5.27(2) to prove injectivity of the classical quantum moment map d^cl_{g,n}, the 'reduction to classical' step.
standard math Geometric inputs: O(G) free over O(G)^G (Richardson [66]); K_0(G^{×(2g+n)}) computation (Marlin [59]) and Bass cancellation (Cor. 6.5)
Used in Cor. 6.5 to promote the centers from projective to free Z_0-modules and to compute their ranks l^{mn} and l^{m(n+1)}.
standard math Lusztig's canonical basis and perfect pairing O_A × Ú_A → A ([54])
Basis of the proof of non-degeneracy of the specialized pairing ⟨·,·⟩^P_ϵ (Lemma 4.8, App. B) and of the weight decomposition used in App. C for injectivity of Φ^ϵ_{1,0}.

invented entities (2)

Extended Heisenberg double Ĥ_q (and its root-of-unity specialization Ĥ_ϵ)
purpose: Adds elements ĥ for all h ∈ U^P_q (not only h ∈ U′_q), so that a 'hat' version D̂_{g,n} of the iterated coproduct exists and the quantum-moment-map diagram commutes (§5.2, Definition 5.4).
Internal construction justified by in-paper proofs (Prop. 5.5: module-algebra structure and injectivity; Prop. 5.12: compatibility with the QMM). Not an empirical entity; introduced to remove a genuine obstruction flagged in Remark 3.12.
Modified Alekseev morphism Φ̂^ϵ_{g,n}
purpose: Injective morphism L^ϵ_{g,n} → Ĥ^{⊗g}_ϵ ⊗ (U^P_ϵ)^{⊗n} compatible with the quantum moment map; backbone of the domain property, the centralizer theorem (Th. 5.13) and the PI-degree computations.
A constructed map with proved properties (Props. 5.5, 5.9, 5.12), not a postulated mechanism. Its injectivity is the paper's weakest assumption.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the structure and representations of quantum graph algebras at roots of unity." pith.science (2026). https://pith.science/paper/ZHWQ4ZTC

@misc{pith2026260108789,
  author       = {Pith},
  title        = {Pith review of: On the structure and representations of quantum graph algebras at roots of unity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZHWQ4ZTC}},
  note         = {Machine review of arXiv:2601.08789}
}

abstract

We study the specializations $\mathcal{L}_{g,n}^\epsilon$ at roots of unity $\epsilon$ of odd order of the graph algebras, associated to a simply-connected complex semi-simple algebraic group $G$ and a compact oriented surface $\Sigma_{g,n}^{\circ}$ with genus $g$, $n$ punctures, and one boundary component. We prove that the central localizations of $\mathcal{L}_{g,n}^\epsilon$ and of its subalgebra $\mathcal{L}_{g,n}^{u_\epsilon}$ of invariant elements under the coadjoint action of a small quantum group, are central simple algebras of PI degrees that we compute. Also, we describe their centers, and show they are integrally closed rings.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Central extensions of mapping class groups of surfaces from stated skein algebras
math.QA 2026-06 unverdicted novelty 5.0 of 10

Computes the central extension of the mapping class group of a surface from the projective representation of its stated skein algebra with a factorizable ribbon Hopf algebra via a purely two-dimensional proof.

Reference graph

Works this paper leans on

71 extracted references · 1 canonical work pages · cited by 1 Pith paper

[12]

Baseilhac, P

S. Baseilhac, P. Roche,Unrestricted Quantum Moduli Algebras, II: Noetherianity and simple fraction rings at roots of1, SIGMA 20 (2024), paper no. 47

2024
[14]

Baseilhac, M.Faitg, P

S. Baseilhac, M.Faitg, P. Roche,Noetherian and affine properties of quantum moduli andg-skein algebras, Quantum Topol., published online first (2025), DOI 10.4171/QT/245

work page doi:10.4171/qt/245 2025
[1]

A. Yu. Alekseev,Integrability in the Hamiltonian Chern-Simons theory, Alg. i Anal. 6(2) (1994) 53–66

1994
[2]

A. Yu. Alekseev, H. Grosse, V. Schomerus,Combinatorial quantization of the Hamiltonian Chern-Simons theory I, Comm. Math. Phys. 172 (1995), 317–358

1995
[3]

A. Yu. Alekseev, H. Grosse, V. Schomerus,Combinatorial quantization of the Hamiltonian Chern-Simons theory II, Comm. Math. Phys. 174 (1996), 561–604

1996
[4]

A. Yu. Alekseev, V. Schomerus,Representation theory of Chern–Simons observables, Duke Math. J. 85 (1996), 447–510

1996
[5]

Andersen, J

H.H. Andersen, J. Paradowski,Fusion Categories Arising from Semisimple Lie Algebras, Commun. Math. Phys. 169 (1995), 563–588

1995
[6]

Andruskiewitsch, J

N. Andruskiewitsch, J. Devoto,Extensions of Hopf algebras, Algebra i Analiz (1) 7(1995) 22–61

1995

Show all 71 references

[7]

Andruskiewitsch, A

N. Andruskiewitsch, A. Garc ´ ıa G,Quantum subgroups of a simple quantum group at roots of oneCom- positio Math. 145(2) (2009), 476-500

2009
[8]

Artin,Non Commutative Rings, MIT class notes, http://www-math.mit.edu/∼etingof/18.706.html

M. Artin,Non Commutative Rings, MIT class notes, http://www-math.mit.edu/∼etingof/18.706.html
[9]

Arkhipov, D

S. Arkhipov, D. Gaitsgory,Another realization of the category of modules over the small quantum group, Adv. Math. 173(1) (2003), 114–143

2003
[10]

M. F. Atiyah, I.G. MacDonald,Introduction to Commutative Algebra, Addison-Wesley (1969)

1969
[11]

Baseilhac, P

S. Baseilhac, P. Roche,Unrestricted Quantum Moduli Algebras, I: The Case of Punctured Spheres, SIGMA 18 (2022), paper no 25

2022
[13]

Baseilhac, M

S. Baseilhac, M. Faitg, P. Roche,Knot maps in quantum moduli algebras, in preparation
[15]

Baumann,Another proof of Joseph and Letzter’s separation of variables theorem for quantum groups, Transf

P. Baumann,Another proof of Joseph and Letzter’s separation of variables theorem for quantum groups, Transf. Groups 5(1) (2000) 3–20

2000
[16]

Baumann,On the Center of Quantized Enveloping Algebras, J

P. Baumann,On the Center of Quantized Enveloping Algebras, J. Alg. 203 (1) (1998) 244–260

1998
[17]

Beliakova, M

A. Beliakova, M. De Renzi,Kerler–Lyubashenko Functors on 4-Dimensional 2-Handlebodies, Int. Math. Res. Not. IMRN 2024 (2024), no. 13, 10005–10080

2024
[18]

Bourbaki,Groupes et Alg` ebres de Lie, Chapitres 4 ` a 6, Springer, 1981

N. Bourbaki,Groupes et Alg` ebres de Lie, Chapitres 4 ` a 6, Springer, 1981

1981
[19]

K. A. Brown,Representation theory of Noetherian Hopf algebras satisfying a polynomial identity, in Trends in the representation theory of finite dimensional algebras, Contemp .Math. 229 (1998), 46–79 QUANTUM GRAPH ALGEBRAS AT ROOTS OF UNITY 71

1998
[20]

K. A. Brown, K. R. Goodearl,Lectures on algebraic quantum groups, Advanced Courses in Mathematics, CRM Barcelona, Birkha¨ user Verlag, Basel (2002)

2002
[21]

K. A. Brown, I. Gordon,Poisson orders, symplectic reflection algebras and representation theory, Journal f¨ ur die reine und angewandte Mathematik, vol. 2003, no. 559, 2003, pp. 193-216

2003
[22]

K. A. Brown, M.T. Yakimov,Azumaya loci and discriminant ideals of PI algebras, Adv. in Math. 340 (2018) 1219–1255

2018
[23]

K. A. Brown, I. Gordon, J. T. Stafford,O ϵ[G]is a free module overO[G],arXiv:math.QA/0007179(2000)

2000
[24]

Buffenoir, P

E. Buffenoir, P. Roche,Two dimensional lattice gauge theory based on a quantum group, Comm. Math. Phys. 170 (1995), 669–698

1995
[25]

Buffenoir, P

E. Buffenoir, P. Roche,Link invariants and combinatorial quantization of hamiltonian Chern Simons theory, Comm. Math. Phys. 181 (1996), 331–365

1996
[26]

Chari, A

V. Chari, A. Pressley,A Guide To Quantum Groups, Cambridge Univ. Press (1994)

1994
[27]

Cooke, R

J. Cooke, R. Laugwitz,Presentations for small reflection algebras of type A, J. Algebra 682 (2025), 131–187

2025
[28]

Costantino, M

F. Costantino, M. Faitg,Braided categories of bimodules from stated skein TQFTs, arXiv:2505.16909, 62 pages (2025)

2025
[29]

De Concini, V

C. De Concini, V. Kac,Representations of quantum groups at roots of 1, Colloque Dixmier 1989, Birkh¨ auser, Progr. in Math. 92 (1990), 471–506

1989
[30]

De Concini, V

C. De Concini, V. Kac, C. Procesi,Quantum coadjoint action, J. Amer. Math. Soc. 5 (1992) 151–189

1992
[31]

De Concini, V

C. De Concini, V. Lyubashenko,Quantum function algebra at roots of 1, Adv. Math. 108(2) (1994), 205–262

1994
[32]

De Concini, C

C. De Concini, C. Procesi,Quantum groups, inD-modules, representation theory and quantum groups (Venice, 1992), Springer-Verlag Lect. Notes Math. Vol. 1565 (1993), 31–140

1992
[33]

Dixmier,Envelopping Algebras, AMS Grad

J. Dixmier,Envelopping Algebras, AMS Grad. Studies Math. 11 (1996)

1996
[34]

Enriquez,Le centre des alg` ebres de coordonn´ ees des groupes quantiques aux racinespα-i` emes de l’unit´ e, Bull

B. Enriquez,Le centre des alg` ebres de coordonn´ ees des groupes quantiques aux racinespα-i` emes de l’unit´ e, Bull. Soc. Math. France 122(4) (1994), 443–485

1994
[35]

Etingof, O

P. Etingof, O. Golberg, S. Hensel, T. Liu, A. Schwendner, D. Vaintrob, E.Yudovina,Introduction to representation theory, AMS Student Math. Library 59 (2011)

2011
[36]

Faitg,Mapping class groups, skein algebras and combinatorial quantization, PhD thesis, Universit´ e de Montpellier (2019), arXiv:1910.04110

M. Faitg,Mapping class groups, skein algebras and combinatorial quantization, PhD thesis, Universit´ e de Montpellier (2019), arXiv:1910.04110

2019 arXiv
[37]

Faitg,Modular group representations in combinatorial quantization with non-semisimple Hopf algebras, SIGMA 15 (2019), 077, 39 pages

M. Faitg,Modular group representations in combinatorial quantization with non-semisimple Hopf algebras, SIGMA 15 (2019), 077, 39 pages

2019
[38]

Faitg,Projective representations of mapping class groups in combinatorial quantization, Comm

M. Faitg,Projective representations of mapping class groups in combinatorial quantization, Comm. Math. Phys. 377 (2020), 161–198

2020
[39]

Faitg,Holonomy and (stated) skein algebras in combinatorial quantization, Quantum Topol

M. Faitg,Holonomy and (stated) skein algebras in combinatorial quantization, Quantum Topol. 16 (2025), 1–73

2025
[40]

V. V. Fock, A. A. Rosly,Poisson structure on moduli of flat connections on Riemann surfaces andr- matrix, preprint ITEP-72-92 (1992), arXiv:math/9802054v2

1992 arXiv
[41]

Frohman, J

C. Frohman, J. Kania-Bartoszynska, T. Lˆ e,Unicity for representations of the Kauffman bracket skein algebra, Invent. Math. 215 (2019) 609–650

2019
[42]

S. A. Frolov,The center of the graph and moduli algebras at roots of 1, Comm. Math. Phys. 200 (1999), 599–619

1999
[43]

Ganev, D

I. Ganev, D. Jordan, P. Safronov,The quantum Frobenius for character varieties and multiplicative quiver varieties, J. Eur. Math. Soc. 27 (2025), no. 7, pp. 3023–3084

2025
[44]

J. E. Humphreys,Introduction to Lie Algebras and Representation Theory, 3rd edition, Springer Verlag, Grad. Texts Math. 9 (1973)

1973
[45]

Jordan,Quantum character varieties, Encyclopedia of Mathematical Physics (2nd edition, 2025), Vol

D. Jordan,Quantum character varieties, Encyclopedia of Mathematical Physics (2nd edition, 2025), Vol. 3, 635–647. arXiv: 2309.06543 (2023)

2025 arXiv
[46]

Joseph,Quantum Groups and their Primitive Ideals, Springer, Ergebn

A. Joseph,Quantum Groups and their Primitive Ideals, Springer, Ergebn. Math. Grenz. 3 (29) (1995)

1995
[47]

Joseph, G

A. Joseph, G. Letzter,Local finiteness of the adjoint action for quantized enveloping algebras, J. Algebra 153, 289–318 (1992)

1992
[48]

Karuo, J

H. Karuo, J. Korinman,Azumaya loci of skein algebras, to appear in Trans. Amer. Math. Soc. ArXiv:2211.13700

arXiv
[49]

Karuo, Z

H. Karuo, Z. Wang,Center of statedSL(n)-skein algebras, to appear in Trans. Amer. Math. Soc. arXiv:2408.12520
[50]

Kerler, V

T. Kerler, V. V. Lyubashenko,Non-Semisimple Topological Quantum Field Theories for 3-Manifolds with Corners, Springer Lect. Notes Math. 1765 (2001). 72 ST ´EPHANE BASEILHAC, MATTHIEU F AITG, PHILIPPE ROCHE

2001
[51]

Classical Groups and Related Topics, Beijing, 1987

G. Lusztig,Modular representations of quantum groups, in “Classical Groups and Related Topics, Beijing, 1987”, A.J. Hahn, D.G. James & Zhe Xian Wan (eds), Contemp. Math. 82, AMS, Providence, RI (1989) 59–77

1987
[52]

Lusztig,Finite-dimensional Hopf algebras arising from quantized, universal enveloping algebras, J

G. Lusztig,Finite-dimensional Hopf algebras arising from quantized, universal enveloping algebras, J. Amer. Math. Soc. 3 (1990) 257–296

1990
[53]

LusztigQuantum groups at roots of1, Geom

G. LusztigQuantum groups at roots of1, Geom. Dedicata 35 (1990) 89–113 ,

1990
[54]

Lusztig,Introduction To Quantum Groups, Birkha¨ user, Prog

G. Lusztig,Introduction To Quantum Groups, Birkha¨ user, Prog. in Math. 110 (1993)

1993
[55]

Lusztig,Study of aZ-form of the coordinate ring of a reductive group, Journal Amer

G. Lusztig,Study of aZ-form of the coordinate ring of a reductive group, Journal Amer. Math. Soc. Vol. 22 (3) (2009) 739–69

2009
[56]

Lyubashenko,Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity, Comm

V. Lyubashenko,Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity, Comm. Math. Phys. 172 (1995) 467–516

1995
[57]

Majid,Braided groups, J

S. Majid,Braided groups, J. Pure App. Alg. 86 (1993) 187–221

1993
[58]

Majid,Foundations of Quantum Group Theory, Cambridge University Press, 1995

S. Majid,Foundations of Quantum Group Theory, Cambridge University Press, 1995

1995
[59]

Marlin,Anneaux de Grothendieck des vari´ et´ es de drapeaux, Bull

R. Marlin,Anneaux de Grothendieck des vari´ et´ es de drapeaux, Bull. Soc. Math. France 104 (1976) 337–348

1976
[60]

Matsumura,Commutative Ring Theory, Cambridge Stud

H. Matsumura,Commutative Ring Theory, Cambridge Stud. Adv. Math. 8, Cambridge Univ. Press (1987)

1987
[61]

J. C. McConnell, J. C. Robson,Noncommutative Noetherian Rings, 2nd edition, AMS Grad. Stud. Math. 30 (2001)

2001
[62]

Montgomery,Hopf algebras and their actions on rings, CBMS Regional Conference Series in Mathe- matics, Vol

S. Montgomery,Hopf algebras and their actions on rings, CBMS Regional Conference Series in Mathe- matics, Vol. 82, Amer. Math. Soc., Providence, RI (1993)

1993
[63]

Radford,On Kauffman ’s knot invariants arising from finite dimensional Hopf algebras, Advances in Hopf Algebras, Lecture Notes in Pure and Appl

D.E. Radford,On Kauffman ’s knot invariants arising from finite dimensional Hopf algebras, Advances in Hopf Algebras, Lecture Notes in Pure and Appl. Math. 158, Marcel Dekker, 205–266 (1994)

1994
[64]

Ree, Commutators in semi-simple algebraic groups, Proc

R. Ree, Commutators in semi-simple algebraic groups, Proc. Amer. Math. Soc. Vol. 15, No. 3 (1964), 457–460

1964
[65]

Reiner,Maximal Orders, LMS Monographs 5, Academic Press (1975)

I. Reiner,Maximal Orders, LMS Monographs 5, Academic Press (1975)

1975
[66]

R. W. Richardson,The conjugating representation of a semisimple group, Invent. Math. 54 (1979) 229–245

1979
[67]

Roche, A

P. Roche, A. Szenes,Trace functionals on noncommutative deformations of moduli spaces of flat connec- tions, Adv. Math. 168 (2002) 133–192

2002
[68]

Rowen,Ring Theory, Student Edition, Academic Press (1991) [69]Commutative Algebra, The Stack project

L. Rowen,Ring Theory, Student Edition, Academic Press (1991) [69]Commutative Algebra, The Stack project. Available at https://stacks.math.columbia.edu/tag/00AO [70]Brauer groups, The Stack project. Available at https://stacks.math.columbia.edu/browse

1991
[71]

Steinberg,Regular elements of semisimple algebraic groups, Publ

R. Steinberg,Regular elements of semisimple algebraic groups, Publ. Math. I.H. ´E.S. tome 25 (1965) 49–80

1965
[72]

Van DaeleMultiplier Hopf algebras, Trans

A. Van DaeleMultiplier Hopf algebras, Trans. Amer. Math. Soc. 342 (2) (1994) 917–932

1994
[73]

Voigt, R

C. Voigt, R. Yuncken,Complex Semisimple Quantum Groups and Representation Theory, Lecture Notes in Mathematics 2264, Springer (2020)

2020

Pith tools

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

[1] [12]

Baseilhac, P

S. Baseilhac, P. Roche,Unrestricted Quantum Moduli Algebras, II: Noetherianity and simple fraction rings at roots of1, SIGMA 20 (2024), paper no. 47

2024

[2] [14]

Baseilhac, M.Faitg, P

S. Baseilhac, M.Faitg, P. Roche,Noetherian and affine properties of quantum moduli andg-skein algebras, Quantum Topol., published online first (2025), DOI 10.4171/QT/245

work page doi:10.4171/qt/245 2025

[3] [1]

A. Yu. Alekseev,Integrability in the Hamiltonian Chern-Simons theory, Alg. i Anal. 6(2) (1994) 53–66

1994

[4] [2]

A. Yu. Alekseev, H. Grosse, V. Schomerus,Combinatorial quantization of the Hamiltonian Chern-Simons theory I, Comm. Math. Phys. 172 (1995), 317–358

1995

[5] [3]

A. Yu. Alekseev, H. Grosse, V. Schomerus,Combinatorial quantization of the Hamiltonian Chern-Simons theory II, Comm. Math. Phys. 174 (1996), 561–604

1996

[6] [4]

A. Yu. Alekseev, V. Schomerus,Representation theory of Chern–Simons observables, Duke Math. J. 85 (1996), 447–510

1996

[7] [5]

Andersen, J

H.H. Andersen, J. Paradowski,Fusion Categories Arising from Semisimple Lie Algebras, Commun. Math. Phys. 169 (1995), 563–588

1995

[8] [6]

Andruskiewitsch, J

N. Andruskiewitsch, J. Devoto,Extensions of Hopf algebras, Algebra i Analiz (1) 7(1995) 22–61

1995