Source author record

Asger Tornquist

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.OA math.GR math.DS math.RT

Catalog footprint

Research overview

8works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Definability and almost disjoint families

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 $κ<2^{\aleph_0}$ , then no $κ$ -Souslin infinite almost disjoint family can be maximal. Finally we show that if $\aleph_1^{L[a]}<\aleph_1$ , then there are no $Σ^1_2[a]$ infinite mad families.

preprint2012arXiv

The $\mathbfΣ^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis

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.

preprint2012arXiv

The Borel complexity of von Neumann equivalence

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.

preprint2012arXiv

Turbulence, orbit equivalence, and the classification of nuclear C*-algebras

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.

preprint2011arXiv

Orbit Equivalence and actions of F_n

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.

preprint2011arXiv

Projective maximal families of orthogonal measures with large continuum

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$ .

preprint2011arXiv

The conjugacy relation on unitary representations

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.

preprint2009arXiv

Borel reducibility and classification of von Neumann algebras

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Asger Tornquist

Research overview

Is this your work?

8 publications

Definability and almost disjoint families

The $\mathbfΣ^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis

The Borel complexity of von Neumann equivalence

Turbulence, orbit equivalence, and the classification of nuclear C*-algebras

Orbit Equivalence and actions of F_n

Projective maximal families of orthogonal measures with large continuum

The conjugacy relation on unitary representations

Borel reducibility and classification of von Neumann algebras

See the researcher in context

Building this map preview

Asger Tornquist

Research overview

Is this your work?

8 publications

Definability and almost disjoint families

The Σ21 \mathbfΣ^1_2Σ21​ counterparts to statements that are equivalent to the Continuum Hypothesis

The Borel complexity of von Neumann equivalence

Turbulence, orbit equivalence, and the classification of nuclear C*-algebras

Orbit Equivalence and actions of F_n

Projective maximal families of orthogonal measures with large continuum

The conjugacy relation on unitary representations

Borel reducibility and classification of von Neumann algebras

See the researcher in context

Building this map preview

The $\mathbfΣ^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis