arxiv: 2605.02242 · v1 · submitted 2026-05-04 · 🧮 math.GR · math.OA

Recognition: unknown

Characters of surface groups

David Gao , Adrian Ioana , Itamar Vigdorovich

Authors on Pith no claims yet

Pith reviewed 2026-05-08 02:19 UTC · model grok-4.3

classification 🧮 math.GR math.OA

keywords surface groupstracial representationsWasserstein topologyPoulsen simplexspectral gapgroup charactersvon Neumann algebras

0 comments

The pith

Any tracial representation of a surface group can be approximated arbitrarily well by factorial ones with spectral gap in the Wasserstein topology.

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

This paper studies the characters of surface groups by examining their tracial representations. It establishes that every such representation can be approximated to any desired accuracy in the Wasserstein topology using factorial tracial representations that possess a spectral gap. This approximation result directly implies that the space of all traces on a surface group coincides with the Poulsen simplex. A reader would care about this because it provides a complete structural description of the possible traces on these groups, which are central in the study of geometric group theory.

Core claim

We initiate the study of characters of surface groups and their corresponding tracial representations. We show that any tracial representation can be approximated arbitrarily well in the Wasserstein topology by factorial tracial representations with spectral gap. In particular, we deduce that the space of traces of a surface group is the Poulsen simplex, thereby resolving positively a question posed by Orovitz, Slutsky, and the third author.

What carries the argument

Approximation in the Wasserstein topology by factorial tracial representations with spectral gap, leading to the identification of the trace space as the Poulsen simplex.

If this is right

Any trace arises as a limit of traces from rigid representations.
The trace space is affinely homeomorphic to the Poulsen simplex.
This resolves the question about the nature of the trace space for surface groups.
Factorial representations with spectral gap are dense in the space of all tracial representations.

Where Pith is reading between the lines

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

This approximation technique might extend to other hyperbolic or residually finite groups with similar geometric properties.
Understanding the trace space this way could influence the study of associated C*-algebras.
Testable extensions include checking if the spectral gap condition can be relaxed while maintaining the density result.

Load-bearing premise

The construction of approximating factorial representations with spectral gap works specifically because of the hyperbolicity and other geometric properties unique to surface groups.

What would settle it

Finding a tracial representation of a surface group whose Wasserstein distance to every factorial spectral gap representation is bounded below by some positive number would disprove the approximation claim.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

This paper proves the trace space of surface groups is the Poulsen simplex by approximation with spectral-gap factorials, resolving an open question.

read the letter

This paper shows that the trace space of surface groups is the Poulsen simplex by proving that any tracial representation can be approximated arbitrarily well in the Wasserstein topology by factorial tracial representations with spectral gap. This directly answers the open question posed by Orovitz, Slutsky, and the third author. The work initiates the study of characters and tracial representations for surface groups. It does this by leveraging their hyperbolicity and residual finiteness to produce the required approximating sequences that converge to any given trace. The deduction from the approximation theorem to the Poulsen property is straightforward once the factorial traces are shown to be dense in the extreme points. The paper handles the argument well with no apparent circularity or unsupported steps. The central claim is a new theorem deduced from the approximation result, and the stress-test confirms the logical chain holds. On the softer side, the uniformity of the spectral gap construction across different surface groups might need close inspection in the full proof, but nothing indicates a load-bearing flaw. The result is specific to this class of groups, which is appropriate for the question it targets. This paper is for researchers working at the intersection of geometric group theory and von Neumann algebras, particularly those studying traces and rigidity for hyperbolic groups. A reader looking for a definitive description of the trace space will find it useful. It deserves a serious referee because it provides a positive resolution to a stated open problem with a concrete theorem that could see use in related areas. I would recommend sending it to peer review.

Referee Report

0 major / 0 minor

Summary. The manuscript initiates the study of characters of surface groups and their tracial representations. It proves that any tracial representation of a surface group can be approximated arbitrarily closely in the Wasserstein topology by factorial tracial representations possessing spectral gap. As a direct consequence, the space of traces on a surface group is shown to be the Poulsen simplex, thereby resolving positively a question of Orovitz, Slutsky, and the third author.

