Related papers: An embedding version of Rubin's theorem
Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the…
Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…
We prove that, to every abstract group $G$, we can associate a sequence of graphs $\Gamma_n$ such that the automorphism group of $\Gamma_n$ is isomorphic to $G$ and the genus of $\Gamma_n$ is an unbounded function of $n$.
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined…
In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $\mathbb{C}$ in an $n$-th power of a particular locally finitely…
In this paper, we study the embedding problem of homogeneous quandles. We give a necessary and sufficient condition under which a quandle homomorphism from the homogeneous quandle associated with a quandle triplet $(G,H,\sigma)$ into a…
We prove that the vertex set of any twin-free multigraph G has an embedding into some point set P of some Euclidean space Rk, such that the automorphism group of G is isomorphic to the isometry group of Rk globally preserving P.
Let $E_G$ be a $\Gamma$--equivariant algebraic principal $G$--bundle over a normal complex affine variety $X$ equipped with an action of $\Gamma$, where $G$ and $\Gamma$ are complex linear algebraic groups. Suppose $X$ is contractible as a…
A group $G$ admits an \textbf{\em $n$-partite digraphical representation} if there exists a regular $n$-partite digraph $\Gamma$ such that the automorphism group $\mathrm{Aut}(\Gamma)$ of $\Gamma$ satisfies the following properties:…
We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework.…
We suggest a modified and briefer version for the proof of Higman's embedding theorem stating that a finitely generated group can be embedded in a finitely presented group if and only if it is recursively presented. In particular, we…
This paper presents primarily two Euclidean embeddings of the quotient space generated by matrices that are identified modulo arbitrary row permutations. The original application is in deep learning on graphs where the learning task is…
In this paper an analytic proof of a generalization of a theorem of Bismut ([Bis1, Theorem 5.1]) is given, which says that, when $v$ is a transversal holomorphic vector field on a compact complex manifold $X$ with a zero point set $Y$, the…
We show that sums over graphs such as appear in the theory of Feynman diagrams can be seen as integrals over discrete groupoids. From this point of view, basic combinatorial formulas of the theory of Feynman diagrams can be interpreted as…
We generalize an equidistribution theorem \`a la Bader-Muchnik for operator-valued measures constructed from a family of boundary representations associated with Gibbs measures in the context of convex cocompact discrete group of isometries…
We define the orbit category for transitive topological groupoids and their equivariant CW-complexes. By using these constructions we define equivariant Bredon homology and cohomology for actions of transitive topological groupoids. We show…
Let $M$ be an irreducible projective variety over an algebraically closed field $k$ of characteristic zero equipped with an action of a group $\Gamma$. Let $E_G$ be a principal $G$--bundle over $M$, where $G$ is a connected reductive…
The automorphism group of a curve is studied from the viewpoint of the canonical embedding and Petri's theorem. A criterion for identifying the automorphism group as an algebraic subgroup the general linear group is given. Furthermore the…
We provide a new geometric proof of Reimann's theorem characterizing quasiconformal mappings as the ones preserving functions of bounded mean oscillation. While our proof is new already in the Euclidean spaces, it is applicable in…