pith. sign in

arxiv: 2405.14727 · v4 · submitted 2024-05-23 · 🧮 math.GT · math-ph· math.MP· math.QA

Quantized Geodesic Lengths for Teichm\"uller Spaces: Algebraic Aspects

Pith reviewed 2026-05-24 01:05 UTC · model grok-4.3

classification 🧮 math.GT math-phmath.MPmath.QA
keywords Teichmüller spacequantum trace mapsmonodromy tracesquantized geodesic lengthsmodular functor conjectureChekhov-Fock theoryLiouville theoryconformal blocks
0
0 comments X

The pith

Quantized trace-of-monodromy operators satisfy Teschner's recursion and strongly commute for disjoint loops.

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

The paper develops a direct approach to the modified modular functor conjecture for Liouville theory by working entirely within the Chekhov-Fock quantum Teichmüller theory. It defines quantized trace-of-monodromy operators along simple loops using the Bonahon-Wong quantum trace maps and verifies two algebraic properties: the operators obey a recursion relation previously employed by Teschner, and operators associated to disjoint loops commute in a strong sense. These verifications are presented as necessary steps toward constructing quantized geodesic length operators that realize the conjecture without combining the Chekhov-Fock and Kashaev quantizations. If the operators behave as required, the resulting algebraic structure would supply the quantized lengths needed for spaces of conformal blocks.

Core claim

We construct quantized trace-of-monodromy along simple loops via Bonahon and Wong's quantum trace maps developed in 2010's, and investigate algebraic structures of them, which will eventually lead to construction and properties of quantized geodesic length operators. We show that a special recursion relation used by Teschner is satisfied by the quantized trace-of-monodromy, and that the quantized trace-of-monodromy for disjoint loops commute in a certain strong sense.

What carries the argument

Quantized trace-of-monodromy along simple loops, built from Bonahon-Wong quantum trace maps on the Chekhov-Fock quantum Teichmüller space

If this is right

  • The operators supply the quantized geodesic length functions needed for the modified modular functor conjecture.
  • Strong commutation for disjoint loops ensures that the quantized lengths can be treated as simultaneously measurable observables.
  • The recursion relation permits inductive construction of the operators on surfaces of increasing complexity.
  • The algebraic structures match the requirements for a consistent quantization of the length spectrum without reference to the Kashaev version.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The verified commutation and recursion may allow the length operators to be simultaneously diagonalized, producing a natural basis for the Hilbert space of conformal blocks.
  • If the construction extends to all simple loops, the resulting operators could furnish an explicit realization of the modular functor on higher-genus surfaces directly from the Chekhov-Fock algebra.
  • The same algebraic checks might be repeated for other quantum trace constructions to compare different quantizations of the same surface.
  • A natural next computation would be the action of these operators on the quantum Teichmüller space for a four-punctured sphere, where the recursion can be checked by hand.

Load-bearing premise

The Bonahon-Wong quantum trace maps extend without obstruction to define operators whose algebraic properties match those required by the modified modular functor conjecture in the Chekhov-Fock setting.

What would settle it

An explicit matrix representation of the quantized trace operator on the once-punctured torus in which the recursion relation fails to hold for a chosen simple loop.

Figures

Figures reproduced from arXiv: 2405.14727 by Hyun Kyu Kim.

