Character Varieties and Algebraic Surfaces in Topological Quantum Information: A Review

1. Introduction

Quantum information science has developed primarily within the Hilbert space formalism of quantum mechanics, where quantum states are vectors in complex projective space and quantum evolutions are unitary transformations. Beyond this foundational framework, increasing attention has been devoted to geometric and topological structures underlying quantum systems. Geometric formulations of quantum mechanics interpret pure states as points of complex projective space endowed with the Fubini–Study metric and symplectic structure [1,2], allowing quantum dynamics to be described as Hamiltonian flows on Kähler manifolds.

Parallel developments in topological quantum field theory and low-dimensional topology have motivated topological approaches to quantum computation. Kitaev’s toric code model [3] and subsequent proposals for anyon-based topological quantum computing [4,5] demonstrate that braiding operations of quasiparticles can realise fault-tolerant quantum gates protected by topological invariance. These ideas are naturally formulated in terms of modular tensor categories and modular functors [6,7], with conceptual roots in Chern–Simons topological quantum field theory [8].

More broadly, representation theory and moduli spaces of flat connections provide a geometric language for describing quantum systems. Representations of the fundamental group of a manifold into Lie groups such as $\mathrm{SU}\left(2\right)$ or $\mathrm{SL}(2,\mathbb{C})$ lead to character varieties, which parametrise equivalence classes of group homomorphisms modulo conjugation [9,10]. In low-dimensional topology, character varieties play a central role in the study of knot and link complements and in the construction of geometric structures on three-manifolds [11,12]. Their algebraic description in terms of trace coordinates often gives rise to well-studied surfaces, including Fricke surfaces and the Cayley cubic [10].

Mapping class groups act naturally on these representation varieties via the Dehn–Nielsen–Baer correspondence [13], relating surface diffeomorphisms to automorphisms of the fundamental group. Such actions generate modular transformations that are structurally analogous to quantum gate operations in topological settings. Moreover, the moduli spaces of flat connections carry natural symplectic structures [14,15], which underpin both classical and quantised topological field theories.

Another mathematical direction relevant to quantum information geometry arises from integrable systems and isomonodromic deformations. Painlevé equations, originally classified as nonlinear ordinary differential equations with the Painlevé property [16,17], appear in diverse areas of mathematical physics, including conformal field theory, random matrix theory, and quantum field theory [18,19]. Their formulation in terms of monodromy-preserving deformations of flat $\mathrm{SL}(2,\mathbb{C})$ connections links integrable dynamics to moduli spaces of representations and character varieties [20,21], and their geometry is naturally organised by the theory of rational surfaces and affine root systems [22].

A distinctive line of investigation has proposed that topological quantum computing can be grounded directly in $\mathrm{SL}(2,\mathbb{C})$ character varieties of link complements, offering a concrete alternative to anyon-based models. This approach was developed in a series of papers connecting the Hopf link and arithmetic two-bridge links to the Cayley cubic [23], extending the framework to three-bridge links and Fricke surfaces [24], and establishing the dynamical role of Painlevé VI on the associated cubic moduli spaces [25]. Earlier contributions explored quantum computation via Seifert surfaces and Bianchi groups [26,27].

The purpose of this review is to synthesise these developments and connect them to the broader landscape of geometric and topological methods in quantum information science. We first outline the geometric foundations of quantum information and summarise established topological approaches to quantum computation. We then review the role of $\mathrm{SL}(2,\mathbb{C})$ character varieties and associated algebraic surfaces in modelling quantum degrees of freedom, including explicit worked examples. Subsequently, we examine connections with integrable systems and isomonodromic methods. A critical comparison is provided with alternative geometric frameworks, including information geometry [28], tensor network geometry [29], and category-theoretic formulations of quantum theory [30].

By structuring the discussion in this way, we aim to distinguish clearly between established mathematical results and the author’s own research contributions, while highlighting open problems and possible avenues for further investigation.

