• Non-classification of free Araki-Woods factors and $\tau$-invariants(1708.07496)

Feb. 25, 2019 math.OA, math.LO
We define the standard Borel space of free Araki-Woods factors and prove that their isomorphism relation is not classifiable by countable structures. We also prove that equality of $\tau$-topologies, arising as invariants of type III factors, as well as coycle and outer conjugacy of actions of abelian groups on free product factors are not classifiable by countable structures.
• Unitarizability, Maurey--Nikishin factorization, and Polish groups of finite type(1605.06909)

Sept. 13, 2017 math.OA, math.FA, math.GR
Let $\Gamma$ be a countable discrete group, and let $\pi\colon \Gamma\to {\rm{GL}}(H)$ be a representation of $\Gamma$ by invertible operators on a separable Hilbert space $H$. We show that the semidirect product group $G=H\rtimes_{\pi}\Gamma$ is SIN ($G$ admits a two-sided invariant metric compatible with its topology) and unitarily representable ($G$ embeds into the unitary group $\mathcal{U}(\ell^2(\mathbb N))$), if and only if $\pi$ is uniformly bounded, and that $\pi$ is unitarizable if and only if $G$ is of finite type: that is, $G$ embeds into the unitary group of a II$_1$-factor. Consequently, we show that a unitarily representable Polish SIN groups need not be of finite type, answering a question of Sorin Popa. The key point in our argument is an equivariant version of the Maurey--Nikishin factorization theorem for continuous maps from a Hilbert space to the space $L^0(X,m)$ of all measurable maps on a probability space.
• Definable maximal cofinitary groups(1603.02942)

March 9, 2016 math.LO
Using countable support iteration of $S$-proper posets, for some appropriate stationary set $S$, we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal cofinitary group with a $\Pi^1_2$-definable set of generators.
• A co-analytic Cohen indestructible maximal cofinitary group(1603.02024)

March 7, 2016 math.LO
Assuming that every set is constructible, we find a $\Pi^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans' result that there exists a $\Pi^1_1$ maximal cofinitary group in $L$.
• Definable maximal discrete sets in forcing extensions(1510.08781)

Oct. 29, 2015 math.LO
Let $\mathcal R$ be a $\Sigma^1_1$ binary relation, and recall that a set $A$ is $\mathcal R$-discrete if no two elements of $A$ are related by $\mathcal R$. We show that in the Sacks and Miller forcing extensions of $L$ there is a $\Delta^1_2$ maximal $\mathcal{R}$-discrete set. We use this to answer in the negative the main question posed in [5] by showing that in the Sacks and Miller extensions there is a $\Pi^1_1$ maximal orthogonal family ("mof") of Borel probability measures on Cantor space. A similar result is also obtained for $\Pi^1_1$ mad families. By contrast, we show that if there is a Mathias real over $L$ then there are no $\Sigma^1_2$ mofs.
• Definability and almost disjoint families(1503.07577)

March 29, 2015 math.LO
We show that there are no infinite maximal almost disjoint ("mad") families in Solovay's model, thus solving a long-standing problem posed by A.D.R. Mathias in 1967. We also give a new proof of Mathias' theorem that no analytic infinite almost disjoint family can be maximal, and show more generally that if Martin's Axiom holds at $\kappa<2^{\aleph_0}$, then no $\kappa$-Souslin infinite almost disjoint family can be maximal. Finally we show that if $\aleph_1^{L[a]}<\aleph_1$, then there are no $\Sigma^1_2[a]$ infinite mad families.
• Set theory and von Neumann algebras(1501.00181)

Dec. 31, 2014 math.OA, math.LO
These are the notes from Asger T\"ornquist's Appalachian Set Theory lectures at Carnegie Mellon University. They form a chapter in the LMS lecture notes series 406.
• Template iterations and maximal cofinitary groups(1310.3245)

