Related papers: A uniform Birkhoff theorem

For a fixed digraph $\mathbb H$, the $\mathbb H$-coloring problem is the problem of deciding whether a given input digraph $\mathbb G$ admits a homomorphism to $\mathbb H$. The CSP dichotomy conjecture of Feder and Vardi is equivalent to…

UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete…

Classical theorems from the early 20th century state that any Haar measurable homomorphism between locally compact groups is continuous. In particular, any Lebesgue-measurable homomorphism $\phi:\mathbb{R} \to \mathbb{R}$ is of the form…

We investigate the algebra of a Hausdorff ample groupoid, introduced by Steinberg, over a commutative semiring S. In particular, we obtain a complete characterization of congruence-simpleness for such Steinberg algebras, extending the…

After substantial progress over the last 15 years, the "algebraic CSP-dichotomy conjecture" reduces to the following: every local constraint satisfaction problem (CSP) associated with a finite idempotent algebra is tractable if and only if…

Let $M$ be a closed and connected manifold, $H:T^*M\times \mathbb{R} / \mathbb{Z} \to \mathbb{R}$ a Tonelli $1$-periodic Hamiltonian and $\mathcal{L} \subset T^*M$ a Lagrangian submanifold Hamiltonianly isotopic to the zero section. We…

Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and…

Let $G$ be a locally compact group. For every $G$-flow $X$, one can consider the stabilizer map $x \mapsto G_x$, from $X$ to the space $\mathrm{Sub}(G)$ of closed subgroups of $G$. This map is not continuous in general. We prove that if one…

We generalize a preceding simple proof of the Jamiolkowski criterion to check whether a given linear map between algebras of operators is completely positive or not. The generalization is performed to embrace all algebras of Hilbert-Schmidt…

The Proper Forcing Axiom implies all automorphisms of every Calkin algebra associated with an infinite-dimensional complex Hilbert space and the ideal of compact operators are inner. As a means of the proof we introduce the notion of Polish…

One of the central questions of universal algebraic geometry is: when two algebras have the same algebraic geometry? There are various interpretations of the sentence "Two algebras have the same algebraic geometry". One of these is…

We study Birkhoff-James orthogonality and its pointwise symmetry in commutative $C^*$ algebras, i.e., the space of all continuous functions defined on a locally compact Hausdorff space that vanish at infinity. We use this characterization…

Let $\mathfrak g$ be a finite dimensional Lie algebra over a field $\mathbf k$, $U\mathfrak g$ be its enveloping algebra and $S\mathfrak g$ be the symmetric algebra on $\mathfrak g$. Extending the work of Braverman and Gaitsgory on the…

The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and…

In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed…

We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic…

We develop the Lefschetz fixed-point theory for noncompact manifolds of bounded geometry and uniformly continuous maps. Specifically, we define the uniform Lefschetz class $\mathscr{L}(f)$ of a uniformly continuous map $f\colon M\to M$ of a…

An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…

Let $A$ be a $C^*$-algebra. We say that $A$ satisfies the SP if every bounded homomorphism $A\to B(K)$, with $K$ a Hilbert space, is similar to a $*$-homomorphism. We introduce three hypotheses that relate to extending hyperreflexive…

The symmetric homology of a unital algebra $A$ over a commutative ground ring $k$ is defined using derived functors and the symmetric bar construction of Fiedorowicz. For a group ring $A = k[\Gamma]$, the symmetric homology is related to…