2. Geometric Foundations of Quantum Information

2.1. Projective Hilbert Space and Geometric Quantum Mechanics

In standard quantum mechanics, pure states are represented by unit vectors in a Hilbert space $\mathcal{H}$, modulo global phase. The physically meaningful space of pure states is therefore the complex projective space $\mathbb{P}\left(\mathcal{H}\right)$. This observation leads naturally to geometric formulations of quantum mechanics, in which $\mathbb{P}\left(\mathcal{H}\right)$ is endowed with the Fubini–Study metric and a compatible symplectic structure [1,2].

Within this framework, Schrödinger evolution corresponds to Hamiltonian flow generated by the expectation value of the Hamiltonian operator. Observables become real-valued functions on projective Hilbert space, and quantum dynamics acquires a symplectic-geometric interpretation. This approach clarifies the role of geometric phases, curvature, and metric structures in quantum theory, and provides a bridge between quantum mechanics and classical Hamiltonian geometry.

2.2. Group-Theoretic and Representation-Theoretic Structures

Group theory is fundamental to quantum mechanics at multiple levels. Symmetry transformations are described by unitary representations of Lie groups, while composite systems are governed by tensor product structures constrained by representation theory. In quantum information science, the study of entanglement classes, stabiliser codes, and Clifford operations relies heavily on algebraic properties of unitary groups and finite subgroups thereof.

Beyond compact unitary groups, non-compact groups such as $\mathrm{SL}(2,\mathbb{C})$ arise naturally in mathematical physics. The group $\mathrm{SL}(2,\mathbb{C})$ is the double cover of the Lorentz group and appears in the theory of spinors, relativistic quantum mechanics, and gauge theory. Representations of discrete groups into $\mathrm{SL}(2,\mathbb{C})$ lead to moduli spaces known as character varieties, which have been extensively studied in low-dimensional topology [9,10].

Given a finitely generated group $\Gamma$, the representation variety $\mathrm{Hom}(\Gamma ,G)$ and its quotient by conjugation define algebraic varieties encoding equivalence classes of representations. When $G=\mathrm{SL}(2,\mathbb{C})$, these character varieties admit explicit descriptions in terms of trace coordinates, often satisfying polynomial relations that define algebraic surfaces.

2.3. Topology, Mapping Class Groups, and Modular Structures

Topological methods enter quantum information prominently through topological quantum field theory (TQFT) and topological quantum computing. In these settings, quantum states are associated with surfaces, and quantum gates correspond to elements of mapping class groups acting on state spaces [6,7]. The Dehn–Nielsen–Baer theorem establishes a correspondence between mapping class groups of surfaces and outer automorphisms of their fundamental groups [13], linking topological transformations to algebraic automorphisms.

The moduli space of flat connections on a surface carries natural symplectic structures [14,15], which play a central role in both classical gauge theory and its quantisation. In related developments, coordinate systems adapted to Poisson structures (including cluster-type coordinates) provide explicit charts on moduli spaces of local systems [31], strengthening the interface between algebraic geometry, topology, and dynamics.

2.4. From Geometric Structures to Quantum Information Modelling

The convergence of geometric quantum mechanics, representation theory, and low-dimensional topology suggests a broader geometric perspective on quantum information. Projective Hilbert space geometry describes local quantum structure, while representation varieties and moduli spaces introduce global, topological degrees of freedom. Although traditional topological quantum computing focuses on quasiparticle braiding in two-dimensional systems [3,4], the research programme reviewed here explores algebraic and geometric structures derived from surface groups and character varieties to encode quantum states and logical operations [23,24]. These developments motivate a systematic examination of $\mathrm{SL}(2,\mathbb{C})$ character varieties and associated algebraic surfaces in the context of quantum information, reviewed in the following sections.

3. Topological Quantum Computing

3.1. Anyon-Based Approaches and Modular Tensor Categories

