[Paper Review] Mednykh's Formula via Lattice Topological Quantum Field Theories

Noah Snyder|ArXiv.org|Mar 5, 2007

Topological and Geometric Data Analysis12 references3 citations

TL;DR

This paper presents a simplified, elementary proof of Mednykh's formula using lattice topological quantum field theories (TQFTs) attached to the group algebra of a finite group. By computing the TQFT invariant in two different bases—one from group-like elements yielding the right-hand side, and another from matrix coefficients of irreducible representations yielding the left-hand side—the authors derive both the orientable and non-orientable versions of Mednykh's formula in a unified, combinatorial framework, avoiding advanced geometry or physics.

ABSTRACT

Mednykh proved that for any finite group G and any orientable surface S, there is a formula for #Hom(pi_1(S), G) in terms of the Euler characteristic of S and the dimensions of the irreducible representations of G. A similar formula in the nonorientable case was proved by Frobenius and Schur. Both of these proofs use character theory and an explicit presentation for π_1. These results have been reproven using quantum field theory. Here we present a greatly simplified proof of these results which uses only elementary topology and combinatorics. The main tool is an elementary invariant of surfaces attached to a semisimple algebra called a lattice topological quantum field theory.

Motivation & Objective

• To provide a new, elementary proof of Mednykh’s formula for finite groups and surfaces using only combinatorics and topology.
• To demonstrate that lattice topological quantum field theories (TQFTs) can be used to derive deep group-theoretic formulas without requiring 3D invariants or quantum field theory formalism.
• To generalize the lattice TQFT construction to non-orientable surfaces by incorporating an involutive *-structure on the algebra.
• To unify the orientable and non-orientable cases through a single, basis-dependent computation of the TQFT invariant.
• To make Mednykh’s formula and its connection to quantum topology accessible to a broader audience by minimizing technical prerequisites.

Proposed method

• Define a lattice TQFT invariant for a semisimple algebra using triangulations and state-sum constructions.
• Use two distinct bases of the group algebra: the group basis (yielding the right-hand side of Mednykh’s formula) and the matrix coefficient basis (yielding the left-hand side).
• For non-orientable surfaces, incorporate an involutive *-structure on the algebra to handle orientation-reversing behavior in the state sum.
• Compute the TQFT invariant as a signed count of corner labelings on triangulated surfaces, with signs determined by orientation mismatches across edges.
• Relate the sign of the invariant to the number of disjoint Möbius strips in a maximal collection, using Euler characteristic parity.
• Combine the results across irreducible representations, distinguishing types by Frobenius-Schur indicators, to derive the final formula.

Experimental results

Research questions

• RQ1 Can Mednykh’s formula be proven using only elementary topology and combinatorics, without character theory or 3D quantum invariants?
• RQ2 How can lattice TQFTs be extended to non-orientable surfaces while preserving their state-sum structure?
• RQ3 What is the role of the Frobenius-Schur indicator in the non-orientable version of Mednykh’s formula?
• RQ4 Why does the TQFT invariant computed in the group basis yield the right-hand side of Mednykh’s formula?
• RQ5 How does the sign structure of the state sum relate to the topology of non-orientable surfaces?

Key findings

• The lattice TQFT invariant of a surface S with respect to the group algebra k[G] computes the number of homomorphisms from π₁(S) to G, up to a normalization factor.
• For orientable surfaces, the TQFT invariant equals ∑_{V∈Ĝ} d(V)^χ(S), which matches the left-hand side of Mednykh’s formula.
• For non-orientable surfaces, the invariant is ∑_{V∈Ĝ} (ν(V)d(V))^χ(S), where ν(V) is the Frobenius-Schur indicator, yielding the non-orientable version of the formula.
• The sign in the non-orientable case arises from orientation mismatches across edges and is determined by the number of disjoint Möbius strips, with I_{M²_anti}(S) = (-2)^χ(S).
• The proof shows that the TQFT invariant computed in the group basis gives #G^{χ(S)−1} ⋅ #Hom(π₁(S), G), completing the right-hand side of the formula.
• The method provides a uniform, basis-dependent derivation of both versions of Mednykh’s formula using only triangulations and algebraic invariants, without requiring 3D TQFTs or physics-inspired formalism.