Oct. 11, 2013 math.LO
The main result of the present paper is that $\mathfrak a_g$, the minimal size of maximal cofinitary group, can be of countable cofinality. To prove this we define a natural poset for adding a maximal cofinitary group of a given cardinality, which enjoys certain combinatorial properties allowing it to be used within a similar template forcing construction. Additionally we obtain that $\mathfrak a_p$, the minimal size of a maximal family of almost disjoint permutations, and $\mathfrak a_e$, the minimal size of a maximal eventually different family, can be of countable cofinality.
• $\Sigma^1_2$ and $\Pi^1_1$ mad families(1310.3250)

Oct. 11, 2013 math.LO
We answer in the affirmative the following question of J\"org Brendle: If there is a $\Sigma^1_2$ mad family, is there then a $\Pi^1_1$ mad family?
• The isomorphism relation for separable C*-algebras(1301.7108)

Jan. 30, 2013 math.OA
We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space.
• The $\mathbf{\Sigma}^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis(1201.0382)

Nov. 26, 2012 math.LO
We consider natural $\Sigma^1_2$ definable analogues of many of the classical statements that have been shown to be equivalent to CH. It is shown that these $\Sigma^1_2$ analogues are equivalent to that all reals are constructible. We also prove two partition relations for $\Sigma^1_2$ colourings which hold precisely when there is a non-constructible real.
• The Borel complexity of von Neumann equivalence(1109.2351)

May 21, 2012 math.OA, math.DS, math.LO, math.GR
We prove that for a countable discrete group $\Gamma$ containing a copy of the free group $\F_n$, for some $2\leq n\leq\infty$, as a normal subgroup, the equivalence relations of conjugacy, orbit equivalence and von Neumann equivalence of the ergodic a.e. free actions of $\Gamma$ are analytic non-Borel equivalence relations in the Polish space of probability measure preserving $\Gamma$ actions. As a consequence we obtain that the isomorphism relation in the spaces of separably acting factors of type $\II_1$, $\II_\infty$ and $\III_\lambda$, $0\leq\lambda\leq 1$, are analytic and not Borel when these spaces are given the Effros Borel structure.
• Turbulence, orbit equivalence, and the classification of nuclear C*-algebras(1105.6074)

April 23, 2012 math.OA, math.LO
We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same bounds are obtained for affine homeomorphism of metrizable Choquet simplexes. As a by-product we recover a result of Kechris and Solecki, namely, that homeomorphism of compacta in the Hilbert cube is Borel reducible to a Polish group action. These results depend intimately on the classification theory of nuclear simple C*-algebras by K-theory and traces. Both of necessity and in order to lay the groundwork for further study on the Borel complexity of C*-algebras, we prove that many standard C*-algebra constructions and relations are Borel, and we prove Borel versions of Kirchberg's O_2-stability and embedding theorems. We also find a C*-algebraic witness for a K_\sigma hard equivalence relation.
• The descriptive set theory of C$^*$-algebra invariants(1112.3576)

April 21, 2012 math.OA, math.LO
We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of Winter and the second author for nuclear separable simple C*-algebras cannot be disproved by appealing to known standard Borel structures on these algebras.
• Orbit Equivalence and actions of F_n(0912.1506)

Nov. 29, 2011 math.LO, math.GR
In this paper we show that there are "E_0 many" orbit inequivalent free actions of the free groups F_n, $2\leq n\leq\infty$, by measure preserving transformations on a standard Borel probability space. In particular, there are uncountably many such actions.
• Projective maximal families of orthogonal measures with large continuum(1106.4273)

June 21, 2011 math.LO
We study maximal orthogonal families of Borel probability measures on $2^\omega$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a $\Delta^1_3$-definable well order of the reals, there is a $\Pi^1_2$-definable m.o. family, there are no $\mathbf{\Sigma}^1_2$-definable m.o. families and $\mathfrak{b}=\mathfrak{c}=\omega_3$ (in fact any reasonable value of $\mathfrak{c}$ will do). (2) There is a $\Delta^1_3$-definable well order of the reals, there is a $\Pi^1_2$-definable m.o. family, there are no $\mathbf{\Sigma}^1_2$-definable m.o. families, $\mathfrak{b}=\omega_1$ and $\mathfrak{c}=\omega_2$.
• The conjugacy relation on unitary representations(1102.4784)