Topological quantum computing (TQC) is a fault-tolerant paradigm in which quantum information is encoded in global, topological degrees of freedom of many-body systems. The foundational idea is that quasiparticle excitations in certain two-dimensional systems exhibit anyonic statistics, and that their braiding implements unitary transformations on a protected Hilbert space [3,4,5].

In this framework, computational states are associated with fusion spaces of non-Abelian anyons. Braiding operations correspond to representations of the braid group acting on these spaces, and the resulting unitary transformations are insensitive to local perturbations. The mathematical structure underlying such models is that of modular tensor categories and modular functors [6,7]. Conceptually, these structures are closely related to Chern–Simons topological quantum field theory, which provides a field-theoretic origin for quantum link invariants and modular data [8].

3.2. Mapping Class Groups and Surface-Based Constructions

Beyond particle braiding, topological quantum computation can be described in terms of mapping class groups of surfaces. In TQFT-inspired approaches, quantum states are associated with surfaces, and quantum gates correspond to diffeomorphisms of these surfaces modulo isotopy [6]. The Dehn–Nielsen–Baer correspondence identifies the mapping class group of a surface with a subgroup of the outer automorphism group of its fundamental group [13], linking topological transformations to algebraic automorphisms.

Surface-based constructions emphasise the role of topology at the level of manifolds and their fundamental groups rather than solely at the level of particle statistics. In this perspective, quantum information may be modelled through algebraic and geometric structures associated with surfaces and three-manifolds, including moduli spaces of flat connections whose symplectic geometry is well understood [14,15].

3.3. Character Varieties and Algebraic Structures in TQC

Character varieties arise naturally in the study of representations of fundamental groups into Lie groups such as $\mathrm{SU}\left(2\right)$ or $\mathrm{SL}(2,\mathbb{C})$. For a finitely generated group $\Gamma$, the representation space $\mathrm{Hom}(\Gamma ,G)$ and its quotient by conjugation define algebraic varieties that parametrise equivalence classes of representations [9,10].

In low-dimensional topology, character varieties encode geometric structures of knot and link complements and are closely connected with hyperbolic geometry [11,12]. When expressed in trace coordinates, these varieties often satisfy polynomial relations defining algebraic surfaces. Classical examples include Fricke surfaces associated with surface groups and the Cayley cubic arising in the study of two-generator groups [10]. A complementary viewpoint emphasises coordinate systems and Poisson structures on moduli of local systems, including cluster-type descriptions [31], which make mapping class group actions and quantisation questions more explicit.

3.4. Comparison of Topological Paradigms

Anyon-based TQC and surface-based geometric approaches share common mathematical ingredients: braid groups, mapping class groups, and representation theory, but differ in emphasis. Anyon models are closely tied to specific physical realisations in two-dimensional condensed matter systems and are grounded in modular tensor categories derived from quantum field theory. By contrast, character-variety-based perspectives emphasise representation spaces of surface and manifold groups and the associated algebraic and symplectic geometry. This interplay motivates further investigation of representation varieties and algebraic surfaces in quantum information, developed in the next section.

4. $\mathrm{SL}(2,\mathbb{C})$ Character Varieties and Algebraic Surfaces

4.1. Representation Varieties and Trace Coordinates

Let $\Gamma$ be a finitely generated group, such as the fundamental group of a surface or a three-manifold. The representation variety

$$\mathrm{Hom}(\Gamma ,G)$$

consists of group homomorphisms from $\Gamma$ into a Lie group G, typically considered as an algebraic set when G is an algebraic group. The quotient by conjugation,

$${\mathcal{X}}_G(\Gamma )=\mathrm{Hom}(\Gamma ,G)//G,$$

defines the G-character variety of $\Gamma$ [9]. For $G=\mathrm{SL}(2,\mathbb{C})$, this quotient can often be described explicitly using trace functions, since traces are invariant under conjugation. For two-generator groups, classical trace identities lead to cubic relations in trace coordinates; mapping class group actions on such varieties have been systematically studied [10].

