When is a polynomial ideal binomial after an ambient automorphism?

TL;DR

This paper develops algorithms to determine when polynomial ideals can be transformed into binomial or toric forms via coordinate changes, with applications to algebraic geometry and computational algebra.

Contribution

It introduces new probabilistic and deterministic algorithms for identifying binomial and toric structures in polynomial ideals under coordinate transformations.

Findings

Algorithms effectively find loci where ideals are binomial or unital binomial.

Probabilistic algorithms are faster than existing deterministic methods.

Applications include classifying toric varieties and stabilizer subgroups in algebraic group actions.

Abstract

Can an ideal I in a polynomial ring k[x] over a field be moved by a change of coordinates into a position where it is generated by binomials $x^a - cx^b$ with c in k, or by unital binomials (i.e., with c = 0 or 1)? Can a variety be moved into a position where it is toric? By fibering the G-translates of I over an algebraic group G acting on affine space, these problems are special cases of questions about a family F of ideals over an arbitrary base B. The main results in this general setting are algorithms to find the locus of points in B over which the fiber of F - is contained in the fiber of a second family F' of ideals over B; - defines a variety of dimension at least d; - is generated by binomials; or - is generated by unital binomials. A faster containment algorithm is also presented when the fibers of F are prime. The big-fiber algorithm is probabilistic but likely faster than known deterministic ones. Applications include the setting where a second group T acts on affine space, in addition to G, in which case algorithms compute the set of G-translates of I - whose stabilizer subgroups in T have maximal dimension; or - that admit a faithful multigrading by $Z^r$ of maximal rank r. Even with no ambient group action given, the final application is an algorithm to - decide whether a normal projective variety is abstractly toric. All of these loci in B and subsets of G are constructible; in some cases they are closed.

Equations

$$\bigcup _{i=1}^s{U}_i\cap C_i,$$

$$\bigcup _i{U}_i^{\prime }\setminus U_{i-1}.$$

$${\widetilde{f}}=x_{0}^{d}f\Big{(}\frac{x_{1}}{x_{0}},\dots,\frac{x_{n}}{x_{0}}\Big{)}$$

$$\tilde{f}=\sum _{i=1}^r\sum _{\begin{array}{c}\mathbf{a}\in {\mathbb{N}}^{n+1}\\ |\mathbf{a}|=d-d_i\end{array}}{c}_{i,\mathbf{a}}{\mathbf{x}}^{\mathbf{a}}{q}_i.$$

$$0⟶{\tilde{I}}_2{\kappa }_{\mathfrak{p}}⟶{\kappa }_{\mathfrak{p}}[\tilde{\mathbf{x}}]⟶{\kappa }_{\mathfrak{p}}[\tilde{\mathbf{x}}]/{\tilde{I}}_2{\kappa }_{\mathfrak{p}}⟶0$$

$$\Delta ({\mathbf{x}}^{\mathbf{a}})$$

$$\Delta ({\mathbf{x}}^{\mathbf{a}}-{\mathbf{x}}^{\mathbf{b}})$$

$$\sum _{i>0}{\lambda }_i\pi (m_i)\otimes \pi (m_i)$$

$$\displaystyle={\overline{\Delta}}\big{(}\pi(m_{0})\big{)}=\pi(m_{0})\otimes\pi(m_{0})$$

$$\displaystyle=\Big{(}\sum_{i>0}\lambda_{i}\pi(m_{i})\Big{)}\otimes\Big{(}\sum_{i>0}\lambda_{i}\pi(m_{i})\Big{)}$$

$$=\sum _{i,j>0}{\lambda }_i{\lambda }_j\pi (m_i)\otimes \pi (m_j).$$

$$\bigcup _{\gamma \in U}G(I)\gamma$$

$${\ell }_{1,i}^a{\ell }_{2,i}^b=\lambda u^5(u-v)+v^5(u-2v)$$

Full text

• •

is contained in the fiber of a second family $\mathcal{I}^{\prime}$ of ideals over $B$;

• •

defines a variety of dimension at least $d$;

• •

is generated by binomials; or

• •

is generated by unital binomials.

A faster containment algorithm is also presented when the fibers of $\mathcal{I}$ are prime. The big-fiber algorithm is probabilistic but likely faster than known deterministic ones.Applications include the setting where a second group $T$ acts on affine space, in addition to $G$, in which case algorithms compute the set of $G$-translates of $I$

• •

whose stabilizer subgroups in $T$ have maximal dimension; or

• •

that admit a faithful multigrading by $\mathbb{Z}^{r}$ of maximal rank $r$.

Even with no ambient group action given, the final application is an algorithm to

• •

decide whether a normal projective variety is abstractly toric.

All of these loci in $B$ and subsets of $G$ are constructible; in some cases they are closed.

1. Introduction

Ideals generated by binomials define schemes with much simpler geometry than arbitrary polynomial ideals [ES96], largely yielding to analysis by combinatorial methods [DMM10, KM14, KMO16]. Similarly, ideals homogeneous with respect to some grading or multigrading are simpler than general ideals. In principle, much of this simplicity persists after linear change of coordinates, or any other automorphism of the ambient affine space. Therefore, it seems natural to ask for an algorithm to decide whether a given ideal has any of these properties after applying an ambient automorphism.

Here we present algorithms for this and related tasks. Let $G$ be an algebraic group acting on affine space $\mathbb{A}^{n}=\operatorname{Spec}\Bbbk[x_{1},\dots,x_{n}]$ via a morphism $\alpha:G\times\mathbb{A}^{n}\to\mathbb{A}^{n}$. For a given ideal $I\subseteq\Bbbk[\mathbf{x}]=\Bbbk[x_{1},\dots,x_{n}]$, we provide algorithms for the following tasks, where $I.\gamma$ means the image of under the corresponding (right) action of $\gamma\in G$ on $\Bbbk[\mathbf{x}]$.

1. (A1)

Find the elements $\gamma\in G$ such that $I.\gamma$ is generated by binomials (Algorithm 4.2). 2. (A2)

Find the elements $\gamma\in G$ such that $I.\gamma$ is unital, meaning generated by monomials and differences of monomials (Algorithm 4.5). 3. (A3)

Find the elements $\gamma\in G$ such that $I.\gamma$ admits a faithful $\mathbb{Z}^{r}$-grading with $r$ as large as possible (Algorithm 3.13). 4. (A4)

Given a second algebraic group $T$ which also acts on $\mathbb{A}^{n}$, find the elements $\gamma\in G$ such that $I.\gamma$ is stabilized by as large a subgroup of $T$ as possible (Algorithm 3.11).

In each item, we can in particular determine whether there exists $\gamma\in G$ such that $I.\gamma$ has the respective property.

The case of $G=\mathit{GL}_{n}$ in (A1) originated with Eisenbud and Sturmfels [ES96, page 6], who raised the issue of determining when a given ideal is the image of a binomial ideal under an ambient linear automorphism.

It would be desirable to have algorithms for these questions with $G$ being the entire automorphism group of affine space. However, as this group is currently a mystery [Ess00, SU04], it seems only fair to require that $G$ be specified beforehand. In fact, the reader will lose none of the flavor or difficulty by assuming that $G=\mathit{GL}_{n}$ consists of all linear changes of coordinates.

The most important class of binomial ideals consists of those that are toric, meaning unital and prime. They define affine toric varieties, so (A2) can be used to find automorphims in $G$ under which the image of a given affine variety is (equivariantly embedded as) a toric variety. For varieties that are projective, we can even do better and detect whether they are toric without having to specify a group $G$ beforehand:

1. (A5)

Given a normal, projective variety $X\subseteq\mathbb{P}^{n}$, decide if it is toric (Algorithm 5.4).

Even if it is not toric, taking the group $T$ in (A4) to be the algebraic torus $(\Bbbk^{*})^{n}$, our method finds a large subtorus acting on $V(I.\gamma)$, turning the latter optimally into a $T$-variety. (If your definition of $T$-variety requires normality, then of course it can only work if $V(I)$ is normal to begin with.)

Here are two examples where “hidden” toric structures turned out to be useful.

Example 1.1** (Phylogenetics and group-based models).**

Group-based models are special statistical models: maps from the parameter space to the space of probability distributions [Eri*+*05]. In their original coordinates the maps are not monomial, so the Zariski closures of the images do not seem toric. However, a clever linear change of coordinates, known as the Discrete Fourier Transform, turns the varieties to equivariantly embedded toric varieties [HP89, SS05]. This fact inspired numerous mathematicians both in statistics and in algebraic geometry [BW07, DK09, CFS11, MV17].

Example 1.2** (Secant and tangential varieties of Segre–Veronese).**

Secant and tangential varieties are classical topics in algebraic geometry [Zak93]. As an example of the difficulty of their geometric and algebraic properties, finding the defining equations of the secant variety of any Segre–Veronese variety was an open conjecture of Garcia, Stillman, and Sturmfels [GSS05], solved only recently by Raicu [Rai12]. Thus, it is surprising that both secant and tangential varieties of Segre–Veronese are covered by open toric varieties—complements of hyperplane sections [SZ13, MOZ15, MPS16]. Here a nonlinear change of coordinates, inspired by computation of cumulants in statistics [Zwi15] played a crucial role.

Methods

