Related papers: Separation for isometric group actions and hyperim…
An action of a compact quantum group on a compact metric space $(X,d)$ is (D)-isometric if the distance function is preserved by a diagonal action on $X\times X$. We show that an isometric action in this sense has the following additional…
Answering a question by Chatterji--Dru\c{t}u--Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space…
We introduce a natural pseudometric on the space of actions of d-generated groups. In this pseudometric, the zero classes correspond to the weak equivalence classes defined by Kechris, and the metric identification is compact. We achieve…
Given an action by a finite quantum group $\mathbb{G}$ on a von Neumann algebra $M$, we prove that a number of familiar $W^*$ properties are equivalent for $M$ and the fixed-point algebra $M^{\mathbb{G}}$ (i.e. hold or not simultaneously…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…
Two objects are independent if they do not affect each other. Independence is well-understood in classical information theory, but less in algorithmic information theory. Working in the framework of algorithmic information theory, the paper…
We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal) Hilbert-style axiomatisation for the quantifier-free…
Given a pseudo-effective divisor L we construct the diminished ideal of L, a "continuous" extension of the asymptotic multiplier ideal for big divisors to the pseudo-effective boundary. For most pseudo-effective divisors L the multiplier…
We develop a nonlinear theory for infrahyperfunctions (also referred to as quasianalytic (ultra)distributions by L. H\"{o}rmander). In the hyperfunction case our work can be summarized as follows. We construct a differential algebra that…
Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…
We show that compactness of the $\overline{\partial}$-Neumann operator is independent of the metric, and we give a new proof of this independence for subellipticity. We define an abstract obstruction to compactness, namely the common zero…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
We introduce the concepts of dependence and independence in a very general framework. We use a concept of rank to study dependence and independence. By means of the rank we identify (total) dependence with inability to create more…
In this paper, we prove weak elimination of imaginaries for perfect bounded pseudo-algebraically closed fields equipped with finitely many independent valuations. Our approach combines an extension result for types to invariant types with…
In this note we include two remarks about bounded ($\underline{not}$ necessarily contractive) linear projections on a von Neumann-algebra. We show that if $M$ is a von Neumann-subalgebra of $B(H)$ which is complemented in B(H) and…
An essentially free group action of $\Gamma$ on $(X,\mu)$ is called W*-superrigid if the crossed product von Neumann algebra $L^\infty(X) \rtimes \Gamma$ completely remembers the group $\Gamma$ and its action on $(X,\mu)$. We prove…
Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a…
We provide an analysis of the dynamics of isometries and semicontractions of metric spaces. Certain subsets of the boundary at infinity play a fundamental role and are identified completely for the standard boundaries of CAT(0)-spaces,…