4.2. Fricke Surfaces and the Cayley Cubic

For the free group $F_2=\langle a,b\rangle$, trace coordinates

$$x=\mathrm{tr}\left(\rho \right(a\left)\right),y=\mathrm{tr}\left(\rho \right(b\left)\right),z=\mathrm{tr}\left(\rho \right(ab\left)\right)$$

satisfy polynomial relations (Fricke-type relations) defining families of cubic surfaces. A particularly prominent case is the Cayley cubic

$${\kappa }_4:x^2+y^2+z^2-xyz-4=0,$$

(1)

a singular cubic surface with four nodes and a rich symmetry structure [10,23]. Such surfaces arise as components of character varieties in low-dimensional topology and provide explicit algebraic models for moduli of representations.

More generally, one considers the one-parameter family of Fricke surfaces

$${\kappa }_d:x^2+y^2+z^2-xyz-d=0,d\in \mathbb{C},$$

(2)

which interpolates between different topological settings as d varies. The surfaces ${\kappa }_d$ for $d<4$ are smooth, while ${\kappa }_4$ acquires four nodal singularities.

Qubits as points on the Cayley cubic.

A key observation [23,24] is that representations $\rho :{\pi }_1(S^3\setminus K)\to \mathrm{SL}(2,\mathbb{C})$ satisfying the reality condition $\left|x\right|,\left|y\right|,\left|z\right|\le 2$ are conjugate to $\mathrm{SU}\left(2\right)$ representations. Since $\mathrm{SU}\left(2\right)\cong S^3$ double-covers $\mathrm{SO}\left(3\right)$, such a representation defines a unit quaternion, that is, a qubit state up to global phase.

To make this concrete, consider the Hopf link $L_{2a1}$ whose complement has fundamental group ${\pi }_1\cong \mathbb{Z}\times \mathbb{Z}=\langle a\rangle \times \langle b\rangle$. A representation $\rho :\langle a,b\rangle \to \mathrm{SU}\left(2\right)$ is determined by two commuting unit quaternions:

$$\rho \left(a\right)=\left(\begin{array}{cc}{e}^{i\alpha }& 0\\ 0& e^{-i\alpha }\end{array}\right),\rho \left(b\right)=\left(\begin{array}{cc}{e}^{i\beta }& 0\\ 0& e^{-i\beta }\end{array}\right),$$

(3)

giving $x=2cos\alpha$, $y=2cos\beta$, $z=2cos(\alpha +\beta )$. One verifies directly that these satisfy (1):

$$4{cos}^2\alpha +4{cos}^2\beta +4{cos}^2(\alpha +\beta )-8cos\alpha cos\beta cos(\alpha +\beta )-4=0,$$

an identity that follows from the sum-to-product formula. Thus the real bounded component $\left\{\right|x|,|y|,|z|\le 2\}\cap {\kappa }_4$ parametrises the space of one-qubit states associated with the Hopf link complement; deforming $(\alpha ,\beta )$ continuously traces a path on the Cayley cubic. Non-Abelian generalisations, corresponding to non-trivial link complements, require off-diagonal $\mathrm{SU}\left(2\right)$ matrices and lead to richer character varieties with both reducible component ${\kappa }_4$ and irreducible components ${\kappa }_d$ for $d<4$ [23,24].

4.3. Character Varieties of Surfaces and Three-Manifolds

For an orientable surface, the character variety of $\mathrm{SL}(2,\mathbb{C})$ representations carries natural Poisson and symplectic structures. Goldman identified a canonical symplectic structure on the smooth locus of the moduli space of flat connections [14], while Atiyah and Bott provided a gauge-theoretic symplectic framework for moduli spaces of connections over Riemann surfaces [15]. These foundational results place character varieties within a broader symplectic and Hamiltonian context.

