arXiv:2102.03477v1 [math.GR] 6 Feb 2021 oe reducible Borel from neuvlnerelation equivalence an as serve relations equivalence to is ento 1.1. Definition ob oe sasbe of subset a as Borel be to n ocmaetecmlxt fdffrn lsicto rbesi m in problems classification different ( of pair complexity a with the identified compare to one ewl xli eo htoecnrgr h space the regard can one that below explain will We and are C nteaeinctgr faeingop.Tosc extensions such Two groups. abelian of category abelian the in h eaino qiaec fetnin of extensions of equivalence of relation the uiiiy ooso uco,gopwt oihcover. Polish a with group functor, cotorsion ducibility, qiaec.(nwa olw,w suealtegop ob abelian be to groups the all assume we follows, what (In equivalence. H LSIIAINPOLMFRETNIN FTRINABELI TORSION OF EXTENSIONS FOR PROBLEM CLASSIFICATION THE tms scomplicated as most at r onal rus netninof extension An groups. countable are hl oe euiiiypoie a ocmaedffrn classificat different compare to way a provides reducibility Borel While ewl td h relations the study will We 2000 Date e od n phrases. and words Key h uhrwsprilyspotdb ase udFast-St Fund Marsden a by supported partially was author The nti ae esuytecmlxt fcasfigetnin ftw of extensions classifying of complexity the study we paper this In S equivalent if R • • eray9 2021. 9, February : S ≤ R ahmtc ujc Classification. Subject Mathematics smooth setal hyperfinite essentially Abstract. lsicto rbe o xesosof extensions for problem classification ysoigta hyfr naeincategory. abelian an develop form further they we that showing goal, by this Toward complexity. potential to S saBrlfunction Borel a is and fteeeit ru isomorphism group a exists there if to fi sBrlrdcbet h eaino qaiyo oePls space; Polish some on equality of relation the to reducible Borel is it if ups ht( that Suppose S ie onal bla groups abelian countable Given R ≤ S n write and , X, R ru xeso,Pls ru,pr xeso,Brlcompl Borel extension, pure group, Polish extension, Group R . saohrone. another as is: X where ) × benchmarks fi sBrlrdcbet h relation the to reducible Borel is it if R S ≤ R X X, Ext f h oinof notion The . R X : ( n ( and ) C,A X fteei oe euto from reduction Borel a is there if , saPls pc and space Polish a is rmr 01,2K5 40;Scnay2K0 20K45. 20K40, Secondary 54H05; 20K35, 20K10, Primary → ) C C rmteprpcieo oe opeiyter.Ti framework This theory. complexity Borel of perspective the from oclbaetecmlxt fohrcasfiainpolm.Particu problems. classification other of complexity the calibrate to Y C Y, by by satisfying S by 0 A ,A C, 0 0 C X X A A A r oe qiaec eain nPls pcs A spaces. Polish on relations equivalence Borel are ) npriua,w hwta uhapolmcnhv arbitrar have can problem a such that show we particular, In . → → → 1. ATN LUPINI MARTINO A sasoteatsequence exact short a is oe reducibility Borel with , A ψ A A Introduction sa qiaec relation equivalence an is : → → → Ext X C f X X X 1 → r rn U11 rmteRylSceyT Ap¯arangi. Te Society Royal the from VUW1816 Grant art ( oso,w opt h oeta opeiycaso the of class complexity potential the compute we torsion, ψ ′ ′ ( x → → ,A C, R → h hoyo ruswt oihcvr nparticular in cover, Polish a with groups of theory the ) X S sa qiaec eainon relation equivalence an is C C ′ C f htmkstefloigdarmcommute. diagram following the makes that fetnin of extensions of ) → → ( → y C ) 0 0 0 atrsteie htacasfiainproblem classification a that idea the captures ⇔ E n diieydntd)Spoethat Suppose denoted.) additively and 0 x fti qiaec fbnr sequences; binary of equivalence tail of R R teais lsicto rbe is problem classification A athematics. ie onal bla rusu to up groups abelian countable given o y to xt hoy oeta opeiy oe re- Borel complexity, potential theory, exity o every for o rbes oeipratBorel important some problems, ion R S esythat say We . Ext C ( C,A by ,y x, ) A on saPls pc.Thus, space. Polish a as X ∈ Ext hc ewl assume will we which , X R esythat say We . ( is ,A C, NGROUPS AN oe bireducible Borel oe reduction Borel l high ily ). A allows larly, R and is 2 MARTINO LUPINI

• essentially countable if it is Borel reducible to a Borel equivalence relation whose equivalence classes are countable. ω The relation E0 is by definition the Borel equivalence relation on C := {0, 1} defined by setting, for (xi) , (yi) ∈C, ω ω (xi) E0 (yi) ⇔ ∃n∀i ≥ n, xi = yi. We then let E0 to be the equivalence relation on C defined by setting, for ω ω (xi) , (yi) ∈C , (xi) E0 (yi) ⇔ ∀i ∈ ω (xiE0yi). As RExt(C,A) is a Borel equivalence relation, by the Glimm–Effros Dichotomy [HKL90], RExt(C,A) is not smooth if and only if E0 ≤ RExt(C,A). Furthermore, RExt(C,A) is the orbit equivalence relation induced by a continuous action of a non-Archimedean abelian Polish group. Therefore, by [DG17, Theorem 6.1, Corollary 6.3] and [HK97, Theorem 8.1], RExt(C,A) is not essentially hyperfinite if and only if it is not essentially countable if and only if ω E0 ≤ RExt(C,A). In the following we will completely characterize the pairs A, C of countable abelian groups with ω C torsion such that RExt(C,A) is smooth, bireducible with E0, and bireducible with E0 , respectively. Recall that an abelian group A has a largest divisible subgroup D (A), which is a direct summand of A. We say that A is reduced if D (A) = 0, and bounded if nA = 0 for some n ≥ 1, where nA = {nx : x ∈ A}. For a prime p, the p-primary subgroup of A is the subgroup consisting of elements of order pn for some n ∈ ω. The Ulm subgroups α 0 α β uα (A)= A for α<ω1 are defined recursively by setting A = A and A = β<α n∈ω nA for 0 <α<ω1. Theorem 1.2. Suppose that C, A are countable abelian groups, with C torsion.T T For a prime number p, we let Ap ⊆ A/D (A) be the p-primary subgroup of A/D (A) and Cp ⊆ C be the p-primary subgroup of C.

(1) RExt(C,A) is smooth if and only if, for every prime number p, either u1 (Cp)=0 or Ap is bounded; (2) RExt(C,A) is essentially hyperfinite if and only if for every prime number p, either u2 (Cp)=0 or u1 (Ap)= 0, and the sum of |u1 (Cp)| ranging over all prime numbers p such that Ap is unbounded is finite; ω (3) RExt(C,A) ≤ E0 if and only if, for every prime number p, one of the following holds: (a) u2 (Cp)=0; (b) u1 (Ap)=0; (c) u3 (Cp)=0 and u1 (Ap) is bounded. We will obtain a generalization of Theorem 1.2 that completely determines the potential complexity of the relation RExt(C,A). The notion of potential complexity of a Borel equivalence relation on a Polish space was introduced by Louveau in [Lou94]; see also [Kec02, HK96, HKL98] and [Gao09, Definition 12.5.1]. A complexity class of sets Γ is a function X 7→ Γ (X) that assigns to each Polish space X a collection Γ (X) of Borel subsets of X, such that if f : X → Y is a continuous function and A ∈ Γ (Y ) then f −1 (A) ∈ Γ (X). If A ∈ Γ (X) we also say that A is Γ in X. Following [HKL98], for a complexity class Γ, we let D (Γ) be the complexity class consisting of differences between sets in Γ, and Γˇ be the dual complexity class consisting of complements of elements of Γ. We denote by Dˇ (Γ) the 0 0 0 dual class of D (Γ). We will mainly be interested in the complexity classes Σα, Πα, and D Πα for α ∈ ω1; see [Kec95, Section 11.B].
Definition 1.3. Let Γ be a complexity class. Suppose that (X, R) is a Borel equivalence relation on a Polish space. Then R is potentially Γ if there exists a Borel equivalence relation (Y, S) such that S ∈ Γ (Y × Y ) and R is Borel reducible to S.

The concept of potential complexity affords us to measure the complexity of an equivalence relation. The benchmarks considered above can be expressed in terms of potential complexity as follows. Let (X, R) be a Borel 0 equivalence relation on a Polish space. Then R is smooth if and only if it is potentially Π1 if and only if it 0 is potentially Π2 [Gao09, Lemma 12.5.3]. Suppose that R is the orbit equivalence relation associated with a continuous action of a non-Archimedean abelian Polish group. Then R is essentially hyperfinite if and only if R is 0 0 potentially Σ2 if and only if R is potentially Σ3 by [HK96, Theorem 3.8], [HKL98, Theorem 4.1(ii)], and [DG17, ω 0 Theorem 6.1]; see also [Gao09, Theorem 12.5.7]. Furthermore, R ≤ E0 if and only if R is potentially Π3 [All20, Corollary 6.11]. 0 0 0 0 ˇ 0 ˇ 0 Definition 1.4. Let Γ be one of the classes Πµ, Σµ, D(Πµ), D(Σµ), D(Πµ), D(Σµ) for some countable ordinal µ ≥ 1. Let (X, R) be a Borel equivalence relation on a Polish space. Then Γ is the potential class of R if R is potentially Γ and R is not potentially Γ.ˇ

Theorem 1 in [HKL98] imposes restrictions on the possible values of the potential class of an orbit equivalence relation associated with a continuous action of a non-Archimedean Polish group. THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 3

In view of the above remarks, the following result can be seen as an extension of Theorem 1.2. To simplify the statement, we will assume that, for some prime number p, u1 (Cp) is nonzero and Ap is unbounded. If this fails, then Theorem 1.2 applies. We denote by P the set of primes.

Theorem 1.5. Suppose that C, A are countable abelian groups, where C is torsion. For p ∈ P, let Ap ⊆ A/D (A) be the p-primary subgroup of A/D (A) and Cp ⊆ C be the p-primary subgroup of C. Assume that, for some p ∈ P, u1 (Cp) is nonzero and Ap is unbounded. For every p ∈ P, let µp be the least countable ordinal such that either µp µp−1 C =0 or µp is the successor of µp − 1 and A =0. Set µ := supp∈Pµp. If µ is the successor of µ − 1, set

Pmax = p ∈ P : µp = µ and  µ−1 W := Cp : p ∈ Pmax . If furthermore µ − 1 is the successor of µ − 2, setX 

µ−1 µ−2 w := Cp : p ∈ Pmax, Ap is unbounded . Then we have that: X  0 (1) Πµ is the complexity class of RExt(C,A) if and only if either (a) µ is a limit ordinal, or (b) µ =1+ λ + n where λ is either zero or limit, 2 ≤ n<ω, and w =0; 0 (2) Σµ is the complexity class of RExt(C,A) if and only if µ = 1+ λ +1 where λ is either zero or limit and W < ∞; 0 (3) D Πµ is the complexity class of RExt(C,A) if and only if µ =1+ λ + n where λ is either zero or limit, 2 ≤ n<ω, and 0 abelian category, whose morphisms are the definable group homomorphisms. We define canonical Polishable subgroups of a group with a Polish cover indexed by countable ordinals, which we call Solecki subgroups as they correspond to the canonical approximation of a Polishable subgroup of a Polish group introduced by Solecki in [Sol99]. We also study the complexity of Polishable subgroups of groups with a Polish cover, and in particular of Solecki subgroups, building on results from [FS06, HKL98]. For countable abelian groups C, A, the group Ext(C, A) classifying extensions of C by A can be seen as a group with a Polish cover as in [BLP20]. The main ingredient in the proof of Theorem 1.5 and Theorem 1.2 is that, for groups C and A as in the statement, the (1 + α)-th Ulm subgroup of Ext (C, A) is equal to the α-th Solecki α subgroup of Ext(C, A) for α<ω1. This is obtained by applying homological results about the functors C 7→ C due to Nunke [Nun67]. The rest of this paper is divided into three sections. Section 2 presents the notions of definable set and definable group, group with a Polish cover, and introduces in this context the notions of Polishable subgroup, Solecki subgroup, and their complexity. Section 3 recalls the definition of the group Ext and how it can be regarded as a group with a Polish cover, and presents in this context the definable content of the results about cotorsion functors from [Nun67]. These results are used in Section 4 to describe the Solecki subgroups of Ext in terms of the Ulm subgroups, and thus establish Theorem 1.5 and Theorem 1.2. Acknowledgments. We are grateful to Alexander Kechris and Andr´eNies for their comments on a preliminary version of this paper. 4 MARTINO LUPINI

2. Groups with a Polish cover and their Solecki subgroups In this section, we begin with recalling the notion of definable set and definable group from [Lup20b, Lup20a], and the notion of group with a Polish cover from [BLP20]. We introduce the notion of Polishable subgroup of a group with a Polish cover, and show that groups with a Polish cover form an abelian category. We then describe a canonical chain of Polishable subgroups of a group with a Polish cover, which we call Solecki subgroups, originally defined by Solecki in [Sol99] and also considered in [FS06, Sol09]. Building on [FS06], we present some results concerning the complexity of such subgroups. We also consider the notion of non-Archimedean group with a Polish cover, and show that non-Archimedean groups with a Polish cover form an additive subcategory of the category of groups with a Polish cover. We conclude with discussing the Ulm subgroups of a group with a Polish cover. Recall that we assume all the groups to be abelian and additively denoted. 2.1. Definable sets and groups. We present here the notion of definable set and definable group as in [Lup20b, Lup20a]. We begin with recalling the notion of idealistic equivalence relation from [Kec94]; see also [Gao09, Definition 5.4.9] and [KM16]. We will consider as in [Lup20b] a slightly more generous notion. Recall that a σ-filter on a set C is a nonempty family F of nonempty subsets of C that is closed under countable intersections and such that A ⊆ B ⊆ C and A ∈F implies B ∈F. Definition 2.1. Suppose that X is a standard Borel space, and E is an equivalence relation on X. We say E is idealistic if there exist a Borel function s : X → X and an assignment C → FC mapping each E-class C to a σ-filter FC on C such that, for every Borel subset A ⊆ X × X, ′ ′ x ∈ X : {x ∈ X : (s (x) , x ) ∈ A}∈F[x]E is a Borel subset of X.  The term idealistic is due to the fact that it can be equivalently defined in terms of σ-ideals, in view of the duality between σ-ideals and σ-filters. If X is a Polish space endowed with a continuous action of a Polish group X G, then the corresponding orbit equivalence relation EG is idealistic [Gao09, Proposition 5.4.10]. A definable set is a pair (X,ˆ E) where Xˆ is a standard Borel space and E is a Borel and idealistic equivalence relation on Xˆ. We denote such a definable set by X = X/Eˆ , as we think of it as an explicit presentation of the set X as a quotient of the Polish space Xˆ by the “well-behaved” equivalence relation E. We identify a standard Borel space Xˆ with the definable set X = X/Eˆ where E is the identity relation on Xˆ. A subset Z of a definable set X = X/Eˆ is Borel if Zˆ := {x ∈ Xˆ :[x]E ∈ Z} is a Borel subset of Xˆ, in which case Z is itself a definable set. Suppose that X = X/Eˆ and Y = Yˆ /F are definable sets, and f : X → Y is a function. A lift fˆ of f is a function ˆ ˆ ˆ ˆ ˆ f : X → Y such that f ([x]E) = [f (x)]F for every x ∈ X. In this case, we also say that f is induced by f. Definition 2.2. Suppose that X = X/Eˆ and Y = Yˆ /F are definable sets, and f : X → Y is a function. Then f is Borel-definable (or, briefly, definable) if it has a lift that is a Borel function. The category of definable sets has definable functions as morphisms. This category contains the category of standard Borel spaces and Borel functions as a full subcategory, and it satisfies natural generalizations of several good properties of the latter. We recall here the most salient ones; see [Lup20b, Proposition 1.10] and references therein. Proposition 2.3 (Kechris–Macdonald [KM16]). Suppose that X and Y are definable sets. If f : X → Y is a definable injection, and A ⊆ X is Borel, then f (A) ⊆ Y is Borel, and the inverse function f −1 : f (A) → Y is definable. Proposition 2.4 (Motto Ros [MR12]). Suppose that X and Y are definable sets. If there exist a definable injection X → Y and a definable injection Y → X, then there exists a definable bijection X ↔ Y . If X = X/Eˆ and Y = Yˆ /F are definable sets, then the product X × Y in the category of definable sets is the definable set (Xˆ × Yˆ )/ (E × F ), where (x, y) (E × F ) (x′,y′) ⇔ xEx′ and yFy′. (One can verify that E × F is Borel and idealistic whenever both E and F are Borel and idealistic.) A definable group is simply a group object in the category of definable sets in the sense of [ML98, Section III.6]. Explicitly, a definable group is a definable set G = X/Eˆ that is also a group, and such that the group operation THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 5

G × G → G and the function G → G mapping each element to its inverse are definable. Notice that every standard Borel group is, in particular, a definable group. Definition 2.5. Suppose that X = X/Eˆ is a definable set, and Γ is a complexity class. Fix n ≥ 2 and an n-ary Borel relation R ⊆ Xn. We say that R is Γ-definable if there exists a Polish topology τ on Xˆ that induces its Borel n n structure, and such that {(x1,...,xn) ∈ Xˆ : ([x1]E,..., [xn]E) ∈ R} belongs to Γ(Xˆ ), where Xˆ is endowed with the product topology induced by τ.

Remark 2.6. By definition, the relation of equality =X on X = X/Eˆ is Γ-definable if and only if the equivalence relation E on Xˆ is potentially Γ in the sense of Definition 1.3. n n Remark 2.7. Suppose that X, Y are definable sets, RX ⊆ X and RY ⊆ Y are Borel relations, and f : X → Y is a definable function such that, for x1,...,xn ∈ X, (x1,...,xn) ∈ RX ⇔ (f (x1) ,...,f (xn)) ∈ RY . The same proof as [Gao09, Lemma 12.5.4] shows that if RY is Γ-definable, then RX is Γ-definable. More generally, one can consider sets that are presented as X = X/Eˆ where Xˆ is a standard Borel space and E is a analytic equivalence relation on Xˆ that is not necessarily Borel or idealistic. In this case, we say that X is a semidefinable set. The notion of definable function between semidefinable sets can be formulated as in the case of definable sets. Naturally, a semidefinable group is a group object in the category of semidefinable sets and definable functions. ω ω An important example of semidefinable group that is not a definable group is R /E1, where R is the product ω of countably many copies of the Polish group R, and E1 is the equivalence relation on R obtained by setting (ω) ω (xi) E1 (yi) ⇔ ∃n∀i ≥ n, xi = yi. Notice that, if R ⊆ R is the subgroup consisting of sequences that are (ω) ω eventually zero, then E1 is the coset equivalence relation associated with R . Thus, R /E1 can be seen as the quotient group Rω/R(ω). It is proved in [KL97, Theorem 4.1] that if X is a definable set, then there is no definable injection Rω/R(ω) → X. 2.2. Groups with a Polish cover. We now recall the notion of group with a Polish cover introduced in [BLP20]. Definition 2.8. A group with a Polish cover is a definable group given as a quotient G/Nˆ where Gˆ is a Polish group and N ⊆ Gˆ is a Polishable subgroup. This means that N is a Borel subgroup of Gˆ such that there is a Polish group topology on N that induces the Borel structure inherited from Gˆ or, equivalently, there exist a Polish group H and a continuous homomorphism ψ : H → Gˆ with image N. For x, y ∈ Gˆ, we write x ≡ y mod N if x − y ∈ N.

