相关论文: On the Orbits of Computably Enumerable Sets

Given an orthogonal representation of a compact group, we show that any element of the connected component of the isometry group of the orbit space lifts to an equivariant isometry of the original Euclidean space. Corollaries include a…

The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank,…

In the paper "Aquino, C., Jim\'enez, R., Mijangos, M., Morales Mel\'endez, Q.: On Invariant (co)homology of a group, preprint" are introduced two groups generated by the orbits of an action of a group on another group by automorphisms. One…

Let $S$ be a closed surface of genus $g\geq 1$, furnished with an area form $\omega$. We show that there exists an open and dense set ${\mathcal O_r}$ of the space of Hamiltonian diffeomorphisms of class $C^r$, $1\leq r\leq\infty$, endowed…

Let G be a non-elementary group of isometries of a proper CAT(0)-space with limit set L. We survey properties of the action of G on L under the assumption that G contains a rank-one element. Among others, we show that there is a dense orbit…

We prove that every quasi-Hopfian finitely presented structure $A$ has a $d$-$\Sigma_2$ Scott sentence, and that if in addition $A$ is computable and $Aut(A)$ satisfies a natural computable condition, then $A$ has a computable…

Let $ E $ be a non-empty compact subset of the Riemann sphere and $T$ be a rational map of degree at least two. We study the associated \emph{orbital set}, that is, the backwards orbit of $E$ under $T$, and study the relationship between…

We present a simple approach to questions of topological orbit equivalence for actions of countable groups on topological and smooth manifolds. For example, for any action of a countable group $\Gamma$ on a topological manifold where the…

We compute the weighted enumeration of plane partitions contained in a given box with complementation symmetry where adding one half of an orbit of cubes and removing the other half of the orbit changes the weight by -1 as proposed by…

Let $\mathbb{M}$ be the monster model of a complete first-order theory $T$. If $\mathbb{D}$ is a subset of $\mathbb{M}$, following D. Zambella we consider $e(\mathbb{D})=\{\mathbb{D}^\prime\mid (\mathbb{M},\mathbb{D})\equiv…

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence…

In this letter, we revisit the {\em orbit problem}, which was studied in \cite{HAR69,SHA79,KL86}. In \cite{KL86}, Kannan and Lipton proved that this problem is decidable in polynomial time. In this paper, we study the {\em approximate orbit…

Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an…

Let G be a simple, simply-connected algebraic group over the complex numbers with Lie algebra $\mathfrak g$. The main result of this article is a proof that each irreducible representation of the fundamental group of the orbit O through a…

We consider the unitary group $\U$ of complex, separable, infinite-dimensional Hilbert space as a discrete group. It is proved that, whenever $\U$ acts by isometries on a metric space, every orbit is bounded. Equivalently, $\U$ is not the…

A computable graph $\mathcal{G}$ is computably categorical relative to a degree $\mathbf{d}$ if and only if for all $\mathbf{d}$-computable copies $\mathcal{B}$ of $\mathcal{G}$, there is a $\mathbf{d}$-computable isomorphism…

Our focus will be on the computably enumerable (c.e.) sets and trivial, non-trivial, Friedberg, and non-Friedberg splits of the c.e. sets. Every non-computable set has a non-trivial Friedberg split. Moreover, this theorem is uniform. V. Yu.…

We will prove that one-sided topological Markov shifts $(X_A,\sigma_A)$ and $(X_B,\sigma_B)$ for matrices $A$ and $B$ with entries in $\{0,1\}$ are topologically orbit equivalent if and only if there exists an isomorphism between the…

All four dimensional orbit spaces of compact coregular linear groups have been determined. The results are obtained through the integration of a universal differential equation, that only requires as input the number of elements of an…

A strict quantization of a compact symplectic manifold $S$ on a subset $I\subseteq\R$, containing 0 as an accumulation point, is defined as a continuous field of $C^*$-algebras $\{A_{\hbar}\}_{\hbar\in I}$, with $A_0=C_0(S)$, and a set of…