In three-dimensional topology, Thurston’s theory of hyperbolic structures [11] established deep connections between character varieties and geometric structures on three-manifolds. For hyperbolic knot complements, discrete faithful representations correspond to hyperbolic metrics, and deformation spaces of such representations are encoded within the character variety [12].

The case of the four-punctured sphere $\Sigma =S_{\left(4\right)}^2$ (the Riemann sphere with four marked points) is of particular relevance. Its fundamental group is a free group of rank three, and the $\mathrm{SL}(2,\mathbb{C})$ character variety is a cubic surface parametrised by traces, with automorphisms governed by the Painlevé VI equation, a theme developed further in Section 5. Several arithmetic two-bridge links (including the Whitehead link $5_1^2$, the Bergé link $6_2^2$, and the double-eight link $6_3^2$) yield character varieties containing both the reducible Cayley component ${\kappa }_4$ and an irreducible Fricke component ${\kappa }_d$ for some $d<4$ [23].

4.4. Algebraic Surfaces, Coordinates, and Quantisation Perspectives

Algebraic surfaces arising from character varieties often admit additional structures compatible with group actions. Mapping class groups act by algebraic automorphisms induced from outer automorphisms of $\Gamma$ [13]. In many settings, Poisson structures admit explicit coordinate descriptions. Cluster-type and higher Teichmüller frameworks provide coordinate systems on moduli spaces of local systems and make their Poisson geometry explicit [31]. Related quantisation ideas motivate the study of “quantum” versions of these moduli spaces.

The nodal singularities of the Cayley cubic ${\kappa }_4$ deserve special attention. They correspond to parabolic representations, i.e. those with unipotent monodromy around boundary components. At these singular points, the usual symplectic structure degenerates, signalling a topological transition. Recent work has argued that these parabolic loci carry physically distinct information, acting as “shadows” in a non-semisimple extension of the moduli space [32].

4.5. Relevance for Quantum Information Modelling

The identification of qubit states with points on Fricke and Cayley cubic surfaces, described in Section 4.2, opens several concrete directions for quantum information modelling.

Quantum state space. The real bounded component of ${\kappa }_d$ (with $d\le 4$), defined by $\left|x\right|,\left|y\right|,\left|z\right|\le 2$, provides a three-dimensional algebraic model for the space of two-generator $\mathrm{SU}\left(2\right)$ representations. This is an alternative to the Bloch sphere description of a single qubit: while the Bloch ball models the density matrix of one two-level system, the Fricke surface encodes the pair of generators producing the state, together with their product’s trace. The transition from ${\kappa }_4$ (Hopf link, Abelian topology) to ${\kappa }_d$ with $d<4$ (non-Abelian link groups) corresponds to an increase in entanglement between the two generators.

Quantum gates. Mapping class group automorphisms of the surface ${\kappa }_d$ (Dehn twists and their compositions) act as polynomial automorphisms of the trace coordinates $(x,y,z)$, generating a discrete dynamical system on the character variety. These transformations have been proposed as analogues of topological quantum gates, realised not via physical anyon braiding but via algebraic symmetries of the moduli space [23,24].

Seifert surfaces and singular fibres. Earlier work in this programme identified quantum states with components of Seifert surfaces of knots, and related singular fibres of elliptic fibrations to qubit errors [26]. Bianchi groups, which are arithmetic subgroups of $\mathrm{SL}(2,\mathbb{C})$, provide additional examples of groups whose character varieties encode discrete quantum structures [27].

These considerations motivate the study of dynamical structures on character varieties, particularly those arising from isomonodromic deformations and integrable systems, to which we now turn.

5. Integrable Systems and Isomonodromic Deformations

5.1. Flat Connections and Monodromy

Moduli spaces of representations of fundamental groups into $\mathrm{SL}(2,\mathbb{C})$ may be interpreted as moduli spaces of flat connections on principal bundles over punctured surfaces. A flat $\mathrm{SL}(2,\mathbb{C})$ connection defines a monodromy representation

