Related papers: The Calkin algebra is not countably homogeneous

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…

Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…

A noncommutative *-algebra that generalizes the canonical commutation relations and that is covariant under the quantum groups SOq(3) or SOq(1,3) is introduced. The generating elements of this algebra are hermitean and can be identified…

We study a cell problem arising in homogenization for a Hamilton-Jacobi equation whose Hamiltonian is not coercive. We introduce a generalized notion of effective Hamiltonians by approximating the equation and characterize the solvability…

This paper introduces a new simplified version of the countable branching recurrence of Computability Logic, proves its equivalence to the old one, and shows that the basic logic induced by it is a proper superset of the basic logic induced…

Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$, and suppose $q+q^{-1}$ is invertible in $R$. For each planar surface $\Sigma_{0,n+1}$, we present its Kauffman bracket skein algebra over $R$ by…

We prove that there exist rational but not uniformly rational smooth algebraic varieties. The proof is based on computing a certain numerical obstruction developed in the case of compactifications of affine spaces. We show that for some…

Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an…

The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear…

We give an example of an aleph-zero-categorical theory which is not G-compact. The countable model of this theory does not have AZ-enumerations.

Let a compact group G act on real or complex C*-algebras A and B, with A separable and B sigma-unital. We express the G-equivariant Kasparov groups KK_n(A,B) by algebraic K-groups of a certain additive category.

We show that the quantum disk, i.e. the quantum space corresponding to the Toeplitz C*-algebra does not admit any compact quantum group structure. We prove that if such a structure existed the resulting compact quantum group would…

All possible Lie bialgebra structures on the harmonic oscillator algebra are explicitly derived and it is shown that all of them are of the coboundary type. A non-standard quantum oscillator is introduced as a quantization of a triangular…

Using notions of homogeneity we give new proofs of M. Artin's algebraicity criteria for functors and groupoids. Our methods give a more general result, unifying Artin's two theorems and clarifying their differences.

We consider singular integrals associated to homogeneous kernels on self similar sets. Using ideas from ergodic theory we prove, among other things, that in Euclidean spaces the principal values of singular integrals associated to real…

Patterns on numerical semigroups are multivariate linear polynomials, and they are said to be admissible if there exists a numerical semigroup such that evaluated at any nonincreasing sequence of elements of the semigroup gives integers…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

We extend the clique-coclique inequality, previously known to hold for graphs in association schemes and vertex-transitive graphs, to graphs in homogeneous coherent configurations and 1-walk regular graphs. We further generalize it to a…

One introduces the notion of C*-algebra with polarization which could be considered as the quantum Kahler structure. The connection of these algebras with Kostant-Souriou geometric quantization is shown. The theory of polarized C*-algebra…

Consider an automorphism group of a finite-dimensional algebra. S. Halperin conjectured that the unity component of this group is solvable if the algebra is a complete intersection. The solvability criterion recently obtained by M. Schulze…