Related papers: Algorithms for orbit closure separation for invari…

Always dealing with an arbitrary field we consider the variety $(k^{n\times n})^{p}$ under the action of $GL_{n}$ by simultaneous similarity. We define discrete and continuous invariants which completely determine the orbits. The discrete…

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…

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…

We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of GL_n(C) on the variety of x-nilpotent complex matrices. We obtain a criterion as to whether the action admits a finite number of orbits and specify a…

The algebra of ${\rm GL}_n$-invariants of $m$-tuples of $n\times n$ matrices with respect to the action by simultaneous conjugation is a classical topic in case of infinite base field. On the other hand, in case of a finite field generators…

In this paper we study the orbit closure problem for a reductive group $G\subseteq GL(X)$ acting on a finite dimensional vector space $V$ over $\C$. We assume that the center of $GL(X)$ lies within $G$ and acts on $V$ through a fixed…

We investigate the joint action of two real forms of a semi-simple complex Lie group S by left and right multiplication. After analyzing the orbit structure, we study the CR structure of closed orbits. The main results are an explicit…

We study closures of conjugacy classes in the symmetric matrices of the orthogonal group and we determine which one are normal varieties. In contrast to the result for the symplectic group where all classes have normal closure, there is…

We present a new algorithm that, given two matrices in $GL(n,Q)$, decides if they are conjugate in $GL(n,Z)$ and, if so, determines a conjugating matrix. We also give an algorithm to construct a generating set for the centraliser in…

Let $G$ be a connected linear algebraic group, let $V$ be a finite dimensional algebraic $G$-module, and let $\mathcal O_1$, $\mathcal O_2$ be two $G$-orbits in $V$. We describe a constructive way to find out whether $\mathcal O_1$ lies in…

We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on…

For several objects of interest in geometric complexity theory, namely for the determinant, the permanent, the product of variables, the power sum, the unit tensor, and the matrix multiplication tensor, we introduce and study a fundamental…

We study an action of ${\rm Aut}(F_n)$ on $\mathbb{R}^{2^n-1}$ by trace maps, defined using the traces of $n$-tuples of matrices in $\mathrm{SL}(2,\mathbb{C})$ having real traces. We determine the finite orbits for this action. These orbits…

Separation of variables by means of the orbit method is implemented to integrable systems on coadjoint orbits in an $\mathfrak{sl}(4)$ loop algebra. This is a development and a kind of explanation for Sklyanin's procedure of separation of…

We consider the action of the finite matrix group $SL(m,Z_n)$ on the ring $Z_n^m$. We determine orbits of this action for n arbitrary natural number. It is a generalization of the task which was studied by A.A. Kirillov for $m=2$ and $n$…

Let $G:= (C^*)^k\times SL_2(C)$ act linearly on a vector space or its projectivisation. We obtain an effective criterion to detect whether a number of orbits in an orbit-closure is finite or not.

We determine the equivariant real structures on nilpotent orbits and the normalizations of their closures for the adjoint action of a complex semisimple algebraic group on its Lie algebra.

Conjugation coactions of the quantum general linear group on the algebra of quantum matrices have been introduced in an earlier paper and the coinvariants have been determined. In this paper the notion of orbit is considered via co-orbit…

Let $\G$ be a semisimple algebraic group over a number field $K$, $\mathcal{S}$ a finite set of places of $K$, $K_\mathcal{S}$ the direct product of the completions $K_v, v \in \mathcal{S}$, and $\OO$ the ring of $\mathcal{S}$-integers of…

An action of a group on a vector space partitions the latter into a set of orbits. We consider three natural and useful algorithmic "isomorphism" or "classification" problems, namely, orbit equality, orbit closure intersection, and orbit…