$$\rho :{\pi }_1\left(\Sigma \right)\to \mathrm{SL}(2,\mathbb{C}),$$

and the corresponding character variety parametrises equivalence classes of such flat connections. The symplectic geometry of these moduli spaces is foundational in gauge theory and geometric topology [14,15].

5.2. Isomonodromic Deformations

An isomonodromic deformation is a deformation of a linear differential system that preserves its monodromy data. For Fuchsian systems with four regular singular points on the Riemann sphere, the compatibility conditions for preserving monodromy lead to the Painlevé VI equation [18]. More generally, the Painlevé equations arise as nonlinear differential equations governing monodromy-preserving deformations of regular or irregular linear systems [17,20].

5.3. Painlevé VI, Fricke Surfaces, and the Four-Punctured Sphere

The Painlevé VI equation (PVI) is directly linked to the four-punctured sphere $\Sigma =S_{\left(4\right)}^2$. An $\mathrm{SL}(2,\mathbb{C})$ representation of ${\pi }_1\left(\Sigma \right)$ is a quadruple $(\alpha ,\beta ,\gamma ,\delta )$ of matrices satisfying $\alpha \beta \gamma \delta =I$. Setting

$$a=\mathrm{tr}\left(\alpha \beta \right),b=\mathrm{tr}\left(\beta \gamma \right),c=\mathrm{tr}\left(\alpha \gamma \right),d=\mathrm{tr}\left(\alpha \right),\mathrm{tr}\left(\beta \right),\mathrm{tr}\left(\gamma \right),\mathrm{tr}\left(\delta \right),$$

(4)

the character variety is a (generalised) Fricke–Painlevé cubic surface

$$V_{a,b,c}(x,y,z):x^2+y^2+z^2-xyz=ax+by+cz+d,$$

(5)

where the right-hand side depends on the local monodromy eigenvalues (boundary conditions) [20]. Isomonodromic deformations of this system define a flow on $V_{a,b,c}$, governed precisely by PVI.

This connection has a rich structure of special (algebraic) solutions. Among the finite-branching solutions of PVI, one finds:

• one Cayley–Picard solution (the fixed-point locus of the nodal ${\kappa }_4$);
• three continuous platonic solutions (the tetrahedron, cube, and icosahedron), associated with del Pezzo surfaces of degree 3;
• fourty-five icosahedral solutions (including the Klein quartic and Valentiner solutions), parametrised by surfaces of icosahedral symmetry.

These were classified in [33,34] and visualised in [25] using parametric plots of the modulus of PVI solutions, revealing the distinct branching structure of each algebraic surface (see Figure 1 of that reference for representative plots).

5.4. Symplectic and Hamiltonian Structure

Isomonodromic systems admit Hamiltonian formulations compatible with the symplectic structure on moduli spaces of flat connections [14]. Boalch developed a symplectic viewpoint on isomonodromic deformations, clarifying their interpretation as flows on complex symplectic manifolds [21]. These results provide a coherent geometric setting in which character varieties serve not only as static algebraic objects but also as phase spaces for integrable dynamics. The Okamoto symmetry group of PVI, an affine Weyl group of type $D_4^{\left(1\right)}$, acts on the cubic surface (5) as a group of Cremona transformations, generating a discrete integrable structure that parallels the action of mapping class groups on the surface group character variety.

5.5. Connections with Quantum Theory

Integrable systems and monodromy-preserving deformations appear in various areas of quantum theory. Notable examples include relations between Painlevé transcendents and conformal blocks [19], the appearance of PVI in the computation of quantum correlation functions [18], and the role of monodromy data in topological field theories [8]. In quantisation frameworks for gauge theories, moduli spaces of flat connections provide classical phase spaces whose quantisation yields Hilbert spaces relevant to TQFT [8].