March 18, 2011 math.OA, math.RT, math.LO, math.GR
We show that the unitary conjugacy relation for unitary representations of a second countable locally compact group on a separable Hilbert space is a Borel equivalence relation.
• Turbulence and Araki-Woods factors(0912.1496)

Dec. 16, 2009 math.OA, math.LO
Using Baire category techniques we prove that Araki-Woods factors are not classifiable by countable structures. As a result, we obtain a far reaching strengthening as well as a new proof of the well-known theorem of Woods that the isomorphism problem for ITPFI factors is not smooth. We derive as a consequence that the odometer actions of Z that preserve the measure class of a finite non-atomic product measure are not classifiable up to orbit equivalence by countable structures.
• On the pointwise implementation of near-actions(0909.3869)

Oct. 4, 2009 math.LO
We show that the continuum hypothesis implies that every measure preserving near-action of a group on a standard Borel probability space $(X,\mu)$ has a pointwise implementation by Borel measure preserving automorphisms.
• Borel reducibility and classification of von Neumann algebras(0909.2657)

Sept. 14, 2009 math.OA, math.LO
We announce some new results regarding the classification problem for separable von Neumann algebras. Our results are obtained by applying the notion of Borel reducibility and Hjorth's theory of turbulence to the isomorphism relation for separable von Neumann algebras.
• A co-analytic maximal set of orthogonal measures(0908.1605)

Aug. 26, 2009 math.LO
We prove that if $V=L$ then there is a $\Pi^1_1$ maximal orthogonal (i.e. mutually singular) set of measures on Cantor space. This provides a natural counterpoint to the well-known Theorem of Preiss and Rataj that no analytic set of measures can be maximal orthogonal.
• The Effective Theory of Borel Equivalence Relations(0907.0802)

July 4, 2009 math.LO
The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver and Harrington-Kechris-Louveau show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on $\omega$ is above equality on ${\cal P}(\omega)$, the power set of $\omega$, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on ${\cal P}(\omega)$. In this article we examine the effective content of these and related results by studying effectively Borel equivalence relations under effectively Borel reducibility. The resulting structure is complex, even for equivalence relations with finitely many equivalence classes. However use of Kleene's $O$ as a parameter is sufficient to restore the picture from the noneffective setting. A key lemma is the existence of two effectively Borel sets of reals, neither of which contains the range of the other under any effectively Borel function; the proof of this result applies Barwise compactness to a deep theorem of Harrington establishing for any recursive ordinal $\alpha$ the existence of $\Pi^0_1$ singletons whose $\alpha$-jumps are Turing incomparable.
• Localized cohomology and some applications of Popa's cocycle super-rigidity theorem(0711.0158)

July 4, 2009 math.OA, math.LO
We prove that orbit equivalence of measure preserving ergodic a.e. free actions of a countable group with the relative property (T) is a complete analytic equivalence relation.
• Definable Davies' Theorem(0711.0162)

July 4, 2009 math.LO
We prove the following analogue of a Theorem of R.O. Davies: Every $\Sigma^1_2$ function $f:\R\times\R\to\R$ can be represented as a sum of rectangular $\Sigma^1_2$ functions if and only if all reals are constructible.
• The classification problem for von Neumann factors(0903.4484)

March 25, 2009 math.OA, math.LO
We prove that it is not possible to classify separable von Neumann factors of types $\II_1$, $\II_\infty$ or $\III_\lambda$, $0\leq \lambda\leq1$, up to isomorphism by a Borel measurable assignment of "countable structures" as invariants. In particular the isomorphism relation of type $\II_1$ factors is not smooth. We also prove that the isomorphism relation for von Neumann $\II_1$ factors is analytic, but is not Borel.