Related papers: A Kurosh-Type Theorem for Type III Factors

A nontrivial element in a group is a generalized torsion element if some nonempty finite product of its conjugates is the identity. We prove that any generalized torsion element in a free product of torsion-free groups is conjugate to a…

We generalize Franz' independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit…

We consider the 3-manifold invariant I(M) which is defined by means of the Chern-Simons quantum field theory and which coincides with the Reshetikhin-Turaev invariant. We present some arguments and numerical results supporting the…

By analyzing $F$-theory on $K3$ near the orbifold limit of $K3$ we establish the equivalence between $F$-theory on $K3$ and an orientifold of type IIB on $T^2$, which in turn, is related by a T-duality transformation to type I theory on…

We present and demonstrate a version of Levinson's theorem especially dedicated to the asymptotic behavior of form factor phases. Indeed, as required by analyticity, form factors are multi-valued complex functions of a square four-momentum…

The well-known factorization theorem of Lozanovski{\u \i} may be written in the form $L^{1}\equiv E\odot E^{\prime}$, where $\odot $ means the pointwise product of Banach ideal spaces. A natural generalization of this problem would be the…

Let 2<n\leq l<m< \omega. Let L_n denote first order logic restricted to the first n variables. We show that the omitting types theorem fails dramatically for the n--variable fragments of first order logic with respect to clique guarded…

A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain…

Uncountably many mutually non-isomorphic product systems (that is, continuous tensor products of Hilbert spaces) of types II-0 and III are constructed by probabilistic means (random sets and off-white noises), answering four questions of W.…

Let $\mathcal{M}$ be a type ${\rm II_1}$ factor and let $\tau$ be the faithful normal tracial state on $\mathcal{M}$. In this paper, we prove that given an $X \in \mathcal{M}$, $X=X^*$, then there is a decomposition of the identity into $N…

We prove general de Finetti type theorems for classical and free independence. The de Finetti type theorems work for all non-easy quantum groups, which generalize a recent work of Banica, Curran and Speicher. We determine maximal…

Given a countable group $G$ splitting as a free product $G=G_1\ast\dots\ast G_k\ast F_N$, we establish classification results for subgroups of the group $Out(G,\mathcal{F})$ of all outer automorphisms of $G$ that preserve the conjugacy…

This is the second of a three part study of relative free splitting complexes $\mathcal{FS}(\Gamma;\mathscr A)$, known from Part~I to be Gromov hyperbolic. Here and in~Part III we focus on stable translation lengths $\tau_\phi \ge 0$ of the…

Let $G=G_1 \ast \ldots \ast G_k \ast F_N$ be a free product of finitely presented groups, where $F_N$ is a free group of rank $N \in \mathbb{N}$. Let $\mathrm{Out}(G,\mathcal{G})$ be the subgroup of $\mathrm{Out}(G)$ preserving the set of…

A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…

Let $M$ be an $n$-dimensional manifold supporting a quasi Anosov diffeomorphism. If $n=3$ then either $M={\mathbb T}^3$, in which case the diffeomorphisms is Anosov, or else its fundamental group contains a copy of ${\mathbb Z} ^6$. If…

We generalize Hrushovski's group configuration theorem to the case where the type of the configuration is generically stable, without assuming tameness of the ambient theory. The properties of generically stable types, which we recall in…

A non-quantitative version of the Freiman-Ruzsa theorem is obtained for finite stable sets with small tripling in arbitrary groups, as well as for (finite) weakly normal subsets in abelian groups.

We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the former. In the interplay between these, we find new type formers…

We characterize model theoretic properties of the Urysohn sphere as a metric structure in continuous logic. In particular, our first main result shows that the theory of the Urysohn sphere is $\text{SOP}_n$ for all $n\geq 3$, but does not…