Significance. If the central approximation result holds, the work establishes a concrete geometric construction, leveraging residual finiteness and hyperbolicity of surface groups, that produces the required factorial representations with spectral gap. This yields a positive resolution to an open question on the structure of the trace space and identifies it with the Poulsen simplex, a universal Choquet simplex. The explicit approximation in the Wasserstein metric and the deduction to density of extreme points constitute a substantive contribution to the representation theory of hyperbolic groups.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work, as well as for recommending minor revision. The referee's description accurately captures our main results on tracial representations of surface groups and the identification of the trace space with the Poulsen simplex.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central result constructs approximations of arbitrary tracial representations by factorial ones with spectral gap, using residual finiteness and hyperbolicity of surface groups (standard geometric facts, not derived within the paper). The deduction that the trace space is the Poulsen simplex follows immediately from density of extreme points, which is a classical property of metrizable Choquet simplices. The reference to the open question of Orovitz-Slutsky-Vigdorovich is only a statement of the problem being solved and carries no load-bearing logical content. No equations reduce to self-definitions, fitted inputs, or ansatzes smuggled via self-citation. The argument is independent of the authors' prior work beyond posing the motivating question.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard facts about surface groups (hyperbolicity, residual finiteness) and operator-algebraic notions (factoriality, spectral gap, Wasserstein metric on representations). No new free parameters or invented entities are introduced.

axioms (1)

domain assumption Surface groups admit sufficiently many finite-dimensional representations or approximations allowing construction of factorial representations with spectral gap.
Invoked to obtain the approximating sequence in the Wasserstein topology.

pith-pipeline@v0.9.0 · 5349 in / 1217 out tokens · 36588 ms · 2026-05-08T02:19:05.603580+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

243 extracted references · 90 canonical work pages

[1]

Voiculescu, D. V. and Dykema, K. J. and Nica, A. , TITLE =. 1992 , PAGES =. doi:10.1090/crmm/001 , URL =

work page doi:10.1090/crmm/001 1992
[2]

Popa, Sorin , TITLE =. Invent. Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF01231293 , URL =

work page doi:10.1007/bf01231293 1993
[3]

Popa, Sorin , TITLE =. Invent. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00222-006-0501-4 , URL =

work page doi:10.1007/s00222-006-0501-4 2006
[4]

Acta Math

Ioana, Adrian and Peterson, Jesse and Popa, Sorin , TITLE =. Acta Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s11511-008-0024-5 , URL =

work page doi:10.1007/s11511-008-0024-5 2008
[5]

, title =

Alfsen, Erik M. , title =
[6]

, title =

Phelps, Robert R. , title =. 2001 , doi =

2001
[7]

, title =

Poulsen, Ebbe T. , title =. Annales de l'Institut Fourier , volume =. 1961 , url =

1961
[8]

Annales de l'Institut Fourier , volume =

Lindenstrauss, Joram , title =. Annales de l'Institut Fourier , volume =. 1978 , doi =

1978
[9]

, title =

Olsen, Gert H. , title =. Pacific Journal of Mathematics , volume =
[10]

Kubi. The. Transactions of the American Mathematical Society , year =. doi:10.1090/tran/7273 , eprint =

work page doi:10.1090/tran/7273
[11]

Canadian Journal of Mathematics , year =

Lupini, Martino , title =. Canadian Journal of Mathematics , year =. doi:10.4153/S0008414X21000334 , eprint =

work page doi:10.4153/s0008414x21000334
[12]

Mathematische Annalen , volume =

Thoma, Elmar , title =. Mathematische Annalen , volume =. 1964 , doi =

1964
[13]

Rudin, Walter , title =
[14]

The space of tracial states on a

Blackadar, Bruce and R. The space of tracial states on a. Expositiones Mathematicae , pages=. 2024 , publisher=

2024
[15]

and Ozawa, Narutaka , title =

Brown, Nathanial P. and Ozawa, Narutaka , title =. 2008 , doi =

2008
[16]

2002 , doi =

Takesaki, Masamichi , title =. 2002 , doi =

2002
[17]

Geometric and Functional Analysis , volume =

Biane, Philippe and Voiculescu, Dan , title =. Geometric and Functional Analysis , volume =. 2001 , doi =. math/0006044 , archivePrefix =

work page arXiv 2001
[18]

Advances in Mathematics , volume=

The space of traces of the free group and free products of matrix algebras , author=. Advances in Mathematics , volume=. 2025 , publisher=

2025
[19]

2024 , eprint =

Ioana, Adrian and Spaas, Pieter and Vigdorovich, Itamar , title =. 2024 , eprint =

2024
[20]

A free probability analogue of the

CBiane, Philippe and Voiculescu, Dan , journal=. A free probability analogue of the. 2001 , publisher=

2001
[21]

Compositio Mathematica , volume=

Trace spaces of full free product-algebras , author=. Compositio Mathematica , volume=. 2025 , publisher=

2025
[22]

A Haagerup Inequality for

Ramagge, Jacqui and Robertson, Guyan and Steger, Tim , journal=. A Haagerup Inequality for. 1998 , publisher=

1998
[23]

