arxiv: 2604.15843 · v1 · submitted 2026-04-17 · 🧮 math.LO · math.FA· math.GR· math.KT· math.OA

Recognition: unknown

Polish spaces for countable and separable structures through quotient encodings

Tomasz Kania

Pith reviewed 2026-05-10 07:32 UTC · model grok-4.3

classification 🧮 math.LO math.FAmath.GRmath.KTmath.OA

keywords Polish spacesWijsman topologyBorel hierarchyC*-algebrasquotient encodingsdefinabilityK-theorycountable groups

0 comments

The pith

Quotient encodings of separable structures place many natural properties inside the Borel hierarchy with ranks controlled by logical complexity.

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

The paper shows how to code separable Banach-type objects and countable algebraic structures uniformly as quotients of fixed universal generators. Properties then become sets of kernels or congruences whose complexity is read off directly from the defining formulas. For Banach algebras, C*-algebras, lattices and TROs the space of kernels is Polish in the Wijsman topology and the quotient-norm map is continuous, so the Borel rank of a property is at most the number of quantifier alternations in its definition. The same method yields compact Polish spaces of congruences for groups, rings and lattices, with atomic predicates clopen. Concrete consequences include stable finiteness being closed, nuclearity Borel, AF-ness Pi^0_3, soficity G_delta, and an internal Borel coding of the K_0 group whose sections are F_sigma.

Core claim

Objects are presented as quotients of a universal generator and definability is read directly from the quotient data. For separable Banach-type structures the kernel space is Polish under the Wijsman topology, and the quotient-norm functional K maps to ||x+K|| is continuous, yielding a uniform definability scheme whose Borel ranks are bounded by quantifier alternation depth. For countable algebraic structures the authors work on compact Polish spaces of congruences where atomic predicates are clopen. Explicit upper bounds follow for many concrete properties, some shown optimal, together with a Pi^1_1-complete example outside the Borel hierarchy.

What carries the argument

The quotient encoding of a structure, with kernels equipped with the Wijsman topology (for Banach-type cases) or congruences forming a compact Polish space (for algebraic cases).

If this is right

Stable finiteness of unital C*-algebras is a closed property.
Nuclearity is a Borel set and nuclear dimension at most n is Pi^0_3.
Simplicity is G_delta and AF-ness is Pi^0_3.
Soficity of countable groups is G_delta and slenderness of abelian groups is Pi^0_3.
Each fixed K_0 coordinate is an F_sigma set and higher K-groups inherit Borel codes via suspension and Bott periodicity.

Where Pith is reading between the lines

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

The same quotient technique could be tested on operator systems or Jordan algebras to obtain uniform complexity bounds.
Optimality results for Sigma^0_2- and Pi^0_2-complete properties indicate that some algebraic distinctions are intrinsically low in the hierarchy and cannot be simplified further.
The internal Borel coding of K-theory supplies a concrete bridge between C*-algebra classification and effective descriptive set theory.

Load-bearing premise

The structures must be presentable as quotients of one fixed universal generator so that the relevant predicates become continuous or clopen functions on the space of kernels or congruences.

What would settle it

Exhibit a separable Banach algebra whose kernel space fails to be Polish in the Wijsman topology, or produce a first-order property whose definability set lies strictly above the quantifier-alternation bound given by the paper.

read the original abstract

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient data. For separable Banach-type structures (Banach algebras, $C^*$-algebras, Banach lattices, TROs) the kernel space is Polish under the Wijsman topology, and the quotient-norm functional $K\mapsto \|x+K\|$ is continuous, yielding a uniform definability scheme whose Borel ranks are bounded by quantifier alternation depth. For countable algebraic structures (groups, rings, lattices) we work on compact Polish spaces of congruences where atomic predicates are clopen. We obtain explicit Borel upper bounds: in the \emph{unital} $C^*$-algebra coding based on $C^*_{\max}(F_\infty)$, stable finiteness is closed, nuclearity is Borel, simplicity is~$G_\delta$, AF-ness lies in~$\Pi^0_3$, nuclear dimension~$\le n$ lies in~$\Pi^0_3$, and for fixed exact~$D$, $D$-absorption is analytic. For countable groups, soficity is~$G_\delta$; for abelian groups, slenderness is~$\Pi^0_3$. We give an internal Borel coding of the $K_0$-assignment in the quotient/Wijsman framework; for each fixed coordinate the corresponding section is $F_\sigma$, and suspension together with Bott periodicity yields Borel codings of all higher $K$-groups. We also show that several bounds are optimal ($\Sigma^0_2$- and $\Pi^0_2$-complete). To calibrate the method's reach, we exhibit a $\Pi^1_1$-complete property (separable dual in the commutative $C^*$-setting), provably outside the Borel hierarchy.

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 gives a workable quotient-encoding method that puts many properties of C*-algebras and countable structures into the Borel hierarchy with explicit bounds and some new K-group codings.

