Mapping toric varieties into low dimensional spaces

Abstract: A smooth $d$-dimensional projective variety $X$ can always be embedded into $2d+1$-dimensional space. In contrast, a singular variety may require an arbitrary large ambient space. If we relax our requirement and ask only that the map is injective, then any $d$-dimensional projective variety can be mapped injectively to $2d+1$-dimensional projective space. A natural question then arises: what is the minimal $m$ such that a projective variety can be mapped injectively to $m$-dimensional projective space? In this paper we investigate this question for normal toric varieties, with our most complete results being for Segre-Veronese varieties.

\section{Introduction}

It is well known that a smooth $d$-dimensional projective or affine variety can always be embedded into $\mathbb{P}^{2d+1}$. This story is different for singular varieties, including affine cones over smooth projective varieties. For example, the affine cone over the $n$th Veronese embedding of $\mathbb{P}^1$ cannot be embedded in $\mathbb{A}^m$ for $m<n+1$. In some situations, one may be willing to lose some information and be satisfied with an injective morphism $X \to \mathbb{P}^m$ or $X\to \mathbb{A}^m$.

\begin{ques}\label{q-1}
What is the minimal $m$ such that a projective (affine) variety $X$ can be mapped injectively into projective space (respectively, affine space) of dimension~$m$?
\end{ques}

The bound $2d+1$ holds in general in this setting by the same linear projection argument that yields an embedding of a smooth projective variety into $\mathbb{P}^{2d+1}$.

Namely, if $X\subseteq \mathbb{P}^N$ and $p$ is a point in $\mathbb{P}^N\setminus X$ which does not lie on any secant to $X$, that is on any line which intersects $X$ in at least two points, then the projection from $p$ to a hyperplane will be injective on $X$. One can then repeat this argument until the set of points on secant lines fills the ambient space. The bound $2d+1$ is simply the expected dimension of the secant variety, which is the Zariski closure of the set of points on secant lines. In the affine case, one simply uses the same argument on a projectivization; see ~\cite[Section~5.1]{ed:si} for a similar argument in a special case and \cite[Theorem~5.3]{tk-gk:aitng} for a different argument in a more general context.

Naturally, an absolute lower bound is given by the dimension of $X$. This absolute lower bound is sometimes attained even when $X$ is not itself $\mathbb{P}^d$ or $\mathbb{A}^d$, at least in positive characteristic \cite[Example 3.1]{ed:sifrg}. But this is a rare occurence. In characteristic zero, for normal varieties, it does not happen unless $X$ is isomorphic to $\mathbb{P}^m$ or $\mathbb{A}^m$, see~\cite[Corollary~4.6]{ed-hk:ismag}.

In this paper we focus on toric varieties and the affine cones over them. Our most complete results are for Segre-Veronese varieties, a construction simultaneously generalizing Veronese varieties ($r=1$) and Segre varieties (each $a_i=1$). For the affine cone over a Segre-Veronese variety we obtain:

 \begin{thm}\label{thm-MinSizeSV}
Let $Y$ be the affine cone over the Segre-Veronese variety $X$ which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$. If $s$ is minimal such that $Y$ can be mapped injectively to $\mathbb{A}^s$, then
\begin{enumerate}
 \item $s=2\sum_{i=1}^r n_i  - 2r +1$, if at least one $a_i$ is not 1 or a power of $\operatorname{char} \Bbbk$;\label{thm-MinSizeSV1}
 \item $s=2(n_1+n_2)-4$, if $r=2$ and $a_1,a_2$ are either 1 or a power of $\operatorname{char} \Bbbk$;\label{thm-MinSizeSV2}
 \item $2\sum_{i=2}^r n_i  - 2r +4\leq s\leq 2\sum_{i=1}^r n_i  - 2r +1$ in the remaining cases.\label{thm-MinSizeSV3}
\end{enumerate}
If $s'$ is minimal such that $X$ can be mapped injectively to $\mathbb{P}^{s'}$. Then $s'=s-1$ in cases \ref{thm-MinSizeSV1} and \ref{thm-MinSizeSV2}, and $s'$ satisfies the same inequalities as $s-1$ in case \ref{thm-MinSizeSV3}.
\end{thm}

As a consequence of our lower bounds and linear projection arguments, we obtain in Corollary~\ref{cor:nondeg} a new proof of the nondegeneracy of the secant variety of Segre-Veronese varieties (see \cite[Theorem 4.2]{ha-mcb:odsvsvv}).

To obtain the sharper upper bounds given above, we need to determine if the set of points belonging to secants is closed, since projection from a point in the secant variety which does not lie on any secant will be injective on $X$. This is well-known for Veronese and Segre varieties, and we complete the picture for Segre-Veronese varieties:

\begin{customprop}{\ref{prop-notclosed}} Let $X$ be the Segre-Veronese variety which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$. If $r>2$ or $r=2$ and $(a_1,a_2)\neq(1,1)$, then the set of secant lines to $X$ does not fill the secant variety of $X$.
\end{customprop}

Lower bounds are obtained via completely different techniques, better suited to the affine case. If $Y$ is an affine algebraic variety, having an injective morphism $Y\to \mathbb{A}^m$ corresponds to having a \emph{separating set} $E=\{f_1,\ldots,f_m\}\subseteq \Bbbk[Y]$. The notion of separating set is usually defined relatively to a larger ring of functions $R\supset \Bbbk[Y]$  and in a much more general contexts, for ring of functions on a set, see \cite[Definition 1.1]{gk:si}. This variant comes up in many different contexts under different names (see for example the introduction of \cite{eds:fdepeei}).

For the affine cone $Y$ over a Segre-Veronese variety,  we have a surjective map
$\mathbb{A}^d\to Y$ where $d={\sum_{i=1}^r n_i}$, dual to the inclusion map of the ring of regular functions on $Y$ into a polynomial ring in $d$ variables. A consequence is that the morphism ${Y\to \mathbb{A}^m}$ is injective if and only if the natural inclusion of the reduced fiber products
\[\mathbb{A}^d \times_Y \mathbb{A}^d \subseteq \mathbb{A}^d \times_{\mathbb{A}^m} \mathbb{A}^d\]
 is an isomorphism. As $ \mathbb{A}^d \times_{\mathbb{A}^m} \mathbb{A}^{d}$ is the zero set in $ \mathbb{A}^{2d}$ of
 \[(f_i\otimes 1-1\otimes f_i\mid i=1,\ldots,m)\]
  it follows that the \emph{arithmetic rank} of the defining ideal of $\mathbb{A}^d \times_Y \mathbb{A}^d$, that is the minimal number of generators up to radical, is a lower bound for the minimal $m$ such that $Y$ can be mapped injectively to $\mathbb{A}^m$ (cf  \cite[Section~3]{ed-jj:silc}). Our arguments exploit the fact that the affine cone over a Segre-Veronese variety is isomorphic to ${V/\! \!/G}:=\operatorname{Spec}({\kk[V]^G})$, where $V$ is a representation of an algebraic group $G$ and ${\kk[V]^G}:=\{f\in {\kk[V]} \mid f(u)=f(\sigma\cdot u), \text{ for all }u\in V,~\sigma\in G\}$. Accordingly, most of this paper will be written from that point of view.

If we assume $G$ is reductive (and so the quotient morphism $V\to {V/\! \!/G}$ is surjective), then having an injective morphism $\operatorname{Spec}({\kk[V]^G})=:{V/\! \!/G}\to \mathbb{A}^m$ corresponds to having a separating set in the sense of  \cite[Section 2.3.2]{hd-gk:cit}, that is, a set $E$ of invariants such that whenever two points of $V$ can be separated by some invariant, they can be separated by an element of $E$.

In this setting, the fibre product $V\times_{{V/\! \!/G}}V$ is called the \emph{separating variety} and denoted by $\mathcal{S}_{V,G}$. The key observation of \cite[Section~3]{ed-jj:silc} is that the minimal size of a separating set is bounded below by the arithmetic rank of the defining ideal of $\mathcal{S}_{V,G}$. For representations of finite groups the arithmetic rank of the defining ideal of the separating variety ends up being meaningful in terms of the geometry of the representation (see \cite{ed-jj:silc}). As in \cite{ed-jj:silc}, we use the nonvanishing of local cohomology modules to find lower bounds for the arithmetic rank of the defining ideal of the separating variety. For Segre varieties with two factors, this is not conclusive in positive characteristic, and so instead we must use \'etale cohomology. Following \cite{ed-jj:silc}, the general strategy is to decompose the separating variety as a union of simpler objects. The difficulty is, unlike for representations of finite groups, the separating variety is not simply an arrangement of linear subspaces.

Linear projections are often sufficient to reach the minimal $m$ such that a projective variety can be mapped injectively to $\mathbb{P}^m$. In the case of toric varieties, the image will often no longer be toric. A natural question is the following:

\begin{ques}\label{min-m-mon}
What is the minimal $m$ such that a projective toric variety is mapped injectively to $\mathbb{P}^m$ so that the image is also a toric variety? Equivalently, what is the minimal size of a monomial separating set for the affine cone over a toric variety?
\end{ques}

In this paper we address this question for normal affine toric varieties. These include the affine cones over Segre-Veronese varieties. The normality assumption ensures that the ring can be identified with the ring of invariants of a representation of an algebraic torus, which provides extra structure. Indeed, the rings of invariants for representations of tori are determined by the combinatorics and convex geometry of the weights. In Proposition~\ref{prop-SVminmon}, we determine the answer to Question~\ref{min-m-mon} for Segre-Veronese varieties; as a consequence, in Corollary~\ref{cor-sparse} we give a bound on the sparsity of a separating set for the associated torus action.

In general, the minimal size of a monomial separating set is much larger than the minimal size of a separating set, but it is often still smaller than the size of a minimal generating set for the ring of invariants. Inspired by \cite{md-es:hdag}, we show the following.

\begin{customthm}{\ref{thm-2r+1}}
  Let $V$ be a $n$ dimensional representation of a torus $T$ of rank $r\leqslant n$. The invariants involving at most $2r+1$ variables form a separating set.
\end{customthm}

The remainder of the paper is  organized as follows. In Section~\ref{section-setup} we describe the combinatorial set-up and notation we need in order to discuss linear representations of tori, including giving an explicit link between representations of tori and Segre-Veronese varieties. In Section~\ref{section-SepVar} we first give some general results about the decomposition of the separating variety for representation of tori, before giving more explicit results in the case of Segre-Veronese varieties. Section~\ref{section-UpperBounds} focuses on upper bounds on the size of separatating sets and Section~\ref{section-LowerBounds} on the lower bounds. Finally, in Section~\ref{section-MonomialSepSets} we consider monomial separating sets. As well as the results mentioned above, we give a combinatorial characterization of monomial separating sets for representations of tori.

\section{Set up and Notation}\label{section-setup}

We work over an algebraically closed field $\Bbbk$ of arbitrary characteristic. The characteristic will sometimes make a difference. We consider a $n$-dimensional representation $V$ of a torus $T$ of rank $r$. Without loss of generality we can assume this is given by the weights $m_1,\ldots,m_n\in \mathbb Z^r$. That is,  with respect to the basis $\{e_1,\dots ,e_n\}$ of $V$, the action of $T$ on $V$ is given by $t\mapsto \operatorname{diag}(t^{-m_1},\ldots,t^{-m_n})$, where $t$ denotes the element $(t_1,\ldots,t_r)$ of $T$. Let $A$ be the matrix whose columns are the $m_i$'s. We will assume throughout that $A$ has full rank $r\leq n$.

We will write $\Bbbk[x]$ to denote $\Bbbk[x_1,\ldots,x_n]=\Bbbk[V]$, where $\{x_1,\dots,x_n\}$ is the basis  of the 1-forms of $\Bbbk[V]$  dual to the basis $\{e_1,\dots ,e_n\}$ of $V$. In terms of the basis $\{x_1,\dots,x_n\}$, the representation of $T$ takes the form $t\mapsto \operatorname{diag}(t^{m_1},\ldots,t^{m_n})$.

The ring of invariants ${\kk[V]}^T$ is the monomial algebra given by the semigroup $\mathcal{L}:=\ker_{\mathbb Z}A\cap \mathbb N^n$, that is
\[{\kk[V]}^T=\mathrm{span}_\Bbbk\{x^\alpha \mid \alpha\in \mathcal{L}\}.\]
The field of rational invariants is similarly given by $\ker_\mathbb Z A$:
\[\Bbbk(V)^T=\mathrm{span}_\Bbbk\{x^\beta \mid \beta \in \ker_{\mathbb Z} A\}.\]
For a natural number $a\in\mathbb N$, we write $[a]$ to denote the set $\{1,\ldots,a\}$. For $I\subseteq [n]$, we set $V_I=\mathrm{span}_\Bbbk\{e_i \mid i\in I\}$,
\[\ker_{\mathbb Z} A_I:=\{\beta\in \ker_{\mathbb Z} A \mid \beta_j=0 \ \text{for} \  j\notin I\}\,,\]
 and $\mathcal{L}_I=\ker_\mathbb Z A_I \cap \mathcal{L}$.

 For $u\in V$, we define $\operatorname{supp}(u):\{i\in [n]\mid u_i\neq 0\}$ and similarly for $\beta\in \mathbb Z^n$, ${\operatorname{supp}(\beta):=\{i\in [n]\mid \beta_i\neq 0\}}$. For $I\subseteq \{1,\ldots, n\}$, we define the \emph{weight set} of $I$ to be ${\mathrm{wt}(I):=\{m_i\mid i\in I\}}$, and for $u\in V$ and $\alpha \in \mathbb Z^n$, we write $\mathrm{wt}(u):=\mathrm{wt}(\operatorname{supp}(u))$ and ${\mathrm{wt}(\alpha):=\mathrm{wt}(\operatorname{supp}(\alpha))}$. Further, we will write $\operatorname{conv}(I)$, respectively $\conv^{\circ}(I)$, to denote the convex hull of $\mathrm{wt}(I)$, respectively the relative interior of the convex hull of $\mathrm{wt}(I)$, which is the interior of $\mathrm{wt}(I)$ with respect to the usual metric topology on the linear span of $\mathrm{wt}(I)\subseteq \mathbb R^n$.

\subsection{Segre-Veronese varieties}\label{section-SV}

We will pay particular attention to the affine cones over Segre-Veronese varieties.

A Segre-Veronese variety is the image of the closed embedding
\[{ {\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N}} \qquad \text{for} \ {N=1+\prod_{i=1}^r \binom{n_i+a_i-1}{a_i}}\]
 given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$ for some tuple $(a_1,\dots,a_r) \in \mathbb N^r$. Its ring of homogeneous coordinates is