The principle that guides our algorithms concerns the comparison of families parametrized over a common base. When $G$ acts on $\mathbb{A}^{n}$, the $G$-translates of $I$ fiber over $G$ (Definition 3.1 and Remark 3.2). If a second group $T$ acts on $\mathbb{A}^{n}$ and it is desired to find a subgroup of $T$ that stabilizes a $G$-translate of $X\subseteq\mathbb{A}^{n}$, then ask for $\tau\in T$ and $\gamma\in G$ such that $\gamma.X$ is stabilized by $\tau$. This problem fibers over $T\times G$ (Section 3.2), the point being to find the locus $Y\subseteq T\times G$ over which $\tau.(\gamma.X)=\gamma.X$. In the context of (A4), where the goal is to move $X$ so as to make its stabilizing subgroup as large as possible, the algorithm then finds the locus of points in $G$ over which the fiber of $Y\to G$ has maximal dimension. This locus is closed (Proposition 3.9). Note that Algorithm 3.13 for (A3) is the special case where $T=(\Bbbk^{*})^{n}$ is the algebraic torus acting diagonally on $\mathbb{A}^{n}$ (Section 3.3).

The upshot is that our computational engine consists of two algorithms for a family of ideals over an arbitrary base $B$: find the locus of points in $B$ over which the fiber

1. (A6)

is contained in the fiber of a second given family of ideals over $B$ (Algorithm 2.9) or 2. (A7)

defines a variety of dimension at least $d$ (Algorithm 2.11).

These rely on geometry of constructible sets (Section 2.1) and a bit of flatness, when it is desired that the constructible outputs of the algorithms be closed (Theorem 2.5). Deterministic algorithms for (A7) are known [Kem07], but Algorithm 2.11 is probabilistic and likely faster.

Having already the context of an arbitrary base $B$ at our disposal, the algorithms for (A1) and (A2) work as well for a family of ideals over $B$.

1. (A1′)

Find the locus of points in $B$ over which the fiber is binomial (Algorithm 4.2). 2. (A2′)

Find the locus of points in $B$ over which the fiber is unital (Algorithm 4.5).

The reason is that the criterion for binomiality simply detects whether the reduced Gröbner basis is binomial (Section 4.1); it has nothing to do with a group action on the ambient affine space. Similarly, an ideal is unital precisely when its scheme is closed under coordinatewise multiplication (Proposition 4.4); while this employs the monoid structure on $\Bbbk^{n}$, which is defined only once a basis of $\Bbbk^{n}$ has been given, that monoid action is fixed from the outset, so it remains only to calculate which fibers respect it.

The final application, (A5), observes that high Veronese embeddings of normal projective varieties are projectively normal, after which an ambient automorphism must make the variety toric if anything can (Theorem 5.5). Thus our method applies (A2) with $G$ being the general linear group acting on projective space. A speedup (Algorithm 5.1) for (A6) is available in this case because the fibers are known to be prime.

Conventions

Everything throughout the paper is over a field $\Bbbk$. Implementation of the algorithms would require that $\Bbbk$ be “computable” in some appropriate sense, but most of our discussions are independent of this hypothesis. That said, we do assume, without further comment, that all algebras and schemes are of finite type over $\Bbbk$.

Functions, variables, and spaces are denoted by English letters. Group elements or points in spaces are denoted by Greek letters. Thus $f(\mathbf{x})$ for $\mathbf{x}=x_{1},\dots,x_{n}$ is a function on a subscheme $X$ of affine $n$-space $\mathbb{A}^{n}$ whose action on a $\Bbbk$-valued point $\xi\in X$ is $\xi\mapsto f(\xi)$. Hopefully this eliminates confusion regarding left vs. right actions on spaces vs. functions, the details of which are covered in Section 3.1. When we wish to think of points algebraically, as prime ideals in rings, then we use Fraktur letters. Thus $\mathfrak{p}_{\gamma}\subseteq\Bbbk[G]$ is the prime ideal corresponding to the point $\gamma\in G$. For any prime ideal $\mathfrak{p}$, its residue field is written $\kappa_{\mathfrak{p}}$. If $\mathfrak{p}=\mathfrak{p}_{\xi}$, say, then we also write $\kappa_{\xi}=\kappa_{\mathfrak{p}_{\xi}}$.

Acknowledgments

We are grateful to the Mathematical Society of Japan for hosting its 8th Seasonal Institute in Osaka, “Current trends on Gröbner bases” and inviting two of us (MM and EM) in July, 2015; this work originated with questions raised there in discussions with Thomas Kahle. We thank the Italian Istituto Nazionale di Alta Matematica for sponsoring the meeting on “Homological and computational methods in commutative algebra” in honor of Winfried Bruns’s 70th birthday in Cortona, June 2016; that remains the sole instance when all three of us were physically in the same location. We are grateful to the European Mathematical Society and the Foundation Compositio Mathematica for supporting the 24th National School on Algebra and EMS Summer School on Multigraded Algebra and Applications, where two of us (LK and EM) had extended discussions. Further, we thank the Research Institute for Mathematical Sciences (RIMS) and the Kyoto University for hosting the meeting on “Computational Commutative Algebra and Convex Polytopes” in August 2016, which again gave two of us (LK and MM) the opportunity for discussions. EM is grateful to the Max Planck Institute für Mathematik in den Naturwissenschaften in Leipzig, Germany for funding a stay that largely pushed this work to conclusion. MM was supported by Polish National Science Centre grant no. UMO-2016/22/E/ST1/00574 and the Foundation for Polish Science (FNP). LK was funded by the German Research Foundation (DFG), grant no. KA 4128/2-1.

2. Algorithms for families of schemes

Generally speaking, our algorithms are aimed at schemes over groups, thought of as families of schemes (or ideals) parametrized by the group. But many of our results hold over more arbitrary base schemes; we phrase those in terms of a commutative $\Bbbk$-algebra $S$. The polynomial ring $S[\mathbf{x}]$, where $\mathbf{x}=x_{1},\dots,x_{n}$ denotes the sequence of variables, has spectrum $\mathbb{A}^{n}_{S}=\mathbb{A}^{n}\times\operatorname{Spec}S$, the affine space of dimension $n$ over (the spectrum of) $S$. An ideal $J\subseteq S[\mathbf{x}]$ corresponds to a subscheme $X\subseteq\mathbb{A}^{n}_{S}$, usually thought of as a family of subschemes of $\mathbb{A}^{n}=\mathbb{A}^{n}_{\Bbbk}$ parametrized by (the $\Bbbk$-valued points of) $\operatorname{Spec}S$, or as a family of ideals of $\Bbbk[\mathbf{x}]$. But if $\mathfrak{p}$ is any prime ideal of $S$, maximal or not, then the ideal defining the fiber $X_{\mathfrak{p}}\subseteq\mathbb{A}^{n}_{\mathfrak{p}}$ over $\mathfrak{p}$ is a specialization of $J$, namely the extension $J\kappa_{\mathfrak{p}}[\mathbf{x}]$ of $J$ to the polynomial ring over the residue field $\kappa_{\mathfrak{p}}=S_{\mathfrak{p}}/\mathfrak{p}S_{\mathfrak{p}}$ of $\mathfrak{p}$.

2.1. Constructible sets

Let $S$ be a commutative $\Bbbk$-algebra. A subset of $\operatorname{Spec}S$ is constructible if it is a finite union

[TABLE]

where each $U_{i}\subseteq\operatorname{Spec}S$ is open and each $C_{i}\subseteq\operatorname{Spec}S$ is closed. We assume access to algorithms that

compute unions and intersections of constructible sets, and 2. 2.

determine whether a constructible set is empty.

See [BM16], for example.

The following is used in the proof of Theorem 2.5.

Lemma 2.1**.**

Let $S$ be a commutative $\Bbbk$-algebra. For any $n\times m$-matrix $A$ with entries in $S$ and column vector $b\in S^{m}$, the set of primes $\mathfrak{p}\subseteq\operatorname{Spec}S$ such that the system $Ax=b$ of linear equations has a solution over the residue field $\kappa_{\mathfrak{p}}$ is constructible in $\operatorname{Spec}S$. If $A$ has the same rank over every prime $\mathfrak{p}\in\operatorname{Spec}S$, then this set is closed.

Proof.

Let $A^{\prime}$ be the matrix obtained by appending the column $b$ to $A$. For fixed $\mathfrak{p}$, the equation $Ax=b$ is solvable over $\kappa_{\mathfrak{p}}$ if and only if $A^{\prime}$ has the same rank as $A$ over $\kappa_{\mathfrak{p}}$.

Let $U_{i}$ and $U_{i}^{\prime}$ be the subsets of $\operatorname{Spec}S$ where $A$ and $A^{\prime}$ have rank at most $i$, respectively. As $\operatorname{rank}A^{\prime}\geq\operatorname{rank}A$ in any case, the set of primes where the system is solvable is

[TABLE]

Each $U_{i}$ and $U_{i}^{\prime}$ is closed, being the zero set of some minors, so this set is constructible.

Finally, if the rank of $A$ is constant, say $\operatorname{rank}(A)=r$, then the system is solvable exactly over $U^{\prime}_{r}$, which is closed. ∎

Example 2.2**.**

The linear equation $t\cdot x=1$ over $S=\Bbbk[t]$ is solvable if and only if $t\neq 0$, so this locus need not be closed when the rank of $A$ in Lemma 2.1 varies.

For the sake of completeness we recall an algebraic version of Baire’s theorem needed in the proof of Lemma 2.4, which is in turn used in the proof of Proposition 4.6.

Theorem 2.3** (Baire’s Theorem).**

No irreducible scheme $X$ of finite type over an uncountable field $\Bbbk$ is, as a topological space, a countable union of closed proper subsets.

Proof.

As only the topology is in play, there is no harm in assuming that all of the schemes involved are reduced. Intersecting each subset in such a union $\bigcup_{i=1}^{\infty}Z_{i}$ with the members of an affine open cover reduces to the case where $X$ is affine. Hence $X$ is a closed subscheme of $\mathbb{A}^{n}$, and its coordinate ring is a domain because it is reduced and irreducible. Noether normalization therefore reduces to the case $X=\mathbb{A}^{n}$, because it guarantees a finite surjective morphism to $\mathbb{A}^{\dim X}$ while preserving the fact that each $Z_{i}$ is a closed proper subset.