read the letter

The main contribution is a uniform way to treat separable Banach-type objects and countable algebras as quotients of a fixed generator, then read off Borel complexity from the quotient data. For C*-algebras coded via C*_max(F_∞), the kernel space is Polish in the Wijsman topology and the quotient-norm map is continuous, so definability ranks are controlled by quantifier depth. This yields concrete upper bounds: stable finiteness closed, nuclearity Borel, simplicity G_δ, AF-ness Π⁰₃, nuclear dimension ≤ n in Π⁰₃, and D-absorption analytic for fixed exact D. For groups, soficity is G_δ and slenderness for abelian groups is Π⁰₃. The internal Borel coding of K_0 (F_σ sections) and the extension to higher K-groups via suspension and Bott periodicity is new in this quotient setting. They also show some bounds are optimal and exhibit a Π¹₁-complete property outside Borel, which calibrates the method's reach. The foundations rest on standard Polish-space facts, so the core argument holds up without circularity. The derivations follow directly from the encoding once the topology and continuity are in place. A minor soft spot is that the explicit reductions establishing optimality for the Σ⁰₂- and Π⁰₂-complete cases are asserted rather than unpacked in the abstract, so a referee would want to see the concrete reductions. The same goes for verifying that every listed structure inherits Polishness under the chosen topology. This is useful for anyone working on classification problems in operator algebras or descriptive set theory of algebraic structures. It organizes existing facts and adds a few new codings in one place. I would send it to peer review; the technical grounding and the range of examples are enough to justify referee time.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a unified quotient-encoding framework for locating natural properties of algebraic and analytic structures in the Borel hierarchy. Structures are presented as quotients of a universal generator; for separable Banach-type structures (Banach algebras, C*-algebras, Banach lattices, TROs) the space of kernels is Polish in the Wijsman topology with the quotient-norm map K ↦ ||x+K|| continuous, bounding definability complexity by quantifier alternation depth. For countable structures (groups, rings, lattices) the space of congruences is compact Polish with atomic predicates clopen. Explicit upper bounds are derived (stable finiteness closed, nuclearity Borel, simplicity G_δ, AF-ness Π⁰₃, nuclear dimension ≤n Π⁰₃, D-absorption analytic; soficity G_δ; slenderness Π⁰₃), some shown optimal (Σ⁰₂- and Π⁰₂-complete), an internal Borel coding of K-theory is given (K_0 sections F_σ, higher groups via suspension/Bott periodicity), and a Π¹₁-complete example (separable dual in commutative C*) is exhibited outside the Borel hierarchy.

Significance. If the technical claims hold, the work supplies a systematic, uniform method for bounding the descriptive complexity of properties in operator algebras and algebra by quantifier depth, with concrete applications to C*-algebras and groups. The explicit bounds, optimality results, and Borel coding of K-theory constitute clear strengths; the reliance on standard facts about the Wijsman topology and Polish quotient spaces adds robustness. This framework could serve as a reference point for future descriptive-set-theoretic investigations in functional analysis.

major comments (2)

[Section on separable Banach-type structures and the Wijsman topology claim] The continuity of the quotient-norm functional K ↦ ||x+K|| (central to the uniform definability scheme and all subsequent Borel bounds) is asserted for the kernel spaces of closed ideals/congruences in Banach-type structures, but the manuscript provides no explicit lemma or derivation verifying this continuity specifically under the Wijsman topology for each class (C*-algebras, Banach lattices, TROs); this verification is load-bearing and must be supplied with full details.
[Results on optimality and the Π¹₁-complete example] The optimality claims (several bounds are Σ⁰₂- or Π⁰₂-complete) and the construction exhibiting a Π¹₁-complete property (separable dual in the commutative C* setting) are stated in the abstract and used to calibrate the method's reach, yet the explicit reductions or hardness arguments are not accessible; without these details it is impossible to confirm they support the central calibration of the framework.

minor comments (2)

[Abstract] The notation for Borel pointclasses (e.g., Π^0_3, G_δ) would benefit from a short parenthetical reminder of the hierarchy conventions in the introduction or abstract for readers outside descriptive set theory.
[K-theory coding subsection] The internal Borel coding of the K_0-assignment and the passage to higher K-groups via suspension and Bott periodicity would be clearer with an explicit example or diagram showing how the F_σ sections arise for a fixed coordinate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive evaluation of the framework's significance, and specific suggestions for improvement. We address each major comment below with clarifications and commitments to revision where warranted.