\[S=\Bbbk\big[\ M_1 \cdots M_r \ \big| \ M_i \, \text{is a monomial of degree $a_i$ in the variables} \  x_{i1}, \dots , x_{i n_i} \big]\,.\]
This construction simultaneously generalizes Veronese varieties ($r=1$) and
Segre varieties (every $a_i=1$).

 If every $a_i$ is coprime to the characteristic of $\Bbbk$, the homogeneous coordinate ring $S$ of the Segre-Veronese is the ring of invariants of the polynomial ring
 \[R=\Bbbk[x_{i \ell} \ | \ 1 \leqslant i \leqslant r, 1 \leqslant \ell \leqslant n_i]\,,\]
  under the linear action of a diagonalizable group, given as the product of a torus $T$ of rank $r-1$ acting with weights
  \[m_{i\ell}=\left\{\begin{array}{cl} e_i               & i=1,\ldots,r-1\\
                                              -\sum_{i=1}^{r-1} e_i & i=r
                            \end{array}\right.\,,\]
and a product of cyclotomic groups $\mu_{a_1} \times \cdots \times \mu_{a_r}=:H$, where the $i$-th factor acts on $x_{i\ell}$ by scalar multiplication. That is, the ring of homogeneous coordinates of  nonmodular Segre-Veronese varieties can be identified with the ring of invariants $R^G=\Bbbk[W]^G$, where $G=T\times H$ acts on the $(\sum_{i=1}^r n_i)$-dimensional $\Bbbk$-vector space as described above.

The ring $S$ can also be obtained over any field, up to isomorphism, as the ring of invariants of a torus. Precisely, set
\[S'=\Bbbk\big[\ x_0 M_1 \cdots M_r \ \big| \ M_i \, \text{is a monomial of degree $a_i$ in the variables} \  x_{i1}, \dots , x_{i n_i} \big]\,,\]
and $R'=\Bbbk[x_0 , x_{i \ell} \ | \ 1 \leqslant i \leqslant r, 1 \leqslant \ell \leqslant n_i]$. Then $S'$ is the ring of invariants of $R'$ under the action of a rank $r$ torus with weights $m_0= -\sum_{i=1}^r a_i e_i$ and $m_{i\ell} = e_i$. As both groups are reductive, the isomorphism $S\cong S'$ ensures that finding  separating sets in $S$ and $S'$ is exactly the same, and so any bound established for one holds for the other. This follows from the following key fact: if $G$ is reductive, $E\subseteq {\kk[V]^G}$ is a separating set if and only if the morphism ${V/\! \!/G}\to\operatorname{Spec}(\Bbbk[E])$ induced by the inclusion $\Bbbk[E]\subseteq {\kk[V]^G}$ is injective (cf \cite[Theorem~2.2]{ed:sifrg}).

In the following lemma, we set $\operatorname{s}(a_1,\dots,a_r)$ to be the smallest cardinality of a separating set for a representation of a torus with ring of invariants isomorphic to the homogeneous coordinate ring of the Segre-Veronese variety $X$, where $X$ is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$.

\begin{lem} \label{lem-nonmodSV}
Let $\Bbbk$ be a field of positive characteristic $p$, and fix $a_1,\dots , a_n$. Write each $a_i=a_i' p^{e_i}$ so that $\operatorname{gcd}(a_i',p)=1$. Then $\operatorname{s}(a_1,\dots,a_r)=\operatorname{s}(a'_1,\dots,a'_r)$.
\end{lem}

\begin{proof}
We will show that $\operatorname{s}(a_1,\dots,a_t)=\operatorname{s}(a_1,\dots,a_{t-1},p a_t)$, and the claim follows.

Let $R_1$ be the ring of functions on the affine cone over the Segre-Veronese variety given by the line bundle $\mathcal{O}(a_1,...,a_t)$, $R_2$ be the  ring of functions on the affine cone over the Segre-Veronese variety given by the line bundle $\mathcal{O}(a_1,\ldots,a_{t-1},p a_t)$, and $R_3$ be the image of $R_1$ under the map which sends set of variables ($x_{t,1},\ldots,x_{t,n_t}$) to their $p$th powers. Note that $R_3$ is isomorphic to $R_1$.

Suppose that $\{g_1,\ldots,g_s\}\subset R_1$ form a separating set in $R_1$,. Then their images $\{g''_1,\ldots,g''_s\}$ under the map giving the isomorphism $R_1\cong R_3$ form a separating set for $R_2$. Indeed, it will be a separating set for $R_3$ (applying the isomorphism), and the morphism $\operatorname{Spec}(R_2)\to \operatorname{Spec} (R_3)$ induced by the inclusion $R_2\subseteq R_3$ is injective. It follows that an upper bound on the minimal size of separating sets for $R_1$ is also an upper bound for $R_2$.

Since $(R_2)^q \subseteq R_3$, taking a separating set for $R_2$ and taking $q$th powers produces a separating set for $R_3$ of the same cardinality. Then, applying the isomorphism $R_1\cong R_3$, we get a separating set for $R_1$ of the same size. Therefore, the minimal size of a separating set in $R_1$ is a lower bound for the minimal size of a separating set in $R_2$, completing the proof of the claim.
\end{proof}

\section{The separating variety}\label{section-SepVar}

In this section we describe the separating variety for representations of tori. The \emph{separating variety} $\mathcal{S}_{V,G}$ is a closed subvariety of $V\times V$ that encodes which points can be separated by invariants. Namely,
\[\mathcal{S}_{V,G}:=\{(u,v)\in V\times V \mid f(u)=f(v),~\forall f\in{\kk[V]^G}\}\,.\]
It deserves its name because it characterizes separating sets. Indeed, $E\subseteq {\kk[V]^G}$ is a separating set if and only if
\[\mathcal{V}_{V\times V}(f\otimes 1-1\otimes f \mid f\in E)=\mathcal{S}_{V,G}\]
(see \cite[Section 2]{gk:cirgpc}). In particular, the defining ideal for the separating variety is the radical of the \emph{separating ideal}
\[ \mathcal{I}_{V,G}:=(f \otimes 1 - 1 \otimes f \mid f\in {\kk[V]^G})\,.\]
Of course, the separating variety always contains the graph of the action
\[ \Gamma_{V,G}:=\{(u,\sigma\cdot u)\mid u\in V,\sigma\in G\}\,,\]
and its Zariski closure $\overline{\Gamma_{V,G}}$.

Let $V$ be a linear representation of an algebraic group $G$. Let $\pi\colon V\to {V/\! \!/G}$ be the morphism corresponding to the inclusion ${\kk[V]^G}\subseteq {\kk[V]}$. The \emph{nullcone} $\mathcal{N}_V$ is defined as $\mathcal{N}_V:=\pi^{-1}(\pi(0))$. It coincides with the set $\mathcal{V}_V(f\mid f\in {\kk[V]}^{G}_+)$ of common zeroes in $V$ of all nonconstant homogeneous invariants. Naturally, the product $\mathcal{N}_{V,G}\times\mathcal{N}_{V,G}$ is always contained in the separating variety. For a representation of a torus, the nullcone can be described in terms of the geometry of the weights of the action:

\begin{lem}[{see for example \cite[Proposition 4.4]{dlw:wirtipr}}] \label{lem-nullcone}
Let $V$ be a representation of a torus $T$. The nullcone is an arrangement of linear subspaces and its decomposition as irreducibles is as follows:
\[\mathcal{N}_{V,T}=\bigcup_{\tiny{\begin{array}{c} I \text{ maximal s.\,t.}\\ 0\notin \operatorname{conv}(\mathrm{wt}(I))\end{array}}} V_I.\]
\end{lem}

We obtain a first coarse decomposition of the separating variety:

\begin{prop}\label{prop-SepVarDecompGen}
 Let $V$ be a representation of a torus of rank $r$ and suppose the matrix of weights has rank $r$. Then the separating variety can be written as
\[\mathcal{S}_{V,T}=\overline{\Gamma_{V,T}}\ \bigcup\ (\mathcal{N}_{V,T}\times \mathcal{N}_{V,T})  \ \bigcup_{K,I,J} \ \Gamma_{V_K,T} \oplus (V_{I}\times V_{J})\,,\]
where the second union ranges over all $K$ with $0\in\conv^{\circ}(\mathrm{wt}(K))$ and all $I,J\subseteq \{1,\ldots, n\}\setminus K$ such that $ 0\notin \conv^{\circ}(\mathrm{wt}(K\cup I))$ and $0\notin\conv^{\circ}(\mathrm{wt}(K\cup J))$.
\end{prop}
\begin{proof}
We first show the inclusion ``$\supseteq$''. By the discussion above, $\overline{\Gamma_{V,T}}$ and $\mathcal{N}_{V,T}\times \mathcal{N}_{V,T}$ are both contained in the separating variety. It remains to show that for each choice of $K,I,J$, the set $\Gamma_{V_K,T} \oplus (V_{I}\times V_{J})$ is contained in the separating variety. Let $(u_1,u_2)$ be an arbitrary point of $\Gamma_{V_K,T} \oplus (V_{I}\times V_{J})$. By definition we can write $(u_1,u_2)=(v_1,v_2)+(w_1,w_2)$, where $(v_1,v_2)\in \Gamma_{V_K,T}$ and $(w_1,w_2)\in V_{I}\times V_{J}$. Take ${\alpha\in\ker_{\mathbb Z}A\cap \mathbb N^n}$. As $0$ is not in the interior of the convex hull of $\mathrm{wt}(K\cup I)$ and $\mathrm{wt}(K\cup J)$, it follows that either $\operatorname{supp}(\alpha)\subseteq K$ or $\operatorname{supp}(\alpha)\not\subseteq K\cup I$ and $\operatorname{supp}(\alpha)\not\subseteq K\cup J$. If $\operatorname{supp}(\alpha)\subseteq K$, then
\[x^\alpha(u_1)=x^\alpha(v_1)=x^\alpha(v_2)=x^\alpha(u_2)\,,\]
and if $\operatorname{supp}(\alpha)\not\subseteq K\cup I$ and $\operatorname{supp}(\alpha)\not\subseteq K\cup J$, then
\[x^\alpha(u_1)=0=x^\alpha(u_2)\,.\]
In both cases $(u_1,u_2)\in \mathcal{S}_{V,T}$ as desired.

We now prove the reverse inclusion ``$\subseteq$''. Take $(u_1,u_2)\in \mathcal{S}_{V,T}$. As $T$ is a reductive group, this is equivalent to $\overline{Tu_1}\cap \overline{Tu_2}\neq \emptyset$ (follows from \cite[Corollary 3.5.2]{pen:impos}). Without loss of generality we have $z\in \overline{Tu_1}\cap \overline{Tu_2}$, where $Tz=\overline{Tz}$ is the unique closed orbit in $\overline{Tu_1}$ and $\overline{Tu_2}$. If $Tu_1=Tz$, we have
\[(u_1,u_2)\in \overline{Tu_2}\times \{u_2\}\subseteq \overline{\Gamma_{V,T}}\,.\]
Similarly, if $Tu_2=Tz$, then $(u_1,u_2)\in\overline{\Gamma_{V,T}}$. We now suppose that $Tz\neq Tu_1,Tu_2$. If $z=0$, then $(u,v)\in \mathcal{N}_{V,T}\times \mathcal{N}_{V,T}$, so we suppose $z\neq 0$. Then, since the orbit of $z$ is closed, $0$ is in the interior of the convex hull of $\mathrm{wt}(z)$ (see Lemma \ref{lem-closedorbit} below). By the extended Hilbert-Mumford criterion \cite[Theorem~C]{rwr:oooagalg}, there exist 1-dimensional subtori $S_1,S_2\subseteq T$ such that the intersections $\overline{S_1u_1}\cap Tz$ and $\overline{S_2u_2} \cap Tz$ are nonempty; that is, there exist $t_1,t_2\in T$ such that $t_1\cdot z\in \overline{S_1u_1}$ and $t_2\cdot z\in \overline{S_2u_2}$. If $t_1\cdot z\in S_1u_1$, then $Tu_1=Tz$, and this case is done. Similarly, $t_2\cdot z\in S_2u_2$ is also done. So we now suppose that $t_1\cdot z\notin S_1u_1$ and $t_2\cdot z\notin S_2u_2$. The 1-dimensional subtori $S_1,S_2$ correspond to a choice of $\delta_1,\delta_2\in \mathbb Z^r$. We then have
\[S_1u_1=\{(s^{\delta_1\cdot m_1}u_{1,1},\ldots, s^{\delta_1\cdot m_n}u_{1,n}) \mid s\in \Bbbk^*)\}\,,\]
and
\[S_2u_2=\{(s^{\delta_2\cdot m_1}u_{2,1},\ldots, s^{\delta_2\cdot m_n}u_{2,n}) \mid s\in \Bbbk^*)\}\,.\]
Without loss of generality, our assumption that $t_1\cdot z\notin S_1u_1$ and $t_2\cdot z\notin S_2u_2$ implies that $t_1\cdot z$ and $t_2\cdot z$ are seen to belong to the orbit closures by letting  $s$ tends to zero in the above. It then follows that
\begin{align*}
   \delta_1\cdot m_i >0&, \forall i\in \operatorname{supp}(u_1)\setminus \operatorname{supp}(z)\,,\\
   \delta_2\cdot m_i >0&, \forall i\in \operatorname{supp}(u_2)\setminus \operatorname{supp}(z)\,,\\
   \delta_1\cdot m_i=\delta_1\cdot m_i=0&, \forall i\in \operatorname{supp}(z)\,,
  \end{align*}
and so we have $u_1=t_1\cdot z+w_1$ and $u_2=t_2\cdot z+w_2$, where $w_1,w_2\in\mathcal{N}_{V,T}$ and the intersection of their support with the support of $z$ is empty. Our assumptions that $Tz$ is the unique closed orbit in $\overline{Tu_1}$ and $\overline{Tu_2}$ and it is not equal to $Tu_1$ or $Tu_2$ implies that the orbits $Tu_1$ and $Tu_2$ are not closed. As a consequence, $0$ is not in the interior of the convex hull of $\mathrm{wt}(u_1)$ or $\mathrm{wt}(u_2)$. Writing
\[v_1:=t_1\cdot z, \ v_2:=t_2\cdot z, \ \text{and} \ K:=\operatorname{supp} z,\  I:=\operatorname{supp}(u_1)\setminus K, \ J:=\operatorname{supp}(u_2)\setminus K\,, \]
 we have $0\in\conv^{\circ}(\mathrm{wt}(K))$, $0\notin \conv^{\circ}(\mathrm{wt}(K\cup I)),\conv^{\circ}(\mathrm{wt}(K\cup J))$, and
$(u_1,u_2)=(v_1,v_2)+(w_1,w_2)$ with $(v_1,v_2)\in\Gamma_{V_K,T}$ and $(w_1,w_2)\in V_I\times V_J$. This completes the proof.
\end{proof}

The following is stated without proof in the characteristic zero case in \cite[6.15]{irs:egiv}. We expect that it is already known, but include a proof for lack of an appropriate reference.
\begin{lem}[{cf. \cite[6.15]{irs:egiv}}]\label{lem-closedorbit}
 The orbit of $z$ is closed if and only if $0\in\conv^{\circ}(\mathrm{wt}(z))$.
\end{lem}
\begin{proof}
By the extended Hilbert-Mumford criterion \cite[Theorem~C]{rwr:oooagalg}, it suffices to verify that any for any one parameter subgroup $\lambda$ of $T$, the limit of $\lambda z$ is contained in $T z$. Thus, $Tz$ is closed if and only if there does not exist $\delta \in \mathbb Z^r$ such that for all $i \in \operatorname{supp} \delta$, we have $ \delta \cdot m_i >0$. By the hyperplane separation theorem applied to the convex sets $U = \mathrm{int}(\mathrm{conv}\{ m_i \} )$ and $V=\{0\}$, it follows that a real vector $\delta$ satisfying the above exists if and only if $0 \in \conv^{\circ}(\mathrm{wt}(z))$. If a real such $\delta$ exists, it may be perturbed slightly in any direction except one parallel to a subspace generated by a set of $m_i$ that contain $0$ in its convex hull. However, the coordinates in such a subspace are necessarily rational.
\end{proof}

