The Regge symmetry, confocal conics, and the Schläfli formula

Abstract: The Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry.

\section{Introduction}
The goal of this article is to give an elementary proof of the following theorem known as the \emph{Regge symmetry}.

\begin{thm}
\label{thm:Regge}
Let $\Delta$ be a spherical, hyperbolic, or Euclidean tetrahedron with edge lengths $x$, $y$, $a$, $b$, $c$, $d$
as shown in Figure \ref{fig:TwoTetra}, left.
Then there is a (respectively spherical, hyperbolic, or Euclidean) tetrahedron $\bar{\Delta}$ with edge lengths $x$, $y$, $s-a$, $s-b$, $s-c$, $s-d$,
where $s = \frac{a+b+c+d}2$, see Figure \ref{fig:TwoTetra}, right.
Besides, the following holds.
\begin{enumerate}
\item
The dihedral angles at the $x$-edge in $\Delta$ and $\bar{\Delta}$ are equal.
The same holds for the dihedral angles at the $y$-edge.
\item
If $\alpha$, $\beta$, $\gamma$, $\delta$ are the dihedral angles at the edges $a$, $b$, $c$, $d$ of $\Delta$,
then the dihedral angles at the edges $s-a$, $s-b$, $s-c$, $s-d$ in $\bar{\Delta}$ are equal to
$\sigma - \alpha$, $\sigma - \beta$, $\sigma - \gamma$, $\sigma - \delta$, where $\sigma = \frac{\alpha+\beta+\gamma+\delta}2$.
\item
Tetrahedra $\Delta$ and $\bar{\Delta}$ have equal volume.
\end{enumerate}
\end{thm}

\begin{figure}[ht]
\begin{center}
\input{TwoTetra.pdf_t}
\end{center}
\caption{The Regge symmetry.}
\label{fig:TwoTetra}
\end{figure}

There are more relations between the metric elements of the tetrahedra $\Delta$ and $\bar{\Delta}$:
\begin{itemize}
\item the solid angle at the $(x, a, d)$ vertex is equal to the solid angle at the $(x, s-b, s-c)$ vertex etc.;
\item the logarithms of tangents of half-angles at the side $x$ are subject to the same linear transformations as $a, b, c, d$
and $\alpha, \beta, \gamma, \delta$.
\end{itemize}
The first of these follows directly from parts (1) and (2) of Theorem \ref{thm:Regge}.
The second relation is Lemma \ref{lem:MoreSymmetry} below.

The Euclidean case of Theorem \ref{thm:Regge} was first stated by Ponzano and Regge in \cite{PR}
as a corollary of a symmetry and a conjectured asymptotics of $6j$-symbols.
This asymptotic formula was proved by Roberts in \cite{Rob99};
similar formulas involving spherical and hyperbolic tetrahedra were obtained in \cite{TW05}.
Of course, one would like to have a more direct and geometric proof of Theorem \ref{thm:Regge}.

A brute-force proof of the Euclidean case was given in the Appendices B and D of \cite{PR}.
Roberts observed that the Dehn invariants of $\Delta$ and $\bar{\Delta}$ coincide.
In the Euclidean case Sydler's theorem \cite{Syd65} implies that $\Delta$ and $\bar{\Delta}$ are scissors congruent.
In fact, it would be interesting to prove Theorem \ref{thm:Regge} by exhibiting a scissors congruence between $\Delta$ and $\bar{\Delta}$
such that the sides and dihedral angles fit in an appropriate way.

Scissors congruence of $\Delta$ and $\bar{\Delta}$ in the hyperbolic case was proved by Mohanty in \cite{Moh03}.
Mohanty extends the tetrahedra to ideal polyhedra, which are then cut into pieces,
therefore her construction does not apply in the Euclidean and spherical cases.
It is unknown whether hyperbolic and spherical analogs of Sydler's theorem are true.
Thus it remains an open question whether $\Delta$ and $\bar{\Delta}$ are scissors congruent in the spherical case.

The proof of Theorem \ref{thm:Regge} given in this article uses classical geometric theorems
such that Ivory's lemma about confocal quadrics and Schl\"afli's differential formula for the volume of a tetrahedron.
There are some trigonometric computations, but they are kept to a minimum.

\section{Confocal conics}
\subsection{Ellipses and hyperbolas revisited}
In this section $a$, $b$, $c$ denote the side lengths of a triangle,
and $\alpha$, $\beta$, $\gamma$ the angles opposite to the corresponding sides.

\begin{lem}
\label{lem:ProdQuot}
\begin{enumerate}
\item
Let the side length $c$ in a spherical, hyperbolic, or Euclidean triangle be fixed.
Then the sum of the other two side lengths $a+b$
determines and is determined by the product of tangents of half-angles $\tan \frac{\alpha}2 \tan \frac{\beta}2$,
and the difference $a-b$ determines and is determined by the ratio $\frac{\tan\frac{\alpha}2}{\tan\frac{\beta}2}$.
\item
Let the angle $\gamma$ in a spherical or hyperbolic triangle be fixed.
Then the sum of the other two angles $\alpha+\beta$ determines and is determined
by the product of (hyperbolic) tangents of half-sides $\tan \frac{a}2 \tan \frac{b}2$ or $\tanh \frac{a}2 \tanh \frac{b}2$ respectively,
and the difference $\alpha-\beta$ determines and is determined by the ratio $\frac{\tan\frac{a}2}{\tan\frac{b}2}$
or $\frac{\tanh\frac{a}2}{\tanh\frac{b}2}$ respectively.
\end{enumerate}
\end{lem}

Part (1) of Lemma \ref{lem:ProdQuot} gives an alternative description of ellipses and hyperbolas:
instead of fixing the sum (or difference) of distances to the foci, one may fix the product (respectively quotient)
of the tangents of half-angles formed by the principal axis with the lines from the foci to a moving point, see Figure \ref{fig:ProdQuot}.

\begin{figure}[ht]
\begin{center}
\includegraphics{fig-regge-2.mps}

\end{center}
\caption{$a+b = \mathrm{const} \Leftrightarrow \tan\frac{\alpha}2 \tan\frac{\beta}2 = \mathrm{const}$.}
\label{fig:ProdQuot}
\end{figure}

In the spherical case part (2) is dual to (and thus directly follows from) part (1).
In the hyperbolic case parts (1) and (2) become dual if they are extended to hyperbolic-de Sitter triangles.
Conics also appear in part (2): when the lines containing the sides $a$ and $b$ are fixed,
and the line containing the third side moves in such a way that the sum or difference $\alpha \pm \beta$ remains constant,
then the moving line remains tangent to a (spherical or hyperbolic) conic, see \cite{Izm17a}.

Finally note that part (2) of the Lemma can be reformulated so as to include the case of Euclidean triangles.
Let the angle $\gamma$ in a spherical, hyperbolic, or Euclidean triangle be fixed.
Then the area of the triangle determines and is determined by the products $\tan\frac{a}2 \tan\frac{b}2$,
$\tanh\frac{a}2 \tanh\frac{b}2$, and $ab$, respectively,
and the angle difference $\alpha - \beta$ determines and is determined by the quotients
$\frac{\tan\frac{a}2}{\tan\frac{b}2}$, $\frac{\tanh\frac{a}2}{\tanh\frac{b}2}$, and $\frac{a}{b}$, respectively.

The proof of Lemma \ref{lem:ProdQuot} is given in the last section of the paper.

\subsection{Confocal conics and quadrics}
For two points $F_1$ and $F_2$ in the Euclidean plane, the loci
\begin{equation}
\label{eqn:ConfocConics}
\{X \mid XF_1 + XF_2 = \mathrm{const}\} \text{ and } \{X \mid \left|XF_1 - XF_2\right| = \mathrm{const}\}
\end{equation}
form a \emph{confocal family} of conics: ellipses and hyperbolas with foci $F_1$ and $F_2$.
In a suitable coordinate system, the confocal family is described by the family of equations
\[
\frac{x^2}{a^2 - \lambda} + \frac{y^2}{b^2 - \lambda} = 1
\]
with parameter $\lambda$.

A spherical or hyperbolic conic is defined as the intersection of a quadratic cone with the unit sphere,
respectively with the hyperboloid in the Minkowski space modelling the hyperbolic plane.
Spherical and hyperbolic conics share many properties with Euclidean conics,
in particular they can be described by the same equations \eqref{eqn:ConfocConics}
(some of the foci of a hyperbolic conic may be ideal or hyperideal).
For a suitable choice of coordinates in $\mathbb R^3 \supset \mathbb S^2$ or $\mathbb R^{2,1} \supset \mathbb H^2$,
a confocal family of spherical or hyperbolic conics \eqref{eqn:ConfocConics} is described by the equations
\[
\frac{x^2}{a^2 - \lambda} + \frac{y^2}{b^2 - \lambda} - \frac{z^2}{c^2 \pm \lambda} = 0,
\]
where the $+$ sign is used in the spherical, and the $-$ sign in the hyperbolic case.
In other words, a confocal family is dual to a pencil of conics containing the absolute $x^2 + y^2 \pm z^2 = 0$.
For more details, see a recent survey \cite{Izm17a}.
Figure \ref{fig:ConfocConics} shows families of confocal conics on the sphere and in the Poincar\'e model of the hyperbolic plane.

\begin{figure}[ht]
\begin{center}
\includegraphics[width=.45\textwidth]{sphere-conics}
\,\,\,\,
\includegraphics[width=.45\textwidth]{hyperbolic-conics-1.mps}
\end{center}
\caption{Confocal spherical and hyperbolic conics}
\label{fig:ConfocConics}
\end{figure}

The following theorem gives another description of confocal families, which follows directly from part (1) of Lemma \ref{lem:ProdQuot}.
\begin{thm}
\label{thm:EllCoord}
Let $F_1$ and $F_2$ be two points in $\mathbb E^2$ or $\mathbb S^2$ or $\mathbb H^2$.
For any point $X$ distinct from $F_1$ and $F_2$ denote
\[
k_1 = \tan \frac{\angle XF_1F_2}{2}, \quad k_2 = \tan \frac{\angle XF_2F_1}{2}.
\]

Then the conics with foci $F_1$ and $F_2$ are described by the equations
\[
k_1k_2 = \mathrm{const} \text{ and }\frac{k_1}{k_2} = \mathrm{const}.
\]
\end{thm}