read point-by-point responses

Referee: [Section on separable Banach-type structures and the Wijsman topology claim] The continuity of the quotient-norm functional K ↦ ||x+K|| (central to the uniform definability scheme and all subsequent Borel bounds) is asserted for the kernel spaces of closed ideals/congruences in Banach-type structures, but the manuscript provides no explicit lemma or derivation verifying this continuity specifically under the Wijsman topology for each class (C*-algebras, Banach lattices, TROs); this verification is load-bearing and must be supplied with full details.

Authors: We agree that the continuity of K ↦ ||x + K|| under the Wijsman topology is foundational and that the manuscript would benefit from an explicit, self-contained verification for each structure class. While the argument follows from standard properties of the Wijsman topology on closed subsets of separable Banach spaces (combined with the continuity of the ambient norm), we will add a dedicated lemma in the revised manuscript (placed immediately after the definition of the kernel space in the Banach-type structures section). The lemma will derive continuity separately for C*-algebras, Banach lattices, and TROs by showing that Wijsman convergence of kernels implies convergence of distances to fixed elements, using the triangle inequality and the fact that the quotient norm is 1-Lipschitz. This will render the uniform definability scheme fully rigorous without relying on implicit appeals to general facts. revision: yes
Referee: [Results on optimality and the Π¹₁-complete example] The optimality claims (several bounds are Σ⁰₂- or Π⁰₂-complete) and the construction exhibiting a Π¹₁-complete property (separable dual in the commutative C* setting) are stated in the abstract and used to calibrate the method's reach, yet the explicit reductions or hardness arguments are not accessible; without these details it is impossible to confirm they support the central calibration of the framework.

Authors: The explicit reductions establishing the Σ⁰₂- and Π⁰₂-completeness results, together with the detailed construction showing Π¹₁-completeness of the separable dual property in the commutative C*-setting, appear in the full manuscript (in the subsections on optimality and the example outside the Borel hierarchy). Nevertheless, we acknowledge that their placement may make them less immediately accessible to readers. In the revision we will insert a short overview paragraph at the start of the optimality discussion that summarizes the key ideas of each reduction (including the computable mappings used for hardness), while retaining the full arguments in their current locations. This change will improve readability and transparency of the calibration without altering any technical content. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard Polish space facts

full rationale

The paper presents structures as quotients of a universal generator and reads definability from quotient data using the Wijsman topology on the space of kernels. Polishness of this space and continuity of K ↦ ||x + K|| follow from the standard definition of the Wijsman topology on closed subsets of separable metric spaces, which is an external result independent of the paper. Borel rank bounds are then obtained directly from quantifier alternation depth in the definability scheme, with explicit classifications (e.g., stable finiteness closed, AF-ness Π⁰₃) derived without fitting parameters or reducing claims to self-citations. No self-definitional loops, renamed known results, or load-bearing self-citations appear in the chain; the framework is self-contained against external descriptive set theory benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on standard descriptive set theory and functional analysis assumptions without introducing free parameters or new entities; all claims derive from quotient encodings and known topologies.

axioms (2)

domain assumption The Wijsman topology renders the space of closed kernels Polish for separable Banach-type structures.
Invoked to ensure continuity of the quotient-norm functional and uniform definability.
domain assumption Atomic predicates are clopen in compact Polish spaces of congruences for countable algebraic structures.
Used to place properties of groups, rings, and lattices at low Borel levels.

pith-pipeline@v0.9.0 · 5649 in / 1480 out tokens · 82737 ms · 2026-05-10T07:32:51.699677+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

47 extracted references · 3 canonical work pages

[1]

W. B. Arveson,Subalgebras ofC ∗-algebras, Acta Math.123(1969), 141–224

1969
[2]

Beer,Topologies on closed and closed convex sets, Mathematics and its Applications, vol

G. Beer,Topologies on closed and closed convex sets, Mathematics and its Applications, vol. 268, Kluwer Academic Publishers, Dordrecht, 1993

1993
[3]

Balcerzak and T

M. Balcerzak and T. Kania,The existence of UFO implies projectively universal morphisms, Proc. Amer. Math. Soc.151(2023), no. 9, 3737–3742

2023
[4]

Blackadar,K-theory for operator algebras, 2nd ed., Mathematical Sciences Research Institute Pub- lications, vol

B. Blackadar,K-theory for operator algebras, 2nd ed., Mathematical Sciences Research Institute Pub- lications, vol. 5, Cambridge University Press, Cambridge, 1998

