相关论文: Equivalences of promise compactness principles

We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…

For $\mathbf{A}\leq\mathbf{B}$ first order structures in a class $\mathcal{K}$, say that $\mathbf{A}$ is an epic substructure of $\mathbf{B}$ in $\mathcal{K}$ if for every $\mathbf{C}\in\mathcal{K}$ and all homomorphisms…

We supply an upper bound on the distinguishing chromatic number of certain infinite graphs satisfying an adjacency property. Distinguishing proper $n$-colourings are generalized to the new notion of distinguishing homomorphisms. We prove…

We compare the smooth and deformation equivalence of actions of finite groups on K3-surfaces by holomorphic and anti-holomorphic transformations. We prove that the number of deformation classes is finite and, in a number of cases, establish…

We introduce and study a $K$-theory of twisted bundles for associative algebras $A(\mathfrak g)$ of formal series with an infinite-Lie algebra coefficients over arbitrary compact topological spaces. Fibers of such bundles are given by…

Let $V$ be a finite-dimensional vector space over the field with $p$ elements, where $p$ is a prime number. Given arbitrary $\alpha,\beta\in \mathrm{GL}(V)$, we consider the semidirect products $V\rtimes\langle \alpha\rangle$ and…

We study surjective homomorphisms f:\prod_I A_i\to B of not-necessarily-associative algebras over a commutative ring k, for I a generally infinite set; especially when k is a field and B is countable-dimensional over k. Our results have the…

Commability is the finest equivalence relation between locally compact groups such that $G$ and $H$ are equivalent whenever there is a continuous proper homomorphism $G \to H$ with cocompact image. Answering a question of Cornulier, we show…

To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if…

We give a rigorous account and prove continuity properties for the correspondence between almost flat bundles on a triangularizable compact connected space and the quasi-representations of its fundamental group. For a discrete countable…

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility…

If B is C*-algebra of finite dimension n>3 then the finite dimensional irreducible representations of the compact quantum automorphism group of B, say G, have the same fusion rules as the ones of SO(3). As consequences, we get (1) a…

If $\rho$ is a binary relation on a set $X$, the structure ${\mathbb X}=\langle X,\rho\rangle$ is connected iff the minimal equivalence relation containing $\rho$ is the full relation on $X$. We show that, for a set $I$ the following…

Two graphs $G$ and $H$ are homomorphism indistinguishable over a class of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Many…

A $k$-edge-colored graph is a finite, simple graph with edges labeled by numbers $1,\ldots,k$. A function from the vertex set of one $k$-edge-colored graph to another is a homomorphism if the endpoints of any edge are mapped to two…

In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite…

Let $G=H\ltimes K$ denote a semidirect product Lie group with Lie algebra $\mathfrak g=\mathfrak h \oplus \mathfrak k$, where $\mathfrak k$ is an ideal and $\mathfrak h$ is a subalgebra of the same dimension as $\mathfrak k$. There exist…

A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the…

Let $H$ be a $k$-uniform hypergraph with $n$ vertices. A {\em strong $r$-coloring} is a partition of the vertices into $r$ parts, such that each edge of $H$ intersects each part. A strong $r$-coloring is called {\em equitable} if the size…

Let $C$ be a general unital AH-algebra and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. Suppose that $\phi, \psi: C\to A$ are two unital monomorphisms. We show that $\phi$ and $\psi$ are approximately unitarily…