\begin{cor} \label{cor-sepvar1approx}
 Let $V$ be a representation of a torus of rank $r$ and suppose the matrix of weights has rank $r$. Suppose that $0\in\conv^{\circ}(\mathrm{wt}(I))$ implies that $\mathrm{span}_\mathbb R \mathrm{wt}(I)=\mathbb R^r$. Then the separating variety can be written as
 \[\mathcal{S}_{V,T}=\overline{\Gamma_{V,T}}\ \bigcup \ \mathcal{N}_{V,T}\times \mathcal{N}_{V,T}.\]
\end{cor}
\begin{proof}
 Suppose $0\in\conv^{\circ}(\mathrm{wt}(K))$. The assumption that $\mathrm{wt}(K)$ spans $\mathbb R^r$ implies that $0$ is in the interior of the convex hull of $\mathrm{wt}(I)$ for any set containing $K$. Hence the third possible contribution in the statement of Proposition \ref{prop-SepVarDecompGen} does not occur.
\end{proof}

The following lemma gives a step towards establishing which irreducible components of $ \mathcal{N}_{V,T}\times \mathcal{N}_{V,T}$ are contained in $\overline{\Gamma_{V,T}}$.

\begin{lem}\label{lem-NullconeGraph}
Let $V_I\times V_J$ be an irreducible component of $\mathcal{N}_{V,T}\times \mathcal{N}_{V,T}$.
\begin{enumerate}
\item If $I\cap J=\emptyset$, then $V_I\times V_J \in \overline{\Gamma_{V,T}}$. \label{lem-uvinGraph}
\item If $\ker_{\mathbb Z} A_{I\cap J}\neq \{0\}$, then $(u,v)\notin \overline{\Gamma_{V,T}}$. \label{lem-uvnotinGraph}
\end{enumerate}
\end{lem}
\begin{proof}
(1): As $I$ and $J$ are disjoint, the maximality of $I$ implies that for each $j\in J$ there is an invariant with exponent vector $\alpha\in\mathbb N^n$ with $j\in\operatorname{supp}(\alpha)\subseteq I\cup \{j\}$. Hence $\alpha_jm_j+\sum_{i\in I}\alpha_im_i=0$. Using the Hilbert-Mumford criteria \cite[Theorem~C]{rwr:oooagalg}, one can see that supposing $V_I$ is a component of the null cone implies that $I$ is maximal among subsets $K$ of $\{1,\ldots,n\}$ such that there exist $\delta\in \mathbb Z^r$ satisfying $\delta\cdot m_i> 0$ for all $i\in I$. It follows that
\[\delta\cdot m_j=-\nicefrac{1}{\alpha_j}\sum_{i\in I} \alpha_i(\delta\cdot m_i)<0.\]
The $r$-tuple $\delta$ corresponds to a 1-parameter subgroup of $T$, where the induced action of $t\in\Bbbk*$ and on a vector $w\in V$ is given by $t\cdot w:=(t^{\delta\cdot m_1}w_1,\ldots,t^{\delta\cdot m_n}w_n)$. For each $t\in\Bbbk*$,
\begin{equation}
(u+t^{-1}\cdot v, t\cdot (u+t^{-1}\cdot v))=(u+t^{-1}\cdot v,t\cdot u +v)  \label{eqn-sequence}
\end{equation}
 belongs to the graph. Note that $\delta\cdot m_i> 0$ for $i\in I$ and $\delta\cdot m_j< 0$ for $i\in J$ imply that (\ref{eqn-sequence}) is also well defined for $t=0$. It follows that $(u+t^{-1}\cdot v,t\cdot u +v)|_{t=0}=(u,v)$ must belong to the Zariski closure of the graph $\overline{\Gamma_{V,T}}$.

(2): If $\ker_{\mathbb Z} A_{I\cap J}\neq \{0\}$, then there is a rational invariant with support contained in $\operatorname{supp}(u) \cap \operatorname{supp}(v)$, with exponent vector $\beta\in \mathbb Z^n$. Fix $i_0\in \operatorname{supp}(\beta)$. Without loss of generality we may assume that $i_0\in\operatorname{supp}(\beta^+)$. Note that since $A$ does not have zero columns, $\beta\in \ker_{\mathbb Z} A_{I\cap J}$ implies that $|\operatorname{supp}(\beta)|\geq 2$. Define