The goal is to show that $\bigcup_{i=1}^{\infty}Z_{i}$ is a proper subset of $\mathbb{A}^{n}$ given that each $Z_{i}$ is a proper closed subset. The proof is by induction on $n$, the case $n=1$ following from the uncountability of $\Bbbk$. Let $H$ be a hyperplane that contains none of the (countably many) irreducible components of the $Z_{i}$; such an $H$ exists—simplest is to choose it parallel to some given hyperplane—because $\Bbbk$ is uncountable. The induction is concluded by noting that $H\cap Z_{i}$ is a proper closed subscheme of $H$ for all $i$, so $H\neq\bigcup_{i=1}^{\infty}H\cap Z_{i}$. ∎

Lemma 2.4**.**

If the field $\Bbbk$ is uncountable, then no countably infinite union of disjoint nonempty constructible sets is constructible.

Proof.

Let $U=\bigcup_{i=1}^{\infty}Z_{i}$ be the union of disjoint nonempty constructible sets $Z_{i}$. The proof is inductive on $\dim{\overline{U}}$, the case $\dim{\overline{U}}=0$ being trivial.

For contradiction, suppose $U$ is a finite union of intersections $C_{j}\cap O_{j}$ of closed irreducible sets $C_{j}$ and open sets $O_{j}$. One of the intersections, say $C_{1}\cap O_{1}$, must intersect infinitely many $Z_{i}$ nontrivially. Let $Z_{i}^{\prime}:=Z_{i}\cap C_{1}$. Then $C_{1}=(C_{1}\smallsetminus O_{1})\cup\bigcup_{i=1}^{\infty}Z_{i}^{\prime}$. Theorem 2.3 implies that one of the sets $Z_{i}^{\prime}$ must equal $C_{1}$. But this contradicts the hypothesis that the $Z_{i}$ are disjoint and infinitely many of them intersect $C_{1}$. ∎

2.2. The locus of fiber containment

For two schemes fibered over a fixed base scheme $B$, the methods in later sections rely on an ability to compute the locus of points in $B$ where the fibers of the first scheme are contained in the fibers of the second one. In an affine setting, this locus is described by the Theorem 2.5. For terminology, a ring is connected if it has no nontrivial idempotents—or equivalently, if its spectrum is connected. For a polynomial $f$ of total degree $d$ in variables $\mathbf{x}=x_{1},\dots,x_{n}$, its homogenization is the homogeneous polynomial

[TABLE]

of degree $d$ in $\mathbf{\tilde{x}}=x_{0},\dots,x_{n}$ that yields $f$ when $x_{0}$ is set equal to $1$. The homogenization of an ideal $I$ in a polynomial ring with variables $\mathbf{x}$ is the ideal ${\widetilde{I}}$ in the polynomial ring in $\mathbf{\tilde{x}}$ generated by $\{{\widetilde{f}}\mid f\in I\}$.

Theorem 2.5**.**

Let $S$ be a connected commutative $\Bbbk$-algebra. If $I_{1},I_{2}\subseteq S[\mathbf{x}]$ are two ideals, then the set of points $\{\mathfrak{p}\in\operatorname{Spec}S\mid I_{1}\kappa_{\mathfrak{p}}[\mathbf{x}]\subseteq I_{2}\kappa_{\mathfrak{p}}[\mathbf{x}]\}$ is constructible in $\operatorname{Spec}S$. If the quotient $S[\mathbf{\tilde{x}}]/{\widetilde{I}}_{2}$ by the homogenization ${\widetilde{I}}_{2}$ is flat over $S$, then this set is closed.

Proof.

Let $f_{1},\dots,f_{r}$ generate $I_{1}$. Then $I_{1}\kappa_{\mathfrak{p}}\subseteq I_{2}\kappa_{\mathfrak{p}}$ if and only if $I_{1}S_{\mathfrak{p}}[\mathbf{x}]+\mathfrak{p}S_{\mathfrak{p}}[\mathbf{x}]\subseteq I_{2}S_{\mathfrak{p}}[\mathbf{x}]+\mathfrak{p}S_{\mathfrak{p}}[\mathbf{x}]$, and this is in turn equivalent to $f_{i}\in I_{2}S_{\mathfrak{p}}[\mathbf{x}]+\mathfrak{p}S_{\mathfrak{p}}[\mathbf{x}]$ for all $i$. Therefore it suffices to treat the case where $I_{1}$ is principal, say $I_{1}=\langle f\rangle$.

Observe that $f\in I_{2}S_{\mathfrak{p}}[\mathbf{x}]+\mathfrak{p}S_{\mathfrak{p}}[\mathbf{x}]$ if and only if ${\widetilde{f}}\in{\widetilde{I}}_{2}S_{\mathfrak{p}}[\mathbf{\tilde{x}}]+\mathfrak{p}S_{\mathfrak{p}}[\mathbf{\tilde{x}}]$. Suppose that ${\widetilde{I}}_{2}$ is generated by the homogeneous polynomials $q_{1},\dots,q_{r}\in S[\mathbf{\tilde{x}}]$ with degrees $d_{1},\dots,d_{r}$, and let $d=\deg f$. Consider the ansatz:

[TABLE]

The coefficients $c_{i,\mathbf{a}}$ are considered as new unknowns, so Equation 1 can be regarded as a system of linear equations for the $c_{i,\mathbf{a}}$ with coefficients in $S$. By construction, ${\widetilde{f}}\in{\widetilde{I}}_{2}S_{\mathfrak{p}}[\mathbf{\tilde{x}}]+\mathfrak{p}S_{\mathfrak{p}}[\mathbf{\tilde{x}}]$ if and only if this system has a solution modulo $\mathfrak{p}$. Hence, the desired constructibility follows from Lemma 2.1.

Now assume that $S[\mathbf{\tilde{x}}]/{\widetilde{I}}_{2}$ is flat over $S$. Then the Hilbert function of $S[\mathbf{\tilde{x}}]/{\widetilde{I}}_{2}\otimes_{S}\kappa_{\mathfrak{p}}=\kappa_{\mathfrak{p}}[\mathbf{\tilde{x}}]/{\widetilde{I}}_{2}\kappa_{\mathfrak{p}}$ is locally constant as a function of $\mathfrak{p}$ [Eis95, Ex 20.14], so it does not depend on $\mathfrak{p}$ at all because $S$ is connected. The short exact sequence

[TABLE]

implies that the Hilbert function of ${\widetilde{I}}_{2}\kappa_{\mathfrak{p}}$ also does not depend on $\mathfrak{p}$. But the value of this Hilbert function in degree $d$ is the rank of the matrix on right-hand side of Equation 1 at $\mathfrak{p}$. Hence the closedness claim follows from the last part of Lemma 2.1. ∎

Definition 2.6**.**

The constructible set in Theorem 2.5 is the containment locus for $I_{1}$ in $I_{2}$ (or for $X_{2}$ in $X_{1}$, where $I_{i}=I(X_{i})$). Its intersection with the containment locus for $I_{2}$ in $I_{1}$ is the coincidence locus of $I_{1}$ and $I_{2}$ (or of $X_{1}$ and $X_{2}$).

Example 2.7**.**

The loci considered in Theorem 2.5 need not be closed. Indeed, let $S=\Bbbk[s,t]$ and $I_{1},I_{2}\subseteq S[x]$ be defined by $I_{1}=\langle x\rangle$ and $I_{2}=\langle sx-t\rangle$. Geometrically, $V(I_{1})$ is just the $st$-plane, while $V(I_{2})$ is the affine part of a blow-up of this plane at the origin. The fibers coincide exactly when $t=0$ and $s\neq 0$.

Example 2.8**.**

The flatness hypothesis in Theorem 2.5 is on ${\widetilde{I}}_{2}$ and not simply on $I_{2}$ because flatness of $S[\mathbf{x}]/I$ over $S$ does not imply that the homogenization $S[\mathbf{\tilde{x}}]/{\widetilde{I}}$ is flat over $S$. Take $S=\Bbbk[a,b]$ and $I=\langle ax-1,by-1\rangle\subseteq S[x,y]$. Then $S[x,y]/I\cong S[a^{-1},b^{-1}]$ is flat over $S$ because it is a localization of $S$. But the homogenization of $I$ is ${\widetilde{I}}=\langle ax-z,by-z\rangle$, and $S[x,y,z]/{\widetilde{I}}=\Bbbk[a,b,x,y]/\langle ax-by\rangle$, which fails to be flat over the $ab$-plane for the same reason that $(a,b)$ fails to be a regular sequence.

We now present an algorithmic version of Theorem 2.5.

Algorithm 2.9**.**

Compute the containment locus for two families over same base

• **Input: **

ideals $I_{1},I_{2}\subseteq S[\mathbf{x}]$ of families over a commutative $\Bbbk$-algebra $S$

• **Output: **

containment locus for $I_{1}$ in $I_{2}$ as \bigcap_{i=1}^{k}\bigcup_{j=1}^{\ell_{i}}\big{(}V(J^{\prime}_{ij})\smallsetminus V(J_{ij})\big{)} for $J^{\prime}_{ij},J_{ij}\subseteq S$

• define 

• $f_{1},\dots,f_{k}$ generators of $I_{1}$, with homogenizations ${\widetilde{f}}_{1},\dots,{\widetilde{f}}_{k}$

• $q_{1},\dots,q_{r}$ generators of the homogenization ${\widetilde{I}}_{2}$, with degrees $d_{1},\dots,d_{r}$