We regard a Polish group G as a group with a Polish cover G/Nˆ where G = Gˆ and N = {0}. If Gk = Gˆk/Nk is a group with a Polish cover for k ∈ ω, we define G0 ⊕ G1 to be group with a Polish cover (Gˆ0 ⊕ Gˆ1)/(N0 ⊕ N1), ˆ ˆ ˆ and k∈ω Gk to be the group with a Polish cover G/N where G = k Gk and N = k Nk. As a group with a Polish cover is, in particular, a definable group, the notion of definable homomorphism between groupsQ with a Polish cover is a particular instance of the notion of defiQnable group homomorphismQ between definable groups.

Definition 2.9. Suppose that G = G/Nˆ G and H = H/Nˆ H are groups with a Polish cover. A group homomorphism f : G → H is a definable if it has a Borel lift fˆ : Gˆ → Hˆ . It follows from Proposition 2.3 that if a definable homomorphism G → H is bijective, then its inverse H → G is also a definable homomorphism. In what follows, we consider groups with a Polish cover as objects of a category that has definable homomorphisms as morphisms. Recall that a Polish group is non-Archimedean if it has a basis of the identity consisting of open subgroups; see [DG17, Proposition 2.1] for other characterizations. Definition 2.10. Suppose that G = G/Nˆ is a group with a Polish cover. Then we say that G is non-Archimedean if Gˆ and N are non-Archimedean Polish groups. 2.3. Polishable subgroups. We now introduce in the context of groups with a Polish cover the notion of Borel and Polishable subgroup. Definition 2.11. Suppose that G = G/Nˆ is a group with a Polish cover, and H ⊆ G is a subgroup. Define Hˆ = {x ∈ Gˆ : x + N ∈ H}⊆ Gˆ. Then we say that: 6 MARTINO LUPINI

• H is a Borel subgroup of G if Hˆ is a Borel subgroup of Gˆ; • H is a Polishable subgroup of G if Hˆ is a Polishable subgroup of Gˆ; • H is a non-Archimedean Polishable subgroup of G if Hˆ is a Polishable subgroup of Gˆ and Hˆ is a non- Archimedean Polish group. Notice that if H = H/Nˆ is a Polishable subgroup of a group with a Polish cover G = G/Nˆ , then H = H/Nˆ and G/H = G/ˆ Hˆ are also groups with a Polish cover.

Lemma 2.12. Suppose that G is a group with a Polish cover, and k ≥ 1. Let (Gn)n∈ω be a Polishable subgroups of G. Then kG0 = {kx : x ∈ G0}, G0 + G1, and n∈ω Gn are Polishable subgroups of G.

Proof. Write G = G/Nˆ . For every n ∈ ω, we haveT that Gn = Gˆn/N for some Polishable subgroup Gˆn of Gˆ. We have that {x ∈ Gˆ : x + N ∈ kG} = kGˆ0 + N is the image of the Polish group Gˆ0 ⊕ N under the continuous homomorphism Gˆ0 ⊕ N → Gˆ, (x, z) 7→ kx + z. We also have that {x ∈ Gˆ : x + N ∈ G0 + G1} = Gˆ0 + Gˆ1 + N is the image of the Polish group Gˆ0 ⊕ Gˆ1 ⊕ N under the continuous homomorphism Gˆ0 ⊕ Gˆ1 ⊕ N → Gˆ, (x,y,z) 7→ x + y + z. Similarly, we have that

{x ∈ Gˆ : x + N ∈ Gn} = Gˆn n∈ω n∈ω \ \ is the image of the Polish group

ˆ ˆ Z := (xn)n∈ω ∈ Gn : ∀n ∈ ω, xn = xn+1 ⊆ Gn ( n∈ω ) n∈ω Y Y ˆ  under the continuous homomorphism Z → G, (xn)n∈ω 7→ x0. The same proof as Lemma 2.12 gives the following.

Lemma 2.13. Suppose that G is a group with a Polish cover, and k ≥ 1. Let {0} and (Gn)n∈ω be non-Archimedean Polishable subgroups of G. Then kG0 = {kx : x ∈ G}, G0 + G1, and n∈ω Gn are non-Archimedean Polishable subgroups of G. T Suppose that L is a Borel subgroup of a group with a Polish cover G. Then one can consider the quotient G/L as a semidefinable group. The implication (1)⇒(3) in the following proposition can be seen as a reformulation of [Sol09, Theorem 1.1]. Proposition 2.14. Suppose that L is a Borel subgroup of a group with a Polish cover G. Consider the corresponding semidefinable group G/L. The following assertions are equivalent: (1) there does not exist a definable injection Rω/R(ω) → G/L; (2) G/L is a definable group; (3) L is a Polishable subgroup of G, and G/L is a group with a Polish cover. Proof. Write G = G/Nˆ and let Lˆ = {x ∈ Gˆ : x + N ∈ L}. Since G/L = G/ˆ Lˆ, after replacing L with Lˆ and G with Gˆ, we can assume that G is in fact a Polish group. The implication (3)⇒(2) follows from the fact that a group with a Polish cover is, in particular, a definable group in view of [Gao09, Proposition 5.4.10]. The implication (2)⇒(1) follows from [KL97, Theorem 4.1]. Finally, the implication (1)⇒(3) is the content of [Sol09, Theorem 1.1].  We now show that images and preimages of Polishable subgroups under definable homomorphisms are Polishable subgroups. Proposition 2.15. Suppose that G, H are groups with a Polish cover, and f : G → H is a definable homomorphism. −1 (1) If H0 is a Polishable subgroup of H, then f (H0) is a Polishable subgroup of G; THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 7

(2) If G0 is a Polishable subgroup of G, then f (G0) is a Polishable subgroup of G.

−1 Proof. (1) After replacing H with H/H0, we can assume that H0 = {0}, in which case f (H0) = Ker(f). We have that f induces a definable monomorphism G/Ker(f) → H. Notice that Ker (f) is a Borel subgroup of G. Since H is a group with a Polish cover, we have that there does not exist a definable injection Rω/R(ω) → H by Proposition 2.14. Thus, there does not exist a definable injection Rω/R(ω) → G/Ker(f). Thus, Ker (f) is a Polishable subgroup of G by Proposition 2.14 again. (2) After replacing G with G0 and f with its restriction to G0, we can assume that G = G0. By the first item, Ker(f) is a Polishable subgroup of G. Thus, after replacing G with G/Ker(f), we can assume that f is a definable monomorphism. In this case, we have that f (G) is a Borel subgroup of the definable group H by Proposition 2.3. By Proposition 2.14, to conclude the proof it suffices to prove that H/f (G) is a definable group. Write G = G/Nˆ 0 and H = H/Nˆ , where G,ˆ Hˆ are Polish groups and N0 ⊆ Gˆ and N ⊆ Hˆ are Polishable subgroups. Suppose that ϕ : Gˆ → Hˆ is a Borel function such that ϕ (x)+ N = f (x + N0) for x ∈ Gˆ. Define the Borel function c : Gˆ × Gˆ → N by setting c (x, y) := ϕ (y) − ϕ (x + y)+ ϕ (x). We need to prove that the equivalence relation E on Hˆ defined by setting xEy ⇔ ∃ (g,h) ∈ Gˆ ⊕ N, ϕ (g)+ h + x = y is idealistic. The argument is similar to the one from [Gao09, Proposition 5.4.10]. We adopt the notation of category quantifiers as in [Kec95, Section ˆ ∗ ˆ ∗ 16]. For x ∈ H and A ⊆ [x]E, we set A ∈ F[x]E ⇔ ∀ g ∈ G, ∀ h ∈ N, ϕ (g)+ h + x ∈ A. Observe that F[x] does not depend on the choice of the representative x for the equivalence class [x]E. Indeed, if x0Ex then there exists ˆ ∗ ˆ ∗ (g0,h0) ∈ G × N such that ϕ (g0)+ h0 + x0 = x. If A ∈F[x] then ∀ g ∈ G, ∀ h ∈ N, ϕ (g)+ h + x ∈ A. We have that

ϕ (g)+ h + x = ϕ (g)+ h + ϕ (g0)+ h0 + x0 = ϕ (g + g0)+ h + h0 + c (g,g0)+ x0. ∗ ∗ For a fixedg ˜ ∈ Gˆ, if ∀ h ∈ N, ϕ (˜g)+ h + x ∈ A then ∀ h ∈ N, ϕ (˜g + g0)+ h + h0 + c (˜g,g0)+ x0 ∈ A. Since ∗ ∗ ∗ h0 + c (˜g,g0) ∈ N, this implies that ∀ h ∈ N, ϕ (˜g + g0)+ h + x0 ∈ A. Therefore, we have that ∀ g ∈ Gˆ, ∀ h ∈ N, ϕ (g + g )+ h + x ∈ A and hence ∀∗g ∈ Gˆ, ∀∗h ∈ N, ϕ (g)+ h + x ∈ A. This shows that F is well-defined. It 0 0 0 [x]E is easy to verify that F is a filter on [x] . It remains to prove that if A ⊆ Hˆ × Hˆ is Borel, then [x]E E

A := x ∈ Hˆ : y ∈ Hˆ : (x, y) ∈ A ∈F F [x]E n n o o is a Borel subset of Hˆ . The argument is the same as in the proof of [Gao09, Theorem 3.3.3]. We have that ∗ ∗ x ∈ AF ⇔ ∀ g ∈ Gˆ, ∀ h ∈ N, (x, ϕ (g)+ h + x) ∈ A. Define the Borel set

B := (g,h,x) ∈ Gˆ × N × Hˆ : (x, ϕ (g)+ h + x) ∈ A . n o Then we have that

∗ ∗ ∗ x ∈ AF ⇔ ∀ g ∈ G,ˆ ∀ h ∈ N, (g,h,x) ∈ B ⇔ ∀ (g,h) ∈ Gˆ × N, (g,h,x) ∈ B.

Since B is Borel, this shows that AF is Borel by [Kec95, Theorem 16.1]. 

2.4. The abelian category of groups with a Polish cover. Suppose that G, H are groups with a Polish cover. Then the set of definable homomorphisms G → H is a subgroup of the group of homomorphisms G → H. Thus, the category of groups with a Polish cover is an Ab-category [ML98, Section I.8], which is in fact an abelian category by Proposition 2.15; see [ML98, Chapter VIII]. In this category, the kernel of a definable homomorphism ϕ : G → H is Ker (ϕ)= {x ∈ G : ϕ (x)=0}⊆ G, which is a Polishable subgroup of G by Proposition 2.15(1), and the cokernel of ϕ is the quotient map H → H/f (G), where f (G) is a Polishable subgroup of H by Proposition 2.15(2). The zero object is the trivial group, and the biproduct of G and H is G ⊕ H. A definable homomorphism ϕ : G → H is monic if and only if it is a kernel if and only if it is injective, while it is epic if and only if it is a cokernel, if and only if it is surjective. Since the category of groups with a Polish cover is an abelian category, one can consider the notion of exact sequence in this category. This is simply an exact sequence in the category of groups that consists of groups with a Polish cover and definable homomorphisms. We refer to such an exact sequence as a definable exact sequence of groups with a Polish cover. 8 MARTINO LUPINI

2.5. Complexity of Polishable subgroups. In this section, we consider the complexity of Polishable subgroups of groups with a Polish cover. We reformulate in this context some results from [HKL98, FS06]. Definition 2.16. Suppose that H is a Polishable subgroup of a group with a Polish cover G = G/Nˆ . Set Hˆ = {x ∈ Gˆ : x + N ∈ H}. Let Γ be a complexity class. We say that H belongs to Γ(G) or that H is Γ in G if and only if Hˆ ∈ Γ(Gˆ), and that Γ is the complexity class of H in G if and only if Hˆ ∈ Γ(Gˆ) and H/ˆ ∈ Γ(ˇ Gˆ). We say that a group with a Polish cover G = G/Nˆ is a Polish group if {0} is a closed subgroup of G, which by definition means that N is a closed subgroup of Gˆ. Notice that, if H is a closed subgroup of the group with a Polish cover G, then G/H is a Polish group. If G = G/Nˆ is group with a Polish cover and H is a Polishable subgroup G of G, then we let H be the closed subgroup of G obtained as the closure of H in G with respect to the quotient G topology induced by Gˆ. We say that H is dense in G if H = G. The following result is an immediate consequence of [HKL98, Proposition 5.1]; see also [Sol09, page 574] for the 0 case of Π1. Recall the notion of Γ-definable Borel relation on a definable set from Definition 2.5. Proposition 2.17 (Hjorth–Kechris–Louveau). Suppose that G = G/Nˆ is a group with a Polish cover, and H 0 0 0 ˇ 0 is a Polishable subgroup of G. Let Γ be one of the following complexity classes: Πα, Σα, D Πα , D Πα for 1 ≤ α<ω . The following assertions are equivalent: 1

(1) H ∈ Γ(G); (2) the equality relation on G/H is Γ-definable. As a consequence of Remark 2.7, one has the following. Proposition 2.18. Suppose that G, H are groups with a Polish cover, and f : G → H is a definable homomorphism. Let Γ be one of the complexity classes in Proposition 2.17. If H0 is a Polishable subgroup of H such that H0 ∈ Γ (H), −1 −1 then f (H0) is a Polishable subgroup of G such that f (H0) ∈ Γ (G). −1 Proof. Set G0 := f (H0). Notice that G0 is a Polishable subgroup of G by Proposition 2.15. Furthermore, f induces a definable monomorphism G/G0 → H/H0. The conclusion thus follows from Proposition 2.17 and Remark 2.7.  Corollary 2.19. Suppose that G, H are groups with a Polish cover, and f : G → H is a definable epimorphism. Let Γ be one of the complexity classes in Proposition 2.17. Suppose that H0 is a Polishable subgroup of H. Then −1 H0 ∈ Γ (H) if and only if f (H0) ∈ Γ (G). The following lemma is a reformulation of [FS06, Corollary 3.4]. Lemma 2.20 (Farah–Solecki). Suppose that G is a group with a Polish cover and H is a Polishable subgroup of 0 0 G. If H is Π1+λ+1 where λ<ω1 is either zero or limit, then H is Π1+λ. The following lemma is a consequence of [HKL98, Theorem 4.1 and Theorem 4.2] and Proposition 2.17. Lemma 2.21 (Hjorth–Kechris–Louveau). Suppose that G is a group with a Polish cover and H is a non-Archimedean Polishable subgroup of G. Suppose that λ<ω1 is either zero or limit. 0 0 0 (1) If H is Σ1+λ+2 then H is Σ1+λ+1 and in particular Π1+λ+2; 0 0 0 (2) If H is Π1+λ+n for some 3 ≤ n<ω, then H is D Π1+λ+n−1 and in particular Π1+λ+n; (3) If H is Dˇ Π0 for 2 ≤ n<ω, then H is Π0 . 1+λ+n 1+λ+n

Let G = G/Nˆ be a group
with a Polish cover. By Proposition 2.17, if Γ is a complexity class, then =G is Γ-definable if and only if {0} ∈ Γ (G). In the following proposition, we regard the relation =G as the coset relation of N inside of Gˆ. We focus on the case when {0} is a non-Archimedean Polishable subgroup of G. Recall that 0 ω E0 denotes the Σ2 equivalence relation on the space C := {0, 1} of infinite binary sequences obtained by setting 0 ω ω ω (xi) E0 (yi) ⇔ ∃n ∈ ω∀i ≥ n, xi = yi. The Π3 equivalence relation E0 on C is defined by setting (xi) E0 (yi) ⇔ ∀i, xiE0yi. Proposition 2.22. Suppose that G = G/Nˆ is a group with a Polish cover. Suppose that {0} is a non-Archimedean Polishable subgroup of G. Then: THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 9

