On the Integral Cohomology Ring of Toric Orbifolds and Singular Toric Varieties

Abstract: We examine the integral cohomology rings of certain families of $2n$-dimensional orbifolds $X$ that are equipped with a well-behaved action of the $n$-dimensional real torus. These orbifolds arise from two distinct but closely related combinatorial sources, namely from characteristic pairs $(Q,\lambda)$, where $Q$ is a simple convex $n$-polytope and $\lambda$ a labelling of its facets, and from $n$-dimensional fans $\Sigma$. In the literature, they are referred as toric orbifolds and singular toric varieties respectively. Our first main result provides combinatorial conditions on $(Q,\lambda)$ or on $\Sigma$ which ensure that the integral cohomology groups $H^{\ast}(X)$ of the associated orbifolds are concentrated in even degrees. Our second main result assumes these condition to be true, and expresses the graded ring $H^*(X)$ as a quotient of an algebra of polynomials that satisfy an integrality condition arising from the underlying combinatorial data. Also, we compute several examples.

\section{Introduction}
There are several advantages to studying topological spaces whose
integral cohomology groups $H^*(X)$ are torsion-free and concentrated
in even degrees; for example, their complex $K$-theory and complex
cobordism groups may be deduced immediately, because the appropriate
Atiyah-Hirzebruch spectral sequences collapse for dimensional
reasons. For convenience, we call such spaces \emph{even}, where
integral coefficients are understood unless otherwise stated. Our
fundamental aim is to identify certain families of even spaces within
the realms of toric topology, and to explain how their evenness leads
to a description of the Borel equivariant cohomology rings $H_T^*(X)$,
and thence to the multiplicative structure of $H^*(X)$.

Many even spaces arise from complex geometry, and have been of major
importance since the early 20th century. They range from complex
projective spaces and Grassmannian manifolds, to Thom spaces of
complex vector bundles over other even spaces. Examples of the latter
include stunted projective spaces, which play an influential and
enduring role in homotopy theory, and certain restricted families of
weighted projective spaces. In fact \emph{every} weighted projective
space is even, thanks to a beautiful and somewhat surprising result of
Kawasaki \cite{Ka}, whose calculations lie behind much of our
work. In recent literature, weighted projective spaces have been viewed
as singular toric varieties or as  toric  orbifolds which we shall define
in Section \ref{sec_toric_orb_and_orb_lens_sp}, and our results may
be interpreted as an investigation of their generalizations within either
context.

We begin in Section \ref{sec_toric_orb_and_orb_lens_sp} by
summarizing the theory and practice of \emph{toric  orbifolds}
$X=X(Q,\lambda)$\footnote{In the literature, these
orbifolds are sometimes called quasitoric orbifolds},
as constructed from an $n$-dimensional simple convex
polytope $Q$ and a \emph{characteristic function} $\lambda$ from its
facets to $\mathbb{Z}^n$.
We notice that  $Q$ can be understood as the orbit space with respect to
the $n$-dimensional compact torus action defined on $X$.

Focusing on the orbit space $Q$,
the Section \ref{sec_ret_of_simple_poly} is devoted to introduce a
particular sequence $\{B_\ell\}$ whose initial term $B_1$ is $Q$
and the final term is a point. We call this sequence $\{B_\ell\}$
an \emph{admissible retraction} of $Q$, and this leads us to
characterize $Q$ as $(r_n, \dots, r_2)$-simple polytope (see
Definition \ref{adm_seq}).
For each $B_\ell$,
the characteristic function $\lambda$ may be used to associate a
finite group $G_{B_\ell}(v)$ to certain vertices in $B_\ell$,
which we call them \emph{admissible free vertices}, and to
define the collection
\begin{equation*}\label{eq_gcd_collection}
	Q(\ell, j):=\big\{ |G_{B_{\ell} }(v)| ~\big|  ~v ~\text{is an admissible free vertex in}~ B_\ell ~\text{with}~\dim B_\ell =j \big\}.
\end{equation*}
Interest in toric orbifolds was aroused by Davis and Januszkiewicz
\cite{DJ}, who saw them as natural extensions to their own smooth toric
manifolds\footnote{They are renamed  in \cite{BP} as \emph{quasitoric} manifolds.}.
They proved that
toric  manifolds are always even;
however, the best comparable
statement for toric  \emph{orbifolds} is due to Poddar and Sarkar
\cite{PS}\footnote{They call them \emph{quasitoric} orbifolds}
 who showed that, in general, they are only even over the
rationals. We introduce our main result of the first part of this paper in
Section \ref{vanqt} as follows.
\begin{theorem}\label{sec2mainthm}
Given any toric  orbifold $X(Q,\lambda)$, assume that the collection
$Q(\ell, j)$ is
$r_j$-relatively prime, for
every $j=2, \dots, n$; then $X$ is even.
\end{theorem}

Here, \emph{$r_j$-relatively prime} means that
whenever we choose a subcollection of $r_j$ many elements in $Q(\ell,j)$,
their greatest common divisor is $1$.
The proof of Theorem  \ref{sec2mainthm} employs a cofiber sequence
involving \emph{weighted lens spaces}, as introduced by Kawasaki.
Furthermore, the Theorem automatically applies to weighted projective
spaces.

In Section \ref{sec_cohom_ring_and_ppoly}, we shift our emphasis to
toric varieties, whose details are admirably presented by Cox, Little
and Schenck in their encyclopedic book \cite{CLS}. Every such variety
$X_\Sigma$ is encoded by a fan $\Sigma$ in $\mathbb{R}^n$, and admits a
canonical action by the $n$-dimensional torus $T=T^n$. If $\Sigma$ is
smooth, then the underlying geometry guarantees that $X_\Sigma$ is
always even. More, however is true; the Borel equivariant cohomology
ring $H^*_T(X_\Sigma)$ is isomorphic to the Stanley-Reisner algebra
$\mathbb{Z}[\Sigma]$, which is also concentrated in even degrees, and
$H^*(X_\Sigma)$ is its quotient by a certain linear ideal. It is
important to note that $\mathbb{Z}[\Sigma]$ is isomorphic to the ring
$PP[\Sigma]$ of \emph{integral piecewise polynomials} on $\Sigma$,
for any smooth fan.

For a particular class of singular examples, a comparable description
of the ring $H^*(X_\Sigma)$ was given in \cite{BFR}, as follows. If
$\varSigma$ is polytopal and $X_\Sigma$ is even, then $H^*(X_\Sigma)$
is the quotient of $PP[\Sigma]$ by the ideal generated by all
\emph{global} polynomials. It is no longer possible to use the
Stanley-Reisner algebra, which only agrees with $PP[\Sigma]$ over the
rationals. In these circumstances, $X_\Sigma$ is a toric variety over a polytopal fan, and
we have a major incentive to develop criteria which test whether or
not it is even. There also remains the significant problem of
presenting $PP[\Sigma]$ by generators and relations, as exemplified
by the calculation for the weighted projective space ${\mathbb{CP}}^3_{(1,2,3,4)}$
in \cite[\S4]{BFR}. So Section \ref{sec_cohom_ring_and_ppoly} has two
aims; firstly, to find an alternative description for the ring of
piecewise polynomials, and secondly, to express the criterion of Theorem
\ref{sec2mainthm} in the language of polytopal fans.

The first aim is accomplished by defining the \emph{integrality
subring} $\mathbb{Z}[\Sigma]_\mathbb{Z}$ of $\mathbb{Z}[\Sigma]$, consisting of polynomials
that satisfy a certain integrality condition, and proving that it is
isomorphic to $PP[\Sigma]$. For the second, we translate the
collection $Q(\ell, j)$ of Section \ref{vanqt}
into the collection $\Sigma(\ell, j)$ by considering the associated simple
polytope of $\Sigma$, and the integers $r_j$, $j=2, \dots, n$ are defined
correspondingly.
The main result of the section combines Theorem \ref{thm_orbifold_torsion_free}
and Theorem \ref{thm_main_thm_cohomology_ring}, as follows.
\begin{theorem}\label{sec3mainthm}
Given any $n$-dimensional polytopal fan $\Sigma$, assume that
$\Sigma(\ell,j)$ is $r_j$-relatively prime, for $j=2, \dots, n$;
then $X_\Sigma$ is even, and there exists an isomorphism
$$H^*(X_\varSigma)\;\cong\;\mathbb{Z}[\Sigma]_{\mathbb{Z}} \big/ \mathcal{J}_\Sigma$$
of graded rings, where $\mathcal{J}_\Sigma$ is an ideal of linear
relations determined by the rays of~$\Sigma$.
\end{theorem}
So our combinatorial condition on the fan allows us to give an
explicit description of the integral cohomology ring of $X_\Sigma$.

In Section \ref{sec_orbifold_towers}, we describe related families of
examples that illustrate the results of both previous sections; they
are based on the common theme of towers of weighted projective
spaces. As toric  orbifolds, their polytopes are products
\[
Q\;=\;\Delta^{n_1}\times\dots\times\Delta^{n_k}
\]
of simplices, for any sequence of integers $n_i>0$. For increasingly
restricted characteristic functions $\lambda$, the geometrical
properties of the orbifolds become progressively more rigid.

Our initial choice of $\lambda$ creates \emph{$k$-stage} orbifold
towers of the form
\begin{equation}\label{firsttower}
X(Q,\lambda)=X_k\stackrel{\pi_k}{\relbar\joinrel\hspace{-2pt}\llra}X_{k-1}
\stackrel{\pi_{k\!-\!1}}{\relbar\joinrel\hspace{-2pt}\llra}\dots\stackrel{\pi_2}{\relbar\joinrel\hspace{-2pt}\llra}X_1
\stackrel{\pi_1}{\relbar\joinrel\hspace{-2pt}\llra}X_0=\{pt\},
\end{equation}
which generalize familiar smooth examples, known as Bott towers.
The latter were first studied as toric  manifolds in \cite{CR}, and
many subsequent authors dealt with more sophisticated versions within
the setting of smooth toric varieties. For \eqref{firsttower}, we show in
Lemma \ref{lem_orbibundle_structure} that every $\pi_i\colon X_i\to X_{i-1}$ is surjective,
whose fibers are weighted projective spaces at smooth points, and
\emph{fake weighted projective spaces} \cite{Bu} at singular
points. The main results of the section involve Theorem \ref{thm_honest_fibration} and
Corollary \ref{cor_wpt_has_no_odd_cohom}. They describe additional restrictions on $\lambda$,
which ensure that every $\pi_i\colon X_i\to X_{i-1}$ is a genuine
bundle, with weighted projective space as fiber; then every $X_i$
is even. In this situation, we call \eqref{firsttower}  a
\emph{weighted projective tower}.

The section concludes with a family of 2-parameter orbifolds
$X_2=X(\alpha,\beta)$, which are 2-stage examples of
\eqref{firsttower}. They are
 best understood via their fans, from which we deduce the
cohomology rings
$$H^*(X_2)\;\cong\;\mathbb{Z}[x,y,z]/\br{x^2,\,xy-\alpha z,\,y^2-\alpha\beta z,~xz,~yz,~z^2}$$
by simple application of Theorem \ref{thm_main_thm_cohomology_ring}. We refer to
$X_2=X(\alpha,\beta)$ as an \emph{orbifold Hirzebruch surface}.

Several natural questions present themselves for future discussion.
For example, Sections \ref{sec_toric_orb_and_orb_lens_sp} and
\ref{sec_cohom_ring_and_ppoly} may be linked more closely by
establishing a common framework for toric
orbifolds and toric varieties over non-smooth polytopal fans.
The theory of multifans is an obvious candidate, but we
have been unable to identify an associated ring of piecewise
polynomials with sufficient clarity. However, the third author with Darby and Kuroki \cite{DKS}
has recently proposed a definition of piecewise polynomials on a
labelled polytope, which does allow those two objects to
be dealt with simultaneously.

In view of our opening remarks, another reasonable challenge is to
extend our study to the complex $K$-theory and complex cobordism of
toric  orbifolds. This program was suggested by work
of Harada, Henriques and Holm \cite{HHH}, and begun in \cite{HHRW} by
the adoption of a categorical approach to piecewise structures; but
overall progress has been limited to a small subfamily of weighted
projective spaces, and much further work is required.

\vspace{0.3cm}
\textbf{Acknowledgments.}
We extend our sincere gratitude to Nigel Ray. Most properly, his name belongs
among those of the authors. The significance of his mathematical contribution to the results is
most certainly not reflected accurately by the omission of his name. Among his many other contributions
to the paper is the concise and elegant introduction. We also thank
Mikiya Masuda and Haozhi Zeng for pointing out a gap
in the proof of Theorem 2.12 of the previous version.

The first author was supported in part by  grant number 210386 from the Simons Foundation
and the award of research leave from Rider University. He is grateful also for the hospitality
of the Princeton University Mathematics Department during the spring of 2015.
The second author would like to thank Pacific Institute for
the Mathematical Sciences and University of Regina for financial support.
Lastly, the third author was supported by Basic Science Research Program
through the National Research Foundation of Korea(NRF) funded by
the Ministry of Education(No. NRF-2013R1A1A2007780).
He also would like to thank his advisor
Prof. Dong Youp Suh for his encouragements and support throughout the project.
\vspace{0.5cm}

\section{Toric orbifolds and orbifold lens spaces}\label{sec_toric_orb_and_orb_lens_sp}

In this section we recall the \emph{characteristic pairs}
$(Q,\lambda)$ of \cite{DJ} and \cite{PS}, and explain how they are
used to construct \emph{toric  orbifolds} $X=X(Q,\lambda)$. If
$\lambda$ obeys Davis and Januszkiewicz's condition $(*)$
(see \cite[page 423]{DJ}),
 then $X$ is
smooth and even; so one of the main goals of this paper is to establish
Theorem \ref{thm_orbifold_torsion_free}, which focuses on singular cases,
and states a sufficient condition for the orbifold $X$ to be even.
In this section, to complete the proof of Theorem \ref{thm_orbifold_torsion_free}, we
commandeer two additional types of space, namely the
\emph{characteristic subspaces} of $X$, and the \emph{orbifold lens
  spaces} that arise as quotients of odd dimensional spheres by the
actions of certain finite groups associated to $\lambda$. These groups
are trivial in the smooth case.

\subsection{Definition by construction}\label{subsec_def_by_construction}
Here, we introduce a constructive definition of toric  orbifolds, which
follows \cite{DJ} and \cite{PS}. Let $M$ be a submodule of ${\bb{Z}}^n \subset {\bb{R}}^n$ over
$\mathbb{Z}$, $M_{{\bb{R}}} = M \otimes_{{\bb{Z}}} {\bb{R}}$ and  $T_M = M_{{\bb{R}}}/M$.
Let $f : M_{{\bb{R}}} \to {\bb{Z}}^n \otimes_\mathbb{Z} {\bb{R}} = {\bb{R}}^n$
and $f_{\ast}: T_{M}  \to {\bb{R}}^n/M$ be the natural
 inclusion. The inclusion
$i: M \to {\bb{Z}}^n$ induces a surjective homomorphism
$$i_\ast \colon (\mathbb{Z}^n \otimes_\mathbb{Z} \mathbb{R}) / M \to (\mathbb{Z}^n \otimes_\mathbb{Z} \mathbb{R}) / \mathbb{Z}^n,$$
defined by $i_{\ast}(a + M) = a + {\bb{Z}}^n$ on cosets.
Here, the target space is the $n$-dimensional standard torus,
which we denote by $T^n$.

We denote the composition $i_{\ast} \circ f_{\ast}: T_{M} \to T^n$ by $f_{M}$
and also denote the image of $f_{M}$ by Im$(f_{M})$.
If the rank of $M$ is $n$,
then $f_{\ast}$ is  the identity and
${\rm Ker}\hspace{1pt} (f_{M})\cong {\rm Ker}\hspace{1pt} (i_{\ast}) \cong {\bb{Z}}^n/M$, a finite abelian group.

Let $Q$ be an $n$-dimensional simple convex polytope in ${\bb{R}}^n$ and
$$\mathcal{F}(Q)= \{F_i : i \in \{ 1, \ldots, m \} = I\}$$
be the codimension one faces (facets) of $Q$.

\begin{definition}\label{def_characteristic_function}
A function $\lambda : \mathcal{F}(Q) \to {\bb{Z}}^n$ is called a characteristic function
for $Q$ if $\lambda(F_{i_1}), \ldots, \lambda(F_{i_k})$ are linearly independent
primitive vectors whenever the intersection $F_{i_1} \cap \cdots \cap F_{i_k}$
is nonempty. We denote $\lambda_i = \lambda(F_i)$ and we call it
a characteristic vector. The pair $(Q, \lambda)$ is called a characteristic pair.
\end{definition}

\begin{remark}\label{rmk_char_matrix}\hfill
	\begin{enumerate}
		\item For convenience, we usually express characteristic function $\lambda$ as an
	$(n\times m)$-matrix $\Lambda$ by listing $\lambda_i$'s as column vectors.
	We call $\Lambda$ a \textit{characteristic matrix} associated to $\lambda$.
		\item It is easy to check that it suffices to satisfy the linearly
		independence at each vertex, an intersection of $n$ facets.
	\end{enumerate}
\end{remark}
One canonical example of such function is given by a lattice polytope.
We can naturally assign a characteristic vector the primitive normal vector on each facet.
In Section \ref{sec_cohom_ring_and_ppoly}, we shall see this again as primitive vectors of $1$-dimensional
cones in a normal fan associated to a simple lattice polytope.

Let $E$ be a codimension-$k$ face of $Q$. Since $Q$ is a simple polytope,
$E$ is the unique intersection of $k$  facets $F_{i_1}, \ldots, F_{i_k}$.
Let $M(E)$ be the submodule of ${\bb{Z}}^n$ generated by the characteristic vectors
 $\{\lambda_{i_1}, \dots, \lambda_{i_k} \}$. Then, $T_{M(E)} = M(E)_{{\bb{R}}} /M(E)$
 is a torus of dimension $k$. We shall adopt the convention that $T_{M(Q)} = 1$.
Define an equivalence relation $\sim$ on the product $T^n \times Q$ by
\begin{equation}\label{equ001}
 	(t, x) \sim (s, y) ~ \mbox{if and only if}~
	 x=y~ \mbox{and}~ s^{-1}t \in   \text{Im}\{f_{M(E)}\colon T_{M(E)} \to T^n\}
\end{equation}
where $E$ is the smallest face containing $x$. The quotient space
$$ X(Q, \lambda)=(T^n \times Q)/\sim$$
has an orbifold structure with a natural $T^n$-action induced by
the group operation, see Section 2 in \cite{PS}. Clearly, the orbit space
of $T^n$-action on $X(Q, \lambda)$ is $Q$. Let
$$\pi: X(Q, \lambda) \to Q ~ \mbox{defined by} ~  \pi([p,t]_{\sim}) = p$$
be the orbit map. The space $X(Q, \lambda)$ is called the toric  orbifold
associated to the combinatorial pair $(Q, \lambda)$.

In analyzing the orbifold structure of $X(Q, \lambda)$, Poddar and Sarkar,
\cite[Subsection $2.2$]{PS}, gave an axiomatic definition of toric  orbifolds,
which generalizes the axiomatic definition of toric  manifolds of \cite{DJ}.

\begin{remark}
	There is another way to construct a toric orbifold, which is the quotient of
	moment angle complex \cite{BP} by the action of torus
	determined by the characteristic
	function. We refer \cite{BP} and \cite{BPR} for more details.
	We shall use this construction in Section \ref{sec_orbifold_towers}.
\end{remark}

\subsection{Characteristic subspaces}\label{subsec_char_subsp}
There are important $T^n$-invariant subspaces of $X(Q, \lambda)$
corresponding to the faces of the polytope $Q$ which we shall describe next.
Let $E$ be a face of $Q$  of codimension $k$.  Then, the preimage $\pi^{-1}(E)$
with the subspace topology is a toric  orbifold of dimension $2n-2k$.
Indeed, the characteristic pair associated to $\pi^{-1}(E)$ can be described as follows.