• while 

$1\leq i\leq k$ do

• define 

• $d:=\deg f_{i}$

• variables $c_{j,\mathbf{a}}$ for $j\in\{1,\dots,r\}$ and \{\mathbf{a}\in\mathbb{N}^{n+1}\,\big{|}\,|\mathbf{a}|=d-d_{j}\}

• $L$, the system ${\widetilde{f}}_{i}=\sum_{j=1}^{r}\sum_{\begin{subarray}{c}\mathbf{a}\in\mathbb{N}^{n+1}\\ |\mathbf{a}|=d-d_{j}\end{subarray}}c_{j,\mathbf{a}}\mathbf{x}^{\mathbf{a}}q_{j}$ of linear equations

indexed by monomials of degree $d$ and

• *

with coefficients in $S$

• matrix $A$ with coefficients in $S$ to represent $L$
• vector $b$ with coefficients in $S$ to represent ${\widetilde{f}}_{i}$ (so $L$ is given by $A\mathbf{c}=b$)
• $A^{\prime}:={[A|b]}$, the matrix obtained by appending the column $b$ to $A$
• $J^{\prime}_{ij}:=$ ideal of size $j$ minors of $A^{\prime}$, for $1\leq j\leq\ell_{i}=$ size of $A^{\prime}$
• $J_{ij}:=$ ideal of size $j-1$ minors of $A$ for the same values of $j$
• Z_{i}:=\bigcup_{j}\big{(}V(J^{\prime}_{ij})\smallsetminus V(J_{ij})\big{)}
• end 

while-do

• return 

$\displaystyle Z=\bigcap_{i=1}^{k}Z_{i}$ defined by the ideals $J^{\prime}_{ij},J_{ij}\subseteq S$ as \displaystyle Z_{i}=\bigcup_{j}\big{(}V(J^{\prime}_{ij})\smallsetminus V(J_{ij})\big{)}

2.3. The locus of large fibers

Given a morphism of schemes $X\to B$, we need to compute the locus $B^{\geq d}\subset B$ of fibers of dimension at least $d$. A deterministic algorithm for this task was given by Kemper [Kem07]. The probabilistic algorithm presented here is therefore not theoretically required for algorithms in the rest of paper, but it is much easier to implement and we expect it to run faster. In particular, Algorithm 2.11 has allowed us to compute explicit examples, some of which are presented here.

Note on conventions: Algorithm 2.11 and its proof assume (and implicitly use) that the field $\Bbbk$ is algebraically closed. The engine of the algorithm—and the only interesting part—is the following subroutine that takes a scheme affine over the base as input; it inherits the hypotheses from its parent algorithm where it is applied.

Routine 2.10**.**

(affine case of fiber dim $\geq d$)

• **Input: **

affine morphism $f:X\to B$ of schemes, say $X\subseteq\mathbb{A}^{n}_{B}$

• **Output: **

closure $B^{\geq d}$ of the locus of points in $B$ over which the fiber has dimension $\geq d$

• initialize 

• $B_{0}:=\varnothing$

• $B_{1}:=B$

• $i:=1$

• while 

$B_{i-1}\neq B_{i}$ do

• choose 

random affine subspace $L^{\prime}\subseteq\mathbb{A}_{\Bbbk}^{n}$ of codimension $d$

• define 

• $P:=$ closure of the projection to $B$ of $L^{\prime}\cap X$

• $B_{i+1}:=B_{i}\cap P$

• advance 

$i\leftarrow i+1$

• end 

while-do

• return 

$B_{i}$

Algorithm 2.11**.**

Find locus of big fiber dimension

• **Input: **

integer $d$ and morphism $f:X\to B$ of schemes over algebraically closed field $\Bbbk$

• **Output: **

closure $B^{\geq d}$ of the locus of points in $B$ over which the fiber has dimension $\geq d$

• compute 

open cover $X=\bigcup_{j=1}^{k}X_{j}$ by subschemes $X_{j}$ affine/$B$ (note: $X_{j}$ affine suffices)

• define 

$B^{\leq d}_{j}:=$ affine case of fiber dim $\geq d$ applied to $X_{j}$ for $j=1,\dots,k$

• return 

$B^{\leq d}_{1}\cup\dots\cup B^{\leq d}_{k}$

Proposition 2.12**.**

Algorithm 2.11 is correct.

Proof.

It suffices to prove Routine 2.10 works on an affine morphism because a fiber is large if and only if it is large in (at least) one member of an open cover of the source. So assume $X\subseteq\mathbb{A}^{n}_{B}$. Fix an irreducible component $Z$ of $B^{\geq d}$.

Claim**.**

For a general point $z\in Z$ and a general affine subspace $L\subseteq\mathbb{A}^{n}$ of codimension $d$, the fiber $f^{-1}(z)$ intersects $L$.

Proof of the claim.

This is deduced by taking closures in projective space, where subvarieties of complementary dimension always intersect. Of course the projective closure of $L$ is only guaranteed to intersect the projective closure of the fiber, but the difference between an affine algebraic subset and its projective closure has lower dimension. ∎

The claim implies that $L^{\prime}\cap X$ in Routine 2.10 contains general points of $Z$, so $B^{\geq d}\subseteq B_{i}$.

It remains to prove that the output $B_{i}$ cannot be strictly bigger. Consider a component $Q$ of any $B_{i}$ (not necessarily the output one). Assume the fiber over a general point of $Q$ has dimension smaller than $d$. To finish, we have to prove that $B_{i+1}\neq B_{i}$. Consider a fiber $F$ over a general point $q\in Q$. Since $\dim F<d$, a general subspace of codimension $d$ in $\mathbb{P}^{n}$ fails to meet the closure of $F$ in $\mathbb{P}^{n}$, and this remains true in a neighborhood of $q$. Thus the general point of $Q$ is not in the projection of $L^{\prime}\cap X$. Hence $Q$ is not a component of $B_{i+1}$. ∎

Remark 2.13**.**

The algorithms in this paper do not assume that constructible sets are presented using radical ideals. In particular, the algorithm outputs might not be radical ideals. However, when comparing two constructible sets to discover containment or equality, it is sometimes simplest to take radicals. In the case of Routine 2.10, radicals could be used (this occurs explicitly in Example 5.3, which uses Algorithm 2.11); but for us it was faster to first run the subroutine a few times—with different linear forms—without computing radicals, and only later compare sets by computing radicals.

3. Detecting big group actions and multigradings

3.1. Group actions and families

Let $G$ be an algebraic group (over $\Bbbk$, as always), acting on affine $n$-space $\mathbb{A}^{n}$ over $\Bbbk$. The action is a morphism $\alpha:G\times\mathbb{A}^{n}\to\mathbb{A}^{n}$, and it is assumed to be a left action, so $\gamma.(\gamma^{\prime}.\xi)=(\gamma\gamma^{\prime}).\xi$ for points $\gamma,\gamma^{\prime}\in G$ and $\xi\in\mathbb{A}^{n}$ over $\Bbbk$.

The geometric action on $\mathbb{A}^{n}$ is equivalent to an algebraic action on $\Bbbk[\mathbf{x}]$; for $\gamma\in G$ and $f\in\Bbbk[\mathbf{x}]$, the function $f.\gamma$ sends $\xi\mapsto f(\gamma.\xi)$ for all $\xi\in\mathbb{A}^{n}$. More formally, $\alpha$ induces a ring homomorphism $\alpha^{*}:\Bbbk[\mathbf{x}]\to\Bbbk[G]\otimes\Bbbk[\mathbf{x}]$, where $\Bbbk[G]$ is the coordinate ring of $G$ (not its group algebra over $\Bbbk$), satisfying the axioms dual to the group action axioms. For any point $\gamma\in G$ let $\operatorname{ev}_{\gamma}:\Bbbk[G]\to\kappa_{\gamma}$ be the evaluation map, meaning the algebra morphism corresponding to the inclusion $\{\gamma\}\hookrightarrow G$. Then for a $\Bbbk$-valued group element $\gamma$, the composition $(\operatorname{ev}_{\gamma}\otimes\operatorname{id})\circ\alpha^{*}$ gives a map $\alpha^{\dagger}:G\to\operatorname{End}(\Bbbk[\mathbf{x}],\Bbbk[\mathbf{x}])$, and $f.\gamma=\alpha^{\dagger}(\gamma)(f)$. For any ideal $I\subseteq\Bbbk[\mathbf{x}]$ and point $\gamma\in G$ over $\Bbbk$, set $I.\gamma=\{f.\gamma\mid f\in I\}$.

In the setting of schemes over $G$, the crucial families are the orbits. To define them, one more bit of general notation helps: for any two schemes $X$ and $B$ over $\Bbbk$, write $X_{B}=B\times X$ and consider it as a family over $B$. The reader will lose little by thinking always of $B=G$, as in the following definition.

Definition 3.1**.**

The orbit morphism is $\omega:=\pi_{G}\times\alpha:\mathbb{A}^{n}_{G}\to\mathbb{A}^{n}_{G}$, where $\pi_{G}$ is the projection to $G$. If $X\subseteq\mathbb{A}^{n}$ is a subscheme, then its orbit is $\mathcal{O}_{G}X=\omega(X_{G})$.

Remark 3.2**.**

On $\Bbbk$-valued points, the orbit morphism is $(\gamma,\xi)\mapsto(\gamma,\gamma.\xi)$. Geometrically, the orbit of $X$ is a family over $G$ whose fibers are the translates of $X$ by group elements. The terminology comes from the case where $X$ is a point $\xi$, because the projection of $\mathcal{O}_{G}\xi$ to $\mathbb{A}^{n}$ is indeed the $G$-orbit of $\xi$.