0 (1) =G is smooth if and only if {0} is Π1 in G; 0 0 (2) =G is Borel reducible to E0 if and only if {0} is Σ2 in G, and Borel bireducible with E0 if and only if Σ2 is the complexity class of {0} in G; ω 0 ω 0 (3) =G is Borel reducible to E0 if and only if {0} is Π3 in G, and Borel bireducible with E0 if and only if Π3 is the complexity class of {0} in G. 0 ˆ Proof. (1) We have that {0} is Π1 in G if and only if N is a closed subgroup of G, which is equivalent to the assertion that =G is smooth; see [Sol09, page 574]. 0 (2) By [Gao09, Theorem 12.5.7], {0} is Σ2 in G if and only if =G is essentially countable, which holds if and only if =G≤B E0 by [DG17, Theorem 6.1]. Furthermore, by Item (1), Lemma 2.20, and the Glimm–Effros dichotomy 0 0 ˆ [HKL90], we have that {0} is not Π2 if and only if {0} is not Π1 if and only if N is not a closed subgroup of G, if and only if E0 ≤B=G. 0 0 (3) By [DG17, Corollary 6.3] and Lemma 2.21 and we have that {0} is not Σ3 if and only if {0} is not Σ2 if and ω 0 ω  only if E0 ≤=G. By [All20, Corollary 6.11], {0} is Π3 if and only if =G≤ E0 . 2.6. The Solecki subgroups. Every group with a Polish cover admits a canonical sequence of subgroups indexed by countable ordinals. As these were originally described by Solecki in [Sol99], we call them Solecki subgroups. They have also been considered in [Sol09, FS06]. Suppose that G = G/Nˆ is a group with a Polish cover. Then [Sol99, Lemma 2.3] implies that G has a smallest 0 0 Π3 Polishable subgroup, which we denote by s1 (G)=ˆs1 (G) /N. One can explicitly describes ˆ1 (G) as the Π3 subgroup of Gˆ defined by G z + V \V z[∈N G where V ranges among the open neighborhoods of 0 in N and z + V is the closure of z + V inside of G. It is proved in [Sol99, Lemma 2.3] that s1 (G) satisfies the following properties:

•{0} is dense in s1 (G); G • a neighborhood basis of x ∈ sˆ1 (G) consists of sets of the form x + W ∩ sˆ1 (G) where W is an open neighborhood of 0 in N; ˆ 0 • if A ⊆ G is Π3 and contains N, then A ∩ sˆ1 (G) is comeager in the Polish group topology ofs ˆ1 (G). 0 H It follows that if H is a Π3 Polishable subgroup of G, then s1 (G) ⊆ {0} ⊆ H. The sequence of Solecki subgroups sα (G) for α<ω1 of the group with a Polish cover G is defined recursively by setting: G • s0 (G)= {0} ; • sα+1 (G)= s1 (sα (G)) for α<ω1; • sλ (G)= β<λ sβ (G) for a limit ordinal λ<ω1. ˆ We also lets ˆα T(G) be the Polishable subgroup of G such that sα (G)=ˆsα (G) /N. Using Lemma 2.18, one can prove by induction on α<ω1 that {0} is dense in sα (G) for every α<ω1 and that, if f : G → H is a definable homomorphism, then f maps sα (G) to sα (H). Thus, G 7→ sα (G) is a functor on the category of groups with a Polish cover. It is proved in [Sol99, Theorem 2.1] that there exists α<ω1 such that sα (G) = {0}. We call the least countable ordinal α such that sα (G)= {0} the Solecki rank of G. Lemma 2.23. Suppose that G is a group with a Polish cover such that {0} is a non-Archimedean Polishable subgroup of G. Then sα (G) is a non-Archimedean Polishable subgroup of G for every 1 ≤ α<ω1.

Proof. It is clear from the proof of [Sol99, Lemma 2.3] that s1 (G) is a non-Archimedean Polishable subgroup of G. The conclusion follows by induction applying Lemma 2.13 at the limit stage.  2.7. Complexity of Solecki subgroups. Suppose that G = G/Nˆ is a group with a Polish cover. For a Polishable ˆ ˆ ˆ subgroup H = H/N of G and a complexity class Γ, we define Γ(G)|Hˆ to be the collection of sets of the form A ∩ H for A ∈ Γ(Gˆ). The following results are essentially established in [FS06]. In the statements and proofs, we adopt the Vaught transform notation; see [Gao09, Section 3.2]. 10 MARTINO LUPINI

Lemma 2.24. Suppose that G is a group with a Polish cover, and α,β <ω1 are ordinals. Then 0 0 ˆ Σ1+β (ˆsα(G)) ⊆ Σ1+α+β(G)|sˆα(G) and 0 0 ˆ Π1+β (ˆsα(G)) ⊆ Π1+α+β(G)|sˆα(G). 0 0 ˆ Proof. It is proved in [FS06, Theorem 3.1] by induction on α that Σ1 (ˆsα(G)) ⊆ Σ1+α(G)|sˆα(G). By taking 0 0 ˆ complements, we have that Π1 (ˆsα(G)) ⊆ Π1+α(G)|sˆα(G). This is the case β = 0 of the statement above. The rest follows by induction on β. 

Lemma 2.25. Suppose that G = G/Nˆ is a group with a Polish cover, α,β < ω1, and U ⊆ N is open in N. If 0 ˆ 0 ˆ ∆U 0 ∗U 0 A ∈ Σ1+α+β(G) and B ∈ Π1+α+β(G), then A ∩ sˆα(G) ∈ Σ1+β (ˆsα(G)), and B ∩ sˆα(G) ∈ Π1+β (ˆsα(G)). Proof. When β = 0, the assertion about A is the content of Claim 3.3 in the proof of [FS06, Theorem 3.1]. The assertion about B follows by taking complements. This concludes the proof when β = 0. The case of an arbitrary β is established by induction on β using the properties of the Vaught transform; see [Gao09, Proposition 3.2.5]. 

Corollary 2.26. Suppose that G = G/Nˆ is a group with a Polish cover, and α,β < ω1. Let L be a Polishable 0 0 0 subgroup of G. If L ∈ Σ1+α+β(G), then L ∩ sα (G) ∈ Σ1+β (sα (G)). If L ∈ Π1+α+β(G), then L ∩ sα (G) ∈ 0 Π1+β (sα (G)).

Proposition 2.27. Suppose that G is a group with a Polish cover, and α<ω1. Then sα (G) is the smallest 0 0 Π1+α+1 Polishable subgroup of G if α is a successor ordinal, and sα (G) is the smallest Π1+α Polishable subgroup of G if α is either 0 or a limit ordinal. 0 Proof. It is established in the proof of [FS06, Theorem 3.1] that sα (G) is a Π1+α+1 Polishable subgroup of G if α 0 is a successor ordinal, and sα (G) is a Π1+α Polishable subgroup of G if α is either 0 or a limit ordinal. We now prove the minimality assertion by induction on α. G For α = 0 this follows from the fact that s0 (G)= {0} . Suppose that the conclusion holds for α. We now prove 0 0 that it holds for α +1. Let H be a Π1+α+2 Polishable subgroup of G. Thus, H ∩ sα (G) is a Π1+α+2 Polishable 0 subgroup of sα (G). Then by Corollary 2.26 we have that H ∩ sα (G) ∈ Π3 (sα(G)). As sα+1 (G) = s1 (sα (G)) is 0 the smallest Π3 (sα (G)) Polishable subgroup of sα (G), this implies that sα+1 (G) ⊆ H ∩ sα (G) ⊆ H. Suppose that α is a limit ordinal and the conclusion holds for every β < α. Fix an increasing sequence (αn) in α 0 ˆ such that α = supnαn. Suppose that H is a Π1+α Polishable subgroup of G. Then H = H/N for some Polishable 0 ˆ ˆ ˆ 0 ˆ ˆ Π1+α subgroup H of G containing N. Since H is Π1+α in G we can write H = n∈ω An where, for every n ∈ ω, 0 ˆ ∗N 0 ˆ An ∈ Π1+αn (G). Then by Lemma 2.25 we have that An ∩ sˆαn (G) ∈ Π1 (ˆsαn (G)). Since N ⊆ H ⊆ An we have ∗N T∗N that N ⊆ An ∩ sˆαn (G). Since N is dense ins ˆα(G), this implies thats ˆαn (G) ⊆ An . Therefore, we have that ∗N ˆ ∗N ˆ sˆα(G)= sˆαn (G) ⊆ An = H = H. n∈ω n∈ω \ \ This shows that sα (G) ⊆ H. 

Lemma 2.28. Suppose that G is a group with a Polish cover, and α<ω1. Let L be a Polishable subgroup of sα (G). 0 0 (1) If L ∈ Π3 (sα (G)), then L ∈ Π1+α+2 (G). 0 0 (2) If L ∈ Σ2(sα (G)), then L ∈ D(Π1+α+1(G)). 0 0 (3) If L ∈ Σ2 (sα (G)) and α is either zero or limit, then L ∈ Σ1+α+1 (G). Proof. By Lemma 2.24 we have that we have that 0 0 ˆ Π3 (ˆsα(G)) ⊆ Π1+α+2(G)|sˆα(G) 0 0 ˆ Σ2 (ˆsα(G)) ⊆ Σ1+α+1(G)|sˆα(G). 0 ˆ Furthermore,s ˆα (G) is Π1+α+1(G) by Proposition 2.27. Therefore, we have that 0 0 ˆ 0 ˆ Π3 (ˆsα(G)) ⊆ Π1+α+2(G)|sˆα(G) ⊆ Π1+α+2(G) THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 11 and 0 0 ˆ 0 ˆ Σ2 (ˆsα(G)) ⊆ Σ1+α+1(G)|sˆα(G) ⊆ D(Π1+α+1(G)). This concludes the proof of (1) and (2). 0 ˆ 0 ˆ When α is either zero or limit, we have thats ˆα (G) is Π1+α(G) and in particular Σ1+α+1(G). Therefore, in this case we have that 0 0 ˆ 0 ˆ Σ2 (ˆsα(G)) ⊆ Σ1+α+1(G)|sˆα(G) ⊆ Σ1+α+1(G). This concludes the proof of (3). 

Lemma 2.29. Suppose that G = G/Nˆ is a group with a Polish cover, and α<ω1. Let L be a Polishable subgroup of G. 0 0 (1) If L ∈ Σ1+α+2 (G), then L ∩ sα (G) ∈ Σ3 (sα (G)). 0 0 (2) If L ∈ Π1+α+1 (G) then L ∩ sα (G) ∈ Π1 (sα (G)). 0 0 (3) If L ∈ Σ1+α+1 (G) then L ∩ sα (G) ∈ Σ2 (sα (G)). 0 (4) If L ∈ Σ1+α+1 (G), L is a non-Archimedean Polishable subgroup of G, and α is a successor ordinal, then 0 L ∩ sα (G) ∈ Π1 (sα (G)). 0 0 Proof. (1) Suppose that L ∈ Σ1+α+2 (G). Then by Corollary 2.26 we have that L ∩ sα (G) ∈ Σ3 (sα (G)). 0 0 (2) Suppose that L ∈ Π1+α+1 (G). Then by Corollary 2.26 we have that L ∩ sα (G) ∈ Π2 (sα (G)) and hence 0 L ∩ sα (G) ∈ Π1 (sα (G)) by Lemma 2.20. 0 0 (3) Suppose that L ∈ Σ1+α+1 (G). Then by Corollary 2.26 we have that L ∩ sα (G) ∈ Σ2 (sα (G)). 0 (4) Suppose that L ∈ Σ1+α+1 (G), L is a non-Archimedean Polishable subgroup of G, and α is a successor 0 0  ordinal. Then by Lemma 2.21, L ∈ Π1+α+1 (G). Thus, L ∩ sα (G) ∈ Π1 (sα (G)) by Item (2).

Proposition 2.30. Suppose that G = G/Nˆ is a group with a Polish cover, and α<ω1. Suppose that {0} is a non-Archimedean Polishable subgroup of G. 0 0 (1) If {0} ∈ Π3(sα (G)) and {0} ∈/ Σ2(sα (G)), then the Solecki rank of G is α +1, and the complexity class of 0 {0} in G is Π1+α+2. 0 (2) If {0} ∈ Σ2 (sα (G)), sα (G) 6= {0}, and α is either zero or limit, then the Solecki rank of G is α +1, and 0 the complexity class of {0} in G is Σ1+α+1; 0 (3) If {0} ∈ Σ2 (sα (G)), sα (G) 6= {0}, and α is a successor ordinal, then the Solecki rank of G is α +1, and 0 the complexity class of {0} in G is D Π1+α+1 . 0 0 Proof. (1) By Lemma 2.21(1), {0} ∈/ Σ3(sα(G)). Since
{0} ∈ Π3 (sα (G)) we have that sα+1 (G) = 0, while 0 sα (G) 6= 0. Thus, the Solecki rank of G is α + 1. By Lemma 2.28(1), {0} is Π1+α+2 in G. By Lemma 2.29(1), {0} 0 is not Σ1+α+2 in G. 0 (2) As in (1), the Solecki rank of G is α + 1. Since {0} is dense in sα (G), we have that {0} is not Π1 in sα (G). 0 0 By Lemma 2.28(3), {0} is Σ1+α+1 in G. By Lemma 2.29(2), {0} is not Π1+α+1 in G. 0 0 (3) As in (2), the Solecki rank of G is α + 1, and {0} is not Π1 in sα (G). By Lemma 2.28(2), {0} is D(Π1+α+1) 0 ˇ 0  in G. By Lemma 2.29(2), {0} is not Π1+α+1 in G. Thus, {0} is not D(Π1+α+1) in G by Lemma 2.21(3).

Lemma 2.31. Suppose that, for every k ∈ ω, Gk = Gˆk/Nk is a group with a Polish cover, and α<ω1. Define 0 G = k∈ω Gk. Assume that, for every k ∈ ω, {0} is Πα in Gk, and for every β < α there exist infinitely many k ∈ ω such that {0} is not Π0 in G . Then Π0 is the complexity class of {0} in G. Q β k α ˆ 0 Proof. Write N = k∈ω Nk ⊆ k∈ω Gk. Clearly, N is Πα. By [Kec95, Theorem 22.10], for every k ∈ ω and β < α such that N is not Π0 , N is Σ0 -hard [Kec95, Definition 22.9]. Therefore, N is Σ0 -hard, and hence N is not Σ0 k Q β k Qβ α α by [Kec95, Theorem 22.10] again. 

Lemma 2.32. Suppose that, for every k ∈ ω, Gk = Gˆk/Nk is a group with a Polish cover, and α<ω1. Define 0 G = k∈ω Gk. If Gk has Solecki rank α for every k ∈ ω, then Π1+α+1 is the complexity class of {0} in G if α is a successor ordinal, and Π0 is the complexity class of {0} in G if α is either zero or a limit ordinal. Q 1+α 12 MARTINO LUPINI

Proof. Define λ =1+ α + 1 if α is a successor ordinal, and λ = 1+ α if α is either zero or a limit ordinal. By 0 0 0 Proposition 2.27, for every k ∈ ω, {0} is Πλ but not Πβ for β < λ in Gk. Therefore, by Lemma 2.31, Πλ is the complexity of {0} in G.  2.8. The abelian category of non-Archimedean groups with a Polish cover. The goal of this section is to show that non-Archimedean groups with a Polish cover form an abelian subcategory of the abelian category of groups with a Polish cover. This amounts to showing that the kernel and cokernel of a definable homomorphism between non-Archimedean groups with a Polish cover (in the category of groups with a Polish cover) is in fact a definable homomorphism between non-Archimedean Polish groups. To this end, we will use some rigidity results for definable homomorphisms between groups with a Polish cover from [BLP20]. The same proof as [BLP20, Lemma 4.9] gives the following. Lemma 2.33. Suppose that G is a Polish group and H = H/Mˆ is a group with a Polish cover such that M is a non-Archimedean Polish group, and f : G → Hˆ is a continuous function such that f (x + y) ≡ f (x)+ f (y) mod M Hˆ for every x, y ∈ G. Let M1 be a clopen subgroup of M such that M1 = M 1 ∩ M. Then there exist m ∈ M, x1,y1 ∈ G, and a clopen subgroup G1 of G such that, if g : G → H is defined by

g (z) := f (x1 + y1 + z) − f (x1 + y1) − m, then, for every x, y ∈ G1, g (x + y) ≡ g (x)+ g (y) mod M1.

Proof. Define the Borel function Cc : G ⊕ G → M, (x, y) 7→ f (y) − f (x + y)+ f (x). Since M/M1 is countable, there exists m ∈ M such that A := {(x, y) ∈ G ⊕ G : c (x, y) ∈ m + M1} ˆ Hˆ is non-meager. Since f : G → H is continuous and M1 = M 1 ∩ M, we have that A ⊆ G ⊕ G is closed. Thus, A is somewhere dense, and there exists a clopen subgroup G1 of G and x1,y1 ∈ G such that (x1,y1)+ G1 ⊕ G1 ⊆ A. This concludes the proof.  0 As it follows from [Sol99, Theorem 2.1], if M is a Π3 non-Archimedean Polishable subgroup of a Polish group ˆ Hˆ H, then M has a basis (Mk) of open neighborhoods of 0 consisting of subgroups satisfying Mk = M k ∩ M for every k ∈ ω. Thus, one can infer from Lemma 2.33, as in the proof of [BLP20, Theorem 4.5], the following lemma. Lemma 2.34. Suppose that G is a non-Archimedean Polish group, H = H/Mˆ is a group with a Polish cover, and 0 ϕ : G → H is a definable homomorphism. Suppose that M is a non-Archimedean Polish group and a Π3 subgroup of Hˆ . Let (Hˆk) be a basis of open neighborhoods of 0 in Hˆ such that Hˆ0 = Hˆ . Let also (Mk) be a basis of open Hˆ ˆ neighborhoods of 0 in M consisting of subgroups such that M0 = M and Mk = M k ∩ M ⊆ Hk for k ∈ ω. Then there exists a basis (Gk) of neighborhoods of 0 in G consisting of subgroups such that G0 = G, and a continuous lift g : G → Hˆ for ϕ that satisfies, for every k ∈ ω, and x, y ∈ Gk,

g (x + y) ≡ g (x)+ g (y) mod Mk, and g (x) ∈ Hk. ˆ ′ Proof. By [BLP20, Theorem 4.5], ϕ has a continuous lift f : G → H. Set f0 = f. Fix a basis (Gk) of open neighborhoods of 0 in G consisting of subgroups. Applying Lemma 2.33, one can define by recursion on k ∈ ω: ′ • an open subgroup Gk ⊆ Gk of G such that G0 = G; • elements xk,yk ∈ Gk; • an element mk ∈ Mk; • a continuous function fk : G → Hˆ , such that, for every k ∈ ω:

(1) for every x, y ∈ Gk,

fk (x + y + xk + yk) ≡ fk (x + xk)+ fk (y + yk) mod Mk; THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 13

(2) for every z ∈ G, fk+1 (z)= fk (xk + yk + z) − fk (xk + yk) − mk;

(3) for every a,b ∈ Gk+1, fk+1 (a + b) − fk+1 (a) − fk+1 (b) ∈ Mk+1. For k ∈ ω, set zk := (x0 + y0)+ ··· + (xk + yk). Then one can prove by induction on k ∈ ω that, for every z ∈ G,

fk+1 (z)= f (zk + z) − f (zk) − mk.

One can also prove by induction on k ∈ ω that, for x, y ∈ Gk and i ≥ k,

fi (x + y) ≡ fi (x)+ fi (y) mod Mk.

Since the sequence (xk + yk)k∈ω converges to 0 in G, we have that the sequence (zk)k∈ω converges to some z∞ ∈ G. Setting, for z ∈ G,

g (z) := f (z + z∞) − f (z∞) = limi→∞ (f (z + zi) − f (zi)) = limi→∞fi (z), one has that g : G → Hˆ is a continuous lift for ϕ such that, for every k ∈ ω and x, y ∈ Gk,

g (x + y) ≡ g (x)+ g (y) mod Mk.

Notice that, for every k ∈ ω, g (0) ≡ 0 mod Mk, and hence g (0) = 0. Since g : G → Hˆ is continuous, after passing to a subsequence of (Gk)k∈ω, we can also ensure that g (x) ∈ Hˆk for every x ∈ Gk and k ∈ ω.  Using Lemma 2.34 we can prove the following. Lemma 2.35. Suppose that G = G/Nˆ and H = H/Mˆ are groups with a Polish cover, such that M and Gˆ are non-Archimedean Polish groups. Suppose that ϕ : G → H is a definable homomorphism, and H has Solecki length 1. Then Ker(ϕ) is a non-Archimedean Polishable subgroup of G. Proof. After replacing ϕ with ϕ ◦ π where π : Gˆ → G/Nˆ is the quotient map, we can suppose that G is a non- Archimedean Polish group and N = {0}. Adopt the notation from Lemma 2.34. In particular, let g : G → Hˆ be a lift for ϕ as in Lemma 2.34. We can furthermore assume that Hˆk+1 + Hˆk+1 ⊆ Hˆk for every k ∈ ω. By Proposition 2.15, L := Ker (ϕ) = {x ∈ G : g (x) ∈ M} is a Polishable subgroup of G. For every k ∈ ω, g induces a continuous homomorphism Gk ∩ L → M/Mk. Define Lk to be the open subgroup {x ∈ Gk ∩ L : ϕ (x) ∈ Mk} of L. This gives a decreasing sequence (Lk)k∈ω of open subgroups of L with trivial intersection. Define the corresponding invariant ultrametric d on L [Gao09, Section 2.4] by setting −k d (x, y) = inf{2 : x − y ∈ Lk} for x, y ∈ L. It remains to prove that (L, d) is a complete metric space. Suppose that (hk)k∈ω is a sequence in L −k ∞ such that d (hk, 0) < 2 and hence hk ∈ Lk for every k ∈ ω. We need to prove that the series n=0 hn converges in (L, d). For every k ∈ ω, we have that hk ∈ Gk ∩ L and ϕ (hk) ∈ Mk. Since (Gk) is a basis of open neighborhoods ∞ P of 0 in G consisting of subgroups, we have that there exists h ∈ G such that the series n=0 hn converges to h in G. Let c : G × G → M be the function defined by P c (x, y) := g (x)+ g (y) − g (x + y) for x, y ∈ G. By recursion on n ≥ 2 define the function c : Gn → M by

c (x1,...,xn+1)= c (x1,...,xn)+ c (x1 + ··· + xn, xn+1). Then one can prove by induction that this is a permutation-invariant function satisfying

c (x1,...,xn,y1,...,ym)= c (x1,...,xn)+ c (y1,...,yn)+ c (x1 + ··· + xn,y1 + ··· + ym) and c (x1,...,xn)= g (x1)+ ··· + g (xn) − g (x1 + ··· + xn) 14 MARTINO LUPINI for n,m ≥ 1 and x1,...,xn,y1,...,ym ∈ G, where we set c(x)=0for x ∈ G. Using this, one can prove by induction on n ≥ 1 that n c (x1,...,xn)= c (xi, xi+1 + ··· xn) i=0 X for x1,...,xn ∈ G. Thus, for every n ∈ ω, we have that n g (h0 + ··· + hn) − g (hi) = c (h0,...,hn) i=0 X n−1 = c (hi,hi+1 + ··· + hn). i=0 X Fix i ∈ ω. By the choice of g we have that, for every x, y ∈ Gi, c (x, y) ∈ Mi. Define (i) h := h − (h0 + ··· + hi). By continuity of g : G → Hˆ , we have that the sequence

(c (hi,hi+1 + ··· + hn))n∈ω of elements of Mi converges to ˆ (i) H c(hi,h ) ∈ M i ∩ N = Mi in Hˆ . Therefore, for every k ∈ ω, for all but finitely many n ∈ ω one has that k (i) c (hi,hi+1 + ··· + hn) − c(hi,h ) ∈ Hˆk+1. i=0 X   Thus, one can define by recursion on k an increasing sequence (nk) such that, for every k ∈ ω and n ≥ nk one has that k n (i) ˆ Rk := (c (hi,hi+1 + ··· + hn) − c(hi,h )) ∈ Hk+1. i=0 X Notice also that, for every k ∈ ω, k +1 ≤ i and n ≥ nk, one has that hi and hi+1 + ··· + hn belong to Gk+1, and hence

c (hi,hi+1 + ··· + hn) ∈ Mk+1 and hence n n ˆ Sk := c (hi,hi+1 + ··· + hn) ∈ Mk+1 ⊆ Hk+1. i=Xk+1 Thus, for every k ∈ ω and n ≥ nk, n n ˆ ˆ ˆ Rk + Sk ∈ Hk+1 + Hk+1 ⊆ Hk.

Furthermore, for every k ∈ ω and n ≥ nk, we have that n g (h0 + ··· + hn) − g (hi) i=0 X n−1 = c (hi,hi+1 + ··· + hn) i=0 X k n−1 = c (hi,hi+1 + ··· + hn)+ c (hi,hi+1 + ··· + hn) i=0 X i=Xk+1 k (i) n n = c(hi,h )+ Rk + Sk . i=0 X THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 15

Thus, for every k ∈ ω and n ≥ nk, n (i) n n ˆ g (h0 + ··· + hn) − ( g (hi)+ c(hi,h )) = Rk + Sk ∈ Hk. i=0 X The series ∞ (n) g (hn)+ c(hn,h ) n=0 X   (n) converges in M since g (hn)+ c hn,h ∈ Mn for every n ∈ ω. By continuity of g : G → Hˆ , we have that g (h) is the limit of the sequence
(g (h0 + ··· + hn))n∈ω in Hˆ . Since, for k ≥ nk, n n ˆ Rk + Sk ∈ Hk, we have that ∞ (n) g (h)= g (hn)+ c(hn,h ) ∈ M. n=0 X   This shows that h ∈ L = {x ∈ G : g (x) ∈ M}, concluding the proof. 

Lemma 2.36. Suppose that G = G/Nˆ and H = H/Mˆ are groups with a Polish cover, such that M and Gˆ are non-Archimedean Polish groups. Assume that H has Solecki length 1. Let ϕ : G → H be a definable homomorphism. Then ϕ (G) is a non-Archimedean Polishable subgroup of H.

Proof. Adopt the notation from Lemma 2.34. Define ϕ (G) = L and set Lˆ = {x ∈ Hˆ : x + M ∈ L}. Then by Proposition 2.15, Lˆ is a Polishable subgroup of Hˆ . Consider for k ∈ ω the analytic subgroup Lˆk := g(Gk)+ Mk ⊆ L ∩ Hˆk ⊆ L. Since, for x, y ∈ Gˆk, g (x + y) ≡ g (x)+ g (y) mod Mk, we have that Lˆk is indeed a subgroup of Lˆ. Furthermore, since Gˆk has countable index in Gˆ and Mk has countable index in M, we have that Lˆk has countable index in Lˆ, and hence it is an open subgroup of Lˆ. Thus, (Lˆk) is a decreasing sequence of open subgroups of Lˆ with trivial intersection. Let d be the invariant ultrametric on L associated with the sequence (Lˆk), defined by

−k d (x, y) = min{2 : x − y ∈ Lˆk}.

−n We claim that (L,ˆ d) is a complete metric space. Suppose that (yn) is a sequence in L such that d (yn, 0) < 2 , and hence yn ∈ Lˆn, for every n ∈ ω. We have that yn = g (hn)+ zn for some hn ∈ Gˆn and zn ∈ Mn. Define y to ∞ ˆ ∞ be the limit of the series n=0 yn in H, z to be the limit of the series n=0 zn in M, and h to be the limit of the series ∞ h in Gˆ. We need to prove that y ∈ Lˆ. Define also h(i) = h − (h + ··· + h ) for i ∈ ω. As in the proof n=0 n P P 0 i of Lemma 2.35, we have that: P ˆ (i) H • c(hi,h ) ∈ M i ∩ N = Mi for every i ∈ ω; • the series ∞ (n) c(hn,h ) n=0 X converges in M; • the sequence

(g (h0 + ··· + hn))n∈ω converges in Hˆ to g (h); • there is an increasing sequence (nk) in ω such that, for every k ∈ ω and n ≥ nk, n (i) g (h0 + ··· + hn) − g (hi)+ c(hi,h ) ∈ Hˆk. i=0 X   16 MARTINO LUPINI

Therefore, we have that ∞ ∞ (n) (n) y + c(hn,h ) = g (hn)+ c(hn,h )+ zn n=0 n=0 X X   = g (h)+ z and hence y ≡ g (h) mod M. This shows that y ∈ Lˆ, concluding the proof. 

Proposition 2.37. Suppose that G = G/Nˆ is a non-Archimedean group with a Polish cover, and H = H/Mˆ is a group with a Polish cover such that M is a non-Archimedean Polish group. If G and H are definably isomorphic, then Hˆ is a non-Archimedean Polish group, and hence H is a non-Archimedean group with a Polish cover.

Proof. Let ϕ : G → H be a definable isomorphism. Then, for every α<ω1, ϕ induces a definable isomorphism sα (G) → sα (H), and a definable isomorphism G/sα (G) → H/sα (H). Furthermore, by Lemma 2.23, we have that, for every 1 ≤ α<ω1, sα (G) is a non-Archimedean Polishable subgroup of G and sα (H) is a non-Archimedean Polishable subgroup of H. After replacing G with G/s1 (G) and H with H/s1 (H), we can assume that H has Solecki length 1. In this case, the conclusion follows from Lemma 2.36, since ϕ (G)= H. 

We can now prove that images and preimages of non-Archimedean Polishable subgroups of non-Archimedean groups with a Polish cover are non-Archimedean. Proposition 2.38. Suppose that G, H are non-Archimedean groups with a Polish cover, and f : G → H is a definable homomorphism. −1 (1) If H0 is a non-Archimedean Polishable subgroup of H, then f (H0) is a non-Archimedean Polishable subgroup of G; (2) If G0 is a non-Archimedean Polishable subgroup of G, then f (G0) is a non-Archimedean Polishable subgroup of G.

Proof. Let sα (H) for α<ω1 be the sequence of Solecki subgroups of H. Notice that, for every α<ω1, sα (H) is a non-Archimedean Polishable subgroup of H. For α ≥ 1 this follows from Lemma 2.23. For α = 0, this follows from H the fact that s0 (H)= {0} is a closed subgroup of H. −1 (1) Define G0 := f (H0). After replacing H with H/H0, we can assume that H0 = {0}, in which case −1 G0 = Ker(f). By Proposition 2.15 we have that Gα := f (sα (H)) is a Polishable subgroup of G for every α<ω1. We now prove by induction on α that Gα is non-Archimedean. This will give the desired conclusion when applied to the Solecki length of H. For α = 0 this is clear since s0 (H) is closed in H and hence G0 is closed in G by Lemma 2.18. Suppose that the conclusion holds for α. Then consider ϕα = f|Gα : Gα → sα (H), and let πα : sα (H) → sα (H) /sα+1 (H) be the quotient map. Then Gα+1 = Ker(πα ◦ ϕα). Since sα (H) /sα+1 (H) is a non-Archimedean group with a Polish cover of Solecki length 1, and Gα is a non-Archimedean group with a Polish cover by the inductive assumption, we have that Gα+1 is non-Archimedean by Lemma 2.35. Finally, suppose that λ is a limit ordinal, and the conclusion holds for α < λ. As sλ (H) = α<λ sα (H), we have that Gλ = α<λ Gα. By the inductive hypothesis, Gα is non-Archimedean for every α < λ. Therefore, Gλ is non-Archimedean by Lemma 2.13. T T (2) Set H := H/Mˆ where M and Hˆ are non-Archimedean Polish groups. After replacing G with G0 and f with its restriction to G0, we can assume that G0 = G. By the first item, Ker (f) is a non-Archimedean Polishable subgroup of G. Thus, after replacing G with G/Ker(f), we can assume that f : G → H is a definable monomorphism. By Proposition 2.15, we have that H0 = f (G) is a Polishable subgroup of H. Thus, f induces a definable isomorphism ϕ : G → H0. By Proposition 2.37, we have that Hˆ0 = {x ∈ Hˆ : x + M ∈ H0} is a non-Archimedean Polish group. Hence, H0 is a non-Archimedean Polishable subgroup of H. This concludes the proof. 

It follows from Proposition 2.38 that non-Archimedean groups with a Polish cover form an abelian subcategory of the abelian category of groups with a Polish cover. THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 17

1 2.9. Ulm subgroups. Suppose that G = G/Nˆ is a group with a Polish cover. The first Ulm subgroup u1 (G)= G is the subgroup n>0 nG of G. One then defines the sequence uα (G) of Ulm subgroups by recursion on α<ω1 by setting: T (1) u0 (G)= G; (2) uα+1 (G)= u1 (uα (G)); (3) uλ (G)= α<λ uα (G) for λ limit. It follows from Lemma 2.12 by induction on α<ω that u (G) is a Polishable subgroup of G, which is non- T 1 α Archimedean if G is non-Archimedean; see Definition 2.10. We let D (G) be the largest divisible subgroup of G. A group G is reduced if D (G) = 0. Notice that D (G) is a Polishable subgroup of G, which is non-Archimedean when G is non-Archimedean, as D (G)= Dˆ (G) /N, where Dˆ (G) is the image of the Polish group ˆ H = (gn, rn)n∈ω : ∀n ∈ ω,gn − (n + 1) gn+1 = rn ⊆ G ⊕ N n∈ω  Y under a continuous group homomorphism. The same proof as [FS06, Theorem 4.1(i)] gives the following.

Proposition 2.39. Suppose that G = G/Nˆ is a group with a Polish cover. Then there exists α<ω1 such that uα (G)= D (G). Proof. After replacing G with G/D (G), we can assume that D (G) = {0}. Set B := Gˆ \ N. Define the Borel relation ≺ on the standard Borel space B<ω of finite sequences in B by setting

(g0,...,gn) ≺ (h0,...,hm) ⇔ m

Suppose that G is a group with a Polish cover. The Ulm rank of G the least α<ω1 such that uα (G)= D (G). Notice that such an α exists by Proposition 2.39. A related sequence can be defined for a given prime number p. One defines by recursion: • p0G = G; • pα+1G = p (pαG); λ β • p G = β<λ p G for λ limit. α α The p-lengthT of G is the least α such that p G is p-divisible, in which case p G is the largest p-divisible subgroup of G. (A group A is p-divisible if the function A → A, x 7→ px is surjective.) If G is p-local, then one can easily prove by induction that, for every ordinal β, Gβ = pωβG. (An abelian group G is p-local if, for every prime q other than p, the function x 7→ qx is an automorphism of G.) Definition 2.40. If G, H are groups with a Polish cover, and ϕ : G → H is an definable monomomorphism, then −1 ϕ is isotype if ϕ (uα (H)) = uα (G) for every ordinal α. If G ⊆ H is a Polishable subgroup, then G is isotype if the inclusion G → H is isotype.

Suppose that α is a countable ordinal and (Gβ)β<α is an inverse sequence of groups with a Polish cover Gβ and ′ (β,β ) ′ definable homomorphisms p : Gβ′ → Gβ for β ≤ β < α. One then defines limβ<αGβ to be the group with a Polish cover

′ ′ β,β (x ) ∈ G : ∀β ≤ β , x = p( ) x ′ ,  β β β β  β<α  Y
   18 MARTINO LUPINI which is a Polishable subgroup of β<α Gβ. Let G be a group with a Polish cover. The α-topology on G is the group topology that has Gβ as Q β<α β neighborhoods of 0. Define Lα (G) := limβ<αG/G . We have a canonical definable exact sequence of groups
with a Polish cover α G → G → Lα (G) → Eα (G). β The map κα : G → Lα (G) is the canonical homomorphism induced by the quotient maps G → G/G for β < α, α while Eα (G) = Lα (G) /κα (G). Notice that the α-topology on G is Hausdorff if and only if G = 0, and it α is Hausdorff and complete if and only if G = 0 and Eα (G) = 0, in which case G → Lα (G) is a definable isomorphism. If ϕ : G → H is an isotype definable homomorphism, then ϕ induces a definable homomorphism Lα (G) → Lα (H) that makes the diagram G → H ↓ ↓ Lα (G) → Lα (H) commute. In turn, this induces a definable homomorphism Eα (G) → Eα (H).

3. Ext groups In this section, we recall how Ext and PExt groups from abelian group theory and homological algebra can be regarded as groups with a Polish cover as in [BLP20]. We formulate in this context a description of Ext groups from [EM42], and some homological algebra results about cotorsion functors from [Nun67]. Recall that we assume all the groups to be abelian and additively denoted.

3.1. Groups of homomorphisms. We begin by describing how the group Hom of homomorphisms from a count- able group to a group with a Polish cover can be regarded as a group with a Polish cover. Suppose that A is a countable group, and G = G/Nˆ is a group with a Polish cover. We regard N as a Polish group endowed with its (unique) compatible Polish group topology. Define Hom (A, G) to be the group of group homomorphisms A → G. We regard Hom(A, G) as a group with a Polish cover, as follows. Let Hˆ be the Polish group of functions ϕ : A → Gˆ satisfying ϕ (a + b) ≡ ϕ (a)+ ϕ (b) mod N for a,b ∈ A and ϕ (0) = 0, endowed with the topology obtained by setting ϕi → 0 if and only if ϕi (a) → 0 in Gˆ and

ϕi (a + b) − ϕi (a) − ϕi (b) → 0 in N for every a,b ∈ A. Let also NH be the Polishable subgroup consisting of ϕ ∈ Hˆ such that ϕ (a) ≡ 0 mod N for every a ∈ A. Then we let Hom(A, G) be the group with a Polish cover H/Nˆ H . Notice that Hom (A, G) is non-Archimedean when G is non-Archimedean, and a Polish group when G is a Polish group. Suppose that A = F/R where F is a countable free group and R is a subgroup. Then one has that Hom (A, G) as defined above is naturally definably isomorphic to the group with a Polish cover Hom((F, R) , (G,Nˆ ))/Hom(F,N). Here, Hom((F, R) , (G,ˆ N)) is the Polish group of homomorphisms F → Gˆ mapping R to N endowed with the ˆ topology defined by setting ϕi → ϕ if and only if ϕi (x) → ϕ (x) in G for x ∈ F and ϕi (x) → ϕ (x) in N for x ∈ R, and Hom(F,N) is the Polishable subgroup of homomorphisms F → N.

3.2. Groups of extensions. We now consider the groups Ext of extensions of a countable group by a group with a Polish cover, and describe how it can be regarded as a group with a Polish cover. We present two equivalent descriptions of it, one in terms of cocycles, and the other in terms of projective resolutions. Suppose that A is a countable group and G = G/Nˆ is a group with a Polish cover. A (normalized 2-)cocycle on A with values in G is a function c : A × A → G such that, for every x,y,z ∈ A: • c (x, 0) = 0; • c (x, y)= c (y, x); • c (y,z) − c (x + y,z)+ c (x, y + z) − c (y,z)=0. THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 19

We let Z (A, G) be the group of cocycles on A with values in G, where the operation is defined pointwise. We regard Z (A, G) as a group with a Polish cover H/Nˆ H , as follows. Let Hˆ be the Polish group of functions c : A × A → Gˆ such that, for every x,y,z ∈ A: • c (x, 0) = 0; • c (x, y)= c (y, x); • c (y,z) − c (x + y,z)+ c (x, y + z) − c (y,z) ≡ 0 mod N.

The operations in Hˆ are defined pointwise, and we declare a net (ci) in H to converge to 0 if and only if, for every x,y,z ∈ A,

ci (x, y) → 0 in Gˆ, and

ci (y,z) − ci (x + y,z)+ ci (x, y + z) − ci (y,z) → 0 in N. We let NH be the Polishable subgroup of Hˆ consisting of the functions c in Hˆ such that c (x, y) ≡ 0 mod N for every x, y ∈ A. Then we can identify Z (A, G) with the group with a Polish cover H/Nˆ H . Notice that Z (A, G) is non-Archimedean when G is non-Archimedean, and a Polish group when G is a Polish group. A cocycle c on A with values in G is a coboundary if there exists a function φ : A → G such that φ (0) = 0 and

c (x, y)= φ (y) − φ (x + y)+ φ (x) for every x, y ∈ A. Coboundaries form a Polishable subgroup B (A, G) of the group with a Polish cover Z (A, G). One then defines Ext (A, G) to be the group with a Polish cover Z (A, G) /B (A, G), which is non-Archimedean when G is non-Archimedean. Following [EM42, Section 5], one can give an alternative description of Ext(A, G), as follows. Suppose that F is a free countable abelian group, and R is a subgroup. Let Hom (F |R, G) be the Polishable subgroup of Hom(R, G) consisting of group homomorphisms R → G that extend to a group homomorphism F → G.

Proposition 3.1 (Eilenberg–Mac Lane [EM42]). Suppose that G is a group with a Polish cover, and A is a countable group. Write A = F/R where F is a countable free group, and R ⊆ F is a subgroup. Fix a right inverse t : A → F for the quotient map F → A such that t (0) = 0. Define then the cocycle ζ on A with values in R by setting ζ (x, y) = t (y) − t (x + y)+ t (x) for x, y ∈ A. The definable homomorphism Hom (R, G) → Z (A, G), θ 7→ θ ◦ ζ induces a natural definable isomorphism Hom(R, G) −→∼ Ext(A, G). Hom(F |R, G) Fix a countable abelian group A. Then Ext(A, −) is an additive functor from the category of groups with a Polish cover to itself. Similarly, for a fixed group with a Polish cover G, Ext(−, G) is an additive functor from the category of countable groups to the category of groups with a Polish cover. If (Ai)i∈ω is a sequence of countable groups, and (Gi)i∈ω is a sequence of groups with a Polish cover, then we have, for every countable group A and group with a Polish cover G, natural isomorphisms

Ext( Ai, G) =∼ Ext(Ai, G) i∈ω i∈ω M Y and

Ext(A, Gi) =∼ Ext(A, Gi) i∈ω i∈ω Y Y in the category of groups with a Polish cover; see [Fuc70, Theorem 52.2]. If D is a divisible abelian group, then Ext(A, D) = 0 [Fuc70, page 222]. If G is an arbitrary countable group, then one can write G = D ⊕ G′ where D is divisible and G′ is reduced (i.e., it has no nonzero divisible subgroup). Thus, we have that Ext (A, G) and Ext(A, G′) are definably isomorphic. 20 MARTINO LUPINI

3.3. Groups of pure extensions. An important subgroup of Ext is the group PExt corresponding to pure extensions. We recall the fundamental observation that PExt is the first Ulm subgroup of Ext, as well as the closure of the {0} in Ext. Suppose that A is a countable group, and G is a group with a Polish cover. Define the group Bw(A, G) of weak coboundaries to be the Polishable subgroup of Z(A, G) consisting of c such that c|S×S ∈ B(S, G) for every finite subgroup S ⊆ A. One defines the pure (or phantom) Ext group PExt (A, G) to be the group with a Polish cover Bw(A, G)/B(A, G) [Sch03, CS98]. We also define the weak Ext group Extw (A, G) to be the group with a Polish cover Z(A, G)/Bw(A, G). One has that PExt (A, G) is equal to the first Ulm subgroup u1(Ext (A, G)) of the group with a Polish cover Ext (A, G); see [Fuc70, Proposition 53.4]. Suppose that A = F/R for some countable free group F and subgroup R ⊆ F . Define Homf (F |R, G) to be the Polishable subgroup of Hom(R, G) consisting of all group homomorphisms R → G that extend to a group homomorphism F0 → R for every subgroup F0 of F containing R as a finite index subgroup. The natural definable isomorphism Hom(R, G) ∼ −→ Ext(F/R,G) Hom(F |R, G) as in Proposition 3.1 induces a definable isomorphism

Hom (R, G) ∼ f −→ PExt(A, G); Hom(F |R, G) see [EM42, Section 5]. Lemma 3.2. Suppose that A, G are countable groups. Then PExt(A, G) is the closure of {0} in Ext(A, G), and Extw (A, G) is a Polish group. Proof. Write A = F/R for some countable free group F and subgroup R ⊆ F . In view of the above discussion, it suffices to prove that Homf (R, G) is the closure of Hom(F |R, G) inside Hom (R, G). For ϕ ∈ Hom (R, G), one has that ϕ ∈ Homf (F |R, G) if and only if, for every prime p, x ∈ F and m ∈ Z satisfying pmx ∈ R, one has that ϕ (pmx) ∈ pmG; see [EM42, Lemma 5.1 and Lemma 5.2]. Thus, it follows that Homf (F |R, G) is a closed subgroup of the Polish group Hom(R, G). The proof of [EM42, Lemma 5.3] shows that, in fact, Homf (F |R, G) is the closure of Hom (F |R, G) inside Hom (R, G).  3.4. Ext groups and extensions. Fix countable groups A, C. We now describe how one can regard the relation of equivalence of extensions of C by A as a Borel equivalence relation on a Polish space, and how the elements of Ext(C, A) parametrize the corresponding equivalence classes. An extension of C by A is a short exact sequence A → B → C in the abelian category of countable groups. (Recall that all the groups are assumed to be abelian.) One can regard such an extension as a first-order structure in the countable language L obtained by adding to the language of groups constant symbols ca for a ∈ A and unitary relation symbols Rc for c ∈ C. The extension A → B → C corresponds to the L-structure given by the group B, where ca is the interpreted as the image of a ∈ A under the monomorphism A → B, while the relation symbol Rc is interpreted as the preimage of c ∈ C under the epimorphism B → C. It is easy to see that the set Ext (C, A) of such L-structures is a Gδ subset of the space Mod (L) of L-structures, whence it is a Polish space with the induced topology. The relation RExt(C,A) of isomorphism of extensions is simply the restriction to Ext (C, A) of the relation of isomorphism of L-structures. g Given an extension A → B →h C of C by A, one can define a corresponding cocycle c on C with coefficients with A, as follows. Fix a right inverse t : C → B for the map h : B → C, and set c (x, y) := g−1 (t (y) − t (x + y)+ t (x)). Z This defines a Borel function from Ext (C, A) to the Polish group (A, G), which is a Borel reduction from RExt(C,A) B Z to the coset relation =Ext(C,A) of (A, G) inside (A, G). Furthermore, the induced definable function Ext (C, A) → Ext(C, A) RExt(C,A) is a bijection; see [Fuc70, Section 50]. Therefore, we have that Ext (C, A) /RExt(C,A) is a definable set, and by Proposition 2.3 RExt(C,A) is Borel bireducible with =Ext(C,A). An extension A → B → C of C by A is pure if (the image of) A is a pure subgroup of B, namely nB ∩ A = nA for every n ≥ 1. The pure extensions of C by A form a Gδ subset PExt (C, A) of Ext (C, A). Letting RPExt(C,A) THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 21 be the restriction of RExt(C,A) to PExt (C, A), we have that PExt (C, A) /RPExt(C,A) is also a definable set, and the definable bijection Ext (C, A) −→∼ Ext(C, A) RExt(C,A) restricts to a definable bijection PExt (C, A) −→∼ PExt(C, A). RPExt(C,A)

3.5. Ext and Hom. The functor Ext can be seen as the first derived functor of the functor Hom from the perspective of homological algebra [Wei94, Chapter 2]. For our purposes, it will be sufficient to recall some exact sequences relating Ext and Hom. Suppose that A is a countable group and G0 → G1 → G2 is a short exact sequence of groups with a Polish cover. Then we have a definable exact sequence

∂ 0 → Hom (A, G0) → Hom(A, G1) → Hom (A, G2) → Ext(A, G0) → Ext(A, G1) → Ext(A, G2) → 0; see [Fuc70, Theorem 51.3]. To describe the definable homomorphism

∂ : Hom (A, G2) → Ext(A, G0) one can consider a short exact sequence R → F → A, where F is free. Then we have natural definable isomorphisms

Hom ((F, R) , (G1, G0)) Hom (A, G2) =∼ Hom (F, G0) and Hom (R, G0) Ext(A, G0) =∼ . Hom (F |R, G0)

Here, Hom ((F, R) , (G1, G0)) is the Polishable subgroup of Hom (F, G1) consisting of homomorphisms F → G1 mapping R to G0 (where we identify G0 with a Polishable subgroup of G1). Via these definable isomorphisms, ∂ correspond to the definable homomorphism Hom ((F, R) , (G , G )) Hom (R, G ) 1 0 → 0 Hom (F, G0) Hom (F |R, G0) induced by the definable homomorphism

Hom ((F, R) , (G1, G0)) → Hom (R, G0), ϕ 7→ ϕ|R.

If furthermore G0 → G1 → G2 is a pure definable short exact sequence, namely G0 is a pure subgroup of G1, then the definable exact sequence above restricts to a definable exact sequence

0 → Hom (A, G0) → Hom(A, G1) → Hom (A, G2) → PExt(A, G0) → PExt(A, G1) → PExt(A, G2) → 0; see [Fuc70, Theorem 53.7]. Suppose now that A → B → C is a short exact sequence of countable groups and G is a group with a Polish cover. Then we have a definable exact sequence

0 → Hom (C, G) → Hom (B, G) → Hom (A, G) →δ Ext(C, G) → Ext(B, G) → Ext(A, G) → 0 of groups with a Polish cover; see [Fuc70, Theorem 51.3]. The definable homomorphism δ : Hom (A, G) → Ext(C, G) is defined by setting, for ϕ ∈ Hom (A, G), δ (ϕ) to be the element of Ext(C, G) associated with the cocycle C ×C → G, (x, y) 7→ ϕ (t (y) − t (x + y)+ t (x)), where t : C → B is a right inverse for the quotient map B → C, and we identify A with a subgroup of B. If furthermore the short exact sequence A → B → C is pure, then the exact sequence above restricts to a definable exact sequence 0 → Hom (C, G) → Hom (B, G) → Hom (A, G) → PExt(C, G) → PExt(B, G) → PExt(A, G) → 0; see [Fuc70, Theorem 53.7]. 22 MARTINO LUPINI

3.6. Radicals and cotorsion functors. We now recall some terminology and results of homological nature about Ext from [Nun67]. These will be used in Section 4 to describe the Solecki subgroups of Ext for countable p-groups. A preradical or subfunctor of the identity S is a function A 7→ SA assigning to each group A a subgroup SA ⊆ A such that, if f : A → B is a group homomorphism, then f maps SA to SB. This gives a functor from the category of abelian groups to itself, where one defines for a homomorphism f : A → B, Sf := f|SA : SA → SB. A radical is a preradical S such that S(A/SA) = 0 for every group A. An extension Z → G → H of a countable group H by Z defines a preradical S, by setting SA = Ran (Hom (G, A) → Hom (Z, A)= A) = Ker(A = Hom (Z, A) → Ext(H, A)) . In this case, one says that S is the preradical represented by the extension Z → G → H. A cotorsion functor is a preradical that is represented by an extension Z → G → H such that H is a countable torsion group. Notice that this implies that SA is a Polishable subgroup of A whenever A is a group with a Polish cover. Suppose that S is a cotorsion functor. An extension C → E → A is S-pure if it defines an element of SExt(A, C). In this case, the map C → E is an S-pure monomorphism and the map E → A is an S-pure epimorphism, and the image of C inside of E is an S-pure subgroup. A group A is S-projective if SExt(A, C) = 0 for every group C, and S-injective if SExt(C, A) = 0 for every group C. The cotorsion functor S has enough projectives if for every group A there exists an S-pure extension M → P → A where P is S-projective. This is equivalent to the assertion that S is represented by an extension Z → G → H where H is an S-projective torsion group [Nun63, Theorem 4.8]. A cotorsion functor with enough projectives is necessarily a radical. The following lemma is a consequence of [Nun67, Lemma 1.1]. Lemma 3.3. Suppose that S is a cotorsion functor, A, C are countable group, and B is a subgroup of C contained in SC. Then the exact sequence B → C → C/B induces a definable exact sequence 0 → Hom (A, B) → Hom(A, C) → Hom (A,C/B) → Ext(A, B) → SExt(A, C) → SExt(A,C/B) → 0 of groups with a Polish cover. Furthermore, SExt(A, C) is the preimage of SExt(A,C/B) under the definable epimorphism Ext(A, C) → Ext(A,C/B).

Suppose that S is a cotorsion functor represented by the exact sequence Z → GS → HS, where HS is a countable S-projective torsion group. If C is a countable group, then we have a corresponding definable exact sequence of groups with a Polish cover

0 → SC → C → Ext(HS , C) → Ext(GS, C) → 0. The proofs of [Nun67, Lemma 1.3, Lemma 1.4, and Theorem 1.11] give the following lemma.

Lemma 3.4. Suppose that S is a cotorsion functor represented by an extension Z → GS → HS where HS is a countable S-projective torsion group. Let A, C be a countable groups such that A/SA is S-projective. Then:

(1) The quotient map C → C/SC induces definable isomorphisms Ext(GS , C) → Ext(GS,C/SC) and Ext(HS, C) → Ext(HS,C/SC); (2) If SC = 0 then SExt(A, C) and Hom (SA, Ext(GS, C)) = Hom (SA,SExt(GS , C)) are definably isomor- phic; (3) The short exact sequences SA → A → A/SA and SC → C → C/SC induce definable homomorphisms Hom(A, C/SC) → Ext(A, SC) and Ext(A, SC) → Ext(SA, SC) , which induce a definable isomorphism

Ext(A, SC) η : → Ext(SA, SC) ; A,C Ran (Hom (A, C/SC) → Ext(A, SC)) (4) The short exact sequence SC → C → C/SC induces a definable exact sequence 0 → Hom (A, C/SC) → Ext(A, SC) → SExt(A, C) → SExt(A, C/SC) → 0 THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 23

which induces a pure definable exact sequence

Ext(A, SC) ρA,C 0 → → SExt(A, C) → SExt(A, C/SC) → 0; Ran (Hom (A, C/SC) → Ext(A, SC)) (5) The definable monomorphism −1 rA,C := ρA,C ◦ ηA,C : Ext(SA, SC) → SExt(A, C) restricts to a definable isomorphism

γA,C : PExt(SA, SC) → u1 (SExt(A, C)) .

4. Solecki subgroups of Ext groups This section is dedicated to the proof of Theorem 1.5 and Theorem 1.2. We being by showing that one can reduce to the case of p-groups for some prime number p. We first show that the Solecki and Ulm subgroups of PExt coincide. We then conclude the proof of Theorem 1.5 and Theorem 1.2 by using the results concerning the complexity of Solecki subgroups from Section 2. As before, we assume all the groups to abelian and additively denoted.

4.1. Reduction to the p-group case. Towards the proof of Theorem 1.5 and Theorem 1.2, we begin with showing how one can reduce to the case of p-groups for a given prime number p. This is the content of the following proposition. Recall that we denote by P the set of prime numbers. Proposition 4.1. Suppose that C is a countable torsion group and A is a countable group. For a prime number p, let Cp ⊆ C be the p-primary component of C, and Ap ⊆ A/D (A) be the p-primary component of A/D (A). Let Γ 0 0 0 0 0 ˇ 0 be one of the classes Σα, Πα, D Πα , D Σα , D Πα , or D Πα for 2 ≤ α<ω1. (1) Ext(C, A) is a Polish group if
and only
if Ext( C
p, Ap) is a Polish
group for every prime number p; (2) {0} is Γ in Ext(C, A) if and only if {0} is Γ in p∈P Ext(Cp, Ap). The rest of this section is dedicated to the proof of PropositionQ 4.1. We begin with a lemma from [Fuc70, page 223], whose short proof we recall for convenience. Lemma 4.2. Fix a prime number p. Suppose that A, C are countable groups such that C is a p-group and A is p-divisible. Then Ext(C, A)=0. Proof. Let D be the divisible hull of A [Fuc70, Section 24]. Then D/A is a torsion group with trivial p-primary component. In particular, Hom (C, D/A)=0. As D is divisible, Ext (C,D) = 0. Considering the definable exact sequence Hom (C, D/A) → Ext(C, A) → Ext(C,D) induced by the exact sequence A → D → D/A, we conclude that Ext (C, A) = 0. 

The following lemma is established in [EM42]; see also [Fuc70, Theorem 52.3]. Lemma 4.3. If A is a countable torsion-free group and C is a countable torsion group, then Ext(C, A) is definably isomorphic to the Polish group Hom (C, D/A) where D is the divisible hull of A. In particular, PExt(C, A)=0. Proof. The exact sequence A → D → D/A induces a definable exact sequence Hom (C,D) → Hom (C, D/A) → Ext(C, A) → Ext(C,D). Since C is torsion and D is torsion-free, Hom (C,D) = 0. Furthermore, since D is divisible, Ext (C,D) = 0. This concludes the proof. 

As an immediate consequence of the previous lemma, one obtains the following. Lemma 4.4. Suppose that C is a countable torsion group and A is a countable group. Let tA ⊆ A be its torsion subgroup. Then PExt(C,tA) and PExt(C, A) are definably isomorphic. 24 MARTINO LUPINI

Proof. We have that J := A/tA is torsion-free. Since tA is a pure subgroup of A, we have a definable exact sequence Hom (C,J) → PExt(C,tA) → PExt(C, A) → PExt(C,J). Since C is torsion and J is torsion-free, Hom (C,J) = 0 and PExt(C,J) = 0 by Lemma 4.3. This concludes the proof. 

Lemma 4.5. Suppose that C is a countable p-group and A is a countable group. Let Ap ⊆ A be the p-primary subgroup of A. Then PExt(C, A) and PExt(C, Ap) are definably isomorphic. Proof. By Lemma 4.4 we can assume without loss of generality that A is a torsion group. Thus, we can write A = Ap ⊕B where B is p-divisible. By Lemma 4.2, PExt (C,B) = 0. Therefore, PExt(C, A) is definably isomorphic to PExt(C, Ap) ⊕ PExt(C,B) = PExt(C, Ap). 

Lemma 4.6. Suppose that C is a countable torsion group and A is a countable group. Let Ap ⊆ A be the p-primary subgroup of A and Cp ⊆ C be the p-primary subgroup of C. Then PExt(C, A) and p PExt(Cp, Ap) are definably isomorphic. Q ∼ Proof. Since C is a countable torsion group, we have that C = p Cp. Therefore, PExt(C, A) is definably isomorphic to PExt(C , A). By Lemma 4.5, for every prime p we have that PExt (C , A) is definably isomorphic to p p L p PExt(C , A ). This concludes the proof.  Q p p We now present the proof of Proposition 4.1. Proof of Proposition 4.1. By Lemma 3.2,

PExt(C, A)= s0 (Ext(C, A)) and

PExt(Cp, Ap)= s0 Ext(Cp, Ap) . P  P  pY∈ pY∈   Thus, by Lemma 4.6, s0 (Ext(C, A)) and s0 p∈P Ext(Cp, Ap) are definably isomorphic. (1) We have that Ext (C, A) is a Polish groupQ if and only if s0 (Ext (C, A)) = 0 if and only if PExt (Cp, Ap)=0 for every p ∈ P, if and only if Ext (Cp, Ap) is a Polish group for every p ∈ P. (2) This follows from the above remarks, after observing that if G is a group with a Polish cover, then {0} ∈ Γ (G) if and only if {0} ∈ Γ(s0 (G)).  4.2. Ulm subgroups and cotorsion functors. We now fix a prime p, and assume all the groups to be p-local. (A group C is p-local if the function x 7→ qx is an isomorphism of C for every prime q other than p.) Notice that, in particular, every p-group is p-local. Recall the notion of cotorsion functor from Section 3.6. For every ordinal α α<ω1, the assignment A 7→ p A is a cotorsion functor with enough projectives [Gri70, Chapter V]. For example, A 7→ pωA is the cotorsion functor represented by the extension Z → Z[1/p] → Z (p∞). Here, we let Z[1/p] be the subgroup of Q consisting of rationals of the form ap−n for a ∈ Z and n ∈ ω, and Z (p∞) is the Pr¨ufer p-group α Z[1/p]/Z [Fuc70, Section 3]. More generally, for α<ω1, A 7→ A is represented by the extension Z → Gα → Hα as in [Gri70, Theorem 69], where Hα is a countable p-group of Ulm length α. A p-group A is called totally injective if and only if A/pαA is pα-projective for every ordinal α [Fuc73, Section 82]. Every countable p-group is totally projective [Fuc73, Theorem 82.4]. For a countable p-group C and limit ordinal α<ω1, define as in Section 2.9 β α Lα (C) = limβ<αC/p C, and consider the definable exact sequence p C → C → Lα (C) → Eα (C).

Lemma 4.7. Suppose that A, C are countable p-groups, and α<ω1 is a limit ordinal. Then Hom (A, Eα (C)) and α Hom (A, p Ext(Gα, C)) are definably isomorphic groups with a Polish cover. Proof. By Lemma 3.4(1), after replacing C with C/pαC, we can assume that pαC = 0. Consider the short definable exact sequence C → Ext(Hα, C) → Ext(Gα, C) induced by Z → Gα → Hα. As in the proof of [Kee94], Ext (Hα, C) is complete in the α-topology. Furthermore, the monomorphism C → Ext(Hα, C) is isotype (see Definition 2.40), and hence it induces a definable monomorphism Lα (C) → Ext(Hα, C) =∼ Lα (Ext (Hα, C)). In turn, this induces a definable monomorphism Eα (C) → Ext(Gα, C). It is proved in [Kee94] that this definable monomorphism induces THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 25

α an isomorphism between the torsion subgroups of Eα (C) and p Ext(Gα, C). As A is a torsion group, this induces α a definable isomorphism Hom (A, Eα (C)) → Hom (A, p Ext(Gα, C)).  The following corollary is an immediate consequence of Lemma 4.7 and Lemma 3.4, considering that every α ωα countable p-group is totally projective. Recall that, for a p-local group and α<ω1, A = p A.

Corollary 4.8. Suppose that A, C are countable p-groups, and α<ω1 is an ordinal. α α (1) The quotient map C → C/C induces definable isomorphisms Ext(Gωα, C) → Ext(Gωα,C/C ) and α Ext(Hωα, C) → Ext(Hωα,C/C ); α α α (2) If C =0 then Ext(A, C) and Hom (A , Eωα (C)) are definably isomorphic; (3) The short exact sequences Aα → A → A/Aα and Cα → C → C/Cα induce definable homomorphisms Ext(A, Cα) → Ext(Aα, Cα) and Hom (A, C/Cα) → Ext(A, Cα) , which induce a definable isomorphism Ext(A, Cα) ηα : → Ext(Aα, Cα) ; A,C Ran (Hom (A, C/Cα) → Ext(A, Cα)) (4) The short exact sequence Cα → C → C/Cα induces a definable exact sequence 0 → Hom (A, C/Cα) → Ext(A, Cα) → Ext(A, C)α → Ext(A, C/Cα)α → 0 which induces a pure definable exact sequence α α Ext(A, C ) ρA,C 0 → → Ext(A, C)α → Ext(A, C/Cα)α → 0; Ran (Hom (A, C/Cα) → Ext(A, Cα)) (5) The definable monomorphism α α α −1 α α α rA,C := ρA,C ◦ (ηA,C) : Ext(A , C ) → Ext(A, C) restricts to a definable isomorphism α α α α+1 γA,C : PExt(A , C ) → Ext(A, C) . (6) We have a pure definable exact sequence

rα α α A,C α α 0 → Ext(A , C ) → Ext(A, C) → Hom (A , Eωα (C)) → 0.

Corollary 4.9. Suppose that A, C are countable p-groups, and α<ω1 is a countable ordinal. Then there is a definable monomorphism α α α Ext(A, C) → Hom (A , Eωα (C)) ⊕ Ext(A , C) . Proof. Consider the definable homomorphism α α ψ : Ext(A, C) → Hom (A , Eωα (C)) as in Corollary 4.8(6) and the definable homomorphism ϕ : Ext(A, C)α → Ext(Aα, C) induced by the inclusion Aα → A. Together, these induce a definable homomorphism α α α ψ ⊕ ϕ : Ext(A, C) → Hom (A , Eωα (C)) ⊕ Ext(A , C). The kernel of ψ is the image of the definable homomorphism Ext(A, Cα) ρα : → Ext(A, C)α A,C Ran (Hom (A, C/Cα) → Ext(A, Cα)) as in Corollary 4.8(4). Consider the commuting diagram 26 MARTINO LUPINI

α Ext(A,Cα) ρA,C α Ran(Hom(A,C/Cα)→Ext(A,Cα)) Ext(A, C)

ηA,C ϕ f Ext(Aα, Cα) Ext(Aα, C) where f is the definable homomorphism induced by the inclusion Cα → C. As Hom (Aα,C/Cα) = 0, f is a α α monomorphism. Since ηA,C is an isomorphism, while ρA,C and f are monomorphisms, we have that ϕ|Ker(ψ) is injective, concluding the proof. 

4.3. Complexity of Hom. In this section, we continue to assume all the groups to be p-local for a fixed prime p. We will compute the complexity class of {0} in Hom (T,Lα (A)) for countable p-groups T and A and α<ω1. Lemma 4.10. Suppose that T is a reduced countable p-group of Ulm rank σ ≥ 1. The following assertion are equivalent: (1) either σ is a limit ordinal, or σ = β +1 is a successor ordinal and T β is infinite;

(2) T = n∈ω Tn where, for every n ∈ ω, Tn is a reduced countable p-group of Ulm rank σ. If furthermore σ = β +1 is a successor ordinal, then one can choose the T ’s such that T β is finite for every n ∈ ω. L n n Proof. Recall that, by [Fuc70, Theorem 17.3], a countable reduced p-group of Ulm rank 1 is a sum of cyclic p-groups.

(2)⇒(1) Suppose that, T = n∈ω Tn where, for every n ∈ ω, Tn is a reduced countable p-group of Ulm rank σ. If σ = β + 1 is a successor ordinal, then we have that T β = T β. For n ∈ ω, T has Ulm length β + 1, and L n∈ω n n hence T β is nonzero. Therefore, T β is infinite. n L (1)⇒(2) For every α < σ, T α/T α+1 is a countable reduced p-group of Ulm rank 1, which is in fact unbounded if α α+1 α +1 < σ. Thus, one can write T /T = n∈ω Sα,n where, for every n ∈ ω, Sα,n is a countable reduced p-group of Ulm rank 1, such that Sα,n is unbounded if α +1 < σ, and Sα,n is finite and nonzero if α +1= σ. By Ulm’s classification of countable reduced p-groupsL [Fuc73, Theorem 76.1, Corollary 76.2], for every n ∈ ω there exists a α α+1 ∼ countable reduced p-group Tn of Ulm rank σ such that Tn /Tn = Sα,n for every α < σ. By Ulm’s classification ∼  again, we have that T = n∈ω Tn. Lemma 4.11. Suppose thatL A is a countable group, and G is a group with a Polish cover. Then there is a definable monomorphism Hom (A, G) → Gω. If A is generated by n elements, then there is a definable monomorphism A → Gn. Proof. Consider a short exact sequence R → F → A, where F is a countable free group. This induces a definable monomorphism Hom(A, G) → Hom (F, G). Notice now that, since F is free, Hom(F, G) is definably isomorphic to a product of copies of G indexed by the elements of a Z-basis for F . 

Lemma 4.12. Suppose that A is a countable reduced p-group, d ∈ ω, and α<ω1 is a limit ordinal such that pβA 6=0 for every β < α. Then:

• Eα (A) is divisible; d d • Eα (A)[p ]= x ∈ Eα (A): p x =0 is a Polishable subgroup of Eα (A); • Σ0 is the complexity class of {0} in E (A)[pd] and in E (A). 2  α α α α Proof. After replacing A with A/p A we can assume that p A = 0. Thus, the canonical map A → Lα (A) is a monomorphism, and Eα (A) = Lα (A) /A. Notice that pLα (A) is an open subgroup of Lα (A), and A is a dense subgroup Lα (A). Thus, pLα (A)+ A = Lα (A). Hence, the map pLα (A) → Eα (A), a 7→ a + A is surjective, and Eα (A) is divisible. Fix a strictly increasing sequence (αn) of countable ordinals such that α0 = 0 and supnαn = α. We have d d that Eα (A)[p ] = G/Aˆ where Gˆ = x ∈ Lα (A): p x ∈ A ⊆ Lα (A). The Polish group topology on Gˆ is defined d d d by letting (xi) converge to 0 if and only if xi → x in Lα (A) and p xi = p x eventually. Thus, Eα (A)[p ] is  d a Polishable subgroup of Eα (A). This also follows from Proposition 2.15, since Eα (A)[p ] is the kernel of the d definable homomorphism Eα (A) → Eα (A), x 7→ p x. 0 d It is clear that {0} is Σ2 in Eα (A), since A is countable. We now show that {0} is dense in Eα (A)[p ]. THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 27

d Consider an element x of Eα (A)[p ]. Then x can be written as a + A where a ∈ Lα (A). In turn, one can write αn d d d d a as n∈ω an for an ∈ p A. Since p x = 0 we have that n p an ∈ A ∩ p Lα (A)= p A. Thus, we can find b ∈ A d d d such that n p an = p b. After replacing a0 with a0 − b we can assume that n p an = 0. Thus, for every k ∈ ω, P k P k we have that pda ∈ pαk+1+dA and hence we can find b ∈ pαk+1 A such that pda = pdb . Thus, P n=0 n k P n=0 n k ˆ we have that (a0 + a1 + ··· + ak − bk)k∈ω is a sequence in G that converges to a. This shows that {0} is dense in d P 0 d 0 P Eα (A)[p ], and hence not Π2 in Eα (A)[p ]. This concludes the proof that Σ2 is the complexity class of {0} in d Eα (A)[p ] and in Eα (A).  Lemma 4.13. Suppose that T = Z (p∞) is the Pr¨ufer p-group, and A is a countable unbounded reduced p-group. 0 Then Π3 is the complexity of {0} in Hom (T, Eω (A)). 0 0 Proof. By Lemma 4.11 and Lemma 4.12, {0} is Π3 in Hom (T, A). Thus, it remains to prove that {0} is not Σ3 in Hom (T, A). After replacing A with A/A1, we can assume that A has Ulm length 1. Thus A is a direct sum of cyclic groups [Fuc70, Theorem 17.2]. We can write A = k Ak, where Ak is a nonzero direct sum of cyclic groups ℓk of order p for some strictly increasing sequence (ℓk) with ℓ0 ≥ 1. (Notice that ℓk ≥ k +1 for every k ∈ ω.) Then L ˆ ω we have that Lω (A)= k Ak. Hence, Hom (T, Eω (A)) is definably isomorphic to G/A , where ˆ ω GQ= {(xn) ∈ Lω (A) : px0 ≡ 0 mod A, ∀n ∈ ω, xn ≡ pxn+1 mod A} . ω By Proposition 2.22, it suffices to prove that the equivalence relation E0 is Borel reducible to the coset relation of Aω inside Gˆ. ˆ ω×ω ˆ ′ Define X := {0, 1,...,p − 1} , and let E to be the equivalence relation on X defined by setting (εi,k)E(εi,k) ⇔ ′ ˆ ˆ ω ∀i∃k (i) ∀k ≥ k (i) ,εi,k = εi,k. We claim that there is a definable injection X/E → G/A , namely E is Borel ω ˆ ω reducible to the coset relation of A inside G. Since E is Borel bireducible with E0 , this will conclude the proof. k−i Define recursively for k ∈ ω and 0 ≤ i ≤ k pairwise distinct elements ai,k (0) ,ai,k (1) ,...,ai,k (p − 1) ∈ p Ak i+1 of order p such that pai+1,k (ε) = ai,k (ε) for ε ∈ {0, 1,...,p − 1}. (Recall that Ak is a sum of cyclic groups of ℓk ˆ ω×ω ˆ order p where ℓk ≥ k + 1.) Given a sequence (εi,k) ∈ X = {0, 1,...,p − 1} define the element (xi)i∈ω ∈ G where, for i ∈ ω, xi = (bi,k)k∈ω ∈ Lω (A)= k Ak is defined by setting bi,k =0 ∈ Ak for k

b0,k = a0,k (ε0,k) ∈ Ak has order p, and

pbi+1,k = p (a0,k (εi+1,k)+ a1,k (εi,k)+ ··· + ai,k (ε1,k)+ ai+1,k (ε0,k))

= p (a1,k (εi,k)+ ··· + ai,k (ε1,k)+ ai+1,k (ε0,k))

= a0,k (εi,k)+ ··· + ai−1,k (ε1,k)+ ai,k (ε0,k)

= bi,k. ˆ ˆ ˆ Thus, (xi)i∈ω indeed defines an element of G. The function X → G, (εi,k) 7→ (xi) is continuous. We claim ˆ ˆ ω ′ ˆ that it induces an injection X/E → G/A . Suppose that (εi,k) and (εi,k) are elements of X. Define as above ′ ′ ′ xi = (bi,k) ∈ Lω (A)= k Ak and xi = (bi,k) ∈ Lω (A)= k Ak for i ∈ ω such that, for k

′ Conversely, suppose that xi −xi ∈ A = k Ak for every i ∈ ω. This implies that there exists an increasing sequence ′ (k (i))i∈ω in ω such that for every i ∈ ω and k ≥ k (i) one has that bi,k = bi,k. We now prove by induction on i ∈ ω L ′ that for every k ≥ k (i) one has that εi,k = εi,k. For i = 0 and k ≥ k (0) one has that ′ ′ a0,k (ε0,k)= b0,k = b0,k = a0,k ε0,k ′ and hence ε0,k = ε0,k. Suppose that the conclusion holds for i. We prove it
for i + 1. We have that, for k ≥ k (i),

bi+1,k = a0,k (εi+1,k)+ a1,k (εi,k)+ ··· + ai+1,k (ε0,k) and ′ ′ ′ ′ bi+1,k = a0,k εi+1,k + a1,k εi,k + ··· + ai+1,k ε0,k and hence

a0,k (εi+1,k) = bi+1,k − (a1,k (εi,k)+ ··· + ai+1,k (ε0,k)) ′ ′ ′ = bi+1,k − a1,k εi,k + ··· + ai+1,k ε0,k ′ = a0,k εi+1,k


′  and hence εi+1,k = εi+1,k. This concludes the proof.
Lemma 4.14. Suppose that T = Z (p∞) is the Pr¨ufer p-group, α is a countable ordinal, and A is a countable β 0 reduced p-group satisfying p A 6=0 for every β <ωα. Then Π3 is the complexity of {0} in Hom (T, Eωα (A)). α α 0 Proof. After replacing A with A/A , we can assume that A = 0. By Lemma 4.11 and Lemma 4.12, {0} is Π3 in 0 Hom (T, A). It remains to prove that {0} is not Σ3 in Hom (T, Eα (A)). If α = β +1 for some β<ω1, then we have β β a definable monomorphism Eω A → Eωα (A), which induces an definable monomorphism Hom T, Eω A → Hom (T, E (A)). By Lemma 4.13 applied to Aβ , {0} is not Σ0 in Hom T, E Aβ . Whence, {0} is not Σ0 in ωα
3 ω

3 Hom (T, E (A)). ωα

Suppose now that α is a limit ordinal. Thus, there is a strictly increasing sequence (αk) of countable ordinals such that α = supkαk. As is the proof of Lemma 4.10, by Ulm’s classification of countable p-groups, one can write A = k Ak where, for every k ∈ ω, Ak is a countable reduced p-group of Ulm length αk. In this case, one has that Lωα (A)= Ak. One can then proceed as in the proof of Lemma 4.13.  L k∈ω PropositionQ 4.15. Suppose that T is a nonzero countable p-group, and A is a countable reduced p-group, and β α<ω1 is an ordinal such that p A 6=0 for every β <ωα. 0 (1) If T is finite, then Σ2 is the complexity class of {0} in Hom (T, Eωα (A)). 0 (2) If T is infinite, then Π3 is the complexity class of {0} in Hom (T, Eωα (A)). Proof. Suppose initially that T is finite. In this case, T is a finite sum of cyclic p-groups. Thus, without loss of d generality, we can assume that T is cyclic of order p for some d ≥ 1. In this case, we have that Hom (T, Eα (A)) is d definably isomorphic to Eωα (A)[p ], and the conclusion follows from Lemma 4.12. 0 Suppose now T is infinite. By Lemma 4.11 and Lemma 4.12, {0} is Π3 in Hom (T, Eωα (A)). We now prove that 0 {0} is not Σ3 in Hom (T, Eωα (A)). It suffices to consider the case when T is either reduced or divisible. Consider initially the case when T is reduced. The quotient map T → T/T 1 induces a definable monomorphism 1 Hom T/T , Eωα (A) → Hom (T, Eωα (A)). 1 ∼ Then after replacing T with T/T , we can assume that
T has Ulm rank 1, and hence T = n Tn where, for every n ∈ ω, Tn is a nonzero cyclic p-group. In this case, we have that L Hom (T, Eωα (A)) =∼ Hom (Tn, Eωα (A)) . n∈ω Y In this case, the conclusion follows from Lemma 2.31 and the case when T is finite. Suppose now that T is divisible. In this case, by the classification theorem of divisible groups [Fuc70, Theorem 23.1], T is a direct sum of copies of Z (p∞). Thus, by Lemma 2.31 it suffices to consider the case when T = Z (p∞). In this case, the conclusion follows from Lemma 4.14.  THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 29

4.4. The Solecki subgroups of Ext. In this section, we continue to assume all the groups to be p-local. We will prove that, for countable p-groups T and A, the Solecki and Ulm subgroups of PExt (T, A) coincide; see Theorem 4.19. In view of Lemma 4.6, the same conclusion holds when T and A are arbitrary countable groups, with T torsion.

α α α Lemma 4.16. Suppose that A, T are countable p-groups. Then there exist definable isomorphisms τ T,A : PExt(T , A ) → α+1 Ext(T, A) for α<ω1 that make the diagram τ α PExt(T α, Aα)T,A Ext(T, A)α+1

1 γT α,Aα τ α+1 PExt T α+1, Aα+1 T,A Ext(T, A)α+2 commute.
α 0 α Proof. We define τ T,A by recursion on α<ω1. For α = 0 one lets τ T,A to be the identity map. Suppose that τ T,A 1 α+1 α+1 α α has been defined. The definable monomorphism rT α,Aα : Ext T , A → PExt(T , A ) as in Corollary 4.8 restricts to a definable isomorphism
α+1 α+1 α α 1 γT α,Aα : PExt T , A → PExt(T , A ) . α+1 α 1 Thus, τ T,A := τ T,A ◦ γT α,Aα is a definable isomorphism
PExt T α+1, Aα+1 → Ext(T, A)α+2 . β Suppose now that α is a limit ordinal such that τ T,A has
been defined for every β < α. Consider the definable monomorphism α α α α rT,A : Ext(T , A ) → Ext(T, A) . This restricts to a definable isomorphism α α α α+1 γT,A : PExt(T , A ) → Ext(T, A) . α α  Define then τ T,A = γT,A.

1 Lemma 4.17. Suppose that A, T are countable p-groups. Then s1 (PExt(T, A)) = PExt(T, A) . Proof. Consider the definable exact sequence

r1 1 1 T,A 1 0 → Ext T , A → PExt(T, A) → Hom A , Eω (C) → 0 1 as in Corollary 4.8(6), where rT,A restricts to
a definable isomorphism
1 1 1 1 γT,A : PExt T , A → PExt(T, A) . 0 1 1 1 1 0 Since {0} is Π3 in Hom T , Eω (A) by Proposition 4.15,
we have that rT,A Ext T , A is Π3 in PExt (T, A). Π0 1 Thus, since {0} is dense in s1 (PExt (T,
A)) and s1 (PExt (T, A)) is the smallest 3 Polishable

subgroup of Hom T , Eω (A) , we have that s (PExt (T, A)) is contained in 1
1 1 1 rT,A(Ext(T ,A )) 1 1 1 1 {0} = γT,A PExt T , A = PExt(T, A) . It remains to prove that

1 1 1 1 PExt(T, A) = γT,A PExt T , A ⊆ s1 (PExt(T, A)) = s1 (Ext (T, A)) . We can write T = F/R where F is a countable free

group and R ⊆ F is a subgroup. Let N denote the set n of strictly positive integers. For n ∈ N, define Tn = {x ∈ T : p x =0}. Then (Tn)n∈N is an increasing sequence of subgroups of T such that, for every n ∈ N, Tn is a direct sum of cyclic p-groups. We can fix a free basis (x ) for F and S ⊆ ω for n ∈ N such that: n,j n∈N,j∈Sn n (1) for every n ∈ N, (x + R) is a p-basis of T [Fuc70, Section 32], x + R generates a cyclic subgroup n,j j∈Sn n nj N Tn,j of Tn of order dn,j ∈ , and Tn = j∈Sn Tn,j; L 30 MARTINO LUPINI

(2) R is generated by elements of the form

pxn,t − kj xn−1,j j∈XSn−1 for n ∈ N, t ∈ Sn, and kj ∈{0, 1,...,dn−1,j − 1}, where we set S0 = ∅ and by convention the empty sum is equal to 0. 1 Let Rℓ be the set of such generators with n ∈ {1, 2,...,ℓ}. Set also F1 = x ∈ F : x + R ∈ T . We identify Ext T 1, A1 with  Hom R, A1
1 Hom (F1|R, A
) and Ext(T, A) with Hom (R, A) Hom (F |R, A) via the definable isomorphisms as in Proposition 3.1. 1 1 We also identify Hom R, A with its image under the definable monomorphism Hom R, A → Homf (R, A) induced by the inclusion map A1 → A. The definable monomorphism r1 : Ext T 1, A1 → PExt(T, A) is then
T,A
induced by the inclusion map Hom R, A1 → Hom (R, A). f
Suppose that ϕ ∈ Hom R, A1 ⊆ Hom (R, A). We claim that ϕ + Hom (F |R, A) ∈ s (Ext (T, A)). Fix an open f
1 neighborhood V of 0 in Hom (F |R, A). Then there exists n ∈ N such that
0 {ρ|R : ρ ∈ Hom (F, A) , ∀i ≤ n0, ∀j ∈ Si,ρ(xi,j )=0}⊆ V . Hom(R,A) It suffices to show that there exists ψ ∈ Hom (F |R, A) such that ϕ ∈ V + ψ . This amounts to showing that there exists ρ ∈ Hom (F, A) such that for every n1 ∈ N there exists ˜ρ ∈ Hom (F, A) satisfying:

(1)ρ ˜|Rn1 = ϕ|Rn1 ; (2)ρ ˜ (xi,j )= ρ (xi,j ) for i ≤ n0 and j ∈ Si. 1 n0 Since ϕ ∈ Homf R, A , and since T [p ] is a sum of cyclic p-groups, we have that there exists 1
ϕ˜ : hxi,j : i ≤ n0, j ∈ Sii → A extending ϕ, where hxi,j : i ≤ n0, j ∈ Sii is the subgroup of F generated by xi,j for i ≤ n0 and j ∈ Si. Define then 1 the group homomorphism ρ : F → A by setting, for i ∈ N and j ∈ Si, ϕ˜ (x ) if i ≤ n , ρ (x )= i,j 0 i,j 0 otherwise. 

Notice that ρ|Rn0 = ϕ|Rn0 . We claim that ρ satisfies the desired conclusion. Suppose that n1 ≥ n0. We define a group homomorphismρ ˜ : F → A by settingρ ˜ (xi,j ) = yi,j for i ∈ N and j ∈ Si, where we define yi,j as follows. We set yi,j := ρ (xi,j ) for i ≤ n0 and yi,j := 0 for i>n1. We now define n1−ℓ 1 n1−n0 yℓ,j ∈ p A for n0 ≤ ℓ ≤ n1 and every j ∈ Sℓ by recursion on ℓ. By definition, we have that yn0,j ∈ A ⊆ p A for every j ∈ Sn0 . Suppose that yi,j has been defined for i ≤ ℓ and every j ∈ Si, for some ℓ ∈{n0,...,n1 − 1}. For t ∈ Sℓ+1 there exists a unique expression

pxℓ+1,t = kj xℓ,j + r jX∈Sℓ where r ∈ R and kj ∈{0, 1,...,dℓ,j − 1}. Notice that

n1−ℓ kj yℓ,j + ϕ (r) ∈ p A jX∈Sℓ n1−(ℓ+1) by the inductive hypothesis. Whence, there exists yℓ+1,t ∈ p A such that

pyℓ+1,t = kj yℓ,j + ϕ (r). jX∈Sℓ This concludes the recursive definition. THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 31

By definition, we have thatρ ˜ (xi,j )= ρ (xi,j ) for i ≤ n0 and j ∈ Si. It remains to show that ˜ρ|Rn1 = ϕ|Rn1 . An element r of Rn1 is of the form

pxℓ,j − kj xℓ−1,j j∈XSℓ−1 for some ℓ ≤ n1 and kj ∈{0, 1,...,dℓ−1,j − 1}. Then we have that

pxℓ,j = kj xℓ−1,j + r j∈XSℓ−1 and hence by definition

ρ (pxℓ,j )= kj ρ (xℓ−1,j )+ ϕ (r) j∈XSℓ−1 Therefore, ρ (r)= ϕ (r). This concludes the proof. 

Lemma 4.18. Suppose that A, T are countable p-groups, and n ∈ ω. Then sn (Ext (T, A)) = sn (PExt (T, A)) = PExt(T, A)n. Proof. We prove the statement by induction on n ∈ ω. For n = 0, this follows from the fact that PExt (T, A) is the closure of {0} in Ext (T, A) by Lemma 3.2. Suppose that the conclusion holds for n. We will show that it n n+1 holds for n + 1. We need to show that s1 (PExt(T, A) ) = PExt(T, A) . By Lemma 4.16 there exists a definable n n n n isomorphisms τ T,A : PExt(T , A ) → PExt(T, A) for n ∈ ω that make the following diagram commute:

τ n PExt(T n, An)T,A PExt(T, A)n

1 γT n,An τ n+1 PExt T n+1, An+1 T,A PExt(T, A)n+1
Thus, it suffices to prove that n n n+1 n+1 n n 1 s1 (PExt (T , A )) = γT n,An PExt T , A = PExt(T , A ) . This follows from Lemma 4.17 applied to T n and An.



Theorem 4.19. Suppose that A, T are countable p-groups, and α<ω1 is an ordinal. Then sα (Ext (T, A)) = α 1+α sα (PExt (T, A)) = PExt(T, A) = Ext(T, A) . In particular, the Solecki rank and the Ulm rank of PExt(T, A) are equal.

Proof. We prove this holds by induction on α<ω1. The case α<ω has already been considered in Lemma 4.18. If α is a limit ordinal, and the conclusion holds for β < α, then we have that

β α sα (Ext(T, A)) = sβ (Ext(T, A)) = Ext(T, A) = Ext(T, A) . β<α\ β<α\ Suppose now that the conclusion holds for α. We will show that it holds for α +1. By Lemma 4.18 we can assume that α ≥ ω, in which case we have that 1 + α = α and hence PExt(T, A)α = Ext(T, A)α and PExt(T, A)α+1 = α+1 α α+1 Ext(T, A) . Thus, in this case we need to show that s1 (Ext(T, A) ) = Ext(T, A) . β β β β+1 By Lemma 4.16 there exist definable isomorphisms τ T,A : PExt T , A → PExt(T, A) for β<ω1 for such that the following diagram commutes:
τ β PExt T β, Aβ T,A Ext(T, A)β+1

γ1 T β ,Aβ
τ β+1 PExt T β+1, Aβ+1 T,A Ext(T, A)β+2
32 MARTINO LUPINI

Consider initially the case when α = β + 1 is a successor ordinal. Thus, it suffices to prove that β β 1 β+1 β+1 s1 PExt T , A = γT β ,Aβ PExt T , A . This follows from Lemma 4.17 applied to T β and

Aβ.

Suppose now that α is a limit ordinal. Consider the definable exact sequence rα α α T,A α α 0 → Ext(T , A ) → Ext(T, A) → Hom (T , Eωα (A)) → 0 0 α α α α as in Corollary 4.9(6). Since {0} is Π3 in Hom (T , Eωα (A)) by Proposition 4.15, we have that rT,A (Ext(T , A )) is 0 α α 0 α α Π3 in Ext (T, A) . Since s1 (Ext (T, A) ) is the smallest Π3 subgroup of Ext(T, A) , this implies that s1 (Ext (T, A) ) ⊆ α α α α α α α+1 α α α rT,A (Ext (T , A )). Since rT,A (PExt (T , A )) = Ext(T, A) is the closure of {0} in rT,A (Ext (T , A )) by α α α+1 Lemma 3.2 and {0} is dense in s1 (Ext (T, A) ), we have that s1 (Ext(T, A) ) ⊆ Ext(T, A) . Thus, it remains α+1 α α α α to prove that Ext (T, A) = γT,A (PExt (T , A )) ⊆ s1 (Ext (T, A) ). To this purpose, we proceed as in the proof of Lemma 4.17, also adopting the same notation. For β ≤ α, we set β β β Fβ = x ∈ F : x + R ∈ T , and we identify Ext T , A with  Hom R,
Aβ β Hom (Fβ|R, A
) and Ext(T, A) with Hom (R, A) Hom (F |R, A) via the definable isomorphisms as in Proposition 3.1. For β ≤ α, we also identify Hom R, Aβ with its image under the definable monomorphism Hom R, Aβ → Hom (R, A) induced by the inclusion Aβ → A. Thus, we have that
β β β β
Hom R, A + Hom (F |R, A) rT,A Ext T , A = ⊆ Ext(T, A). Hom
(F |R, A) Note that, for β < α, we have that

β+1 β β β β Ext(T, A) ⊆ rT,A Ext T , A ⊆ Ext(T, A) and hence

α β β β Ext(T, A) = rT,A Ext T , A . β<α \

By the inductive hypothesis we have that Hom R, Aβ + Hom (F |R, A) s (Ext(T, A)) = Ext(T, A)α = rβ Ext T β, Aβ = α T,A Hom (F |R, A) β<α β<α
\

\ and hence β sˆα (Ext (T, A)) = Hom R, A + Hom (F |R, A) ⊆ Hom (R, A). β<α\ α

α α Suppose that ϕ ∈ Homf (R, A ) ⊆ Hom (R, A). We claim that ϕ + Hom (F |R, A) ∈ s1 (Ext(T , A )). Indeed, fix an open neighborhood V of 0 in Hom (F |R, A). Then there exists n0 ∈ N such that

{ρ|R : ρ ∈ Hom (F, A) , ∀i ≤ n0, ∀j ∈ Si, ψ(xi,j )=0}⊆ V .

α n0 Since ϕ ∈ Homf (R, A ), and since T [p ] is a sum of cyclic p-groups, we have that there exists a homomorphism α ϕ˜ : hxi,j : i ≤ n0, j ∈ Sii → A α extending ϕ. Define then the group homomorphism ρ : F → A by setting, for i ∈ N and j ∈ Si, ϕ˜ (x ) if i ≤ n ρ (x )= i,j 0 i,j 0 otherwise.  α Notice that ρ|Rn0 = ϕ|Rn0 . Set ψ := ρ|R ∈ Hom (F |R, A ) ⊆ Hom (F |R, A). THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 33

For β < α, as Aα ⊆ Aβ+1, the same argument as in the proof of Lemma 4.17 shows that Hom(R,Aβ ) Hom(R,Aβ )+Hom(F |R,A) ϕ ∈ V + ψ ⊆ V + ψ . Since β sˆα (Ext (T, A)) = Hom R, A + Hom (F |R, A) β<α \

as remarked above, this implies that sˆ (Ext(T,A)) ϕ ∈ V + ψ α . As this holds for every open neighborhood V of 0 in Hom (F |R, A), this shows that

ϕ ∈ sˆ1 (ˆsα(Ext (T, A))) =s ˆα+1 (Ext (T, A)) and hence

ϕ ∈ sα+1 (Ext(T, A)) , concluding the proof. 

4.5. Complexity of Ext. The goal of this section is to compute the complexity class of {0} in Ext (T, A) given countable p-groups T and A. This is the main ingredient in the proof of Theorem 1.5. Lemma 4.20. Suppose that A, T are countable p-groups, where A is reduced and nonzero. Then Ext(T, A) is countable if and only if (a) T/D (T ) is finite, and (b) D (T )=0 if A is unbounded.

Proof. Recall the definition of Extw from Section 3.3. Notice that, by Lemma 3.2, Ext (T, A) is countable if and only if Extw (T, A) is countable, in which case Ext (T, A) = Extw (T, A). By Lemma 3.3 applied to the cotorsion functor C 7→ C1 = pωC for p-local groups, we have that the quotient map A → A/A1 induces a definable epimorphism Ext (T, A) → Ext T, A/A1 such that PExt (T, A) is the preimage of PExt T, A/A1 . Thus, we have an isomorphism of Polish groups
1
Extw (T, A) =∼ Extw T, A/A . 1 Hence, without loss of generality, we can assume that A = 0 and A has
Ulm rank 1. If C is a cyclic p-group of order pd, then A Ext(C, A) =∼ pdA is countable, while ∞ Extw (Z (p ) , A) is isomorphic to the p-adic completion of A, which is countable if and only if A is bounded, in which case ∞ Extw (Z (p ) , A) =∼ A [Fuc70, Lemma 56.6]. Suppose that Ext (T, A) is countable. This implies that PExt (T, A) = 0 and Ext(T, A) = Extw (T, A). By the above, T must be reduced if A is unbounded. After replacing T with T/D (T ), we can assume that T is reduced. The exact sequence T 1 → T → T/T 1 induces a short definable exact sequence 0 = Hom T 1, A → Ext T/T 1, A → Ext(T, A) → Ext T 1, A → 0 1 1 1 ∼ Thus, we have that Ext T/T , A is countable.
Since T/T
has Ulm rank 1, we have
that T/T = n Cn where, for every n ∈ ω, C is cyclic of order pdn . Thus, we have that n
L A Ext T/T 1, A =∼ . pdn A n∈ω
Y This implies that n ∈ ω : pdn > 1 is finite. Therefore, T/T 1 is finite, whence T 1 = 0 and T = T/T 1 is finite. The converse implication is immediate from the above remarks.   Lemma 4.21. Suppose that A, T are countable p-groups, where A is reduced. Then Ext(T, A) is a Polish group if and only if either T 1 =0 or A is bounded. 34 MARTINO LUPINI

Proof. By Corollary 4.8(6) we have a short definable exact sequence 1 1 1 0 → Ext T , A → PExt(T, A) → Hom T , Eω (A) → 0. 1 1 1 1 If T = 0 then Ext T , A = Hom T , Eω
(A) = 0 and hence PExt( T, A) = 0.
Similarly, if A is bounded, then 1 1 A = 0 and Eω (A) = 0 and hence PExt(T, A) = 0. Conversely, if T is nonzero and A is unbounded, then by
1
Proposition 4.15 we have that Hom T , Eω (A) is nonzero and hence PExt(T, A) is nonzero. 

Theorem 4.22. Suppose that A, T are countable
p-groups, where T 1 is nonzero and A is reduced and unbounded. Define µ to be the least countable ordinal such that either T µ = 0 or µ is the successor of µ − 1 and Aµ−1 = 0. Then: 0 (1) If µ is a limit ordinal, then Πµ is the complexity class of {0} in Ext(T, A); 1+λ 0 (2) If µ =1+ λ +1 where λ is either zero or limit and T is finite, then Σµ is the complexity class of {0} in Ext(T, A); 1+λ+n−2 0 (3) If µ =1+ λ + n where λ either zero or limit and 2 ≤ n<ω, and A is bounded, then Πµ is the complexity class of {0} in Ext(T, A); (4) If µ =1+λ+n where λ is either zero or limit, 2 ≤ n<ω, T 1+λ+n−1 is finite, and A1+λ+n−2 is unbounded, 0 then D Πµ is the complexity class of {0} in Ext(T, A) (5) If µ = 1+λ+n where λ is either zero or limit, 1 ≤ n<ω, T 1+λ+n−1 is infinite, and A1+λ+n−2 is unbounded
0 if n ≥ 2, then Πµ+1 is the complexity class of {0} in Ext(T, A). 0 0 In particular, {0} is Πµ+1 and not Πα for α<µ in Ext(T, A).

Proof. Recall that, by Corollary 4.8 and Corollary 4.9, for every α<ω1 we have a definable short exact sequence α α α α 0 → Ext(T , A ) → Ext(T, A) → Hom (T , Eωα (A)) → 0 and a definable monomorphism α α α Ext(T, A) → Hom (T , Eωα (A)) ⊕ Ext(T , A). By Theorem 4.19, if 1 + α is the Ulm rank of Ext (T, A), then the Solecki rank of Ext (T, A) is α. (1) Suppose that µ is a limit ordinal. In this case, T is reduced and µ is the Ulm rank of T . For α<µ we have α δ α α T 6= 0 and p A 6= 0 for δ <ωα. Therefore, by Proposition 4.15, Ext(T , Eωα (A)) 6= 0, and hence Ext(T, A) 6=0 α α for α<µ. Similarly, for µ ≤ α<ω1 we have that T = 0 and hence Ext(T, A) = 0. This shows that the Ulm ∼ rank and the Solecki rank of Ext(T, A) are µ. By Lemma 4.10 we have that T = n∈ω Tn where, for every n ∈ ω, ∼ Tn has Ulm rank µ. Therefore, Ext(T, A) = n Ext(Tn, A) where, for every n ∈ ω, Ext(Tn, A) has Solecki rank µ. The conclusion thus follows from Lemma 2.32. L (2) Suppose that µ =1+ λ + 1 where λ isQ either zero or a limit ordinal, and T 1+λ is finite, in which case T is reduced. Thus, we have that T 1+λ+1 = 0 and Ext(T, A)1+λ+1 = 0. Furthermore, we have that Ext T 1+λ, A is countable by Lemma 4.20, and Σ0 is the complexity class of {0} in Hom T 1+λ, E (A) by Proposition 4.15, 2 ω(1+λ)
using the assumption that A is unbounded in the case when λ = 0. Considering the definable epimorphism
1+λ 1+λ Ext(T, A) → Hom T , Eω(1+λ) (A) 6=0 and the definable monomorphism
1+λ 1+λ 1+λ Ext(T, A) → Hom T , Eω(1+λ) (A) ⊕ Ext T , A , 1+λ 0 1+λ we obtain that Ext (T, A) = sλ (Ext (T, A)) 6= 0 and {0} is Σ2
in Ext (T, A)
. Hence, the Solecki rank of 0 Ext(T, A) is λ + 1, and Σ1+λ+1 is the complexity class of {0} in Ext (T, A) by Proposition 2.30. (3) Suppose that µ =1+ λ + n for 2 ≤ n<ω and λ either zero or limit, and A1+λ+n−2 is bounded. Then we 1+λ+n−1 have that A = 0 and Eω(1+λ+n−1) (A) = 0. Thus, Ext T 1+λ+n−1, A1+λ+n−1 =0 and
1+λ+n−1 Hom T , Eω(1+λ+n−1) (A) = 0,
THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 35 and hence Ext (T, A)1+λ+n−1 = 0. Since pβA 6= 0 for β <ω (1 + λ + n − 2) and T 1+λ+n−2 is infinite, we have 0 1+λ+n−2 that Π3 is the complexity class of {0} in Hom T , Eω(1+λ+n−2) (A) by Proposition 4.15. Considering the definable short exact sequence
1+λ+n−2 1+λ+n−2 1+λ+n−2 1+λ+n−2 0 → Ext T , A → Ext(T, A) → Hom T , Eω(1+λ+n−2) (A) → 0, 0 1+λ+n−2 1+λ+n−2 1+λ+n−2 we obtain that Π3 is the complexity class
of Ext T , A in Ext (T, A) , the
Ulm rank of Ext(T, A) is 1 + λ + n − 1, and the Solecki rank of Ext(T, A) is λ + n − 1. 0
We claim that Π1+λ+n is the complexity class of {0} in Ext (T, A). Notice that 1+λ+n−2 Ext(T, A) = sλ+n−2 (Ext (T, A)) . 0 1+λ+n−2 Thus, by Proposition 2.30, it suffices to prove that {0} is not Σ2 in Ext (T, A) . It also suffices to consider the case when T is either divisible or reduced. When T is divisible, we have that Ext T 1+λ+n−2, A1+λ+n−2 = Ext T, A1+λ+n−2 is countable by Lemma 4.20. 1+λ+n−2 1+λ+n−2 Σ0 1+λ+n−2 Σ0 1+λ+n−2 Since Ext T , A is not 2 in Ext (T, A)
, this implies that {0}
is not 2 in Ext (T, A) . Consider now the case when T is reduced. Since T 1+λ+n−2 is infinite, then as in the proof of Lemma 4.10 one
1+λ+n−2 can write T = k∈ω Tk where, for every n ∈ ω, Tk is a countable p-group such that Tk is nonzero. Fix k ∈ ω. Then, as above, Hom T 1+λ+n−2, E (A) 6= 0 by Proposition 4.15. Considering the definable L k ω(1+λ+n−2) epimorphism 1+λ+n−2 1+λ
+n−2 Ext(Tk, A) → Hom Tk , Eω(1+λ+n−2) (A) 6=0 and the definable short exact sequence
1+λ+n−1 1+λ+n−1 1+λ+n−1 1+λ+n−1 0 = Ext Tk , A → Ext(Tk, A) → Hom Tk , Eω(1+λ+n−1) (A) =0 1+λ+n−2 1+λ+n−1 1+λ+n−2 we have that Ext (Tk, A) 6= 0
and Ext(Tk, A) = 0. Since {0} is dense in Ext (Tk,
A) = 0 0 1+λ+n−2 1+λ+n−2 sλ+n−2 (Ext (Tk, A)), we have that {0} is Π3 and not Π2 in Ext (Tk, A) . Since Ext (T, A) is 1+λ+n−2 0 definably isomorphic to k∈ω Ext(Tk, A) , it follows from Lemma 2.31 that Π3 is the complexity class of {0} in Ext (T, A)1+λ+n−2. Q (4) Suppose that µ = 1+ λ + n where λ is either zero or a limit ordinal, 2 ≤ n < ω, and T 1+λ+n−1 is finite, in which case T is reduced, and A1+λ+n−2 is unbounded. Thus, we have that T 1+λ+n = 0 and 1+λ+n 1+λ+n−1 0 Ext(T, A) = 0. Furthermore, Ext T , A is countable by Lemma 4.20, and Σ2 is the complexity class of {0} in Hom T 1+λ+n−1, E (A) by Proposition 4.15, since A1+λ+n−2 is unbounded. Therefore, ω(1+λ+n−1)
considering the definable epimorphism
1+λ+n−1 1+λ+n−1 Ext(T, A) → Hom T , Eω(1+λ+n−1) (A) 6=0 and the definable monomorphism
1+λ+n−1 1+λ+n−1 1+λ+n−1 Ext(T, A) → Hom T , Eω(1+λ+n−1) (A) ⊕ Ext T , A . 1+λ+n−1 0 1+λ+n−1 we have that Ext (T, A) = sλ+n−1 (Ext (T, A)) 6= 0 and {0} is Σ2
in Ext (T, A) .
Hence, the Solecki 0 rank of Ext(T, A) is λ + n, and D Π1+λ+n is the complexity class of {0} in Ext (T, A) by Proposition 2.30. (5) Suppose now that µ = 1+ λ + n where λ is either zero or limit, 1 ≤ n<ω, T 1+λ+n−1 is infinite, and
A1+λ+n−2 is unbounded if n ≥ 2. Then we have that either T 1+λ+n = 0, or A1+λ+n−1 = 0. Since T 1 6= 0, this implies that n > 1 if λ = 0. In either case, we have that Ext(T, A)1+λ+n = 0. Since A1+λ+n−2 is unbounded if 1+λ+n−1 1+λ+n−1 n ≥ 2, by Proposition 4.15 we have that Hom T , Eω(1+λ+n−1) (A) 6= 0 and hence Ext(T, A) 6= 0. Therefore, we have that the Solecki rank of Ext (T, A) is λ + n. 0
We now show that Πµ+1 is the complexity class of {0} in Ext (T, A). We consider initially the case when 1+λ+n−1 1+λ+n−1 1+λ+n−1 A = 0. In this case, we have that Ext (T, A) is definably isomorphic to Hom T , Eω(1+λ+n−1) (A) . By Proposition 4.15, Π0 is the complexity class of {0} in Hom T 1+λ+n−1, E (A) . Thus, Π0 is the com- 3 ω(1+λ+n−1) 3
1+λ+n−1 Π0 plexity class of {0} in Ext (T, A) = sλ+n−1 (Ext(T, A)). Thus, by Proposition
2.30, 1+λ+n+1 is the complexity class of {0} in Ext (T, A). Consider now the case when T 1+λ+n = 0, whence T is reduced. In this case, by Lemma 4.10, we have that ∼ 1+λ+n−1 T = k∈ω Tk where, for every k ∈ ω, Tk is a reduced countable p-group of Ulm rank 1+ λ + n such that Tk L 36 MARTINO LUPINI is infinite. By the above discussion, for every k ∈ ω, the Solecki rank of Ext(Tk, A) is λ + n. Thus, by Lemma 0 2.32, Π1+λ+n+1 is the complexity class of {0} in k∈ω Ext(Tk, A). As k∈ω Ext(Tk, A) is definably isomorphic to Ext(T, A), this concludes the proof.  Q Q We conclude with the proofs of Theorem 1.2 and Theorem 1.5.

Proof of Theorem 1.2. (1) By Proposition 2.22 and the remarks in Section 3.4, we have that RExt(C,A) is smooth if and only if Ext (C, A) is a Polish group. By Proposition 4.1, this holds if and only if, for every p ∈ P, Ext(Cp, Ap) is a Polish group. Finally, by Lemma 4.21, this holds if and only if, for every p ∈ P, either u1 (Cp)=0or Ap is bounded. 0 (2) As above, we have that RExt(C,A) is essentially hyperfinite if and only if {0} is Σ2 in Ext (C, A). By 0 Proposition 4.1 and Lemma 2.31, this holds if and only if, for every p ∈ P, {0} is Σ2 in Ext (Cp, Ap), and the 0 number of p ∈ P such that Σ2 is the complexity class of {0} in Ext (Cp, Ap) is finite. By Theorem 4.22, this is equivalent to the assertion that: (a) for every p ∈ P, either u2 (Cp)=0or u1 (Ap) = 0; and (b) for every p ∈ P such that Ap is unbounded, u1 (Cp) is finite; and (c) the set of p ∈ P such that Ap is unbounded and u1 (Cp) is nonzero is finite. ω 0 (3) Again, we have that RExt(C,A) is Borel reducible to E0 if and only if {0} is Π3 in Ext (C, A), if and only 0 0 if for every prime number p, {0} is Π3 in Ext (Cp, Ap). By Theorem 4.22, for every prime number p, {0} is Π3 in Ext(Cp, Ap) if and only if one of the following holds: (a) u2 (Cp) = 0; or (b) u1 (Ap) = 0; or (c) u3 (Cp) = 0 and u1 (Ap) is bounded. 

0 0 0 Proof of Theorem 1.5. Let Γ be one of the complexity classes Σα, Πα, D(Πα) for 2 ≤ α<ω1. By Proposition 2.17, Proposition 4.1, and the remarks in Section 3.4, we have that Γ is the complexity class of RExt(C,A) if and only if Γ is the complexity class of {0} in Ext (C, A), if and only if Γ is the complexity class of {0} in p∈P Ext(Cp, Ap). The conclusion then follows from Lemma 2.31 and Theorem 4.22.  Q References [All20] Shaun Allison, Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum, arXiv:2010.05085 (2020). [BLP20] Jeffrey Bergfalk, Martino Lupini, and Aristotelis Panagiotopoulos, The definable content of homological invariants I: Ext & lim1, arXiv:2008.08782 (2020). [CS98] J. Daniel Christensen and Neil P. Strickland, Phantom maps and homology theories, Topology. An Inter- national Journal of Mathematics 37 (1998), no. 2, 339–364. [DG17] Longyun Ding and Su Gao, Non-archimedean abelian Polish groups and their actions, Advances in Math- ematics 307 (2017), 312–343. [EM42] Samuel Eilenberg and Saunders MacLane, Group Extensions and Homology, Annals of Mathematics 43 (1942), no. 4, 757–831. [FS06] Ilijas Farah and Slawomir Solecki, Borel subgroups of Polish groups, Advances in Mathematics 199 (2006), no. 2, 499–541. [Fuc70] L´aszl´oFuchs, Infinite abelian groups. Vol. I, Pure and Applied Mathematics, Vol. 36, Academic Press, New York-London, 1970. [Fuc73] , Infinite abelian groups. Vol. II, Academic Press, New York-London, 1973. [Gao09] Su Gao, Invariant Descriptive Set Theory, Pure and Applied Mathematics, vol. 293, CRC Press, Boca Raton, FL, 2009. [Gri70] Phillip A. Griffith, Infinite abelian group theory, The University of Chicago Press, Chicago, Ill.-London, 1970. [HK96] Greg Hjorth and Alexander S. Kechris, Borel equivalence relations and classifications of countable models, Annals of Pure and Applied Logic 82 (1996), no. 3, 221–272. [HK97] , New dichotomies for Borel equivalence relations, The Bulletin of Symbolic Logic 3 (1997), no. 3, 329–346. [HKL90] Leo A. Harrington, Alexander S. Kechris, and Alain Louveau, A Glimm-Effros dichotomy for Borel equivalence relations, Journal of the American Mathematical Society 3 (1990), no. 4, 903–928. THE CLASSIFICATION PROBLEM FOR EXTENSIONS OF TORSION ABELIAN GROUPS 37

[HKL98] Greg Hjorth, Alexander S. Kechris, and Alain Louveau, Borel equivalence relations induced by actions of the symmetric group, Annals of Pure and Applied Logic 92 (1998), no. 1, 63–112. [Kec94] Alexander S. Kechris, Countable sections for locally compact group actions. II, Proceedings of the Amer- ican Mathematical Society 120 (1994), no. 1, 241–247. [Kec95] , Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. [Kec02] , Actions of Polish groups and classification problems, Analysis and logic (Mons, 1997), London Math. Soc. Lecture Note Ser., vol. 262, Cambridge Univ. Press, Cambridge, 2002, pp. 115–187. [Kee94] Patrick Keef, On pα-injective abelian groups, Abelian group theory and related topics (Oberwolfach, 1993), Contemp. Math., vol. 171, Amer. Math. Soc., Providence, RI, 1994, pp. 205–216. [KL97] Alexander Kechris and Alain Louveau, The classification of hypersmooth Borel equivalence relations, Journal of the American Mathematical Society 10 (1997), no. 1, 215–242. [KM16] Alexander S. Kechris and Henry L. Macdonald, Borel equivalence relations and cardinal algebras, Funda- menta Mathematicae 235 (2016), no. 2, 183–198. [Lou94] Alain Louveau, On the reducibility order between Borel equivalence relations, Logic, methodology and philosophy of science, IX (Uppsala, 1991), Stud. Logic Found. Math., vol. 134, North-Holland, Amsterdam, 1994, pp. 151–155. [Lup20a] Martino Lupini, Definable Eilenberg–Mac Lane Universal Coefficient Theorems, arXiv:2009.10805 (2020). [Lup20b] , Definable K-homology of separable C*-algebras, arXiv:2008.13344 (2020). [ML98] Saunders Mac Lane, Categories for the working mathematician, second ed., Graduate Texts in Mathe- matics, vol. 5, Springer-Verlag, New York, 1998. [MR12] Luca Motto Ros, On the complexity of the relations of isomorphism and bi-embeddability, Proceedings of the American Mathematical Society 140 (2012), no. 1, 309–323. [Nun63] Ronald J. Nunke, Purity and subfunctors of the identity, Topics in Abelian Groups (Proc. Sympos., New Mexico State Univ., 1962), Scott, Foresman and Co., Chicago, Ill., 1963, pp. 121–171. [Nun67] , Homology and direct sums of countable abelian groups, Mathematische Zeitschrift 101 (1967), 182–212. [Sch03] Claude L. Schochet, A Pext primer: pure extensions and lim1 for infinite abelian groups, New York Journal of Mathematics. NYJM Monographs, vol. 1, State University of New York, University at Albany, Albany, NY, 2003. [Sol99] Slawomir Solecki, Polish group topologies, Sets and proofs (Leeds, 1997), London Math. Soc. Lecture Note Ser., vol. 258, Cambridge Univ. Press, Cambridge, 1999, pp. 339–364. [Sol09] , The coset equivalence relation and topologies on subgroups, American Journal of Mathematics 131 (2009), no. 3, 571–605. [Wei94] Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994.

School of Mathematics and Statistics, Victoria University of Wellington, PO Box 600, 6140 Wellington, New Zealand Email address: [email protected] URL: http://www.lupini.org/