In the quantum information context reviewed here, the isomonodromic dynamics on Fricke–Painlevé cubics furnishes a dynamical model for how qubit states, identified with points on these surfaces, may evolve under parameter variation. The algebraic solutions of PVI (platonic, icosahedral, and Cayley–Picard) correspond to geometrically distinguished orbits on the moduli space, singled out by symmetry. Exploring whether these special orbits admit interpretation as protected quantum computational states, by analogy with the topological protection of anyon braiding, remains an open and intriguing problem [25].

6. Comparison with Alternative Geometric and Topological Approaches

The geometric and topological perspective developed in the preceding sections is part of a broader landscape of mathematically structured approaches to quantum information science. In this section, we briefly compare character-variety-based frameworks with several alternative geometric formulations that have been influential in the field.

6.1. Geometric Quantum Mechanics

Geometric quantum mechanics reformulates quantum theory on complex projective Hilbert space equipped with the Fubini–Study metric and symplectic structure [1,2]. In this setting, quantum states are points on a Kähler manifold, observables correspond to real-valued functions, and time evolution is described by Hamiltonian flows.

This framework emphasises local differential geometry and metric structure. By contrast, character-variety-based approaches emphasise global algebraic and topological structures arising from representations of discrete groups. While geometric quantum mechanics operates within a fixed Hilbert space, character varieties introduce moduli spaces that encode global constraints and symmetries associated with fundamental groups. The two perspectives are complementary: the former focuses on intrinsic geometry of state space, whereas the latter foregrounds representation-theoretic and topological degrees of freedom.

6.2. Information Geometry

Information geometry studies statistical manifolds equipped with Riemannian metrics derived from divergence functions, most notably the Fisher information metric [28]. In quantum information, quantum analogues of Fisher geometry and monotone metrics provide tools for analysing distinguishability, entanglement, and quantum statistical inference.

Information geometry is primarily concerned with metric properties and statistical distinguishability. Character-variety frameworks, by contrast, are fundamentally algebraic and topological. Their central objects are moduli spaces defined by polynomial relations and group actions rather than statistical distance functions. Nevertheless, both approaches share an emphasis on geometric structure and may intersect in contexts where quantum states are parametrised by moduli spaces with natural metric or symplectic forms.

6.3. Tensor Network Geometry

Tensor network methods, including matrix product states and projected entangled pair states, provide efficient representations of many-body quantum states and are widely used in condensed matter physics and quantum simulation [29]. Recent developments interpret tensor networks in geometric terms, relating entanglement structure to network geometry and, in some cases, to discrete approximations of curved spaces.

Tensor networks emphasise combinatorial and graph-theoretic structure adapted to efficient numerical computation. Their geometry is typically discrete and algorithmic. In contrast, character varieties and moduli spaces are continuous algebraic varieties equipped with symplectic or Poisson structures. While tensor networks provide practical tools for approximating quantum states, character-variety-based models focus on structural and topological aspects of representation spaces. These approaches address different levels of description and may be viewed as complementary rather than competing frameworks.

6.4. Categorical Quantum Mechanics

Categorical quantum mechanics formulates quantum theory in terms of symmetric monoidal categories, emphasising compositional structure and diagrammatic reasoning [30]. In this approach, morphisms represent physical processes, and tensor products encode system composition. This abstract perspective has clarified structural aspects of entanglement, measurement, and quantum protocols.

Topological quantum field theories and modular tensor categories, which underpin topological quantum computing, already fit naturally within categorical language [6]. Character varieties, however, are typically studied within algebraic geometry and representation theory rather than categorical frameworks. The two viewpoints differ in emphasis: categorical formulations highlight compositional structure, while character varieties highlight algebraic and geometric constraints arising from group representations.

6.5. Higher Teichmüller Theory and Cluster Structures