Annales de l'Institut Fourier , volume=

Effective equidistribution of S-integral points on symmetric varieties , author=. Annales de l'Institut Fourier , volume=
[24]

1972 , publisher=

Finiteness conditions and generalized soluble groups: Part 1 , author=. 1972 , publisher=

1972
[25]

1998 , publisher=

Automorphic forms and representations , author=. 1998 , publisher=

1998
[26]

Publications Math

The word and Riemannian metrics on lattices of semisimple groups , author=. Publications Math. 2000 , publisher=

2000
[27]

Polynomial effective density in quotient of

Lin, Zuo , journal=. Polynomial effective density in quotient of
[28]

Groups, Geometry, and Dynamics , year=

Twisted group C*-algebras of acylindrically hyperbolic groups have stable rank one , author=. Groups, Geometry, and Dynamics , year=
[29]

2012 , publisher=

Linear algebraic groups , author=. 2012 , publisher=

2012
[30]

2015 , publisher=

Introduction to arithmetic groups , author=. 2015 , publisher=

2015
[31]

Proceedings of the American Mathematical Society , volume=

On uniqueness of invariant means , author=. Proceedings of the American Mathematical Society , volume=
[32]

Compositio Mathematica , volume=

Random walks on projective spaces , author=. Compositio Mathematica , volume=. 2014 , publisher=

2014
[33]

Journal of algebra , volume=

Free subgroups in linear groups , author=. Journal of algebra , volume=. 1972 , publisher=

1972
[34]

2006 , PAGES =

Poznansky, Tal , TITLE =. 2006 , PAGES =

2006
[35]

2016 , publisher=

Strong rigidity of locally symmetric spaces , author=. 2016 , publisher=

2016
[36]

Chatterji, Indira , TITLE =. Around
[37]

Inventiones mathematicae , volume=

Amenable unitary representations of locally compact groups , author=. Inventiones mathematicae , volume=. 1990 , publisher=

1990
[38]

Mathai, Varghese and Shubin, Mikhail , journal=. Twisted
[39]

Correspondences, von

Carey, A and Farber, Michael and Mathai, Varghese , journal=. Correspondences, von. 2000 , publisher=

2000
[40]

An invitation to higher

Wienhard, Anna , booktitle=. An invitation to higher. 2018 , organization=

2018
[41]

preprint , volume=

Character rigidity for lattices in higher-rank groups , author=. preprint , volume=
[42]

Free quotients and the first

Lubotzky, Alexander , journal=. Free quotients and the first. 1996 , publisher=

1996
[43]

Communications in Mathematical Physics , volume=

Duality for Optimal Couplings in Free Probability , author=. Communications in Mathematical Physics , volume=. 2022 , publisher=

2022
[44]

Annales Henri Lebesgue , volume=

Charmenability of higher rank arithmetic groups , author=. Annales Henri Lebesgue , volume=
[45]

Levit, R

Spectral gap and character limits in arithmetic groups , author=. arXiv preprint arXiv:2308.05562 , year=

work page arXiv
[46]

Conley, Clinton and T. A. Sets and computations , pages=. 2018 , publisher=

2018
[47]

Finite representations in the unitary dual and

Lubotzky, Alexander and Shalom, Yehuda , journal=. Finite representations in the unitary dual and. 2004 , publisher=

2004
[48]

Geometry & Topology , volume=

Dense embeddings of surface groups , author=. Geometry & Topology , volume=. 2006 , publisher=

2006
[49]

Notes on hypertraces and

B. Notes on hypertraces and. Journal of Operator Theory , pages=. 1995 , publisher=

1995
[50]

arXiv preprint arXiv:2506.20843 , year=

Connections between hyperlinearity, stability and character rigidity for higher rank lattices , author=. arXiv preprint arXiv:2506.20843 , year=

work page arXiv
[51]

2001 , school=

On property (RD) for certain discrete groups , author=. 2001 , school=

2001
[52]

and Robertson, G

Ramagge, J. and Robertson, G. and Steger, T. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s000390050071 , URL =

work page doi:10.1007/s000390050071 1998
[53]

2003 , PAGES =

Serre, Jean-Pierre , TITLE =. 2003 , PAGES =

2003
[54]

Lubotzky, Alexander and Mozes, Shahar and Raghunathan, M. S. , TITLE =. C. R. Acad. Sci. Paris S\'er. I Math. , FJOURNAL =. 1993 , NUMBER =

1993
[55]

Structural properties of reduced

Itamar Vigdorovich , year=. Structural properties of reduced
[56]

An example of a non nuclear

Haagerup, Uffe , journal=. An example of a non nuclear. 1978 , publisher=