More formally, if $X\subseteq\mathbb{A}^{n}$ is a subscheme, then $\gamma.X$ is the fiber of $\mathcal{O}_{G}X$ over $\gamma\in G$. Algebraically, $X$ is defined by an ideal $I\subseteq\Bbbk[\mathbf{x}]$, and $\mathcal{O}_{G}X$ is defined by the ideal $J\subseteq S[\mathbf{x}]$, where $S=\Bbbk[G]$ and $J=(\omega^{*})^{-1}(I)$. The ideal $I.\gamma^{-1}$ defining the subscheme $\gamma.X$ of the affine space $\mathbb{A}^{n}_{\gamma}$ over the residue field $\kappa_{\gamma}$ is a specialization of $J$, namely the extension $J\kappa_{\gamma}[\mathbf{x}]$ of $J$ to the polynomial ring over the residue field of $\gamma$.

Remark 3.3**.**

Images of ideals are much easier to compute than preimages. Therefore, in order to compute the ideal $J$ above in a concrete case, it might be a good idea to first compute the inverse map of $\omega$, which amounts to computing the map $\gamma\mapsto\gamma^{-1}$ on $G$, and then obtain $J$ as push-forward of $I$ along that map.

The locus where an orbit is contained in any given family is always closed.

Corollary 3.4**.**

If a subscheme $X\subseteq\mathbb{A}^{n}$ is given and $X_{2}$ is the constant family $X_{G}$ or orbit $\mathcal{O}_{G}X$, then the containment locus of $X_{2}$ in $X_{1}$ is closed for any family $X_{1}$ over $G$.

Proof.

The homogenization of a trivial family is trivial and hence flat; therefore the $X_{G}$ case follows immediately from Theorem 2.5. The $\mathcal{O}_{G}X$ case follows by first applying the inverse $\omega^{-1}$ of the orbit morphism, then applying the $X_{G}$ case, and then applying $\omega$. ∎

Remark 3.5**.**

Neither Corollary 3.4 nor its proof claims that the homogenization of an orbit must necessarily be flat over the group; that is, we do not require (or claim) that homogenizations of orbits satisfy the flatness hypothesis in Theorem 2.5. But inverse multiplication brings an orbit into a position where flatness does hold, and hence the closedness conclusion follows even if the flatness hypothesis does not.

3.2. Finding big group actions

In this section, $T$ is an algebraic group acting on affine space via a map $\beta:T\times\mathbb{A}^{n}\to\mathbb{A}^{n}$. We are interested in finding those elements of $G$ which make a given subscheme $X\subseteq\mathbb{A}^{n}$ invariant under $T$, or invariant under a subgroup of $T$ whose dimension is as big as possible. For terminology, we say that a group acting on a space stabilizes a subspace if the subspace is preserved by the action (not necessarily pointwise); in contrast, we say that the group fixes a subspace if every point in the subspace is fixed by the group action.

Example 3.6**.**

Let $T=(\Bbbk^{*})^{n}$ be the $n$-dimensional torus acting diagonally on $\mathbb{A}^{n}$. If $X\subseteq\mathbb{A}^{n}$ is a subvariety (reduced irreducible subscheme) such that for some $\gamma\in G$ the subvariety $\gamma.X\subseteq\mathbb{A}^{n}$ is stabilized by a subtorus $T^{\prime}\subset T$ with $\dim T^{\prime}=\dim X$, then by some definitions $\gamma.X$ is already toric, and by others it becomes so after further rescaling the variables [ES96, Corollary 2.6]. In the latter case, $\gamma^{\prime}.X$ is toric for some other $\gamma^{\prime}\in G$ if $G\supseteq T$. (Yet other definitions require $X$ to be normal; we do not.)

We start with the following useful lemma.

Lemma 3.7**.**

The stabilizer of any ideal $I\subseteq\Bbbk[\mathbf{x}]$ is a closed subgroup of $T$.

Proof.

For the scheme $X\subseteq\mathbb{A}^{n}$ defined by $I$, the containment loci both for $X_{T}$ in $\mathcal{O}_{T}X$ and for $\mathcal{O}_{T}X$ in $X_{T}$ are closed by Corollary 3.4, so their coincidence locus is closed. ∎

Remark 3.8**.**

The two containment loci in the proof of Lemma 3.7 are in fact equal, because $I.\tau\subseteq I\Rightarrow I.\tau=I$ for $\tau\in T$. Indeed, $I.\tau\subsetneq I$ implies $I.\tau^{i}\subsetneq I.\tau^{i-1}$ for all $i\in\mathbb{Z}$ (including negative $i$), contradicting the noetherian property of $\Bbbk[\mathbf{x}]$.

If a subgroup $T^{\prime}\subseteq T$ stabilizes a subscheme $X\subseteq\mathbb{A}^{n}$, then the action of $T$ restricts to an action of $T^{\prime}$ on $X$. We now consider the question for which $\gamma\in G$ there is a large subgroup of $T$ stabilizing $\gamma.X$.

Proposition 3.9**.**

Let $X\subseteq\mathbb{A}^{n}$ be a closed subscheme. Let further $G^{\prime}\subseteq G$ be the locus of those $\gamma\in G$ where the dimension of the stabilizer subgroup $T(\gamma.X)\subseteq T$ is maximal. Then $G^{\prime}$ is closed.

Proof.

Let $Y\subseteq T\times G$ be the coincidence locus for $\mathcal{O}_{T}(\mathcal{O}_{G}X)$ and $(\mathcal{O}_{G}X)_{T}$, viewed as schemes over $T\times G$. The fiber $Y_{\gamma}$ of $Y$ over $\gamma\in G$ is the stabilizer $T(\gamma.X)$ of $X$ in $T$. The subset $Y\subseteq T\times G$ is closed by Corollary 3.4, and $G^{\prime}$ is the locus of points $\gamma\in G$ such that $Y_{\gamma}$ has maximal dimension.

If $d(\gamma)=\dim Y_{\gamma}$ then $d(\gamma)$ is the local dimension of $Y_{\gamma}$ at $\tau$ for all $\tau\in Y_{\gamma}$, in particular at $\tau=1_{T}$, because $Y_{\gamma}$ is a subgroup of $T$. Upper semicontinuity of fiber dimension locally on the source [Gro66, 13.1.3] implies that the subset $Z\subseteq Y$ with maximal local fiber dimension is closed in $Y$. Therefore $1_{T}\times G^{\prime}=Z\cap(1_{T}\times G)$ is closed in the identity section $1_{T}\times G$. The result follows because $G\to 1_{T}\times G$ is an isomorphism. ∎

Example 3.10**.**

Proposition 3.9 says that stabilizer dimensions for fibers of orbits $\mathcal{O}_{G}X_{G}$ are upper semicontinuous. In contrast, semicontinuity can fail for families that are not orbits. The simplest instance has $T=\Bbbk^{*}$, $S=\Bbbk[s]$, and $I=\langle sx,x(x-1)\rangle\subset S[x]$. Then $V(I)$ is the union of the $s$-axis with the point $(0,1)$. So for $s\neq 0$, $V(I)$ is stable under $T$, while for $s=0$ it is only stable under the trivial subgroup of $T$. Thus, the locus where the stabilizer has maximal dimension is not closed.

Algorithm 3.11**.**

Act to make stabilizing subgroup of maximal dimension

• **Input: **

• two algebraic groups $T$ and $G$ acting on $\mathbb{A}^{n}$

• a closed subscheme $X\subset\mathbb{A}^{n}$

• **Output: **

the closed set $G^{\prime}\subseteq G$ such that for any $\gamma\in G^{\prime}$ the dimension of the subgroup of $T$ stabilizing $\gamma.X$ is maximal

• compute 

• $X_{1}:=\mathcal{O}_{T}(\mathcal{O}_{G}X_{G})$

• $X_{2}:=(\mathcal{O}_{G}X_{G})_{T}$

• coincidence locus $Y\!\subseteq T\times G$ for $X_{1}$ and $X_{2}$ (Algorithm 2.9; see also Remark 3.8)

• maximal fiber dimension locus $G^{\prime}\subseteq G$ for $Y\to G$ (Algorithm 2.11)

• return 

$G^{\prime}$

3.3. Finding multigradings

A $\mathbb{Z}^{r}$-multigrading on $\Bbbk[\mathbf{x}]$ is specified by $n$ vectors $\mathbf{a}_{1},\dots,\mathbf{a}_{n}\in\mathbb{Z}^{r}$ to serve as degrees of the variables: $\deg x_{i}=\mathbf{a}_{i}$. The multigrading is faithful if $\mathbf{a}_{1},\dots,\mathbf{a}_{n}$ generate $\mathbb{Z}^{r}$.

Remark 3.12**.**

