1: \begin{abstract}

2: Computational problems concerning the orbit of a point

3: under the action of a matrix group occur in numerous subfields

4: of computer science, including complexity theory, program analysis, quantum computation, and automata theory.

5: In many cases  the focus extends beyond orbits proper to orbit closures under a suitable topology.

6: Typically one starts from a group and several points and asks questions

7: about the orbit closure of the points under the action of the group, e.g., whether two given orbit closures intersect.

8: 

9: 

10: In this paper we consider a collection of what we call determination problems concerning groups and orbit closures.  These problems begin with  a given variety and 

11: seek to understand

12: whether and how it 

13: arises either as an algebraic group or as an orbit closure. 

14: The \emph{how} question asks whether the underlying group is $s$-generated, meaning it is topologically generated by~$s$ matrices for a given number~$s$. 

15: Among other applications,  problems of this type have recently been studied in the context of synthesising loops subject to certain specified invariants on program variables. 

16: 

17: Our main result is a polynomial-space procedure

18: that inputs a variety $V$ and a number~$s$ and determines whether $V$ arises as an orbit closure of a point under 

19: an  $s$-generated commutative matrix group. 

20: The main tools in our approach are rooted in structural properties of commutative algebraic matrix groups and  lattice theory. We leave open the question of determining whether a variety is an 

21: orbit closure of a point under an algebraic matrix group (without the requirement of commutativity).  In this regard, we note that a recent paper~\cite{NPSHW2021} gives an elementary procedure to compute the orbit closure of a point under finitely many matrices. 

22: \end{abstract}