Related papers: Algorithms for group actions in arbitrary characte…

If $G$ is a finite $\ell$-group acting on an affine space $\mathbb{A}^n$ over a finite field $K$ of cardinality prime to $\ell$, Serre has shown that there exists a rational fixed point. We generalize this to the case where $K$ is a…

In this paper we survey some recent results on actions of finite groups on topological manifolds. Given an action of a finite group $G$ on a manifold $X$, these results provide information on the restriction of the action to a subgroup of…

A finite spin system invariant under a symmetry group G is a very illustrative example of the finite group action on a set of mappings f:X->Y. In the case of spin systems X is a set of spin carriers and Y contains 2s+1 z-components -s<=m<=s…

Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which…

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…

The group $G = GL_r(k) \times (k^\times)^n$ acts on $\mathbf{A}^{r \times n}$, the space of $r$-by-$n$ matrices: $GL_r(k)$ acts by row operations and $(k^\times)^n$ scales columns. A matrix orbit closure is the Zariski closure of a point…

Let $H$ and $K$ be groups. In this paper we introduce a concept of determinant for automorphisms of $H\times K$ and some concepts of incompatibility for group pairs as a measure of how much $H$ and $K$ are fare from being isomorphic. With…

Let $G$ be a finitely generated solvable-by-finite linear group. We present an algorithm to compute the torsion-free rank of $G$ and a bound on the Pr\"{u}fer rank of $G$. This yields in turn an algorithm to decide whether a finitely…

We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm…

Heralding the advent of autonomous vehicles and mobile robots that interact with humans, responsibility in spatial interaction is burgeoning as a research topic. Even though metrics of responsibility tailored to spatial interactions have…

We give an infinitesimal criterion, in the analytic setting, for a vector space to be locally homogeneous under some group action. Our approach differs from those which resort to an inverse function theorem (e.g. those of Moser, Zehnder or…

We consider a group $G$ acting on a local dendrite $X$ (in particular on a graph). We give a full characterization of minimal sets of $G$ by showing that any minimal set $M$ of $G$ (whenever $X$ is different from a dendrite) is either a…

For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then…

We consider the problems of measurable isomorphisms and joinings, measurable centralizers and quotients for certain classes of ergodic group actions on infinite measure spaces. Our main focus is on systems of algebraic origin: actions of…

Computational problems concerning the orbit of a point under the action of a matrix group occur throughout computer science, including in program analysis, complexity theory, quantum computation, and automata theory. In many cases the focus…

A geometric interpretation and generalisation for the Galois action on finite group character tables is sketched. The generalisation is a Galois action on the space Map_G(G^n,\bar{Q})/S_n for each finite G, where G acts by simultaneous…

Actions of a locally compact group G on a measure space X give rise to unitary representations of G on Hilbert spaces. We review results on the rigidity of these actions from the spectral point of view, that is, results about the existence…

The purpose of this paper is to understand generic behavior of constraint functions in optimization problems relying on singularity theory of smooth mappings. To this end, we will focus on the subgroup $\mathcal{K}[G]$ of the Mather's group…

We study higher analogues of effective and effectual topological complexity of spaces equipped with a group action. These are $G$-homotopy invariant and are motivated by the (higher) motion planning problem of $G$-spaces for which their…

We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their…