Abstract
A number of finite algorithms for constructing representation theoretic data from group multiplications in a finite group G have recently been shown to be related to amplitudes for combinatoric topological strings (G-CTST) based on Dijkgraaf-Witten theory of flat G-bundles on surfaces. We extend this result to projective representations of G using twisted Dijkgraaf-Witten theory. New algorithms for characters are described, based on handle creation operators and minimal multiplicative generating subspaces for the centers of group algebras and twisted group algebras. Such minimal generating subspaces are of interest in connection with information theoretic aspects of the AdS/CFT correspondence. For the untwisted case, we describe the integrality properties of certain character sums and character power sums which follow from these constructive G-CTST algorithms. These integer sums appear as residues of singularities in G-CTST generating functions. S-duality of the combinatoric topological strings motivates the definition of an inverse handle creation operator in the centers of group algebras and twisted group algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. Dijkgraaf and E. Witten, Topological Gauge Theories and Group Cohomology, Commun. Math. Phys. 129 (1990) 393 [INSPIRE].
E. Witten, On quantum gauge theories in two-dimensions, Commun. Math. Phys. 141 (1991) 153 [INSPIRE].
D.S. Freed and F. Quinn, Chern-Simons theory with finite gauge group, Commun. Math. Phys. 156 (1993) 435 [hep-th/9111004] [INSPIRE].
M. Fukuma, S. Hosono and H. Kawai, Lattice topological field theory in two-dimensions, Commun. Math. Phys. 161 (1994) 157 [hep-th/9212154] [INSPIRE].
J. Pasukonis and S. Ramgoolam, Quivers as Calculators: Counting, Correlators and Riemann Surfaces, JHEP 04 (2013) 094 [arXiv:1301.1980] [INSPIRE].
J.M. Maldacena, The Large N limit of superconformal field theories and supergravity, Int. J. Theor. Phys. 38 (1999) 1113 [hep-th/9711200] [INSPIRE].
S.S. Gubser, I.R. Klebanov and A.M. Polyakov, Gauge theory correlators from noncritical string theory, Phys. Lett. B 428 (1998) 105 [hep-th/9802109] [INSPIRE].
E. Witten, Anti-de Sitter space and holography, Adv. Theor. Math. Phys. 2 (1998) 253 [hep-th/9802150] [INSPIRE].
D. Marolf and H. Maxfield, Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information, JHEP 08 (2020) 044 [arXiv:2002.08950] [INSPIRE].
J.G. Gardiner and S. Megas, 2d TQFTs and baby universes, JHEP 10 (2021) 052 [arXiv:2011.06137] [INSPIRE].
R. de Mello Koch, Y.-H. He, G. Kemp and S. Ramgoolam, Integrality, duality and finiteness in combinatoric topological strings, JHEP 01 (2022) 071 [arXiv:2106.05598] [INSPIRE].
J. Couch, Y. Fan and S. Shashi, Circuit Complexity in Topological Quantum Field Theory, Fortsch. Phys. 70 (2022) 9 [arXiv:2108.13427] [INSPIRE].
A. Banerjee and G.W. Moore, Comments on summing over bordisms in TQFT, JHEP 09 (2022) 171 [arXiv:2201.00903] [INSPIRE].
J. J. Heckman, A. P. Turner and X. Yu, Disorder averaging and its UV (dis)contents, arXiv:2111.06404.
J.-M. Schlenker and E. Witten, No ensemble averaging below the black hole threshold, JHEP 07 (2022) 143 [arXiv:2202.01372] [INSPIRE].
E. Sharpe, Topological operators, noninvertible symmetries and decomposition, arXiv:2108.13423 [INSPIRE].
D. Robbins, E. Sharpe and T. Vandermeulen, A generalization of decomposition in orbifolds, JHEP 10 (2021) 134 [arXiv:2101.11619] [INSPIRE].
T. Pantev and E. Sharpe, Notes on gauging noneffective group actions, hep-th/0502027 [INSPIRE].
T. Pantev and E. Sharpe, String compactifications on Calabi-Yau stacks, Nucl. Phys. B 733 (2006) 233 [hep-th/0502044] [INSPIRE].
T. Pantev and E. Sharpe, GLSM’s for Gerbes (and other toric stacks), Adv. Theor. Math. Phys. 10 (2006) 77 [hep-th/0502053] [INSPIRE].
S. Hellerman, A. Henriques, T. Pantev, E. Sharpe and M. Ando, Cluster decomposition, T-duality, and gerby CFT’s, Adv. Theor. Math. Phys. 11 (2007) 751 [hep-th/0606034] [INSPIRE].
D.G. Robbins, E. Sharpe and T. Vandermeulen, Anomalies, extensions, and orbifolds, Phys. Rev. D 104 (2021) 085009 [arXiv:2106.00693] [INSPIRE].
D.G. Robbins, E. Sharpe and T. Vandermeulen, Quantum symmetries in orbifolds and decomposition, JHEP 02 (2022) 108 [arXiv:2107.12386] [INSPIRE].
D.G. Robbins, E. Sharpe and T. Vandermeulen, Anomaly resolution via decomposition, Int. J. Mod. Phys. A 36 (2021) 2150220 [arXiv:2107.13552] [INSPIRE].
E. Sharpe, An introduction to decomposition, arXiv:2204.09117.
G.W. Moore and G. Segal, D-branes and k-theory in 2D topological field theory, hep-th/0609042 [INSPIRE].
Z. Komargodski, K. Ohmori, K. Roumpedakis and S. Seifnashri, Symmetries and strings of adjoint QCD2, JHEP 03 (2021) 103 [arXiv:2008.07567] [INSPIRE].
B. Durhuus and T. Jonsson, Classification and construction of unitary topological field theories in two-dimensions, J. Math. Phys. 35 (1994) 5306 [hep-th/9308043] [INSPIRE].
T.-C. Huang, Y.-H. Lin and S. Seifnashri, Construction of two-dimensional topological field theories with non-invertible symmetries, JHEP 12 (2021) 028 [arXiv:2110.02958] [INSPIRE].
E. Witten, Chern-Simons gauge theory as a string theory, Prog. Math. 133 (1995) 637 [hep-th/9207094] [INSPIRE].
B. Simon, Representations of finite and compact groups, Graduate Series in Mathematics 10, American Mathematical Society, Providence, Rhode Island, (1995) [DOI].
I. Schur, Uber die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen, J. Reine Angew. Math. 1904 (1904) 20.
H. Barcelo and A. Ram Combinatorial representation theory, in New perspectives in algebraic combinatorics, Mathematical Sciences Research Institute Publications 38, Cambrdige University Press, Cambridge (1999), pp. 23–90 [math/9707221].
I. Pak, G. Panova, E. Vallejo, On the complexity of computing Kronecker coefficients, Comput. Complexity 26 (2017) 1.
C. Ikenmeyer, K.D. Mulmuley, M. Walter, On vanishing of Kronecker coefficients, Comput. Complexity 26 (2017) 949 [arXiv:1507.02955].
J. Ben Geloun and S. Ramgoolam, Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients, arXiv:2010.04054 [INSPIRE].
C. Cheng, A character theory for projective representations of finite groups, Linear Algebra Appl. 469 (2015) 230.
G. Kemp and S. Ramgoolam, BPS states, conserved charges and centres of symmetric group algebras, JHEP 01 (2020) 146 [arXiv:1911.11649] [INSPIRE].
V. Balasubramanian, B. Czech, K. Larjo and J. Simon, Integrability versus information loss: A Simple example, JHEP 11 (2006) 001 [hep-th/0602263] [INSPIRE].
H. Lin, O. Lunin and J.M. Maldacena, Bubbling AdS space and 1/2 BPS geometries, JHEP 10 (2004) 025 [hep-th/0409174] [INSPIRE].
S. Corley, A. Jevicki and S. Ramgoolam, Exact correlators of giant gravitons from dual N = 4 SYM theory, Adv. Theor. Math. Phys. 5 (2002) 809 [hep-th/0111222] [INSPIRE].
G. Karpilovsky, Projective representations of finite groups, Marcel Dekker, New York, U.S.A. (1985) [ISBN: 9780824773137].
G.A. Jones, Characters and surfaces: a survey, in The atlas of finite groups — ten years on, R.T. Curtis and R.A. Wilson, eds., London Mathematical Society Lecture Note Series, Cambridge University Press (1998), pp. 90–118, [DOI].
A.D. Mednykh, Nonequivalent coverings of Riemann surfaces with a prescribed ramification type, Siberian Math. J. 25 (1984) 606 [Sibirsk. Mat. Zh. 25 (1984) 120].
W. Burnside, Theory of groups of finite order, 2nd edition (1911), Dover, New York, U.S.A. (1955).
J.D. Dixon, High speed computation of group characters, Numer. Math. 10 (1967) 446.
G.J.A. Schneider, Dixon’s character table algorithm revisited, J. Symbolic Comput. 9 (1990) 601.
S. Doty, A. Lauve, G.H. Seelinger, Canonical idempotents of multiplicity-free families of algebras, Enseign. Math. 64 (2018) 23 [arXiv:1606.08900].
H. Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, Springer (2000) [DOI].
The GAP Group, GAP — Groups, Algorithms, and Programming, Version 4.11.1, (2021) [https://www.gap-system.org].
M. Lassalle, An explicit formula for the characters of the symmetric group, Math. Ann. 340 (2008) 383.
S. Corteel, A. Goupil, G. Schaeffer, Content evaluation and class symmetric functions, Adv. Math. 188 (2004) 315.
P.N. Hoffman, J.F. Humphreys, Projective representations of the symmetric groups: Q-functions and shifted tableaux, Clarendon Press, Oxford, U.K. (1992).
D. Chillag, Character values of finite groups as eigenvalues of non-negative integer matrices, Proc. Am. Math. Soc. 97 (1986) 565.
I.M. Isaacs, Character theory of finite groups, Academic Press, New York, U.S.A. (1976) [DOI].
M. Buican and R. Radhakrishnan, Galois orbits of TQFTs: symmetries and unitarity, JHEP 01 (2022) 004 [arXiv:2109.02766] [INSPIRE].
M. Buican, L. Li and R. Radhakrishnan, a × b = c in 2 + 1D TQFT, Quantum 5 (2021) 468 [arXiv:2012.14689] [INSPIRE].
B. Feng, A. Hanany and Y.-H. He, Counting gauge invariants: The Plethystic program, JHEP 03 (2007) 090 [hep-th/0701063] [INSPIRE].
J. Ben Geloun and S. Ramgoolam, Counting tensor model observables and branched covers of the 2-sphere, Ann. Inst. H. Poincaré D Comb. Phys. Interact. 1 (2014) 77 [arXiv:1307.6490] [INSPIRE].
J.M. Maldacena and L. Maoz, Wormholes in AdS, JHEP 02 (2004) 053 [hep-th/0401024] [INSPIRE].
C. Curtis, I. Reiner, Representation theory of finite groups and associative algebras, John Wiley & Sons, New York, U.S.A. (1962) [DOI].
A.D. Mednyh, Determination of the number of nonequivalent coverings over a compact Riemann surface, Dokl. Akad. Nauk SSR 239 (1978) 269 [Sov. Math. Dokl. 19 (1978) 318].
N. Snyder, Mednykh’s formula via lattice topological quantum field theories, math/0703073 [INSPIRE].
G. Frobenius, Über Gruppencharaktere, Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften (1896), pp. 985–1021.
G. Frobenius, I. Schur, Über die reellen Darstellungen der endlichen Gruppen, Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften (1906), pp. 186–208.
M. Mulase, J. Yu, A generating function of the number of homomorphisms from a surface group into a finite group, [math/0209008].
Math Overflow discussion on the solution of algebraic problems with algebraic topology, https://mathoverflow.net/questions/208112/solving-algebraic-problems-with-topology.
P.S. Aspinwall, A Note on the equivalence of Vafa’s and Douglas’s picture of discrete torsion, JHEP 12 (2000) 029 [hep-th/0009045] [INSPIRE].
P. Bantay, Symmetric products, permutation orbifolds and discrete torsion, Lett. Math. Phys. 63 (2003) 209 [hep-th/0004025] [INSPIRE].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
ArXiv ePrint: 2204.02266
Rights and permissions
Open Access . This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Ramgoolam, S., Sharpe, E. Combinatoric topological string theories and group theory algorithms. J. High Energ. Phys. 2022, 147 (2022). https://doi.org/10.1007/JHEP10(2022)147
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP10(2022)147