\subsection{Ivory's lemma}
In higher dimensions, a confocal family of Euclidean quadrics is described by the equations
\begin{equation}
\label{eqn:ConfocQuad}
\frac{x_1^2}{a_1^2 - \lambda} + \frac{x_2^2}{a_2^2 - \lambda} + \cdots + \frac{x_n^2}{a_n^2 - \lambda} = 1, \quad a_1^2 > \cdots > a_n^2.
\end{equation}
The parameter $\lambda$ varies from $-\infty$ to $a_1^2$.
All quadrics with $\lambda < a_n^2$ are ellipsoids.
As $\lambda$ passes through $a_i^2$, the type of the quadric changes.
Quadrics of different type intersect orthogonally, see e.~g. \cite{Tab05}.

Choose two quadrics of each type, that is choose pairs of distinct numbers
\[
\lambda_1, \lambda'_1 \in (-\infty, a_n^2), \quad \lambda_2, \lambda'_2 \in (a_n^2, a_{n-1}^2), \quad \ldots, \quad \lambda_n, \lambda'_n \in (a_2^2, a_1^2).
\]
If we denote by $Q(\lambda)$ the quadric \eqref{eqn:ConfocConics},
then the quadrics $Q(\lambda_i)$ and $Q(\lambda'_i)$ bound a layer homeomorphic to $Q(\lambda_i) \times [0,1]$.
The intersection of these layers is a right-angled box bounded by quadrics.
Denote this box by $B(\Lambda)$, where $\Lambda = (\lambda_1, \lambda'_1, \ldots, \lambda_n, \lambda'_n)$ are the chosen parameter values.

Similarly, in the spherical or hyperbolical space, confocal quadrics are intersections of the cones
\[
\frac{x_1^2}{a_1^2 - \lambda} + \frac{x_2^2}{a_2^2 - \lambda} + \cdots + \frac{x_n^2}{a_n^2 - \lambda} - \frac{x_{n+1}^2}{a_{n+1}^2 \pm \lambda} = 0,
\quad a_1^2 > \cdots > a_n^2
\]
with the unit sphere, respectively with the standard hyperboloid of two sheets.
As above, one chooses $n$ pairs of quadrics of different types; they bound a box $B(\Lambda)$ in the spherical or hyperbolic space.

\begin{thm}[Ivory's lemma]
\label{thm:Ivory}
For any box $B(\Lambda)$ in any confocal family of quadrics in $\mathbb E^n$, $\mathbb S^n$, or $\mathbb H^n$ the following are true:
\begin{enumerate}
\item
The great diagonals of $B(\Lambda)$ are equal.
\item
Let $D_i \colon \mathbb R^n \to \mathbb R^n$ (in the spherical and hyperbolic cases $D_i \colon \mathbb R^{n+1} \to \mathbb R^{n+1}$),
be the affine transformation with a diagonal matrix which sends the quadric $Q(\lambda)$ to the quadric $Q(\lambda'_i)$.
Then $D_i$ sends the vertices of $B(\Lambda)$ situated on $Q(\lambda_i)$ to the vertices of $B(\Lambda)$ situated on $Q(\lambda'_i)$.
\end{enumerate}
\end{thm}

Figure \ref{fig:Ivory} illustrates the case $n=2$.

\begin{figure}[ht]
\begin{center}
\includegraphics{fig-regge-3.mps}
\end{center}
\caption{Ivory's lemma in the plane.}
\label{fig:Ivory}
\end{figure}

Ivory's lemma holds also for degenerate confocal families obtained from non-generic pencils.
An example of such a family is obtained by rotating the family \eqref{eqn:ConfocConics} (see Figure \ref{fig:Ivory} and Figure \ref{fig:DihAngles}, top)
about the axis $F_1F_2$ and adding planes passing through this axis.

The original statement of Ivory's lemma (implicit in Ivory's work and made explicit by Chasles) deals with ellipsoids in $\mathbb E^3$.
The spherical and hyperbolic cases are discussed in \cite{StW04,IT17} but are special cases of a far more general theorem:
Ivory's lemma holds for boxes bounded by the coordinate hypersurfaces of a St\"ackel net, \cite{Bla28,Thimm78,IT17}.

\section{Dihedral angles}
\begin{proof}[Proof of Theorem \ref{thm:Regge}, part (1).]

Denote the vertices of the tetrahedron $\Delta$ by $F_1, F_2, K, L$ so that
\[
|F_1F_2| = x, \quad |F_1K| = a, \quad |F_2K| = b.
\]
In the plane of the triangle $F_1F_2K$ choose a point $\bar{L}$ so that the triangle $F_1F_2\bar{L}$
lies on the same side of $F_1F_2$ as the triangle $F_1F_2K$ and has side lengths
\[
|F_1 \bar{L}| = s-c, \quad |F_2 \bar{L}| = s-d.
\]
Similarly, in the plane $F_1F_2L$ construct a triangle $F_1F_2\bar{K}$ on the same side of $F_1F_2$ as $F_1F_2L$
with side lengths
\[
|F_1 \bar{K}| = s-b, \quad |F_2 \bar{K}| = s-a,
\]
see Figure \ref{fig:DihAngles}.
The segments $KL$ and $\bar{K}\bar{L}$ are great diagonals of a ``parallelopiped''
bounded by a degenerate confocal family of quadrics.
Indeed, due to $(s-c) + (s-d) = a + b$ and $(s-b) + (s-a) = c + d$
each of the pairs of points $K$, $\bar{L}$ and $\bar{K}$, $L$ lies on an ellipse with the foci $F_1$ and $F_2$.
And due to $(s-b) - (s-a) = a-b$ and $(s-c) - (s-d) = d-c$
each of the pairs $K$, $\bar{K}$ and $L$, $\bar{L}$ lies on a two-sheeted hyperboloid
obtained by rotating a hyperbola with foci $F_1$ and $F_2$ about the focal axis.
Thus, by Ivory's lemma one has $|\bar{K}\bar{L}| = |KL| = y$.

\begin{figure}[ht]
\begin{center}
\includegraphics[width=.6\textwidth]{ivory3d.pdf}\\
\hspace{.6cm}\includegraphics[width=.47\textwidth]{tetrahedra.pdf}
\end{center}
\caption{To the proof of Theorem \ref{thm:Regge}, part (1).}
\label{fig:DihAngles}
\end{figure}

It follows that a tetrahedron $\bar{\Delta}$ exists and is isometric to the tetrahedron $F_1F_2\bar{K}\bar{L}$.
By construction, the dihedral angle of $\Delta$ at the $x$-edge is equal to the dihedral angle of $\bar{\Delta}$
at the $x$-edge.
By exchanging $x$ and $y$, one proves the equality of the dihedral angles at the $y$-edges.
\end{proof}

\begin{lem}
\label{lem:MoreSymmetry}
Denote by $\angle(a,x)$ the angle between the $a$-edge and $x$-edge of the tetrahedron $\Delta$ and let
\begin{gather*}
A = \log\tan \frac{\angle(a,x)}2, \quad B = \log\tan\frac{\angle(b,x)}2,\\
C = \log\tan\frac{\angle(c,x)}2, \quad D = \log\tan\frac{\angle(d,x)}2.
\end{gather*}
Similarly, let $\bar{A}$, $\bar{B}$, $\bar{C}$, $\bar{D}$ be the logarithms of the tangents of the half-angles
between the sides $s-a$, $s-b$, $s-c$, $s-d$ and the side $x$ of the tetrahedron $\bar{\Delta}$.
Then one has
\[
\bar{A} = \frac{-A+B+C+D}2 \text{ etc.}
\]
\end{lem}
\begin{proof}
Consider the triangles $(x,s-a,s-b)$ and $(x,c,d)$.
One has $(s-a) + (s-b) = c+d$.
Therefore by part (1) of Lemma \ref{lem:ProdQuot} the products of tangents of half-angles adjacent to the side $x$ in these triangles are equal.
In other words, one has $\bar{A} + \bar{B} = C + D$.

Similarly, in the triangles $(x,s-a,s-b)$ and $(x,a,b)$ one has $(s-a) - (s-b) = b-a$.
Therefore by part (1) of Lemma \ref{lem:ProdQuot} one has $\bar{A} - \bar{B} = B - A$.

The formula for $\bar{A}$ follows; formulas for $\bar{B}$, $\bar{C}$, $\bar{D}$ are proved similarly.
\end{proof}

\begin{proof}[Proof of Theorem \ref{thm:Regge}, part (2).]
Denote the dihedral angles in the tetrahedron $\bar{\Delta}$ at the edges $s-a$, $s-b$, $s-c$, $s-d$
by $\bar{\alpha}$, $\bar{\beta}$, $\bar{\gamma}$, and $\bar{\delta}$.

Consider the spherical section of the tetrahedron $\Delta$ at the vertex adjacent to the sides $x$, $b$, and $c$
and the spherical section of $\bar\Delta$ at the vertex adjacent to $x$, $s-a$, $s-d$.
These spherical triangles have a common angle: the dihedral angle at the edge $x$.
Besides, by Lemma \ref{lem:MoreSymmetry} one has $\bar A + \bar D = B + C$,
which implies that the products of tangents of half-sides adjacent to the common angle in these triangles are equal.
Thus by part (2) of Lemma \ref{lem:ProdQuot} one has $\bar\alpha + \bar\delta = \beta + \gamma$.

Apply Lemmas \ref{lem:MoreSymmetry} and \ref{lem:ProdQuot} to the spherical sections
at the vertices $(x,a,d)$ and $(x,s-a,s-d)$ to obtain $\bar\alpha - \bar\delta = \delta - \alpha$.

It follows that $\bar\alpha = \frac{-\alpha+\beta+\gamma+\delta}2 = \sigma - \alpha$
and similarly for the other dihedral angles.
\end{proof}

\section{Volume}
Let $A_1$ and $A_2$ be the areas of two faces of a Euclidean tetrahedron $\Delta$,
let $\ell_{12}$ be the length of their common edge, and let $\theta_{12}$ be the dihedral angle at this edge.
Then one has
\[
\operatorname{Vol}(\Delta) = \frac{2}{3} \frac{A_1 A_2 \sin\theta_{12}}{\ell_{12}}.
\]
This formula easily follows from the ``height times base'' formulas for the area of a triangle and the volume of a tetrahedron.
We now use it in combination with the Ivory lemma in order to establish the equality of volumes of $\Delta$ and $\bar{\Delta}$ in the Euclidean case.

\begin{proof}[Proof of Theorem \ref{thm:Regge}, part (3), Euclidean case]
Tetrahedra $\Delta$ and $\bar{\Delta}$ are shown on Figure \ref{fig:DihAngles}, bottom, as $F_1F_2KL$ and $F_1F_2K'L'$.
The above volume formula implies
\[
\operatorname{Vol}(\Delta) = \frac{2}{3} \frac{A_K A_L \sin\phi}{x}, \quad \operatorname{Vol}(\Delta') = \frac{2}{3} \frac{A_{\bar{K}} A_{\bar{L}} \sin\phi}{x},
\]
where $\phi$ is the angle of both $\Delta$ and $\bar{\Delta}$ at the edge $x$.
Thus it suffices to show that $A_K A_L = A_{\bar{K}} A_{\bar{L}}$ or, since all four triangles share a common side,
that $h_K h_L = h_{\bar{K}} h_{\bar{L}}$, where $h_K$ denotes the distance from $K$ to the line $F_1F_2$ etc.

By Theorem \ref{thm:Ivory} (applied to a degenerate family of confocal conics)
the affine transformation $(x,y,z) \mapsto (px, qy, qz)$ that sends the smaller ellipsoid to the bigger one
maps $K$ to a point $K'$ lying on the same hyperboloid.
The points $K'$ and $\bar{K}$ are related by the rotation by the angle $\phi$ about the axis $F_1 F_2$, see Figure \ref{fig:TetraPar}.

\begin{figure}[ht]
\begin{center}
\includegraphics[width=.5\textwidth]{tetrahedra-parallelepiped.pdf}
\end{center}
\caption{$\operatorname{Vol}(\Delta) = \operatorname{Vol}(\bar{\Delta})$ in the Euclidean case.}
\label{fig:TetraPar}
\end{figure}

It follows that
\[
h_{\bar{K}} = h_{K'} = q h_K.
\]
Similarly, if $L'$ is the image of $\bar{L}$ under the above affine transformation, then one has
\[
h_{L} = h_{L'} = q h_{\bar{L}}.
\]
This implies $h_K h_L = h_{\bar K} h_{\bar L}$, and the equality of volumes is proved.
\end{proof}

\begin{rem}
The equality of volumes in the Euclidean case can also be proved by a straightforward calculation using the Cayley--Menger formula:
\[
\operatorname{Vol}(\Delta)^2 =
\frac{1}{288}
\begin{vmatrix}
0 & 1 & 1 & 1 & 1\\
1 & 0 & a^2 & b^2 & y^2\\
1 & a^2 & 0 & x^2 & d^2\\
1 & b^2 & x^2 & 0 & c^2\\
1 & y^2 & d^2 & c^2 & 0
\end{vmatrix}
\]
\end{rem}

Volumes of spherical and hyperbolic tetrahedra is a very different story from the volume of a Euclidean tetrahedron:
formulas for the volume are much more complicated, see a recent survey \cite{AM19}.
In order to prove the equality of volumes in $\mathbb S^3$ or $\mathbb H^3$, we use
the following theorem (\cite{Schl60}, for modern expositions see \cite{AVS93, Mil94}).
\begin{thm}[Schl\"afli]
For every smooth deformation of a spherical or hyperbolic tetrahedron one has
\[
d\operatorname{Vol} = \pm \frac12 \sum_{i=1}^6 \ell_i d\theta_i,
\]
where the sum is taken over the edges of the tetrahedron, $\ell_i$ is the length of the $i$-th side,
and $\theta_i$ is the dihedral angle at the $i$-th side.
The sign on the right hand side is $+$ in the spherical and $-$ in the hyperbolic case.
\end{thm}

For a deformation of a Euclidean tetrahedron one has $\sum_{i=1}^6 \ell_i d\theta_i = 0$,
but we do not need this formula.

\begin{proof}[Proof of Theorem \ref{thm:Regge}, part (3), spherical and hyperbolic cases]
Deform the tetrahedron $\Delta$ by increasing the length of the side $y$ until the tetrahedron flattens
(the angle at the $x$-edge becomes equal to $\pi$).
Let $\Delta_t$ be the tetrahedron with $y=t$,
and let $\bar{\Delta_t}$ be the tetrahedron corresponding to~$\Delta_t$ under the Regge symmetry.
Since the dihedral angles of $\Delta_t$ and $\bar{\Delta_t}$ at the $x$-edges are equal,
at $t = y_{max}$ both tetrahedra flatten.
Thus we have
\[
\operatorname{Vol}(\Delta_t) \big|_{t = y_{\max}} = 0 = \operatorname{Vol}(\bar{\Delta_t}) \big|_{t = y_{max}}.
\]
By the Schl\"afli formula one has
\begin{gather*}
\frac{d}{dt} \operatorname{Vol}(\Delta_t) = \pm \frac12 (a \dot\alpha + b \dot\beta + c \dot\gamma + d \dot\delta + x \dot\phi + t \dot\psi)\\
\frac{d}{dt} \operatorname{Vol}(\bar{\Delta_t}) =
\pm \frac12 \left( (s-a)(\dot\sigma - \dot\alpha) + \cdots + (s-d)(\dot\sigma - \dot\delta) + x \dot\phi + t \dot\psi \right)
\end{gather*}
A simple computation
\begin{multline*}
(s-a)(\dot\sigma - \dot\alpha) + \cdots + (s-d)(\dot\sigma - \dot\delta)\\
= 4s \dot\sigma - (a+b+c+d) \dot\sigma - s (\dot\alpha + \dot\beta + \dot\gamma + \dot\delta)
+ a\dot\alpha + b\dot\beta + c\dot\gamma + d\dot\delta\\
= a\dot\alpha + b\dot\beta + c\dot\gamma + d\dot\delta
\end{multline*}
shows that the derivatives of the volumes coincide for all $t$.
It follows that $\operatorname{Vol}(\Delta_t) = \operatorname{Vol}(\bar{\Delta_t})$ for all $t$, and in particular $\operatorname{Vol}(\Delta) = \operatorname{Vol}(\bar{\Delta})$.
\end{proof}

\begin{rem}
Note that the Euclidean case can be derived from the spherical or hyperbolic cases
by taking the limit over a sequence of spherical tetrahedra shrinking to a point and tending in their shape to~$\Delta$.
\end{rem}

\section{Proof of Lemma~\ref{lem:ProdQuot}}
The lemma can be proved by synthetic methods, especially in the Euclidean case.
For the hyperbolic and the spherical cases one uses the Poincar\'e model or the stereographic projection.

Since synthetic proofs are somewhat lengthy, here we provide a short analytical proof.

The cosine law expresses an angle of a triangle in terms of its side lengths.
In the spherical and hyperbolic case there are dual cosine laws which express a side in terms of the angles.
By using classical trigonometric identities one can give these expressions a different form, known as half-angle and half-side formulas
(see e.g. \cite{Tod86} for the proof of the spherical case).
Below $s = \frac{a+b+c}2$ is the semiperimeter of the triangle.

\begin{itemize}
\item
For a spherical triangle:
\[
\tan \frac{\alpha}2 = \sqrt{\frac{\sin(s-b) \sin(s-c)}{\sin s \sin(s-a)}}, \quad
\tan \frac{a}{2} = \sqrt{\frac{-\cos\sigma \cos(\sigma-\alpha)}{\cos(\sigma-\beta) \cos(\sigma-\gamma)}}.
\]
\item
For a hyperbolic triangle:
\[
\tan \frac{\alpha}2 = \sqrt{\frac{\sinh(s-b) \sinh(s-c)}{\sinh s \sinh(s-a)}}, \quad
\tanh \frac{a}{2} = \sqrt{\frac{\cos\sigma \cos(\sigma-\alpha)}{\cos(\sigma-\beta) \cos(\sigma-\gamma)}}.
\]
\item
For a Euclidean triangle:
\[
\tan \frac{\alpha}2 = \sqrt{\frac{(s-b)(s-c)}{s(s-a)}}.
\]
\end{itemize}

Multiplying two half-angle formulas for a spherical triangle one obtains
\[
\tan\frac{\alpha}2 \tan\frac{\beta}2 = \frac{\sin(s-c)}{\sin s}
= \frac{\sin\left( \frac{a+b}2 - \frac{c}2 \right)}{\sin\left( \frac{a+b}2 + \frac{c}2 \right)}
= \frac{\tan\frac{a+b}2 - \tan\frac{c}2}{\tan\frac{a+b}2 + \tan\frac{c}2}.
\]
Thus, for a given $c$, the value of $\tan\frac{\alpha}2 \tan\frac{\beta}2$ is uniquely determined by the value of $a+b$.
The equation can be solved for $\tan\frac{a+b}2$, so that $a+b$ is uniquely determined by $\tan\frac{\alpha}2 \tan\frac{\beta}2$.

Similarly, dividing two half-angle formulas for a spherical triange one obtains
\[
\frac{\tan\frac{\alpha}2}{\tan\frac{\beta}2} = \frac{\sin(s-b)}{\sin(s-a)}
= \frac{\sin\left(\frac{c}2 + \frac{a-b}2\right)}{\sin\left(\frac{c}2 - \frac{a-b}2\right)}
= \frac{\tan\frac{c}2 + \tan\frac{a-b}2}{\tan\frac{c}2 - \tan\frac{a-b}2}.
\]

Computations are similar in the hyperbolic case, as well as for the products and ratios of tangents of half-sides.

In the Euclidean case by mutliplying and dividing the half-angle formulas one gets
\[
\tan\frac{\alpha}2 \tan\frac{\beta}2 = \frac{a+b-c}{a+b+c}, \quad
\frac{\tan\frac{\alpha}2}{\tan\frac{\beta}2} = \frac{c+(a-b)}{c-(a-b)}.
\]

\bibliographystyle{abbrv}

Metric Geometry (math.MG); Differential Geometry (math.DG)


Minimal free resolutions for certain affine monomial curve

Abstract: Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two determinantal ideals. Using this fact, we describe the minimal free resolution of the coordinate ring in the following three cases: when m_0 is 1 modulo n (determinantal), when m_0 is n modulo n (almost determinantal), and when m_0 is 2 modulo n and n=4 (Gorenstein of codimension 4).

\section*{Introduction}
Let $k$ denote an arbitrary field and $R$ be the polynomial ring
$k[X_0,\ldots,X_n]$. Consider the $k$-algebra homomorphism $\varphi:R\rightarrow k[t]$ given
by $\varphi(X_i)=t^{m_i}$, $i=0,\ldots,n$. Then the ideal
${\mathcal P}:=\ker{\varphi}\subset R$ is the defining ideal of the monomial
curve in $\mathbb A_k^{n+1}$ given by the parametrization $X_0=t^{m_0}$,
\ldots, $X_n=t^{m_n}$. The $k$-algebra of the semigroup
$\Gamma\subset\mathbb N$ generated by $m_0,\ldots,m_n$ is
$k[\Gamma]:=k[t^{m_0},\ldots,t^{m_n}]\simeq R/{\mathcal P}$, which is
one-dimensional and  ${\mathcal P}$ is a perfect ideal of codimension $n$. It
is well known that ${\mathcal P}$ is minimally generated by binomials.
Moreover, ${\mathcal P}$ is a homogeneous ideal and $k[\Gamma]$ is the
homogeneous coordinate ring if we give weight $m_i$ to the variables
$X_i$. Henceforth, homogeneous and graded would mean homogeneous and
graded with respect to this weighted graduation.

\medskip

Assume now that the positive integers $m_0,\ldots,m_n$ satisfy the
following properties:
\begin{enumerate}
\item[(i)]
$\gcd{(m_0,\ldots,m_n)}=1$;
\item[(ii)]
$0<m_0<\cdots<m_n$ and $m_i=m_0+id$ for every $i\in[1,n]$, i.e., the
integers form an arithmetic progression with common difference $d$;
\item[(iii)]
$m_0,\ldots,m_n$ generate the semigroup
$\Gamma:=\displaystyle{\sum_{0\leq i\leq n}\mathbb N m_i}$ minimally, where
$\mathbb N=\{0,1,2,\ldots\}$, i.e., $m_j\notin\displaystyle{\sum_{0\leq
i\leq n;\,i\neq j}\mathbb N m_i}$ for every $i\in[0,n]$.
\end{enumerate}

\begin{definition}\label{arithmeticsequence}\rm
A sequence of positive intergers
$({\bf m} ) = m_0,\ldots,m_n$ is called an {\bf arithmetic sequence} if it
satisfies the conditions (i),(ii) and (iii) above.
\end{definition}

Let us write $m_0=an+b$ such that $a,b$ are positive integers and
$b\in[1,n]$. Note that $b\in [1,n]$ and condition (iii) on
$m_0,\ldots,m_n$ ensures that $a\geq 1$; otherwise $m_0=b$ and
$m_b=m_0+bd=(1+d)b$ contradicts minimally condition (iii).

\medskip

Let $({\bf m} )= m_0,\ldots, m_n$ be an arithmetic sequence. We say that
the monomial curve  in $\mathbb A_k^{n+1}$  parameterized by $X_0=t^{m_0}$,
\ldots, $X_n=t^{m_n}$ is the monomial curve associated to the
arithmetic sequence $({\bf m} )$ and denote it by $C({\bf m} )$. A minimal
binomial generating set for the defining ideal ${\mathcal P}$ of $C({\bf m} )$
was given in \cite{patil}, and it was rewritten in \cite{malooseng}
to prove that ${\mathcal P}$ is not a complete intersection if $n\geq 3$. An
explicit formula for the type of $k[\Gamma]$ is given in
\cite[Corollary~6.2]{patseng} under a more general assumption of
almost arithmetic sequence on the integers $({\bf m} )= m_0,\ldots, m_n$
and it follows from this result that if $({\bf m} )= m_0,\ldots, m_n$ is
an arithmetic sequence then $k[\Gamma]$ is Gorenstein if and only if
$b=2$. In this paper, we prove in Theorem~{\ref{mingen}} that ideal
${\mathcal P}$ has the special structure that it can be written as a sum of
two determinantal ideals, one of them being the defining ideal of
the rational normal curve. We exploit this structure to construct an
explicit minimal free resolution of the graded ideal ${\mathcal P}$, in the
cases when $m_0\equiv 1$ or $n$ modulo $n$, and when $m_0\equiv 2$
modulo $n$ and $n\leq 4$. Note that a minimal free resolution for
${\mathcal P}$ had already been constructed for $n=3$ in \cite{seng} using a
Gr\"{o}bner basis for ${\mathcal P}$. In \cite{eaca} the following question was
posed~: do the total Betti numbers of ${\mathcal P}$ depend only on the
integer $m_0$ modulo $n$~? In this article, we answer this question
in affirmative for the above cases. This question will be addressed
in general in our work in progress \cite{hip}.

\section{The defining ideal}

By \cite{patil} and \cite {malooseng}, one knows that the number of
elements in a minimal set of generators of the ideal ${\mathcal P}$ depends
only on $m_0$ modulo $n$. Our first result shows that ${\mathcal P}$ has an
additional structure that will be helpful in the sequel.

\begin{theorem} {\label{mingen}}
Let $({\bf m}) = m_0, \ldots m_n$ be an arithmetic sequence and ${\mathcal P}$ be
the defining ideal of the monomial curve $C({\bf m} )$ associated to
${\bf m}$. Then
 {\footnotesize
$$
{\mathcal P}= I_2 ({\left(\begin{array}{cccc}
\begin{array}{c}
X_{0}\\[1.5mm]
X_{1}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{1}\\[1.5mm]
X_{2}\\[1.5mm]
\end{array} &
\begin{array}{c}
\cdots\\[1.5mm]
\cdots\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{n-1}\\[1.5mm]
X_{n}\\[1.5mm]
\end{array}
\end{array}\right)})+ I_2 ({\left(\begin{array}{cccc}
\begin{array}{c}
X_{n}^{a}\\[1.5mm]
X_{0}^{a+d}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{0}\\[1.5mm]
X_{b}\\[1.5mm]
\end{array} &
\begin{array}{c}
\cdots\\[1.5mm]
\cdots\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{n-b}\\[1.5mm]
X_{n}\\[1.5mm]
\end{array}
\end{array}\right)}).
$$
 }
\end{theorem}

\begin{proof}
It is known from \cite{patil} and \cite {malooseng}, that ${\mathcal P}$ is
minimally generated by the following set of binomials
$$\{\delta_{ij}\mid 0\leq i < j \leq n-1\}\cup \{\Delta_{1, \,j}\mid
j = 2, \ldots , n+2-b\},$$ such that $$\delta_{i,\,j}:= X_{i}X_{j+1}
- X_{j}X_{i+1}, \quad 0 \leq i < j \leq n-1$$ and $$\Delta_{1,
\,j}:= X_{b+j-2}X_{n}^{a} - X_{j-2}X_{0}^{a+d}, \quad j = 2, \ldots
, n+2-b.$$
The binomials ${\delta_{ij}}$ are precisely the $n\choose
2$ generators of the ideal of $2\times 2$ minors of the matrix
$$A= {\left(\begin{array}{cccc}
\begin{array}{c}
X_{0}\\[1.5mm]
X_{1}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{1}\\[1.5mm]
X_{2}\\[1.5mm]
\end{array} &
\begin{array}{c}
\cdots\\[1.5mm]
\cdots\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{n-1}\\[1.5mm]
X_{n}\\[1.5mm]
\end{array}
\end{array}\right)}.$$
On the other hand, the binomials
$\Delta _{1,j}$ are the $2\times2$ minors from the first and the $j$th column of the matrix
$$B={\left(\begin{array}{cccc}
\begin{array}{c}
X_{n}^{a}\\[1.5mm]
X_{0}^{a+d}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{0}\\[1.5mm]
X_{b}\\[1.5mm]
\end{array} &
\begin{array}{c}
\cdots\\[1.5mm]
\cdots\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{n-b}\\[1.5mm]
X_{n}\\[1.5mm]
\end{array}
\end{array}\right)}.$$
Since the rest of the $2\times2$ minors of $B$ are already in the
ideal $I_2(A)$, one gets that ${\mathcal P} = {\mathcal P}_{1} + {\mathcal P}_{2}$, where
${\mathcal P}_{1}$ and ${\mathcal P}_{2}$ are the determinatal ideals generated by the
maximal minors of the matrices $A$ and $B$ respectively.
\end{proof}

\medskip

The actual generators also depend only on the first term $m_0$, the
common difference $d$ and the length $n$ of the arithmetic sequence
$({\bf m} )$. This is no surprise as these three numbers do determine
the arithmetic sequence. However, we also have that the number of
minimal generators of the ideal ${\mathcal P}$ is ${n\choose 2} + n-b+1$ and
hence only depends on $n$ and $b$. We conjecture that the following
statement is true:

\begin {conjecture}
Let $({\bf m} )= m_0,\ldots , m_n$ be an arithmetic sequence. Then all
the Betti numbers of the homogeneous coordinate ring $k[\Gamma]$ of
the affine monomial curve $C({\bf m})$ in $\mathbb A_k^{n+1}$ associated to
$({\bf m} )$ are determined by $n$ and the value of $m_0$ modulo $n$.
 \end{conjecture}

In the next section, we discuss the conjecture in cases $b=1,2$ and
$n$ and construct a minimal resolution when $b=1$ or $n$ using the
aforesaid determinantal structures. In the first special case,
$b=1$, we have that ${\mathcal P}$ is a determinantal ideal. The second
special case is $b=n$, that is when
$$B := {\left(\begin{array}{cccc}
\begin{array}{c}
X_{n}^{a}\\[1.5mm]
X_{0}^{a+d}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{0}\\[1.5mm]
X_{n}\\[1.5mm]
\end{array}
\end{array}\right)},$$
and therefore the ideal ${\mathcal P}_{2}$ is the principal ideal generated
by $X_{0}^{a+d+1} - X_{n}^{a+1}$. The third special case is $b=2$,
that is when $k[\Gamma]$ is Gorenstein. In this case, we wiil give the Betti numbers when
the codimension $n$ is 4.

\section{The minimal resolution}

\subsection{First case: determinantal ($m_0\equiv 1$ modulo $n$).}\label{subsec_b=1}

Assume that $b=1$. In this case,
$$
B := {\left(\begin{array}{cccc}
\begin{array}{c}
X_{n}^{a}\\[1.5mm]
X_{0}^{a+d}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{0}\\[1.5mm]
X_{1}\\[1.5mm]
\end{array} &
\begin{array}{c}
\cdots\\[1.5mm]
\cdots\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{n-1}\\[1.5mm]
X_{n}\\[1.5mm]
\end{array}
\end{array}\right)}
$$
and hence $I_2(A) \subset I_2 (B)$. Thus,
${\mathcal P} = {\mathcal P}_{2}$ is a determinantal ideal of codimension $n$
generated by the maximal minors of the $2\times (n+1)$ matrix $B$.
Therefore, the homogeneous coordinate ring $k[\Gamma]$ is minimally
resolved by the Eagon-Northcott complex.   The resolution is given
by
 {\small
$$
0 \to \wedge^{n+1}R^{n+1}\otimes D_{n-1}(R^{2})\to \cdots \to
\wedge^3R^{n+1}\otimes D_{1}(R^2)\to \wedge^{2}R^{n+1} \to
\wedge^{2}R^{2} \to k[\Gamma] \to 0
$$
 }
such that $D_{s-1}(R^{2})= (S_{s-1}(R^2))^{*}$ denotes the
$R$-module which is the dual of the symmetric algebra of $R^{2}$ and
the module $S_{s-1}(R^{2})$ is free of rank $s$, with a basis the
set of monomials of total degree $(s-1)$ in $\lambda_{0}$,
$\lambda_{1}$ (symbols representing basis elements of $R^{2}$).
Therefore, up to an identification,
$D_{s-1}(R^{2})=(S_{s-1}(R^{2}))^{*}$ is a free $R$-module of rank
$s$, with a basis $\{\lambda_{0}^{v_0}\lambda_{1}^{v_1}\mid v_0, v_1
\in\mathbb N \,, v_0+v_1 = s-1\}$. For every $s = 1, \ldots , n$, let
$G_{s}$ denote $\wedge^{s+1}R^{n+1}\otimes D_{s-1}(R^{2})$, which is
a $R$-free module of rank $s{n+1\choose s+1}$ generated by the basis
elements $(e_{i_1}\wedge \cdots \wedge
e_{i_{s+1}})\otimes\lambda_{0}^{v_0}\lambda_{1}^{v_1}$, for every
$1\leq i_1 < i_2 < \cdots < i_{s+1}\leq n+1$ and $v_0, v_1 \in\mathbb N \,,
v_0 + v_1 = s-1$. The differentials $d_{s}: G_{s} \rightarrow G_{s-1}$ are
given by the following formulae:
$$d_{1}(e_{i_1}\wedge e_{i_2}) = X_{i_{1}-1}X_{i_{2}} -
X_{i_{2}-1}X_{i_{1}}\,, \quad \forall \ 1\leq i_{1} < i_{2} \leq
n+1,$$ and for $s = 2, \ldots , n$ and $1\leq i_{1} < \cdots <
i_{s+1} \leq n+1$,
 {\footnotesize
\begin{eqnarray*}
d_{s}((e_{i_1}\wedge \cdots \wedge
e_{i_{s+1}})\otimes\lambda_{0}^{v_0}\lambda_{1}^{v_1}) & = &
\sum_{j=1}^{s+1} (-1)^{j+1}X_{i_{j}-1}((e_{i_1}\wedge \cdots
\wedge \widehat{e_{i_{j}}}\wedge\cdots
e_{i_{s+1}})\otimes\lambda_{0}^{v_{0}-1}\lambda_{1}^{v_1})\\ {} &
{} & + \sum_{j=1}^{s+1} (-1)^{j+1}X_{i_{j}}((e_{i_1}\wedge \cdots
\wedge \widehat{e_{i_{j}}}\wedge\cdots
e_{i_{s+1}})\otimes\lambda_{0}^{v_0}\lambda_{1}^{v_{1}-1})\\
\end{eqnarray*}
 }
such that summands on the right hand side involve only
non-negative powers of $\lambda_{0}$ and $\lambda_{1}$.

\medskip

We have therefore proved the following:

\begin{theorem}{\label{b=1}}
The minimal free resolution of the homogeneous coordinate ring
$k[\Gamma]$ of the affine monomial curve $C({\bf m})$ in $\mathbb A_k^{n+1}$
associated to the arithmetic sequence of integers $({\bf m})=m_{0},
\ldots,m_{n}$ with the property $m_{0}\equiv 1$ modulo $n$ is
 {\small
$$
0 \rightarrow R^{n}\stackrel{d_n}{\longrightarrow} R^{(n-1){n+1\choose
n}}\stackrel{d_{n-1}}{\longrightarrow} \cdots \longrightarrow R^{s {n+1\choose s+1}}
\stackrel{d_s}{\longrightarrow} \cdots \longrightarrow R^{n+1\choose 2}
\stackrel{d_1}{\longrightarrow} R \stackrel{\varphi}{\longrightarrow} k[\Gamma] \rightarrow 0.
$$
 }
In particular, the Betti numbers are $\beta_{0}=1$ and $\beta_{s} =
s{n+1\choose s+1}$ for every $s\in[1,n]$.
\end{theorem}

\begin{remark}\rm
The case $a=1$ (and $b=1$) corresponds to semigroups $\Gamma$ of
maximal embedding dimension, i.e., those semigroups such that the
inequality $m(\Gamma)\geq e(\Gamma)$ is an equality, being
$m(\Gamma):=m_0=an+b$ and $e(\Gamma):=n+1$ the multiplicity and the
embedding dimension respectively.
\end{remark}

\medskip

Note that the above argument gives indeed the graded resolution
(with respect to the grading given by $\deg(X_i)=m_i=m_0+id$):

\begin {corollary} {\label{cor_b=1}}
Under the hypothesis of Theorem~\ref{b=1}, the minimal graded free
resolution of $k[\Gamma]$ is given by

 {\small
\begin{eqnarray*}
0&\longrightarrow&\displaystyle{ \bigoplus_{k=1}^{n}R(-(a+n+d)m_0+kd - {n+1
\choose 2}d)
}\\
 &\stackrel{d_{n}}{\longrightarrow}&\displaystyle{
\left(\bigoplus_{k=1}^{n-1}R(-nm_0+kd - {n+1 \choose 2} d)\right)
 }\\
 &&\displaystyle{
\oplus \left(\bigoplus_{1\le r_1< \ldots r_{n-1}\le n }\left(
\bigoplus_{k=1}^{n-1} R(-(a+d+n-1)m_0+kd-\sum_{i=1}^{n-1} r_id)
\right)
\right) }\\
 &\stackrel{d_{n-1}}{\longrightarrow}&\cdots\\
 &\vdots&\\
\cdots &\stackrel{d_s}{\longrightarrow}&\displaystyle{ \left(\bigoplus_{1\le
r_1<\ldots < r_s \le n}\left(\bigoplus_{k=1}^{s-1}R(-sm_0
+kd-\sum_{i=1}^{s} r_i d)\right) \right)\oplus
 }\\
 &&\displaystyle{
\left(\bigoplus_{1\le r_1<\ldots < r_{s-1} \le n}
\left(\bigoplus_{k=1}^{s-1}R(-(a+s-1+d)m_0 +kd-\sum_{i=1}^{s-1} r_i
d)\right)\right)
 }\\
 &\stackrel{d_{s-1}}{\longrightarrow}&\cdots\\
 &\vdots&\\
\cdots &\stackrel{d_2}{\longrightarrow}&\displaystyle{ \left(\bigoplus_{1\le
r_1<r_2\le n}R(-2m_0-(r_1+r_2-1)d)\right) \oplus
\left(\bigoplus_{k=0}^{n-1} R(-(a+1+d)m_0-kd)\right)
 }\\&
 \stackrel{d_1}{\longrightarrow}& \quad R
\quad\stackrel{\varphi}{\longrightarrow}\quad k[\Gamma]\rightarrow 0\,.
\end{eqnarray*}
 }
\end {corollary}

\subsection{Second case: almost determinantal ($m_0\equiv n$ modulo $n$).}\label{subsec_b=n}

In this case, we show that $k[\Gamma]$ can be resolved minimally by
a mapping cone  using the resolution for $R/{\mathcal P}_{1}$, which is the
homogeneous coordinate ring of the rational normal curve. The
minimal free resolution for $R/{\mathcal P}_{1}$ is the Eagon-Northcott
complex given by
 {\small
$$
\mathcal{E}: 0 \longrightarrow \wedge^{n}R^{n}\otimes
(S_{n-2}(R^{2}))^{*}\longrightarrow \cdots \longrightarrow \wedge^{2}R^{n}\otimes
(S_{0}(R^{2}))^{*} \longrightarrow \wedge^{2}R^{2} \longrightarrow R/{\mathcal P}_{1} \longrightarrow 0.
$$
 }
Since $E_{s}:= \wedge^{s+1}R^{n}\otimes (S_{s-1}(R^{2}))^{*}=
R^{s{n\choose s+1}}$, for every $s= 1, \ldots , n-1$,
$E_{0}:=\wedge^{2}R^{2}=R$, the resolution $\mathcal{E}$ takes the
form
 {\small
$$
0 \longrightarrow R^{n-1}\longrightarrow R^{(n-2){n\choose n-1}}\longrightarrow
\cdots \longrightarrow R^{s {n\choose s+1}} \longrightarrow \cdots \longrightarrow R^{n\choose 2}
\longrightarrow R \longrightarrow R/{\mathcal P}_{1} \longrightarrow 0.
$$
 }
The differentials $d_{s}^{1}: E_{s} \rightarrow E_{s-1}$ are defined
similarly as $d_{s}$ above, for every $s= 1, \ldots , n-1$.

\medskip

Now consider the short exact sequence of $R$-modules $$0 \longrightarrow
R/({\mathcal P}_{1}:\Delta_{1, \,2}) \stackrel{\Delta_{1, \,2}}{\longrightarrow}
R/{\mathcal P}_{1} \longrightarrow R/{\mathcal P}_{1}+ (\Delta_{1, \,2}) \longrightarrow 0$$ where the map
$R/({\mathcal P}_{1}:\Delta_{1, \,2}) \stackrel{\Delta_{1, \,2}}{\longrightarrow}
R/{\mathcal P}_{1}$ is the multiplication by $\Delta_{1, 2}$. The colon
ideal $({\mathcal P}_{1}:\Delta_{1, \,2})$ is exactly equal to ${\mathcal P}_{1}$,
since ${\mathcal P}_{1}$ is a prime ideal and $\Delta_{1, \,2}\not\in
{\mathcal P}_{1}$, being a part of a minimal generating set for the ideal
${\mathcal P} = {\mathcal P}_{1} + {\mathcal P}_{2}$. Therefore, the above short exact
sequence becomes, $$0 \longrightarrow R/{\mathcal P}_{1}(-(a+d+1)m_{0})
\stackrel{\Delta_{1, \,2}}{\longrightarrow} R/{\mathcal P}_{1} \longrightarrow R/{\mathcal P}_{1}+
(\Delta_{1, \,2}),$$ taking gradation into account. We define the
graded complex homomorphism $$\psi: \mathcal{E}(-(a+d+1)m_{0})
\longrightarrow \mathcal{E}$$ as the multiplication by $\Delta_{1, \,2}$,
which is a lift of the map $$R/{\mathcal P}_{1}(-(a+d+1)m_{0})
\stackrel{\Delta_{1, \,2}}{\longrightarrow} R/{\mathcal P}_{1}.$$ In fact, the complex homomorphism
$\psi $ is simply multiplication by $\Delta _{1,\,2}$.  The mapping cone
$\mathcal{F}(\psi)$ is given by the free modules $F_{s} =
E_{s-1}\oplus E_{s}= R^{(s-1){n\choose s}} \oplus R^{s{n\choose
s+1}}$, for every $s= 0, \ldots , n$ (with $E_{-1} = E_{n}=0$) and
the differentials $d_{s}^{2}: F_{s} \rightarrow F_{s-1}$, defined as
$d_{s}^{2}(x,y) = (\psi_{s-1}(y)+d_{s}^{1}(x),
\,-d_{s-1}^{1}(y))$, for every $s = 1, \ldots , n$.

\medskip

$R/{\mathcal P}_{1}+(\Delta_{1,\,2})$ is resolved by the mapping cone
$\mathcal{F}(\psi)$.   It is minimal because each of the maps in
$\psi$ is of positive degree and the resolution $\mathcal {E}$ is
minimal.   Hence, the mapping cone $\mathcal{F}(\psi)$ is the
minimal free resolution of the homogeneous coordinate ring
$k[\Gamma] = R/{\mathcal P}$. We have therefore proved the following:

\begin{theorem}{\label{b=n}}
The minimal free resolution of the homogeneous coordinate ring
$k[\Gamma]$ of the affine monomial curve $C({\bf m})$ in $\mathbb A_k^{n+1}$
associated to the arithmetic sequence of integers
$({\bf m})=m_{0},\ldots,m_{n}$ with the property $m_{0}\equiv n$ modulo
$n$ is
$$
0 \rightarrow R^{n-1}\stackrel{d_n^2}{\longrightarrow} R^{(n-2){n\choose n-1}
+ (n-1)}\stackrel{d_{n-1}^2}{\longrightarrow} \cdots \longrightarrow R^{1 + { n\choose 2}}
\stackrel{d_1^2}{\longrightarrow} R \stackrel{\varphi}{\longrightarrow} k[\Gamma] \rightarrow 0.
$$
In particular, the Betti numbers are $\beta_{0}=1$, $\beta_1=1 + {
n\choose 2}$ and $\beta_{s} = (s-1){n\choose s} + s{n\choose s+1}$
for every $s\in[2,n]$.
\end{theorem}

As in Section~\ref{subsec_b=1}, one can be more precise and give the
graded resolution. First note that the graded minimal resolution of
${\mathcal P}_1$ is given by
\begin{eqnarray*}
0&\longrightarrow&\displaystyle{
 \bigoplus_{k=1}^{n-1}R(-nm_0+kd - {n+1\choose 2} d)\quad
 \stackrel{d^1_{n-1}}{\longrightarrow}\quad\cdots
}\\
&\cdots &\stackrel{d^1_s}{\longrightarrow}\displaystyle{ \bigoplus_{1\le
r_1<\ldots < r_s \le n} \left(\bigoplus_{k=1}^{s-1} R(-sm_0 +kd
-\sum r_i d)\right)\quad \stackrel{d^1_{s-1}}{\longrightarrow}\quad\cdots
 }\\
&\cdots& \stackrel{d^1_2}{\longrightarrow}\displaystyle{ \bigoplus_{1\le
r_1<r_2\le n}R(-2m_0-(r_1+r_2-1)d)
 \quad
 \stackrel{d^1_1}{\longrightarrow} \quad R
\quad\longrightarrow\quad R/{\mathcal P}_{1}\rightarrow 0\,.}
\end{eqnarray*}

\begin {corollary} {\label{cor_b=n}}
Under the hypothesis of Theorem~\ref{b=n}, the minimal graded free
resolution of $k[\Gamma]$ is given by
\begin{eqnarray*}
 0&\longrightarrow&\displaystyle{
\bigoplus_{k=1}^{n-1}R(-(a+n+d+1)m_0+kd -{n+1\choose 2} d)
 }\\
 &\stackrel{d^2_{n}}{\longrightarrow}&\displaystyle{
\left(\bigoplus_{k=1}^{n-1}R(-nm_0+kd - {n+1\choose 2}
d)\right)\oplus
 }\\
 &&\displaystyle{
\left(\bigoplus_{1\le r_1<\ldots < r_{n-1} \le n}\left(\bigoplus
_{k=1}^{n-2}R(-(a+n+d)m_0 +kd -\sum r_i d)\right)\right)
 }\\
 &\stackrel{d^2_{n-1}}{\longrightarrow}&\cdots\\
 &\vdots&\\
\cdots &\stackrel{d^2_s}{\longrightarrow}&\displaystyle{ \left(\bigoplus_{1\le
r_1<\ldots < r_s \le n}\left(\bigoplus_{k=1}^{s-1} R(-sm_0 +kd -\sum
r_i d)\right) \right) \oplus
 }\\
 &&\displaystyle{
\left(\bigoplus_{1\le r_1<\ldots < r_{s-1} \le n}\left(\bigoplus
_{k=1}^{s-2}R(-(a+s+d)m_0 +kd -\sum r_i d)\right)\right)
 }\\
 &\stackrel{d^2_{s-1}}{\longrightarrow}&\cdots\\
 &\vdots&\\
\cdots &\stackrel{d^2_2}{\longrightarrow}&\displaystyle{ \left(\bigoplus_ {1\le
r_1<r_2\le n}R(-2m_0-(r_1+r_2-1)d)\right) \oplus R(-(a+1+d)m_0)}\\
 &\stackrel{d^2_1}{\longrightarrow}& R \stackrel{\varphi}{\rightarrow} k[\Gamma]\rightarrow 0.
\end{eqnarray*}
\end {corollary}

\subsection{Third case: Gorenstein of codimension 4 ($m_0\equiv 2$ modulo $n$ and $n=4$).}

When $b=2$, the ideal ${\mathcal P}$ is Gorenstein of height $n$ and hence
the first and the last Betti numbers are known. This provides a very
interesting family of Gorenstein ideals of height $n$ generated by
$(n-1)(n+2)/2$ binomials.

\medskip

When $n=2$, ${\mathcal P}$ is a complete intersection and when $n=3$, ${\mathcal P}$
is the ideal of $4\times 4$ pfaffians of a $5\times 5$ skew
symmetric matrix. For $n=4$, the ideal ${\mathcal P}$ is a height 4
Gorenstein ideal minimally generated by $9$ elements and therefore
has Betti numbers 9, 16, 9 and 1.

\medskip

In fact, we can show that with this weighted grading, the shifts in
a graded resolution of $R/{\mathcal P}$ are as follows:

\begin{theorem} {\label{gor-res-grad}}
Given two non-negative integers $a$ and $d$, consider the monomial
curve $C({\bf m})$ in $\mathbb A_k^5$ associated to the arithmetic sequence
$({\bf m})=4a+2, 4a+2+d, 4a+2+2d, 4a+2+3d, 4a+2+4d$. Set $q:=2a+1$. Then
the defining ideal ${\mathcal P}$ of $C({\bf m})$ is a height four Gorenstein
ideal whose minimal graded free resolution is

 {\small
\begin{eqnarray*}
0&\rightarrow&\displaystyle{R(-q(q+2d+9)-9d)}\\
 &\rightarrow&\displaystyle{
\left(\bigoplus_{k=7}^9 R(-8q-kd)\right)\oplus \left(\bigoplus
_{k=3}^7R(-q(q+2d+5)-kd)\right) \oplus R(-q(q+2d+5)-5d)
 }\\
 &\rightarrow&\displaystyle{
R(-6q-4d)\oplus\left(\bigoplus_{k=5}^7R^2(-6q-kd)\right)\oplus
R(-6q-8d)\ \oplus R(-q(q+2d+3)-d)
 }\\& &\displaystyle{
\oplus \left(\bigoplus_{k=2}^4R^2(-q(q+2d+3)-kd)\right)\oplus
R(-q(q+2d+3)-5d)
 }\\&\rightarrow&\displaystyle{
\left(\bigoplus_{k=2}^6 R(-4q-kd)\right)\oplus R(-4q-4d)
\oplus\left(\bigoplus_{k=0}^2 R(-q(q+2d+1)-kd)\right)}\ \rightarrow{\mathcal P} \rightarrow
0.
\end{eqnarray*}
 }
\end{theorem}

\begin {proof}
We know that ${\mathcal P}$ is Gorenstein of height 4 and by
Theorem~\ref{mingen}, it is generated by the $2\times 2$ minors of
$A$ and $B$, where
$$A = {\left(\begin{array}{cccc}
\begin{array}{c}
X_{0}\\[1.5mm]
X_{1}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{1}\\[1.5mm]
X_{2}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{2}\\[1.5mm]
X{3}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{3}\\[1.5mm]
X_{4}\\[1.5mm]
\end{array}
\end{array}\right)}$$ and
$$B={\left(\begin{array}{cccc}
\begin{array}{c}
X_{4}^a\\[1.5mm]
X_{0}^{a+d}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{0}\\[1.5mm]
X_{2}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{1}\\[1.5mm]
X_{3}\\[1.5mm]
\end{array} &
\begin{array}{c}
X_{2}\\[1.5mm]
X_{4}\\[1.5mm]
\end{array}
\end{array}\right)}.$$
Moreover, the $9$ minimal generators of ${\mathcal P}$ are the six $2\times
2$ minors of $A$ whose degrees are $2m_0+kd$, $k=2,3,4,4,5,6$ for
$m_0:=4a+2=2(2a+1)=2q$, and the $3$ minors of $B$ involving the
first column which are of degrees $m_0(a+d+1)+kd$, $k=0,1,2$. Note
that for both determinantal ideals $I_2(A)$ and $I_2(B)$, the
Eagon-Northcott complex provides a minimal resolution. The $8$
determinantal relations from the Eagon-Northcott resolution of
$I_2(A)$ and the $6$ determinantal relations from the
Eagon-Northcott resolution of $I_2(B)$ involving the first column
will necessarily be among the 16 minimal syzygies of ${\mathcal P}$. The
degrees of the other two relations are determined by the symmetry of
the resolution. Thus the remaining two relations must be of degrees
$q(q+3)+(2q+2)d$ and $q(q+3)+(2q+4)d$. This determines the rest of
the degrees in the resolution.
\end{proof}

\medskip

We note that when $ d=1$, this ideal can never be determinantal even
though it is height 4 and generated by 9 elements.  That is, this
ideal is not the ideal of $2\times 2$ minors of a $3\times 3$ matrix
for sum of the degrees of such an ideal must be even.    For in this
case, the ideal is generated by 9 elements whose degrees add  up to
$27d+ km_0$.  Since $m_0$ is even, this number is odd whenever $d$
is odd. Hence if $d$ is odd, it cannot be a determinantal ideal.
However, it is not clear if it can be determinantal for even values
of $d$.  Of course, the conjecture only says that the Betti numbers
are determined by $b$.

\bibliographystyle{amsalpha}

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


Some results about Colored Tverberg Theorem

Abstract: In this paper, we present some results related to Barany-Larman colored problem and The Zivaljevic and Vrecica colored Tverberg problem. We give an alternative proof for the Barany-Larman Conjecture for primes -1 and the optimal colored Tverberg theorem. Also, we prove generalizations of the Colored Tverberg theorem of Zivaljevic and Vrecica.

\section{Introduction}

\vspace{0.2cm}

In 1959 Birch \cite{Bir59} formulated the following conjecture.

\begin{conj} Any $(r-1) (d+1) +1$ points in $\mathbb{R}^{d}$ can be partitioned in $N$ subsets whose convex hulls have a common point.
\end{conj}

The Birch's conjecture was proved by Helge Tverberg (see \cite{Tve66}, \cite{Tve81}) and since then it is known as Tverberg theorem.

\begin{teo}[\textbf{Tverberg theorem}] Let $d \ge 1$ and $r \ge 2$ be integers, and $N= (r-1) (d+1)$. For any affine map $f: \Delta_N \rightarrow \mathbb{R}^{d}$ there are $r$ pairwise disjoint faces $\sigma_1, \ldots , \sigma_r$ of $\Delta_N$ such that $f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.$

\end{teo}

The following supposition is a generalization of the Tverberg theorem to arbitrary continuous map.

\begin{conj}[\textbf{Topological Tverberg conjecture}] Let $d \ge 1$ and $r \ge 2$ be integers, and let us consider $N= (r-1) (d+1)$. For any continuous map $f: \Delta_N \rightarrow \mathbb{R}^{d}$ there are $r$ pairwise disjoint faces $\sigma_1, \ldots , \sigma_r$ of $\Delta_N$ such that $f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.$

\end{conj}

The Topological Tverberg conjecture was considered an important unsolved problem in topological combinatorics \cite{mat08}. In 1981 the conjecture was proved, when $r$ is a prime number, by Bárány, Shlosman and Szücs \cite{Bar81}. The result for a prime number $r$ was extend for a prime power $r$ by Özaydin (unpublished) \cite{Oza87}, Volovikov \cite{Vol96} and Sarkaria \cite{Sar00}. This result is known as Topological Tverberg theorem.

 \begin{teo}[\textbf{Topological Tverberg theorem}] Let $d \ge 1$, $r \ge 2$, and $N= (r-1) (d+1)$ be integers. If $r$ is a prime power, then for any continuous map $f: \Delta_N \rightarrow \mathbb{R}^{d}$ there are $r$ pairwise disjoint faces $\sigma_1, \ldots , \sigma_r$ of $\Delta_N$ such that $f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.$

\end{teo}

The set $\{\sigma_1,\ldots ,\sigma_r \}$ of disjoint faces of $\Delta_N$ whose images by the map $f: \Delta_N \rightarrow \mathbb{R}^{d}$ have nonempty intersection is called a Tverberg partition for $f$.

\vspace{0.1cm}

In 1992, Bárány and Larman \cite{Bar92} formulated the colored Tverberg problem\ as follows.

\begin{defi}[\textbf{Coloring}] Let $N \ge 1$ be a integer and let $V(\Delta_N)$ be the set of vertices of the simplex $\Delta_N$. A \textit{coloring} of vertices $V(\Delta_N)$ by $l$ colors is a partition $(C_1, \ldots , C_l)$ of $V(\Delta_N)$, that is, $V(\Delta_N) = C_1 \cup \cdots \cup C_l$ and $C_i \cap C_j = \emptyset$ for $1 \le i < j \le l$. The elements of the partition $(C_1, \ldots , C_l)$ are called \textit{color classes}.

\end{defi}

\begin{defi}[\textbf{Rainbow face}] Let $(C_1, \ldots , C_l)$ be the coloring of $V(\Delta_N)$ by $l$ colors. A face $\sigma$ of the  simplex $\Delta_N$ is a \textit{rainbow face} if $|\sigma \cap C_i| \le 1$, for all $1 \le i \le l$.

\end{defi}

\begin{prob}[\textbf{Bárány-Larman colored problem}] Let $d \ge 1$ and $r \ge 2$ be integers. Determine the smallest number $n= n(d,r)$ such that for every map $f: \Delta_{n-1} \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{d+1})$ of the vertex set $V(\Delta_{n-1})$ of the simplex $\Delta_{n-1}$ by $d+1$ colors, with each color of size at least $r$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta_{n-1}$ satisfying \begin{eqnarray} \hspace{0.2cm} f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset. \nonumber\end{eqnarray}

\end{prob}

\vspace{0.1cm}

Note that a trivial lower bound for $n(d,r)$ is $(d+1)r$. Then the following conjecture arises.

\vspace{0.1cm}

\begin{conj}[\textbf{Bárány-Larman Conjecture}] Let $d\ge 1$ and $r \ge 2$ be integers. Then $n(d,r)= (d+1)r$.

\end{conj}

\vspace{0.2cm}

In \cite{Bla15}, the following result was formulated and proved.

\vspace{0.2cm}

\begin{teo}[\textbf{The optimal colored Tverberg theorem}] Let $d \ge 1$ be an integer, let $r \ge 2$ be a prime number and $N \ge (d+1)(r-1)$. For every continuous map $f: \Delta_N \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{m})$ of the vertex set $V(\Delta_N)$ by $m$ colors, with each color of size at most $r-1$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta_N$ satisfying: \begin{eqnarray} \hspace{0.2cm} f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset. \nonumber\end{eqnarray}

\end{teo}

\vspace{0.2cm}

In the same paper \cite{Bla15}, it is proved that the optimal colored Tverberg theorem implies the Bárány-Larman Conjecture, for the case when $r+1$ is a prime, which is called Bárány-Larman Conjecture for primes --1.

\vspace{0.1cm}

In this paper, we give a shorter alternative proof, without using spectral sequences, for the fact that $\mbox{Index}_{\mathbb{Z}_p}S(W_p)=\mbox{Index}_{\mathbb{Z}_p}\Delta _{p,p-1}=H^{\geq p-1}( B\mathbb{Z}_{p})$ (where $p$ is a prime number). This is the key result to prove the optimal colored Tverberg theorem and the Bárány-Larman Conjecture for primes -$1$

\vspace{0.1cm}

A modified colored Tverberg problem was presented by \v{Z}ivaljevi\'{c} and Vre\'{c}ica in the paper \cite{Ziv92}.

\begin{prob}[\textbf{The \v{Z}ivaljevi\'{c} and Vre\'{c}ica colored Tverberg problem}] Let $d \ge 1$ and $r \ge 2$ be integers. Determine the smallest number $t=t(d,r)$ such that for every affine (or continuous) map \linebreak $f: \Delta \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{d+1})$ of the the vertex set $V(\Delta)$ by $d+1$ colors, with each color of size at least $t$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta_{n-1}$ satisfying \begin{eqnarray}  f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.\nonumber\end{eqnarray}

\end{prob}

For $r \ge 2$ be a prime power, \v{Z}ivaljevi\'{c} and Vre\'{c}ica proved that $t(d,r) \le 2r-1$. This result was known as colored Tverberg theorem of \v{Z}ivaljevi\'{c} and Vre\'{c}ica.

\begin{teo}[\textbf{Colored Tverberg theorem of \v{Z}ivaljevi\'{c} and Vre\'{c}ica} \cite{Ziv92}] Let $d \ge 1$ be an integer, and let $r \ge 2$ be a prime power. For every continuous map $f: \Delta \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{d+1})$ of the the vertex set $V(\Delta)$ by $d+1$ colors, with each color of size at least $2r-1$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta$ satisfying: \begin{eqnarray} f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.\nonumber\end{eqnarray}

\end{teo}

\vspace{0.2cm}

We prove in this paper that the Colored Tverberg theorem of \v{Z}ivaljevi\'{c} and Vre\'{c}ica holds when $| C_1 | \ge 2r-1$ and $|C_i| \ge 2r-4$, for all $i=2,\ldots , d+1$. We also prove that this theorem still holds with a few more variations in the cardinalities of the color classes.

\vspace{1cm}

\section{Preliminares}

In this section we present the preliminary results.

\vspace{0.2cm}

\subsection{Volovikov index}

In this section, we present the Volovikov index, which is an algebraic topology tool used in the proofs of the theorems in Sections 4 and 5. For more details on the Volovikov index, see \cite{Vol00}.

\vspace{0.2cm}

Initially, we define the \textit{Borel construction}.

\vspace{0.2cm}

\begin{defi}[\textbf{Borel construction}] Let $G$ be a compact Lie group and let $X$ be a Hausdorff paracompact  $G$-space on which $G$ acts freely. Then $X \rightarrow X / G$ is a principal $G$-bundle (see \cite{Bre72}) and one can take:  \begin{eqnarray} h: X / G \rightarrow BG\nonumber\end{eqnarray} a classifying map for the $G$-bundle $X \rightarrow X / G$.

\vspace{0.1cm}

Let us consider the product $EG \times X$ with diagonal $G$-action $g(e,x) =(ge, gx)$, for every $g \in G$ and $(e,x) \in EG \times X$. Let $EG \times_G X = (EG \times X) / G$ be its orbit space. The first projection $EG \times X \rightarrow EG$ induces a map: \begin{eqnarray} p_X: EG \times_G X \rightarrow (EG)/G = BG, \nonumber \\ (e,x) G \mapsto e G  \hspace{1.9cm} \nonumber \end{eqnarray} which is a fibration with fiber $X$ and base space $BG$ being the classifying space of $G$.

\vspace{0.1cm}

This is the \textit{Borel construction}. It associates to each Hausdorff paracompact $G$-space $X$, a $G$-space $EG \times_G X$, which is denoted by $X_G$, over $BG$. Also, it associates to each $G$-map $f: X \rightarrow Y$, a fiber preserving map $\overline{ \mbox{Id}_{EG} \times f}:EG \times_G X \rightarrow EG \times_G Y$.

\end{defi}

Let us recall the Leray-Serre theorem for fibrations.

\begin{teo}[\textbf{The cohomology Leray-Serre Spectral sequence (Theorem $5.2$ \cite{McC01})}]
Let $R$ be a commutative ring with unit. Given a fibration $F \hookrightarrow E \stackrel{p}{\rightarrow} B$, where $B$ is a path-wise connected space, there is a first quadrant spectral sequence of algebras $\{ E_r^{\ast, \ast}, d_r \}$, with: \begin{eqnarray} E_{2}^{p,q} \cong H^{p} ( B ; \mathcal{H}^{q} (F;R)), \nonumber \end{eqnarray} the cohomology of $B$, with local coefficients in the cohomology of $F$, the fiber of $p$, and converging to $H^{\ast}(E;R)$ as an algebra. Furthermore, this spectral sequence is natural with the respect to fiber-preserving maps of fibrations.

\end{teo}

Let us now recall one of the numerical index defined by Volovikov in \cite{Vol00}. This is a function on $G$-spaces whose value is either a positive integer or $\infty$. For our purposes, it is sufficient to consider that $G$ is a $p$-torus ($p$ a prime number), that is, $G= (\mathbb{Z}_p)^{n}$, for $n \ge 1$, and $\mathbb{K} = \mathbb{Z}_p$ is a coefficient field in \v{C}ech cohomology .

\vspace{0.1cm}

\begin{defi}[\textbf{Volovikov index}] Let $G= (\mathbb{Z}_p)^{n}$ ($p$ a prime number) be a compact Lie group, for $n \ge 1$, and let $X$ be a Hausdorff paracompact  $G$-space, on which $G$ acts freely. The definition of the \textit{Volovikov index of $X$}, denoted by $i(X)$, uses the spectral sequence of the bundle $p_X: X_G \rightarrow BG$, with fibre $X$ (the Borel construction), given in Theorem $2.2$. This spectral sequence converges to the equivariant cohomology $H^{\ast} (X_G; \mathbb{Z}_p)$. Let $\Lambda^{\ast}$ be the equivariant cohomology algebra of a point $H^{\ast} (\mbox{pt}_G; \mathbb{Z}_p)= H^{\ast} (BG; \mathbb{Z}_p)$. Suppose that $X$ is path connected. Then $E_{2}^{\ast,0} = \Lambda^{\ast}$. Assume that $E_{2}^{\ast,0}= \cdots = E_{s}^{\ast,0} \neq E_{s+1}^{\ast,0}$. Then, by definition, $i(X)=s$. If $E_{2}^{\ast,0}= \cdots = E_{\infty}^{\ast,0}$ then, by definition, $i(X)= \infty$.

\end{defi}

We state some properties of the Volovikov index (see \cite{Vol00}).

\begin{prop} Let $X$, $Y$ and $Z$ be a Hausdorff paracompact  $G$-space where the $G$ acts freely. Then

\vspace{0.2cm}
\begin{itemize}
\item[(i)]  If there is a $G$-equivariant map $X \rightarrow Y$, then $i(X) \le i(Y)$.

\item[(ii)]  If $\tilde{H}^{j}(X; \mathbb{Z}_p)=0$, for all $j<n$, then $i(X) \ge n+1$.

\item[(iii)]  If $H^{j}(Z; \mathbb{Z}_p)=0$, for all $j \ge n$ and if $i(Z)< \infty$, then $i(Z) \le n$.

\item[(iv)]   If $X$ is a compact or finite dimensional space such that $H^{\ast}(X; \mathbb{Z}_p) = H^{\ast}(S^{n}; \mathbb{Z}_p) $, and if $G$ acts on $X$ without fixed points, then $i(X) =n+1$.

\end{itemize}

\end{prop}

\vspace{0.3cm}

\subsection{Fadell-Husseini index}

Next, we introduce the Fadell-Husseini index, and some of its properties.

\vspace{0.2cm}

\begin{defi}[\textbf{Fadell-Husseini index}] Let $G$ be a finite group and let $R$ be a commutative ring with unit. For a $G$-space $X$, the \textbf{Fadell-Husseini index} of $X$, denoted by $\mbox{Index}_G (X;R)$, is defined as follow: \begin{eqnarray} \mbox{Index}_G (X;R) = \mbox{Ker } ( q_{X}^{\ast}: H^{\ast} (BG;R) \rightarrow H^{\ast} (EG \times_G X;R) ), \nonumber \end{eqnarray}
where $q_X: X / G \rightarrow BG$ is a classifying map for the $G$-bundle $X \rightarrow X / G $.

\end{defi}

\vspace{0.2cm}

\begin{prop}[monotonicity property] If $f: X \rightarrow Y$ is a $G$-equivariant map, then \begin{eqnarray} \mbox{Index}_G (Y;R) \subset \mbox{Index}_G (X;R). \nonumber \end{eqnarray}

\end{prop}

\vspace{0.2cm}

\begin{defi} $W_r= \{ (t_1, \cdots, t_r) \in \mathbb{R}^{r} \hspace{0.1cm}; \hspace{0.1cm} \sum_{i=1}^{r} t_i =0\}.$
\end{defi}

\vspace{0.2cm}

\begin{teo}[\cite{Bla17}, pg. 305]

Let $r \ge 1$ be an integer, $p \ge 2$ a prime number and $N=(r-1) (d+1)$. Then: \begin{eqnarray} \mbox{Index}_{\mathbb{Z}_p} \left(S (W_{r}^{\oplus (d+1)}; \mathbb{Z}_p\right) = \langle b \rangle \mbox{, where } b \in H^{N}(B \mathbb{Z}_p). \nonumber \end{eqnarray}

\end{teo}

\vspace{0.3cm}

\subsection{Chessboard complex and connectedness}

In this section, we introduce the chessboard complex, which is widely used in Colored Tverberg theorem proofs. Also, we introduce the concept of connectedness and we relate it to the Volovikov index. For more details on these topics, see \cite{Bla17} and \cite{mat08}.

\vspace{0.3cm}

\begin{defi}[\textbf{Chessboard complex}] The \textit{$m \times n$ chessboard complex} $\Delta_{m,n}$ is the simplicial complex whose vertex set is $[m] \times [n]$\footnote{$[n]=\{1, \cdots,n\}.$} . The simplexes of $\Delta_{m,n}$ are the subsets $\{(i_0,j_0), \ldots, (i_k,j_k) \} \subset [m] \times [n]$, where $[n]=\{1, \ldots, n\}$, $i_s \neq i_{s'}$ ($1 \le s < s'\le k$), and $j_t \neq j_{t'}$ ($1 \le t < t'\le k$).

\end{defi}

\vspace{0.1cm}

\begin{defi} Let $n \ge -1$ be an integer. A topological space $X$ is \textit{$n$-connected} if any continuous map $f: S^{k} \rightarrow X$, where $-1 \le k \le n$, can be continuously extended to a continuous map $g: B^{k+1} \rightarrow X$, that is $g|_{\partial B^{k+1} = S^k} = f$ (here $B^{k+1}$ denotes a $(k+1)$-dimensional closed ball whose boundary is the sphere $S^{k}$). A topological space is $(-1)$-connected if it is non-empty. If the space $X$ is $n$-connected, but it is not $(n+1)$-connected, we write $\mbox{conn} (X)=n$.

\end{defi}

\vspace{0.1cm}

\begin{teo}[pg. 332, \cite{Bla17}] Let $X$ and $Y$ be topological spaces. Then: \begin{eqnarray}\mbox{conn} (X \ast Y) \ge  \mbox{conn} (X) + \mbox{conn} (Y) +2. \hspace{1cm} \nonumber \end{eqnarray} \end{teo}

\vspace{0.1cm}

\begin{teo}[ 4.4.1 Theorem \cite{mat08}] Let $X$ be a nonempty topological space and let $k \ge 1$. Then $X$ is $k$-connected, if only if, it is simply connected (i.e., the fundamental group $\pi_1(X)$ is trivial) and $\tilde{H}_i(X)=0$, for all $i=0,1, \ldots,k$.

\end{teo}

\vspace{0.1cm}

\begin{teo} Let be a $X$ topological space. Then \begin{eqnarray} i (X ) \ge  \mbox{conn} (X) +2. \nonumber \end{eqnarray}
\end{teo}

\vspace{0.1cm}

\begin{teo} Let $m, n \ge 1$ be integers. Then \footnote{$\lfloor{x}\rfloor = \mbox{max } \{ n \in \mathbb{N} \mbox{; } n \le x \}.$ } \begin{eqnarray} \mbox{conn} (\Delta_{m,n}) = \mbox{min} \{m,n, \lfloor{\frac{m+n+1}{3}}\rfloor\}-2. \nonumber \end{eqnarray}

\end{teo}

\vspace{0.1cm}

\begin{cor} Let $r \ge 2$ be an integer. Then $\mbox{conn} (\Delta_{2r-1,r}) = r-2$.

\end{cor}

\vspace{1cm}

\section{Alternative proof for the optimal colored Tverberg theorem}

In this section, we provide an alternative proof for the Theorem $3.3$ (\cite{Bla17} Theorem $6.6$), which is the key result used in the proof of B\'{a}r\'{a}ny-Larman Conjecture, for primes --1, and the optimal colored Tverberg theorem. Our proof is shorter than that shown in \cite{Bla17} and it does not use spectral sequences.

\vspace{0.2cm}

Next, we present the two results that are used in the proof of Theorem $3.3$.

\vspace{0.2cm}

\begin{lemma}[\textbf{Lemma 6.5 \cite{Bla17}}]
Let $p$ be an odd prime. There exists a $\mathbb{Z}_p$-equivariant map $f : \Delta_{p-1,p}\rightarrow S(W_p)$ such that the induced map in cohomology $f^* :  H^{p-2}(S(W_p);\mathbb{Z}_p)\rightarrow H^{p-2}(\Delta_{p-1,p};\mathbb{Z}_p)$ is an isomorphism.
\end{lemma}

\vspace{0.2cm}

\begin{lemma}[\textbf{Lemma 3 \cite{Gon04}}]

Let $X$ be a Hausdorff, connected and locally pathwise connected space and let $G$ be a finite group acting freely on $X$. Then for any $i \ge 0$ and a commutative ring $R$ with a unit, there is a transfer homomorphism:

$$\tau_X: H^i(X;R)\longrightarrow H^i(X/ G;R)$$
with the following properties:

\begin{itemize}
\item[(i)]If $X$ is a $k$-dimensional $G-CW$-complex (not necessarily finite), then \begin{eqnarray} \tau_X: H^k(X;R)\longrightarrow H^k(X/ G;R) \mbox{ is surjective;} \nonumber \end{eqnarray}

\item[(ii)] If $Y$ is another space that satisfies the hypothesis of the lemma, $h:X\rightarrow Y$ is an equivariant map and $\overline{h} : X/G \rightarrow Y /G$ is the map induced by $h$, then $\tau_X \circ h^*=\overline{h} ^*\circ\tau_Y$.
\end{itemize}

\centerline{ \xymatrix{ H^{i}(Y) \ar[d]_{\tau_Y} \ar[r]^{h^{\ast}} & H^{i} (X) \ar[d]^{\tau_X} \\ H^{i} (Y/G) \ar[r]^{\overline{h^{\ast}}} & H^{i} (X/G) }  }

\end{lemma}

\vspace{0.2cm}

Next, we prove the main result in this section.

\vspace{0.2cm}

\begin{teo}[\textbf{Theorem 6.6 \cite{Bla17}}]

Let $p$ be an prime number. Then: \begin{eqnarray}\mbox{Index}_{\mathbb{Z}_p}S(W_p)=\mbox{Index}_{\mathbb{Z}_p}\Delta _{p,p-1}=H^{\geq p-1}( B\mathbb{Z}_{p}). \nonumber \end{eqnarray}

\end{teo}

\textit{Proof.}
Let $f:\Delta_{p,p-1} \rightarrow S(W_p)$ be the $\mathbb{Z}_p$-equivariant map of the Lemma $3.1$ and let $\overline{f}: \Delta_{p,p-1}/ \mathbb{Z}_p \rightarrow S(W_p)/ \mathbb{Z}_p$  be the induced map in the orbit space.

\vspace{0.2cm}

If $q': S(W_p)/ \mathbb{Z}_p \rightarrow B \mathbb{Z}_p$ is a classifying map for the $\mathbb{Z}_p$- principal bundle $S(W_p) \rightarrow S(W_p) / \mathbb{Z}_p$, then $q' \circ \overline{f} : \Delta_{p,p-1} / \mathbb{Z}_p \rightarrow B \mathbb{Z}_p$ is a classifying map for the $\mathbb{Z}_p$- principal bundle $\Delta_{p,p-1} \rightarrow \Delta_{p,p-1} / \mathbb{Z}_p$.

\vspace{0.2cm}

Let us consider the transfer homomorphisms as in the Lemma $3.2$:

\begin{eqnarray}  \tau_{S(W_p)}: H^{p-2} (S(W_p)) \rightarrow H^{p-2} (S(W_p) / \mathbb{Z}_p) \nonumber  \\ \tau_{\Delta_{p,p-1}}: H^{p-2} (\Delta_{p,p-1}) \rightarrow H^{p-2} (\Delta_{p,p-1} / \mathbb{Z}_p)  \nonumber \end{eqnarray}

\vspace{0.2cm}

Since $f$ is a $\mathbb{Z}_p$-equivariant map, by Lemma $3.2 (ii)$, we have the following commutative diagram,

\centerline{ \xymatrix{H^{p-2} (S(W_p)) \ar[r]^{f^{\ast}} \ar[d]_{\tau_{S(W_p)}} & H^{p-2} (\Delta_{p,p-1}) \ar[d]^{\tau_{\Delta_{p,p-1}}} \\ H^{p-2} (S(W_p)/ \mathbb{Z}_p) \ar[r]^{\overline{f}^{\ast}}  & H^{p-2} (\Delta_{p,p-1}/ \mathbb{Z}_p) } }

\noindent that is, \begin{eqnarray} \tau_{\Delta_{p,p-1}} \circ f^{\ast} = \overline{f}^{\ast} \circ \tau_{S(W_p)}.\end{eqnarray}

\vspace{0.2cm}

It follows from Lemma $3.1$ that $f$ is an isomorphism. By Lemma $3.2 (i)$, the tranfer homomorphism $\tau_{p,p-1}$ is surjective, thus the composition $\tau_{\Delta_{p,p-1}} \circ f^{\ast}$ is not the null homomorphism, namely \begin{eqnarray} \tau_{\Delta_{p,p-1}} \circ f^{\ast} \neq 0. \end{eqnarray}

\vspace{0.2cm}

Hence, from $(1)$ and $(2)$, we have $0 \neq \tau_{\Delta_{p,p-1}} \circ f^{\ast} = \overline{f}^{\ast} \circ \tau_{S(W_p)}$. Then $\overline{f}^{\ast}$ is not trivial, that is, \begin{eqnarray} \overline{f}^{\ast} \neq 0.\end{eqnarray}

\vspace{0.2cm}

Let us consider the following commutative diagram

\centerline{ \xymatrix{H^{p-2} (S(W_p)) \ar[rr]^{f^{\ast}} \ar[d]_{\tau_{S(W_p)}} &  &H^{p-2} (\Delta_{p,p-1}) \ar[d]^{\tau_{\Delta_{p,p-1}}} \\ H^{p-2} (S(W_p)/ \mathbb{Z}_p) \ar[rr]^{\overline{f}^{\ast}}  &  &H^{p-2} (\Delta_{p,p-1}/ \mathbb{Z}_p)  \\ & H^{p-2} (B \mathbb{Z}_p) \ar[lu]^{q'^{\ast}} \ar[ru]_{q^{\ast}}}  }

\vspace{0.1cm}

\noindent it means that $q^{\ast}= \overline{f}^{\ast} \circ q'^{\ast}$, where $q$ and $q'$ are classifying maps.

\vspace{0.2cm}

By Theorem $2.7$, we have that $\mbox{Index}_{\mathbb{Z}_p} S(W_p) = H^{ \ge p-1} ( B \mathbb{Z}_p)$ and therefore \begin{eqnarray}
\mbox{the homomorphism $q'^{\ast}$ \mbox{at level} $p-2$ \mbox{ is an isomorphism.}}\end{eqnarray}

\vspace{0.2cm}

As a consequence from $(3)$, $(4)$ and by the last commutative diagram, we have that \begin{eqnarray}
\mbox{the homomorphism $q^{\ast}$ \mbox{at level} $p-2$ \mbox{ is an isomorphism.}} \nonumber\end{eqnarray}

\vspace{0.2cm}

Also, it is a known fact that\begin{eqnarray}
H^{\ast} (B \mathbb{Z}_p ) \cong \mathbb{Z}_p [y] \otimes_{\mathbb{Z}_p} \Lambda (x), \mbox{where } y \in H^{2}(B \mathbb{Z}_p),\hspace{0.1cm} x \in H^{1} (B \mathbb{Z}_p) \mbox{ and } x^{2}=0, \nonumber \end{eqnarray}

\vspace{0.2cm}

where $\Lambda ( \cdot )$ denotes the exterior algebra.

\vspace{0.2cm}

The generator $\mu \in H^{i} (B \mathbb{Z}_p)$ is of the form

\begin{eqnarray}\mu=\left\{\begin{array}{rc}
x y^{\frac{(i-2)}{2}},&\mbox{if}\quad i \mbox{ is odd},\\
y^{\frac{1}{2}}, &\mbox{if}\quad i \mbox{ is even}.
\end{array}\right. \nonumber
\end{eqnarray}

\vspace{0.2cm}

Then, we have that: \begin{eqnarray} q^{\ast}(x y^{\frac{p-3}{2}}) \neq 0.\end{eqnarray}

\vspace{0.2cm}

Take the $\mathbb{Z}_p$-equivariant map $f:\Delta_{p-1,p} \rightarrow S(W_p))$ of the Lemma $3.1$. By Theorem $2.7$, we have: \begin{eqnarray} \mbox{Index}_{\mathbb{Z}_p} S(W_p) = H^{ \ge p-1} ( B \mathbb{Z}_p) \subset \mbox{Index}_{\mathbb{Z}_p} (\Delta_{p-1,p}).  \end{eqnarray}

\vspace{0.2cm}

Let $q^{\ast}: H^{i} (B \mathbb{Z}_p) \rightarrow H^{i} (\Delta_{p-1,p}/ \mathbb{Z}_p)$ be the classifying map, where $i< p-2$. Next, we prove that $Ker (q^{\ast})=0$, for $i< p-2$.

\vspace{0.2cm}

It is sufficient to prove that $q^{\ast}(\mu) \neq 0$, where $\mu$ is the generator of $H^{i}(B \mathbb{Z}_p)$.

\vspace{0.2cm}

Let us suppose that $i$ is an odd number and $q^{\ast}(\mu)= q^{\ast}(x y^{\frac{(i-1)}{2}})=0$. Then: \begin{eqnarray} q^{\ast} \left(x y ^{\frac{(p-3)}{2}}\right) = q^{\ast} \left( x y ^{\frac{(i-1)}{2}} y^{\frac{(p-i-2)}{2}}\right)= \\ q^{\ast} \left( x y ^{\frac{(i-1)}{2}}\right) \hspace{0.05cm} q^{\ast}\left( y^{\frac{(p-i-2)}{2}}\right)=0. \nonumber \end{eqnarray}

But, $(7)$ contradicts $(5)$.

\vspace{0.2cm}

Now, let us suppose that $i$ is an even number and $q^{\ast}(\mu)=q^{\ast} (y^{\frac{i}{2}})=0$. Then: \begin{eqnarray} q^{\ast} \left(x y ^{\frac{(p-3)}{2}}\right) = q^{\ast} \left( x y ^{\frac{(p-i-3)}{2}} y^{\frac{i}{2}}\right)= \\ q^{\ast} \left( x y ^{\frac{(p-i-3)}{2}}\right) \hspace{0.05cm} q^{\ast}\left( y^{\frac{i}{2}}\right)=0. \nonumber \end{eqnarray}

But, $(8)$ contradicts $(5)$.

\vspace{0.2cm}

Therefore,
\begin{eqnarray} \mbox{Index}_{\mathbb{Z}_p} (\Delta_{p-1,p}) = Ker(q^{\ast}) \subset H^{ \ge p-1} ( B \mathbb{Z}_p).  \end{eqnarray}

\vspace{0.2cm}

Consequently, from $(6)$ and $(9)$, we have that: \begin{eqnarray}\mbox{Index}_{\mathbb{Z}_p} (\Delta_{p-1,p}) = H^{ \ge p-1} ( B \mathbb{Z}_p).\nonumber \end{eqnarray}.

\hspace{14.3cm} $\square$

\vspace{0.2cm}

Let us note that Theorem $3.3$ is essential in the proof of the following results (for details, see \cite{Bla17}).

\vspace{0.2cm}

\begin{teo}[\textbf{Bárány-Larman Conjecture for primes $-1$}] Let $d\ge 1$ and $r \ge 2$ be integers such that $p=r+1$ is a prime number. Then $n(d,r)= (d+1)r$.

\end{teo}

\vspace{0.2cm}

\begin{teo}[\textbf{The optimal colored Tverberg theorem}] Let $d \ge 1$ be an integer, let $r \ge 2$ be a prime and $N \ge (d+1)(r-1)$. For every continuous map $f: \Delta_N \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{m})$ of the vertex set $V(\Delta_N)$ by $m$ colors, with each color of size at most $r-1$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta$ satisfying \begin{eqnarray}  f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.\nonumber\end{eqnarray}

\end{teo}

\vspace{0.5cm}

\section{Generalization of the Colored Tverberg theorem of \v{Z}ivaljevi\'{c} and Vre\'{c}ica}

\vspace{0.2cm}

In this section, we prove a generalization of the Colored Tverberg theorem of \v{Z}ivaljevi\'{c} and Vre\'{c}ica (\cite{Ziv92}), in which is assumed only one color class with cardinality at least $2r-1$ and the other $d$ color classes with  cardinality cardinality $2r-4$.

\vspace{0.2cm}

First, we state the following result which is used in the proof of our main theorem (Theorem $4.2$).

\vspace{0.2cm}

\begin{teo}[\textbf{Corollary $4.8$ \cite{Bla17}}] Let $d \ge 1$ and $m \ge 1$ be integers, and let $r =p^{n} \ge 2$ be a prime power. Let $(C_1, \ldots , C_m)$ be a coloring of $\Delta$ by $m$ colors. If there is no $\mathfrak S_{r}$-equivariant map: \begin{eqnarray} \Delta_{|C_1|,r} \ast \cdots \ast \Delta_{|C_m|,r} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right)\nonumber \end{eqnarray} then for every continuous map $f: \Delta \rightarrow \mathbb{R}^{d}$ there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots, \sigma_r$ of $\Delta$ satifying \begin{eqnarray}f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.\nonumber\end{eqnarray}

\end{teo}

\vspace{0.2cm}

Now, we can formulate and prove the main result of this section.

\vspace{0.3cm}

\begin{teo}[\textbf{Generalization of the Colored Tverberg theorem of \v{Z}ivaljevi\'{c} and Vre\'{c}ica}] Let $d \ge 1$ be an integer, and let $r \ge 2$ be a prime power. For every continuous map $f: \Delta \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{d+1})$ of the the vertex set $V(\Delta)$ by $d+1$ colors, with $|C_1| \ge 2r-1$ and $|C_i| \ge 2r-4$, for all $i =2, \cdots, d+1$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta$ satisfying: \begin{eqnarray} f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.\nonumber\end{eqnarray}

\end{teo}

\vspace{0.2cm}

\textit{Proof.} We split the proof into two cases.

\vspace{0.2cm}

\textbf{1º Case: $r \ge 3:$} Without loss of generality, we can assume that $|C_1|=2r-1$ and $|C_2| = \cdots = |C_m| = 2r-4$. Then, by Theorem $4.1$, it is sufficient to show that there is no $\mathfrak S_{r}$-equivariant map: \begin{eqnarray}\Delta_{2r-1,r} \ast  (\Delta_{2r-4,r})^{\ast d} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right). \nonumber \end{eqnarray}

\vspace{0.2cm}

Consider the regular embedding \begin{eqnarray} \varphi: (\mathbb{Z}_p)^{n} \longrightarrow \mbox{Sym } ((\mathbb{Z}_p)^{n}) \cong \mathfrak S_{r} \hspace{2.7cm} \nonumber \\ g \longmapsto L_g : (\mathbb{Z}_p)^{n} \rightarrow (\mathbb{Z}_p)^{n}, \hspace{0.1cm} L_g (x) =g+x.  \nonumber\end{eqnarray}

Therefore, we have a subgroup $(\mathbb{Z}_p)^{n} \cong \mbox{Im} (\varphi) \le \mathfrak S_{r}$. Then, to prove the non-existence of an $\mathfrak S_{r}$-equivariant map it suffices to prove the non-existence of an  $(\mathbb{Z}_p)^{n}$-equivariant map: \begin{eqnarray} \Delta_{2r-1,r} \ast (\Delta_{2r-4,r})^{\ast d} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right).\nonumber \end{eqnarray}

\vspace{0.2cm}

Let us suppose that there is an $(\mathbb{Z}_p)^{n}$-equivariant map. Then, by Proposition $2.4 (i)$, we have: \begin{eqnarray} i\left(\Delta_{2r-1,r} \ast (\Delta_{2r-4,r})^{\ast d} \right) \le i\left( S \left(W_{r}^{\oplus (d+1)}\right) \right). \nonumber\end{eqnarray}

\vspace{0.2cm}

Moreover, by Proposition $2.4(iv)$ we have: \begin{eqnarray}i\left( S \left(W_{r}^{\oplus (d+1)}\right) \right) = i\left( S^{(r-1) (d+1)-1}\right) = (r-1) (d+1). \nonumber \end{eqnarray}

\vspace{0.2cm}

We can calculate $\mbox{conn} (\Delta_{2r-1,r})$ and $\mbox{conn} (\Delta_{2r-4,r})$ using Theorem $2.13$, as follows.

 \begin{eqnarray} \mbox{conn} (\Delta_{2r-1,r})= \mbox{min} \left \{  2r-1, r, \left \lfloor \frac{(2r-1)+r +1}{3} \right \rfloor \right \}-2 = r-2 \mbox{  , and} \nonumber \end{eqnarray}

\begin{eqnarray}\mbox{conn} (\Delta_{2r-4,r})= \mbox{min} \left \{  2r-4, r, \left \lfloor \frac{(2r-4)+r +1}{3} \right \rfloor \right \}-2 = \nonumber \\ \mbox{min} \left \{  2r-4, r, r-1 \right \} \stackrel{(r \ge 3)}{=} (r-1)-2= r-3.\hspace{1cm} \nonumber \end{eqnarray}

\vspace{0.2cm}

It follows from Theorem $2.10$ that: \begin{eqnarray} \mbox{conn} \left(\Delta_{2r-1,r} \ast (\Delta_{2r-4,r})^{\ast d}\right) \ge  (r-2) + d (r-3) = (d+1) (r-1) -1.  \nonumber \end{eqnarray}

\vspace{0.2cm}

Hence, by Theorem $2.12$ we have: \begin{eqnarray} i \left(\Delta_{2r-1,r} \ast  (\Delta_{2r-4,r})^{\ast d}\right) \ge [(d+1)(r-1)-1]+2 = \nonumber \\ (d+1)(r-1)+1 > (r-1) (d+1). \hspace{2cm} \nonumber \end{eqnarray}

\vspace{0.3cm}

Then, $i\left(\Delta_{2r-1,r} \ast  (\Delta_{2r-4,r})^{\ast d}\right) > (r-1) (d+1) =i \left(S\left(W_{r}^{\oplus(d+1)}\right)\right)$.But it contradicts \begin{eqnarray}i\left(\Delta_{2r-1,r} \ast (\Delta_{2r-4,r})^{\ast d}\right) \le i \left(S\left(W_{r}^{\oplus(d+1)}\right)\right). \nonumber \end{eqnarray}
Consequently, there is no $(\mathbb{Z}_p)^n$-equivariant map \begin{eqnarray}\Delta_{2r-1,r} \ast (\Delta_{2r-4,r})^{\ast d} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right). \nonumber \end{eqnarray}

\vspace{0.2cm}

\textbf{2º Case: $r =2:$} Note that from Theorem $2.13$, we have $\mbox{conn} (\Delta_{3,2})=0$ and $\mbox{conn} (\Delta_{1,2})=-1$. Thus, analogously to the first case, it follows that $i\left(\Delta_{3,2} \ast (\Delta_{1,2})^{\ast d}\right) > (d+1) (r-1)$.Therefore, the result holds for this case too.

\hspace{14.3cm} $\square$

\vspace{0.3cm}

\section{Flexibilization of Theorem $4.2$}

\vspace{0.2cm}

In this section, we present a flexibilization of Theorem $4.2$, in which we consider more variations in the minimum cardinalities for the $d+1$ color classes.

\vspace{0.3cm}

\begin{teo}[\textbf{Flexibilization of Theorem $4.2$}]  Let $d \ge 1$ be an integer, and let $r \ge 2$ be a prime power. For every continuous map $f: \Delta \rightarrow \mathbb{R}^{d}$, and every coloring $(C_1, \ldots , C_{d+1})$ of the the vertex set $V(\Delta)$ by $d+1$ colors, with  $|C_i| \ge 2r-1- 3x_i$  (where $x_i \ge 0$ is an integer), for all $i =1, \ldots, d+1$ such that $\sum_{i=1}^{d+1} x_i \le d$ and $2 x_i +1 \le r$, $ \forall i =1, \ldots, d+1$, there exist $r$ pairwise disjoint rainbow faces $\sigma_1, \ldots , \sigma_r$ of $\Delta$ satisfying \begin{eqnarray} f(\sigma_1) \cap \cdots \cap f(\sigma_r) \neq \emptyset.\nonumber\end{eqnarray}

\end{teo}

\vspace{0.2cm}

\textit{Proof.}  Without loss of generality, we can assume that $|C_i| =2r-1 -3x_i$, for all $i \in [d+1]$. Then, by Theorem $4.1$ it is sufficient to show that there is no $\mathfrak S_{r}$-equivariant map: \begin{eqnarray}\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right). \nonumber \end{eqnarray}

\vspace{0.2cm}

Let us consider the regular embedding \begin{eqnarray} \varphi: (\mathbb{Z}_p)^{n} \longrightarrow \mbox{Sym } ((\mathbb{Z}_p)^{n}) \cong \mathfrak S_{r} \hspace{2.7cm} \nonumber \\ g \longmapsto L_g : (\mathbb{Z}_p)^{n} \rightarrow (\mathbb{Z}_p)^{n}, \hspace{0.1cm} L_g (x) =g+x.  \nonumber\end{eqnarray}

Thus, we have a subgroup $(\mathbb{Z}_p)^{n} \cong \mbox{Im} (\varphi) \le \mathfrak S_{r}$. Hence, to prove the non-existence of an $\mathfrak S_{r}$-equivariant map it suffices to prove the non-existence of an  $(\mathbb{Z}_p)^{n}$-equivariant map: \begin{eqnarray}\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right). \nonumber \end{eqnarray}

\vspace{0.2cm}

Suppose that there is an $(\mathbb{Z}_p)^{n}$-equivariant map. Then, by Proposition $2.4 (i)$, we have: \begin{eqnarray}i\left(\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r}\right) \le i\left( S \left(W_{r}^{\oplus (d+1)}\right) \right). \nonumber\end{eqnarray}

\vspace{0.2cm}

From Proposition $2.4(iv)$ we have $i\left( S \left(W_{r}^{\oplus (d+1)}\right) \right) = i\left( S^{(r-1) (d+1)-1}\right) = (r-1) (d+1)$.

\vspace{0.2cm}

We can calculate $\mbox{conn} (\Delta_{2r-1-3x_i,r})$, for all $i \in [d+1]$, using Theorem $2.13$, as follows.

\begin{eqnarray}\mbox{conn} (\Delta_{2r-1-3x_i,r})= \mbox{min} \left \{  2r-1-3x_i, r, \left \lfloor \frac{(2r-1-3x_i)+r +1}{3} \right \rfloor \right \}-2 = \nonumber \\ \mbox{min} \left \{  2r-1-3x_i, r, r-x_i \right \} \stackrel{(2x_i +1 \le r)}{=} (r-x_i)-2= r-x_i-2. \hspace{1cm} \nonumber \end{eqnarray}

\vspace{0.2cm}

It follows from Theorem $2.10$ that: \begin{eqnarray} \mbox{conn} (\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r} ) \ge  \left [\displaystyle \sum_{i=1}^{d+1} (r-x_i-2) \right]  +2d = \nonumber \\ (d+1) (r-2) - \left( \displaystyle \sum_{i=1}^{d+1} x_i \right) +2d \stackrel{(\sum_{i=1}^{d+1} x_i \le d)}{\ge} (d+1)(r-1)-1. \hspace{1.5cm} \nonumber \end{eqnarray}

\vspace{0.2cm}

Consequently, from Theorem $2.12$ we have: \begin{eqnarray} i ( \Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r} ) \ge [(d+1)(r-1)-1]+2= \nonumber \\  (d+1)(r-1)+1 > (r-1) (d+1). \hspace{3cm}\nonumber \end{eqnarray}

\vspace{0.2cm}

Then, \begin{eqnarray}i(\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r}) > (r-1) (d+1) =i \left(S\left(W_{r}^{\oplus(d+1)}\right)\right).\nonumber\end{eqnarray}

But it contradicts: \begin{eqnarray}i(\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r}) \le i \left(S\left(W_{r}^{\oplus(d+1)}\right)\right). \nonumber \end{eqnarray}

Therefore, there is no $(\mathbb{Z}_p)^n$-equivariant map \begin{eqnarray}\Delta_{2r-1-3x_1,r} \ast \cdots \ast \Delta_{2r-1-3x_i,r} \ast \cdots \ast \Delta_{2r-1-3x_{d+1},r} \longrightarrow S \left(W_{r}^{\oplus (d+1)}\right) \nonumber\end{eqnarray}.

\hspace{14.3cm} $\square$

\vspace{0.5cm}

\begin{example} \textbf{(I)} Note that if $x_1=0$, $x_2 = \cdots = x_{d+1}=1$, we have $\displaystyle \sum_{i=1}^{d+1} x_i =d \le d$ and $2x_i +1 \le r$, for all $i \in [d+1]$. This particular case of Theorem $5.1$ is exactly the stated in Theorem $4.2$.

\vspace{0.2cm}

\textbf{(II)} Let us consider $r=9$, $d=3$, $x_1=x_2=0$, $x_3=2$ and $x_4=1$. We have $\displaystyle \sum_{i=1}^{d+1} x_i =3 \le d=3$ and $2x_i +1 \le r$, for all $i \in [d+1]$. This is a case of the Theorem $5.1$, which does not occur in Theorem $4.2$, since $|C_3| = 2r-1-3x_3 = 11 < 14 =2r-4$.

\end{example}

Algebraic Topology (math.AT); Combinatorics (math.CO)