English
Related papers

Related papers: Small clones and the projection property

200 papers

Consider a finite dimensional (generally reducible) polynomial representation \rho of GL_n. A projective compactification of GL_n is the closure of \rho(GL_n) in the space of all operators defined up to a factor (this class of spaces can be…

Representation Theory · Mathematics 2013-01-15 Yurii A. Neretin

This article analyzes F\olner sequences of projections for bounded linear operators and their relationship to the class of finite operators introduced by Williams in the 70ies. We prove that each essentially hyponormal operator has a proper…

Operator Algebras · Mathematics 2013-04-10 Fernando Lledó , Dmitry V. Yakubovich

Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the…

Programming Languages · Computer Science 2025-04-15 Nayan Rajesh

The structure of the lattice of clones on a finite set has been proven to be very complex. To better understand the top of this lattice, it is important to provide a characterization of submaximal clones in the lattice of clones. It is…

Rings and Algebras · Mathematics 2017-07-28 Luc E. F. Diekouam , Etienne R. A. Temgoua , Marcel Tonga

Kropholler's class of groups is the smallest class of groups which contains all finite groups and is closed under the following operator: whenever $G$ admits a finite-dimensional contractible $G$-CW-complex in which all stabilizer groups…

Group Theory · Mathematics 2014-02-26 T. Januszkiewicz , P. H. Kropholler , I. J. Leary

We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation,…

Logic · Mathematics 2024-08-15 Dag Normann , Sam Sanders

We investigate the lattice of clones that are generated by a set of functions that are induced on a finite field $\mathbb{F}$ by monomials. We study the atoms and coatoms of this lattice and investigate whether this lattice contains…

Rings and Algebras · Mathematics 2021-09-03 Sebastian Kreinecker

We give a formal treatment of simple type theories, such as the simply-typed $\lambda$-calculus, using the framework of abstract clones. Abstract clones traditionally describe first-order structures, but by equipping them with additional…

Logic in Computer Science · Computer Science 2024-04-03 Nathanael Arkor , Dylan McDermott

We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…

Functional Analysis · Mathematics 2014-12-02 Tanja Eisner

We classify all two-dimensional simple algebras (which may be non-associative) over an algebraically closed field. For each two-dimensional algebra $\mathcal{A}$, we describe a minimal (with respect to inclusion) generating set for the…

Rings and Algebras · Mathematics 2025-04-21 María Alejandra Alvarez , Artem Lopatin

In this article, we prove infinitary version of one to one correspondence theorem between clones and relational clones on a fixed possibly infinite set. We also characterize the relational clone corresponding to the clone of all finitary…

Logic · Mathematics 2013-10-08 Shohei Izawa

Given a (reduced) locally compact quantum group $A$, we can consider the convolution algebra $L^1(A)$ (which can be identified as the predual of the von Neumann algebra form of $A$). It is conjectured that $L^1(A)$ is operator biprojective…

Operator Algebras · Mathematics 2010-03-16 Matthew Daws

We study the theory of projective representations for a compact quantum group $\mathbb{G}$, i.e. actions of $\mathbb{G}$ on $\mathcal{B}(H)$ for some Hilbert space $H$. We show that any such projective representation is inner, and is hence…

Operator Algebras · Mathematics 2024-12-30 Kenny De Commer , Rubén Martos , Ryszard Nest

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Rings and Algebras · Mathematics 2016-01-12 Eva Bayer-Fluckiger , Uriya A. First

Let $p$ be a polynomial in one variable whose roots either all have multiplicity more than 1 or all have multiplicity exactly 1. It is shown that the universal $C^*$-algebra of a relation $p(x)=0$, $\|x\| \le 1$ is semiprojective. In the…

Functional Analysis · Mathematics 2011-01-21 Tatiana Shulman

We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor…

Algebraic Geometry · Mathematics 2026-05-01 Daniil Serebrennikov

Let A be a C*-algebra and A** its enveloping von Neumann algebra. C. Akemann suggested a kind of non-commutative topology in which certain projections in A** play the role of open sets. The adjectives "open", "closed", "compact", and…

Operator Algebras · Mathematics 2018-05-23 Lawrence G. Brown

In this paper, we provide a complete classification of Cartesian products of graphs that embed in the projective plane. Our work requires us to determine minimal Cartesian products that are nonprojective planar, organize their essential…

Combinatorics · Mathematics 2025-09-15 Nicholas Abell , Elizabeth McDermott , Christian Millichap

Let $A$ be a unital operator algebra. Let us assume that every {\it bounded\/} unital homomorphism $u\colon \ A\to B(H)$ is similar to a {\it contractive\/} one. Let $\text{\rm Sim}(u) = \inf\{\|S\|\, \|S^{-1}\|\}$ where the infimum runs…

Functional Analysis · Mathematics 2016-09-07 Gilles Pisier

For any finite dimensional C^*-algebra A with a trace vector \vec s whose entries are rational numbers, we give an endomorphism \Phi of the hyperfinite II_1 factor R such that: for all k \in \mathbb {N}, \Phi^k (R)' \cap R= \otimes^k A. The…

Operator Algebras · Mathematics 2007-05-23 Hsiang-Ping Huang