Let
\begin{equation
M^*(E)= M(E)_\mathbb{R} \cap \mathbb{Z}^n ~~{\rm and}~~G_E = M^*(E)/M(E).
\end{equation}
Here, $M^*(E)$ is a free $\mathbb{Z}$-module with rank $k$, so $G_E$ is a
finite abelian group. Note that if $E$ is a face of $E'$, then $G_{E'}$ is a
subgroup of $G_E$. This is induced from the natural inclusion
of $M(E')$ into $M(E)$.
Furthermore, since $M^\ast(E)$ is a free $\mathbb{Z}$-module of rank $k$,
we may identify $M^\ast(E)$ with $\mathbb{Z}^k$ by fixing a proper isomorphism.

Let
\begin{equation}\label{eq_lattice_projection}
	\varrho_E : {\bb{Z}}^n \to  \mathbb{Z}^n / M^\ast(E)\cong \mathbb{Z}^{n-k}
\end{equation}
be the projection homomorphism, and  $\{H_{1}, \ldots, H_{\ell}\}$ the facets of $E$.
Then for each $j \in \{1, \ldots, \ell\}$, there is a unique facet $F_{i_j}$ such that
$H_j=E \cap F_{i_j}$.  Define a map
$$\lambda_{E} : \{H_1, \ldots, H_\ell \} \to \mathbb{Z}^{n-k} \text{ by }$$
$$\lambda_{E}(H_j) = \varrho_E \circ \lambda(F_{i_j})
~\mbox{for}~j \in \{1, \ldots, \ell  \}. $$
The characteristic pair for the toric  orbifold $\pi^{-1}(E)$
is given by  $(E, \lambda_{E})$. To be more precise,
$$\pi^{-1}(E)=X(E,\lambda_E)=(T^{n-k}\times E)\big/ \sim_{\lambda_{E}},$$
where the equivalence relation $\sim_{\lambda_{E}}$  is similarly defined as
\eqref{equ001}. Especially, if $E$ is a facet of $Q$, the subspace
 $\pi^{-1}(E)$ is called a {\it characteristic subspace} of $X(Q, \lambda)$.

Here, we notice that $\lambda_E(H_j)$'s may not be primitive vectors.
Let $\overline{\lambda}_{E}(H_j)$ be the primitive vector in ${\bb{Z}}^{n-k}$ such that
$\lambda_{E}(H_j) = r_j \overline{\lambda}_{E}(H_j)$ for $j=1, \ldots, \ell$ and $r_j \in {\bb{Z}}$.
Then by definition of toric  orbifold, we have the following lemma, which allows us
to assume that $\lambda_{E}(H_j)$'s are primitive.
\begin{lemma}\label{lem_constant_multiple_homeo.}
 As topological spaces, $\pi^{-1}(E)$ and $X(E, \overline{\lambda}_E)$ are homeomorphic.
\end{lemma}

The fixed points of the corresponding half dimensional torus action
on the toric  orbifold $\pi^{-1}(E)$ bijectively correspond to the vertices of $E$.
Let $v$ be a vertex of $E \subset Q$. Then $v=F_{i_1} \cap \cdots \cap F_{i_n}$
for a unique collection of facets $F_{i_1}, \ldots, F_{i_n}$ of $Q$.
Let $M(v)$ be the submodule of ${\bb{Z}}^n$ generated by
$\{\lambda(F_{i_1}), \ldots, \lambda(F_{i_n})\}$.
If we consider $v$ as a vertex of codimension $k$-face $E$,
then $v=H_{j_1} \cap \cdots \cap H_{j_{n-k}}$ for a unique collection of facets
$H_{j_1}, \ldots, H_{j_{n-k}}$ of $E$. Let $M_{E}(v)$ be the submodule of
$ \mathbb{Z}^{n-k}$ generated by  $\{\lambda_{E}(H_{j_1}), \ldots, \lambda_{E}(H_{j_{n-k}})\}$.
We define
\begin{align*}
	G_{Q}(v)&:={\bb{Z}}^n/M(v), \\
	G_{E}(v)&:=\mathbb{Z}^{n-k} /M_{E}(v) ~ \mbox{for a proper face} ~ E ~ \mbox{of} ~Q.
\end{align*}
These are finite abelian groups. Notice that the orders $|G_Q(v)|$ and $|G_E(v)|$ of each
group
are obtained by computing the corresponding determinant. To be more precise,
\begin{align*}
	|G_Q(v)|&=\big| \det \left[ \begin{array}{c|c|c} \lambda(F_{i_1}) &\cdots&\lambda(F_{i_n}) \end{array} \right] \big|,
	~~ \text{~if~} v=F_{i_1} \cap \dots \cap F_{i_n} \in V(Q),\\
	|G_E(v)|&=\big| \det \left[ \begin{array}{c|c|c} \lambda_E(H_{j_1}) &\cdots&\lambda_E(H_{i_{n-k}}) \end{array} \right] \big|,
	~~ \text{~if~} v=H_{j_1} \cap \dots \cap H_{j_{n-k}} \in V(E).
\end{align*}
\\[1mm]

For convenience, we collect together much of the notation which has been introduced so far.

\begin{enumerate}\itemsep3pt
\item $E=F_{i_1} \cap \cdots \cap F_{i_k}$ denotes a codimension $k$-face in the polytope $Q$
which has facets $F_{i_{j}}$.
\item $\lambda$ is a characteristic function on the facets of $Q$. $\lambda_j :=\lambda(F_j)$ and
$M(E)$ is the lattice generated by $\{ \lambda_{i_1}, \dots, \lambda_{i_k}\}$ in $\mathbb{Z}^n$.
\item $M^\ast(E)$ denotes the lattice $(M(E)\otimes_\mathbb{Z} \mathbb{R})\cap \mathbb{Z}^n$ and
		$G_E$ is the quotient $M^\ast(E)/M(E)$, a finite abelian group.
\item $H_1, \dots, H_\ell$ denote facets of the polytope $E$. So,
 $H_i=F_i \cap E$ for some facet $F_i$ in $Q$. The  map
 $$\varrho_E : {\bb{Z}}^n \to  \mathbb{Z}^n / M^\ast(E)\cong \mathbb{Z}^{n-k}$$
 is the projection homomorphism and
 $$\lambda_E \colon \{H_1, \dots, H_\ell\} \to \mathbb{Z}^n/M^\ast(E)$$
is defined by $\lambda_E(H_i)=(\varrho_E\circ\lambda)(F_i)$.
\item $v=F_{i_1}\cap \dots \cap F_{i_n}$ is a vertex in $Q$.
$M(v)$ represents the submodule generated by $\{\lambda_{i_1}\dots \lambda_{i_n}\}$ in $\mathbb{Z}^n$
and $G_Q(v)$ is the quotient $\mathbb{Z}^n /M(v)$.
\item When $v$ is regarded as a vertex in $E$, $v=H_{j_1} \cap \dots \cap H_{j_{n-k}}$.
$M_E(v)$  denotes the submodule in $ \mathbb{Z}^{n-k} (\cong \mathbb{Z}^n/M^\ast(E)) $ generated by
			 $$\{ \lambda_E(H_{j_1}) \dots  \dots \lambda_E(H_{j_{n-k} }) \}$$
so that $G_E(v)$ becomes $\mathbb{Z}^{n-k}/M_E(v)$.
\end{enumerate}

\begin{comment}
{\color{blue} Here, I summarize all the notations which indicate certain lattices.
\begin{itemize}
	\item $E=F_{i_1} \cap \cdots F_{i_k}$ : codimension $k$-face in $Q$, and $F_\ast$ : facets
	\item $\lambda$ : a characteristic function. $\lambda_j :=\lambda(F_j)$
	\begin{itemize}
		\item $M(E)$: Lattice generated by $\{ \lambda_{i_1}, \dots, \lambda_{i_k}\}$ in $\mathbb{Z}^n$
		\item $M^\ast(E)$ : $(M(E)\otimes_\mathbb{Z} \mathbb{R})\cap \mathbb{Z}^n$
		\item $G_E=M^\ast(E)/M(E)$ : a finite abelian group
	\end{itemize}
	\item $\{H_1, \dots, H_\ell\}$ : facets of $E$, i.e., $H_i=F_i \cap E$ for some facets $F_i$ in $Q$.
	\begin{itemize}
		\item $\varrho_E \colon \mathbb{Z}^n \to \mathbb{Z}^n/M^\ast(E)$
		\item $\lambda_E \colon \{H_1, \dots, H_\ell\} \to \mathbb{Z}^n/M^\ast(E)$
			defined by $\lambda_E(H_i)=(\varrho_E\circ\lambda)(F_i)$.
	\end{itemize}
	\item $v=F_{i_1}\cap \dots \cap F_{i_n}$ : a vertex in $Q$.
	\begin{itemize}
		\item $M(v)$ : submodule generated by $\{\lambda_{i_1}\dots \lambda_{i_n}\}$ in $\mathbb{Z}^n$.
		\item $G_Q(v)=\mathbb{Z}^n /M_v$
	\end{itemize}
	\item Regarding $v$ as a vertex in $E$,  $v=H_{j_1} \cap \dots \cap H_{j_{n-k}}$.
	\begin{itemize}
		\item $M_E(v)$ : submodule in $ \mathbb{Z}^{n-k} (\cong \mathbb{Z}^n/M^\ast(E)) $ generated by\\
			 $\{ \lambda_E(H_{j_1}) \dots  \dots \lambda_E(H_{j_{n-k} }) \}$
		\item $G_E(v)=\mathbb{Z}^{n-k}/M_E(v)$
	\end{itemize}
\end{itemize}
}
\end{comment}

\begin{example}\label{ex_explicit_computation_of_local_group}
	Suppose we have a characteristic pair $(Q, \lambda)$ described in Figure \ref{fig_fake_weighted_proj_sp_as_subsp}.
	Notice that $Q$ is a $3$-dimensional polytope with 5 facets, say $\mathcal{F}(Q)=\{F_1, \dots, F_5\}$.
	We denote by $v_{ijk}$ the vertex coming from $F_i \cap F_j \cap F_k$.
	Here, we assume that the target space $\mathbb{Z}^3$ is generated by the standard basis $\{e_1, e_2, e_3\}$ and
	$\lambda_i:=\lambda(F_i)$.
	Then, $M(v_{123})=\left< \lambda_1, \lambda_2, \lambda_3 \right>$. Hence,
	\begin{align*}
		G_Q(v_{123})&=\mathbb{Z}^3 / M(v_{123}) \\
			&= \left<e_1, e_2, e_3 \right> \big/ \left< 2e_1+3e_2+5e_3, 2e_1-e_2, -e_1-e_2-2e_3\right>\\
			&=1
	\end{align*}
	Here, the last equality can be checked by the computation
	$$\det \begin{bmatrix} 2 &2& -1 \\ 3& -1& -1 \\ 5& 0 &-2 \end{bmatrix} = 1.$$
	Hence, we get $G_Q(v_{123})=1$.
	Similarly, we can compute
	$$G_Q(v_{124})=G_Q(v_{134})=1~\text{ and }~G_Q(v_{235})=G_Q(v_{245})=G_Q(v_{345})=\mathbb{Z}_3.$$

	Now, we choose $E$ to be the facet $F_5$. So, $k=1$ and $n-k=2$.
	Then, $M(E)=\left< \lambda_5 \right> = \left< e_3\right> =\left< (0,0,1)\right> \cong \mathbb{Z}$.
	so,
	$$M^\ast(E)= ``z\text{-axis}"  \cap \mathbb{Z}^3 = \left< e_3\right>=M(E)$$
	from which it follows that $G_E$ is the trivial group. Next, the projection
	$$\varrho_E \colon \mathbb{Z}^3 \to \mathbb{Z}^3 / M^\ast(E) = \left<e_1, e_2, e_3 \right> / \left<e_3\right> \cong \mathbb{Z}^2$$
	is onto the first two coordinates. The facets of $E$ are:
	$$H_1=F_2 \cap E, H_2=F_3\cap E  \text{ and } H_3=F_4 \cap E.$$

	Next, we identify the map $\lambda_{E} \colon \{H_{1},H_{2},H_{3}\} \longrightarrow \mathbb{Z}^{2}$,
	which is defined by
	\begin{align*}
		\lambda_{E}(H_{1}) &= \mathcal{\rho}_{E}(\lambda(F_{2}))=  (2,-1)= 2e_{1}-e_{2}\\
		\lambda_{E}(H_{2}) &= \mathcal{\rho}_{E}(\lambda(F_{3}))= (-1,-1)= -e_{1}-e_{2}\\
		\lambda_{E}(H_{3}) &= \mathcal{\rho}_{E}(\lambda(F_{4}))= (-1,2)= -e_{1}+2e_{2}.
	\end{align*}
	Finally,
	 $$G_{E}(v_{245}) = \mathbb{Z}^{2}/M_{E}(v_{245}) = \langle e_{1},e_{2}\rangle \big/ \langle 2e_{1}-e_{2}, -e_{1}+2e_{2} \rangle
= \langle e_1 \rangle\big/ \langle 3e_1 \rangle  = \mathbb{Z}_{3}.$$
	Similarly, we can also compute $G_E(v_{235})=G_E(v_{345})=\mathbb{Z}_3$.
	\end{example}

\begin{remark}
	The characteristic subspace corresponding to $F_5$ in Example
	\ref{ex_explicit_computation_of_local_group} is a fake
	weighted projective space with weight $(1,1,1)$. We refer \cite{Bu}
	and \cite{Kasp} for the details of fake weighted projective space.
\end{remark}

\begin{figure}
        \begin{tikzpicture}[scale=0.6]
        		\draw[fill=yellow, yellow] (0,0)--(5,0)--(3,-1)--cycle;
        		\draw (5,0)--(5,4)--(0,4)--(0,0);
		\draw (0,4)--(3,3)--(3,-1)--(0,0);
		\draw (5,4)--(3,3);
		\draw (5,0)--(3,-1);
		\draw[dashed] (0,0)--(5,0);
		\node[left] at (0,4) {$v_{124}$};
		\node[right] at (5,4) {$v_{134}$};
		\node[below] at (2.5,3) {$v_{123}$};
		\node[left] at (0,0) {$v_{245}$};
		\node[right] at (5,0) {$v_{345}$};
		\node[below] at (3,-1) {$v_{235}$};
		\node at (1.5,1.5) {\small$F_2$};
		\node at (4,1.5) {\small$F_3$};
		\node at (3,3.6) {\small$F_1$};
		\node[below] at (6,3) {\small$F_4$};
		\draw[thick, dotted, ->] (6,3) to [out=120,in=60] (3.5,2);
		\node[above] at (7,0) {\small$F_5$};
		\draw[thick, dotted, ->] (7,0) to [out=270,in=330] (3.5,-0.5);
		\node at (13,2) {\small{$ \Lambda=\begin{blockarray}{ccccc}
									\lambda_1 &\lambda_2&\lambda_3&\lambda_4&\lambda_5 \\
									\begin{block}{[ccccc]}
										 2 &2& -1& -1& 0 \\
										3& -1& -1& 2& 0 \\
										5& 0 &-2 &2 &1    \\
									\end{block}
									\end{blockarray}  $}};
        \end{tikzpicture}
        \caption{Characteristic subspaces may have torsion.}
        \label{fig_fake_weighted_proj_sp_as_subsp}
\end{figure}

\subsection{Some quotient spaces of odd dimensional spheres}\label{maqs}
Let $\Delta^n$ be the $n$-dimensional simplex with vertices
$v_0, v_1, ..., v_n$ and facets $F_0, \ldots, F_{n}$ where $F_i$
does not contain the vertex $v_i$. Let
$\mathcal{F}(\Delta^n)=\{F_0, \ldots,  F_{n}\}$.
\begin{definition}\label{defls}
A function $\xi: \mathcal{F}(\Delta^n) \to {\bb{Z}}^{n+1}$ is called
a rational characteristic function or simply, an r-characteristic  function
 of $\Delta^n$ if the rank of the submodule
generated by $\{\xi(F_{0}), \ldots, \xi(F_{n})\}$ is $n+1$.
Set $\xi_i= \xi(F_i)$ for $i=0, \ldots, n$.
\end{definition}

Let $F$ be a face of $\Delta^n$ of codimension $\ell< n$.
Then $ F $ is the intersection of a unique collection of $\ell$ facets
$F_{i_1}, F_{i_2}, \ldots, F_{i_\ell}$ of $ \Delta^n $.
Let $M(F)$  denote the submodule of ${\bb{Z}}^{n+1}$ generated by the
r-characteristic vectors $\{  \xi_j: j = i_1, \ldots, i_\ell \}$.
Then, $T_{M(F)} = M(F)_{{\bb{R}}} /M(F)$  is a torus of dimension $\ell$.
The inclusion $M(F) \subset {\bb{Z}}^{n+1}$ induces a group homomorphism
$\xi_{M(F)}: T_{M(F)} \to T^{n+1}$.
We shall adopt the convention that  $T_{M(\Delta^n)} = 1$.
Define an equivalence relation
$\sim_\xi$ on the product $T^{n+1} \times \Delta^n$ by
\begin{equation}\label{eqich}
(t, x) \sim_\xi (s, y)~\mbox{if}~ x=y~\mbox{and}~ s^{-1}t \in \text{Im}(\xi_{M(F)})
\end{equation}
where $F$ is the unique face of $\Delta^n$ whose relative interior
contains $x$. Let
$$L(\Delta^n, \xi) = \Delta^n \times T^{n+1} / \sim_\xi$$
be the quotient space.

\begin{remark}
\hfill
\begin{enumerate
\item The rank of target space of
	 \emph{rational characteristic function} $\xi$ is $n+1$, while $\dim \Delta^n=n$.
	 Recall that, in  a \emph{characteristic function} $\lambda$ defined in
	 Definition \ref{def_characteristic_function}, the rank of target space is $n=\dim Q$.
\item  In \cite{SS}, the function $\xi$ is called  a {\em hyper-characteristic function\/}
	 if the submodule generated by $\{  \xi(F_{i_1}), \ldots, \xi(F_{i_\ell})\}$
	 is a direct summand of ${\bb{Z}}^{n+1}$ of rank $\ell$,
	 whenever $F_{i_1} \cap F_{i_2} \cap \dots \cap F_{i_\ell}$ is nonempty.
  	In this case, $L(\Delta^n, \xi)$ is a manifold.
\end{enumerate}
\end{remark}

We show next that the space $L(\Delta^n, \xi)$ is the orbit space of
a finite group action on $S^{2n+1}$. Let ${\bb{Z}}(\xi)$ be the submodule of
${\bb{Z}}^{n+1}$ generated by $\{\xi_0, \ldots, \xi_n\}$.
By definition of $\xi$ the rank of ${\bb{Z}}(\xi)$ is $n+1$. So  ${\bb{Z}}_\xi:={\bb{Z}}^{n+1}/{\bb{Z}}(\xi)$
is a finite abelian group. Let $\{e_1, ..., e_{n+1}\}$ be the standard basis of
${\bb{Z}}^{n+1}$ over ${\bb{Z}}$.
Define
$$\xi^s : \mathcal{F}(\Delta^n) \to {\bb{Z}}^{n+1}$$
 by $\xi^s(F_i)= e_{i+1}$. Then, the manifold $L(\Delta^n, \xi^s)$ is
 homeomorphic to the sphere  $S^{2n+1}$ with $T^{n+1}$-action induced from
 the standard action of  $T^{n+1}$ on $\mathbb{C}^{n+1}$. We refer \cite[Proposition 2.3]{SS}.

Consider the map $\beta: {\bb{Z}}^{n+1} \to {\bb{Z}}^{n+1}$
defined by $\beta(e_i) = \xi_{i-1}$ for $i=1, \dots, n+1$. Then the map
$\beta$ induces a surjective homomorphism $$\overline{\beta}: T^{n+1} \to T^{n+1}$$
 with kernel ${\bb{Z}}^{n+1}/{\bb{Z}}(\xi)$.  The map $\overline{\beta}$ induces a surjective map
 $$f_{\beta}: S^{2n+1} = L(\Delta^n, \xi^s) \to L(\Delta^n, \xi)$$
defined by $f_\beta ([t,x]_{\sim_{\xi^s}})=[t,x]_{\sim_{\xi}}.$
The orbifold structure on $L(\Delta^n, \xi)$ is given by the action of
finite group $\mathbb{Z}_\xi$ on $S^{2n+1}$. We call it the \emph{orbifold lens space}
corresponding to the r-characteristic function $\xi$ of $\Delta^n$.

For a  positive integer $m$, we say a finite abelian group $G$ is an \emph{$m$-torsion group}
if   $G  \cong {\bb{Z}}_{p_1^{s_1}} \oplus \cdots \oplus {\bb{Z}}_{p_r^{s_r}}$ for some
prime factors $p_1, \ldots, p_r$ of $m$ and nonnegative integers $s_1, \ldots, s_r $.
Now, we have the following lemma.
\begin{lemma}\label{lem_homology_of_orb_lens_sp}
	 $H_0(L(\Delta^n, \xi)) = H_{2n+1}(L(\Delta^n, \xi))=\mathbb{Z}$ and
	$H_i(L(\Delta^n, \xi))$ is a $|{\bb{Z}}_\xi|$-torsion group,  for $i=1, \dots, 2n$.
\end{lemma}
\begin{proof}
	We see $H_0(L(\Delta^n, \xi))\cong {\bb{Z}}$ trivially. The isomorphism
	$H_{2n+1}(L(\Delta^n, \xi))\cong \mathbb{Z}$ follows because ${\bb{Z}}_\xi$ action
	on $S^{2n+1}$ is induced from the standard action of $T^{n+1}$ on $S^{2n+1} \subset \mathbb{C}^{n+1}$, which is orientation preserving.
	Now we show that $H_i(L(\Delta^n, \xi))$ is a $|{\bb{Z}}_\xi|$-torsion group, for $i=1, \dots, 2n$.
	Recall the following isomorphism which can be obtained by the classical result for
	an action of a finite group $G$ on a locally compact Hausdorff space $X$:
	\begin{equation}\label{eq_transfer_isom}
	H^\ast(X/G;\mathbf{k}) \cong H^\ast(X;\mathbf{k})^G,
	\end{equation}
	where $\mathbf{k}$ is a field of characteristic zero or prime to $|G|$, see \cite[III.2]{Bor}.

	We apply the isomorphism \eqref{eq_transfer_isom} to the
	orbifold lens space $L(\Delta^n, \xi)\cong S^{2n+1}/{\bb{Z}}_\xi$. Since
	$H^{i}(S^{2n+1};\mathbf{k})^{\mathbb{Z}_\xi}=0$ for $i=1, \dots 2n$, the claim is proved by
	the universal coefficient theorem.
\end{proof}

\section{A retraction of simple polytopes}\label{sec_ret_of_simple_poly}

In this section, we introduce a certain way of retracting a simple polytope $Q$
to a point, which we call this an \emph{admissible retraction}.
There are finitely many ways of such retraction.
This leads us
to characterize $Q$ by an $(r_n, \ldots, r_{2})$-simple
polytope, where $(r_n, \ldots, r_{2}) \in \mathbb{N}^{n-1}$.
This concept is required to develop a sufficient condition for torsion freeness in
the homology of toric orbifolds in the following section.
First we recall the definition of a polytopal complex.

\begin{definition}\cite[Definition 5.1]{Zie}
A polytopal complex $\mathcal{L}$ is a finite collection of polytopes
in ${\bb{R}}^n$ satisfying:
\begin{enumerate}
\item if $E$ is a face of $F$ and $F \in \mathcal{L}$ then $E \in \mathcal{L}$,
\item if $E, F \in \mathcal{L}$ then $E \cap F$ is a face of both $E$ and $F$.
\end{enumerate}
Let $|\mathcal{L}| = \bigcup_{F \in \mathcal{L}} F$ be the underlying set of
$\mathcal{L}$.
\end{definition}
The elements of $\mathcal{L}$ are called faces and the zero dimensional
faces of $\mathcal{L}$ are called vertices.
We denote the set of vertices of $\mathcal{L}$ by $V(|\mathcal{L}|)$.
The dimension of $\mathcal{L}$ or $|\mathcal{L}|$ is the maximum of the
dimension of its faces.
For example, given a simple polytope $Q$, let $\mathcal{L}(Q)$ be the collection
of all faces of $Q$. Then, $\mathcal{L}(Q)$ is a polytopal complex and
$|\mathcal{L}(Q)|$ is combinatorially equivalent to $Q$.

Now, given an $n$-dimensional simple polytope $Q$, we construct a sequence of triples
$\{B_{\ell}, E_{\ell}, b_{\ell}\}_{\ell \geq 1}$, which we call a {\it retraction sequence} of $Q$.
First, we define $B_1 = Q=E_1$ and $b_1 \in V(B_1)$. The second term
$(B_2, E_2, b_2)$ is defined as follows. Consider a subcollection
$$\mathcal{L}_2= \{E \in \mathcal{L}(Q) \mid  b_1 \notin V(E)\}$$ of $\mathcal{L}(Q)$.
Then, $\mathcal{L}_2$ is an $(n-1)$-dimensional polytopal complex.
We define $B_2$ by the underlying set $|\mathcal{L}_2|$ of $\mathcal{L}_2$.
We choose vertex $b_2$ of $B_2$ such that $b_2$ has a neighborhood
diffeomorphic to $\mathbb{R}^{n-1}_{\geq 0}$ as manifold with corners and let  $E_2$ be
the  unique $(n-1)$-dimensional  face containing $b_2$.

Next, we extend the sequence inductively. Suppose we have defined
$(B_\ell, E_\ell, b_\ell)$ for $\ell \leq k-1$. Then the next term $(B_k, E_k, b_k)$ is defined
as follows. First we consider a polytopal complex
$$\mathcal{L}_k =\{ E\in \mathcal{L}_{k-1} \mid b_{k-1} \notin V(E)\}.$$
Then, $B_k$ is defined by its underlying set $|\mathcal{L}_k|$.
We choose a vertex $b_k$ in $V(B_k)$ satisfying the following condition:
\[
b_k \mbox{ has a neighborhood
diffeomorphic to $\mathbb{R}^{\dim B_k}_{\geq 0}$ as a manifold with corners}, \tag{$\star$}\label{def_free_vertex}
\]
and let  $E_k$ be the  unique face containing $b_k$ with $\dim E_k= \dim B_k$.
We call a vertex $v$ in $B_k$ which satisfies the condition \eqref{def_free_vertex}
a {\it free vertex} of $B_k$.
Finally, the sequence stops if there is no free vertex in $B_k$ or if $B_k=E_k=b_k$.

\begin{definition}
Let $Q$ be a simple polytope. If there exists a retraction sequence
$\{B_{\ell}, E_{\ell}, b_{\ell}\}_{\ell=1}^k $ of $Q$ such that $B_k$ is a vertex,
then we say $\{B_{\ell}, E_{\ell}, b_{\ell}\}_{\ell = 1}^k$ is an
admissible retraction of $Q$ starting with the vertex $b_1$.
\end{definition}

\begin{definition}
A free vertex $v$ in $B_\ell$ is called an admissible free vertex
if $B_{\ell+1}$ has a free vertex.
\end{definition}
In the admissible retraction, a choice of an admissible free vertex
$b_\ell$ in $B_{\ell}$ determines $B_{\ell+1}$.
To be more precise, $\mathcal{L}(B_{\ell}) - \mathcal{L}(B_{\ell + 1})$
is the set of all faces containing $b_\ell$. Among those faces,
$E_{\ell}$ of $B_{\ell}$ is the only one top dimensional face containing $b_{\ell}$.

\begin{example}\leavevmode
\begin{enumerate}
	\item Each polygon has an admissible retraction starting with any vertex.
	\item In the Figure \ref{fig_vc_of_cube}, $b_4$ and $b_4'$ are admissible
	free vertices, but $b_4''$ is a free vertex which is not admissible.
\end{enumerate}

\begin{figure}
        \begin{tikzpicture}[scale=0.6]
		\draw (0,0)--(2,0)--(2,1.3)--(1.3,2)--(0,2)--cycle;
		\draw (2,1.3)--(2.3,2.3)--(1.3,2);
		\draw (0,2)--(1,3)--(3,3)--(2.3,2.3);
		\draw[dashed] (1,3)--(1,1)--(0,0);
		\draw (3,3)--(3,1)--(2,0);
		\draw[dashed]  (1,1)--(3,1);
		\node[below] at (1.2,1) {$b_1$};
		\draw[fill] (1,1) circle [radius=0.08];

		\draw (4.5,0)--(6.5,0)--(6.5,1.3)--(5.8,2)--(4.5,2)--cycle;
		\draw (6.5,1.3)--(6.8,2.3)--(5.8,2);
		\draw (4.5,2)--(5.5,3)--(7.5,3)--(6.8,2.3);
		\draw (7.5,3)--(7.5,1)--(6.5,0);
		\node[left] at (4.5,0) {$b_2$};
		\draw[fill] (4.5,0) circle [radius=0.08];

		\draw (11,1.3)--(10.3,2)--(9,2);
		\draw (11,1.3)--(11.3,2.3)--(10.3,2);
		\draw (9,2)--(10,3)--(12,3)--(11.3,2.3);
		\draw (11,1.3)--(11,0)--(12,1)--(12,3);
		\node[left] at(10,3.2) {$b_3$};
		\draw[fill] (10,3) circle [radius=0.08];

		\draw (15.5,1.3)--(14.8,2)--(13.5,2);
		\draw (15.5,1.3)--(15.8,2.3)--(14.8,2);
		\draw (16.5,3)--(15.8,2.3);
		\draw (15.5,1.3)--(15.5,0)--(16.5,1)--(16.5,3);

		\node[right] at (16.5,3) {$b_4$};
		\draw[fill] (16.5,3) circle [radius=0.08];
		\node[right] at (16.5,1) {$b_4''$};
		\draw[fill] (16.5,1) circle [radius=0.08];
		\node[right] at (15.5,-0.2) {$b_4'$};
		\draw[fill] (15.5,0) circle [radius=0.08];
        \end{tikzpicture}
        \caption{Free vertices and admissible free vertices.}
        \label{fig_vc_of_cube}
\end{figure}
\end{example}

\begin{remark}
In an admissible retraction sequence, $k$ is independent of the choice
of retraction sequence, since $k= |V(Q)|$.
\end{remark}
\begin{lemma}\label{lem_two_admissible_seq_have_same_dim}
If $\{B_\ell, E_\ell, b_\ell\}_{\ell=1}^k $ and
$\{B^{\prime}_\ell, E^{\prime}_\ell, b^{\prime}_\ell\}_{\ell=1}^k $ are
two different admissible retraction sequences for $Q$, then
$\dim B_{\ell} = \dim B_{\ell}'$ for all $\ell=1, \ldots, k$.
\end{lemma}
\begin{proof}
We prove this lemma by showing that $\dim B_\ell$ depends only on
the $f$-vector $f(Q)=(f_0, \dots, f_n)$ of $Q$, where $f_i$ is the number
of $i$-dimensional faces of $Q$ for $i=0, 1, \ldots, n$.
Obviously, we can see that  $f_0=|V(Q)|=k$ and $f_n=1$.

Let $U_1$ be
the open subset of $Q$ obtained by deleting the faces not containing
the vertex $b_1$. Then
$$U_1 \cong {\bb{R}}^n_{\geq 0} \quad \mbox{and} \quad B_2 = Q - U_1.$$
So the number of top (which is $n-1$) dimensional faces of $B_2$ is
$$k_{n-1} = f_{n-1} - {n\choose{n-1}}.$$
We put
$$p_{n-1} =1+ k_{n-1}.$$
Then, for $\ell=2, \dots, p_{n-1}$, we choose an $(n-1)$-dimensional face
$E_\ell$ of $B_\ell$. Hence, $\dim B_{\ell} = n-1$ for $2 \leq \ell \leq p_{n-1}$.
Notice that we fix $k_n = p_n=1$.

Suppose proceeding this way, we have computed $k_{n-j}$ and
$p_{n-j} =  p_{n-j+1}+k_{n-j} $ such that $\dim B_{p_{n-j}} = n-j$ and
$\dim B_{p_{n-j} +1} = n-j-1$. Then, we claim that the number of
top dimensional faces in $ B_{p_{n-j} +1}$ is
\begin{equation}\label{defkalpha}
k_{n-j-1} = f_{n-j-1} -  {n\choose{n-j-1}} - {n-1 \choose{n-j-1}} k_{n-1} - \cdots - {n-j \choose{n-j-1}}k_{n-j}.
\end{equation}

Indeed, the number of
$i$-dimensional face of $B_\ell$ containing a free vertex $v$ is
${\dim B_\ell}\choose{i}$, because $v$ has a neighborhood
diffeomorphic to $\mathbb{R}^{\dim B_\ell}_{\geq 0}$, as a manifold with corners.
In an admissible retraction, first we delete a free vertex of degree $n$.
Here, the degree of a vertex $v$ is the number of edges which meet at $v$.
Secondly, we delete $k_{n-1}$ many free vertices of degree $n-1$,
and continue this process until we delete $k_{n-j}$ many free vertices
of degree $n-j$.
Hence, the number of remaining $(n-j-1)$-dimensional face of
$B_{p_{n-j}+1}$ is exactly $k_{n-j-1}$ defined in \eqref{defkalpha}.
This equation is true for  $j=0, \ldots, n-1$, and
each $p_{n-j-1}=p_{n-j}+ k_{n-j-1}$ is defined correspondingly.

This shows that for each $j=0, \ldots, n-1$, $\dim B_\ell = n-j-1$
if $p_{n-j} < \ell \leq p_{n-j-1}$.
Observe that each $p_{n-j}$ is same for any
admissible retraction of $Q$. Hence the lemma follows.
\end{proof}

\begin{question}
Does every simple polytope of dimension greater than 2 have an admissible retraction?
\end{question}

The next theorem gives an infinite class of simple polytopes which have an admissible retraction.

\begin{theorem}
If the simple polytopes $P$ and $Q$ have admissible retractions,
then the simple polytope $P \times Q$ has an admissible retraction.
\end{theorem}

\begin{proof}
Suppose $\dim P=n$ and $\dim Q=m$.
Let $\{P_\ell, E_\ell, x_\ell\}_{\ell=1}^k$and $\{Q_\ell, F_\ell, y_\ell\}_{\ell=1}^{k'}$
be admissible retractions of $P$ and $Q$, respectively. By convention,
$P=P_1=E_1$ and $Q=Q_1=F_1$. From the argument in Lemma
\ref{lem_two_admissible_seq_have_same_dim}, we can divide $P_1, \dots, P_r$
into several groups according to dimension as follows:
\begin{equation}\label{eq_gp_of_P_ell}
\underbrace{(P_1=P_{p_n}),}_{\dim P_1=n}
\underbrace{(P_2, \dots, P_{p_{n-1}})}_{\dim P_\ast=n-1}, \dots,
\underbrace{(P_{p_{i+1}+1}, \dots, P_{p_{i}} )}_{\dim P_\ast = i}, \dots ,
\underbrace{(P_{p_2+1}, \cdots, P_{p_1})}_{\dim P_\ast = 1},
\underbrace{(P_{p_0}).}_{\dim P_{p_0}=0}
\end{equation}
Recall from the convention in the proof of
Lemma \ref{lem_two_admissible_seq_have_same_dim} that $p_{1}+1=p_0=k$ and $p_n=1$.
Similarly, there exist positive integers
$1=q_m < \dots< q_1< q_1+1=q_0=k'$ so that we can divide $Q_1, \dots, Q_s$
into several groups as follows:
\begin{equation}\label{eq_gp_of_Q_ell}
\underbrace{(Q_1=Q_{q_m}),}_{\dim Q_1=m}
\underbrace{(Q_2, \dots, Q_{q_{m-1}})}_{\dim Q_\ast=m-1}, \dots,
\underbrace{(Q_{q_{j+1}+1}, \dots, Q_{q_{j}} )}_{\dim Q_\ast = j}, \dots ,
\underbrace{(Q_{q_2+1}, \cdots, Q_{q_1})}_{\dim Q_\ast = 1},
\underbrace{(Q_{q_0}).}_{\dim Q_{q_0}=0}
\end{equation}
The vertex set of $P\times Q$ is given by
$$V(P\times Q) = \{ (x_i, y_j) \mid 1\leq i \leq k, 1\leq j \leq k'\},$$
and we assign an order $\prec$ on $V(P\times Q)$ by the following rule:
Given two elements $(x_a, y_b)$ and $(x_c, y_d)$ with
$p_{i+1}+1 \leq a \leq p_i$,  $q_{j+1}+1 \leq b \leq q_j$,  $p_{i'+1}+1 \leq c \leq p_{i'}$
and $q_{j'+1}+1 \leq d \leq q_{j'}$
\begin{enumerate}
	\item If $p_i+q_j > p_{i'} + q_{j'}$, then $(x_a, y_b) \prec (x_c, y_d)$,
	\item When $p_i+q_j = p_{i'} + q_{j'}$,
		\begin{enumerate}
			\item if $b<d$, $(x_a, y_b) \prec (x_c, y_d)$,
			\item if $b=d$, $(x_a, y_b) \prec (x_c, y_d)$ whenever $a<c$.
		\end{enumerate}
\end{enumerate}
Notice that $\left(V(P\times Q),~ \prec\right)$ is a totally ordered set with the minimal
element $(x_1, y_1)$ and the maximal element $(x_k, y_{k'})$, where $k=|V(P)|$ and
$k'=|V(Q)|$.
See Figure \ref{fig_total_order_on_vertex_set} for the description of this order.
\begin{figure}
        \begin{tikzpicture}[scale=0.5]
	\draw[->](-1,0)--(14,0);
	\draw[->](0,-1)--(0,11);
	\draw[help lines] (1,-0.2)--(1,10);
	\draw[help lines] (2,-0.2)--(2,10);
	\draw[help lines] (5,-0.2)--(5,10);
	\draw[help lines] (9,-0.2)--(9,10);
	\draw[help lines] (13,-0.2)--(13,10);
	\draw[fill=white, white] (0.2,0.2)--(14,0.2)--(14,10)--(0.2,10)--cycle;

	\node[below] at (1,0) {\scriptsize$\underset{=x_{p_{n}}}{x_1}$};
	\node[below] at (2,0) {\scriptsize$x_2$};
	\node[below] at (5,0) {\scriptsize$x_{p_{n-1}}$};
	\node[left] at (0,1) {\scriptsize$y_{q_m}=y_1$};
	\node[left] at (0,2) {\scriptsize$y_2$};
	\node[left] at (0,4) {\scriptsize$y_{q_{m-1}}$};
	\node[left] at (0,7) {\scriptsize$y_{q_{m-2}}$};
	\node[left] at (0,10) {\scriptsize$y_{q_{m-3}}$};
	\draw[fill] (1,1) circle [radius=0.1];
	\node at (1.4,1) {\textcircled{\scriptsize{1}}};
	\draw[thick, >=latex,->] (2,1)--(5,1);
	\node at (5.2,1) {\textcircled{\scriptsize{2}}};
	\draw[thick, >=latex,->] (1,2)--(1,4);
	\node at (1.2, 4.2) {\textcircled{\scriptsize{3}}};
	\node[below] at (9,0) {\scriptsize$x_{p_{n-2}}$};
	\draw[thick, >=latex,->] (6,1)--(9,1);
	\node at (9.2,1) {\textcircled{\scriptsize{4}}};
	\draw[thick, >=latex,->] (2,2)--(5,2);
	\node at (5.2,2) {\textcircled{\scriptsize{5}}};
	\node at (3,3) {$\vdots$};
	\node[right] at (3,3){\textcircled{\scriptsize{6}}};
	\draw[thick, >=latex,->] (2,4)--(5,4);
	\node at (5.2,4) {\textcircled{\scriptsize{7}}};
	\draw[thick, >=latex,->] (1,5)--(1,7);
	\node at (1.2,7.2) {\textcircled{\scriptsize{8}}};

	\draw[thick, >=latex,->] (10,1)--(13,1);
	\node at (13.2,1) {\textcircled{\scriptsize{9}}};
	\node[below] at (13,0) {\tiny$x_{p_{n-3}}$};

	\draw[thick, >=latex,->] (6,2)--(9,2);
	\node at (9.2,2) {\textcircled{\scriptsize{10}}};
	\node at (7,3) {$\vdots$};
	\node[right] at (7,3){\textcircled{\scriptsize{11}}};
	\draw[thick, >=latex,->] (6,4)--(9,4);
	\node at (9.2,4) {\textcircled{\scriptsize{12}}};

	\draw[thick, >=latex,->] (2,5)--(5,5);
	\node at (5.2,5) {\textcircled{\scriptsize{13}}};
	\node at (3,6) {$\vdots$};
	\node[right] at (3,6){\textcircled{\scriptsize{14}}};
	\draw[thick, >=latex,->] (2,7)--(5,7);
	\node at (5.2,7) {\textcircled{\scriptsize{15}}};

        \draw[thick, >=latex,->] (1,8)--(1,10);
        \node at (1.2,10.2) {\textcircled{\scriptsize{16}}};

        \draw[dotted, thick] (1.7,11)--(1.7,0.5);
        \draw[dotted, thick] (5.7,11)--(5.7,0.5);
        \draw[dotted, thick] (9.7,11)--(9.7,0.5);

        \draw[dotted, thick] (0.5,1.5)--(14,1.5);
        \draw[dotted, thick] (0.5,4.6)--(14,4.6);
	\draw[dotted, thick] (0.5,7.6)--(14,7.6);

	\draw[fill] (8,6) circle [radius=0.05];
	\draw[fill] (8.2,6.2) circle [radius=0.05];
	\draw[fill] (8.4,6.4) circle [radius=0.05];
        \end{tikzpicture}
        \caption{Total order on $V(P\times Q)$.}
        \label{fig_total_order_on_vertex_set}
\end{figure}

Next, we construct an admissible retraction $\{R_\ell, G_\ell, z_\ell\}_{\ell=1}^{kk'}$
of $P\times Q$
inductively according to the order $\prec$ as follows.
We begin by choosing a vertex $(x_1, y_1)$, so the initial term is
$$(R_1, G_1, z_1)=\big( P\times Q,  P\times Q, (x_1, y_1)\big).$$
Hence, retracting $P\times Q$ from $(x_1, y_1)$, we get
$R_{2}=(P_2 \times Q_1) \cup_{P_2\times Q_2} (P_1 \times Q_2)$.
We define the second term $(R_{2}, G_{2}, z_{2})$ by
\begin{equation}\label{eq_R_2,G_2,z_2}
(R_{2}, G_{2}, z_{2})=
\big( (P_2 \times Q_1) \cup_{P_2\times Q_2} (P_1 \times Q_2), E_2\times F_1, (x_2, y_1)\big).
\end{equation}
Notice that $\dim R_2=\dim G_2= n+m-1$ and $(x_2, y_1)$ is the successor of $(x_1, y_1)$
with respect to $\prec$,  the order defined above.
Moreover, $(x_2,y_1)$ is a
free vertex in $R_2$, because  $x_2$ and $y_1$ are free vertices in $P_2$ and $Q_1$,
respectively, and $(x_2, y_1)$ does not belong to $P_1\times Q_2$.

Now, we claim that
\begin{equation}\label{eq_R_ell_form}
(R_\ell, G_\ell, z_\ell)=
\Big( (P_a \times Q_b) \cup  \bigcup_{(x_a, y_b) \prec (x_i, y_i)} (P_i \times Q_j),
~E_a\times F_b, ~(x_a, y_b) \Big),
\end{equation}
for some $(x_a, y_b)\in V(P\times Q)$. We shall show this inductively with respect to the order $\prec$ on $V(P\times Q)$.
We have already defined the first and the second terms.
In particular, in \eqref{eq_R_2,G_2,z_2},
\begin{equation*}
R_2=(P_2 \times Q_1) \cup_{P_2\times Q_2} (P_1\times Q_2)\\
	=(P_2\times Q_1)\cup \bigcup_{(x_2, y_1)\prec (x_i, y_j)} (P_i\times Q_j).
\end{equation*}
The second equality holds because
$P_i \subset P_2$ for all  $i \geq 2$, and similarly for $Q_j$'s.

Suppose that \eqref{eq_R_ell_form}  holds for all $\ell' \leq \ell$.
If we retract $R_\ell$ from $z_\ell$, then
since $P_a \times Q_b$ is the only component of $R_\ell$ which contains $(x_a, y_b)$,
$R_\ell$ becomes
\begin{equation}\label{eq_next_term_of_prod_ret}
	(P_{a+1}\times Q_b )\cup _{P_{a+1} \times Q_{b+1}} (P_a \times Q_{b+1})\cup
	\bigcup_{(x_a, y_b) \prec (x_i, y_j)} (P_i \times Q_j).
\end{equation}
It remains to show that
 \eqref{eq_next_term_of_prod_ret} is same as
$$(P_c \times Q_d) \cup  \bigcup_{(x_c, y_d) \prec (x_i, y_j)} (P_i \times Q_j),$$
where $(x_c, y_d)$ is the successor of $(x_a, y_b)$ and a free vertex
in \eqref{eq_next_term_of_prod_ret}.

Assume that $p_{i+1} < a\leq p_{i}$ and $q_{j+1}< b\leq q_j$.  Then,
$(x_c, y_d)$ is one of the following five types:
\begin{enumerate}
	\item $(x_{a+1}, y_b)$, if $p_{i+1} < a< p_i$.
	\item $(x_{p_{i+1}+1}, y_{b+1})$, if $a=p_i$ and $q_{j+1}<b<q_j$.
	\item $(x_1, y_{q_j+1})$, if $a=p_i$ and $b=q_j$.
	\item $(x_a, y_{b+1})$, if $a=1$ and $q_{j+1}<b<q_j$.
	\item $(x_{p_i+1},y_1)$, if $a=1$ and $b=q_j$.
\end{enumerate}
See Figure \ref{fig_five_types_of_successor} for the description of those types.
The initial point of each arrow indicates $(x_a, y_b)$ and the terminal point
is $(x_c, y_d)$.
\begin{figure}
        \begin{tikzpicture}[scale=0.5]

	\draw[fill=red!30, red!30] (0.7, 3.7)--(1.3, 3.7)--(1.3, 7.3)--(0.7, 7.3)--cycle;
	\draw[fill=green!30, green!30] (3.7,3.7)--(8.3, 3.7)--(8.3, 8.3)--(3.7, 8.3)--cycle;
	\draw[fill=black!30, black!30] (8.7,3.7)--(9.3, 3.7)--(9.3, 7.3)--(8.7, 7.3)--cycle;
	\draw[fill=yellow!80, yellow!80] (8.7,7.7)--(9.3, 7.7)--(9.3, 8.3)--(8.7, 8.3)--cycle;
	\draw[fill=blue!40, blue!40] (0.7,7.7)--(1.3, 7.7)--(1.3, 8.3)--(0.7, 8.3)--cycle;

	\draw[->](-1,0)--(11,0);
	\draw[->](0,-1)--(0,10);
	\draw[help lines] (3,-0.2)--(3,10);
	\draw[help lines, dashed] (4,-0.2)--(4,10);
	\draw[help lines] (9,-0.2)--(9,10);
	\draw[help lines, dashed] (-0.2,4)--(10.2,4);
	\draw[help lines] (-0.2,3)--(10.2,3);
	\draw[help lines] (-0.2,8)--(10.2,8);
	\draw[help lines, dashed] (-0.2,9)--(10.2,9);
	\draw[help lines] (1,-0.2)--(1,10);
	\draw[help lines] (-0.2,1)--(10.2,1);
	\draw[help lines, dashed] (10,-0.2)--(10,10);

	\draw[thick, ->] (1,5.2)--(1,5.8);
	\draw[fill] (1,5) circle [radius=0.1];
	\draw[fill] (1,6) circle [radius=0.1];

	\draw[thick, ->] (5.2,5)--(5.8,5);
	\draw[fill] (5,5) circle [radius=0.1];
	\draw[fill] (6,5) circle [radius=0.1];

	\draw [rounded corners, thick, ->] (9,6.2) -- (9,6.5) -- (4,6.5) --(4,6.9);
	\draw[fill] (9,6) circle [radius=0.1];
	\draw[fill] (4,7) circle [radius=0.1];

	\draw [rounded corners, thick, ->] (9,8.2)--(9,8.5)--(1,8.5)--(1,8.9);
	\draw[fill] (9,8) circle [radius=0.1];
	\draw[fill] (1,9) circle [radius=0.1];

	\draw [rounded corners, thick, ->]   (1.2,8)--(2.5,8)--(2.5,2.5)--(10,2.5)--(10,1.2);
	\draw[fill] (1,8) circle [radius=0.1];
	\draw[fill] (10,1) circle [radius=0.1];

	\node[below] at (1,0) {\scriptsize$\underset{=x_{p_{n}}}{x_1}$};
	\node[below] at (5,0) {\scriptsize$x_{p_{i+1}+1}$};
	\node[below] at (3,0) {\scriptsize$x_{p_{i+1}}$};
	\node[left] at (0,1) {\scriptsize$y_{q_m}=y_1$};
	\node[left] at (0,4) {\scriptsize$y_{q_{j+1}+1}$};
	\node[left] at (0,3) {\scriptsize$y_{q_{j+1}}$};
	\node[left] at (0,8) {\scriptsize$y_{q_{j}}$};
	\node[left] at (0,9) {\scriptsize$y_{q_{j}+1}$};
	\node[below] at (9,0) {\scriptsize$x_{p_{i}}$};
	\node[below] at (10.5,0) {\scriptsize$x_{p_{i}+1}$};

	\node[below] at (5.5,5) {\scriptsize{(1)}};
	\node[above] at (6.5,6.5) {\scriptsize{(2)}};
	\node[above] at (5,8.5) {\scriptsize{(3)}};
	\node[right] at (0.9,5.5) {\scriptsize{(4)}};
	\node[below] at (6,2.5) {\scriptsize{(5)}};

        \end{tikzpicture}
        \caption{Five different cases which give different type of successors.}
        \label{fig_five_types_of_successor}
\end{figure}

The claim is  true for the cases (1) and (4), because $x_{a+1}$ and $y_{b+1}$
are free vertices of $P_{a+1}$ and $Q_{b+1}$, respectively.
Now, we consider the case (2).
Recall the following relation from the definition of the order $\prec$,
$$\cdots \prec (x_{p_{i+1}+1}, y_b)
\prec (x_{p_{i+1}+2}, y_b) \prec \cdots \prec
\underset{\substack{\shortparallel\\(x_a, y_b)\\ \shortparallel \\ z_\ell  } }{(x_{p_i}, y_b)}
\prec (x_{p_{i+1}+1}, y_{b+1})\prec \cdots$$
and we put $z_{\ell'}:= (x_{p_{i+1}+1}, y_b).$
In this case, we consider $( R_{\ell'}, G_{\ell'}, z_{\ell'})$,
which is well defined by the induction hypothesis.
Retracting $R_{\ell'}$ from the vertex $z_{\ell'}$ produces
\begin{align*}
	R_{\ell'+1}&=
	(P_{p_{i+1}+2}\times Q_b )\cup _{{P_{p_{i+1}+2} \times Q_{b+1}}} (P_{p_{i+1}+1} \times Q_{b+1})\cup
	\bigcup_{(x_{p_{i+1}+2}, y_b) \prec (x_i, y_j)} (P_i \times Q_j).
\end{align*}
The vertex $z_{\ell'+1}=(x_{p_{i+1}+2}, y_b)$ is free in $R_{\ell'+1}$
from the induction hypothesis.
Moreover, $(x_{p_{i+1}+1}, y_{b+1})$ is also free in $R_{\ell'+1}$,
because $E_{p_{i+1}+1}\times F_{b+1}$, the unique top dimensional
face containing
$(x_{p_{i+1}}, y_{b+1})$, appears only at $P_{p_{i+1}+1} \times Q_{b+1}$.
The next top dimensional retracted face of $R_{\ell'+1}$ is
$G_{\ell'+1}=E_{p_{i+1}+2}\times F_{b}$, but this does
not contain $(x_{p_{i+1}+1}, y_{b+1})$.  Hence this vertex remains free.
Similarly, the intermediate retractions between $R_{\ell'}$ and
$R_{\ell}$ do not intersect  $(x_{p_{i+1}+1}, y_{b+1})$.
Therefore the vertex $(x_{p_{i+1}+1}, y_{b+1})$
remains free in $R_{\ell+1}.$
Finally, the cases (4) and (5) are essentially similar to the case (3).
Furthermore, $E_c \times F_d$ is defined correspondingly.
Hence, the claim is proved.

Notice that the first condition of the definition of $\prec$ guarantees
that $\dim R_\ell \geq \dim R_{\ell+1}$.
See Figure \ref{fig_total_order_on_vertex_set}.
Hence, we are done.
\end{proof}

\begin{definition}\label{adm_seq}
Let $A(Q)$ be the set of all admissible retractions of a simple polytope $Q$. Let
$$r_j =\min_{ \{B_\ell, E_\ell, b_\ell\}_{\ell=1}^k \in A(Q)}
\big{\{} \mbox{the number of admissible free vertices in} ~ B_{\ell}\mid  \dim(B_{\ell})=j \big{\}}.$$
Then we call $Q$ an $(r_n, \ldots, r_2)$-simple polytope.
\end{definition}

If $Q$ is an $n$-dimensional simple polytope, $r_n$ is equal to the number of vertices.
Indeed, $Q$ itself is the only $n$-dimensional element in $\mathcal{L}(Q)$
containing a vertex in $Q$. Moreover, when we retract $Q$ from a vertex, the resulting
space $B_2$ has exactly $n$ free vertices, because $Q$ is simple. This implies that all of the
vertices in $Q$ are admissible free.

\begin{example}\label{ex_admissible_seq}\leavevmode
\begin{enumerate}
	\item Let $Q$ be the $n$-simplex. Then each $B_{\ell}$ is an $(n+1-\ell)$-dimensional
	simplex. Therefore it is a $(n+1, \ldots, 3)$-simple polytope.
	\item Let $Q$ be a 3-dimensional prism. All possible admissible retraction,
	up to combinatorial equivalence, of $Q$ is given in the Figure \ref{prismret}.
	One can easily see that $Q$ is a $(6, 2)$-simple polytope.
	\item Let $Q$ be a 3-cube $I^3$. An admissible retraction of $I^3$ is given
	in the Figure \ref{cuberet}. Since cube has full symmetry, it has only one
	admissible retraction up to combinatorial equivalence, we get that $I^3$ is
	a $(8, 3)$-simple polytope.
\end{enumerate}
\end{example}

\begin{figure}
        \begin{tikzpicture}[scale=0.4]
		\draw (0,0)--(3,-1)--(3,2)--(0,3)--cycle;
		\draw[dashed] (0,0)--(2,0.5)--(3,-1);
		\draw[dashed] (2,0.5)--(2,3.5);
		\draw (0,3)--(2,3.5)--(3,2);
		\node[left] at (0,3) {\scriptsize$b_1$};
		\draw[fill] (0,3) circle [radius=0.1];
		\draw[->] (4,1)--(5,1);

		\draw (6,0)--(9,-1)--(8,0.5)--cycle;
		\draw (8,0.5)--(8,3.5)--(9,2)--(9,-1)--cycle;
		\node[below] at (6,0) {\scriptsize$b_2$};
		\node[left] at (8,3.5) {\scriptsize$b_2'$};
		\draw[fill] (6,0) circle [radius=0.1];
		\draw[fill] (8,3.5) circle [radius=0.1];
		\draw[->] (10,2)--(11,2.5);
		\draw[->] (10,0)--(11,-0.5);

		\draw (12,3)--(15,2)--(14,3.5)--cycle;
		\draw (15,2)--(15,5);
		\node[above] at (12,3) {\scriptsize$b_3'$};
		\draw[fill] (12,3) circle [radius=0.1];
		\draw[->] (16,3)--(17,3);

		\draw (18,3.5)--(19,2)--(19,5);
		\node  [right] at (19,5) {\scriptsize$b_4'$};
		\draw[fill] (19,5) circle [radius=0.1];
		\draw[->] (20,3)--(21,3);
		\draw (22,3.5)--(23,2);
		\node[above] at (22,3.5) {\scriptsize$b_5'$};
		\draw[fill] (22,3.5) circle [radius=0.1];
		\draw[->] (24,3)--(25,3);
		\draw[fill] (26,2) circle [radius=0.1];
		\node[right] at (26,2) {\scriptsize$b_6'$};

		\draw (14,0.5)--(15,-1)--(15,-4)--(14,-2.5)--cycle;
		\node[right] at (15,-1) {\scriptsize$b_3$};
		\draw[fill] (15,-1) circle [radius=0.1];
		\draw[->] (16,-2)--(17,-2);
		\draw (18,0.5)--(18,-2.5)--(19,-4);
		\node[right] at (18,0.5) {\scriptsize$b_4$};
		\draw[fill] (18,0.5) circle [radius=0.1];
		\draw[->] (20,-2)--(21,-2);
		\draw (22,-2.5)--(23,-4);
		\node[above] at (22,-2.5) {\scriptsize$b_5$};
		\draw[fill] (22,-2.5) circle [radius=0.1];
		\draw[->] (24,-2)--(25,-2);
		\draw[fill] (26,-4) circle [radius=0.1];
		\node[right] at (26,-4) {\scriptsize$b_6$};
        \end{tikzpicture}
        \caption{Two admissible retractions of $3$-prism.}
        \label{prismret}
\end{figure}

\begin{figure}
        \begin{tikzpicture}[scale=0.5]
		\draw (0,0)--(2,0)--(2,2)--(0,2)--cycle;
		\draw (0,2)--(1,3)--(3,3)--(2,2);
		\draw (3,3)--(3,1)--(2,0);
		\draw[dashed] (0,0)--(1,1)--(1,3);
		\draw[dashed] (1,1)--(3,1);
		\node[right] at (3,3) {\scriptsize$b_1$};
		\draw[fill] (3,3) circle [radius=0.08];
		\node at (1.5,-1) {$B_1$};

		\draw (4,0)--(6,0)--(6,2)--(4,2)--cycle;
		\draw (4,2)--(6,2)--(6,0);
		\draw (4,2)--(5,3)--(5,2);
		\draw[dashed] (5,2)--(5,1);
		\draw[dashed] (4,0)--(5,1)--(6,1);
		\draw (6,1)--(7,1)--(6,0);
		\node[right] at (6,2) {\scriptsize$b_2$};
		\draw[fill] (6,2) circle [radius=0.08];
		\node at (5.5,-1) {$B_2$};

		\draw (8,0)--(10,0)--(11,1)--(9,1)--cycle;
		\draw (8,0)--(8,2)--(9,3)--(9,1);
		\node[right] at (9,3) {\scriptsize$b_3$};
		\draw[fill] (9,3) circle [radius=0.08];
		\node at (9.5,-1) {$B_3$};

		\draw (12,0)--(14,0)--(15,1)--(13,1)--(12,0)--(12,2);
		\node[right] at (14,0) {\scriptsize$b_4$};
		\draw[fill] (14,0) circle [radius=0.08];
		\node at (13.5,-1) {$B_4$};

		\draw (16,2)--(16,0)--(17,1)--(19,1);
		\node[below] at (19,1) {\scriptsize$b_5$};
		\draw[fill] (19,1) circle [radius=0.08];
		\node at (17.5,-1) {$B_5$};

		\draw (20,2)--(20,0)--(21,1);
		\node[right] at (21,1) {\scriptsize$b_6$};
		\draw[fill] (21,1) circle [radius=0.08];
		\node at (20.5,-1) {$B_6$};

		\draw (23,2)--(23,0);
		\node[right] at (23,0) {\scriptsize$b_7$};
		\draw[fill] (23,0) circle [radius=0.08];
		\node at (23,-1) {$B_7$};

		\draw[fill] (25,2) circle [radius=0.1];
		\node[right] at (25,2) {\scriptsize$b_8$};
		\node at (25,-1) {$B_8$};
        \end{tikzpicture}
	\caption {An admissible retraction of cube.}
        \label{cuberet}
\end{figure}

Observe that if $Q$ is a $(r_n, \ldots, r_2)$-simple polytope and
$\{B_{\ell}, E_{\ell}, b_{\ell}\}_{\ell=1}^k$ is an admissible retraction of $Q$
and $\dim B_{\ell}=j$, then there are at least $r_j$ many ways to obtain
$B_{\ell+1}$ from $B_{\ell}$. Also whatever way we choose, the number
of top dimensional faces of $B_{\ell+1}$ is one less than that of $B_{\ell}$
whenever the dimension of $B_{\ell+1}$ and $B_{\ell}$ are same,
since we are deleting one face at a time.

Let $\{B_{\ell}, E_{\ell}, b_{\ell}\}_{\ell=1}^k $ be an admissible retraction of $(r_n, \ldots, r_2)$-simple polytope $Q$. Cut off a neighborhood of each vertex $ v_p, p= 1, 2, \ldots, r_n $ of $Q \subset  {\bb{R}}^n $ by an affine hyperplane $ H_p, p= 1, 2, \ldots, r_n $ in ${\bb{R}}^n$ such that $H_p \cap H_q \cap Q$
is an empty set for $p \neq q$.
Assume $$ \Delta_{E_{s}} := E_s \cap H_{p} \quad \mbox{if} \quad b_s = v_p$$ for $ s=1, 2, \ldots k $. Then $ \Delta_{E_s}$ is a simplex of dimension $\dim(E_s) -1$.
\\

\section{Vanishing odd homology of toric  orbifolds}\label{vanqt}
In this subsection, we shall combine the ingredients which we introduced in previous
subsections to derive one nice sufficient condition for vanishing odd degree
cohomology of toric  orbifolds. The arguments are similar to those of Kawasaki
\cite{Ka}. We adhere the notations
of previous sections. Let $X$ be a toric  orbifold of dimension $2n$
and $\pi : X \to Q \subset {\bb{R}}^n$ be the orbit map.
Let $V(Q) = \{v_1, \ldots, v_k\}$ be the  vertices and
$\mathcal{F}(Q) =\{F_1, \ldots, F_m\}$ be the facets of $Q$. If $E$ is a
face of $Q$, we denote the vertex set of $E$ by $V(E)$. Let
$$\lambda : \mathcal{F}(Q) \to {\bb{Z}}^n$$ be the corresponding characteristic
function. Let $\lambda_i = \lambda(F_i)$ for $i=1, \ldots, m$.
Let $\mathcal{H}_i$ be an affine hyper plane in ${\bb{R}}^n$ such that
\begin{enumerate}
	\item $\mathcal{H}_i$ does not contain any vertex of $Q$,
	\item One open half space of $\mathcal{H}_i$ contains the vertex  $v_i$ only and
		the other open half space contains remaining vertices of $Q$.
\end{enumerate}
Since $Q$ is a simple polytope,  $\mathcal{H}_i \cap Q$ is an $(n-1)$-dimensional simplex
which we denote by $\Delta^{n-1}_i$ for $i=1, \ldots, k$. Let
$v_i=F_{i_1} \cap \cdots \cap F_{i_n}$ for a unique collection of facets
$F_{i_1}, \ldots, F_{i_n}$ of $Q$. Then,
$\mathcal{F}(\Delta_i^{n-1}):=\{\mathcal{H}_i \cap F_{i_1}, \ldots, \mathcal{H}_i \cap F_{i_n}\}$
denotes the set of facets of  $\Delta_i^{n-1}$.
We define
$$\xi^i : \mathcal{F}(\Delta_i^{n-1}) \to {\bb{Z}}^n ~\mbox{by}~ \xi^i(\mathcal{H}_i \cap F_{i_j})
= \lambda_{i_j} ~\mbox{for}~ j \in \{1, \ldots, n\}.$$
Then $\xi^i$ is a r-characteristic function of $\Delta_i^{n-1}$,
see Definition \ref{defls}. From the constructive definition of toric  orbifold
 and orbifold lens space we get the following.
\begin{lemma}\label{lem_orb_lens_sp_homeo_sphere_quotient_finitegroup}
Let $\pi \colon X \to Q$ be a projection from toric  orbifold
$X$ to its orbit space $Q$.
For each $v_i \in V(Q)$, $L(\Delta_i^{n-1}, \xi^i) = \pi^{-1}(\Delta_i^{n-1})$.
That is, $\pi^{-1}(\Delta_i^{n-1})$ is an orbifold lens space
 homeomorphic to $S^{2n-1} / G_{Q}(v_i)$.
\end{lemma}

\begin{remark}
$L(\Delta_i^{n-1}, \xi^i)$ is a ${\bb{Z}}_r$-homology sphere
for all $r$ coprime to $|G_{Q}(v_i)|$, the order of the group
$G_{Q}(v_i)$ for $i=1, \ldots, k$.
\end{remark}

Now we give two definitions which we need in our main theorem of this section.
For an element $\{B_\ell, E_\ell, b_\ell\} \in A(Q)$,
for each admissible free vertex $v$ of $B_\ell$,  define $G_{B_{\ell} }(v):= G_{E}(v)$, where
$E$ is the top dimensional face of $B_\ell$ containing $v$.
Given a collection $S$ of positive integers, we say $S$ is \emph{$k$-relatively prime}, if
${\rm gcd} \{s_1, \dots, s_k\}=1$ for which $s_i \in S$.

\begin{theorem}\label{thm_orbifold_torsion_free}
Given any toric orbifold $\pi \colon X \to Q$ over an $(r_n, \ldots, r_2)$-simple polytope $Q$, assume that
for each $(B_\ell, E_\ell, b_\ell)    \in \{B_\ell, E_\ell, b_\ell\}_{\ell=1}^k \in A(Q)$, the collection
\begin{equation}\label{eq_collection_of_local_group_indices_thm_4.3}
\big\{ |G_{B_{\ell} }(v)| ~\big|  ~v ~\text{is an admissible free vertex in}~ B_\ell ~\text{with}~\dim B_\ell =j \big\}
\end{equation}
is $r_j$-relatively prime, for $j=2, \dots, n$.
Then $H^{\ast}(X)$ is torsion free and concentrated in even degrees.
\end{theorem}
\begin{proof}
We prove the theorem by induction.
Clearly $H_{0}(X)=H_{2n}(X)={\bb{Z}}$.  Let $C_i$ be the union of all faces of $Q$
not containing the vertex $v_i$. Let
$$X_i = \pi^{-1}(C_i)=\bigcup_{v_i \notin E \in \mathcal{F}(Q)}\pi^{-1}(E),   ~\text{ for }~i=1, \ldots, r_n.$$
Recall that $\Delta_i^{n-1}$ denotes the $(n-1)$-simplex
corresponding to $v_i$.  Define a map
\begin{equation}\label{defh}
h \colon \Delta_i^{n-1} \to C_i
\end{equation}
by $h(x)=C_i \cap \{ \text{line passing through} ~v_i~ \text{and} ~x\}.$
Figure \ref{fig_description_of_h} shows the example of this map
when $Q$ is a square.  Note that the map $h: \Delta_i^{n-1} \to
C_i$ is well-defined because $Q$ is convex, as well as it is a homeomorphism.
 \begin{figure}
 	\begin{tikzpicture}[scale=0.4]
		\draw (0,0)--(8,0)--(8,8)--(0,8)--cycle;
		\draw[ultra thick] (0,8)--(0,0)--(8,0);
		\draw[ultra thick] (5,8)--(8,5);
		\draw[fill] (8,8) circle [radius=0.15];
		\draw[thick, dashed, ->] (8,8)--(0,6);
		\draw[thick, dashed, ->] (8,8)--(0,3);
		\draw[thick, dashed, ->] (8,8)--(3,0);
		\draw[fill] (80/13, 89/13) circle [radius=0.15];
		\node[below] at (80/13, 89/13) {$x$};
		\draw[fill] (0,3) circle [radius=0.15];
		\node[left] at (0,3) {$h(x)$};
		\node[right] at (8,8) {$v_i$};
		\node[right] at (11,5) {$\Delta^{n-1}_i$};
		\draw[thick, dotted, <-] (7.5,5.5) to [out=60,in=135] (11,5);
		\draw[thick, dotted, <-] (6,0) to [out=90, in=135] (11,0);
		\draw[thick, dotted, <-] (0,1.5) to [out=20, in=120] (11,0.5);
		\node[right] at (11,0) {$C_i$};
       	\end{tikzpicture}
        \caption{Description of the map $h$. }\label{fig_description_of_h}
 \end{figure}
Now, the map $h$, together with the natural projection
$\overline{\varrho}_E \colon T^n \to T^{n-k}$ induced from the map
$\varrho_E$ defined in \eqref{eq_lattice_projection}  yields a map
\begin{equation}
f_i : L(\Delta_i^{n-1}, \xi^i) \to X_{i}  ~\mbox{defined by}
~ [x, t]_{\sim_{\xi}} \mapsto [h(x), \overline{\varrho}_E(t)]_{\sim_{\lambda_E}},
\end{equation}
where $E$ is the face of $Q$ containing $h(x)$ in its interior and the equivalence
relation  $\sim_{\lambda_E}$ is correspondingly defined as \eqref{equ001}.
Let $\mathcal{H}_i^{\prime}$ be the closed half space bounded by $\mathcal{H}_i$
containing the vertex $v_i$ and $\mathcal{H}_i^{\prime \prime}$
be the other closed half space bounded by $\mathcal{H}_i$.
Let $$Q_i^{\prime}:=Q \cap \mathcal{H}_i^{\prime} \quad \mbox{and} \quad Q_i^{\prime \prime}
:=Q \cap \mathcal{H}_i^{\prime \prime}.$$
So $\Delta_i^{n-1} = Q_i^{\prime} \cap Q_i^{\prime \prime}$.
The space $\pi^{-1}(Q_i^{\prime})$ is homeomorphic to
$C(L(\Delta_i^{n-1}, \xi^i))$, cone on $L(\Delta_i^{n-1}, \xi^i)$.
The space $X_i$ is strong deformation retract of
$\pi^{-1}(Q_i^{\prime \prime})$. So $X$ is the mapping cone of the map
$f_i$ for all $i=1, \ldots, k$. Then, we have the cofibration
\begin{equation}\label{eq_cofibration}
\begin{CD}
L(\Delta_i^{n-1},\xi^i) @>f_i>> X_i @>\iota_i>> X,
\end{CD}
\end{equation}
for any vertex $v_i$. The map $\iota_i$ in \eqref{eq_cofibration} is the natural inclusion.
This cofibration induces the following homology isomorphisms,
\begin{equation}
H_{\beta}(X, X_{i}) \cong H_{\beta}(C(L(\Delta_i^{n-1}, \xi^i)), L(\Delta_i^{n-1}, \xi^i))
\cong \widetilde{H}_{\beta -1}(L(\Delta_i^{n-1}, \xi^i)).
\end{equation}
Recall that $X_i$ is the union $\bigcup_{v_1 \notin E\in\mathcal{F}(Q)}\pi^{-1}(E)$ of
characteristic subspaces. Later we will prove that for $i \in \{1, \ldots, r_n\}$, $H_{\ast}(X_i)$ is
torsion free and concentrated in even degrees, that is;
\begin{equation}
H_{\beta}(X_i) = \left\{ \begin{array}{ll} \displaystyle {\bb{Z}}^{k_{\beta}} &
		\mbox{for some integer}~ k_{\beta}~ \mbox{if} ~ \beta ~\mbox{is even}\\
		0 & \mbox{if}~ \beta ~\mbox{is odd.}
\end{array} \right.
\end{equation}
The homology exact sequence of the pair $(X, X_i)$ is:
$$\cdots \to H_{\beta +1}(X, X_i) \to H_{\beta}(X_i) \to H_{\beta}(X) \to H_{\beta}(X, X_i) \to \cdots, $$
and this gives us
$$0 \to  {\bb{Z}}^{k_{2\beta}} \to H_{2 \beta}(X) \to |G_Q(v_i)|\mbox{-torsion} \to 0$$
$$0 \to H_{2 \beta -1}(X) \to |G_Q(v_i)|\mbox{-torsion} \to 0$$
for $i=1, \ldots, k$ by Lemma \ref{lem_homology_of_orb_lens_sp}.
Now, the hypothesis
$$\text{gcd} \big\{ |G_Q(v_1)|, \ldots, |G_Q(v_k)| \big\}=1$$
implies that
torsion in $H_\ast(X)$ is zero. Finally, the universal coefficients theorem
leads us to the fact that  cohomology group is also torsion free and concentrated
in even degrees.

Now we prove that $H_{\ast}(X_i)$ is torsion free and concentrated in even degrees
by the induction on $\dim B_\ell$ and the number of top dimensional faces of
$B_\ell$, where $\{B_\ell, E_\ell, b_\ell\}_{\ell=1}^k \in A(Q)$ satisfying $b_1=v_i$.
Hence, we can see that $X_i=\pi^{-1}(B_2)$.
Note that if $\dim B_\ell \leq 1$, then $B_\ell$ is a union of edges and does not contain
any loops. Therefore $\pi^{-1}(B_\ell)$ is homotopic to a wedge of $S^2$.
So $H_{\ast}(\pi^{-1}(B_\ell))$ is torsion free and concentrated in even degree.

{\bf Induction hypothesis:} Suppose with the hypothesis of the Theorem, for any admissible sequence $\{B_{\ell}, E_{\ell}, b_{\ell}\}_{\ell =1}^k$ starting with $v_i=b_1$, the group $H_{\ast}(\pi^{-1}(B_\ell))$ is torsion free and concentrated in even degrees  if $\dim(B_{\ell}) \leq p-1 < n$ and the number of top dimensional cell of $B_{\ell}$ is $q-1$ for $\ell > 2$.

Now consider $B_{\ell - 1}$. Let $\dim(B_{\ell - 1})=j$. Then either $j=p$ or $p-1$. If $j=p$ then the number of top dimensional cell in $B_{\ell - 1}$ is one and if $j=p-1$ then the number of top dimensional cell in $B_{\ell - 1}$ is $q$. Note that there are at least $r_j$ many admissible free vertices of $B_{\ell - 1}$. Next we prove that  $H_{\ast}(\pi^{-1}(B_{\ell-1}))$ is torsion free and concentrated in even degrees  if $\dim(B_{\ell -1}) = p-1$. When $\dim B_{\ell -1}=p$, the proof is similar. Let $u_s \in V(B_{\ell - 1})$ be an admissible free vertex and $E_s$ be a unique top dimensional face of $B_{\ell - 1}$ with $u_s \in V(E_s)$ for $s \in \{1, \ldots, r_j\}$. Define $$C_s = \cup \{E \in \mathcal{L}(B_{\ell - 1}) : u_s \notin V(E)\}.$$
Then  $\dim(C_s) = p-1 < n$,  $$B_{\ell - 1} = C_s \cup E_s $$ and the number of top dimensional cell of $C_s$ is $q-1$ for $\ell > 2$. Similarly as in Equation \eqref{defh} one can define
\begin{equation}
h_s : \Delta_{E_s} \to \cup \{E \in \mathcal{L}(E_s) : u_s \notin V(E)\} \subseteq C_s.
\end{equation}
Notice that the space $\pi^{-1}(E_s)$ is a toric orbifold.
If $j=p$, then $\dim(E_s)= p$ for all $s \in \{1, \ldots, r_j\}$ and
if $j=p-1$ then $\dim(E_s)= p-1$ for all $s \in \{1, \ldots, r_j\}$.
So the space $\pi^{-1}(\Delta_{E_s})$ is a
$(2j-1)$-dimensional orbifold lens space. Then by Lemma \ref{lem_homology_of_orb_lens_sp},
 $H_{\ast}(\pi^{-1}(\Delta_{E_s}))$ is a $|G_{E_s}(u_s)|$-torsion group
 for $0 < \ast < 2j-1$, and $H_{2j-1}(\pi^{-1}(\Delta_{E_s})) \cong {\bb{Z}}$.
Consider the cofibration sequence
$$\begin{CD}
\pi^{-1}(\Delta_{E_s}) @>f_s>> \pi^{-1}(C_s) @>\iota_s>> \pi^{-1}(B_{\ell -1}),
\end{CD}
$$
which leads us the following isomorphism:
\begin{equation}\label{eq_isom_betw_pair_and_lens_sp}
	H_\alpha(\pi^{-1}(B_{\ell-1}), \pi^{-1}(C_s)) \cong \widetilde{H}_{\alpha-1} (\pi^{-1}(\Delta_{E_s})).
\end{equation}
The homology exact sequence of the pair $(\pi^{-1}(B_{\ell-1}), \pi^{-1}(C_s))$ is:
$$
\begin{tikzcd}[column sep=small]
   \cdots \rar & H_{\alpha+1}(\pi^{-1}(B_{\ell-1}))  \rar
             \ar[draw=none]{d}[name=X, anchor=center]{}
    & H_{\alpha +1}(\pi^{-1}(B_{\ell-1}), \pi^{-1}(C_s))
     \ar[rounded corners,
            to path={ -- ([xshift=2ex]\tikztostart.east)
                      |- (X.center) \tikztonodes
                      -| ([xshift=-2ex]\tikztotarget.west)
                      -- (\tikztotarget)}]{dll}[at end]{} \\
  H_{\alpha}(\pi^{-1}(C_s)) \rar &  H_{\alpha}(\pi^{-1}(B_{\ell-1})) \rar &
 H_{\alpha}(\pi^{-1}(B_{\ell-1}), \pi^{-1}(C_s))
   \rar &\cdots
\end{tikzcd}
$$
and this together with isomorphism \eqref{eq_isom_betw_pair_and_lens_sp} gives us
$$0 \to  {\bb{Z}}^{k_{j}} \to H_{2j}(\pi^{-1}(B_{\ell-1})) \to H_{2j-1}(\pi^{-1}(\Delta_{E_s})) \cong {\bb{Z}} \to 0$$
$$0 \to  {\bb{Z}}^{k_{\alpha}} \to H_{2\alpha}(\pi^{-1}(B_{\ell-1})) \to |G_{E_s}(u_s)|\mbox{-torsion} \to 0$$
$$0 \to H_{2\alpha-1}(\pi^{-1}(B_{\ell-1})) \to |G_{E_s}(u_s)|\mbox{-torsion} \to 0$$
for $s=1, \ldots, r_j$ by Lemma \ref{lem_homology_of_orb_lens_sp}, where $\alpha \neq j$. If $j=p$ then $k_j=0$, for dimensional reason.
Now the hypothesis
$$\text{gcd}  \big\{|G_{B_{\ell-1}}(u_1)|, \ldots, |G_{B_{\ell-1}}(u_{r_j})| \big\} =1$$ implies that
torsion in $H_\ast(\pi^{-1}(B_{\ell - 1}))$ is zero. Thus by induction, one can get $H_{\ast}(X_i)$ is torsion free
and concentrated in even degrees.
\end{proof}

Notice that Kawasaki in \cite{Ka} has shown
	that the cohomology ring of weighted projective space ${\mathbb{CP}}^n_{\chi}$
	with weight $\chi=(\chi_0, \dots, \chi_n)$ concentrated in even degrees and
	torsion free, if $\text{gcd}(\chi_0, \dots, \chi_n)=1$. The above Theorem
	\ref{thm_orbifold_torsion_free} generalize Kawasaki's theorem to a wider class
	of simple polytopes other than simplices. The following Example \ref{ex_orbifold_over_polygon}
	shows how we can apply this result to a polygon, and Example \ref{ex_CP^4(2,2,2,1,1)} is
	a practical computation on a higher dimensional weighed projective space.

\begin{example}\label{ex_orbifold_over_polygon}
	Consider the 4-dimensional toric orbifold
	$\pi \colon X\to Q$ corresponding to the following characteristic pair:
\begin{figure}[ht]
		\begin{tikzpicture}[scale=0.4]
			\draw[top color=blue!40!white, opacity=0.4, white] (-1,1.5)--(-1, 3)--(0,6)--(3,7)--(6,6)--(7,3)--(7,1.5)--(-1,1.5) --cycle;
			\draw (-1,1.5)--(-1, 3)--(0,6)--(3,7)--(6,6)--(7,3)--(7,1.5);
			\node at (3,3.5) {\small$Q=m\text{-gon}$};
			\node[left] at (-1, 4.5/2) {$\vdots$};
			\node[rotate=70] at (-1.3, 4.7) {\scriptsize$F_2$};
			\node[above, rotate=15] at (3/2, 13/2) {\scriptsize$F_1$};
			\node[rotate=343] at (4.8, 7.2) {\scriptsize$F_m$};
			\node[rotate=288] at (7.2, 4.5) {\scriptsize$F_{m-1}$};
			\node[right] at (7, 4.5/2) {$\vdots$};
			\node at (17,4) {$\Lambda=\begin{blockarray}{cccc}
						\lambda_1 & \lambda_2 & \cdots & \lambda_4 \\
						\begin{block}{[cccc]}
						a_1&a_2&\cdots & a_m\\ b_1& b_2&\cdots & b_m \\
						\end{block}
						\end{blockarray}$};
			\node[above] at (3,7) {\small$v$};
			\draw[fill] (3,7) circle [radius=0.15];

		\end{tikzpicture}
		\caption{A characteristic function on a polygon.}\label{fig_orbifold_over_polygon}
	\end{figure}

	Let $\mathcal{H}$ be an affine hyperplane in $\mathbb{R}^2$ such that
	one of half space contains $v$ and the other half space contains
	all of the remaining vertices in $Q$. Then $\mathcal{H}\cap Q$
	is an $1$-simplex. The induced r-characteristic function
	$$\xi \colon \{ \mathcal{H}\cap F_1, \mathcal{H}\cap F_m\} \to \mathbb{Z}^2$$
	can be described by the following $(2\times 2)$ matrix:
	\begin{equation*}\label{eq_example_of_r-char_fun}
		\begin{blockarray}{cc}
		\xi(\mathcal{H} \cap F_1) & \xi(\mathcal{H} \cap F_m) \\
		\begin{block}{[cc]}
		 a_1& a_m \\ b_1& b_m  \\
		\end{block}
		\end{blockarray}.
	\end{equation*}
	Hence, the orbifold lens space $L(\mathcal{H}\cap Q, \xi)$ is homomorphic to
	$S^3 \big/ G_Q(v)$, where $G_Q(v)$ is a finite abelian group of order $|a_1b_m-b_1a_m|$,
	see Lemma \ref{lem_orb_lens_sp_homeo_sphere_quotient_finitegroup}.
	Moreover, the homology group of  $L(\mathcal{H}\cap Q, \xi)$ has torsion elements
	with order at most $|a_1b_m-b_1a_m|$ by Lemma \ref{lem_homology_of_orb_lens_sp}.

	Now, we consider an admissible retraction $\{B_\ell, E_\ell, b_\ell\}_{\ell=1}^m$ starting at $v$.
	The second space $B_2$ is the union $F_2 \cup \dots \cup F_{m-1}$ of edges whose preimage
	$\pi^{-1}(B_2)$ is homeomorphic to the wedge of spheres. Hence,
	$H_\ast(\pi^{-1}(B_2))$ is torsion free and $H_{odd}(\pi^{-1}(B_2))$ vanishes.
	A cofibration
	$$\xymatrix{ L(\mathcal{H}\cap Q, \xi) \ar[r] & \pi^{-1}(B_2) \ar[r]& X}$$
	gives an isomorphism $H_j(X, \pi^{-1}(B_2)) \cong \widetilde{H}_{j-1}(L(\mathcal{H}\cap Q, \xi) ).$
	Hence, the long exact sequence of pair $(X, \pi^{-1}(B_2))$ yields
	$$\cdots \to
			\widetilde{H}_j(L(\mathcal{H}\cap Q, \xi)) \to
			H_j(\pi^{-1}(B_2))\to
			H_j(X) \to
			\widetilde{H}_{j-1}(L(\mathcal{H}\cap Q, \xi)) \to \cdots,$$
	and this shows that, if $H_j$ has a torsion part, then its order must be a divisor of $|a_1b_m-b_1a_m|$.
	But, the same argument can be applied to other vertices in $Q$. Finally,
	we may conclude that $H_\ast(X)$ is torsion free and concentrated in even degrees, if the greatest
	common divisor of the collection
	\begin{equation}\label{eq_collection_of_loc_gp_ind_in_polygon}
		\{ |a_1b_2-b_1a_2|, \dots,  |a_{m-1}b_m-b_{m-1}a_m|, |a_1b_m-b_1a_m|\}
	\end{equation}
	is equal to 1. In other words, the collection \eqref{eq_collection_of_loc_gp_ind_in_polygon}
	is $m$-relatively prime.

\end{example}

\begin{example}\label{ex_CP^4(2,2,2,1,1)}
	We consider a weighted projective space ${\mathbb{CP}}^4_{(1,1,2,2,2)}$.
	The underlying polytope is $\Delta^4$ which is a $(5,4,3,2)$-simple polytope,
	and we choose $\lambda$ to be
	$$ \begin{blockarray}{ccccc}	\lambda_1 & \lambda_2 & \lambda_3 & \lambda_4  & \lambda_5\\
									\begin{block}{[ccccc]}
										-1 &1 &0& 0& 0  \\
										-2& 0& 1& 0& 0  \\
										-2& 0& 0& 1& 0 \\
										-2& 0& 0& 0& 1 \\
									\end{block}
									\end{blockarray}.$$
	It is easy to see that
	$$\big\{ |G_{\Delta^4}(v)| ~\big|~ v \in V(\Delta^4)\big\}= \{ 2,2,2,1,1\}, $$
	which is $5$-relative prime.
	To check the hypothesis in Theorem \ref{thm_orbifold_torsion_free}, we have to
	consider all faces of $\Delta^4$, dimension greater than $2$, because each face
	can appear in an admissible sequence of $\Delta^4$.
	Since the process is almost same, we choose $E=F_1\cap F_2=\Delta^2$ as a sample.
	\begin{align*}
		M^\ast(E)&=(\langle -e_1-2e_2-2e_3-2e_4, e_1 \rangle \otimes_\mathbb{Z} \mathbb{R}) \cap \mathbb{Z}^4\\
				&=\langle e_2+e_3+e_4, e_1 \rangle.
	\end{align*}
	Hence, we may decompose $\mathbb{Z}^4\cong
	  \langle e_2+e_3+e_4 \rangle \oplus \langle e_1 \rangle \oplus \langle e_3 \rangle\oplus \langle e_4\rangle.$
	This derives a characteristic function
	$$\lambda_E \colon \{ E\cap F_3 , E\cap F_4, E\cap F_5\} \to \mathbb{Z}^2 \cong \langle e_3 \rangle\oplus \langle e_4\rangle, $$
	defined by  $\lambda_E(E\cap F_3)=(-1,-1), ~\lambda_E(E\cap F_4)=(1,0)$ and $\lambda_E(E\cap F_5)=(0,1)$.
	Hence, $\pi^{-1}(E)=X(\Delta^2, \lambda_E)\cong {\mathbb{CP}}^2_{(1,1,1)}$.
	Obviously, the following collection
	$$\big\{   |G_E(v)|  ~\big|~  v\in V(E) \big\} =\{ 1,1,1\}$$
	is $3$-relatively prime.
\end{example}

\section{Cohomology ring of toric orbifolds}\label{sec_cohom_ring_and_ppoly}

	The integral equivariant cohomology ring of certain projective toric varieties is given by
	a ring determined by the fan data. This ring is called the ring of
	\emph{piecewise polynomials}. For a smooth fan, it uses the fan's combinatorial
	data only and coincides with the Stanley-Reisner ring. In general however, the ring
	of piecewise polynomials uses all the geometric data in a fan.

	In order to make the singular theory better resemble the smooth case, we introduce
	an intermediate ring, which models the Stanley-Reisner ring but is based on
	a fan $\widehat{\Sigma}$ in $\mathbb{R}^m$ defined from the combinatorial
	data of $\Sigma$, which has $m$ one-dimensional rays.
	 The ring of piecewise polynomials on the original fan $\Sigma$ is
	recovered by imposing an ``integrality condition''.

	The section continues with an efficient characterization of the integrality condition
	and ends with some examples.

\subsection{Piecewise algebra and cohomology ring}\label{subsec_p.algebra}
	We introduce now the ring of piecewise polynomials which is determined by a fan
	and which describes the equivariant cohomology of a large class of toric orbifolds.
	A quotient by a linear ideal yields the integral cohomology of the variety itself.
	As mentioned above, unlike the Stanley-Reisner ring, on which encodes combinatorial data only, the
	ring of piecewise polynomials depends the full geometric information specifying fan.

	We begin by
	introducing piecewise polynomials and then describe a ring based on a fan $\widehat{\Sigma}$
	obtained from the combinatorial data of $\Sigma$. This is an intermediate object between Stanley-
	Reisner ring and the piecewise polynomial ring of $\Sigma$. The latter is recovered
	by imposing an ``integrality condition''.

	Let $\Sigma$ be a fan in  $\mathbb{R}^n$.  A function $f \colon \mathbb{Z}^n \to \mathbb{Z}$  is called a \emph{piecewise polynomial}
	on $\Sigma$  if for each cone
	$\sigma\in \Sigma$ the restriction $f|_\sigma$ is a polynomial function on $\sigma$.
	Such function can be interpreted as a collection
	$\{f_\sigma\}_{\sigma\in \Sigma^{(n)}}$ such that
\begin{equation}\label{eq_property_of_p_poly}
	f_\sigma |_{_{\sigma\cap \sigma'}} = f_{\sigma'} |_{_{\sigma\cap \sigma'}}.
\end{equation}
	In other words, it is enough to consider the polynomials on each top dimensional cone.
	The polynomials on lower dimensional cones are correspondingly determined by
	\eqref{eq_property_of_p_poly}.

	The set $PP[\Sigma;\mathbb{Z}]$, simply $PP[\Sigma]$, of piecewise polynomial functions
	with integer coefficients on $\Sigma$ has a ring structure
	under the pointwise addition and multiplication.
	Moreover, the natural inclusion of global polynomials
	$\mathbb{Z}[u_1, \dots, u_n]$ into $PP[\Sigma]$
	induces a $\mathbb{Z}[u_1, \dots, u_n]$-algebra structure on $PP[\Sigma]$.

	Furthermore, by considering $\mathbb{Q}^n$ instead of $\mathbb{Z}^n$, we can define
	piecewise polynomial functions with rational coefficients
	$f \colon \mathbb{Q}^n \to \mathbb{Q}$, and we denote
	the ring of piecewise polynomial functions with rational coefficients
	by $PP[\Sigma;\mathbb{Q}]$.

	In this section, we focus on the polytopal fan, which is the normal fan of a
	simple polytope. It is well known that a toric variety $X_\Sigma$ is projective
	if and only if the associated fan $\Sigma$ is polytopal. We refer to \cite{Dan} and \cite{Ew}.
	In this case, the equivariant cohomology ring with rational coefficients
	of $X_\Sigma$  is isomorphic to $PP[\Sigma;\mathbb{Q}]$. See \cite{CLS}.
	Here, we introduce an interesting result by Bahri, Franz and Ray,
	which generalizes this classical fact.
\begin{proposition} \label{prop.H_T=PP_by_BRF} \cite[Proposition 2.2]{BFR}
        Let $\Sigma$ be a polytopal fan in $\mathbb{Z}^n$, $X_\Sigma$  the associated compact
        projective toric variety with $H^{odd}(X_\Sigma)=0$ and $T$ the
        $n$-dimensional torus acting on $X_\Sigma$.  Then, $H^\ast_T(X_\Sigma)$
        is isomorphic to $PP[\Sigma]$ as an $H^\ast(BT)$-algebra.
\end{proposition}

	Here, we note that $H^\ast(BT)$-algebra structure on $PP[\Sigma]$ is obtained by
	identifying $H^\ast(BT)$ with the global polynomials $\mathbb{Z}[u_1, \dots, u_n]$, where
	$u_i$ is the first Chern class of the canonical line bundle given by $i$-th projection
	$T\to S^1$.

	For the case of smooth toric variety, it is well known that its equivariant
	cohomology ring $H^\ast_T(X_\Sigma;\mathbf{k})$ is isomorphic to the
	Stanley-Reisner ring of $\Sigma$, which we denote by
	$\mathbf{k}[\Sigma]$, where $\mathbf{k}$
	is a coefficient ring, here especially, $\mathbb{Z}$ or $\mathbb{Q}$.
	On the other hand, for the case of singular  toric variety, only the
	 equivariant cohomology ring with rational coefficients is known to be
	 identified with Stanley-Reisner ring $\mathbb{Q}[\Sigma]$.  Hence, it is reasonable
	 to ask whether the equivariant cohomology ring of singular toric variety
	 with integer coefficients is isomorphic to Stanley-Reisner ring or not.

	 Let $\Sigma^{(1)}=\{ \mu_1, \dots, \mu_m\} $ be the set of $1$-dimensional
	 rays in $\Sigma$ and $\lambda_i$ the primitive vector of $\mu_i$. We define
	 a linear map  $\Lambda \colon  \mathbb{Z}^m \to \mathbb{Z}^n$ by
	 $\Lambda(\mathbf{e_i})=\lambda_i$, where $\mathbf{e_1}, \dots, \mathbf{e_m}$
	 denotes the standard unit vectors in $\mathbb{Z}^m$.
	 By pull-back of $\Sigma$ through $\Lambda$, we can define a fan
	 $\widehat{\Sigma} =\{ \Lambda^{-1}(\sigma) \mid \sigma \in \Sigma\}$ in
	 $\mathbb{Z}^m$, and $\Lambda$ induces a ring homomorphism
	 \begin{equation}\label{eq_pullback_of_Lambda}
    		\Lambda^\ast : PP[\Sigma; \mathbf{k}] \to PP[\widehat{\Sigma};\mathbf{k}]
	\end{equation}
	of piecewise polynomial rings.

\begin{remark}
	\begin{enumerate}
		\item If $\Sigma$ is polytopal fan and $Q_\Sigma$ is the corresponding
		lattice polytope, then the primitive normal vectors of each facet are
		$\lambda_i$. By assigning each facet its normal vector,
		we have a characteristic function for $Q_\Sigma$ in the sense of
		Definition \ref{def_characteristic_function}.
		\item The Stanley-Reisner ring $\mathbf{k}[\Sigma]$ has combinatorial data only,
		while $PP[\Sigma;\mathbf{k}]$ contains both combinatorial and geometric data.
		However, the ring $PP[\widehat{\Sigma};\mathbf{k}]$ has only combinatorics, but looks
		like $PP[\Sigma;\mathbf{k}]$. In this point of view, $PP[\widehat{\Sigma};\mathbf{k}]$ is an intermediate
		object between $\mathbf{k}[\Sigma]$ and $PP[\Sigma;\mathbf{k}]$.  Indeed, we will see
		the explicit relation among those three objects in the following
		Lemma \ref{lem_relation_PPhat_PP_SR}
	\end{enumerate}
\end{remark}

\begin{lemma}\label{lem_relation_PPhat_PP_SR}
	Given a polytopal fan  $\Sigma$, as $H^\ast(BT;\mathbf{k})$-algebras,
	\begin{enumerate}
		\item $PP[\widehat{\Sigma};\mathbf{k}]$ is isomorphic to $\mathbf{k}[\Sigma]$
		for any coefficient $\mathbf{k}$.
		\item When $\mathbf{k}=\mathbb{Q}$,  $PP[\Sigma;\mathbb{Q}]$ is isomorphic to
		 $PP[\widehat{\Sigma};\mathbb{Q}]$.
		\item When $\mathbf{k}=\mathbb{Z}$, there is a monomorphism from $PP[\Sigma]$
		to $PP[\widehat{\Sigma}]$.
	\end{enumerate}
\end{lemma}
\begin{proof}
For each $k$-dimensional cone
$\sigma=cone\{\lambda_{i_1}, \ldots, \lambda_{i_k}\} \in \Sigma$,
$k=1, \dots, n$, we set the following notations:
\begin{itemize}
	\item $\hat{\sigma}=\Lambda^{-1}(\sigma)=
		{\rm cone}\{e_{i_1}, \ldots, e_{i_k}\}\in \widehat{\Sigma},$
     	\item $f_\sigma(u_1, \dots, u_n)$, $g_{\hat{\sigma}}(x_{i_1}, \dots, x_{i_k})$
		: polynomial functions defined on $\sigma\in \Sigma$ and
		$\hat{\sigma}\in \widehat{\Sigma}$, respectively.
	\item $\{f_\sigma\} :=\{f_\sigma(u_1, \dots, u_n) \mid \sigma \in \Sigma^{(n)}\} \in PP[\Sigma]$
	\item $\{g_{\hat{\sigma}}\} :=
		\{g_{\hat{\sigma}}(x_{i_1}, \dots, x_{i_n}) \mid \hat{\sigma} \in \widehat{\Sigma}^{(n)}\} \in PP[\widehat{\Sigma}]$.
     	\item $\Lambda_\sigma:=\left[\lambda_{i_1} \mid \cdots \mid \lambda_{i_k} \right]$ :
            	$n \times k$ matrix with column vectors $\lambda_{i_1},\ldots,\lambda_{i_k}$.
\end{itemize}

First, we construct an isomorphism between $PP[\widehat{\Sigma};\mathbf{k}]$ and $\mathbf{k}[\Sigma]$,
where $\mathbf{k}=\mathbb{Z} \text{ or } \mathbb{Q}$.  Assume that $|\Sigma^{(1)}|=m$.
Define a map
\begin{equation}\label{eq_alpha}
    	\alpha \colon \mathbf{k}[x_1,  \ldots , x_{m}] \to PP[\widehat{\Sigma};\mathbf{k}]
\end{equation}
    by restriction to each cone of $\widehat{\Sigma}$.
    Then, this map $\alpha$ is an epimorphism.
    Indeed, given $\{g_{\hat{\sigma}} \} \in PP[\widehat{\Sigma};\mathbf{k}]$,
    we can  apply the \emph{inclusion-exclusion principle} to obtain
    $$f(x_1, \ldots , x_{m})=
    \sum_{j=0}^{n-1}\left((-1)^{j} \sum_{\dim \hat{ \sigma}=n-j}g_{\hat{\sigma}}(x_{i_1}, \dots, x_{i_{n-j}}) \right)$$
    that is the desired global function $f$ satisfying
    $\alpha(f)=\{g_{\hat{\sigma}}\}$.

Moreover, since the zero element in $PP[\widehat{\Sigma};\mathbf{k}]$ is
	$\{  g_{\hat{\sigma}} =0 \mid \hat\sigma\in \widehat\Sigma \}$,
	$${\rm Ker}\hspace{1pt} \alpha = {\rm span} \left\{\prod_{j=1}^{k}x_{i_j}  \mid
	{\rm cone}\{e_{i_1}, \dots, e_{i_k} \}   \notin \widehat{\Sigma} \right\}, $$
	which is exactly the Stanley-Reisner ideal $\mathcal{I}_\Sigma$ of $\Sigma$.
	Hence, we proved the (1).

	To prove (2) and (3), we use the ring homomorphism $\Lambda^\ast$ introduced  in
	\eqref{eq_pullback_of_Lambda}.
	Precisely, the map  $\Lambda^\ast \colon PP[\Sigma;\mathbf{k}] \to PP[\widehat{\Sigma};\mathbf{k}]$
	is defined by
	\begin{equation}\label{eq_Lambda*}
            \Lambda^\ast(\{f_\sigma\})=\{g_{\hat{\sigma}} (x_{i_1}, \dots, x_{i_n}) :=
            	f_\sigma(\Lambda_\sigma (x_{i_1}, \dots, x_{i_n}) )
		\mid \hat{\sigma} \in \widehat{\Sigma}^{(n)} \},
        \end{equation}
        where we regard $\Lambda_\sigma$ as a linear endomorphism of $\mathbb{Z}^n$.

	If we restrict $\mathbf{k}$ to $\mathbb{Q}$, $\Lambda^\ast$ has the natural inverse, say
	 $\beta \colon PP[\widehat{\Sigma};\mathbf{k}] \to  PP[\Sigma;\mathbf{k}]$. Precisely,
	 \begin{equation}\label{eq_beta}
            \beta(\{g_{\hat{\sigma}}\})=\{f_\sigma(u_1, \dots, u_n) :=
             g_{\hat{\sigma}} (\Lambda_\sigma^{-1} ( (u_1, \ldots, u_n))
             \mid \sigma \in \Sigma^{(n)}\},
        \end{equation}
        where $\Lambda_\sigma^{-1}$ is regarded as a linear automorphism of $\mathbb{Q}^n$.  Indeed,
         \begin{align*}
            (\beta\circ \Lambda^\ast)(\{f_\sigma\})&=
            \{ f_\sigma (\Lambda_\sigma (  \Lambda_\sigma^{-1} (u_1,\ldots,u_n)))
             \mid \sigma \in \Sigma^{(n)} \}\\
             &=\{f_\sigma(u_1,\ldots, u_n) \mid \sigma \in \Sigma^{(n)}\}=\{f_\sigma\}.
        \end{align*}
	In particular, $\Lambda^\ast$ is a monomorphism in $\mathbb{Z}$-coefficients.

	Finally, the $H^\ast(BT;\mathbf{k})$-algebra structure on $PP[\widehat{\Sigma} ;\mathbf{k}]$
	is naturally inherited from that of $PP[\Sigma;\mathbf{k}]$
	via the maps $\Lambda^\ast$, and $H^\ast(BT)$-algebra structure on $\mathbf{k}[\Sigma]$
	follows correspondingly via the isomorphism.
	\end{proof}

	Therefore, the ring $PP[\Sigma]$ is isomorphic to its image in $PP[\widehat{\Sigma}]$
	via the map $\Lambda^\ast$.
	This argument leads us to the following notion of \emph{integrality condition}.

    \begin{definition}\label{def_int_cond_(1)}
        We say a piecewise polynomial
        $\{g_{\hat{\sigma}}\} \in PP[\widehat{\Sigma}]$ (resp.  $[h]\in \mathbb{Z}[\Sigma]$) satisfies
         ``integrality condition associated to $\Sigma$'',
        if its image by $\beta$ (resp. $\beta\circ \overline\alpha$) has integer coefficients,
        where $\overline\alpha \colon \mathbb{Z}[\Sigma] \to PP[\widehat{\Sigma}]$ is the isomorphism induced by $\alpha$ defined
        in \eqref{eq_alpha}, and $\beta$ is defined in \eqref{eq_beta}.
    \end{definition}

    With this definition, it is natural that the image of
    $\Lambda^\ast \colon PP[\Sigma] \to PP[\widehat{\Sigma}]$ and
    $\overline\alpha^{-1}\circ\Lambda^\ast \colon PP[\Sigma] \to \mathbb{Z}[\Sigma]$
    is the collection of elements in $PP[\widehat{\Sigma}]$ and $\mathbb{Z}[\Sigma]$, respectively,
    which satisfy the integrality condition associated to $\Sigma$.
    Here, for simplicity, we denote
\begin{align*}
	PP[\Sigma]_\mathbb{Z}&={\rm Im}\hspace{1pt}(\Lambda^\ast \colon PP[\Sigma] \to PP[\widehat{\Sigma}]),\\
	\mathbb{Z}[\Sigma]_\mathbb{Z} &={\rm Im}\hspace{1pt}(\overline\alpha^{-1}\circ\Lambda^\ast \colon PP[\Sigma] \to \mathbb{Z}[\Sigma]).
\end{align*}

 	\begin{theorem}\label{thm_main_thm_cohomology_ring}
	Let $\Sigma$ be a polytopal fan in $\mathbb{R}^n$ with
	$\Sigma^{(1)}=\{\lambda_1, \dots, \lambda_m\}$, and $X_\Sigma$ be the associated compact
        projective toric variety with $H^{odd}(X_\Sigma;\mathbb{Z})=0$, then $H^\ast(X_\Sigma ;\mathbb{Z})$
        is isomorphic to $\mathbb{Z}[\Sigma]_\mathbb{Z} / \mathcal{J}_\Sigma$, where  $\mathcal{J}_\Sigma$ is
        the ideal generated by the linear relations
        \begin{equation}\label{eq_linear_relations}
         \sum_{i=1}^m \langle \lambda_i, e_j\rangle  x_i, \quad  j=1, \dots, n.
        \end{equation}
	\end{theorem}

	\begin{proof}
	Since $H^\ast(X_\Sigma;\mathbb{Z})$ concentrated in even degrees,
	the Serre spectral sequence for the fibration
	$$\xymatrix{X_\Sigma \ar[r] & ET\times_T X_\Sigma \ar[r]^-{\pi} & BT}$$
	degenerates at $E_2$ level.
	By the result from Franz and Puppe (\cite{FrPu}, Theorem 1.1),
	we get the following isomorphisms of $H^\ast(BT)$-algebras,
        \begin{align*}
         H^\ast(X_\Sigma) &\cong H^\ast_T(X_\Sigma)\otimes_{H^\ast(BT)}\mathbb{Z} \\
         &\cong H^\ast_T(X_\Sigma) / {{\rm Im}\hspace{1pt} }(\pi^\ast \colon H^\ast(BT) \to H^\ast_T(X_\Sigma)).
        \end{align*}
        By Proposition \ref{prop.H_T=PP_by_BRF} and Lemma
        \ref{lem_relation_PPhat_PP_SR}, $H^\ast_T(X_\Sigma) \cong \mathbb{Z}[\Sigma]_\mathbb{Z}$,
        and the image of $H^\ast(BT)$ in $\mathbb{Z}[\Sigma]_\mathbb{Z}$ is exactly the ideal
        $\mathcal{J}_\Sigma$.
	\end{proof}

	On the other hand, given an $n$-dimensional polytopal fan $\Sigma$,
	we can associate a simple polytope $Q$, where the primitive vectors of
	$1$-dimensional cones in $\Sigma$ are the normal vectors on facets.
	To be more precise, $Q$ is the dual of the underlying simplicial complex of $\Sigma$.
	Hence, a $k$-dimensional cone in $\Sigma$ corresponds to
	a codimension $k$ face in the polytope $Q$.
	In particular, the top dimensional cones and $1$-dimensional cones in  $\Sigma$
	correspond to vertices and facets in $Q$, respectively.
	Also, we have a function
	$$\lambda \colon \mathcal{F}(Q)=\{F_1, \dots, F_m\} \to \mathbb{Z}^n,$$
	where $\lambda(F_i)$ is the primitive vector of the $1$-dimensional cone in $\Sigma$
	corresponding to $F_i$.
	Hence, we get a characteristic pair $(Q, \lambda)$ from $\Sigma$.
	Here, we adhere the notations in previous sections.

	\begin{corollary}\label{cor_cohom_of_toric_orb_with_gcd_cond.}
	Let $\Sigma$ be an $n$-dimensional polytopal fan and $(Q, \lambda)$ the associated
	characteristic pair.
	If each collection defined in \eqref{eq_collection_of_local_group_indices_thm_4.3} is
	$r_j$-relatively prime, for $j=2, \dots, n$,
	then the cohomology ring of toric variety $X_\Sigma$
	corresponding to $\Sigma$ is
	$$H^\ast(X_\Sigma;\mathbb{Z}) \cong \mathbb{Z}[\Sigma]_\mathbb{Z}/\mathcal{J}_\Sigma,$$
	where $\mathcal{J}_\Sigma$ is the ideal generated by linear relations
	defined in \eqref{eq_linear_relations}.
	\end{corollary}

	\begin{remark}
		If $\dim \sigma=n-1$, the corresponding orbit closure is
		homeomorphic to ${\mathbb{CP}}^1$. Hence, to determine
		the existence of torsion, it is enough to consider the cones in $\Sigma$ with
		dimension less than $n-1$.
	\end{remark}

\subsection{Integrality condition and computations}
	The purpose of this subsection is to formalize the integrality condition in such a way that
	it can be analyzed easily. We do this by associating to a given fan $\Sigma$ a certain
	matrix $\mathcal{G}_\Sigma$. Examples are included at the end of the subsection.

	We begin by assigning a vector
	$g^\sigma:=(g^{\sigma}_1, \dots, g^\sigma_m)\in \mathbb{N}^m$
	on each top dimensional cone  $\sigma \in \Sigma^{(n)}$
	in the following way:

	When $\sigma=cone\{\lambda_{i_1}, \dots,\lambda_{i_n}\}$,
\begin{enumerate}
	\item $g^\sigma_j=0$ if and only if $j\notin \{i_1, \dots, i_n\}$.
	\item $g^\sigma_{i_k}:=$  \rm{lcm} of denominators in $k$-th row of
		$\Lambda_\sigma^{-1}$.
\end{enumerate}

Note that the essence of an integrality condition is to choose elements
in $\mathbb{Z}[\Sigma]$ which become integral elements via the composition
$\beta \circ \overline\alpha$ defined in Definition \ref{def_int_cond_(1)}.
 But the map $\beta$ uses $\Lambda_\sigma^{-1}$
for each top dimensional cone $\sigma \in \Sigma$.
To be more precise, recall that for each
$\sigma=cone\{\lambda_{i_1}, \dots,\lambda_{i_n}\}\in \Sigma$ and
for $[h(x_1, \dots, x_m)] \in \mathbb{Z}[\Sigma]$,
\begin{align*}
\overline{\alpha}([h(x_1, \dots, x_m)] ) &=    h(x_1, \dots, x_m)\big{|}_{ \{x_s=0 \mid s\notin \{i_1, \dots, i_n\} \}}  =: g_{\hat{\sigma}}(x_{i_1}, \dots, x_{i_n})\\
\beta([h(x_1, \dots, x_m)])&=g_{\hat{\sigma}} (\Lambda_\sigma^{-1} (u_1, \ldots, u_n)).
\end{align*}
Hence, each monomial $[g^\sigma_{i_1} x_{i_1}], \dots, [g^\sigma_{i_n}x_{i_n}] \in \mathbb{Z}[\Sigma]$
maps to a monomial with integer coefficients
in $PP[\Sigma]$ via $\beta \circ \overline\alpha$.

Now, by collecting the all data about denominators of entries in $\Lambda_\sigma$
for each top dimensional cone, we have the following definition.

\begin{definition}\label{def_integrality_matrix}
        Given a polytopal fan $\Sigma$, let $\ell := |\Sigma^{(n)}|$, the number of maximal cones,
        and $m:= |\Sigma^{(1)}|$, the number of $1$-dimensional cones.
        We call an $(\ell \times m)$-matrix $\mathcal{G}_\Sigma$
        whose rows are $g^\sigma$
        the integrality matrix associated to $\Sigma$.
\end{definition}

\begin{remark}\hfill
	\begin{enumerate}
		\item If $\dim_\mathbb{C} X_\Sigma =2$,
		$g^\sigma_{i_k}=\det \Lambda_\sigma$, for all $k=1,2$,
		because we assumed that all column vectors are primitive.
		However, in general, $g^\sigma_{i_k}$ is different from the determinant of
		$\Lambda_\sigma$ when $\dim_\mathbb{C} X_\Sigma \geq 3$.
		See the next Example
		\ref{eg_integrality_matirx_different_from_determinant}.
	 	\item Given a polytopal fan $\Sigma$,  $\mathcal{G}_\Sigma$
		is uniquely defined up to  the order of rows.
		\item If $\sigma$ is a smooth cone, then the only nonzero entry in the
		corresponding row vector $g^\sigma$ is 1,
		because $\det \Lambda_\sigma=\pm1$
		for each top dimensional cones $\sigma \in \Sigma^{(n)}$.
	\end{enumerate}
\end{remark}

\begin{example}\label{ex_cohom_computation_for_CP^2(2,3,5)}
        Let $\Sigma$ be a fan generated by
        $$\lambda_1=(1,0), ~\lambda_2=(1,5), ~\lambda_3=(-1,-3) \in N=\mathbb{Z}^2$$
        with 2-dimensional cones $\sigma_{12}, \sigma_{13}, \sigma_{23}$,
        where $\sigma_{ij}$ is the cone generated by $\{\lambda_i,\lambda_j\}$.
        Since $\{\lambda_1, \lambda_2, \lambda_3\}$ generates the lattice $\mathbb{Z}^2$
        and satisfies $2\lambda_1 +3\lambda_2+5\lambda_5=(0,0)$,
        the toric variety $X_\Sigma$ is isomorphic to ${\mathbb{CP}}^2_{(2,3,5)}$,
        see the Figure \ref{Fig_Fan_of_CP_(235)}.

       Here, we apply Theorem \ref{thm_main_thm_cohomology_ring} to get a
       multiplicative structure on $H^\ast({\mathbb{CP}}^2_{(2,3,5)})$. 	The associated
       matrix $\Lambda$ is
        $$\Lambda=\begin{bmatrix} 1&1&-1\\0&5&-3 \end{bmatrix}.$$
       The submatrices corresponding to 2-dimensional cones and their inverses are
       $$\left. \begin{array}{lll}
        \Lambda_{23}=\begin{bmatrix} 1&-1\\5&-3 \end{bmatrix}, &
           \Lambda_{13}=\begin{bmatrix} 1&-1\\0&-3 \end{bmatrix},&
           \Lambda_{12}=\begin{bmatrix} 1&1\\0&5 \end{bmatrix},\\
           && \\
           \Lambda_{23}^{-1}=\begin{bmatrix} -\frac{3}{2}&\frac{1}{2}\\
           					-\frac{5}{2}&\frac{1}{2} \end{bmatrix},&
           \Lambda_{13}^{-1}=\begin{bmatrix} 1&-\frac{1}{3}\\0&-\frac{1}{3} \end{bmatrix},&
           \Lambda_{12}^{-1}=\begin{bmatrix} 1&-\frac{1}{5}\\0&\frac{1}{5} \end{bmatrix}.
       \end{array}\right. $$
    Using this computation, we can assign vectors on each top dimensional cones as
     in Figure \ref{Fig_Fan_of_CP_(235)}. This gives us the integrality matrix
      $$ \mathcal{G}_\Sigma=\begin{blockarray}{ccc}
									x_1 & x_2 & x_3 \\
									\begin{block}{[ccc]}
										 0&2&2\\3&0&3\\5&5&0    \\
									\end{block}
									\end{blockarray}, $$
	where the indices above each column indicates the corresponding monomials in $\mathbb{Z}[\Sigma]$.

    On the other hand,
 \begin{align}\label{eq_SR_for_CP_235_with_int_cond}
 	\nonumber \mathbb{Z}[\Sigma]_\mathbb{Z} &= {\rm Im}\hspace{1pt} (\overline\alpha^{-1}\circ \Lambda^\ast \colon
			PP[\Sigma] \to \mathbb{Z}[\Sigma] ) \\
						 &=\left\{ [h]\in \mathbb{Z}[\Sigma] \middle| \left.
	 \begin{array}{l} h\left(0,-\frac{3}{2}u_1+\frac{1}{2}u_2, -\frac{5}{2} u_1+
	 			\frac{1}{2}u_2\right) \in \mathbb{Z}[u_1,u_2]\\
	 			h\left(u_1-\frac{1}{3}u_2,0,-\frac{1}{3}u_2\right) \in \mathbb{Z}[u_1,u_2] \\
				h\left(u_1-\frac{1}{5}u_2, \frac{1}{5}u_2, 0\right)\in \mathbb{Z}[u_1,u_2]
	\end{array}\right. \right\}.
 \end{align}

Comparing $\mathcal{G}_\Sigma$ and ring presentation
\eqref{eq_SR_for_CP_235_with_int_cond},
we can see that $\mathcal{G}_\Sigma$ has all the information of
divisibility of coefficients in $\mathbb{Z}[\Sigma]_\mathbb{Z}$.
Now, we go on the computation using $\mathcal{G}_\Sigma$,
here we assume that column vectors are indexed by
$\{x_1,x_2,x_3\}$.
\begin{itemize}
	\item The degree 2 monomials in $\mathbb{Z}[\Sigma]=\mathbb{Z}[x_1,x_2,x_3]/(x_1x_2x_3)$
satisfying the integrality condition are
$15x_1$, $10x_2$ and  $6x_3$, which are all eventually equal,
because $\mathcal{J}_\Sigma$ is generated by $x_1+x_2-x_3, 5x_2-3x_3$.
Hence, we denote this generator by $w_1:=15x_1(=10x_2=6x_3)$.
Notice that $15x_1$ is not divisible by $15$ in $\mathbb{Z}[\Sigma]_\mathbb{Z}$, and same for
$10x_2$ and $6x_3$.
	\item  The degree 4 monomials satisfying integrality condition are
$225x_1^2$, $100x_2^2$, $36x_3^2$, $25x_1x_2$, $9x_1x_3$ and $4x_2x_3.$
By ideal $\mathcal{J}$, first three monomials are generated by the last three
monomials. For example,
$$225x_1^2=15x_1\cdot 10x_2=6\cdot 25x_1x_2.$$
Moreover, we have the following relations;
\begin{align*}
       	25x_1x_2 &=15x_1x_3=10x_2x_3,\\
	15x_1x_2 &=9x_1x_3 = 6x_2x_3,\\
	10x_1x_2 &=6x_1x_3 =4x_2x_3.
\end{align*}
Hence, we may choose the degree 4 generator
$w_2:=5x_1x_2=3x_1x_3=2x_2x_3(=9x_1x_3-4x_2x_3)$.
Then, we have the relation $w_1^2=30w_2$.
\end{itemize}
Finally, by Theorem \ref{thm_main_thm_cohomology_ring}, we have
$$H^\ast({\mathbb{CP}}^2_{(2,3,5)};\mathbb{Z}) \cong \mathbb{Z}[\Sigma]_\mathbb{Z}/(\mathcal{J}_\Sigma)
_\mathbb{Z} \cong \mathbb{Z}[w_1,w_2]/<w_1^2-30w_2, ~w_1w_2, ~w_2^2>,$$
where $\mathrm{deg} w_1=2$, $\mathrm{deg} w_2=4$. Notice that  $w_1w_2$ and
$w_2^2$ in the ideal appear because of the dimensional reasons.
Indeed, this computation coincides with the result in \cite{Ka}.
\end{example}

 \begin{figure}
 	\begin{tikzpicture}[scale=0.4]
 	\foreach \x in {0,0.5,...,5}
          { \draw[color=black!50] (0+\x,0)--(0.2*\x, \x);}
          \foreach \x in {0,0.5,...,2.5}
          {  \draw[color=black!50] (\x, 0)--(-2/3*\x, -2*\x);  }
          \foreach \x in {3, 3.5, ..., 5}
          {   \draw[color=black!50] (\x, 0)--(-5/3+\x-2.5, -5); }
            \foreach \x in {0, 0.5,...,3}
          {  \draw[color=black!50] (-5+\x, -5)--(-7/3+\x, 5);  }
             \foreach \x in {1, 2.5}
          {  \draw[color=black!50] (0.2*\x, \x) -- (-2/3*\x, -2*\x);}
           \foreach \x in {0.5, 1, 1.5}
          {  \draw[color=black!50] (-5, -5+15/4*\x )--(-7/3-\x, 5);  }
            \draw[->] (-5.5,0)--(5.5,0);
            \draw[->] (0,-5.5)--(0,5.5);
            \draw[ultra thick, ->] (0,0)--(1,5);
            \draw[thick] (0,0)--(1.1,5.5);
            \draw[ultra thick, ->] (0,0)--(1,0);
            \draw[thick] (0,0)--(5,0);
            \draw[ultra thick, ->] (0,0)--(-1,-3);
            \draw[thick] (0,0)--(-5/3,-5);
            \node[left] at (-1,-3) {\small{$\lambda_3=(-1,-3)$}};
            \node[right] at (1,5) {\small{$\lambda_2=(1,5)$}};
            \node[below] at (2.5,0) {\small{$\lambda_1=(1,0)$}};
            \node at (4,2) {\small{$g^{\sigma_{12}}=(5,5,0)$}};
            \node at (3.5,-3) {\small{$g^{\sigma_{13}}=(3,0,3)$}};
            \node at (-3,2) {\small{$g^{\sigma_{23}}=(0,2,2)$}};
	\end{tikzpicture}
        \caption{Fan of ${\mathbb{CP}}^2_{(2,3,5)}$ and integrality condition.}
        \label{Fig_Fan_of_CP_(235)}
 \end{figure}

\begin{example}\label{eg_integrality_matirx_different_from_determinant}
	Consider the following fan
	$$\Sigma=\left(K=\partial \Delta^3, \Lambda=\begin{bmatrix}
	1&1&1&-1\\  0&2&2&-1\\0&0&3&-1 \end{bmatrix} \right).$$
	Denoting the $i$-th column vector by $\lambda_i$, $i=1,2,3,4$,
	it is easy to see that they satisfy
	$$3\lambda_1+\lambda_2 + 2\lambda_3 + 6\lambda_4=
	0 ~\text{and}~  {\rm span}\left(\lambda_1, \dots, \lambda_4\right)
	=\mathbb{Z}^3, $$
	which implies that the resulting toric variety $X_\Sigma$ is
	isomorphic to ${\mathbb{CP}}^3_{(3,1,2,6)}$.

	Denote by $\sigma_{ijk}$ the cone generated by $\{\lambda_i, \lambda_j, \lambda_k\}$.
	Then, the resulting integrality matrix is
	$$\mathcal{G}_\Sigma=\begin{bmatrix} &g^{\sigma_{123}} & \\
	 & g^{\sigma_{124}} & \\
	 & g^{\sigma_{134}}&  \\
	 & g^{\sigma_{234}} &
	\end{bmatrix}
	= \begin{bmatrix}  2 &6& 3& 0 \\ 2& 2& 0& 1 \\
				1& 0& 1& 1 \\ 0& 3& 3& 1   \end{bmatrix}.$$
	This example shows that each entry of $\mathcal{G}_\Sigma$ can be
	different from the determinant of the corresponding $\Lambda_\sigma$.
\end{example}

\section{Orbifold towers}\label{sec_orbifold_towers}
	So far, we have described a method to determine  generators and
	relations in the singular cohomology ring of projective toric varieties
	which have cohomology concentrated in even degrees.
	Moreover, in Section \ref{vanqt},
	we introduced a sufficient condition for vanishing odd degree
	cohomology, which has a purely
	combinatorial description.

	In this section, we introduce and investigate examples of  toric
	orbifolds over  products $\prod_{j=1}^k \Delta^{n_j}$ of
	simplices, for any positive integers $n_i$. In general,  it is well known that any toric
	orbifolds over a simple polytope $Q$ can be constructed from the quotient of
	moment angle complex $\mathcal{Z}_Q$ \cite{BP} by a locally free
	action\footnote{An action with  finite isotropy groups.}
	of
	$T^k$ determined by the characteristic fucntion $\lambda$,
	where $k=m-n, ~m=\left| \mathcal{F}(Q)\right|$, and $n=\dim Q$. Indeed, $T^{k}$
	is given by ${\rm Ker}\hspace{1pt} \left( \exp \Lambda \colon T^m \to T^n\right)$, where
	\begin{equation}\label{eq_Definition_of_Lambda_from_lambda}
		\Lambda \colon \mathbb{Z}^m \to \mathbb{Z}^n,
	\end{equation}
	 as an $(n \times m)$-matrix,  is a characteristic matrix
	associated to $\lambda$. See Remark \ref{rmk_char_matrix}.
	We refer \cite{BP} and \cite{BPR} for the exposition.

	When $Q=\prod_{j=1}^k \Delta^{n_j}$,
	the moment angle complex $\mathcal{Z}_Q$ is the product
	$\prod_{i=1}^k S^{2n_i+1}$ of odd dimensional spheres and  $m-n=k$.
	By imposing a locally free  action
	\eqref{eq_(C*)^i_action_on_MAC} of $k$-dimensional torus on $\mathcal{Z}_Q$,
	 we get a toric orbifold $X\cong \mathcal{Z}_Q / T^k$ of complex dimension
	 $\sum_{i=1}^k n_i$.

	 From the nature of the action described in \eqref{eq_Phi_k} and \eqref{eq_(C*)^i_action_on_MAC},
	Such an $X$ has the structure of iterated projections:
	\begin{equation}\label{eq_sequence_of_orb_fibraion}
		\xymatrix{
	X=X_k \ar[r]^-{\pi_k} & X_{k-1} \ar[r]^-{\pi_{k-1}} & \cdots \ar[r]^-{\pi_2} &X_1 \ar[r]^-{\pi_1} & X_0=\{pt\}}.
	\end{equation}
	We shall see this in Lemma \ref{lem_orbibundle_structure}.

	Additional assumptions on the torus action allow us to identify each
	$X_i$ as the weighted projectivization of a Whitney sum of
	line bundles over $X_{i-1}$. (See Theorem \ref{thm_honest_fibration}).
	In this case we call the sequence of projections  \eqref{eq_sequence_of_orb_fibraion}
	\emph{a weighted projective tower}
	and denote $X_i$ by $wPT_i$.
	It turns out that each $wPT_i$ has
	their cohomology rings  concentrated in even degrees.
	This is deduced from the spectral sequence of a fibration. In general, however,
	we cannot apply the same argument to the tower  \eqref{eq_sequence_of_orb_fibraion},
	 because each  $\pi_i \colon X_i \to X_{i-1}$ is not a fiber bundle.
	Instead, by solving a certain system of linear equations,
	we can determine a characteristic function on $\prod_{j=1}^k \Delta^{n_j}$
	which allows us to apply the Theorem \ref{thm_orbifold_torsion_free}.

	At the end of this section, we introduce an example of the sequence
	\eqref{eq_sequence_of_orb_fibraion}, which we call an \emph{orbifold Hirzebruch surface}.
	Though it is not a weighted projective tower, Theorem  \ref{thm_orbifold_torsion_free}
	applies and we can determine easily those cases for which the cohomology is even
	and torsion free. Explicit generators and relations are obtained from an application of
	Corollary \ref{cor_cohom_of_toric_orb_with_gcd_cond.}.

\subsection{Toric orbifolds over products of simplices}
Toric manifolds over product of simplices were studied in \cite{CR} and by
many subsequent authors. In particular, S. Choi, M. Masuda and D. Y. Suh
\cite{CMS} describes a certain free torus action on $\mathcal{Z}_Q=\prod_{i=1}^k S^{2n_i+1}$,
and derive a tower structure on the resulting toric manifold.

To make an orbifold analogue, we begin by setting the following data.
For each $i=1, \dots, k$,
\begin{itemize}
	 \item $\chi^i:=(\chi^i_0, \dots, \chi^i_{n_i})\in \mathbb{N}^{n_i+1}$, with
	 	$\text{gcd}(\chi^i_0, \dots, \chi^i_{n_i})=1$.
    	  \item $c^i_{\bullet, j}:=(c^{i}_{0,j}, \dots , c^{i}_{n_i, j})\in \mathbb{Z}^{n_i+1}$,
		~$1\leq j<i \leq k$
	\item $\mathcal{Z}_i:=\prod_{j=1}^i S^{2n_j+1}$.
\end{itemize}
	By listing $\chi^i$ and $c^i_{\bullet, \alpha}$  in certain order,
	we obtain the following  ($k\times k$)-lower triangular matrix described below:
	\begin{equation}\label{eq_Phi_k}
		\Phi_k :=\begin{bmatrix}  \chi^1 &\pmb0 &\cdots&&&\pmb0 \\
				c^2_{\bullet, 1} & \chi^2 & \pmb0  & \cdots && \pmb0\\
				\vdots & &\ddots&&&  \\
				c^i_{\bullet, 1}&\cdots&c^i_{\bullet, i-1}&\chi^i&\pmb 0\cdots&\pmb0\\
				\vdots&&&&\ddots&\\
				c^k_{\bullet, 1} &\cdots&&\cdots & c^k_{\bullet, k-1}&\chi^k
		 \end{bmatrix}.
	\end{equation}
Notice that each entry of $\Phi_k$ is a vector.
	Similarly,
	for each $i=1, \dots, k$, we can define $\Phi_i$ as the $(i \times i)$-submatrix
	of $\Phi_k$ from the upper left corner. For example,
	$$\Phi_1= \left( \chi^1\right)=\begin{bmatrix} \chi^1_0 \\ \vdots \\ \chi^1_{n_1} \end{bmatrix} ,
	\text{ and }
	\Phi_2=\begin{bmatrix} \chi^1 & \pmb{0} \\ c^2_{\bullet, 1} & \chi^2 \end{bmatrix}
	=\begin{bmatrix} \chi^1_0 & 0 \\ \vdots & \vdots\\ \chi^1_{n_1} & 0 \\
	c^2_{0,1} & \chi^2_0 \\ \vdots & \vdots \\ c^2_{n_2,1} & \chi^2_{n_2} \end{bmatrix}. $$
Note that the matix $\Phi_k$ determines a map of tori
$$\exp \Phi_k \colon   T^k \to T^{\sum_{j=1}^{k}(n_j+1)}.$$
Hence, we can define an action of $T^k$ on $\mathcal{Z}_k$  which factors through $\exp \Phi_k$.
Here, the target space $T^{\sum_{j=1}^{k}(n_j+1)}$ acts on $\mathcal{Z}_k$ by standard
coordinate multiplication.

To be more precise, we set the following notations. For each $1\leq i \leq k$,
\begin{itemize}
        \item $\mathbf{z}^i:=(z^i_0, \dots, z^i_{n_i})\in S^{2n_i+1} \subset  \mathbb{C}^{n_i+1}$,
        \item For $u\in S^1$,
        $u^{\chi^i}\mathbf{z}^i:=(u^{\chi^i_0}z^i_0, \dots, u^{\chi^i_{n_i}}z^i_{n_i})$,
        \item For $u\in S^1$, $u^{c^{i}_{\bullet, j}}\mathbf{z}^{i}
        	:=(u^{c^{i}_{0,j}}z^{i}_0, \dots, u^{c^{i}_{n_{i},j}}z^{i}_{n_{i}}),$ $1\leq j < i$,
 \end{itemize}
 and we define an action of $T^k$ on $\mathcal{Z}_k$ by
\begin{equation}\label{eq_(C*)^i_action_on_MAC}
	u_i \cdot  (\mathbf{z}^1,\dots, \mathbf{z}^k)
	= (\mathbf{z}^1, \dots, \mathbf{z}^{i-1}, u_i^{\chi^i}\mathbf{z}^i,
		u_i^{c^{i+1}_{\bullet,i}}\mathbf{z}^{i+1},
	\dots,u_i^{c^{k}_{\bullet,i}}\mathbf{z}^k ),
\end{equation}
where $u_i$ is the $i$-th coordinate of $(u_1, \dots, u_k)\in T^k$.

Now, we define  $X_k$ to be the quotient
$$X_k= \mathcal{Z}_k \big/ T^k,$$
where  the action of $T^k$ is defined in \eqref{eq_(C*)^i_action_on_MAC}.
Also there is the residual action of $T^{\sum_{j=1}^k( n_j+1)}\big/ T^k \cong T^{\sum_{j=1}^k n_j}$ on $X_k$.
The following proposition ensures that $X_k$ is a toric  orbifold in the sense of
Section \ref{sec_toric_orb_and_orb_lens_sp}.
\begin{proposition}\label{prop_char_fun_of_orb_tower}
	There is a characteristic function
	\begin{equation}\label{eq_char_ftn_for_WPS}
		\lambda \colon \mathcal{F}(\Delta^{n_1} \times  \cdots \times \Delta^{n_k}) \to \mathbb{Z}^{\sum_{j=1}^k n_j}
	\end{equation}
	such that ${{\rm Ker}\hspace{1pt}} (\exp \Lambda) ={{\rm Im}\hspace{1pt}}( \exp \Phi_k)$,
	where $\Lambda$ is the characteristic matrix associated to $\lambda$.
\end{proposition}
\begin{proof}
	It is enough to find a matrix $\Lambda$ satisfying $\Lambda \cdot \Phi_k=\mathbf{0}$.
	Notice that  such $\Lambda$ exists because of the assumption
	${\operatorname{gcd}} (\chi_0^i, \dots, \chi_{n_i}^i)=1$ for each $i=1, \dots, k$.
	One canonical choice of $\Lambda$
	is the following block lower triangular matrix:
	\begin{equation}\label{eq_Lambda_for_wPT}
	\Lambda = \left[ \begin{array}{ccc|ccc|ccc|ccc|ccc|ccc}
			&\Lambda_1&&&&&&&&&&&&&&&& \\ \hline
			&B^2_1&&&\Lambda_2&&&&&&&&&&&&& \\ \hline
			&\vdots&&&&&&\ddots&&&&&&&&&&\\ \hline
			&B_1^i&&&\cdots&&&B_{i-1}^i&&&\Lambda_i&&&&&&&\\ \hline
			&\vdots&&&&&&&&&&&&\ddots&&&&\\ \hline
			&B_1^k&&&\cdots&&&&&&\cdots&&&B_{k-1}^k&&&\Lambda_k&
		\end{array}\right],
	\end{equation}
	where $\Lambda_i$ is a matrix of size  $n_i \times (n_i+1)$ satisfying
	$\Lambda_i \cdot \chi^i =0$. That is, it is a characteristic matrix of a
	weighted projective space ${\mathbb{CP}}^{n_i}_{\chi^i}$ \cite[Section 2.2]{Ful}
	for each $i=1, \dots, k$.
	Other submatrices $B^i_j $  of size $(n_i \times (n_j+1))$ in lower triangular part
	can be determined from $\Lambda_1, \dots, \Lambda_k$.
	Indeed, first we choose $B^i_{i-1}$'s satisfying
	$$B^i_{i-1} \cdot \chi^{i-1} + \Lambda_i \cdot c^i_{\bullet,i-1}=\mathbf{0}.$$
	Next, we solve
	$$B^i_{i-2}\cdot \chi^{i-2} + B^i_{i-1}\cdot c^{i-1}_{\bullet, i-2} + \Lambda_i \cdot c^i_{\bullet, i-2}=\mathbf{0}$$
	to determine $B^i_{i-2}$.
	By continuing this process, we can determine all $B^i_j$'s.
	We put
	column vectors of $\Lambda$ in \eqref{eq_Lambda_for_wPT}
	by $\lambda^{n_i}_{r}$ as follows:
	$$\Lambda = \left[ \begin{array}{ccccc}
		\lambda^{n_1}_0 ~ \cdots ~\lambda^{n_1}_{n_1} &
		\cdots \cdots  & \lambda^{n_i}_0~ \cdots ~\lambda^{n_i}_{n_i} &
		\cdots \cdots & \lambda^{n_k}_0~ \cdots ~ \lambda^{n_k}_{n_k}
		\end{array} \right].$$

	Now, we assign a facet in $\prod_{j=1}^k \Delta^{n_j}$ a column vector of
	$\Lambda$ in \eqref{eq_Lambda_for_wPT}.
	Each facet of $\prod_{j=1}^k \Delta^{n_j}$ is of the form
	$${F}^{n_i}_r :=\Delta^{n_1} \times\cdots \times   \Delta^{n_{i-1} }
		\times f^{n_i}_r \times
		\Delta^{n_{i+1}} \times \cdots \times \Delta^{n_k},$$
	where $f^{n_i}_r \in \mathcal{F}(\Delta^{n_i})$, ~$r=0, \dots, n_i$.
	In particular, the following $\sum_{j=1}^k n_j$ many facets of
	$\prod_{j=1}^k \Delta^{n_j}$
	meet at a vertex:
	$$\bigcup_{j=1}^k\{ F^{n_j}_{r_1}, \dots F^{n_j}_{r_{n_j}}\}.$$
	Define a characteristic function
	$$\lambda \colon  \mathcal{F}(\Delta^{n_1} \times  \cdots \times \Delta^{n_k}) \to \mathbb{Z}^{\sum_{j=1}^k n_j}$$
	by $\lambda(F^{n_i}_r)=\lambda^{n_i}_r$. Then, given a vertex
	 $$v=F^{n_1}_{r_1}\cap \dots \cap  F^{n_1}_{r_{n_1}} \cap \dots \cap F^{n_k}_{r_1}\cap \dots \cap  F^{n_k}_{r_{n_k}},$$
	 the corresponding square matrix
	 \begin{equation*}\label{eq_square_mat_cor_vetrexx_in_wPT}
	 	\begin{bmatrix}  \lambda^{n_1}_{r_1} \cdots \lambda^{n_1}_{r_{n_1}}
	 &\cdots \cdots
	 & \lambda^{n_k}_{r_1} \cdots \lambda^{n_k}_{r_{n_k}} \end{bmatrix}
	\end{equation*}
	 has nonzero determinant, because it is a block lower matrix and each block
	 diagonal component has also nonzero determinant. Hence, we are done.
	\end{proof}

Finally, we conclude
$$X_k=\mathcal{Z}_k/ T^k = X(\Delta^{n_1} \times \dots \times \Delta^{n_k}, \lambda),$$
where $\lambda$ is the characteristic function defined in \eqref{eq_char_ftn_for_WPS}.
Note that $X_1$ is an $n_1$-dimensional weighted projective space
${\mathbb{CP}}^{n_1}_{\chi^1}$ with weight $\chi^1=(\chi^1_0, \dots, \chi^1_{n_1})$,
and  there is a natural projection $\pi_i \colon X_i \to X_{i-1}$ induced from
$$\mathcal{Z}_i= \prod_{j=1}^i S^{2n_j+1}  \to \mathcal{Z}_{i-1}=\prod_{j=1}^{i-1} S^{2n_j+1}$$
for each $i=1, \dots, k$.
If all weight vectors $\chi^i$'s are $(1,\dots, 1)$,
then the sequence \eqref{eq_sequence_of_orb_fibraion}
is exactly a \emph{generalized Bott tower} \cite{CMS-tr}.
If we further assume that all $n_i$'s are 2, the resulting space is known as a
\textit{Bott tower}, see \cite{GK} and \cite{CR}.

\begin{lemma}\label{lem_orbibundle_structure}
	The fibers of each projection $\pi_i \colon X_i \to X_{i-1}$, $i=2,\dots, k$
	are weighted projective spaces at smooth points,
	and fake weighted projective spaces at singular points.
\end{lemma}
\begin{proof}
	Consider the projection
	$$\overline{\pi_i} \colon \mathcal{Z}_{i-1} \times_{T^{i-1}} S^{2n_i+1} \to X_{i-1},$$
	where the action of $T^{i-1}$ on $\mathcal{Z}_{i-1}
	\times S^{2n_i+1}$ is given by
	the left-upper  $i\times (i-1)$-submatrix of \eqref{eq_Phi_k}.
	Let $[x]$ be a point of $X_{i-1}$
	with stabilizer $G_{[x]}\subset T^{i-1}$.  Note that,
	 if $[x]$ is a smooth point, $G_{[x]}$ is trivial group.

	Now, we observe the fiber at $[x]$.
	Here, we denote the $T^{i-1}$-orbit of
	 $x \in \mathcal{Z}_{i-1}$ by $T^{i-1}(x) $.
	\begin{align*}
	\overline{\pi_i}^{-1}([x]) &= T^{i-1}(x) \times_{T^{i-1}} S^{2n_i+1} \\
			&\cong T^{i-1}/G_{[x]} \times _{T^{i-1}} S^{2n_i+1} \\\
			&\cong S^{2n_i+1}/G_{[x]},
	\end{align*}
	which is an \textit{orbifold lens space} defined in Section \ref{sec_toric_orb_and_orb_lens_sp}.

	Finally, the additional $S^1$-action on
	$\mathcal{Z}_{i-1} \times_{T^{i-1}}S^{2n_i+1}$
	by the last column of $\Phi_i$ gives us the weighed projectivization of each fiber.
	To be more precise, at smooth point, the fiber is
	$S^{2n_i+1} / S^1,$
	where $S^1$-action is given by
	\begin{equation}\label{eq_final_weighted_C*-action}
		u \cdot (z^i_{0}, \dots, z^i_{n_i})=(u^{\chi^i_0} z^i_{0}, \dots, u^{\chi^i_{n_i}}z^i_{n_i}).
	\end{equation}
	Hence, it is a weighted projective space with weight $(\chi^i_0, \dots, \chi^i_{n_i}).$

	On the other hand, at a singular point $[x]$ with nontrivial stabilizer $G_{[x]}$, the fiber is
	$$\left( S^{2n_i+1} /G_{[x]} \right) / S^1
	 \cong \left( S^{2n_i+1}/S^1 \right) / G_{[x]},$$
	 where the action of $S^1$ on $S^{2n_i+1}$ is same as \eqref{eq_final_weighted_C*-action}.
	 Note that additional $G_{[x]}$ on a weighed projective space  $S^{2n_i+1}/S^1$ gives us
	 a fake weighted projective space.
\end{proof}

\begin{theorem}\label{thm_honest_fibration}
	Let
	$$\mathcal{S}_{i-1} :=\{ [x] \in X_{i-1} \mid G_{[x]}\neq 1\} ~ \text{and}~
	\ell_{i-1}:={\rm lcm} \{|G_{[x]}| : [x]\in \mathcal{S}_{i-1}\}.$$
	If $c^i_{\alpha, \beta}$'s are divisible by
	$\ell_{i-1}$ for all $\alpha=0, \dots, n_i$ and $\beta=1, \dots, i-1$,
	then $\pi_i \colon X_i \to X_{i-1}$ is an genuine ${\mathbb{CP}}_{\chi^i}^{n_i}$-
	fibration.
\end{theorem}
\begin{proof}
	Let $[x]$ be a singular point with non-trivial stabilizer $G_{[x]}$.
	Since $G_{[x]}$ is a subgroup of $T^{i-1}$, $G_{[x]}$-action on
	$\mathcal{Z}_{i-1}\times S^{2n_i+1}$ obeys the equation
	\eqref{eq_(C*)^i_action_on_MAC}.

	Hence, if $c^i_{\alpha, \beta}$'s are divisible by $\ell_{i-1}$ for all
	$\alpha=0, \dots, n_i$ and $\beta=1, \dots, i-1$,
	then the hypothesis ensures that  action of $G_{[x]}$ on $S^{2n_i+1}$ is trivial.
	Therefore, the fiber at $[x]\in X_{i-1}$ is
	$$\pi^{-1}([x])= \left(S^{2n_i+1} /G_{[x]}\right) \big/  S^1 = S^{2n_i+1}\big/ S^1,$$
	where the $S^1$-action is defined in \eqref{eq_final_weighted_C*-action}.
	Hence,  the result follows.
\end{proof}

	If the sequence \eqref{eq_sequence_of_orb_fibraion} satisfies the hypothesis in
	Theorem \ref{thm_honest_fibration} for each $i=1, \dots k$,
	then we call it \emph{a weighted projective tower},
	and denote by
\begin{equation}\label{eq_weighted_projective_tower}
        \xymatrix{wPT_k \ar[r]^-{\pi_k} & wPT_{k-1} \ar[r]^-{\pi_{k-1}} &
         \cdots \ar[r]^-{\pi_2} & wPT_1 \ar[r]^-{\pi_1} & \{pt\}}.
\end{equation}

\begin{corollary}\label{cor_wpt_has_no_odd_cohom}
	The cohomology ring $H^\ast(wPT_i)$ is concentrated in even degrees,
	for all $i=1, \dots, k$.
\end{corollary}
\begin{proof}
        We show this by induction on $i$. For $i=1$, the Proposition holds
        from the result by Kawasaki \cite{Ka}.
        Now, we assume that the cohomology of $wPT_{i-1}$ is concentrated in
        even degree. Then, the Serre spectral sequence of the fibration
        $$\xymatrix{ {\mathbb{CP}}^{n_i}_{\chi^i}~ \ar@{^{(}->}[r]&  wPT_i \ar[r]^-{\pi_i} &  wPT_{i-1}}$$
        collapses for dimensional reasons.
        Hence, we conclude that $H^\ast(wPT_i)$, is concentrated in even degrees.
         	\end{proof}

\subsection{Example: Orbifold Hirzebruch Surfaces}\label{subsection_orb.Hirz.Surf}

 	Here, we investigate one special case of the sequence
	\eqref{eq_sequence_of_orb_fibraion}.  As we shall see later,
	this space is not a genuine fibration, so we cannot
	apply Corollary \ref{cor_wpt_has_no_odd_cohom}.
	However, by solving a linear system as in the proof of
	Proposition \ref{prop_char_fun_of_orb_tower},
	we can obtain a fan corresponding to this
	space. This  will allow us to use Theorem \ref{thm_orbifold_torsion_free} and
	Corollary \ref{cor_cohom_of_toric_orb_with_gcd_cond.}, which
	derives explicit generators and relations for its cohomology ring.

	We continue to use the notation from the previous section.
	Assume that $k=2$ and $n_1=n_2=1$.
	Then, the polytope $Q$ should be a square $\Delta^1 \times \Delta^1$.
	Hence, the moment angle complex is $\mathcal{Z}_{\Delta^1 \times \Delta^1}=S^3 \times S^3$.

	Next, consider the following $4 \times 2$ matrix which gives a
	$T^2$-action on $\mathcal{Z}_{\Delta^1 \times \Delta^1}$,
	and let us use the matrix on the right hand side for the sake of
	simplifying notations,
	$$\Phi_2=\begin{bmatrix} \chi^1_0 & 0 \\  \chi^1_1 & 0 \\ c^2_{0,1} & \chi^2_0 \\
	c^2_{1,1} & \chi^2_1 \end{bmatrix}
	=\begin{bmatrix} a_1 & 0 \\ b_1 & 0 \\ c & a_2 \\d & b_2 \end{bmatrix},$$
	where $\text{gcd}(a_1,b_1)=\text{gcd}(a_2,b_2)=1$.
	If $c$ and $d$ are divisible by $a_1b_1$, then the corresponding space
	$X_2=\mathcal{Z}_{\Delta^1 \times \Delta^1}/T^2$
	 is an honest ${\mathbb{CP}}^1_{(a_2,b_2)}$-fibration over ${\mathbb{CP}}^1_{(a_1,b_1)}$.
	 In other words, it is a 2-stage weighted projective tower.
	 However, in general, it is an orbibundle.

	To find a characteristic matrix $\Lambda$, we solve the equation $\Lambda\cdot \Phi_2=0$.
	We may choose the following $(2 \times 4)$-matrix
	\begin{equation}\label{eq_Lambda_for_orb_hirz}
		\Lambda=\begin{bmatrix} b_1&-a_1&0&0\\
		a_2d-b_2c&0&a_1b_2 & -a_1a_2\end{bmatrix}.
	\end{equation}
	Taking primitive column vectors in $\Lambda$,
	we have the following reduced characteristic matrix
	$$\Lambda' := \begin{bmatrix} \alpha&-1&0&0\\
				\beta &0&1 & -1\end{bmatrix}, $$
	where
	$$\alpha=\dfrac{b_1}{\text{gcd}(b_1, a_2d-b_2c)}
	~\text{ and }~
	\beta=\dfrac{a_2d-b_2c}{\text{gcd}(b_1, a_2d-b_2c)}.$$
	See Figure \ref{Fig_Hirzb_and_Orb_Hirzb} for the correspondence
	between facets of $\Delta^1\times \Delta^1$ and column vectors of $\Lambda'$.
	Let $\lambda'$ be the correspondingly defined characteristic function on
	$\Delta^1\times \Delta^1$.
	Lemma \ref{lem_constant_multiple_homeo.} shows that
	$X_2=X(\Delta^1 \times \Delta^1, \lambda)$ and
	 $X(\alpha, \beta):=X(\Delta^1\times \Delta^1, \lambda')$ are equivariantly homeomorphic,
	 where $\lambda$ is the characteristic function associated to $\Lambda$
	 defined in \eqref{eq_Lambda_for_orb_hirz}

	Now, we apply Corollary \ref{cor_cohom_of_toric_orb_with_gcd_cond.} to get
	the cohomology ring $H^\ast(X(\alpha, \beta))$.
	Let $\Sigma'$ be the normal fan of $(\Delta^1 \times \Delta^1, \lambda')$.
	The cones of dimension $2$ are
	$\{\sigma_{13}, \sigma_{23}, \sigma_{24}, \sigma_{14}\},$
	where $\sigma_{ij}$ is the cone generated by  $\lambda_i$ and $\lambda_j$
	(See Figure \ref{Fig_Hirzb_and_Orb_Hirzb}). Then,
	\begin{align*}
	\text{gcd}\big(|G(v)| : v \in V(\Delta^1 \times \Delta^1)\big)&=
	\text{gcd}\big( |\det\Lambda_{\sigma_{13}}|, |\det\Lambda_{\sigma_{23}}|,
	|\det\Lambda_{\sigma_{24}}|, |\det\Lambda_{\sigma_{14}}|\big)\\
	&=\text{gcd}(\alpha, 1, 1, \alpha)\\
	&=1.
	\end{align*}
	Hence, by the argument in Example \ref{ex_orbifold_over_polygon},
	we conclude $H^\ast(X(\alpha, \beta))$
	is torsion free and concentrated in even degrees.

	To analyze the ring structure,
	observe the following integrality matrix associated to $\Sigma'$,
	\begin{equation}\label{eq_int_matrix_for_orb_hirz}
	\mathcal{G}_{\Sigma'}=\begin{blockarray}{cccc}
						x_1 & x_2 & x_3 & x_4 \\
						\begin{block} {[cccc]}
						\alpha& 0 & \alpha & 0\\ 0&1&1&0\\ 0&1&0&1\\ \alpha&0&0&\alpha\\
						\end{block}
						\end{blockarray}.
	\end{equation}
	From this, we have four candidates, $\alpha x_1, x_2, \alpha x_3$ and
	$\alpha x_4$, for degree 2 generators. The linear ideal
	$$\mathcal{J}= \langle\alpha x_1-x_2, \beta x_1+x_3-x_4\rangle$$
	 leads us to choose $x:=\alpha x_1$ and $y:=\alpha x_4$ as generators.
	Moreover, by simple computation,
	we may choose $z:=x_2x_4$ as the degree 4 generator, and denote it by $z$.
	Then, we have the relation
	$$\alpha z=(x_2)(\alpha x_4)=(\alpha x_1)(\alpha x_4)=xy.$$
	Finally, the Stanley-Reisner ideal  $\mathcal{I}=\langle x_1x_2, x_3x_4\rangle$
	implies the following additional relations.
	\begin{align*}
		0&=(\alpha x_1)(x_2)=x^2,\\
		0&=(\alpha x_3)(\alpha x_4)=(y-\beta x )y.
	\end{align*}
	Hence, the cohomology ring $H^\ast(X_2)\cong H^\ast(X(\alpha, \beta))$ is isomorphic to
	\begin{equation}\label{eq_cohom_of_orb_hirz}
		\mathbb{Z}[x,y,z]/ \langle x^2, xy-\alpha z, y^2-\alpha\beta z, xz, yz, z^2 \rangle.
	\end{equation}
	Notice that the last three generators $xz,~ yz,~ z^2$ appear because of
	the dimensional reasons.

\begin{figure}
	\begin{tikzpicture}[scale=0.4]
		\draw[fill=yellow] (3,8)--(3,4)--(37/3, 4)--(17/3,8)--cycle;
		\draw[fill=yellow] (18,8)--(18,4)--(25,4)--(21,8)--cycle;
		\draw[->] (0,6)--(10,6);
		\draw[->] (5,2)--(5,10);
		\draw[ultra thick,->] (5,6)--(2,6);
		\node[below] at (1.1,5.8) {\small$\lambda_2=(-1,0)$};
		\draw[ultra thick,->] (5,6)--(5,9);
		\node[left] at (5,9) {\small$\lambda_3=(0,1)$};
		\draw[ultra thick,->] (5,6)--(5,3);
		\node[right] at (5.2,3) {\small$\lambda_4=(0,-1)$};
		\draw[ultra thick,->] (5,6)--(8,10);
		\node[below] at (9,9) {\small$\lambda_1=(1,\beta)$};
		\node at (5,1) {Hirzebruch surface $X(\beta)$};
		\draw[->] (15,6)--(25,6);
		\draw[->] (20,2)--(20,10);
		\draw[ultra thick,->] (20,6)--(17,6);
		\node[below] at (16.1,5.8) {\small$\lambda_2=(-1,0)$};
		\draw[ultra thick,->] (20,6)--(20,9);
		\node[left] at (20,9) {\small$\lambda_3=(0,1)$};
		\draw[ultra thick,->] (20,6)--(20,3);
		\node[right] at (20.2,3) {\small$\lambda_4=(0,-1)$};
		\draw[ultra thick,->] (20,6)--(24,10);
		\node[right] at (22.5,8) {\small$\lambda_1=(\alpha,\beta)$};
		\node at (20,1) {$X(\alpha,\beta)$};
	 \end{tikzpicture}
\caption{A Hirzebruch surface and an orbifold Hirzebruch surface.}
\label{Fig_Hirzb_and_Orb_Hirzb}
\end{figure}

\begin{remark}\hfill
\begin{enumerate}
	\item
	The topological type of Hirzebruch surfaces
	is determined by the unique slanted ray $(1, \beta)$, see Figure \ref{Fig_Hirzb_and_Orb_Hirzb}.
	However, changing the first coordinate of $(1, \beta)$ to arbitrary
	integer $\alpha$, we get an orbifold with two  singular  points
	whose local groups are $\mathbb{Z}_\alpha$.
	We call the resulting space $X(\alpha, \beta)$ an \textit{orbifold
	Hirzebruch surface}.
	\item
	Note that the cohomology ring of Hirzebruch surface can be computed
	from the result of \cite{Dan}, \cite{Jur} or \cite{DJ}. Indeed it has the following
	presentation
	$$H^\ast(X(\beta)) \cong \mathbb{Z}[x,y]/(x^2, y^2-\beta xy),$$
	where $\mathrm{deg} x=\mathrm{deg} y=2$.  The only degree 4 generator is $xy$.
	However, $H^\ast(X(\alpha, \beta))$ has the degree $4$ generator $z$ with  divisibility $\alpha$,
	i.e., $xy=\alpha z$. Notice that we can recover the presentation of
	$H^\ast(X(\beta)) $ by replacing $\alpha$ with 1 in \eqref{eq_cohom_of_orb_hirz}.
\end{enumerate}
\end{remark}

\bibliographystyle{amsalpha}