Related papers: Full box spaces of free groups
A Gross space is a vector space E of infinite dimension over some field F, which is endowed with a symmetric bilinear form Phi:E^2 -> F and has the property that every infinite dimensional subspace U subseteq E satisfies dim U^perp < dim E.…
Measure Equivalence (ME) is the measure theoretic counterpart of quasi-isometry. This field grew considerably during the last years, developing tools to distinguish between different ME classes of countable groups. On the other hand,…
We show that the orthogonal free quantum groups are not inner amenable and we construct an explicit proper cocycle weakly contained in the regular representation. This strengthens the result of Vaes and the second author, showing that the…
We construct new examples of CAT(0) groups containing non finitely presented subgroups that are of type $FP_2$, these CAT(0) groups do not contain copies of $\mathbb{Z}^3$. We also give a construction of groups which are of type $F_n$ but…
We consider the relationship between normality and semi-proximality. We give a consistent example of a first countable locally compact Dowker space that is not semi-proximal, and two ZFC examples of semi-proximal non-normal spaces. This…
A map between operator spaces is called completely coarse if the sequence of its amplifications is equi-coarse. We prove that all completely coarse maps must be $\mathbb R$-linear. On the opposite direction of this result, we introduce a…
We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then…
Categories over a field $k$ can be graded by different groups in a connected way; we consider morphisms between these gradings in order to define the fundamental grading group. We prove that this group is isomorphic to the fundamental group…
Consider a diagram $\cdots \to F_3 \to F_2\to F_1$ of algebraic systems, where $F_n$ denotes the free object on $n$ generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the…
We present how to obtain non-comparable regular but not completely regular spaces. We analyze a generalization of Mysior's example, extracting its underlying purely set-theoretic framework. This enables us to build simple counterexamples,…
In this paper we give a criterion for pairs of isometries of a nonpositively curved metric space to generate a free group. This criterion holds only in singular spaces, for example in Euclidean buildings. The original motivation for our…
Given a quantum subgroup $G\subset U_n$ and a number $k\leq n$ we can form the homogeneous space $X=G/(G\cap U_k)$, and it follows from the Stone-Weierstrass theorem that $C(X)$ is the algebra generated by the last $n-k$ rows of coordinates…
We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of…
Let $G$ be the semidirect product $\Gamma \rtimes F_2$ where $\Gamma$ is either the free group $F_n$, $n > 1$ or the fundamental group $S_g$ of a closed surface of genus $g > 1$. We prove that $G$ is incoherent, solving two problems posed…
We study almost symmetric semigroups generated by odd integers. If the embedding dimension is four, we characterize when a symmetric semigroup that is not complete intersection or a pseudo-symmetric semigroup is generated by odd integers.…
We define a normalizable measure on the space of two-dimensional conformal field theories, which we interpret as a maximum ignorance ensemble. We test whether pure quantum gravity in AdS$_3$ is dual to the average over this ensemble. We…
The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $\omega_1$. Closely related results concerning the…
Multiplicatively invariant (MI) spaces are closed subspaces of $L^2(\Omega,\mathcal{H})$ that are invariant under multiplications of (some) functions in $L^{\infty}(\Omega)$. In this paper we work with MI spaces that are finitely generated.…
By using the space of fuzzy numbers, in e.g. [5] have been considered several complete metric spaces (called here {\bf FN}-type spaces) endowed with addition and scalar multiplication, such that the metrics have nice properties but the…
Let $\mathcal{DZ}_k$ be the $\mathbb{Q}$-vector space spanned by double zeta values with weight $k$, and $\mathcal{DM}_k$ be its quotient space divided by the space $\mathcal{PZ}_k$ spanned by the zeta value $\zeta(k)$ and products of two…