1998
[5]

Blackadar,Operator algebras: Theory ofC∗-algebras and von Neumann algebras, Encyclopaedia of Mathematical Sciences, vol

B. Blackadar,Operator algebras: Theory ofC∗-algebras and von Neumann algebras, Encyclopaedia of Mathematical Sciences, vol. 122, Operator Algebras and Non-Commutative Geometry III, Springer- Verlag, Berlin, 2006

2006
[6]

Becker and A

H. Becker and A. S. Kechris,The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996

1996
[7]

Blanchard,Tensor products ofC(X)-algebras overC(X), Astérisque232(1995), 81–92

E. Blanchard,Tensor products ofC(X)-algebras overC(X), Astérisque232(1995), 81–92. POLISH SPACES FOR COUNTABLE AND SEPARABLE STRUCTURES 73

1995
[8]

N. P. Brown and N. Ozawa,C∗-algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI, 2008

2008
[9]

M. Cúth, M. Doležal, M. Doucha, and O. Kurka,Polish spaces of Banach spaces, Forum Math. Sigma 10(2022), Paper No. e26, 28 pp

2022
[10]

M. Cúth, M. Doležal, M. Doucha, and O. Kurka,Polish spaces of Banach spaces: Complexity of isometry and isomorphism classes, J. Inst. Math. Jussieu23(2024), no. 4, 1919–1957

2024
[11]

Daws and B

M. Daws and B. Horváth,A purely infinite Cuntz-like Banach∗-algebra with no purely infinite ultra- powers, J. Funct. Anal.283(2022), no. 1, 109488

2022
[12]

Daws and B

M. Daws and B. Horváth,Ring-theoretic (in)finiteness in reduced products of Banach algebras, Cana- dian J. Math.73(2021), no. 5, 1423–1458

2021
[13]

Dixmier,C ∗-algebras, North-Holland Mathematical Library, vol

J. Dixmier,C ∗-algebras, North-Holland Mathematical Library, vol. 15, North-Holland, Amsterdam– New York–Oxford, 1977

1977
[14]

Draga and T

S. Draga and T. Kania,When is multiplication in a Banach algebra open?, Linear Algebra Appl.538 (2018), 149–165

2018
[15]

G. A. Elliott,On the classification of inductive limits of sequences of semisimple finite-dimensional algebras, J. Algebra38(1976), 29–44

1976
[16]

E. G. Effros and Z.-J. Ruan,Operator spaces, London Mathematical Society Monographs, New Series, vol. 23, Oxford University Press, Oxford, 2000

2000
[17]

G. A. Elliott, I. Farah, V. I. Paulsen, C. Rosendal, A. S. Toms, and A. Törnquist,The isomorphism relation for separableC∗-algebras, Math. Res. Lett.20(2013), no. 6, 1071–1080

2013
[18]

Farah, A

I. Farah, A. S. Toms, and A. Törnquist,The descriptive set theory ofC∗-algebra invariants, Int. Math. Res. Not. IMRN2013, no. 22, 5196–5226
[19]

Farah, A

I. Farah, A. S. Toms, and A. Törnquist,Turbulence, orbit equivalence, and the classification of nuclear C ∗-algebras, J. Reine Angew. Math.688(2014), 101–146

2014
[20]

Farah, B

I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati, and W. Winter,Model theory of C ∗-algebras, Mem. Amer. Math. Soc.271(2021), no. 1324

2021
[21]

Friedman and L

H. Friedman and L. Stanley,A Borel reducibility theory for classes of countable structures, J. Symbolic Logic54(1989), no. 3, 894–914

1989
[22]

Avilés, J

A. Avilés, J. Rodríguez, and P. Tradacete,The free Banach lattice generated by a Banach space, J. Funct. Anal.274(2018), no. 10, 2955–2977

2018
[23]

Fuchs,Infinite abelian groups

L. Fuchs,Infinite abelian groups. Vol. II, Pure and Applied Mathematics, vol. 36-II, Academic Press, New York–London, 1973

1973
[24]

Gao,Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol

S. Gao,Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009

2009
[25]

Gromov, Endomorphisms of symbolic algebraic varieties, J

M. Gromov, Endomorphisms of symbolic algebraic varieties, J. Eur. Math. Soc.1(1999), no. 2, 109– 197

1999
[26]

G.GodefroyandJ.Saint-Raymond,Admissible topologies on the space of closed subspaces of a separable Banach space, J. Funct. Anal.275(2018), no. 9, 2379–2407

2018
[27]

Hjorth,Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol

