Related papers: The Complexity of Orbits of Computably Enumerable …

We study two complexity notions of groups - a computable Scott sentence and the index set of a group. Finding the exact complexity of one of them usually involves finding the complexity of the other, but this is not the case sometimes. J.…

The \emph{index set} of a computable structure $\mathcal{A}$ is the set of indices for computable copies of $\mathcal{A}$. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary…

We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation.…

We consider generalisations of the elliptic Calogero--Moser systems associated to complex crystallographic groups in accordance to [1]. In our previous work [2], we proposed these systems as candidates for Seiberg--Witten integrable systems…

An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…

Given two elements of a vector space acted on by a reductive group, we ask whether they lie in the same orbit, and if not, whether one lies in the orbit closure of the other. We develop techniques to optimize the orbit and orbit closure…

We give Scott sentences for certain computable groups, and we use index set calculations as a way of checking that our Scott sentences are as simple as possible. We consider finitely generated groups and torsion-free abelian groups of…

This paper is about nilpotent orbits of reductive groups over local non-Archimedean fields. In this paper we will try to identify for which groups there are only finitely many nilpotent orbits, for which groups the nilpotent orbits are…

Let N \subseteq M be von Neumann algebras and E:M\to N a faithful normal conditional expectation. In this work it is shown that the similarity orbit S(E) of E by the natural action of the invertible group of G_M of M has a natural complex…

Let $G$ be a classical linear algebraic group over an algebraically closed field, and let $\mathfrak{n}$ denote the subset of nilpotent elements in its Lie algebra. In this paper we study a partial order on the $G$-orbits in $\mathfrak{n}$…

Some aspects of phase transitions can be more conveniently studied in the orbit space of the action of the symmetry group. After a brief review of the fundamental ideas of this approach, I shall concentrate on the mathematical aspect and…

The Hilbert manifold $\Sigma$ consisting of positive invertible (unitized) Hilbert-Schmidt operators has a rich structure and geometry. The geometry of unitary orbits $\Omega\subset \Sigma$ is studied from the topological and metric…

We give several new examples of computable structures of high Scott rank. For earlier known computable structures of Scott rank $\omega_1^{CK}$, the computable infinitary theory is $\aleph_0$-categorical. Millar and Sacks asked whether this…

This paper introduces the notion of orbit coherence in a permutation group. Let $G$ be a group of permutations of a set $\Omega$. Let $\pi(G)$ be the set of partitions of $\Omega$ which arise as the orbit partition of an element of $G$. The…

For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to $\Sigma^*$? And for which sets A does there exist such a…

We conjecture that satellite operations are either constant or have infinite rank in the concordance group. We reduce this to the difficult case of winding number zero satellites, and use $SO(3)$ gauge theory to provide a general criterion…

We study a simple analytic solution to Einstein's field equations describing a thin spherical shell consisting of collisionless particles in circular orbit. We then apply two independent criteria for the identification of circular orbits,…

For a continuous map on a topological graph containing a unique loop S it is possible to define the degree and, for a map of degree 1, rotation numbers. It is known that the set of rotation numbers of points in S is a compact interval and…

We show that every point $x_0\in [0,1]$ carries a representation of a $C^*$-algebra that encodes the orbit structure of the linear mod 1 interval map $f_{\beta,\alpha}(x)=\beta x +\alpha$. Such $C^*$-algebra is generated by partial…

Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point…