Figure 1
Figure 1. Figure 1: Framing and spiraling direction at a funnel end for puncture p. In particular, when i, j are not self-folded arcs, we have εij = aij − aji. The following proposition is about the promised special coordinate systems on T +(S). Proposition 2.10 (Thurston [58], Fock [14]). Let S = Σ\P be a triangulable punctured surface. Let ∆ be an ideal triangulation of S. For each ideal arc i ∈ ∆, there exists a function X… view at source ↗
Figure 2
Figure 2. Figure 2: Kauffman triple of framed links. algebra S t (S). A traditional definition uses A as a quantum parameter, where we put A = t −2 for later notational convenience. We suggest that the following version of the skein algebra is what would fit Verlinde’s sug￾gestion [60] and the modular functor conjecture [15, 21]. Definition 2.31 ([4, 23]). Let S = Σ\P be a triangulable punctured surface. Let ⃗l = (lp)p∈P ∈ (R… view at source ↗
Figure 3
Figure 3. Figure 3: Non-admissible juncture-states on a loop segment. respect to ∆ (Definition 2.37). Let Kγ be a constant elevation lift of γ in S × I with upward vertical framing. Suppose that the following non-redundancy condition holds: Z J ̸= Z J ′ (2.18) (i.e., vJ ̸= vJ′) whenever J and J ′ are distinct admissible juncture-states. Then the quantized trace-of-monodromy f ω [γ],∆ = Trω ∆([Kγ]) ∈ Zω ∆ (Definition 2.34) is … view at source ↗
Figure 4
Figure 4. Figure 4: Oriented loop segments that are left turns. Proposition 4.2 (quantized trace-of-monodromy for a peripheral loop). Let S be a triangulable marked surface. If γ is a peripheral loop around a puncture (Definition 2.3), then for any ideal triangulation ∆ of (S), one has f ω [γ],∆ = Zvγ + Z−vγ = ezvγ + e−zvγ , where the total intersection element vγ = vγ;∆ ∈ N∆ is defined in Definition 4.1. Proof . This is well… view at source ↗
Figure 5
Figure 5. Figure 5: Loops in one-holed torus subsurface. Remark 4.16. In (TR2), we specified the value of ⟨v1, v2⟩. In our analytic arguments in [36], we will only need this value to be any nonzero integer. To remind the reader again, the notion of Teschner triple of loops will be used in upcoming subsections to investigate the property of the quantized trace-of-monodromy for the case (L6), and also in the next section to stu… view at source ↗
Figure 6
Figure 6. Figure 6: Minimal-marked one-holed surface (Σ′ ,P ′ ) of higher genus g ≥ 2. hole ○1 ○2 ○3 ○4 ○5 ○6 ○7 ○8 ○9 ○10 ○11 ○12 ○N N−1 7○′ ○8 ○9 ○10 ○11 ○12 ○13 12○′ ○N N−1 N−2 γ 1○′ 2○′ η (η 7○′ ) ζ σ a1 b1 a1 b1 a2 b2 ag−1 b2 a2 bg−1 ag−1 bg−1 ag bg ag bg p1 p2 p3 p4 p6 p7 p8 p4(g−2)+3 p4(g−1)+2 p5 (g − 1)-th handle 2nd handle · · · first handle last handle sphere-body c2 d2 e2 cg−1 eg−1 dg−1 cg dg eg c1 d1 c ′ 1 f2 fg−1… view at source ↗
Figure 7
Figure 7. Figure 7: One-holed surface (Σ′ ,P ′ ) of genus g ≥ 2, as quotient of 4g-gon, with an ideal triangulation ∆′ ; this picture shows the case g = 4. in (Σ′ ,P ′ ) as in [PITH_FULL_IMAGE:figures/full_fig_p043_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Separating loops ζi and ϑi (2 ≤ i ≤ g) in a minimal-marked one-holed surface (Σ′ ,P ′ ) of higher genus g ≥ 2. g + 1 ≥ 2. The ideal triangulation ∆′ induces an ideal triangulation ∆′′ of S′′. Note that the two boundary arcs η1 and η2 of ∆′ (corresponding to ξ1 and ξ2, respectively) now get identified with each other and become an internal arc of ∆′′, say η ′′. Notice conversely that any ideal triangulation… view at source ↗
Figure 9
Figure 9. Figure 9: One-holed surface (Σ′ ,P ′ ) of genus g ≥ 2, as quotient of 4g-gon, with an ideal triangulation ∆′ i , together with loops γ, ζi , ϑi ; this picture shows the case g = 5. Note kj = i + 9 + 11(j − 2) for j = 2, . . . , g. Fix any i ∈ {2, . . . , g}. We introduce an oriented loop ϑi in S′ as depicted in [PITH_FULL_IMAGE:figures/full_fig_p056_9.png] view at source ↗
read the original abstract

In 1980's H. Verlinde suggested to construct and use a quantization of Teichm\"uller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's and later by Fock, Goncharov and Shen, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichm\"uller theory. In 2000's, Teschner combined the Chekhov-Fock version and the Kashaev version of quantum Teichm\"uller theory to construct a solution to a modified form of the conjecture. We embark on a direct approach to the conjecture based on the Chekhov-Fock(-Goncharov) theory. We construct quantized trace-of-monodromy along simple loops via Bonahon and Wong's quantum trace maps developed in 2010's, and investigate algebraic structures of them, which will eventually lead to construction and properties of quantized geodesic length operators. We show that a special recursion relation used by Teschner is satisfied by the quantized trace-of-monodromy, and that the quantized trace-of-monodromy for disjoint loops commute in a certain strong sense.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript constructs quantized trace-of-monodromy operators along simple loops in Teichmüller spaces via the Bonahon-Wong quantum trace maps in the Chekhov-Fock algebra. It verifies that these operators satisfy a recursion relation employed by Teschner and that the operators for disjoint loops commute in a strong sense. These algebraic properties are developed as steps toward a direct approach to the modified modular functor conjecture in the Chekhov-Fock-Goncharov setting.

Significance. If the verifications hold, the work supplies explicit algebraic checks of recursion and strong commutation inside the Chekhov-Fock algebra, providing concrete support for extending Bonahon-Wong maps to quantized geodesic length operators without combining Kashaev and Chekhov-Fock versions. This narrows the gap between the quantum trace construction and the requirements of the modular functor conjecture.

minor comments (3)
  1. The abstract states the two main verifications but does not indicate the precise statements (e.g., which recursion or which notion of strong commutation) that are proved; adding a sentence with the theorem numbers would improve readability.
  2. Section introducing the quantized trace-of-monodromy should explicitly recall the definition of the Bonahon-Wong maps (including the relevant skein relations or quantum parameters) before stating the extension to the Chekhov-Fock setting.
  3. The commutation statement for disjoint loops would benefit from a short comparison table or remark contrasting the strong commutation proved here with the weaker commutation relations already known in the literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The referee's description of the manuscript's contributions is accurate. No specific major comments appear in the provided report, so we have no individual points requiring point-by-point rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs quantized trace-of-monodromy operators from the external Bonahon-Wong quantum trace maps (prior independent work) and performs direct algebraic verifications that these operators satisfy Teschner's recursion relation and strong commutation for disjoint loops. No step reduces by definition, fitted parameter, or self-citation chain to the target claims; the verifications are presented as explicit checks inside the Chekhov-Fock algebra. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the prior existence and properties of the Chekhov-Fock quantum Teichmüller theory and the Bonahon-Wong quantum trace maps; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Quantum trace maps of Bonahon-Wong can be applied to define quantized trace-of-monodromy operators on Teichmüller space
    Invoked in the construction paragraph of the abstract.
  • domain assumption The Chekhov-Fock quantization provides a consistent algebraic framework in which the recursion and commutation statements make sense
    Background assumption stated in the opening historical summary.

pith-pipeline@v0.9.0 · 5753 in / 1449 out tokens · 32725 ms · 2026-05-24T01:05:18.702714+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Monomial web basis for the SL(N) skein algebra of the twice punctured sphere

    math.GT 2024-07 unverdicted novelty 5.0

    SL(n) skein algebra of the twice punctured sphere is a commutative polynomial algebra in n-1 explicit crossing-free web generators for generic q.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages · cited by 1 Pith paper · 14 internal anchors

  1. [1]

    The geometry of cluster varieties from surfaces

    Allegretti D.G.L., The geometry of cluster varieties from surfaces, Ph.D. Thesis, Yale University, 2016, arXiv:1606.07788

  2. [2]

    Allegretti D.G.L., Bridgeland T., The monodromy of meromorphic projective structures,Trans. Amer. Math. Soc.373(2020), 6321–6367, arXiv:1802.02505

  3. [3]

    A duality map for quantum cluster varieties from surfaces

    Allegretti D.G.L., Kim H.K., A duality map for quantum cluster varieties from surfaces,Adv. Math.306 (2017), 1164–1208, arXiv:1509.01567

  4. [4]

    Allegretti D.G.L., Shan P., Skein algebras and quantized Coulomb branches, arXiv:2401.06737

  5. [5]

    A., Lectures on tensor categories and modular functors,Univ

    Bakalov B., Kirillov Jr. A., Lectures on tensor categories and modular functors,Univ. Lecture Ser., Vol. 21, American Mathematical Society, Providence, RI, 2001

  6. [6]

    Barnes E.W., Theory of the double gamma function,Phil. Trans. R. Soc. Lond.196(1901), 265–388

  7. [7]

    Topol.11(2007), 889–937, arXiv:math.GT/0407086

    Bonahon F., Liu X., Representations of the quantum Teichm¨ uller space and invariants of surface diffeomor- phisms,Geom. Topol.11(2007), 889–937, arXiv:math.GT/0407086

  8. [8]

    Quantum traces for representations of surface groups in SL_2

    Bonahon F., Wong H., Quantum traces for representations of surface groups in SL 2(C),Geom. Topol.15 (2011), 1569–1615, arXiv:1003.5250

  9. [9]

    Z.231(1999), 91–101

    Bullock D., A finite set of generators for the Kauffman bracket skein algebra,Math. Z.231(1999), 91–101

  10. [10]

    Cho S.Y., Kim H., Kim H.K., Oh D., Laurent positivity of quantized canonical bases for quantum cluster varieties from surfaces,Comm. Math. Phys.373(2020), 655–705, arXiv:1710.06217

  11. [11]

    Appl., Vol

    Cohn P.M., Skew fields: Theory of general division rings,Encyclopedia Math. Appl., Vol. 57, Cambridge University Press, Cambridge, 1995

  12. [12]

    Faddeev L.D., Discrete Heisenberg–Weyl group and modular group,Lett. Math. Phys.34(1995), 249–254, arXiv:hep-th/9504111

  13. [13]

    Faddeev L.D., Kashaev R.M., Quantum dilogarithm,Modern Phys. Lett. A9(1994), 427–434, arXiv:hep- th/9310070

  14. [14]

    Fock V.V., Description of moduli space of projective structures via fat graphs, arXiv:hep-th/9312193

  15. [15]

    Fock V.V., Dual Teichm¨ uller spaces, arXiv:dg-ga/9702018

  16. [16]

    and Math

    Fock V.V., Chekhov L.O., A quantum Teichm¨ uller space,Teoret. and Math. Phys.120(1999), 1245–1259

  17. [17]

    Steklov Inst

    Fock V.V., Chekhov L.O., Quantum modular transformations, the pentagon relation, and geodesics,Proc. Steklov Inst. Math.226(1999), 149–163

  18. [18]

    Math., Vol

    Fock V.V., Goncharov A.B., ClusterX-varieties, amalgamation, and Poisson–Lie groups, in Algebraic Geometry and Number Theory,Progr. Math., Vol. 253, Birkh¨ auser, Boston, MA, 2006, 27–68. 66 H.K. Kim

  19. [19]

    Fock V.V., Goncharov A.B., Moduli spaces of local systems and higher Teichm¨ uller theory,Publ. Math. Inst. Hautes ´Etudes Sci.103(2006), 1–211, arXiv:math.AG/0311149

  20. [20]

    Fock V.V., Goncharov A.B., Dual Teichm¨ uller and lamination spaces, in Handbook of Teichm¨ uller Theory. Vol. I,IRMA Lect. Math. Theor. Phys., Vol. 11, European Mathematical Society (EMS), Z¨ urich, 2007, 647–684, arXiv:math.DG/0510312

  21. [21]

    Math.175(2009), 223–286, arXiv:math.QA/0702397

    Fock V.V., Goncharov A.B., The quantum dilogarithm and representations of quantum cluster varieties, Invent. Math.175(2009), 223–286, arXiv:math.QA/0702397

  22. [22]

    Fomin S., Shapiro M., Thurston D., Cluster algebras and triangulated surfaces. I. Cluster complexes,Acta Math.201(2008), 83–146, arXiv:math.RA/0608367

  23. [23]

    Math.463(2025), 110118, 65 pages, arXiv:2310.06189

    Frohman C.D., Kania-Bartoszynska J., Lˆ e T.T.Q., Sliced skein algebras and geometric Kauffman bracket, Adv. Math.463(2025), 110118, 65 pages, arXiv:2310.06189

  24. [24]

    Math.54(1984), 200–225

    Goldman W.M., The symplectic nature of fundamental groups of surfaces,Adv. Math.54(1984), 200–225

  25. [25]

    Goncharov A.B., Shen L., Quantum geometry of moduli spaces of local systems and representation theory, arXiv:1904.10491

  26. [26]

    Texts in Math., Vol

    Hall B.C., Quantum theory for mathematicians,Grad. Texts in Math., Vol. 267, Springer, New York, 2013

  27. [27]

    Hiatt C., Quantum traces in quantum Teichm¨ uller theory,Algebr. Geom. Topol.10(2010), 1245–1283, arXiv:0809.5118

  28. [28]

    Jordan D., Le I., Schrader G., Shapiro A., Quantum decorated character stacks, arXiv:2102.12283

  29. [29]

    Kashaev R.M., Quantization of Teichm¨ uller spaces and the quantum dilogarithm,Lett. Math. Phys.43 (1998), 105–115, arXiv:q-alg/9705021

  30. [30]

    Kashaev R.M., The quantum dilogarithm and Dehn twists in quantum Teichm¨ uller theory, in Integrable Structures of Exactly Solvable Two-Dimensional Models of Quantum Field Theory (Kiev, 2000),NATO Sci. Ser. II Math. Phys. Chem., Vol. 35, Kluwer, Dordrecht, 2001, 211–221

  31. [31]

    Z.283(2016), 469–513, arXiv:1407.3074

    Kim H.K., Ratio coordinates for higher Teichm¨ uller spaces,Math. Z.283(2016), 469–513, arXiv:1407.3074

  32. [32]

    Kim H.K., Irreducible self-adjoint representations of quantum Teichm¨ uller space and the phase constants, J. Geom. Phys.162(2021), 104103, 36 pages, arXiv:2001.06802

  33. [33]

    Kim H.K., Phase constants in the Fock–Goncharov quantum cluster varieties,Anal. Math. Phys.11(2021), 2, 66 pages, arXiv:1602.00797

  34. [34]

    Kim H.K., Naturality of SL 3 quantum trace maps for surfaces,Quantum Topol.16(2025), 117–222, arXiv:2104.06286

  35. [35]

    Kim H.K., Quantized geodesic lengths for Teichm¨ uller spaces: algebraic aspects, arXiv:2405.14727

  36. [36]

    Kim H.K., Quantized geodesic lengths for Teichm¨ uller spaces: analytic aspects, in preparation

  37. [37]

    Kim H.K., Lˆ e T.T.Q., Son M., SL2 quantum trace in quantum Teichm¨ uller theory via writhe,Algebr. Geom. Topol.23(2023), 339–418, arXiv:1812.11628

  38. [38]

    Kim H.K., Scarinci C., A quantization of moduli spaces of 3-dimensional gravity,Comm. Math. Phys.405 (2024), 144, 62 pages, arXiv:2112.13329

  39. [39]

    Sigma7(2019), 13, 165 pages, arXiv:1603.03523

    Le I., Cluster structures on higher Teichmuller spaces for classical groups,Forum Math. Sigma7(2019), 13, 165 pages, arXiv:1603.03523

  40. [40]

    Lˆ e T.T.Q., Quantum Teichm¨ uller spaces and quantum trace map,J. Inst. Math. Jussieu18(2019), 249–291, arXiv:1511.06054

  41. [41]

    Knot Theory Ramifications 18(2009), 705–726, arXiv:math.GT/0408361

    Liu X., The quantum Teichm¨ uller space as a noncommutative algebraic object,J. Knot Theory Ramifications 18(2009), 705–726, arXiv:math.GT/0408361

  42. [42]

    Mandel T., Qin F., Bracelets bases are theta bases, arXiv:2301.11101

  43. [43]

    Moore G., Seiberg N., Classical and quantum conformal field theory,Comm. Math. Phys.123(1989), 177–254

  44. [44]

    Muller G., Skein and cluster algebras of marked surfaces,Quantum Topol.7(2016), 435–503, arXiv:1204.0020

  45. [45]

    Penner R.C., Decorated Teichm¨ uller theory, QGM Master Class Series, European Mathematical Society (EMS), Z¨ urich, 2012

  46. [46]

    Math.16(1999), 45–66, arXiv:math.GT/9809113

    Przytycki J.H., Fundamentals of Kauffman bracket skein modules,Kobe J. Math.16(1999), 45–66, arXiv:math.GT/9809113. Quantized Geodesic Lengths for Teichm¨ uller Spaces: Algebraic Aspects 67

  47. [47]

    Reed M., Simon B., Methods of modern mathematical physics. I. Functional analysis, Academic Press, San Diego, 1980

  48. [48]

    Roger J., Factorization rules in quantum Teichm¨ uller theory,Algebr. Geom. Topol.13(2013), 3411–3446, arXiv:0911.2510

  49. [49]

    Nonlinear Math

    Ruijsenaars S.N.M., A unitary joint eigenfunction transform for the A∆Os exp(ia ±d/dz) + exp(2πz/a ∓), J. Nonlinear Math. Phys.12(2005), 253–294

  50. [50]

    Schrader G., Shapiro A., The algebraic modular functor conjecture in typeA n quantum Teichm¨ uller theory, arXiv:2509.03820

  51. [51]

    Segal G., Two-dimensional conformal field theories and modular functors, in IXth International Congress on Mathematical Physics (Swansea, 1988), Hilger, Bristol, 1989, 22–37

  52. [52]

    Son M., Quantum coordinate change map for Chekhov–Fock square root algebras, Master’s Thesis, Ewha Womans University, 2020

  53. [53]

    On the spectral theory of one functional-difference operator from conformal field theory

    Takhtadzhyan L.A., Faddeev L.D., On the spectral theory of a functional-difference operator in conformal field theory,Izv. Math.79(2015), 388–410, arXiv:1408.0307

  54. [54]

    Teschner J., An analog of a modular functor from quantized Teichm¨ uller theory, in Handbook of Teichm¨ uller Theory. Vol. I,IRMA Lect. Math. Theor. Phys., Vol. 11, European Mathematical Society (EMS), Z¨ urich, 2007, 685–760

  55. [55]

    Thurston D.P., Positive basis for surface skein algebras,Proc. Natl. Acad. Sci. USA111(2014), 9725–9732, arXiv:1310.1959

  56. [56]

    66–67, Soci´ et´ e Math´ ematique de France, Paris, 1979

    Thurston W.P., Travaux de Thurston sur les surfaces: S´ eminaire Orsay,Ast´ erisque, Vol. 66–67, Soci´ et´ e Math´ ematique de France, Paris, 1979

  57. [57]

    Thurston W.P., The geometry and topology of 3-manifolds, Lecture notes, Princeton University, 1980, http://library.msri.org/books/gt3m

  58. [58]

    Thurston with Commentary

    Thurston W.P., Minimal stretch maps between hyperbolic surfaces, in Collected Works of William P. Thurston with Commentary. Vol. I. Foliations, Surfaces and Differential Geometry, American Mathe- matical Society, Providence, RI, 2022, 533–585

  59. [59]

    Turaev V.G., Algebras of loops on surfaces, algebras of knots, and quantization, in Braid Group, Knot Theory and Statistical Mechanics,Adv. Ser. Math. Phys., Vol. 9, World Scientific Publishing, Teaneck, NJ, 1989, 59–95

  60. [60]

    B337(1990), 652–680

    Verlinde H., Conformal field theory, two-dimensional quantum gravity and quantization of Teichm¨ uller space,Nuclear Phys. B337(1990), 652–680