Related papers: Non-permutation invariant Borel quantifiers

A differential calculus is set up on a deformation of the oscillator algebra. It is uniquely determined by the requirement of invariance under a seven-dimensional quantum group. The quantum space and its associated differential calculus are…

Let $M$ be a Hopf--von Neuman algebra with the predual $M_*$ and $WAP(M)$ the subspace in $M$ composed of weakly almost periodic functionals on $M_*$. The main example of such an algebra is $M=L^\infty(\mathbb G)$ for a locally compact…

The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…

In this paper we briefly survey the classical problem of understanding which Lie algebras admit a complex structure, put in the broader perspective of almost complex structures with special properties. We focus on the different behavior of…

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

We establish a noncommutative generalisation of the Borel-Weil theorem for the Heckenberger-Kolb calculi of the irreducible quantum flag manifolds $\mathcal{O}_q(G/L_S)$, generalising previous work of a number of authors (including the…

A classical result of Norbert Wiener characterises doubly shift-invariant subspaces for square integrable functions on the unit circle with respect to a finite positive Borel measure $\mu$, as being the ranges of the multiplication maps…

We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between…

We show that there exist infinitely many pairs of non-homeomorphic closed oriented SOL torus bundles with the same quantum (TQFT) invariants. This follows from the arithmetic behind the conjugacy problem in $SL(2,\Z)$ and its congruence…

We generalise the main theorems from the paper "The Borel cardinality of Lascar strong types" by I. Kaplan, B. Miller and P. Simon to a wider class of bounded invariant equivalence relations. We apply them to describe relationships between…

This paper has the characteristics of a review paper in which results of shift-invariant subspaces of Sobolev type are summarized without proofs. The structure of shift-invariant spaces $V_s$, $s\in\mathbb{R}$, generated by at most…

For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty…

We suggest to look at formal sentences describing complex algebraic varieties together with their universal covers as topological invariants. We prove that for abelian varieties and Shimura varieties this is indeed a complete invariant,…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

In this work we analyze the concept of swap-invariance, which is a weaker variant of exchangeability. A random vector $\xi$ in $\mathbb{R}^n$ is called swap-invariant if $\,{\mathbf E}\,\big| \!\sum_j u_j \xi_j \big|\,$ is invariant under…

Sofic groups were defined implicitly by Gromov in [Gr99] and explicitly by Weiss in [We00]. All residually finite groups (and hence every linear group) is sofic. The purpose of this paper is to introduce, for every countable sofic group…

In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum…

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Continuum Kac-Moody algebras have been recently introduced by the authors and O. Schiffmann. These are Lie algebras governed by a continuum root system, which can be realized as uncountable colimits of Borcherds-Kac-Moody algebras. In this…

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$…