Moduli spaces of local systems on surfaces have also been studied within higher Teichmüller theory and cluster algebra frameworks [31]. These approaches provide coordinate systems adapted to Poisson structures and mapping class group actions. They emphasise positivity structures, coordinate atlases, and quantisation procedures that make moduli spaces computationally accessible.

Character varieties of $\mathrm{SL}(2,\mathbb{C})$ representations can often be described within this broader framework. While the present review focuses on algebraic surfaces arising from trace relations, cluster-type coordinates provide alternative descriptions that may be advantageous for quantisation or computational purposes.

6.6. Summary of Comparisons

Table 1 collects the main features of these approaches for easy reference.

Across these approaches, several recurring themes emerge: the importance of symmetry, the role of group actions, and the presence of geometric structures such as metrics, symplectic forms, or Poisson brackets. Character-variety-based perspectives contribute to this landscape by foregrounding algebraic surfaces, moduli spaces of representations, and mapping class group actions as organising principles. Rather than replacing alternative geometric frameworks, they provide an additional viewpoint rooted in low-dimensional topology and algebraic geometry. A complete understanding of geometric structures in quantum information likely requires integrating insights from several of these complementary approaches.

7. Figure: Conceptual Map of the Framework

Figure 1 below provides a structural overview of the relationships among the main objects reviewed in this paper, from the fundamental group of a link complement through to quantum information applications.

8. Conclusion

This review has examined the interplay between geometry, topology, and quantum information science, with particular emphasis on $\mathrm{SL}(2,\mathbb{C})$ character varieties, algebraic surfaces defined by trace relations, and their connections with integrable systems and isomonodromic deformations. By situating these structures within the broader context of geometric quantum mechanics, topological quantum computing, and moduli theory, we have aimed to clarify their mathematical foundations and conceptual scope.

Character varieties provide explicit algebraic models for moduli spaces of group representations and flat connections. Their description in terms of polynomial relations—notably Fricke cubic surfaces and the Cayley singular cubic ${\kappa }_4$—makes them accessible to techniques from algebraic geometry, symplectic geometry, and representation theory. The identification of the real bounded locus $\left\{\right|x|,|y|,|z|\le 2\}$ on these surfaces with the space of $\mathrm{SU}\left(2\right)$ representations (qubit states) provides a concrete geometric model for quantum information encoding, going beyond the Bloch sphere picture by incorporating the topology of the underlying link complement [23,24].

Integrable systems, particularly those arising from isomonodromic deformations, enrich this picture by introducing canonical dynamical flows on moduli spaces of flat connections. The appearance of Painlevé VI as the governing equation of monodromy-preserving deformations of the four-punctured sphere demonstrates that Fricke–Painlevé cubic surfaces are not merely static parameter spaces but also phase spaces for integrable dynamics. The finite set of algebraic solutions of PVI—classified by platonic and icosahedral symmetry—singles out geometrically and algebraically distinguished orbits, whose interpretation as protected quantum computational states merits further investigation [25].

In comparison with alternative geometric frameworks in quantum information—geometric quantum mechanics, information geometry, tensor network geometry, and categorical formulations—the character-variety perspective emphasises global algebraic and topological structures derived from fundamental groups and moduli spaces. Rather than competing with these approaches, it complements them by providing a representation-theoretic and geometric viewpoint rooted in low-dimensional topology.

Several directions remain open for further investigation. These include the systematic study of quantisation procedures for Fricke–Painlevé surfaces, the role of Poisson and cluster structures in computational settings, and the clarification of possible links between algebraic solutions of PVI and protected gate sets. The extension of the framework to higher-rank groups (beyond $\mathrm{SL}(2,\mathbb{C})$) and to higher-dimensional representations, which would describe multi-qubit systems, is a natural and as yet largely unexplored direction.

Overall, the synthesis presented here highlights the richness of geometric and topological methods in quantum information science. By integrating insights from algebraic geometry, representation theory, and integrable systems, character varieties offer a coherent mathematical framework that may contribute to a broader structural understanding of quantum information and its foundations.