G. Hjorth,Classification and orbit equivalence relations, Mathematical Surveys and Monographs, vol. 75, American Mathematical Society, Providence, RI, 2000

2000
[28]

R. H. Herman and L. N. Vaserstein,The stable range ofC∗-algebras, Invent. Math.77(1984), no. 3, 553–555

1984
[29]

Kania,There is no universal separable Banach algebra, preprint, arXiv:2511.04314, 2025

T. Kania,There is no universal separable Banach algebra, preprint, arXiv:2511.04314, 2025

work page arXiv 2025
[30]

Kania and N

T. Kania and N. Maślany,Differential embeddings into algebras of topological stable rank1, Proc. Roy. Soc. Edinburgh Sect. A, published online 20 November 2024, 1–25, doi:10.1017/prm.2024.108

work page doi:10.1017/prm.2024.108 2024
[31]

Kirchberg,On non-semisplit extensions, tensor products and exactness of groupC∗-algebras, Invent

E. Kirchberg,On non-semisplit extensions, tensor products and exactness of groupC∗-algebras, Invent. Math.112(1993), no. 3, 449–489

1993
[32]

Kirchberg and S

E. Kirchberg and S. Wassermann,Operations on continuous bundles ofC∗-algebras, Math. Ann.303 (1995), no. 4, 677–698. 74 T. KANIA

1995
[33]

A. S. Kechris,Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer- Verlag, Berlin, 1995

1995
[34]

Kavruk, V

A. Kavruk, V. I. Paulsen, I. G. Todorov, and M. Tomforde,Quotients, exactness, and nuclearity in the operator system category, Adv. Math.235(2013), 321–360

2013
[35]

T. A. Loring,Lifting solutions to perturbing problems inC ∗-algebras, Fields Institute Monographs, vol. 8, American Mathematical Society, Providence, RI, 1997

1997
[36]

R. C. Lyndon and P. E. Schupp,Combinatorial group theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 89, Springer-Verlag, Berlin–Heidelberg, 1977

1977
[37]

Niwiński,Polish spaces of separable Banach lattices, in preparation

M. Niwiński,Polish spaces of separable Banach lattices, in preparation
[38]

P. S. Novikov,Ob algoritmicheskoj nerazreshimosti problemy tozhdestva slov v teorii grupp[On the algorithmic unsolvability of the word problem in group theory], Trudy Matematicheskogo Instituta imeni V. A. Steklova44(1955), 3–143 (Russian)

1955
[39]

Pisier,Introduction to operator space theory, London Mathematical Society Lecture Note Series, vol

G. Pisier,Introduction to operator space theory, London Mathematical Society Lecture Note Series, vol. 294, Cambridge University Press, Cambridge, 2003

2003
[40]

J. Pi, M. Szachniewicz, and M. Tartarotti,A game-theoretic unital classification theorem forC ∗- algebras, preprint, arXiv:2601.01735, 2026

work page arXiv 2026
[41]

Rørdam, F

M. Rørdam, F. Larsen, and N. J. Laustsen,An introduction toK-theory forC ∗-algebras, London Mathematical Society Student Texts, vol. 49, Cambridge University Press, Cambridge, 2000

2000
[42]

M. A. Rieffel,Dimension and stable rank in theK-theory ofC ∗-algebras, Proc. London Math. Soc. (3)46(1983), no. 2, 301–333

1983
[43]

Sabok,Completeness of the isomorphism problem for separableC ∗-algebras, Invent

M. Sabok,Completeness of the isomorphism problem for separableC ∗-algebras, Invent. Math.204 (2016), no. 3, 833–868

2016
[44]

Shiner,Descriptive set theory of C*-algebraic functors and the Kasparov product, work in progress, 2026

A. Shiner,Descriptive set theory of C*-algebraic functors and the Kasparov product, work in progress, 2026

2026
[45]

A. S. Toms and W. Winter,Strongly self-absorbingC∗-algebras, Trans. Amer. Math. Soc.359(2007), 3999–4029

2007
[46]

N. E. Wegge-Olsen,K-theory andC ∗-algebras: a friendly approach, Oxford Science Publications, Oxford University Press, New York, 1993

1993
[47]

Winter and J

W. Winter and J. Zacharias,The nuclear dimension ofC ∗-algebras, Adv. Math.224(2010), no. 2, 461–498. (T. Kania)Mathematical Institute, Czech Academy of Sciences, Žitná 25, 115 67 Praha 1, Czech Republic and Institute of Mathematics and Computer Science, Jagiellonian Uni- versity, Łojasiewicza 6, 30-348 Kraków, Poland Email address:kania@math.cas.cz, toma...

2010