BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Asger Tornquist contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider natural $Σ^1_2$ definable analogues of many of the classical statements that have been shown to be equivalent to CH. It is shown that these $Σ^1_2$ analogues are equivalent to that all reals are constructible. We also prove two partition relations for $Σ^1_2$ colourings which hold precisely when there is a non-constructible real.
We prove that for a countable discrete group $Γ$ 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 $Γ$ are analytic non-Borel equivalence relations in the Polish space of probability measure preserving $Γ$ 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_λ$, $0\leqλ\leq 1$, are analytic and not Borel when these spaces are given the Effros Borel structure.
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_σhard equivalence relation.
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.
We study maximal orthogonal families of Borel probability measures on $2^ω$ (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 $Δ^1_3$-definable well order of the reals, there is a $Π^1_2$-definable m.o. family, there are no $\mathbfΣ^1_2$-definable m.o. families and $\mathfrak{b}=\mathfrak{c}=ω_3$ (in fact any reasonable value of $\mathfrak{c}$ will do). (2) There is a $Δ^1_3$-definable well order of the reals, there is a $Π^1_2$-definable m.o. family, there are no $\mathbfΣ^1_2$-definable m.o. families, $\mathfrak{b}=ω_1$ and $\mathfrak{c}=ω_2$.
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.
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.