Details on multigraded algebra in general can be found in [MS05, Chapter 8]. A $\mathbb{Z}^{r}$-multigrading on $\Bbbk[\mathbf{x}]$ corresponds uniquely to the action on $\Bbbk^{n}$ of the $r$-torus $(\Bbbk^{*})^{r}$. (References for this are hard to locate. An exposition appears in Appendix A.1 of the first arXiv version of [KM05], at http://arxiv.org/abs/math/0110058v1.) An abelian group homomorphism $\mathbb{Z}^{n}\to\mathbb{Z}^{r}$ sending the standard basis to $\mathbf{a}_{1},\dots,\mathbf{a}_{n}$ corresponds (by applying the $\operatorname{Hom}_{\mathbb{Z}}(-,\Bbbk^{*})$ functor) to an algebraic group homomorphism $(\Bbbk^{*})^{r}\to(\Bbbk^{*})^{n}$ that is injective precisely when the multigrading is faithful. The assertion that $\deg x_{i}=\mathbf{a}_{i}$ means that the $j^{\mathrm{th}}$ generator $\tau_{j}$ of the $r$-torus acts on $x_{i}$ by $x_{i}.\tau_{j}=\tau_{j}^{a_{ij}}x_{i}$. Geometrically speaking, multigraded (i.e., homogeneous) ideals correspond to subschemes of $\Bbbk^{n}$ that carry $(\Bbbk^{*})^{m}$-actions.

The following is the detailed algebraic phrasing of Algorithm 3.11 when $T$ is the standard algebraic $n$-torus acting diagonally on $\Bbbk^{n}$.

Algorithm 3.13**.**

Act to find a faithful multigrading of maximal rank

• **Input: **

• an ideal $I\subset\Bbbk[\mathbf{x}]$

• a morphism $\omega^{*}:\Bbbk[G]\otimes\Bbbk[\mathbf{x}]\to\Bbbk[G]\otimes\Bbbk[\mathbf{x}]$

• **Output: **

• an element $\gamma\in G$,

• a nonnegative integer $r$, and

• vectors $\mathbf{a}_{1},\dots,\mathbf{a}_{n}\in\mathbb{Z}^{r}$ defining a faithful multigrading that makes $I.\gamma$ homogeneous and $r$ as big as possible

• define 

• $R:=\Bbbk[t_{1}^{\pm},\dots,t_{n}^{\pm}]=\Bbbk[T]$, the Laurent polynomial ring

• $\beta^{*}:\Bbbk[\mathbf{x}]\to R\otimes\Bbbk[\mathbf{x}]$, the algebra map specified by $x_{i}\mapsto x_{i}t_{i}$ for $1\leq i\leq n$

• I_{1}:=(\operatorname{id}\otimes\beta^{*})\big{(}(\omega^{*})^{-1}(I)\big{)}\subseteq R\otimes\Bbbk[G]\otimes\Bbbk[\mathbf{x}]

• $I_{2}:=(\omega^{*})^{-1}(I)R\subseteq R\otimes\Bbbk[G]\otimes\Bbbk[\mathbf{x}]$

• compute 

• coincidence locus $Y\subseteq\operatorname{Spec}(\Bbbk[G]\otimes R)$ of $I_{1}$ and $I_{2}$ (Algorithm 2.9)

• maximal fiber dimension locus $G^{\prime}\subseteq G$ for $Y\to G$ (Algorithm 2.11)

• any point $\gamma\in G^{\prime}$

• generators for the kernel $J_{\gamma}$ of $R\to\Bbbk[Y_{\gamma}]$ (a binomial ideal [ES96, Thm. 2.1])

• a basis for $\mathbb{Z}^{n}/L$, where $L=\langle\mathbf{a}-\mathbf{b}\mid\mathbf{t}^{\mathbf{a}}-\mathbf{t}^{\mathbf{b}}\text{ is a generator of }J_{\gamma}\rangle$

• return 

• group element $\gamma^{-1}\in G$,

• integer $r:=n-\operatorname{rank}(L)$, and

• $n$ images of standard basis elements in $\mathbb{Z}^{n}/L$ expressed in the computed basis

4. Detecting binomial and unital ideals

This section presents algorithms to decide whether $I\subseteq\Bbbk[\mathbf{x}]$ can be made binomial or unital by an automorphism of $\Bbbk[\mathbf{x}]$. Let us recall the relevant definitions.

Definition 4.1**.**

A binomial is a polynomial $\mathbf{x}^{\mathbf{a}}-\lambda\mathbf{x}^{\mathbf{b}}$ for some $\lambda\in\Bbbk$ and $\mathbf{a},\mathbf{b}\in\mathbb{N}^{n}$. An ideal in $\Bbbk[\mathbf{x}]$ is

binomial if it is generated by binomials, and 2. 2.

unital (cf. [KM14]) if it is generated by monomials and differences of monomials, meaning binomials $\mathbf{x}^{\mathbf{a}}-\lambda\mathbf{x}^{\mathbf{b}}$ with $\lambda\in\{0,1\}$. 3. 3.

toric if it is unital and prime.

4.1. Algorithm to locate binomial models

We start by recalling the construction of comprehensive Gröbner bases [Wei92, MW10] and adapting it to our case. Let $S$ be a domain which is a commutative $\Bbbk$-algebra and let $I\subseteq S[\mathbf{x}]$ be an ideal. Fix any term order. Buchberger’s algorithm for $I$ over the generic point—that is, in the polynomial ring $\kappa_{0}[\mathbf{x}]$ over the fraction field $\kappa_{0}$ of $S$—finds a reduced Gröbner basis. It finishes in a finite number of steps. In step $i$ of the algorithm, one needs to assume that a leading coefficient $f_{i}\in S$ is nonzero. The output of the algorithm is a finite set of functions $g_{j}\in I$. Consider the ideal J=\big{\langle}\prod_{i}f_{i}\big{\rangle}\subseteq S. We claim that over any point $\mathfrak{p}\in\operatorname{Spec}S\smallsetminus V(J)$, the reduction of $g_{j}$ is the reduced Gröbner basis for the reduction of $I$. Indeed, over such a point the usual Buchberger algorithm makes exactly the same steps as the algorithm run over the generic point. Repeating the procedure for each irreducible component of $V(J)$ yields:

• •

a partition of $\operatorname{Spec}S$ into irreducible, relatively open sets $U_{i}$; and

• •

for each $U_{i}$ a finite set of polynomials $g_{ij}$ in $I$ that specializes over any point of $U_{i}$ to a reduced Gröbner basis of the reduction of $I$.

We call this data structure a relative reduced Gröbner basis.

The following algorithm forces all coefficients except for the leading coefficient and (at most) one other to be [math]; more precisely, it computes the locus where this is possible. The result is the binomial locus because an ideal is binomial if and only if some (equivalently, every) reduced Gröbner basis consists of binomials [ES96, Corollary 1.2].

Algorithm 4.2**.**

Find the locus of binomial fibers

• **Input: **

• commutative $\Bbbk$-algebra $S$ that is an integral domain

• ideal $I\subseteq S[\mathbf{x}]$

• **Output: **

constructible subset $Z\subseteq\operatorname{Spec}S$ such that $I\kappa_{\mathfrak{p}}[\mathbf{x}]$ is binomial precisely for $\mathfrak{p}\in Z$

• compute 

relative reduced Gröbner basis $\{(U_{i},(g_{ij})_{j})\mid i=1,\dots,k\}$ of $I$ over $S$

• initialize 

$i=1$

• while 

$i=1,\dots,k$ do

• define 

• $\mathit{NL}_{i}:=\prod_{j}\{$nonleading monomials of $g_{ij}\}$, which is a cartesian product of sets

• ideal $\operatorname{\sf num}F:=\langle$numerator of $f\mid f\in F\rangle\subseteq S$ for any set $F\subseteq\kappa_{0}$ of fractions

• ideal $J_{i\ell}\!:=\!\sum_{j}\operatorname{\sf num}\{$coefficients of $g_{ij}$ neither $\ell_{j}^{\,\,\mathrm{th}}$ nor leading$\}\subseteq S$ for $\ell\in\mathit{NL}_{i}$

• advance 

$i\leftarrow i+1$

• end 

while-do

• return 

$\bigcup_{i=1}^{k}Z_{i}$ for Z_{i}=U_{i}\cap\big{(}\bigcup_{\ell\in\mathit{NL}_{i}}V(J_{i\ell})\big{)}

4.2. Algorithm to locate unital models

It is possible for a group $G$ to have the power to transform a given ideal $I$ into binomial form without $G$ being able to transform $I$ into unital form, even though a larger group $G$ could succeed in making $I$ unital. Trivial examples exist: any principal non-unital binomial ideal with $G=\{1\}$ suffices. But it is even possible for $G$ to contain the entire torus. (See also Example 4.8.)

Example 4.3**.**

Consider the binomial ideal $I=\langle xz,z(z-1),z(y-2),x(x-1),x(y-1)\rangle$. If $z\neq 0$ then the only point in $V(I)$ is $p_{1}=(0,2,1)$, and if $x\neq 0$ then the only point is $p_{2}=(1,1,0)$. The map that fixes $x$ and $y$ but sends $y\mapsto y+z$ makes $I$ unital.

On the other hand, if $\tau\in(\mathbb{C}^{*})^{3}$ then $y(\tau.p_{1})\neq 1$ or $y(\tau.p_{2})\neq 1$. As both cases are analogous, say $y(\tau.p_{1})\neq 1$. Any monomial evaluated on $(0,1,1)$ is either [math] or $1$. Further it is equal to [math] if and only if it is equal to [math] when evaluated on $\tau.p_{1}$. Thus if two monomials are equal when evaluated on $\tau.p_{1}$ then they are also equal when evaluated on $(0,1,1)$. Hence, any unital binomial or monomial that vanishes on $\tau.p_{1}$ vanishes also on $(0,1,1)$. If $I.\tau$ were unital, this would contradict the fact that $\tau.p_{1}$ is the only point with $z\neq 0$.

The main idea of our algorithm is that unital ideals $I$ can be characterized by the fact that the variety $V(I)$ is closed under coordinatewise multiplication. It turns out to be more convenient to work with the algebraic counterpart of the multiplication, which is the diagonal map $\Delta$.

Precisely, let $\Delta:\Bbbk[\mathbf{x}]\to\Bbbk[\mathbf{x}]\otimes_{\Bbbk}\Bbbk[\mathbf{x}]$ be the algebra homomorphism defined by $\Delta(x_{i})=x_{i}\otimes x_{i}$. This makes $\Bbbk[\mathbf{x}]$ into a bialgebra. The induced map $\Delta^{*}:\mathbb{A}^{n}\times\mathbb{A}^{n}\to\mathbb{A}^{n}$ is the coordinatewise multiplication map.

Proposition 4.4**.**

The following are equivalent for an ideal $I\subseteq\Bbbk[\mathbf{x}]$.

$I$* is unital.* 2. 2.

$I$* is a coideal with respect to $\Delta$; that is, $\Delta(I)\subseteq\Bbbk[\mathbf{x}]\otimes_{\Bbbk}I+I\otimes_{\Bbbk}\Bbbk[\mathbf{x}]$.*

Proof.

The implication “1 $\Rightarrow$ 2” follows from the definitions, because

[TABLE]

The implication “2 $\Rightarrow$ 1” is essentially due to Artin, cf. [ES96, Remark p. 15]. Let us recall the argument.

If $I$ is a coideal, then $\Delta$ induces ${\overline{\Delta}}:\Bbbk[\mathbf{x}]/I\to\Bbbk[\mathbf{x}]/I\otimes_{k}\Bbbk[\mathbf{x}]/I$ compatible with the canonical projection $\pi:\Bbbk[\mathbf{x}]\to\Bbbk[\mathbf{x}]/I$. Now suppose that $\pi(m_{0})=\sum_{i=1}^{\ell}\lambda_{i}\pi(m_{i})$ is a relation among classes of monomials with $\ell$ minimal (and hence $\lambda_{i}\neq 0$ for $i>0$).  Then

[TABLE]

As $\ell$ is minimal, the $\pi(m_{i})$ are independent for $i>0$. Hence the $\pi(m_{i})\otimes\pi(m_{j})$ are also independent. But $\lambda_{i}\lambda_{j}\neq 0$ for $i\neq j$, so $\ell=1$ and $\lambda_{1}=\lambda_{1}^{2}$, whence $\lambda_{1}=1$. ∎

Algorithm 4.5**.**

Find the locus of unital fibers

• **Input: **

ideal $I\subseteq S[\mathbf{x}]$

• **Output: **

constructible subset $Z\subseteq\operatorname{Spec}S$ such that $I\kappa_{\mathfrak{p}}[\mathbf{x}]$ is unital precisely for $\mathfrak{p}\in Z$

• define 

• $I_{1}:=\Delta(I)\subseteq S[\mathbf{x}]\otimes_{S}S[\mathbf{x}]$

• $f_{1}:S[\mathbf{x}]\to S[\mathbf{x}]\otimes S[\mathbf{x}]$ via $s\mapsto s\otimes 1$

• $f_{2}:S[\mathbf{x}]\to S[\mathbf{x}]\otimes S[\mathbf{x}]$ via $s\mapsto 1\otimes s$

• $I_{2}:=f_{1}(I)+f_{2}(I)\subseteq S[\mathbf{x}]\otimes S[\mathbf{x}]$

• return 

containment locus of $I_{1}$ in $I_{2}$ as families over $S$ (Algorithm 2.9)

4.3. Unital loci from group actions

This subsection assumes $\Bbbk$ is uncountable.

Algorithm 4.5 works over an arbitrary base. The Section 3 setup, where the base is a group of ambient automorphisms, yields a further structural property of unital loci.

Proposition 4.6**.**

The set of points $\gamma\in G$ such that $I.\gamma$ is unital is a finite union

[TABLE]

of cosets of the stabilizer $G(I)$. In particular, this set is closed.

Proof.

First, $\Bbbk[\mathbf{x}]$ has only countably many monomials. As every unital ideal is generated by finitely many monomials and differences of monomials, there are also only countably many unital ideals of the form $I.\gamma$. The set of points $\gamma\in G$ such that $I.\gamma$ is unital has the form

[TABLE]

and is constructible by Theorem 2.5 and Proposition 4.4. Lemma 2.4 implies that the union has to be finite. Finally, stabilizers are closed by Lemma 3.7, so their cosets are, as well, and so are finite unions thereof. ∎

Example 4.7**.**

Under the componentwise action of the usual torus, any binomial prime ideal becomes unital—and hence toric—after rescaling the variables appropriately [ES96, Corollary 2.6]. The prime assumption here is essential, as Example 4.8 shows.

Example 4.8**.**

It need not be possible to find a group action—or any family with isomorphic fibers—taking a given ideal to a unital one, even if the original is a binomial ideal. Indeed, the ideal $I=\langle u^{5}(u-v),v^{5}(u-2v)\rangle$ is binomial but $\mathbb{C}[u,v]/I$ is not (abstractly) isomorphic to a quotient of a polynomial ring $R$ by a unital ideal $J$.

To see why, suppose such a $J$ exists and consider $R$ of smallest possible dimension. Since $\mathbb{C}[u,v]/I$ is supported at the origin (both $u^{11}$ and $v^{11}$ lie in $I$), the quotient $R/J$ is supported at a single point. As $J$ is unital, the variables can be numbered so that its support point is $\xi=(1,\dots,1,0,\dots,0)$. Extending $J$ by all $x_{i}$ such that $x_{i}(\xi)=0$ then yields a reduced ideal [KM14, Theorem 9.12]. Hence $x_{1}(\xi)=1\Rightarrow x_{1}-1\in J$, which contradicts minimality of $\dim R$. Thus $\xi=0$. Note that $R/J$ has tangent space of dimension $2$. Consequently, $R=\mathbb{C}[x_{1},x_{2}]$. Indeed, if $\dim R>2$ then $J$ contains a binomial of the form $x-g$, where $g$ is a monomial and $x$ is a variable. If $x\nmid g$ then $x-g$ eliminates $x$, contradicting minimality of $\dim R$. And if $x\mid g$ then repeatedly replace $x$ in $g$ to get binomials of the form $x-g_{i}\in J$ with $\deg g_{i}\to\infty$; the fact that $R/J$ is Artinian proves that $x\in J$, again leading to a contradiction.

Since $I$ is a complete intersection, $J=\langle f_{1},f_{2}\rangle$. Since $R/J$ is supported at the origin, it equals its localization at $\langle x_{1},x_{2}\rangle$. As $J$ is unital, Nakayama’s lemma produces unital binomials $b_{1},b_{2}$ such that $J=\langle b_{1},b_{2}\rangle$ as ideals of the localization $\tilde{R}$. More generally, minimal systems of generators of an ideal in a local ring have the same cardinality.

The local Hilbert function of $\mathbb{C}[u,v]/I$ implies that (i) neither $b_{1}$ nor $b_{2}$ has nonzero monomials of degree less than $6$, and (ii) each of them contains a monomial of degree $6$.

Now note that there are, up to scaling, precisely two distinct pairs of nonzero elements $\ell_{1,i},\ell_{2,i}\in\langle u,v\rangle/\langle u,v\rangle^{2}$ for $i=1,2$ such that $\ell_{1,i}^{a}\ell_{2,i}^{b}=0\in\langle u,v\rangle^{6}/\langle u,v\rangle^{7}\subset\mathbb{C}[u,v]/(I+\langle u,v\rangle^{7})$ for $a+b=6$. Further, the exponents satisfy $a=1$ and $b=5$ or $a=5$ and $b=1$. Indeed, suppose $\ell_{1,i},\ell_{2,i}$ satisfy the above condition. If $\ell_{1,i}\neq u$ and $\ell_{2,i}\neq u-v$ (which provides one possible pair) it must be that

[TABLE]

for some $\lambda\in\mathbb{C}$. Dividing by $u^{6}$ and setting $t=v/u$, the equality above means that the polynomial $P(t)=\lambda(1-t)+t^{5}-2t^{6}$ has two roots of multiplicity $a$ and $b$, respectively. Swapping if necessary, assume $a\geq 3$. Vanishing of the second derivative forces the root to satisfy $20t^{3}-60t^{4}=0$, i.e. $t=0$ or $t=1/3$. If $t=0$ is the root of $P(t)$, then $\lambda=0$ and a second pair of linear forms $\{v,u-2v\}$ arises. When $t=1/3$, nonvanishing of $(d^{4}P(t)/dt^{4})(1/3)$ means it can be a root of multiplicity at most three, and a second root of multiplicity three would be required, but none exists.

The next goal is to exclude cases where $b_{1},b_{2}$ are monomials or fail to be homogeneous. So assume $b_{1}$ is a monomial or inhomogeneous binomial. Then $b_{1}$ has image $x_{1}^{a}x_{2}^{6-a}$ in $\tilde{R}/\langle x_{1},x_{2}\rangle^{7}$; without loss of generality assume it is $x_{1}^{5}x_{2}$, providing the first pair $\{\ell_{1,1},\ell_{2,1}\}=\{x_{1},x_{2}\}$. This forces $b_{2}$ to be homogeneous, as it would otherwise provide a second monomial, necessarily equal to $x_{1}x_{2}^{5}$, contradicting the fact that the pairs $\ell_{1,i},\ell_{2,i}$ are distinct for $i=1,2$. Hence, $b_{2}$ is a homogeneous degree $6$ binomial.

Observe that for any nonzero element $h\in\langle u,v\rangle/\langle u,v\rangle^{2}\subseteq\mathbb{C}[u,v]/I+\langle u,v\rangle^{2}$ there is at most a $1$-dimensional family of elements of $\langle u,v\rangle^{5}/\langle u,v\rangle^{6}$ that annihilate it modulo $I+\langle u,v\rangle^{7}$. Indeed, otherwise $hP_{1}=\alpha_{1}u^{5}(u-v)+\beta_{1}v^{5}(u-2v)$ and $hP_{2}=\alpha_{2}u^{5}(u-v)+\beta_{2}v^{5}(u-2v)$ for some linearly independent polynomials $P_{1},P_{2}$ of degree $5$. However, then $h$ would be a common divisor of $u^{5}(u-v)$ and $v^{5}(u-2v)$, which is not possible.

Hence $b_{2}$ cannot be divisible by $x_{1}$ or $x_{2}$ and thus must equal $x_{1}^{6}-x_{2}^{6}$. But then there is no second pair of linear forms $\ell_{1,2},\ell_{2,2}\in\mathbb{C}[x_{1},x_{2}]/(J+\langle x_{1},x_{2}\rangle^{7})$ such that $\ell_{1,2}^{5}\ell_{2,2}^{\phantom{1}}=0$, because a polynomial of the form $\lambda t+t^{6}-1$ cannot have a root of multiplicity $3$, so it must have more than two distinct roots. This concludes the proof that $b_{1}$ and $b_{2}$ are both homogeneous and that neither is a monomial. But this means that $x_{1}-x_{2}$ divides both $b_{1}$ and $b_{2}$, which contradicts $\dim\tilde{R}/J=0$.

5. Detecting toric ideals and varieties

This section presents an algorithm to check whether a given homogeneous prime ideal defines a variety that is abstractly isomorphic to a toric one (Section 5.2). While this could be done using our earlier algorithms, the hypothesis that $I$ is prime allows significant simplifications (Section 5.1).

5.1. Faster algorithm for fiber containment of an irreducible family

The procedure in Section 5.2 is made faster by the following alternative to Algorithm 2.9 in the special case that the ideal that is requested to be smaller (that is, $I_{1}$) has fibers that are known to be prime. The advantage is that we expect this algorithm to run much faster than Algorithm 2.9.

Algorithm 5.1**.**

Compute containment locus families when one has prime fibers

• **Input: **

• ideal $I_{1}\subseteq S[\mathbf{x}]$ with prime fiber $I_{1}\kappa_{\mathfrak{p}}[\mathbf{x}]$ for every prime ideal $\mathfrak{p}\in\operatorname{Spec}S$

• ideal $I_{2}\subseteq S[\mathbf{x}]$

• **Output: **

containment locus for $I_{1}$ in $I_{2}$ as a constructible set

• define 

• $X:=V(I_{1}+I_{2})$

• $B:=\operatorname{Spec}S$

• $d:=\dim V(I_{1})$

• return 

locus $B^{\geq d}\subseteq B$ where fibers have dimension $\geq d$ (Algorithm 2.11 or [Kem07])

Proposition 5.2**.**

Algorithm 5.1 is correct.

Proof.

In any finitely generated commutative $\Bbbk$-algebra $R$ (we apply it to $\kappa_{\mathfrak{p}}[\mathbf{x}]$), if one ideal $I$ contains a prime ideal $J$, then $I=J$ if and only if $\dim(R/I)=\dim(R/J)$. ∎

Example 5.3**.**

This is a Macaulay2 [GS] demonstration of testing whether there exists $\gamma\in G=(\mathbb{C},+)$ such that $I.\gamma$ is toric, where $I=\langle xy+2y^{2}-1\rangle$ and $(\mathbb{C},+)$ acts on $\mathbb{C}^{2}$ by $\gamma.(x,y)=(x+\gamma y,y)$. The code applies Algorithm 4.5, relying on the fast Algorithm 5.1 instead of Algorithm 2.9 to compute containment. Moreover, in view of Remark 3.3 it works with the inverse group action, so as to obtain the ideal $I$ as the image of a map.

R = QQ[x,y]; I = ideal (xy+2y^2-1); GxR = QQ[a,x,y]; GxRxR = QQ[aa,xx1,yy1,xx2,yy2]; alpha = map(GxR,R,{x-ay, y}); -- action by the inverse IdotDelta = map(GxRxR,GxR,{aa,xx1xx2,yy1yy2}); I1 = IdotDelta(alpha(I)); idf1 = map(GxRxR, GxR,{aa,xx1,yy1}); idf2 = map(GxRxR, GxR,{aa,xx2,yy2}); I2 = idf1(alpha(I))+idf2(alpha(I)); I3 = I1+I2; BPrimn = ideal(sub(0,GxRxR)), BPrimo = ideal(sub(1,GxRxR)); while (not ((radical BPrimn)==BPrimo)) do { L = 0; for i from 1 to (2(dim I)) do{ L = L+ideal(sub(random(1,GxRxR),{aa=>random QQ})) }; I4 = I3+L; BPrimo = BPrimn, BPrimn = radical(BPrimo+eliminate(I4,{xx1,yy1,xx2,yy2})); } M = map(GxR,GxRxR,{a,x,y,0,0}); eliminate(M(BPrimn)+alpha(I),a); eliminate(M(BPrimn)+alpha(I),{x,y})

5.2. Toric varieties

This section shows how to detect whether a projective variety is toric without any prespecified group or other family of ambient automorphisms.

Algorithm 5.4**.**

Decide whether a normal projective variety is abstractly toric

• **Input: **

normal projective variety $X\subseteq\mathbb{P}^{n}$

• **Output: **

a projective toric embedding of $X$ if it is toric, else false

• compute 

• a projectively normal Veronese embedding of $X\!$ [Har77, Exercise II.5.14]

• a homogeneous prime ideal $I\subseteq S$ such that $X=\operatorname{Proj}(S/I)$

• $\gamma\in\mathit{GL}_{N}$ such that $I.\gamma^{-1}$ is toric (Algorithm 4.5)

• return 

$\gamma.X$ or false, accordingly

Theorem 5.5**.**

Algorithm 5.4 is correct.

Proof.

The re-embedding can be done by attempting successively higher Veronese maps and checking whether each is projectively normal. The cited source guarantees that this procedure terminates.

It remains only to show that if $X$ is toric, then there really exists $\gamma\in\mathit{GL}_{N}$ such that $\gamma.X$ is equivariantly embedded. The embedding of $X$ distinguishes a very ample divisor $L$ on $X$. If $X$ is toric, then $L$ is equivalent to a toric divisor $L^{\prime}$ by [CLS11, Theorem 4.2.1]. Therefore, the projectively normal embedding yields a surjection $\Gamma(\mathbb{P}^{N},\mathcal{O}(1))\to\Gamma(X,L)$. In particular, $X$ is toric if and only if there exists an automorphism of $\mathbb{P}^{N}$ under which $I(X)$ goes to a toric ideal. But all automorphisms of $\mathbb{P}^{N}$ are (projectively) linear, so the desired one is represented by some matrix $\gamma\in\mathit{GL}_{N}$. ∎

Remark 5.6**.**

To check if a variety $X$ is toric it is essential that $X$ be projective. For example, it is an open problem to decide whether the affine variety defined by the ideal $\langle x+x^{2}y+z^{2}+t^{3}\rangle\subset\mathbb{C}[x,y,z,t,w]$ is isomorphic to $\mathbb{A}^{4}$ [Mic17, Remark 5.3].

6. Conclusion

In retrospect, many of our algorithms apply not only to a group of automorphisms of an affine space but to an arbitrary family of transformations. To be precise, fix an arbitrary morphism $\alpha:Y\times\mathbb{A}^{n}\to\mathbb{A}^{n}$, thought of as a family of maps $\mathbb{A}^{n}\to\mathbb{A}^{n}$ parametrized by $Y$. For a $\Bbbk$-valued closed point $\eta\in Y$ denote by $\alpha_{\eta}:\mathbb{A}^{n}\to\mathbb{A}^{n}$ the morphism obtained by composition of the isomorphism $\mathbb{A}^{n}\to\{\eta\}\times\mathbb{A}^{n}$ and (the restriction of) $\alpha$. Given an affine variety $X\subseteq\mathbb{A}^{n}$ one may ask for the locus of points $\eta\in Y$ such that $\alpha^{-1}_{\eta}(X)$ is defined by a unital ideal. In the group action setting, where $Y=G$ is a group and $\alpha$ is an action (Section 3.1), working with images and preimages are more or less equivalent: they amount to taking orbits for $\gamma$ or $\gamma^{-1}$. But in this more general setting, working with preimages means computing inverse images of subschemes (images of ideals), which is trivial, instead of computing images of schemes (kernels of ring maps), which is a hard problem known as implicitization. Furthermore, the inverse image is closed, whereas for images of morphisms the global closure may be not compatible with closure fiberwise, which creates additional problems.

Remark 6.1**.**

Even using preimages of subschemes instead of images, extending our algorithms to this more general setting requires special attention. For example, although two families over $Y$ can still be compared as in Algorithm 4.5, the dimension argument in Section 5.1 no longer necessarily applies.

Remark 6.2**.**

In contrast, the methods to test binomiality in Section 4.1 adapt verbatim to the case of arbitrary maps, as they only rely on comprehensive Gröbner bases.

Remark 6.3**.**

It is similarly easy to check if an ideal is generated by monomials in a similar way to Algorithm 4.2. Indeed, for each $U_{i}$ one only needs to check if it is possible for all coefficients of nonleading monomials to vanish. Alternatively, note that an ideal $I\subseteq\Bbbk[x_{1},\dots,x_{n}]$ is monomial if and only if it is stable under the whole torus $T=(\Bbbk^{*})^{n}$ and apply Algorithm 3.11.

In view of our results, we find the following three problems of particular importance.

Problem 1**.**

Is the problem of determining if an affine variety is affine space decidable? Equivalently, is it decidable to test if a finitely generated $\Bbbk$-algebra is a polynomial ring?

Problem 2**.**

Is the problem of determining if a projective (nonnormal) variety admits a torus action with a dense orbit decidable?

Problem 3**.**

Is the problem of determining if a given affine variety is toric decidable?

The last problem may be asked both for normal and arbitrary affine varieties.