\begin{align*}
    u_i &=  \left\{\begin{array}{cl}
		1 & i\in \operatorname{supp} (\beta)\\
		0 & \text{otherwise}\end{array}\right.\\
    v_i &=  \left\{\begin{array}{cl}
		1 & i\in \operatorname{supp} (\beta)\setminus \{i_0\}\\
		0 & \text{otherwise}\end{array}\right. .
   \end{align*}
Then $(u,v)\in V_I\times V_J$ and
\[(x^{\beta^+}\otimes x^{\beta^-}-x^{\beta^-}\otimes x^{\beta^+})(u,v)=x^{\beta^+}(u)x^{\beta^-}(v)-x^{\beta^-}(u)x^{\beta^+}(v)=1\neq 0.\]
That is $(u,v)\notin \overline{\Gamma_{V,T}}$ and so $V_I\times V_J\not\subseteq \overline{\Gamma_{V,T}}$.
\end{proof}

\subsection{The separating variety for the affine cone over Segre-Veronese varieties}

In this subsection we consider the case of non-modular Segre-Veronese varieties, that is such that $a_i\in\Bbbk*$ for each $i=1,\ldots,r$, which suffices to determine the minimal size of separating sets in general by Lemma \ref{lem-nonmodSV} .

\begin{prop}[Nonmodular Segre-Veronese]\label{prop-sepvarSV}
Consider the nonmodular  Segre-Veronese variety which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$ and whose ring of homogeneous coordinates is identified with the ring of invariants $\Bbbk[W]^G$ as described in Section~\ref{section-SV}.
\begin{enumerate}
\item The separating variety $\mathcal{S}_{W,G}$ decomposes as follows: \label{prop-sepvarSV1}
 \[\mathcal{S}_{W,G}=\bigcup_{\sigma\in H} (1,\sigma)(\mathcal{S}_{W,T})\,.\]
\item For $\sigma,\tau\in H$, if $(1,\sigma)(\mathcal{S}_{W,T})$ and $(1,\tau)(\mathcal{S}_{W,T})$ are distinct, then their intersection is $\mathcal{N}_{W,T}\times\mathcal{N}_{W,T}$. \label{prop-sepvarSVinter}
\item For $r=1$, $\mathcal{S}_{W,T}=W\times W$. \label{prop-sepvarS1}
\item For $r=2$, the decomposition of the separating variety $\mathcal{S}_{W,T}$ as a union of irreducibles is  \label{prop-sepvarS2}
\[\mathcal{S}_{W,T}=\overline{\Gamma_{W,T}}\cup W_{\hat{1}}\times W_{\hat{1}} \cup W_{\hat{2}}\times W_{\hat{2}},\]
where $W_{\hat{k}}=\mathrm{span}\{w_{i,j}\mid i\neq k\}$. Furthermore, $\overline{\Gamma_{W,T}}$ is cut out by the ideal of $2\times 2$ minors
\[I_2\left(\begin{array}{cccccc}
x_{1,1}\otimes 1 & \cdots & x_{1,n_1}\otimes 1 & 1\otimes x_{2,1} & \cdots & 1\otimes x_{2,n_2} \\
1\otimes x_{1,1} & \cdots & 1\otimes x_{1,n_1} & x_{2,1}\otimes 1 & \cdots & x_{2,n_2}\otimes 1
\end{array}\right).\]

\item For $r\geq 3$, the decomposition of the separating variety as a union of irreducibles is\label{prop-sepvarS3}
\[\mathcal{S}_{W,T}=\overline{\Gamma_{W,T}} \cup \bigcup_{k,\ell=1}^r W_{\hat{k}}\times W_{\hat{\ell}}.\]
\end{enumerate}
\end{prop}
\begin{proof}
 As $G$ is abelian, $T\trianglelefteq G$ with $G/T\cong H$ and $\Bbbk[W]^G=(\Bbbk[W]^T)^H$. That is, the quotient $\pi_G\colon W\to W/\!\!/G$ factors through the quotients $\pi_T\colon W\to W/\!\!/T$ and $\pi_H^T\colon  W/\!\!/T\to (W/\!\!/T)/\!\!/H\cong W/\!\!/G$. By definition of the separating variety, we have
 \[\begin{aligned}
    \mathcal{S}_{W,G} & =\{(u,v)\in W\times W \mid \pi_G(u)=\pi_G(v)\}\\
              & =\{(u,v)\in W\times W \mid \pi_H^T(\pi_T(u))=\pi_H^T(\pi_T(v))\}\,.
   \end{aligned}\]
As $H$ is a finite group, it follows that
\[\begin{aligned}
 \mathcal{S}_{W,G}  & =\{(u,v)\in W\times W \mid \exists \sigma\in G,~\pi_T(u)=\sigma\cdot \pi_T(v)=\pi_T(\sigma\cdot v)\}\\
                     & =\{(u,v)\in W\times W \mid \exists \sigma\in G,~(u,\sigma\cdot v)\in\mathcal{S}_{W,T}\}\\
                     & =\{(u,v)\in W\times W \mid \exists \sigma\in G,~(u,v)\in (1,\sigma^{-1}(\mathcal{S}_{W,T})\}\\
                     &=\bigcup_{\sigma\in H} (1,\sigma)(\mathcal{S}_{W,T})\,.
  \end{aligned}\]

Lemma \ref{lem-equal} implies that $(1,\sigma)(\mathcal{S}_{W,T})=(1,\tau)(\mathcal{S}_{W,T})$ if and only if $\sigma^{-1}\tau$ acts trivially on $W/\!\!/T$, since
\[ {(1,\sigma)(\mathcal{S}_{W,T})=(1,\tau)(\mathcal{S}_{W,T})} \quad \text{ if and only if } \quad  {(1,1)(\mathcal{S}_{W,T})=(1,\sigma^{-1}\tau)(\mathcal{S}_{W,T})}\,.\]
So, if $(1,\sigma)(\mathcal{S}_{W,T})$ and $(1,\tau)(\mathcal{S}_{W,T})$ are distinct, then $\sigma^{-1}\tau$ acts nontrivially on $W/\!\!/T$. The $H$-action on $W/\!\!/T$ extends naturally to the representation ${\rho\colon H \to \operatorname{GL}(V)}$, where $V$ has basis $\{e_{j_1,\ldots,j_r} \mid j_i\in [n_i]\}$, $\pi_T(0)$ coincides with the origin in $V$ and $\rho(\gamma)(e_{j_1,\ldots,j_r})=\prod_{i=1}^{r}\zeta_{a_i}^{m_i}e_{j_1,\ldots,j_r}$ for each $\gamma=(\zeta_{a_1}^{m_1},\ldots,\zeta_{a_1}^{m_1})\in H$. Hence $\sigma^{-1}\tau$ acts nontrivially on $W/\!\!/T$ if and only if it acts nontrivially on $V$, but then $V^{\sigma^{-1}\tau}$ is simply the origin. It then follows that $(W/\!\!/T)^{\sigma^{-1}\tau}=\pi_T(0)$.

An element of this intersection $(1,\sigma)(\mathcal{S}_{W,T})\cap(1,\tau)(\mathcal{S}_{W,T})$ will be of the form $(u,\sigma\cdot v)=(u',\tau\cdot v')$ for some $(u,v),(u',v')\in \mathcal{S}_{W,T}$. We will have $u=u'$ and $v=\sigma^{-1}\tau\cdot v'$, and so
\[\pi_T(v')=\pi_T(u')=\pi_T(u)=\pi_T(v)=\pi_T(\sigma^{-1}\tau\cdot v')=\sigma^{-1}\tau\cdot \pi_T(v')\,;\]
that is,
\[\pi_T(u)=\pi_T(v)=\pi_T(v')\in (W/\!\!/T)^{\sigma^{-1}\tau}=\{\pi_T(0)\}\,.\]
 As
 \[\pi_T(\sigma\cdot v)=\sigma\cdot\pi_T(v)=\sigma\cdot\pi_T(0)=\pi_T(0)\,,\] we conclude that $(1,\sigma)(\mathcal{S}_{W,T})\cap(1,\tau)(\mathcal{S}_{W,T})=\mathcal{N}_{W,T}\times\mathcal{N}_{W,T}$ as desired.

 Statement \ref{prop-sepvarS1} is clear since there are no nonconstant invariants. So suppose $r\geq 2$.  Observe that $0$ is not in any proper subset of the weights. In particular, the conditions of Corollary \ref{cor-sepvar1approx} are met and so
  \[\mathcal{S}_{W,T}=\overline{\Gamma_{W,T}}\ \bigcup \ \mathcal{N}_{W,T}\times \mathcal{N}_{W,T}\,.\]
 Furthermore, by Lemma \ref{lem-nullcone}, we have
 \[\mathcal{N}_{W,T}=\bigcup_{k=1}^r W_{\hat{k}}.\]
 It remains to establish which products $W_{\hat{k}}\times W_{\hat{\ell}}$ are in $\overline{\Gamma_{W,T}}$.

 We first consider the case $r=2$. In this case the intersection of the two components is the origin. Hence, by Lemma \ref{lem-uvinGraph}, the decomposition of the separating variety is as in statement \ref{prop-sepvarS2}. The ideal given in this same statement is exactly the toric ideal of the Lawrence lifting of the matrix of weights $A$,
 \[\Lambda(A):=\left(\begin{array}{cc} A & 0\\ I & I\end{array}\right),\]
 where $I$ denotes the $n\times n$ identity matrix. Thus is it is prime and has height $n-1$ (see \cite[Chapter 7, page 55]{bs:gbcp}). It is easy to see that this ideal vanishes on the graph, and so its zero set in $W\times W$ contains the closure of the graph. As $T$ is connected and $A$ has rank $1$, the closure of the graph is itself an irreducible variety of dimension $n+1$. It follows that the toric ideal associated to $\Lambda(A)$ is the defining ideal of $\overline{\Gamma_{W,T}}$.

 Let us now consider the case $r\geq 3$. First note that in this case, the intersection of two irreducible component of the nullcone will contain the weight space of at least one weight. Let $K$ be the support of this intersection. As the weight space of each weight has dimension at least 2, it follows that $\ker A_K\neq \{0\}$, and so by Lemma \ref{lem-uvnotinGraph}, the product $W_{\hat{k}}\times W_{\hat{\ell}}$ is never contained in $\overline{\Gamma_{W,T}}$, and the decomposition is as stated.

\end{proof}

\begin{lem}
We have $\mathcal{N}_{W,T}=\bigcup_{k=1}^r W_{\hat{k}}$, where $W_{\hat{k}}=\mathrm{span}\{w_{i,j}\mid i\neq k\}$.
\end{lem}
\begin{proof}
 Follows directly from Lemma \ref{lem-nullcone} since in this case zero is not in the convex hull of any proper subset of $wt([n])$. Indeed, any proper subset of the $r+1$ distinct weights are linearly independant.
\end{proof}

\begin{lem}\label{lem-equal}
$(1,1)(\mathcal{S}_{W,T})=(1,\sigma)(\mathcal{S}_{W,T})$ if and only if $\sigma$ acts trivially on $W/\!\!/T$.
\end{lem}
\begin{proof}
Suppose $(1,1)(\mathcal{S}_{W,T})=(1,\sigma)(\mathcal{S}_{W,T})$. Then for any $(u,v)\in \mathcal{S}_{W,T}$ there exists $(u',v')\in \mathcal{S}_{W,T}$ such that $(u,v)=(u',\sigma\cdot v')$. It follows that
\[\pi_T(u)=\pi_T(v)=\pi_T(\sigma\cdot v')=\sigma\cdot\pi_T(v')=\sigma\cdot\pi_T(u')=\sigma\cdot \pi_T(u)\,,\]
and so $\pi_T(u)=\sigma \pi_T(u)$. As we can choose $u$ arbitrarily and $\pi_T$ is surjective (since $T$ is a reductive group, see for example \cite[Lemma 2.3.1]{hd-gk:cit}), it follows that $\sigma$ acts trivially on $W/\!\!/T$.

On the other hand, suppose $\sigma$ acts trivially on $W/\!\!/T$, then of course so does $\sigma^{-1}$. For any $(u,v)\in\mathcal{S}_{W,T}$, we will have $(u,v)=(u, \sigma\cdot(\sigma^{-1}\cdot v))\in (1,\sigma)(\mathcal{S}_{W,T})$, since
\[\pi_T(u)=\pi_T(v)=\sigma^{-1}\cdot\pi_T(v)=\pi_T(\sigma^{-1}\cdot v)\,.\]
\end{proof}

\section{Upper bounds on the size of separating sets}\label{section-UpperBounds}

One can find an upper bound on the size of separating sets, given some knowledge of the secant variety of the embedding. In this section, for a projective variety $X \subseteq \mathbb{P}^n$, we define the \emph{secant set} of $X$ to be

\[ \sigma (X) = \bigcup_{ x,x' \in X, x \not= x'} \langle x , x' \rangle \subseteq \mathbb{P}^n,\]
where $\langle \ \rangle$ denotes linear span. The \emph{secant variety} of $X$ is the closure ${\operatorname{Sec}(X)}=\overline{\sigma(X)}$ of the secant set of $X$.

If $p \in \mathbb{P}^n$, we write $\pi_p$ for projection from $p$ onto a hyperplane.

\begin{lem}\label{lem-closed-secant} Let $X\subseteq \mathbb{P}^n$ be a projective variety, and $p \notin {\operatorname{Sec}(X)}$. If $\sigma(X)$ is not closed, then $\sigma(\pi_p(X))$ is not closed.
\end{lem}
\begin{proof}
Without loss of generality, suppose that $p=[0: \cdots : 0 : 1] \notin {\operatorname{Sec}(X)}$. Then projection from $p$ induces a well defined morphism ${\operatorname{Sec}(X)}\to \mathbb{P}^{n-1}$  that sends a point ${[x_1: \cdots : x_n : x_{n+1}]}$ to ${[x_1: \cdots : x_n]}$.

Suppose that $\sigma(\pi_p(X))$ is closed, and $\sigma(X)$ is not. Then, by the valuative criterion for properness (see, e.g. \cite[Theorem 4.7]{rh:ag}), there exists a punctured formal curve $\lambda_t, t\neq 0$ in $\sigma(X)$ that does not admit a limit in $\sigma(X)$ and such that $\gamma_t=\pi_p(\lambda_t)$ admits a limit in $\sigma(\pi_p(X))$.

Choose curves $a_t, b_t \subset \mathbb{A}^{n+1}$ and $u_t, v_t \subset \mathbb{A}^1$ such that $[a_t], [b_t] \subset X$ for $t\neq 0$ and $[u_t a_t + v_t b_t] = \lambda_t$. (Since the secant variety is parametrized by $(X \times X)\setminus \Delta \times \mathbb{A}^2$, this is possible locally.) For a point in $x \in\mathbb{A}^{n+1}$ write $x'$ for the projection onto the first $n$ coordinates and $x''$ for the last coordinate. Since $\gamma_t$ converges, after possibly rescaling, we have that $u_t a'_t + v_t b'_t$ converges and $u_t a''_t + v_t b''_t$ has a pole. Dividing through by the latter, we see that the limit of $\lambda_t$ is $p$, contradicting that $p \notin {\operatorname{Sec}(X)}$.
\end{proof}

\begin{lem}\label{lem-spec-iso-projection} Let $A$ be a graded $\Bbbk$-algebra generated in a single degree, and let $X=\operatorname{proj} A$. If $p\notin \sigma(X)$, then $\pi_p$ induces a bijective map of $\operatorname{Spec} A$ onto its image.
\end{lem}
\begin{proof} We choose coordinates so that $p=[0:\cdots:0:1]$. We lift the map $\pi_p$ to $\pi_{p,\text{aff}}:\mathbb{A}^{n+1} \to \mathbb{A}^{n}$ as $(x_1 ,\dots ,x_n , x_{n+1}) \mapsto (x_1 , \dots ,x_n)$. Now, the fiber over $\pi_{p,\text{aff}}|_{\operatorname{Spec} A}^{-1}(0)$ is just 0 since otherwise $[ 0:\cdots :0:1]$) would have to be in $X$, a contradiction. Suppose there are two points in $\operatorname{Spec} A$ that are mapped to the same point. The only possibility for this is if they are of the form $(a_1 ,\dots, a_n , b)$ and $(a_1 ,\dots, a_n , b') \in \operatorname{Spec} A$. But this forces $[0: \cdots : 0 :1]\in\sigma(X)$, again a contradiction.
\end{proof}

\begin{cor}\label{cor-upperbound}
Let $R$ be a subalgebra of a standard graded polynomial ring. Suppose that there is a separating set for $R$ consisting of homogeneous polynomials of the same degree and let $A\subseteq R$ be the subalgebra it generates. Let $X=\operatorname{proj} A$. Any set of $\dim \operatorname{Sec}(X)+1$ generic linear combinations of the original separating set will be a separating set. If, in addition, the secant set of $X$ does not fill its secant variety, then there exists a separating set of size $\dim \operatorname{Sec}(X)$.
 \end{cor}

 \begin{proof} If $Y\subseteq \mathbb{P}^n$ is a projective variety such that $\dim \operatorname{Sec}(Y)<n$, then a generic point satisfies $p \notin \operatorname{Sec}(Y)$, and the restriction of $\pi_p$ to $Y$ induces a homeomorphism onto the image. By Lemma~\ref{lem-spec-iso-projection}, this extends to a homeomorphism on the level of $\operatorname{Spec}$. Each such projection decreases the dimension of the ambiant space by one, and the codimension of the secant variety by at most one. Applying this repeatedly to projections of $X$, one obtains the first statement.

By Lemma~\ref{lem-closed-secant}, if $\sigma(X) \neq \operatorname{Sec}(X)$, this inequality is preserved by the projections $\pi_p$ above. Then, by Lemma~\ref{lem-spec-iso-projection}, one may project again to obtain an homeomorphism on $\operatorname{Spec}$, and decrease the dimension of the ambiant space by one more.
\end{proof}

\begin{cor}\label{cor-torusupperbound}
 Let $V$ be a $n$-dimensional representation of a torus of rank $r$. Then there exists a separating set of size at most $2n-2r$.
\end{cor}
\begin{proof}
 In this situation, it may not be possible to choose monomials of the same degree as generators for the ring of invariants. Let $f_1,\ldots,f_t$ be a set of monomial generators for ${\kk[V]}^T$ of degree $d_1,\ldots,d_n$. Let $x_0$ be an additional variable. Set $d:=\max\{d_i\mid i=1,\ldots t\}$ and $F_i:=x_0^{d-d_i}$ so that each $F_i$ has degree $d$. Note that $A:=\Bbbk[F_1,\ldots,F_t]$ is isomorphic to ${\kk[V]}^T$. In particular, it has the same dimension $n-r$, and so $X:=\operatorname{proj} A$ has dimension $n-r-1$ and its secant variety has dimension at most $2n-2r-1$. Applying Corollary~\ref{cor-upperbound} it follows that there exists an injective morphism $\operatorname{Spec}(A)\to \mathbb{A}^{2n-2r}$. As $A\cong{\kk[V]}^T$, it follows that there exist an injective morphism $V/\!\!/T\to\mathbb{A}^{2n-2r}$, that is, there exists a separating set of size $2n-2r$.
\end{proof}

\begin{rmk} The first statement of Corollary~\ref{cor-upperbound} may also be justified as follows. Recall that the \emph{analytic spread}  of an ideal $I$ in a graded ring $(R,\mathfrak{m},\Bbbk)$ is the smallest size of a generating set for a minimal reduction of an ideal; if the residue field of the ring is infinite then a generic linear combination of the minimal generators generates a minimal reduction. This number also coincides with the dimension of the special fiber ring $R[It]\otimes \Bbbk$. If $I$ is generated in a single degree $d$, the special fiber ring is a subalgebra of $R$ generated by minimal generators of $I$. See \cite[Chapter~5]{SwansonHuneke} for a thorough treatment of analytic spread.

We claim that the special fiber ring of $\mathcal{I}_{V,G}$ is the coordinate ring of $\operatorname{Sec}(\operatorname{proj}(R^G))$. Indeed, this secant variety is the projectivization of the set of points of the form
\begin{align*}
&\big(\,a f_1(v) + a' f_1(v')\,,\,\dots\,,\,a f_t(v) + a' f_t(v')\,\big) \\
&=\big(\, f_1(v/\sqrt[d]{a}) - f_1(v'/\sqrt[d]{-a'})\,,\,\dots\,,\,f_t(v/\sqrt[d]{a}) - f_t(v'/\sqrt[d]{-a'})\,\big)
\end{align*}
 where $a,a'\in \Bbbk, v,v' \in V,$ and $f_1,\dots,f_t$ are minimal generators for $R^G$, and hence its coordinate ring is isomorphic to $\Bbbk[f_1\otimes 1 - 1 \otimes f_1, \dots, f_t\otimes 1 - 1 \otimes f_t]$.

 Consequently, the analytic spread of $\mathcal{I}_{V,G}$ is $s=\dim \operatorname{Sec}(\operatorname{proj}(R^G)) +1$. For a generic $s \times t$ matrix of scalars $A$, we have that $[f_1\otimes 1 - 1 \otimes f_1, \dots, f_t\otimes 1 - 1 \otimes f_t] \cdot A$ generates a minimal reduction $J$ of $\mathcal{I}_{V,G}$, and hence agrees with $\mathcal{I}_{V,G}$ up to radical. But then, setting $[f_1, \dots, f_t] \cdot A = [g_1, \dots, g_s]$, we have that $J=(g_1\otimes 1 - 1 \otimes g_1, \dots, g_s\otimes 1 - 1 \otimes g_s)$. Thus, $(g_1,\dots,g_s)$ is a separating set for $G$.
\end{rmk}

\begin{eg}[Veronese varieties]\label{eg-veroneses-example}
We consider a Veronese variety which is the image of the closed embedding $ \mathbb{P}^{n_1-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1)$ and we suppose that $a_1$ is not 1 or a power of $\operatorname{char} \Bbbk$. As discussed in Section \ref{section-SV}, its ring of homogeneous coordinates is equal to the ring of invariants of the cyclotomic group $\mu_{a_1}$ acting diagonally. The secant variety of this Veronese variety has dimension $2(n-1)$ when $d=2$ and $2(n-1)+1$ otherwise (classical). Hence Corollary \ref{cor-upperbound} implies that the minimal size of a separating set for the affine cone is at most $2n-1$ when $d=2$ and $2n$, otherwise. On the other hand, for all $d$, one can construct a separating set of size $2n-1$ (see \cite[Proposition 5.2.2]{ed:si}) and this is the minimal size of a separating set (follows from \cite[Theorem 3.4]{ed-jj:silc}). Note that the invariants forming this separating set are linear combinations of monomials from the minimal generating set given above, that is, they come from a (non-generic) linear projection of the Veronese variety. It follows that for $d>2$, the set of points belonging to secant lines does not fill out the secant variety (this is already well known).\hfill $\triangleleft$
\end{eg}

With an eye towards the last part of Corollary~\ref{cor-upperbound}, we study when the set of secant lines fills the secant variety of a Segre-Veronese variety. The following proposition is well-known in the case of Segre varieties; it translates to the fact that closest rank 2 approximation of a tensor is an ill-posed problem.

\begin{prop}\label{prop-notclosed} Let $X$ be the Segre-Veronese variety which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$. If $r>2$ or $r=2$ and $(a_1,a_2)\neq(1,1)$, then the set of secant lines to $X$ does not fill the secant variety of $X$.
\end{prop}
\begin{proof} We will write vectors in tensor notation.
First, let $r>2$. Set \[w = \phi_{a_4}(1,0,\dots,0) \otimes \cdots \otimes \phi_{a_r}(1,0,\dots,0)\,,\]
and
\[
\begin{aligned}  v_{\lambda} = \lambda \cdot \phi_{a_1}(1, \lambda^{-1}, 0, \dots, 0) \otimes \phi_{a_2}(1, \lambda^{-1}, 0, \dots, 0) \otimes \phi_{a_3}(1, \lambda^{-1}, 0, \dots, 0) \otimes w\\
 -  \lambda \cdot \phi_{a_1}(1, 0, \dots, 0) \otimes \phi_{a_2}(1, 0, \dots, 0) \otimes \phi_{a_3}(1, 0, \dots, 0) \otimes w
 \end{aligned} \]
 for $\lambda \in \Bbbk$,
 and
 \[ \begin{aligned}
   v_{\infty} = \phi_{a_1}(1, 0, \dots, 0) \otimes \phi_{a_2}(1, 0, \dots, 0) \otimes \phi_{a_3}(0,1, 0, \dots, 0)  \otimes w \\ + \phi_{a_1}(1, 0, \dots, 0) \otimes \phi_{a_2}(0,1,0, \dots, 0) \otimes \phi_{a_3}(1, 0, \dots, 0)  \otimes w \\ + \phi_{a_1}(0,1,0 \dots, 0) \otimes \phi_{a_2}(1, 0, \dots, 0) \otimes \phi_{a_3}(1, 0, \dots, 0)  \otimes w\,.\end{aligned}\]
Performing multilinear expansion and canceling terms, one sees that $\{ v_\lambda \ | \ \lambda \in \Bbbk\} \cup \{ v_{\infty} \}$ forms a locally closed subset in $\mathbb{P}^N$. Clearly, $\{ v_\lambda \ | \ \lambda \in \Bbbk\}$ is contained in the set of secant lines to $X$, but $v_{\infty}$ is a rank 3 tensor, see e.g., \cite{vds-lhl:tripblrap}, and hence is not contained in the secant set, but is in the secant variety.
 Now let $r=2$. Set
 \[ \begin{aligned} v_{\lambda}= \lambda \cdot \phi_{a_1}(1, \lambda^{-1}, 0, \dots, 0) \otimes \phi_{a_2}(1, \lambda^{-1}, 0, \dots, 0) \\
 -  \lambda \cdot \phi_{a_1}(1, 0, \dots, 0) \otimes \phi_{a_2}(1, 0, \dots, 0)
 \end{aligned}\]
for $\lambda \in \Bbbk$, and
\[ v_{\infty}= e_{a_1-1,1,0,\dots,0} \otimes e_{a_2,0,  \dots,0} +  e_{a_1,0,  \dots,0} \otimes e_{a_2-1,1,0,\dots,0} \,,\]
where $e_{\alpha}$ is the basis vector in the coordinate corresponding to the monomial with exponent $\alpha$ under the Veronese map. One again verifies that $\{ v_\lambda \ | \ \lambda \in \Bbbk\} \cup \{ v_{\infty} \}$ is locally closed. It remains to show that $v_{\infty}$ does not lie on a secant line. In the case that $a_1=2, a_2=1$, this condition can be verified in Macaulay2 by writing a system of equations this vector to be expressed as the sum of two elements in $X$ and seeing that the ideal it generates is the trivial ideal. In the case of larger $a_i$, one sees that the coordinates corresponding to the  $\mathcal{O}(2,1)$ case give the same system of equations multiplied by a uniform scalar, and hence again have no solution.
 \end{proof}

\begin{prop}\label{prop-UBSV}[Upper bounds on the size of separating sets for the affine cone over Segre-Veroneses]
We consider the Segre-Veronese variety which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$. Then the minimal size of a separating set for the affine cone is bounded above by
\begin{enumerate}
 \item $2(n_1+n_2)-4$, if $r=2$ and $a_1,a_2$ are either 1 or a power of $\operatorname{char}\Bbbk$.\label{prop-secantBound2}
 \item $2\sum_{i=1}^r n_i  - 2r +1$, in all other cases.\label{prop-secantBound3}
\end{enumerate}
Moreover, in case~(\ref{prop-secantBound2}) the separating set satisfying the bound can be obtained by taking generic linear combinations of a generating invariant monomials.
\end{prop}
\begin{proof}
In case~(\ref{prop-secantBound2}), we may assume that $(a_1,a_2)=(1,1)$ by Lemma \ref{lem-nonmodSV}. Then the secant variety is the space of rank 3 matrices, which has the dimension indicated.
In general, and hence in case~(\ref{prop-secantBound3}), the dimension of the secant variety is bounded above by $2(\sum (n_i-1))+1$, and is not closed by Proposition~\ref{prop-notclosed}, so the bound follows by Corollary~\ref{cor-upperbound}.
\end{proof}

\begin{eg} In the case of a Segre product with two factors and $n_1=3$, the set
\begin{align*}&x_{1,1} x_{2,1}, \ x_{1,1} x_{2,2},\ x_{1,2} x_{2,1} ,\ x_{1,2} x_{2,n_2},\ x_{1,3} x_{2,{n_2-1}} ,\ x_{1,3} x_{2,n_2} ,\\ &u_i:=x_{1,1} x_{2,i+1} - x_{1,2} x_{2,i},\  v_i:=x_{1,2} x_{2,i} - x_{1,3} x_{2,i-1},\ \quad  i=2,\dots,n_2-1
\end{align*}
is a separating set. Indeed, by induction on $n_2$ it suffices to show that the values of $x_{1,1} x_{2,3}, x_{1,2} x_{2,2},$ and $x_{1,3} x_{2,1}$ can be recovered from those of $x_{1,1} x_{2,1}, x_{1,1} x_{2,2}, x_{1,2} x_{2,1}, u_2, $ and $v_2$. If $x_{1,1} x_{2,1} \neq 0$, then one has $x_{1,2} x_{2,2} = \frac{ x_{1,1} x_{2,2} \cdot x_{1,2} x_{2,1} }{x_{1,1} x_{2,1}}$. If $x_{1,1} x_{2,1} = 0$ and $x_{1,2} x_{2,1} \neq 0$, then $x_{1,1} = 0$, so $x_{1,3} x_{2,1} = 0$, from which $x_{1,2} x_{2,2}$ and $x_{2,1} x_{2,3}$ can be obtained. The case $x_{1,1} x_{2,1} = 0$ and $x_{1,1} x_{2,2} \neq 0$ is similar. Finally, if $x_{1,1} x_{2,1} = x_{1,2} x_{2,1} = x_{1,1} x_{2,2} = 0$, then at most one of $x_{1,1} x_{2,3}, x_{1,2} x_{2,2},$ and $x_{1,3} x_{2,1}$ is nonzero. If one of these is nonzero, then the two of $u_2, v_2,$ and $x_{1,3} x_{2,1} - x_{1,1} x_{2,3}= - u_2 - v_2$ containing that monomial are equal to it (up to sign), while if all three monomials are zero, these three binomials are zero. Thus, one can determine which of $x_{1,1} x_{2,3}, x_{1,2} x_{2,2},$ and $x_{1,3} x_{2,1}$ is nonzero, and the value, from the values of $u_2$ and $v_2$.\hfill $\triangleleft$
\end{eg}

\section{Lower bounds on the size of separating sets}\label{section-LowerBounds}

In this section, we focus on the affine cones over Segre-Veronese varieties. We will give lower bounds for the sizes of separating sets. In most cases, these lower bounds agree with the upper bounds in the previous section, thus giving the precise cardinality of a minimal separating set. Our technique is based on the following observation and relies on the use of local cohomology (\cite{sbi-gjl-al-cm-em-aks-uw:thlc} provides a good reference).

\begin{lem}\label{lem-seprankLC}\cite[Section~3]{ed-jj:silc}
Let $G$ act linearly on $V$. Then the minimal size of a separating set for $G$ is bounded below by the maximum $i$ such that $\HH{i}{\mathcal{I}(\mathcal{S}_{V,G})}{{\kk[V^2]}}$ is nonzero.
\end{lem}

We will require two elementary lemmas on local cohomology. The second Lemma below, while well-known to experts, is proved here for lack of an appropriate reference.

\begin{lem}\label{lem-specialization}(see,~e.g.,~\cite[Theorem~9.6]{sbi-gjl-al-cm-em-aks-uw:thlc})
Let $I$ and $J$ be ideals in a noetherian ring $A$. Then
\[{\operatorname{cd}(I,A)\geqslant \operatorname{cd}(I(A/J),A/J)}\,,\] where $\operatorname{cd}$ denotes the \emph{cohomological dimension}, the greatest nonvanishing index of the local cohomology.
\end{lem}

\begin{lem}\label{lem-Kunneth} Let $A$ and $B$ be $\Bbbk$-algebras, where $\Bbbk$ is a field. Let $\mathfrak{a}\subset A$ and $\mathfrak{b} \subset B$ be ideals. Set $C=A \otimes_{\Bbbk} B$ and $\mathfrak{c}=\mathfrak{a} C + \mathfrak{b} C$. Then  $\HH{k}{\mathfrak{c}}{C}\cong \bigoplus_{i+j=k} \HH{i}{\mathfrak{a}}{A} \otimes_{\Bbbk} \HH{j}{\mathfrak{b}}{B}$. In particular, the cohomological dimension of $\mathfrak{c}$ is the sum of the cohomological dimensions of $\mathfrak{a}$ and of $\mathfrak{b}$.
\end{lem}
\begin{proof} Let $\mathfrak{a} = (f_1,\dots, f_s)$ and $\mathfrak{b}=(g_1, \dots, g_t)$. One computes $\HH{k}{\mathfrak{c}}{C}$ via the \v{C}ech complex $\{f_1,\dots, f_s, g_1, \dots, g_t\}$ on $C$, which we denote $\check{\mathcal{C}}(\{\underline{f},\underline{g}\},C)$. One verifies that we have an isomorphism of complexes \[\check{\mathcal{C}}(\{\underline{f},\underline{g}\},C)= \mathrm{Tot}\big(\check{\mathcal{C}}(\{\underline{f}\},A)\otimes_{\Bbbk}\check{\mathcal{C}}(\{\underline{g}\},B)\big)\,.\]
As this is a tensor product of free modules (over $\Bbbk$), the Kunneth formula yields an isomorphism
\[H^{\bullet}(\check{\mathcal{C}}(\{\underline{f},\underline{g}\},C))= \mathrm{Tot}\big(H^{\bullet}\check{\mathcal{C}}(\{\underline{f}\},A)\otimes_{\Bbbk} H^{\bullet}\check{\mathcal{C}}(\{\underline{g}\},B)\big)\,.\]
As the \v{C}ech complexes $\check{\mathcal{C}}(\{\underline{f}\},A)$ and $\check{\mathcal{C}}(\{\underline{g}\},B)$ compute $\HH{i}{\mathfrak{a}}{A}$ and $\HH{j}{\mathfrak{b}}{B}$, the Lemma is established.
\end{proof}

We obtain the first main result of the section.

\begin{thm}\label{thm-segvarUB} Let $X$ be the Segre-Veronese variety corresponding to the bundle $\mathcal{O}(a_1,\dots,a_n)$. If at least one $a_i$ is not 1 or $p^e$, where $p=\mathrm{char}(\Bbbk)$, then the minimal size of a separating set for the affine cone over $X$ is at least $2\sum_{i=1}^r n_i  - 2r +1$.
\end{thm}
\begin{proof} By lemma \ref{lem-nonmodSV} we may assume that $a_i\in\Bbbk^*$ for all $i=1,\ldots,r$. We will show that the cohomological dimension of $\mathcal{I}(\mathcal{S}_{W,G})$ is equal to $s={2\sum_{i=1}^r n_i  - 2r +1}$. By Proposition~\ref{prop-sepvarSV}, we can decompose $\mathcal{S}_{W,G}$ as a union of components isomorphic (via an automorphism of $W$) to $\mathcal{S}_{W,T}$. By Lemma~\ref{lem-equal}, and the assumption on the the $a_i$'s, there are at least two such components, and again by Proposition~\ref{prop-sepvarSV}, the intersection of any pair of distinct components is $\mathcal{N}_{W,G} \times \mathcal{N}_{W,G}$; note that this implies that the intersection of any union of components with another component is $\mathcal{N}_{W,G} \times \mathcal{N}_{W,G}$. Label the ideals of the distinct components as $\mathfrak{a}_1,\dots,\mathfrak{a}_t$, $\mathcal{N}=\mathcal{I}(\mathcal{N}_{W,G} \times \mathcal{N}_{W,G})$, and $\mathfrak{b}_i=\mathfrak{a}_1 \cap \cdots \cap \mathfrak{a}_i$, so that $\mathcal{S}_{W,G}=\mathfrak{b}_t$. There is a Mayer-Vietoris long exact sequence:
\[ \begin{aligned}
\cdots \longrightarrow \HH{i}{\mathcal{N}}{{\kk[V^2]}} \longrightarrow &\HH{i}{\mathfrak{b}_j}{{\kk[V^2]}} \oplus \HH{i}{\mathfrak{a}_{j+1}}{{\kk[V^2]}} \longrightarrow \HH{i}{\mathfrak{b}_{j+1}}{{\kk[V^2]}} \\
\longrightarrow &\HH{i+1}{\mathcal{N}}{{\kk[V^2]}} \longrightarrow \HH{i+1}{\mathfrak{b}_j}{{\kk[V^2]}} \oplus \HH{i+1}{\mathfrak{a}_{j+1}}{{\kk[V^2]}}\longrightarrow \cdots \end{aligned}\]

By Proposition~\ref{prop-UBSV}, there exists a separating set of size $s$ for the $T$-invariants. By Lemma~\ref{lem-seprankLC}, the cohomological dimension of $\mathfrak{a}_i$ is bounded above by~$s$. By induction on $i$, using that the cohomological dimension of $\mathcal{N}$ is $s+1$ from Lemma~\ref{lem-Nvg_Nvg}, it follows that $\HH{s}{\mathcal{I}(\mathcal{S}_{W,G})}{{\kk[V^2]}}$ is nonzero.
\end{proof}

\begin{cor}[{\cite[Theorem~4.2]{ha-mcb:odsvsvv}}]\label{cor:nondeg}  For $X$ as above, the secant variety of $X$ is not defective.
\end{cor}
\begin{proof} Suppose the secant variety is defective, i.e., $\dim\operatorname{Sec}(X) < 2 \dim(X) +1 =  2(\sum_{i=1}^r (n_i-1))+1$. Then, by Proposition~\ref{prop-notclosed} and Corollary~\ref{cor-upperbound}, there exists a separating set of size less than $2(\sum_{i=1}^r (n_i-1))+1=2\sum_{i=1}^rn_i-2r+1$, which contradicts Theorem~\ref{thm-segvarUB}.
\end{proof}

\begin{lem}\label{lem-Nvg_Nvg} Let $Y$ be the affine cone over the nonmodular Segre-Veronese variety $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$. The cohomological dimension of $\mathcal{I}(\mathcal{N}_{W,G} \times \mathcal{N}_{W,G})$ is $2 \sum_{i=1}^r n_i -2r +2$.
\end{lem}

\begin{proof} By Lemma~\ref{lem-Kunneth}, it is equivalent to compute the cohomological dimension of $\mathcal{I}(\mathcal{N}_{W,G})$. We have that
\[ \begin{aligned}
 &\mathcal{I}(\mathcal{N}_{W,G})= \\
 &\hspace{1cm} \big(\ M_1 \cdots M_r \ \big| \ M_i \ \text{is a monomial of degree $a_i$ in the variables} \  x_{i1}, \dots , x_{i n_i} \big)\,,\end{aligned}\]
 whose radical is
 \[(\, x_{1,j_1}\cdots x_{r,j_r} \mid   j_i\in[n_i]\,) = \prod_{i=1}^r (x_{i,1}\, \dots, x_{i,n_i})\,.\]
Note that this coincides with the defining ideal for the nullcone of the action of the torus $T$ (see Proposition \ref{prop-sepvarSV}).

Set $\mathfrak{a}_i=(x_{i,1}, \dots, x_{i,n_i})$. We apply the Mayer-Vietoris spectral sequence of \cite{jam-rgl-az:lcasmi}. Since each $A \subseteq \{1,\dots,r\}$ yields a distinct ideal $\mathfrak{a}_A=\sum_{i\in A} \mathfrak{a}_i$, the intersection poset of the subspace arrangement defined by $J$ is the full Boolean poset. Thus, the associated simplicial complex of each interval in the poset is a homology sphere of dimension $\# A -2$, where, by convention, the $(-1)$-sphere is the empty set. Set $n_A=\sum_{i\in A} n_i = \mathrm{ht} (\mathfrak{a}_A)$. By \cite[Corollary~1.3]{jam-rgl-az:lcasmi}, there is a filtration of the local cohomology with support in $J$ such that the associated graded module satisfies
\[ \mathrm{gr} \big( \HH{q}{J}{{\kk[V]}} \big) \cong \bigoplus_{\emptyset \neq A\subseteq \{1,\dots,r\}} \HH{n_A}{\mathfrak{a}_A}{{\kk[V]}} \otimes_{\Bbbk} \tilde{H}_{n_A - q -1} ( S^{\# A -2} , \Bbbk)\,.  \]
Thus, the cohomological dimension of $I(\mathcal{N}_{V,G})$ is
\[ \max \big\{ n_A - \# A +1 \ | \ \emptyset \neq A\subseteq [r] \big\} =  \sum_{i=1}^r n_i -r +1 \,,\]
and hence the cohomological dimension of $\mathcal{I}(\mathcal{N}_{V,G}\times \mathcal{N}_{V,G})$ is twice this number, as claimed.
\end{proof}

For Segre varieties with at least three factors, we obtain a lower bound, but we do not expect this bound to be sharp in general.

\begin{prop}\label{prop-LBS}
 Let $X$ be the Segre variety which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(1,\dots,1)$, with $r>2$. Suppose, without loss of generality that $n_1\leqslant n_2\leqslant \cdots \leqslant n_r$. The size of a separating set for the affine cone over $X$ is at least $2 \big( \sum_{i=2}^{r} n_i \big) - 2r +4$.
 \end{prop}

\begin{proof}
As $X$ is nonmodular and the $a_i$'s are all 1, its ring of homogeneous coordinates coincides with the ring of invariants of an action of a torus of rank $r-1$ as discussed in Section \ref{section-SV}. The following ideal cuts out the corresponding separating variety:
\[ I=\big(\ M_1 \cdots M_r \otimes 1-1\otimes M_1 \cdots M_r \ \big| \
  M_i \ \text{is one of the variables} \  x_{i1}, \dots , x_{i n_i} \ \big).
 \]

 By Lemma \ref{lem-specialization}, the cohomological dimension of $I$ is bounded below by the cohomological dimension of the ideal we obtain via the linear specialization to $x_{1,1}\otimes 1=x_{1,2}\otimes 1=1\otimes x_{1,1}=1$ and $1\otimes x_{1,1}=0$. This ideal is
 \[
 \big(\ M_2 \cdots M_r \otimes 1,1\otimes M_2 \cdots M_r \ \big| \
 M_i \ \text{is one of the variables} \  x_{i1}, \dots , x_{i n_i} \ \big)
\,.\]
This ideal coincides with $\mathcal{I}(\mathcal{N}_{W,T'} \times \mathcal{N}_{W,T'})$ for the action $T'$ on $W$ defining the Segre embedding of $\prod_{i=2}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$. Applying Lemma~\ref{lem-Nvg_Nvg}, we obtain the bound in the statement.
 \end{proof}

 The proof above works for general Segre-Veronese varieties. We have restricted the statement in the proposition above, because in all other cases we can obtain a more precise result. The only remaining case is that of Segre products with two factors. In this case, local cohomology groups fail to provide a sufficient obstruction in positive characteristic, but we may argue along similar lines using \'etale cohomology. We refer the reader to \cite{Milne} for the facts from \'etale cohomology used below.

 Fix $\Lambda=\mathbb Z/q\mathbb Z$, where $q\neq \operatorname{char}\Bbbk$ is a prime.

\begin{prop}\label{prop-upper} If $Y$ is a $d$-dimensional variety that is covered by $k$ affines, then $\Het{i}{Y,\Lambda}=0$ for all $i\geq d+k$. In particular, if $Z$ is a closed subset of $\mathbb{A}^d$ and $\Het{d+k-1}{\mathbb{A}^d \setminus Z,\Lambda}\neq 0$, then $Z$ cannot be defined by fewer than $k$ equations.
\end{prop}

We will use the following result.

\begin{prop}[Bruns-Schwanzl \cite{wb-rs:tneddv}] Let  $M$ be a $2 \times s$ matrix of indeterminates in the polynomial ring $A$. Set $Z=V(I_2(M))\subset \mathbb{A}^{2s}$. Then $\Het{4s-4}{\mathbb{A}^{2s}\setminus Z, \Lambda}\cong \Lambda$, and the higher \'etale cohomology groups vanish.
\end{prop}

\begin{thm} \label{thm-S2factor} For the affine cone over the Segre embedding of $\mathbb{P}^{n_1-1} \times \mathbb{P}^{n_2-1}$, any separating set has size at least $2n_1+2n_2-4$.
\end{thm}
\begin{proof}
By the long exact sequence
\[ \cdots\rightarrow\Het{r}{\mathbb{A}^{2s}, \Lambda} \rightarrow\Het{r}{\mathbb{A}^{2s}\setminus Z, \Lambda} \rightarrow \Hetl{r+1}{Z}{\mathbb{A}^{2s}, \Lambda} \rightarrow \Het{r+1}{\mathbb{A}^{2s}, \Lambda} \rightarrow \cdots\]
it follows that $\Hetl{4s-3}{Z}{\mathbb{A}^{2s}, \Lambda}\cong \Lambda$ and the higher such groups vanish. Then, the Gysin isomorphism yields $\Het{2s-1}{Z,\Lambda}\cong \Lambda$, with the higher ones vanishing. Another application of the Gysin isomorphism yields $\Hetl{4s+2t-3}{Z\times \{0\}}{\mathbb{A}^{2s}\times \mathbb{A}^{t},\Lambda}\cong \Lambda$, where $0$ is the origin in $\mathbb{A}^t$. Applying the sequence above, we obtain
\[\Het{4s+2t-4}{(\mathbb{A}^{2s}\times \mathbb{A}^{t})\setminus (Z\times \{0\}),\Lambda}\cong \Lambda\]
and the higher groups vanish.

By Proposition \ref{prop-sepvarSV}, part \ref{prop-sepvarS2} the seprating variety decomposes as
\[
 \mathcal{S}_{W,T}=\overline{\Gamma_{W,T}}\cup W_{\hat{1}}\times W_{\hat{1}} \cup W_{\hat{2}}\times W_{\hat{2}},
\]

Write $W,X,Y$ to denote $\overline{\Gamma_{W,T}},W_{\hat{1}},W_{\hat{2}}$, respectively, $A=\mathbb{A}^{2(m+n)}$, and $S$ for the separating variety $W\cup X \cup Y$. For all sequences below, we consider \'etale cohomology with coefficients in $\Lambda$.

We obtain one Mayer-Vietoris sequence:
\[\cdots\rightarrow\Het{i}{A\setminus\{0\}}\rightarrow \Het{i}{A\setminus X}\oplus\Het{i}{A \setminus Y}\rightarrow \Het{i}{A \setminus (X \cup Y)} \rightarrow \Het{i+1}{A\setminus\{0\}}\rightarrow\cdots\]
from which we conclude that
\[ \Het{i}{A\setminus X}\oplus\Het{i}{A \setminus Y}\cong \Het{i}{A \setminus (X \cup Y)}\]
by the natural inclusion maps for $i<4n_1+4n_2-1$.

From the Mayer-Vietoris sequence:
\begin{align*}
\cdots\rightarrow\Het{i}{A\setminus\{0\}}\rightarrow&\Het{i}{A\setminus(W\cap X)} \oplus \Het{i}{A\setminus(W\cap Y)} \\
&\rightarrow \Het{i}{A\setminus (W\cap (X\cup Y))}
\rightarrow\Het{i+1}{A\setminus\{0\}}\rightarrow\cdots\end{align*}
we conclude
 \[\Het{i}{A\setminus(W\cap X)} \oplus \Het{i}{A\setminus(W\cap Y)} \cong \Het{i}{A\setminus (W\cap (X\cup Y))}\] for $i<4n_1+4n_2-1$.

We consider one more Mayer-Vietoris sequence:
\begin{align*}
\cdots\rightarrow\Het{i}{A\setminus (W\cap (X\cup &Y))}\rightarrow\Het{i}{A \setminus W} \oplus \Het{i}{A \setminus (X \cup Y)} \\&\rightarrow \Het{i}{A \setminus S}
\rightarrow\Het{i+1}{A\setminus (W\cap (X\cup Y))}\rightarrow\cdots
\end{align*}
which, assuming $n_1\geqslant 3$, applying the consequences of the long exact sequences above also reads
\begin{align*}
\cdots\rightarrow\Het{i}{A&\setminus(W\cap X)} \oplus \Het{i}{A\setminus(W\cap Y)}\rightarrow\Het{i}{A \setminus W} \\&\rightarrow \Het{i}{A \setminus S}
\rightarrow\Het{i+1}{A\setminus(W\cap X)} \oplus \Het{i+1}{A\setminus(W\cap Y)}\rightarrow\cdots
\end{align*}
for $4n_2<i<4n_2+4n_2-1$. In particular, for $t=4n_2+4n_2-3$,
\[
\cdots \rightarrow\Het{t-1}{A\setminus S}\rightarrow \Het{t}{A\setminus(W\cap X)} \oplus \Het{t}{A\setminus(W\cap Y)}
\rightarrow\Het{t}{A \setminus W}
\rightarrow\cdots
\]
which computes as
\[
\cdots \rightarrow\Het{t-1}{A\setminus S}\rightarrow \Lambda\times\Lambda
\rightarrow\Lambda
\rightarrow\cdots
\]
Thus, $\Het{4n_1+4n_2-4}{A\setminus S}\neq 0$. The theorem then follows from Proposition~\ref{prop-upper}.
\end{proof}

\begin{proof}[Proof of Theorem~\ref{thm-MinSizeSV}]
 Recall that we can reduce to the case of nonmodular Segre-Veronese varieties by Lemma \ref{lem-nonmodSV}. The upper bounds are given by Proposition \ref{prop-UBSV} and the lower bounds are given by Theorem \ref{thm-segvarUB} for case \ref{thm-MinSizeSV1}, Proposition \ref{prop-LBS} for case \ref{thm-MinSizeSV3}, and Theorem \ref{thm-S2factor} for case \ref{thm-MinSizeSV2}. In cases \ref{thm-MinSizeSV1} and \ref{thm-MinSizeSV2} the upper and lower bounds coincide.
\end{proof}

\begin{rmk} In the cases of Theorem~\ref{thm-MinSizeSV} where the size of a minimal separating set is not exactly identified, namely, when the invariant ring is a Segre variety up to inseparable closure with at least three factors, we do not know whether local/\'etale cohomological bounds on the separating variety can be improved. In particular, we do not know whether they agree with the upper bounds provided by secant geometry techniques. However, in these cases in positive characteristic, local cohomological dimension is not a sharp lower bound in general. For a concrete example, one can compute that the projective dimension of ${\kk[V^2]}/{\mathcal{I}_{V,G}}$ is 6 for the Segre embedding of $\mathbb{P}^1\times \mathbb{P}^1 \times \mathbb{P}^1$ over $\mathbb F_2$, and hence the cohomological dimension is at most 6; equality holds due to Proposition~\ref{prop-LBS}. As in the proof of Theorem~\ref{thm-S2factor}, \'etale bounds may be sharper here.
\end{rmk}

\section{Monomial separating sets}\label{section-MonomialSepSets}

The focus of this section is on the invariants of representations of tori and their monomial separating sets. We include as a special case those representations whose ring of invariants is isomorphic to the ring of homogeneous coordinates on Segre-Veronese varieties.

\subsection{Combinatorial characterization of monomial separating subalgebras}

A monomial subalgebra of the invariant ring will be given by a subsemigroup $\mathcal{S}\subseteq \mathcal{L}$. For $I\subseteq \{1,\ldots,n\}$, set $\mathcal{S}_I=\mathcal{L}_I\cap \mathcal{S}$.

\begin{prop}\label{prop-SsepCharp}
 Suppose $\Bbbk$ has positive characteristic $p$. The subsemigroup ${\mathcal{S}\subseteq \mathcal{L}}$ gives a separating algebra if and only if there exist $m\geq 1$ such that $p^m\mathcal{L}\subseteq \mathcal{S}$.
\end{prop}
\begin{proof}
 Suppose there exist $m\geq 1$ such that $p^m\mathcal{L}\subseteq \mathcal{S}$. Take $u,v\in V$ and suppose they are separated by some invariant. Without loss of generality we may assume they are separated by $x^\alpha$ with $\alpha\in \mathcal{L}$. By our assumption, $p^m\alpha=\gamma\in \mathcal{S}$. Then $x^\gamma$ separates $u$ and $v$. Indeed, otherwise we have \[(x^\alpha(u))^{p^m}=x^\gamma(u)=x^\gamma(v)=(x^\alpha(v))^{p^m}\,,\]
 and so $x^\alpha(u)=x^\alpha(v)$, a contradiction.

 Now suppose $\mathcal{S}$ gives a separating algebra $A$. As this algebra is a graded subalgebra, it follows that the extension $A\subseteq \kk[x]^T$ is finite and $\kk[x]^T$ is the purely inseparable closure of $A$ in $\kk[x]$ (see \cite[Remark 3]{hd-gk:ciagac} or \cite[Theorem 6]{fdg:viac}). Hence, for any $x^\alpha\in\kk[x]^T$, there exist $m_\alpha\in \mathbb N$ such that $(x^\alpha)^{p^{m_\alpha}}\in A$. The finiteness of the extension ensures that there exists a natural number $m$ such that $(x^\alpha)^{p^{m}}\in A$. It follows that $p^m\mathcal{L}\subseteq\mathcal{S}$.
\end{proof}

\begin{lem} \label{lem-SSep}
 Suppose that for all $I\subseteq [n]$, $\mathcal{L}_I\subseteq \mathbb Z\mathcal{S}_I$, and for all $\alpha\in \mathcal{L}$, $\alpha_i\neq 0$ implies that there exist $\gamma\in \mathcal{S}$ such that  $i\in\operatorname{supp} (\gamma)$ and $\operatorname{supp} (\gamma) \subseteq \operatorname{supp} (\alpha)$. Then $\mathcal{S}$ gives a separating algebra.
\end{lem}
\begin{proof}
 Take $u,v\in V$ and suppose they are separated by some invariant, without loss of generality, suppose they are separated by $x^\alpha$ with $\alpha\in \mathcal{L}$. Suppose first that $x^\alpha(u)=0\neq x^\alpha(v)$. As $x^\alpha(u)=0$, there exists $i\in \operatorname{supp} (\alpha)$ such that $u_i=0$. By our assumption, there exist $\gamma\in \mathcal{S}$ such that $i\in \operatorname{supp} (\gamma)$ and $\operatorname{supp} (\gamma)\subseteq \operatorname{supp} (\alpha)$. Then as $v_j\neq 0$ for all $j\in \operatorname{supp} (\alpha)$, we have $x^\gamma(u)=0\neq x^\gamma (v)$.

 Suppose now that both $x^\alpha(u)$ and $x^\alpha(v)$ are non-zero. Then $u_i$ and $v_i$ are non-zero for all $i\in\operatorname{supp} (\alpha)$. By our assumption, there exist $\gamma,\gamma'\in \mathcal{S}$ such that $\alpha=\gamma-\gamma'$. Then one of $x^\gamma$ or $x^{\gamma'}$ must separate $u$ and $v$. Indeed, otherwise we have
 \[x^\alpha(u)=\frac{x^\gamma(u)}{x^{\gamma'}(u)}=\frac{x^\gamma(v)}{x^{\gamma'}(v)}=x^\alpha(v),
 \]
a contradiction.
\end{proof}

\begin{prop}\label{prop-sepalg}
 Suppose $\Bbbk$ has characteristic zero. Then the following are equivalent:

\begin{enumerate}
 \item $\mathcal{S}$ gives a separating algebra. \label{prop-sepalg1}

 \item For all $I\subseteq [n]$, $\mathcal{L}_I\subseteq \mathbb Z\mathcal{S}_I$, and for all $\alpha\in \mathcal{L}$, $\alpha_i\neq 0$ implies that there exist $\gamma\in \mathcal{S}$ such that  $i\in\operatorname{supp} (\gamma)$ and $\operatorname{supp} (\gamma) \subseteq \operatorname{supp} (\alpha)$. \label{prop-sepalg2}

 \item For any prime number $p$ there exist $m\geq 1$ such that  $p^m\mathcal{L}\subseteq \mathcal{S}$. \label{prop-sepalg3}

 \item There exist prime numbers $p,q$ and an $m\geq 1$ such that $p^m\mathcal{L}\subseteq \mathcal{S}$ and $q^m\mathcal{L}\subseteq \mathcal{S}$. \label{prop-sepalg4}

\end{enumerate}
\end{prop}
\begin{proof}
 (\ref{prop-sepalg1})$\Rightarrow$ (\ref{prop-sepalg2}): Suppose that $\mathcal{S}$ gives a separating algebra. As $T$ is reductive, the restriction of any separating set to a $T$-stable subspace gives a separating set \cite[Theorem 2.3.16]{hd-gk:cit}. Hence for any subset $I\subseteq [n]$, $\mathcal{S}_I$ must give a separating algebra in $\Bbbk[V_I]^T$. As we assume $\Bbbk$ has characteristic zero, the field of fractions of separating algebra given by $\mathcal{S}_I$ coincides with the field of fractions  of the invariant ring \cite[Proposition 2.3.10]{hd-gk:cit}, that is $\mathbb Z\mathcal{S}=\mathbb Z\mathcal{L}\supseteq \mathcal{L}$. Now take $\alpha\in \mathcal{L}$ and suppose $i_0\in \operatorname{supp} (\alpha)$. Consider the points $u,v\in V$ defined as
 \begin{align*}
    u_i &=  \left\{\begin{array}{cl}
		1 & i\in \operatorname{supp} (\alpha)\\
		0 & \text{otherwise}\end{array}\right.\\
    v_i &=  \left\{\begin{array}{cl}
		1 & i\in \operatorname{supp} (\alpha)\setminus \{i_0\}\\
		0 & \text{otherwise}\end{array}\right. .
   \end{align*}
Then $u,v\in V_I$ and $x^\alpha(u)=1\neq 0=x^\alpha(v)$. As $\mathcal{S}_I$ gives a separating algebra, there exist $\gamma \in \mathcal{S}_I$ such that $x^\gamma(u)\neq x^\gamma(v)$. It follows that $i_o\in\operatorname{supp} (\gamma)$, since otherwise $x^\gamma(u)=1=x^\gamma(v)$, a contradiction.

(\ref{prop-sepalg2})$\Rightarrow$ (\ref{prop-sepalg3}): The integer matrix $A$ gives a representation of the torus of rank $r$ over any field. Condition (\ref{prop-sepalg2}) does not involve the base field at all. Thus, if (\ref{prop-sepalg2}) holds, we can think of it as olding over a field of any characteristic $p$. Then by Lemma \ref{lem-SSep}, $\mathcal{S}$ gives a separating algebra over any field, and by Proposition \ref{prop-SsepCharp}, it follows that for any prime $p$ there exists $m\in\mathbb N$ such that $p^m\mathcal{L}\subseteq \mathcal{S}$.

(\ref{prop-sepalg3})$\Rightarrow$ (\ref{prop-sepalg4}): Immediate.

(\ref{prop-sepalg4})$\Rightarrow$ (\ref{prop-sepalg1}): Take $u,v\in V$ and suppose they are separated by some invariant, without loss of generality we may assume they are separated by $x^\alpha$ with $\alpha\in \mathcal{L}$. By our assumption, $p^{m}\alpha =\gamma_1\in \mathcal{S}$ and $q^{m}\alpha =\gamma_2\in \mathcal{S}$. If $x^{\alpha}(u)=0\neq x^\alpha(v)$, then $x^{\gamma_1}(u)=(x^\alpha(u))^{p^{m}}=0\neq (x^\alpha(u))^{q^{m}}=x^{\gamma_2}(u)$. So we may suppose both $x^\alpha(u)$ and $x^\alpha(v)$ are non-zero. One of $x^{\gamma_1}$ or $x^{\gamma_2}$ must separate $u$ and $v$. Indeed, otherwise $x^{\alpha}(u)/x^\alpha(v)$ is both a $p^{m}$-th and a $q^{m}$-th root of unity, that is, $x^{\alpha}(u)/x^\alpha(v)=1$, a contradiction.

\end{proof}

\subsection{Invariants with small support separate}

We apply the results of the previous section to give a bound, for a torus action $T$, on the number $r$ such that there exists a separating set consisting of elements that each involve at most $r$ variables. In \cite{md-es:hdag}, Domokos and Szab\'o define invariants of algebraic groups to bound this number for actions of algebraic groups on product varieties; in fact, one may ask this question for any subring of a polynomial ring, so that one has a well-defined notion of the number of variables an element involves.

W do not believe that the following two results are new, but we have not seen the exact statement of Theorem \ref{thm-r+1} in the literature.

\begin{lem}\label{lem-sparsevectors} Let $\Bbbk$ be a field, $n > m$ and let $\{v_I \ | \ I \subseteq [n], |I|=m\}$ be a collection of nonzero vectors in $\Bbbk^n$ such that the projection of $v_I$ onto the coordinate subspace $\Bbbk^I$ is zero. Then $\dim(\Bbbk \langle v_I \rangle)\geqslant m+1$.
\end{lem}
\begin{proof} We proceed by induction on $m$. The case $m=0$ is trivial, as there exists a nonzero vector by hypothesis. For the inductive step, assume without loss of generality that the first coordinate of $v_{[m]}$ is nonzero. By the inductive hypothesis, there are $n$ linearly independent vectors $\{w_1, \dots, w_m\}$ in $\{v_I \ | \ I \subseteq [n], |I|=m, 1\in I\}$, since omitting the first coordinate produces a set of vectors satisfying the statement of the lemma. As the vectors $\{w_1, \dots, w_m\}$ all have first coordinate zero, the set of vectors $\{w_1, \dots, w_m, v_{[m]}\}$ is linearly independent.
\end{proof}

\begin{thm} Let $A$ be a surjective $r \times n$ matrix with $n > r$. Then the lattice $\ker_\mathbb Z(A)\subset \mathbb Z^n$ is generated by elements with at most $r+1$ nonzero entries. \label{thm-r+1}
\end{thm}
\begin{proof} For a subset $I\subseteq [n], |I|=r+1$, let $A_I$ be the matrix obtained from $A$ by taking only the columns whose indices lie in $I$. Let $K_I\subseteq \mathbb Z^I \subseteq \mathbb Z^n$ be the kernel of $A_I$, and $K$ be the kernel of $A$. By definition, $\mathbb Z \langle K_I \rangle \subseteq K$; we will show that these lattices agree upon tensoring with $\mathbb Q$ and $\mathbb F_p$ for each prime $p$. Note that for each such $I$, $K_I$ contains a nonzero vector. Moreover, $K+I$ contains a vector that is nonzero mod $p$ for each prime $p$: if $p v_I \in K_I$, then $v_I\in K_I$ as well. Thus, for any $\Bbbk=\mathbb Q, \mathbb F_p$, $\mathbb Z \langle K_I \rangle \otimes \Bbbk \subseteq K\otimes\Bbbk$, and $\mathbb Z \langle K_I \rangle \otimes \Bbbk$  satisfies the hypotheses of Lemma~\ref{lem-sparsevectors} with $m=n-(r+1)$, so that its dimension is at least $n-r$. As the sequence
\[ 0 \rightarrow K \rightarrow \mathbb Z^n \stackrel{A}{\rightarrow} \mathbb Z^r \rightarrow 0 \]
is split, we have that the dimension of $K \otimes \Bbbk$ is $n-r$. Thus, $\mathbb Z \langle K_I \rangle \otimes \Bbbk= K\otimes \Bbbk$ for all such $\Bbbk$, so $\mathbb Z \langle K_I \rangle = K$ as required.
\end{proof}

\begin{cor}\label{cor-r+1}
 Let $V$ be a $n$ dimensional representation of a torus $T$ of rank $r\leq n$. The rational invariants $\Bbbk(V)^T$ are generated by rational invariants each involving at most $r+1$ variables.
\end{cor}

\begin{thm}\label{thm-2r+1}
  Let $V$ be a $n$ dimensional representation of a torus $T$ of rank $r\leqslant n$. The invariants involving at most $2r+1$ variables form a separating set.
\end{thm}
\begin{proof}
Let $\mathcal{S}\subseteq \mathcal{L}$ be the subsemigroup generated by all elements with support of size at most $2r+1$. We will show that $S$ satisfies the conditions of Lemma~\ref{lem-SSep}.

First we show that for all $\alpha\in \mathcal{L}$ with $\alpha_i\neq 0$, there exist $\gamma\in \mathcal{S}$ such that  $i\in\operatorname{supp} (\gamma)$ and $\operatorname{supp} (\gamma) \subseteq \operatorname{supp} (\alpha)$.
 Take $\alpha\in \mathcal{L}$, and suppose $\alpha_{i_0}\neq 0$. If ${|\operatorname{supp} (\alpha)  | \, \leqslant 2r+1}$, then ${\alpha \in \mathcal{S}}$, so there is nothing to do. So we suppose that ${|\operatorname{supp} (\alpha) | \, > 2r+1}$. We can rewrite the equation $0=\sum_{i=1}^n\alpha_i m_i$ as
 \[-\alpha_{i_0}m_{i_0}=\sum_{i\in\operatorname{supp} (\alpha)\setminus\{i_0\}} \left(\frac{\alpha_i}{\sum_{i\in\operatorname{supp} (\alpha)\setminus\{i_0\}}\alpha_i}\right) m_i\,,\]
 and so $-\alpha_{i_0}m_{i_0}$ is in the convex hull of $\{m_i\mid i\in \operatorname{supp} (\alpha)\setminus\{i_0\}\}$. By Carath\'eodory's Theorem \cite{cc:uvkpgwna} there is a subset $K\subseteq \operatorname{supp} (\alpha)\setminus\{i_0\}$ of size $|K| \leqslant r+1$ such that $-\alpha_{i_0}m_{i_0}$ is in the convex hull of $\{m_k \mid k\in K\}$. Hence, we have an equation
\[-\alpha_{i_0}m_{i_0}=\sum_{k\in K} \delta_k m_k,\]
where $\delta_k\geq 0$ and $\sum_{k\in K}\delta_k = 1$.  Multiplying by a sufficiently large natural number, we find $\sum_{i\in K\cup \{i_0\}}\gamma_im_i=0$ with $\gamma_i\in\mathbb N$. Define $\gamma\in \mathbb N^n$ as follows:
 \[
  \gamma_i=\left \{ \begin{array}{cl}
                    \gamma_{i_0} & \mathrm{ if }~ i=i_0\\
                    \gamma_k     & \mathrm{ if }~ i\in K\\
                    0           & \mathrm{ otherwise}
                   \end{array}\right.\]
Then $\gamma_{i_0}\neq 0$ and $\gamma$ has support $K\cup \{i_0\}\subseteq \operatorname{supp} (\alpha)$ of size at most $r+2\leqslant 2r+1$ so that $\gamma \in \mathcal{S}$ as required.

Now we show that for all $I\subseteq [n]$ we have $\mathcal{L}_I\subseteq \mathbb Z\mathcal{S}_I$.
Fix $I\subseteq [n]$. If $\mathcal{L}_I=0$, we are done, so suppose $\mathcal{L}_I\neq 0$. Take $\alpha\in \mathcal{L}_I$. Set $I'=\operatorname{supp} (\alpha)$. By Corollary~\ref{cor-r+1}, we can write $\alpha$ as a $\mathbb Z$-linear combination of elements of $\ker_\mathbb Z A_{I'}$ with support of size at most $r+1$. It will suffice to show that any $\beta\in \ker_\mathbb Z A_{I'}$ with $|\operatorname{supp} \beta|\leq r+1$ can be written $\beta=\gamma-\gamma'$ with $\gamma,\gamma'\in\mathcal{L}_{I'}$ having support of size at most $2r+1$.

Take $\beta=\beta^+-\beta^-\in\ker_\mathbb Z A_{I'}$ with $\beta^+,\beta^-\in\mathbb N^n$ with disjoint support and $|\operatorname{supp} (\beta)| \leqslant r+1$. Set $J^+=\operatorname{supp} (\beta^+)$ and $J^-=\operatorname{supp} (\beta^-)$. Note that we have ${|J^+| + |J^-|\leqslant r+1}$ and without loss of generality, both $J^+$ and $J^-$ are nonempty, and so ${\max{\{|J^+|,|J^-|\}}\leqslant r}$. As $\alpha$ has full  support $I'$, $0$ is an interior point of the convex hull of the weight vectors $\{m_i \, | \, i \in I'\}$, that is, there exists an equation of the form
\begin{equation}\sum_{i\in J^-} \lambda_i m_i + \sum_{j \notin J^-} \lambda_j m_j = 0\,,\label{eqn-invfullsupp}\end{equation}
with $\lambda_i>0$ and $\sum_{i\in I'}\lambda_i=1$.

Set
\[m'=-\left(\frac{1}{\sum_{j\notin J^-}\lambda j}\right)\left(\sum_{i\in J^-} \lambda_i m_i \right) \quad \text{and} \quad \lambda_i'=\left(\frac{1}{\sum_{j\notin J^-}\lambda j}\right)\lambda_i\,.\]
Then Equation~(\ref{eqn-invfullsupp}) can be rewritten as
\[m'=\sum_{i\notin J^-}\lambda_i'm_i\,.\]
Note that $\lambda_i'>0$ and $\sum_{i\notin J^-}\lambda_i'=1$, so that $m'$ is an interior point of the convex hull of $\{ m_i \, | \, i \notin J^-\}$. As $J^+$ is nonempty and disjoint from $J^-$, there exist $j_0\in J^+\setminus J^-$. By Watson's Carath\'eodory Theorem \cite{cc:uvkpgwna}, there exists a subset $K\subseteq I'$  with $|K|\leqslant r$ and $K \cap J^- = \emptyset$ such that $m'$ is in the convex hull of $\{m_{j_0}\} \cup \{ m_k \, | \, k \in K\}$, that is, there are nonnegative rational numbers $\mu_{j_0}, \mu_k$ such that $\sum_{k\in K\cup\{j_0\}}\mu_k=1$ and
\begin{equation} m'=\mu_{j_0}m_{j_0} + \sum_{k\in K} \mu_{k} m_{k}\,.\label{eqn-smallsupp}\end{equation}
Substituting $m'$ for its value and reorganizing, we then get an equation
\[\left(\frac{1}{\sum_{j\notin J^-}\lambda j}\right)\sum_{i\in J^-}\left(\frac{\lambda_i}{\sum_{j\notin J^-}\lambda j}\right)m_i  + \mu_{j_0} m_{j_0} + \sum_{k\in K}\mu_km_k=0\,.\]
It follows that there is $\gamma\in\mathcal{L}_I$ with support $J^-\cup \{j_0\}\subseteq \operatorname{supp} (\gamma) \subseteq J^-\cup\{j_0\}\cup K$. Note that $|\operatorname{supp} (\gamma) | \leq |J^-|+1+|K|\leq r+r+1=2r+1$. We may assume $\gamma-\beta^-\in\mathbb N^n$, multiplying $\gamma$ by a large natural number if needed, and so $\beta+\gamma\mathcal{L}_I$ with support
\[\operatorname{supp}(\beta+\gamma)\subseteq \operatorname{supp} (\beta) \cup \operatorname{supp}( \gamma) \subseteq J\cup (J^-\cup\{j_0\}\cup K)=J\cup K\,.\]
It follows that $|\operatorname{supp} (\beta+\gamma)|  \leq |J|+|K|\leq r+1+r=2r+1.$ Thus, we can write $\beta=(\beta+\gamma)-\gamma$ as a difference of elements of $\mathcal{L}_I$, with support of size at most $2r+1$.
\end{proof}

\begin{eg}[The bound given by Theorem \ref{thm-2r+1} is sharp]
 We consider the $2r+1$ dimensional representation of the torus of rank $r$ given by the matrix of weights:
 \[A:=\left(\begin{array}{c|c|c}
             I & \begin{array}{c}
             5\\
             \vdots\\
             5
                  \end{array} & -6I
            \end{array}\right).\]
As $A$ is already in reduced echelon form,
\[\ker_\mathbb Z A=\Big\langle v_0=\Big(-5\sum_{j=1}^r e_j, 1, 0\Big), v_i=\big(6e_i,0,e_i\big) \ \big|  \ i\in [r] \Big\rangle\,,\]
as a $\mathbb Z$-module and so $\mathcal{L}=\ker_\mathbb Z A\cap \mathbb N^n$ is generated as a semigroup by
\begin{align*}
\bigg\{v_0+\sum_{j=1}^r v_j =\Big(\sum_{j=1}^re_j&,1,\sum_{j=1}^r e_j \Big),  ~7v_0+6\sum_{j=1}^r v_j=\Big(\sum_{j=1}^re_j,7,6\sum_{j=1}^r e_j \Big)\,, \\
 6v_0&+5\sum_{j=1}^r v_j=\Big(0,6,5\sum_{j=1}^r e_j \Big)\,, v_i=(6e_i,0,e_i) \ \Big|  \ i\in [r] \bigg\}\,.
\end{align*}
Indeed, an arbitrary element of $\mathcal{L}$ will be of the form
\[\alpha=a_0\Big(-5\sum_{j=1}^r e_j, 1, 0\Big)+\sum_{i=1}^r a_i(6e_i,0,e_i)=\Big(\sum_{j=1}^r(-5a_0+6a_j)e_j, a_0, \sum_{j=1}^r a_je_j \Big)\,,\]
where $a_i\geqslant 0$ for each $i=0,\ldots,r$ and $-5a_0+6a_j\geqslant 0$ for each $j=1,\ldots,r$ since all entries of $\alpha$ must be nonnegative. In particular, for each $i=1,\ldots, r$, we will have

\begin{align*}
   a_i-6\lceil a_0/6\rceil+\lfloor a_o/6\rfloor\geqslant 0&,  \text{ if } 6|(a_0-1), \text{ and}\\
    a_i-4\lceil a_0/6\rceil-\lfloor a_o/6\rfloor\geqslant 0&,  \text{ otherwise.}
  \end{align*}
Then we can write
\begin{align*}\alpha=\left\lfloor \frac{a_0}{6}\right\rfloor\left(6v_0+5\sum_{j=1}^rv_j \right)+ \Big(\left\lceil \frac{a_0}{6}\right\rceil &- \left\lfloor \frac{a_0}{6}\right\rfloor\Big)\left(7v_0+ 6\sum_{j=1}^rv_j\right)\\
&+\sum_{i=1}^r\left(a_i-6\left\lceil \frac{a_0}{6}\right\rceil+\left\lfloor \frac{a_o}{6}\right\rfloor\right)v_i\,,
\end{align*}
if $6|(a_o-1)$, and otherwise
\begin{align*}\alpha=\left\lfloor \frac{a_0}{6}\right\rfloor\left(6v_0+5\sum_{j=1}^rv_j \right)+ \Big(\left\lceil \frac{a_0}{6}\right\rceil &- \left\lfloor \frac{a_0}{6}\right\rfloor\Big)\left(v_0+ \sum_{j=1}^rv_j\right)\\
&+\sum_{i=1}^r\left(a_i-4\left\lceil \frac{a_0}{6}\right\rceil-\left\lfloor \frac{a_o}{6}\right\rfloor\right)v_i\,,
\end{align*}
proving our claim.

Let $\mathcal{S}\subseteq \mathcal{L}$ be the subsemigroup generated by all elements of $\mathcal{L}$ with support of size strictly less than $2r+1$. Our next claim is that this subsemigroup is generated by
\[\Big\{6v_0+5\sum_{j=1}^rv_j,~v_i \ \big| \ i\in[r] \Big\}\,.\]
Suppose $\gamma\in \mathcal{L}$ has support of size strictly less than $2r+1$, that is, it has at least one zero entry. As it belongs to $\mathcal{L}$ we can write
\[\gamma=g_1\Big(v_0+\sum_{j=1}^r v_j\Big)+g_2\Big(7v_0+6\sum_{j=1}^r v_j\Big)+g_3\Big(6v_0+5\sum_{j=1}^r v_j\Big)+\sum_{i=1}^r a_iv_i\,,\]
where $g_i,a_j$ are nonnegative integers. Hence, as $\gamma$ is equal to
\[(g_1+g_2+6a_1,\ldots,g_1+g_2+6a_r,g_1+7g_2+6g_3,g_1+6g_2+5g_3+a_1,\ldots, g_1+6g_2+5g_3+a_r)\,,\]
we must have $g_1=g_2=0$ since otherwise $\gamma$ has full support.

Our final claim is that $\mathcal{S}$ does not give a separating algebra. Indeed, the first $r+1$ entries of any element of $\mathcal{S}$ are divisible by 6, so for any prime $p$ and positive integer $m$,
\[p^m\Big(v_0+\sum_{j=1}^r v_j\Big)=(p^m,\ldots,p^m, p^m,p^m,\ldots,p^m)\]
does not belong to $\mathcal{S}$. Hence by Proposition \ref{prop-sepalg}, $\mathcal{S}$ does not give a separating subalgebra.   \hfill $\triangleleft$
\end{eg}

\subsection{Minimal Size of monomial separating sets for Segre-Veroneses}

In this section, we study the minimal size of a monomial separating set for the affine cone over a Segre-Veronese variety. We consider the representation of a torus of rank $r$ whose ring of invariants is isomorphic to the ring of homogeneous coordinates on Segre-Veronese variety which is the image of the closed embedding $\prod_{i=1}^r \mathbb{P}^{n_i-1} \hookrightarrow \mathbb{P}^N$ given by the line bundle $\mathcal{O}(a_1,\dots,a_r)$ as described in Section~\ref{section-SV}. Set $I:=\{i\mid a_i=1 \text{ or} \text{ a} \text{ pure} \text{ power} \text{ of}\allowbreak \operatorname{char} \Bbbk\}$. As in Section~\ref{section-SV}, the ring of invariants is given by:
\[S=\Bbbk\big[\ x_0 M_1 \cdots M_r \ \big| \ M_i \, \text{is a monomial of degree $a_i$ in the variables} \  x_{i,1}, \dots , x_{i, n_i} \big]\,.\]

\begin{prop}\label{prop-SVminmon}
 \begin{enumerate}
  \item The monomial invariants with support of size at most $r+2$ form a separating set. \label{prop-SVminmon1}
  \item The minimal size of a monomial separating set is \[\Bigg(\prod_{h=1}^r n_h\Bigg) \Bigg(1 + \frac{1}{2}\sum_{i\notin I} ({n_i -1})\Bigg)\,.\] \label{prop-SVminmon2}
 \end{enumerate}
\end{prop}

\begin{proof}

As the torus is a reductive group by \cite[Theorem 2.3.16]{hd-gk:cit}, the restriction of any separating set to a subrepresentation must yield a separating set. As the restriction of an invariant monomial will be either zero or the same monomial, a monomial separating set must contain separating sets for any subrepresentation.

Let $V$ be a $(r+1)$-dimensional subrepresentation. As any proper subset of the set of weights is linearly independant, a $(r+1)$-dimensional subrepresentation has no nonconstant invariants unless its matrix of weights is of the form
\[A:=\left( \begin{array}{c|c}
           I & \begin{array}{c} -a_1 \\ \vdots\\ -a_r\end{array}
          \end{array}\right),\]
where $I$ is the $r\times r$ identity matrix. As $A$ is in row reduced echelon form over $\mathbb Z$, $\ker_\mathbb Z A$ is generated by $\alpha:=(a_1,\ldots,a_r,1)$ as a $\mathbb Z$-module. As $\alpha$ has positive entries, it must also generate $\ker_\mathbb Z A \cap \mathbb N^{r+1}$ as a semigroup. That is, the ring of invariants is generated by exactly 1 monomial, and we get one such monomial for each of the
$(r+1)$-dimensional subrepresentations with nonconstant invariants, of which there are $\prod_{i=1}^r {n_i}$.

Let $U$ be a $(r+2)$-dimensional subrepresentation. By the same argument as before, its set of weights is the full set of weights, but one weight is repeated. For simplicity we suppose the repeated weight is $e_1$ so that the matrix of weights is
\[B:=\left( \begin{array}{c|cc}
           I & \begin{array}{cc} -a_1 &1 \\ -a_2 & 0  \\ \vdots & \vdots \\ -a_r & 0
          \end{array}\end{array}\right).\]
As $B$ is in reduced echelon form, its $\mathbb Z$-kernel is generated by ${\alpha_1:=(a_1,\ldots,a_r,1,0)}$ and ${\beta:=(-1,0,\ldots,0,0,1)}$ as a $\mathbb Z$-module. It follows that $\alpha_1$,
\[{\alpha_2:=\alpha_1+a_1\beta=(0,a_2,\ldots,a_r,1,a_1)}\,,\] and \[\alpha_3:=\alpha_1+(a_1-1)\beta=(1,a_2,\ldots,a_r,1,a_1-1)\] also generate $\ker_\mathbb Z B$ as a $\mathbb Z$-module.

We will use Lemma~\ref{lem-SSep} to show that the $\{\alpha_1,\alpha_2,\alpha_3\}$ give a separating set. To establish the first condition it suffices to note that $\alpha_1$ and $\alpha_2$ give a generator for the ring of invariants of the $(r+1)$-dimensional subrepresentation with support $\{1,\ldots,r+1\}$ and $\{2,\ldots,r+2\}$, respectively. To establish the second condition, we remark that $\alpha' \in \ker_\mathbb Z B \cap \mathbb N^{r+2}$ will have support $\{1,\ldots,r+1\}$, $\{2,\ldots,r+2\}$ or $[r+2]$, and so we can take $\gamma$ equal to $\alpha_1$, $\alpha_2$, $\alpha_3$, respectively. Note that if $a_1=1$, then $\alpha_3=\alpha_1$ and so our $(r+2)$-dimensional representation does not require any new invariants beyond those needed for the $(r+1)$-dimensional subrepresentations. If $a_1=p^k$, where $p=\operatorname{char} \Bbbk$. Then
\begin{align*}p^k(1,\ldots,a_r,1,a_1-1)&=a_1(1,\ldots,a_r,1,a_1-1)\\
&=(a_1,\ldots,a_r,1,0)+(a_1-1)(0,a_2,\ldots,a_r,1,a_1)
\end{align*}
 belongs to the semigroup generated by $(a_1,\ldots,a_r,1,0)$ and $(0,a_2,\ldots,a_r,1,a_1)$ and so by Proposition~\ref{prop-SsepCharp} it follows that $(a_1,\ldots,a_r,1,0)$ and $(0,a_2,\ldots,a_r,1,a_1)$ give a separating set. Again, our $(r+2)$-dimensional representation does not require any new invariants. But if $a_1$ is not 1 or a pure power of $\operatorname{char}\Bbbk$, $\alpha_1$ and $\alpha_2$ do not give a separating set. Indeed, let $\zeta$ be a primitive $m$-th root of unity with $a_1/m$ a pure power of $\operatorname{char} \Bbbk$ and set $u_1=(1,1,\ldots,1)$ and $u_2=(\zeta,1,\ldots,1)$. Then $\alpha_1(u_1)=\alpha_2(u_1)=\alpha_1(u_2)=\alpha_2(u_1)=1$ but $\alpha_3(u_1)=1\neq\zeta=\alpha_3(u_2)$. Therefore we will require an extra monomial. Although this monomial need not be $\alpha_3$, it will have full support. Therefore  each $r+2$-dimensional subrepresentation with nonconstant invariants and repeated weight $i_0\notin I$ will necessitate at least one extra distinct monomial invariant. There are $\sum_{i_0 \notin I} \binom{n_i}{2} \prod_{i\neq i_0}{n_i}$ different such subrepresentations. It follows the minimal size of a separating set will be at least $\prod_{i=1}^rn_i+\sum_{i_0 \notin I} \binom{n_i}{2} \prod_{i\neq i_0}{n_i}$, which simplifies to the formula in Statement~(\ref{prop-SVminmon2}).

 We will use Lemma~\ref{lem-SSep} to show Statement~(\ref{prop-SVminmon1}). Denote by $\mathcal{S}$ the semigroup corresponding to the monomial algebra generated by all monomial invariants depending on at most $r+2$ variables and set $\mathcal{L}$ to be the semigroup giving all monomial invariants. The first step is to show that for any subrepresentation $V$, $\mathcal{L}_{\operatorname{supp}(V)}\subseteq \mathbb Z \mathcal{L}_{\operatorname{supp}(V)}$. If $|\operatorname{supp}(V)|\leq r+2$, then the statement is trivially true. Suppose $|\operatorname{supp}(V)|> r+2$. By Corollary \ref{cor-r+1}, it follows that the rational invariants on $V$ are generated by the rational invariants with support of size at most $r+1$, and so in particular by the rational invariants with support of size at most $r+2$. Our argument of the previous paragraph shows that for any $(r+2)$-dimensional subrepresentation, the invariant monomials generate the field of rational invariants, therefore, the invariants monomials with support of size at most $r+2$ generated the rational invariants on $V$ as desired. Now take $\alpha$ be the exponent vector of a nonconstant invariant. As any proper subset of the set of distinct weights is linearly independent, $\mathrm{wt}(\alpha)=\{m_0,m_1,\ldots,m_r\}$. Hence, if $\alpha_{i_0,j_{i_0}}\neq 0$, we know that $\alpha_{0}\neq 0$ and for all $i\in [r]\setminus \{i_o\}$, there is $j_i\in[n_i]$ such that $\alpha_{i,j_i}\neq 0$. Define $\gamma\in\mathbb N^{1+\sum_{i=1}^r n_i}$ as $\gamma_0=1$, $\gamma_{i_0,j_{i_o}}=a_{i_0}$, $\gamma_{i,j_i}=a_i$ for all other $i\in[n]$, with the remaining entries zero. By construction $\gamma_{i_0,j_{i_o}}\neq 0$ and $\gamma$ has support of size $r+2$ contained in the support of $\alpha$. We have now established that $\mathcal{S}$ satisfies the two conditions of Lemma \ref{lem-SSep} and so the monomial invariants with support of size at most $r+2$ form a separating set, proving Statement~(\ref{prop-SVminmon1}).

A consequence of Statement~\ref{prop-SVminmon1}) is that to have a monomial separating set for the full representation is suffices to have a set of monomials which restricts to a separating set for each $(r+2)$-dimensional subrepresentation. Our argument in the first two paragraphs of the proof give a construction for such of separating set which has size equal to the formula in Statement~(\ref{prop-SVminmon2}), completing the proof.
\end{proof}

\begin{cor}\label{cor-sparse} The elements in a separating set must contain at least
\[\Bigg(\prod_{h=1}^r n_h\Bigg) \Bigg(1 + \frac{1}{2}\sum_{i\notin I} ({n_i -1})\Bigg)\,\]
monomials between them altogether.
\end{cor}
\begin{proof} As the ring of invariants is generated by monomials, the set of monomials contained in the elements of any separating set must form a monomial separating set. The previous proposition applies to this set.
\end{proof}

\bibliographystyle{plain}

Commutative Algebra (math.AC); Algebraic Geometry (math.AG)