1978
[57]

2002 , PAGES =

Valette, Alain , TITLE =. 2002 , PAGES =. doi:10.1007/978-3-0348-8187-6 , URL =

work page doi:10.1007/978-3-0348-8187-6 2002
[58]

and Ruane, K

Chatterji, Indira and Ruane, Kim , date =. Some geometric groups with Rapid Decay , url =. Geom. Funct. Anal. , fjournal =. 2005 , bdsk-url-1 =. doi:10.1007/s00039-005-0508-9 , id =

work page doi:10.1007/s00039-005-0508-9 2005
[59]

Kirchberg, Eberhard and Vaillant, Ghislain , TITLE =. Invent. Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF02100619 , URL =

work page doi:10.1007/bf02100619 1992
[60]

Robert, Leonel , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2025.110409 , URL =

work page doi:10.1016/j.aim.2025.110409 2025
[61]

Proximality and selflessness for group

Narutaka Ozawa , year=. Proximality and selflessness for group
[62]

The rapid decay property and centroids in groups , author=. J. Topol. Anal. , fjournal=. 2015 , publisher=

2015
[63]

Strict comparison in reduced group

Tattwamasi Amrutam and David Gao and Srivatsav Kunnawalkam Elayavalli and Gregory Patchell , year=. Strict comparison in reduced group
[64]

Complete growth functions of hyperbolic groups , url =

Grigorchuk, Rostislav and Nagnibeda, Tatiana , date =. Complete growth functions of hyperbolic groups , url =. Invent. Math. , fjournal =. 1997 , bdsk-url-1 =. doi:10.1007/s002220050181 , id =

work page doi:10.1007/s002220050181 1997
[65]

Negative resolution to the

Srivatsav Kunnawalkam Elayavalli and Christopher Schafhauser , year=. Negative resolution to the
[66]

Louder, Larsen and Magee, Michael , TITLE =. J. Funct. Anal. , FJOURNAL =. 2025 , NUMBER =. doi:10.1016/j.jfa.2024.110803 , URL =

work page doi:10.1016/j.jfa.2024.110803 2025
[67]

Lafforgue, Vincent , date =. K-th. Invent. Math. , fjournal =. 2002 , bdsk-url-1 =. doi:10.1007/s002220200213 , id =

work page doi:10.1007/s002220200213 2002
[68]

2024 , eprint=

Distortion in graphs of groups and Rapid Decay classification of 3-manifold groups , author=. 2024 , eprint=

2024
[69]

Selfless reduced free product

Ben Hayes and Srivatsav Kunnawalkam Elayavalli and Leonel Robert , year=. Selfless reduced free product
[70]

Khintchine type inequalities for reduced free products and applications , JOURNAL =

Ricard, \'. Khintchine type inequalities for reduced free products and applications , JOURNAL =. 2006 , PAGES =. doi:10.1515/CRELLE.2006.077 , URL =

work page doi:10.1515/crelle.2006.077 2006
[71]

and Rees, Sarah , TITLE =

Ciobanu, Laura and Holt, Derek F. and Rees, Sarah , TITLE =. J. Topol. Anal. , FJOURNAL =. 2013 , NUMBER =. doi:10.1142/S1793525313500052 , URL =

work page doi:10.1142/s1793525313500052 2013
[72]

Lafforgue, Vincent , TITLE =. J. Lie Theory , FJOURNAL =. 2000 , NUMBER =

2000
[73]

, TITLE =

Behrstock, Jason A. and Minsky, Yair N. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jlms/jdr027 , URL =

work page doi:10.1112/jlms/jdr027 2011
[74]

Harpe, Pierre de la , TITLE =. C. R. Acad. Sci. Paris S\'er. I Math. , FJOURNAL =. 1988 , NUMBER =

1988
[75]

On degrees of growth of finitely generated groups , author=. Funct. Anal. Appl. , volume=. 2005 , publisher=

2005
[76]

Mathematics of the USSR-Izvestiya , volume=

Degrees of growth of finitely generated groups, and the theory of invariant means , author=. Mathematics of the USSR-Izvestiya , volume=. 1985 , publisher=

1985
[77]

Groups of oscillating intermediate growth , author=. Ann. of Math. , pages=. 2013 , publisher=

2013
[78]

Groups of intermediate growth: an introduction , author=. Enseign. Math.(2) , volume=
[79]

On the gap conjecture concerning group growth , author=. Bull. Math. Sci. , volume=. 2014 , publisher=

2014
[80]

K-theory of reduced

Jolissaint, Paul , journal=. K-theory of reduced. 1989 , publisher=

1989

Showing first 80 references.