The smoothness of the real projective deformation spaces of orderable Coxeter 3-polytopes
Extracted source text · arXiv 2502.03770
%------------------------------------------------------------------------------
% Beginning of journal.tex
%------------------------------------------------------------------------------
%
% AMS-LaTeX version 2 sample file for journals, based on amsart.cls.
%
% *** DO NOT USE THIS FILE AS A STARTER. ***
% *** USE THE JOURNAL-SPECIFIC *.TEMPLATE FILE. ***
%
% Replace amsart by the documentclass for the target journal, e.g., tran-l.
%
\documentclass{amsart}
\usepackage{hyperref}
\usepackage[utf8]{inputenc}
\usepackage{kotex}
\usepackage{color}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{enumerate}
\usepackage{tikz-cd}
\usepackage{tikz}
\usepackage{circuitikz}
\usepackage{caption}
\usepackage{makecell}
%\usepackage[backend=biber]{biblatex}
%\addbibresource{References.bib}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{question}[theorem]{Question}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\numberwithin{equation}{section}
% Absolute value notation
\newcommand{\abs}[1]{\lvert#1\rvert}
% Blank box placeholder for figures (to avoid requiring any
% particular graphics capabilities for printing this document).
\newcommand{\blankbox}[2]{%
\parbox{\columnwidth}{\centering
% Set fboxsep to 0 so that the actual size of the box will match the
% given measurements more closely.
\setlength{\fboxsep}{0pt}%
\fbox{\raisebox{0pt}[#2]{\hspace{#1}}}%
}%
}
\begin{document}
\nocite{*}
\title[The deformation spaces of orderable Coxeter 3-polytopes]{The smoothness of the real projective deformation spaces of orderable Coxeter 3-polytopes}
% Information for first author
\author{Suhyoung Choi}
% Address of record for the research reported here
\address{Department of Mathematical Sciences, KAIST, 291 Daehak-ro Yuseong-gu Daejeon, South Korea}
% Current address
%\curraddr{Department of Mathematics and Statistics,
%Case Western Reserve University, Cleveland, Ohio 43403}
\email{schoi@math.kaist.ac.kr}
% \thanks will become a 1st page footnote.
\thanks{The first and second authors were supported by NRF Grant 2022R1A2C300316213.}
% Information for second author
\author{Seungyeol Park}
\address{Department of Mathematical Sciences, KAIST, 291 Daehak-ro Yuseong-gu Daejeon, South Korea}
\email{sypark14@kaist.ac.kr}
\thanks{}
% General info
\subjclass[2020]{Primary 57M50; Secondary 53A20, 53C15}
\date{\today}
\dedicatory{}
\keywords{Real projective structure, orbifold, Coxeter group, Moduli space}
\begin{abstract}
A Coxeter polytope is a convex polytope in a real projective space equipped with linear reflections in its facets, such that the orbits of the polytope under the action of the group generated by the linear reflections tessellate a convex domain in the real projective space.
Vinberg proved that the group generated by these reflections acts properly discontinuously on the interior of the convex domain, thus inducing a natural orbifold structure on the polytope.
In this paper, we consider labeled combinatorial polytopes $\mathcal{G}$ associated to such orbifolds, and study the deformation space $\mathcal{C} (\mathcal{G})$ of Coxeter polytopes realizing $\mathcal{G}$.
We prove that if $\mathcal{G}$ is orderable and of normal type then the deformation space $\mathcal{C}(\mathcal{G})$ of real projective Coxeter 3-polytopes realizing $\mathcal{G}$ is a smooth manifold.
This result is achieved by analyzing a natural map of $\mathcal{C} (\mathcal{G})$ into a smooth manifold called the realization space.
\end{abstract}
\maketitle
\begingroup % Remove red boxes in the Table of Contents only
\hypersetup{hidelinks}
\tableofcontents
\endgroup
%% The correct journal style for \specialsection is all uppercase; a known bug
%% in amsart.cls prevents this, so input must be uppercase until it is fixed.
%\specialsection*{This is a Special Section Head}
\section{Introduction}\label{introduction}
Let $\mathbb{S}^d = (\mathbb{R}^{d+1} \setminus \{0\}) / \sim$ be the \textit{real projective} $d$-sphere consisting of the open rays of $\mathbb{R}^{d+1}$ from the origin.
The group $\text{SL}_\pm (d+1, \mathbb{R})$ can then be viewed as the group of real projective automorphisms of $\mathbb{S}^d$.
A \textit{real projective structure} on a smooth $d$-orbifold $\mathcal{O}$ is an atlas of coordinate charts on $\mathcal{O}$ valued in $\mathbb{S}^d$ such that the changes of coordinates locally lie in $\text{SL}_\pm (d+1, \mathbb{R})$.
The \textit{deformation space} of real projective structures on $\mathcal{O}$ is the space of real projective structures modulo the isotopy equivalence.
Many real projective $d$-orbifolds (i.e., $d$-dimensional orbifolds with real projective structures) arise from proper actions of discrete subgroups $ \Gamma \subset \text{SL}_\pm (d + 1, \mathbb{R}) $ on convex open domains $ \Omega \subset \mathbb{S}^d $.
Those orbifolds whose underlying spaces are of the form $ \Omega / \Gamma $ are called \textit{convex real projective orbifolds}.
Finding discrete subgroups $ \Gamma \subset \text{SL}_\pm (d + 1, \mathbb{R}) $ that act properly on convex open domains is directly related to constructing examples of convex real projective manifolds and orbifolds.
A large class of such discrete subgroups $\Gamma$ are the \textit{linear reflection groups} (see Section \hyperref[Section 2.1]{2.1}).
A linear reflection group is generated by linear reflections in the codimension-one faces (called \textit{facets}) of a convex polytope in $\mathbb{S}^d$.
The linear reflection groups have been studied and characterized by Vinberg \cite{MR0302779}, enabling the study of representations of abstract Coxeter groups as linear reflection groups acting on real projective spaces.
For instance, those results are used in the study of convex cocompact representations of Coxeter groups \cite{Danciger2024} in $\mathbb{RP}^n$.
These contexts motivate the study of orbifolds whose fundamental groups are Coxeter groups and the study of the real projective structures on such orbifolds, with holonomy representations given by linear reflection groups.
More precisely, those real projective orbifolds arise from the following observation.
If $P \subset \mathbb{S}^d$ is a convex polyhedron and $\Gamma \subset \text{SL}_\pm (d + 1, \mathbb{R})$ is the linear reflection group generated by reflections in the facets of $P$, then the union $\bigcup_{\gamma \in \Gamma} \gamma (P)$ and its interior $\Omega$ are convex (see Theorem \ref{Vinberg 2}).
Then the quotient space $\Omega / \Gamma$ admits a natural orbifold structure where the stabilizer subgroups of the singular points are finite subgroups of $\Gamma$.
The underlying space of the real projective orbifold $\Omega / \Gamma$ is homeomorphic to $P$ minus some of its faces, where a face of $P$ is removed if and only if its stabilizer subgroup in $\Gamma$ is infinite.
Following this observation, we define a class of orbifolds known as \textit{reflection orbifolds} or \textit{Coxeter orbifolds}.
A Coxeter orbifold is an orbifold $\widehat{P}$ whose underlying space is a convex polyhedron $P$ in $\mathbb{S}^d$ with certain faces of codimension $\geq 3$ removed. The singular locus of the orbifold is the union of the non-removed faces of codimension $\geq 1$, i.e. the boundary of $P$ minus the removed faces.
The motivation of this paper is to study the deformation space of real projective structures on 3-dimensional Coxeter orbifolds, whence the removed faces are some vertices of the underlying polytope.
However, to effectively analyze the topological structure of the deformation space, we avoid the direct use of orbifold terminologies.
Instead, we associate each Coxeter orbifold with a combinatorial object called a \textit{labeled combinatorial polytope} $\mathcal{G}$, which encodes the orbifold structure.
Consequently, the study of the deformation space of real projective structures is reduced to considering the space $\mathcal{C}(\mathcal{G})$ of isomorphism classes of \emph{Coxeter polytopes} realizing $\mathcal{G}$ (see Sections~\ref{Section 2.1} and~\ref{Section 2.2} for precise definitions).
We will also call the space $\mathcal{C} (\mathcal{G})$ the \textit{deformation space of Coxeter polytopes realizing} $\mathcal{G}$.
By making such replacements, the space $\mathcal{C} (\mathcal{G})$ can be identified with the solution space of certain polynomial equalities and inequalities using results of Vinberg \cite{MR0302779}.
A \textit{labeled combinatorial polytope} $\mathcal{G}$ is a CW-complex whose underlying space is a convex polyhedron $P$.
The cells of the CW-complex are the faces of $P$ across all dimensions, where the unique top-dimensional cell is $P$ itself, the facets of $P$ are the $(n-1)$-dimensional cells, and the ridges are the $(n-2)$-dimensional cells, and so on.
We index the facets of $P$ by $P_1, \dots, P_f$, and assign to each ridge $P_i \cap P_j$ an integer label $m_{i,j} \geq 2$.
A \emph{Coxeter polytope realizing} $\mathcal{G}$ is a convex polyhedron $Q \subset \mathbb{S}^d$ equipped with linear reflections $r_1, \cdots, r_f$ in its $f$ facets, such that $Q$ is combinatorially equivalent to $\mathcal{G}$ and the linear reflections $r_1, \cdots, r_f$ generate a discrete subgroup $\Gamma \subset \text{SL}_\pm(d + 1, \mathbb{R})$ such that the translates $\gamma \cdot Q$ for $\gamma \in \Gamma$ tessellate a convex domain of $\mathbb{S}^d$ (see Definition~\ref{Coxeter polytope} for the precise definition).
Each Coxeter polytope realizing $\mathcal{G}$ gives rise to a convex real projective structure on the Coxeter orbifold associated to $\mathcal{G}$.
In this way, the deformation space $\mathcal{C} (\mathcal{G})$ is embedded in the deformation space of the real projective structures on the Coxeter orbifold associated to $\mathcal{G}$.
\begin{figure}[!ht]
\centering
\resizebox{0.6\textwidth}{!}{%
\begin{circuitikz}
\tikzstyle{every node}=[font=\normalsize]
\draw [short] (11.25,19.75) -- (9,16);
\draw [short] (9,16) -- (12,14.5);
\draw [short] (12,14.5) -- (15.5,16);
\draw [short] (11.25,19.75) -- (15.5,16);
\draw [short] (11.25,19.75) -- (12,14.5);
\draw [dashed] (9,16) -- (15.5,16);
\node [font=\LARGE] at (18,17) {$\longrightarrow$};
\draw [short] (13.5,17.75) -- (13.25,15);
\draw [dashed] (13.5,17.75) -- (14.25,16);
\draw [dashed] (13.25,15) -- (14.25,16);
\draw [short] (22.25,19.5) -- (20,15.75);
\draw [short] (20,15.75) -- (23,14.25);
\draw [short] (23,14.25) -- (24.25,14.75);
\draw [short] (22.25,19.5) -- (24.5,17.5);
\draw [short] (22.25,19.5) -- (23,14.25);
\draw [dashed] (20,15.75) -- (25.25,15.75);
\draw [short] (24.5,17.5) -- (24.25,14.75);
\draw [short] (24.5,17.5) -- (25.25,15.75);
\draw [short] (24.25,14.75) -- (25.25,15.75);
\draw [short] (12.25,20.25) -- (12.5,13);
\draw [short] (12.25,20.25) -- (14.5,21.75);
\draw [short] (14.5,21.75) -- (14.75,14.5);
\draw [short] (12.5,13) -- (14.75,14.5);
\node [font=\LARGE] at (13.5,19.5) {$\Pi$};
\node [font=\LARGE] at (16,16) {$v$};
\node [font=\LARGE] at (11,16.5) {$P$};
\node [font=\LARGE] at (23.5,13.5) {$P^{\dagger v}$};
\end{circuitikz}
}%
\label{test}
\caption{A truncation of a convex polytope $P$ by a hyperplane $\Pi \subset \mathbb{S}^3$.}
\end{figure}
As a part of this field, Marquis \cite{MR2660566} studied labeled combinatorial polytopes whose underlying spaces are truncation polytopes, which are the polytopes obtained from a 3-simplex (i.e. a tetrahedron) by successively truncating vertices (Figure \hyperref[test]{1} illustrates a truncation process.).
Marquis \cite{MR2660566} proved that the deformation space $\mathcal{C} (\mathcal{G})$ is a union of $\mathbb{R}^k$ for some $k \geq 0$.
See \cite{MR4524212} for the analogous result for higher-dimensional truncation polytopes.
These motivate the following generalized question:
\begin{question}
What can be determined about the local and global structures of the deformation space of Coxeter 3-orbifolds under suitable combinatorial conditions?
\end{question}
There have been several results answering the above question.
For example, Choi-Hodgson-Lee \cite{MR2944525} and Choi-Lee \cite{MR3375519} found some classes of Coxeter 3-orbifolds admitting a (unique) hyperbolic structure, such that the point in the deformation space corresponding to the hyperbolic structure admits a neighborhood homeomorphic to an open cell.
In contrast, as explained by Choi-Lee (\cite{MR3375519}, Section 5.3), there is a Coxeter 4-orbifold whose deformation space is the union of two lines intersecting at a single point.
Hence, some real projective structures on certain Coxeter orbifolds may not even admit open neighborhoods homeomorphic to cells, so in particular their corresponding deformation spaces are not a topological manifold.
In this paper, we provide a sufficient condition on a labeled combinatorial 3-polytope $\mathcal{G}$ for the space $\mathcal{C}(\mathcal{G})$ to be a smooth manifold, ensuring that each real projective structure on the corresponding orbifold admits deformations of a fixed dimension.
The main condition we assume is the notion of \emph{orderability}, whose precise definition is given in Definition \ref{orderable}.
To determine an element of $\mathcal{C}(\mathcal{G})$, we have to consider a convex polytope $Q \subset \mathbb{S}^3$ together with linear reflections $r_1, \dots, r_f \in \text{SL}_\pm(4, \mathbb{R})$ across the facets $Q_1, \dots, Q_f$ of $Q$.
The orderability condition ensures that there exists an indexing $Q_1, \dots, Q_f$ of the $f$ facets of $Q$ such that the linear reflections $r_1, \dots, r_f$ can be constructed successively by solving certain linear equalities and inequalities.
Under the orderability assumption on $\mathcal{G}$, the space $\mathcal{C}(\mathcal{G})$ fibers over the ``space of polytopes" that are combinatorially equivalent to $\mathcal{G}$, with the fiber over each polytope determined by solving linear equalities and inequalities.
In addition to assuming the orderability condition, we further exclude certain labeled combinatorial polytopes from our discussion. These polytopes form a small and exceptional class whose deformation spaces can be computed individually in elementary ways.
Namely, we do not consider the labeled combinatorial polytopes $\mathcal{G}$ such that one Coxeter polytope (hence all Coxeter polytopes) realizing $\mathcal{G}$ tessellate the sphere $\mathbb{S}^3$ or an affine chart $\mathbb{A}^3 \subset \mathbb{S}^3$ under the action of its linear reflection group.
The former case occurs if and only if the associated Coxeter group $\Gamma_\mathcal{G}$ is finite (see \eqref{labeled polytope Coxeter group} for the definition of $\Gamma_\mathcal{G}$). Additionally, we exclude Coxeter polytopes that are either cones over polygons or products of polygons with closed intervals. The remaining Coxeter polytopes, which do not fall into any of these excluded categories, are referred to as being of \textit{normal type} (see Definition \ref{normal type}).
This distinction allows us to focus on the cases where our main results apply.
Choi \cite{MR2247648} proved that if a Coxeter 3-orbifold is orderable and of normal type, then the subspace of $\mathcal{C} (\mathcal{G})$ consisting of real projective structures sharing a common fundamental domain is a smooth manifold. We will state this result precisely in Section \ref{Restricted deformation spaces} and use it to prove the following result about the smoothness of the global space $\mathcal{C} (\mathcal{G})$.
\vspace{5mm}
\noindent
\begin{minipage}{\textwidth}
\begin{theorem}\label{main theorem}
Let $\mathcal{G}$ be a labeled combinatorial 3-polytope.
Let $f$ and $e_2$ be the numbers of facets and the edges of order 2 of $\mathcal{G}$.
Suppose that $\mathcal{G}$ is orderable and is of normal type.
Suppose further that the stabilizer subgroup of $\textup{SL}_{\pm} (4, \mathbb{R})$ fixing any polyhedron $P \subset \mathbb{S}^3$ of combinatorial type $\mathcal{G}$ is trivial.
Then $\mathcal{C} (\mathcal{G})$ is a smooth manifold of dimension $3f - e_2 - 9$.
\end{theorem}
\end{minipage}
\vspace{5mm}
The proof of Theorem \ref{main theorem} follows the idea suggested by Hodgson, which is formulated in Corollary 2 of \cite{MR2247648}.
His idea presents another way to parametrize the deformation space of real projective structures on Coxeter orbifolds.
The basic idea is that the deformation space $\mathcal{C} (\mathcal{G})$ fibers over a smooth manifold whose elements are polytopes representing the class $\mathcal{G}$.
The base space is called the \textit{realization space}, and it is a smooth manifold if $\mathcal{G}$ is 3-dimensional (see Section \ref{Realization spaces}, or \cite{FilpoMolina}).
On the other hand, the non-empty fibers of the projection are called the \textit{restricted deformation spaces}.
It is proved by Choi \cite{MR2247648} that under the hypothesis of Theorem \ref{main theorem}, the restricted deformation spaces are smooth manifolds of a common dimension.
We combine these results to construct smooth charts around each element of $\mathcal{C} (\mathcal{G})$.
We cannot apply this argument for labeled combinatorial polytopes $\mathcal{G}$ of general dimensions.
One reason is that the realization spaces for some polytopes of dimension $\ne 3$ may not even be a topological manifold \cite{MR4220994}.
The orderability condition in Theorem \ref{main theorem} has a connection with Marquis' result \cite{MR2660566}.
Namely, if $\mathcal{G}$ is \textit{simple} (i.e. each vertex of $\mathcal{G}$ is joined to exactly three edges) and orderable, then $\mathcal{G}$ is a truncation polytope.
If the assumptions of Theorem \ref{main theorem} are satisfied and $\mathcal{G}$ is a truncation polytope, then the space $\mathcal{C} (\mathcal{G})$ is homeomorphic to a disjoint union of some copies of $\mathbb{R}^{e_+ - 3}$ by Marquis (Theorem 3.16, \cite{MR2660566}).
Then we see that Theorem \ref{main theorem} verifies Marquis' result, since a truncation polytope always satisfy $e = 3 (f - 2)$, and we have
\[ e_+ - 3 = (e - e_2) - 3 = 3f - e_2 - 9. \]
Therefore, Theorem \ref{main theorem} extends to the labeled combinatorial polytopes $\mathcal{G}$ which is orderable but not necessarily simple.
\vspace{5mm}
The study of deformations of Coxeter 3-orbifolds provides a way to construct new examples of real projective orbifolds via truncation and gluing.
This method was introduced in \cite{MR4524212}, and we briefly mention the process below.
Consider two Coxeter 3-orbifolds arising from hyperbolic polyhedra with ideal vertices. If each orbifold can be deformed so that one of its ideal vertices moves outside of the closure of the hyperbolic 3-space, then it is possible to truncate the orbifolds at these ‘hyperideal’ vertices, yielding new real projective orbifolds. By gluing the resulting orbifolds along the triangular faces produced by truncation, we obtain another non-hyperbolic real projective orbifold.
Understanding when a given ideal vertex admits a deformation of this type is therefore useful.
The dimension of the deformation space near the hyperbolic structure of a Coxeter 3-orbifold provides information on the extent to which such deformations can occur.
\vspace{5mm}
Table \hyperref[table]{1} shows the counts of orderable labeled combinatorial polytopes.
In the counting process, one notes that the only factor determining the orderability of a labeled combinatorial polytope is whether the integer assigned to each edge is 2 or not.
For example, when counting the number of all labeled polytopes with 5 facets, we note that there are exactly two combinatorial polytopes: the cone over a quadrilateral and the triangular prism.
The cone over a quadrilateral has 8 edges, and the triangular prism has 9 edges.
Hence, we have $2^8 + 2^9 = 768$ labeled combinatorial polytopes in total.
Among them, we have 654 labeled combinatorial polytopes which are orderable.
The other cases follow the same procedure.
Due to computational difficulty we cannot go beyond 7 faces yet.
The Mathematica code for the counts can be found at the webpage \cite{mathematica}.
\begin{table}[!ht]
\centering
\begin{tabular}{llll}
\hline
\textbf{\# of facets} & \textbf{\makecell{Orderable \\ labeled polytopes}} & \textbf{All labeled polytopes } & \textbf{Ratio} \\ \hline
4 & 64 & 64 & 1 \\
5 & 654 & 768 & 0.851563 \\
6 & 7130 & 14848 & 0.480199 \\
7 & 157334 & 421888 & 0.372928 \\ \hline
\end{tabular}
\caption{Portions of orderable Coxeter 3-orbifolds}
\label{table}
\end{table}
\vspace{5mm}
\subsection{Outline of the Paper}
Sections \ref{Section 2} to \ref{Realization spaces} present the necessary preliminaries for stating and proving Theorem \ref{main theorem}.
In Section \ref{Section 2}, we define labeled combinatorial polytopes $\mathcal{G}$ and introduce related concepts, including the deformation spaces $\mathcal{C}(\mathcal{G})$ and the Coxeter group $\Gamma_\mathcal{G}$. To facilitate the proof of our main theorem, we identify $\mathcal{C}(\mathcal{G})$ with a subspace of the quotient
\[
((\mathbb{R}^{n+1})^*)^f \times (\mathbb{R}^{n+1})^f / \textup{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f.
\]
In Section \ref{section 3}, we review some results of Vinberg on linear reflection groups. Specifically, we recall the necessary and sufficient conditions for a subgroup of $\text{SL}_\pm (n + 1, \mathbb{R})$, generated by linear reflections in the facets of a polyhedral cone, to generate a linear Coxeter group. These results are closely related to the Coxeter polytopes considered in Section \ref{Section 2} and allow us to describe the elements of
\[ ((\mathbb{R}^{n+1})^*)^f \times (\mathbb{R}^{n+1})^f / \textup{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f \]
that are identified with elements of $\mathcal{C}(\mathcal{G})$ (see Remark \ref{characterization}).
In Section \ref{Restricted deformation spaces}, we recall Choi's result \cite{MR2247648} on restricted deformation spaces of $\mathcal{G}$.
We recall the result on the smoothness of the restricted deformation spaces (Theorem \ref{restricted}), which is necessary in our proof.
We also introduce concepts such as labeled combinatorial polytopes of \textit{normal type} and describe the restricted deformation spaces in our terminology.
In Section \ref{Realization spaces}, we introduce the notion of realization spaces.
We review the results of Steinitz \cite{steinitz1916} and Filpo Molina \cite{FilpoMolina}, which state the smoothness results on the realization spaces of 3-dimensional polytopes necessary for proving our main theorem.
In Section \ref{proof of the main theorem}, we prove our main theorem by constructing a map $\overline{\rho}$ from the deformation space $\mathcal{C}(\mathcal{G})$ into the associated realization space. We use the smoothness results mentioned in previous sections to complete the proof.
In Section \ref{section 7}, we provide two examples of $\mathcal{G}$ and compute their deformation spaces $\mathcal{C}(\mathcal{G})$. The first example illustrates in detail the process of computing restricted deformation spaces and the deformation space itself using the orderability conditions. This explicit computation verifies Theorem \ref{main theorem} and describes the global structure of $\mathcal{C}(\mathcal{G})$. The second example follows a similar computation but proves that the map $\overline{\rho}$ is not necessarily a fiber bundle.
\vspace{5mm}
\noindent
\textbf{Acknowledgement}
This work is supported by the National Research Foundation of Korea under Grant number 2022R1A2C300316213.
We are grateful to Gye-Seon Lee and Jean-Paul Filpo Molina for their valuable information and discussions.
We also thank Ludovic Marquis for his helpful information and lectures.
\section{Deformation spaces of Coxeter polytopes}\label{Section 2}
In Section \hyperref[Section 2.1]{2.1}, we review the notion of \textit{labeled combinatorial 3-polytopes} $\mathcal{G}$, which can be associated to Coxeter 3-orbifolds in the manner described in the previous section.
In Section \ref{Section 2.2}, we recall the notion of the \textit{deformation space of Coxeter 3-polytopes} $\mathcal{C} (\mathcal{G})$ realizing a labeled combinatorial polytope $\mathcal{G}$.
\subsection{Labeled combinatorial polytopes}\label{Section 2.1}
We recall the definition of labeled combinatorial polytopes and related notions such as their associated Coxeter groups and Coxeter graphs.
Let $\mathbb{S}^n$ denote the \textit{projective} $n$-\textit{sphere}, defined as the quotient space $(\mathbb{R}^{n+1} \setminus \{0\}) / \sim$, where two nonzero vectors $v$ and $w$ of $\mathbb{R}^{n+1}$ are equivalent if and only if $v = tw$ for some $t > 0$.
For each subset $A \subset \mathbb{R}^{n+1}$, we let $\mathbb{S} (A)$ denote the image of $A \setminus \{0\}$ under the projection $\mathbb{R}^{n+1} \setminus \{0\} \to \mathbb{S}^n$.
An \textit{affine chart} of $\mathbb{S}^n$ is a subset of the form $\{[v] \in \mathbb{S}^n \ | \ \alpha (v) > 0 \}$ for some nonzero linear functional $\alpha$ on $\mathbb{R}^{n+1}$.
Any affine chart $\Omega$ of $\mathbb{S}^n$ can be identified with $\mathbb{R}^n$ in such a way (though not uniquely) that for each nontrivial linear subspace $W \subset \mathbb{R}^{n+1}$, the intersection $\mathbb{S} (W) \cap \Omega$ is either empty or forms an affine subspace of $\Omega = \mathbb{R}^n$.
A subset $C \subset \mathbb{S}^n$ is said to be \textit{convex} if it is contained in an affine chart of $\mathbb{S}^n$ and is convex in the affine chart.
Furthermore, the set $C$ is said to be \textit{properly convex} if its closure $\overline{C}$ is a convex and bounded subset of an affine chart of $\mathbb{S}^n$.
A \textit{convex} $n$-\textit{polytope} is a properly convex subset of $\mathbb{S}^n$, given by
\begin{align}\label{convex polytope}
P = \{ [v] \in \mathbb{S}^n \mid \alpha_1(v) \geq 0, \dots, \alpha_f(v) \geq 0 \}
\end{align}
for some nonzero linear functionals $\alpha_1, \dots, \alpha_f$ on $\mathbb{R}^{n+1}$.
Throughout this paper, we will assume that none of these defining inequalities are redundant, meaning none of the inequalities $\alpha_j \geq 0$ is implied by the others.
The boundary $\partial P$ of $P$ in $\mathbb{S}^n$ is the union of the \textit{faces} of $P$, each of which is a convex $k$-polytope for some $k < n$ in a $k$-dimensional projective subspace of $\mathbb{S}^n$.
We call the 0-dimensional (resp. 1-dimensional) faces of $P$ the \textit{vertices} (resp. \textit{edges}).
We call the codimension-1 (resp. codimension-2) faces of $P$ the \textit{facets} (resp. \textit{ridges}).
Since the inequalities $\alpha_1 \geq 0, \cdots, \alpha_f \geq 0$ are assumed to be non-redundant, the convex $n$-polytope $P$ has exactly $f$ facets.
Let $P \subset \mathbb{S}^n$ be a convex $n$-polytope.
The \textit{face lattice} $\text{FL}(P)$ of $P$ is the set of faces of $P$ partially ordered by the set inclusion.
Two convex $n$-polytopes $P$ and $P'$ are \textit{combinatorially equivalent} if there is a bijection $\phi: \text{FL}(P) \to \text{FL}(P')$ preserving the inclusion relations: $f_1 \subset f_2$ if and only if $\phi(f_1) \subset \phi(f_2)$.
A \textit{combinatorial $n$-polytope} $\mathcal{G}$ is a combinatorial equivalence class of convex $n$-polytopes.
We provide an alternative description of combinatorial polytopes, which will be essential for our subsequent discussion.
The labeled combinatorial polytope $\mathcal{G}$ can be understood as a homeomorphism class of CW-complexes, represented by a CW-complex whose underlying space is $P$, and whose $i$-dimensional cells correspond to the $i$-dimensional faces of $P$.
The notions of \textit{faces, vertices, edges, facets, ridges}, and so on in $\mathcal{G}$ are naturally derived from the corresponding notions in any of its representatives.
For example, if the facets of $P \subset \mathbb{S}^n$ are denoted by $P_1, \ldots, P_f$, we define the \textit{facets} $\mathcal{G}_1, \ldots, \mathcal{G}_f$ as the codimension-1 subcomplexes represented by $P_1, \ldots, P_f$, respectively.
For each pair of adjacent facets, $\mathcal{G}_i$ and $\mathcal{G}_j$, we assign an integer $m_{i,j} \geq 2$ to the ridge $\mathcal{G}_i \cap \mathcal{G}_j$.
The combinatorial polytope $\mathcal{G}$, together with the assigned integers, is called a \textit{labeled combinatorial polytope}.
For each labeled combinatorial polytope $\mathcal{G}$ with facets $\mathcal{G}_1, \cdots, \mathcal{G}_f$ and an assignment of integers $m_{i, j} \geq 2$, we can associate a \textit{Coxeter group}, an abstract group with the group presentation
\begin{align}\label{labeled polytope Coxeter group}
\Gamma_\mathcal{G} := \left\langle \gamma_1, \cdots, \gamma_f \ | \ \gamma_i^2 = 1, \ (\gamma_i \gamma_j)^{m_{i, j}} = 1 \right\rangle.
\end{align}
We set $m_{i, j} = \infty$ if $\mathcal{G}_i$ and $\mathcal{G}_j$ are not adjacent.
\begin{definition}\label{Coxeter graph}
For a Coxeter group $\Gamma = \Gamma_\mathcal{G}$ in the form \eqref{labeled polytope Coxeter group}, we can associate a \textit{Coxeter graph} $G_\Gamma$.
It is a weighted graph such that
\begin{enumerate}[(i)]
\item the vertices (or the nodes) are the generators $\gamma_1, \cdots, \gamma_f$;
\item two vertices $\gamma_i$, $\gamma_j$ are joined by a single edge if and only if $m_{i, j} \in \{3, 4, \cdots, \infty \}$, and in that case the edge is labeled by $m_{i, j}$.
\end{enumerate}
The labels $m_{i, j} = 3$ are conventionally omitted in the representations of Coxeter graphs; however, this convention will not be relevant in this paper.
We say that the Coxeter group $\Gamma$ is \textit{irreducible} if its associated Coxeter graph $G_\Gamma$ is a connected graph.
\end{definition}
\subsection{The deformation space $\mathcal{C} (\mathcal{G})$ of Coxeter polytopes}\label{Section 2.2}
In this section, we define the notion of Coxeter polytopes and their deformation spaces.
We will also explain the topology assigned to the deformation spaces.
\begin{definition}\label{Coxeter polytope}
Let $\mathcal{G}$ be a labeled combinatorial polytope with $f$ facets $\mathcal{G}_1, \ldots, \mathcal{G}_f$.
A \textit{Coxeter n-polytope realizing} $\mathcal{G}$ is a convex $n$-polytope $P \subset \mathbb{S}^n$ together with linear reflections $r_1, \ldots, r_f \in \text{SL}_\pm (n+1, \mathbb{R})$ such that:
\begin{enumerate}[(i)]
\item $P$ is a convex $n$-polytope combinatorially equivalent to $\mathcal{G}$, with facets $P_1, \ldots, P_f \subset P$ corresponding to the facets $\mathcal{G}_1, \ldots, \mathcal{G}_f$;
\item each $r_j$ is a reflection in the hyperplane of $\mathbb{S}^n$ supporting the facet $P_j$;
\item if the facets $P_i, P_j$ are adjacent and the integer assigned to the edge $P_i \cap P_j$ is $m_{i,j}$, then the product $r_i r_j$ has order $m_{i,j}$ in the group $\text{SL}_\pm (n+1, \mathbb{R})$; and
\item the subgroup $\Gamma \subset \text{SL}_\pm (n+1, \mathbb{R})$ generated by the linear reflections $r_1, \ldots, r_f$ satisfies the condition
\[
\text{Int} (P) \cap \gamma \cdot \text{Int} (P) = \varnothing \quad \text{for} \ \gamma \in \Gamma \setminus \{1\}.
\]
\end{enumerate}
\end{definition}
Note that the group $\text{SL}_\pm (n+1, \mathbb{R})$ acts (on the left) on the Coxeter $n$-polytopes realizing $\mathcal{G}$ by
\[
g \cdot (P, r_1, \ldots, r_f) := (g (P), g r_1 g^{-1}, \ldots, g r_f g^{-1}), \quad g \in \text{SL}_\pm (n+1, \mathbb{R}).
\]
\begin{definition}
Let $\mathcal{G}$ be a labeled combinatorial polytope with $f$ facets $\mathcal{G}_1, \ldots, \mathcal{G}_f$.
The \textit{deformation space of Coxeter n-polytopes realizing} $\mathcal{G}$ is the space
\[
\mathcal{C} (\mathcal{G}) := \{ \text{Coxeter} \ n\text{-polytopes} \ (P, r_1, \ldots, r_f) \ \text{realizing} \ \mathcal{G} \} / \text{SL}_\pm (n+1, \mathbb{R}).\footnote{All group actions considered in this paper act on spaces from the \textit{left}.
However, we will write the group on the right-hand side of the space.
}
\]
\end{definition}
Let $\mathbb{R}_+$ be the multiplicative group of positive real numbers.
The product Lie group $\text{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f$ acts on the vector space $\left((\mathbb{R}^{n+1})^*\right)^f \times (\mathbb{R}^{n+1})^f$ by
\begin{align}\label{action}
&(A, c_1, \ldots, c_f) \cdot (\alpha_1, \ldots, \alpha_f, v_1, \ldots, v_f) \notag \\
&\quad := (c_1^{-1} \alpha_1 \circ A^{-1}, \ldots, c_f^{-1} \alpha_f \circ A^{-1}, c_1 A v_1, \ldots, c_f A v_f).
\end{align}
To topologize $\mathcal{C} (\mathcal{G})$, we identify the space $\mathcal{C} (\mathcal{G})$ as a subset of the quotient space
\begin{align}\label{quotient}
\left((\mathbb{R}^{n+1})^*\right)^f \times (\mathbb{R}^{n+1})^f / ( \text{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f )
\end{align}
in the following manner.
Let $(P, r_1, \ldots, r_f)$ be a tuple representing an element of $\mathcal{C} (\mathcal{G})$, where $r_1, \ldots, r_f \in \text{SL}_\pm (n+1, \mathbb{R})$ are linear reflections in the facets $P_1, \ldots, P_f$ of the convex $n$-polytope $P$, generating a linear reflection group.
For each $j \in \{1, \ldots, f\}$, we have an expression $r_j = \text{Id} - \alpha_j \otimes v_j$ for some $\alpha_j \in (\mathbb{R}^{n+1})^*$ and $v_j \in \mathbb{R}^{n+1}$ with $\alpha_j(v_j) = 2$ and $\alpha_j (x) \geq 0$ for $x \in P$.
Then $P$ can be expressed as \eqref{convex polytope}.
For each element $[(P, r_1, \cdots, r_f)] \in \mathcal{C} (\mathcal{G})$, the tuple $(r_1, \ldots, r_f)$ of linear reflections is uniquely determined by the action of the group $\text{SL}_\pm (n+1, \mathbb{R})$ where the action is given by
\[
g \cdot (r_1, \ldots, r_f) := (g r_1 g^{-1}, \ldots, g r_f g^{-1}).
\]
Moreover, for each reflection $r_j = \text{Id} - \alpha_j \otimes v_j$ with $\alpha_j (v_j) = 2$, the tuple $(\alpha_j, v_j)$ is determined by the action of the multiplicative group $\mathbb{R}_+$ given by
\[
c \cdot (\alpha_j, v_j) := (c^{-1} \alpha_j, c v_j).
\]
Hence, the element $[(P, r_1, \ldots, r_f)] \in \mathcal{C} (\mathcal{G})$ determines a unique element
\[ \Phi ([(P, r_1, \ldots, r_f)]) := [(\alpha_1, \ldots, \alpha_f, v_1, \ldots, v_f)] \]
of the orbit space in \eqref{quotient}.
Thus, we have obtained a map
\[ \Phi: \mathcal{C} (\mathcal{G}) \to \left((\mathbb{R}^{n+1})^*\right)^f \times (\mathbb{R}^{n+1})^f / ( \text{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f ). \]
By the following lemma, the map $\Phi$ is injective.
Throughout this paper, we give $\mathcal{C} (\mathcal{G})$ the topology induced by the injective map $\Phi$.
This identification will be useful in the proof of our main theorem, particularly in relating the space $\mathcal{C} (\mathcal{G})$ to the \textit{realization space}, which will be discussed in Section \hyperref[Realization spaces]{5}.
\begin{lemma}\label{embedding lemma}
The map $\Phi$ is injective.
In particular, there is a unique topology on $\mathcal{C} (\mathcal{G})$ such that the map $\Phi$ is a topological embedding.
\end{lemma}
\begin{proof}
The map $\Phi$ is defined by associating to each equivalence class $[(P, r_1, \ldots, r_f)] \in \mathcal{C} (\mathcal{G})$ the orbit $[(\alpha_1, \ldots, \alpha_f, v_1, \ldots, v_f)]$ of $(\alpha_1, \ldots, \alpha_f, v_1, \ldots, v_f)$ with $r_j = \text{Id} - \alpha_j \otimes v_j$ under the action of $\text{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f$ as described in \eqref{action}.
Since each orbit $[(\alpha_j, v_j)]$ uniquely determines the linear reflection $r_j = \text{Id} - \alpha_j \otimes v_j$ up to projective equivalence, and since the convex polytope $P$ is determined (up to projective equivalence) by the collection of inequalities $\alpha_j(x) \geq 0$, $\Phi$ is injective.
\end{proof}
\vspace{5mm}
\section{The theory of Vinberg}\label{section 3}
Vinberg \cite{MR0302779} characterized the discrete subgroups $\Gamma$ of $\text{SL}_\pm (n+1, \mathbb{R})$ generated by reflections in the facets of convex polyhedra in $\mathbb{S}^n$, in terms of the linear functionals and vectors defining these reflections. It is shown that these linear functionals and vectors must satisfy specific real polynomial equalities and inequalities.
Moreover, Vinberg's results provide a method to construct the universal covering manifold of a given Coxeter $n$-orbifold.
Using this method, we can identify the deformation space $\mathcal{C} (\mathcal{G})$ as a subspace of the deformation space of real projective structures on the Coxeter orbifold associated with $\mathcal{G}$.
This process will be briefly mentioned in Theorem \ref{Vinberg 2} and Remark \ref{subspace} but will not be discussed in detail, as it does not appear in the subsequent discussions.
In this section, we present some of Vinberg's results, the first of which will be frequently used in our discussions.
Additionally, we strengthen Lemma \ref{embedding lemma} by describing the image of the embedding $\Phi$ (Remark \ref{characterization}).
\vspace{5mm}
A linear transformation $A \in \text{GL} (n+1, \mathbb{R})$ is called a \textit{linear reflection} if $A^2 = I$ (hence diagonalizable) and it has $-1$ as its eigenvalue with algebraic multiplicity $1$.
Then $A$ can be written in the form $A = \text{Id} - \alpha \otimes v$ for some linear functional $\alpha \in (\mathbb{R}^{d + 1})^* \setminus \{0\}$ and vector $v \in \mathbb{R}^{d + 1} \setminus \{0\}$ with $\alpha (v) = 2$.
The vector $v$ is an eigenvector of $A$ corresponding to the simple eigenvalue $-1$, and the kernel of $\alpha$ is fixed pointwise by the linear reflection $A$.
Let $K \subset \mathbb{R}^{n+1}$ be a convex polyhedral cone given by
\[ K := \{ x \in \mathbb{R}^{n+1} \ | \ \alpha_j (x) \geq 0, \ j = 1, \cdots, f \}, \]
for some linear functionals $\alpha_1, \cdots, \alpha_f \in (\mathbb{R}^{n+1})^* \setminus \{0\}$.
Let $v_1, \cdots, v_f \in \mathbb{R}^{n + 1}$ be vectors with $\alpha_j (v_j) = 2$ and let $R_j := I - \alpha_j \otimes v_j$ be the reflection determined by $\alpha_j, v_j$.
We further assume that $K$ has nonempty interior and each inequality $\alpha_j \geq 0$ is not implied by the other $(f-1)$ inequalities.
The subgroup $\Gamma$ of $\text{GL} (n+1, \mathbb{R})$ generated by the $f$ reflections $R_1, \cdots, R_f$ is called a \textit{linear reflection group generated by the reflections} $R_1, \cdots, R_f$ if we further have
\[ \gamma \cdot K \cap K = \varnothing \quad \text{for} \ \gamma \in \Gamma \setminus \{1\}. \]
Linear reflection groups are also called \textit{linear Coxeter groups or discrete linear groups} \cite{MR0302779}.
In this setting, we have the following theorem.
\begin{theorem} \textup{(\cite{MR0302779}, Theorem 1)} \label{Vinberg 1}
Let $K$, $\alpha_j$, $v_j$ and $R_j$, $j = 1, \cdots, f$ be as above.
Then the subgroup of $\textup{GL} (n + 1, \mathbb{R})$ generated by $R_1, \cdots, R_f$ is a linear reflection group if and only if $\alpha_1, \cdots, \alpha_f$, $v_1, \cdots, v_f$ satisfy the following conditions:
\begin{enumerate}
\item[\textup{(i)}] $\alpha_i (v_j) \leq 0$ if $i \ne j$;
\item[\textup{(ii)}] $\alpha_i (v_j) = 0$ if and only if $\alpha_j (v_i) = 0$;
\item[\textup{(iii)}] $\alpha_i (v_j) \alpha_j (v_i) \geq 4$ or $\alpha_i (v_j) \alpha_j (v_i) = 4 \cos^2 (\frac{\pi}{n_{i,j}})$ for some integer $n_{i,j} \geq 2$.
\end{enumerate}
In this case, the polyhedral cone $K$ is a fundamental domain of the discrete subgroup, and the subgroup is isomorphic to the abstract group
\begin{align}\label{Coxeter group}
\left\langle \gamma_1, \cdots, \gamma_f \ | \ \gamma_1^2 = \cdots = \gamma_f^2 = 1, \ (\gamma_i \gamma_j)^{n_{i,j}} = 1 \right\rangle,
\end{align}
via the isomorphism $R_j \mapsto r_j$.
Here, we have $n_{i, j} = 1$ if $i = j$.
If $i \ne j$ and $\alpha_i (v_j) \alpha_j (v_i) \geq 4$, then the relation $(\gamma_i \gamma_j)^{n_{i,j}} = 1$ is omitted from the group presentation \eqref{Coxeter group}.
\end{theorem}
The following theorem and its subsequent Remark \ref{subspace} enable us to relate the deformation space $\mathcal{C} (\mathcal{G})$ of Coxeter polytopes realizing the labeled combinatorial polytope $\mathcal{G}$ with the deformation space of real projective structures on the Coxeter orbifold associated to $\mathcal{G}$ (see Section \ref{introduction}).
\begin{theorem} \textup{(\cite{MR0302779}, Theorem 2)}\label{Vinberg 2}
Let $\Gamma \subset \textup{SL}_\pm(n+1, \mathbb{R})$ be a linear reflection group generated by reflections $R_1, \cdots, R_f \in \textup{SL}_\pm(n+1, \mathbb{R})$ in the facets of a convex polyhedral cone $K$.
For each $x \in K$, let $\Gamma_x$ denote the subgroup of $\Gamma$ generated by reflections in those facets of $K$ which contain $x$.
Define
\[ K^f := \{ x \in K \ | \ \Gamma_x \ \textup{is finite} \}. \]
Then the following assertions are true.
\begin{enumerate}
\item[\textup{(i)}] $\bigcup_{\gamma \in \Gamma} \gamma K$ is a convex cone.
\item[\textup{(ii)}] $\Gamma$ acts discretely on the interior $\widetilde{\Omega} := \textup{Int} \left( \bigcup_{\gamma \in \Gamma} \gamma K \right) $ of the cone $\bigcup_{\gamma \in \Gamma} \gamma K$.
\item[\textup{(iii)}] $\widetilde{\Omega} \cap K = K^f$.
\item[\textup{(iv)}] The canonical map $K^f \to \widetilde{\Omega} / \Gamma$ is a homeomorphism.
\item[\textup{(v)}] For every $x \in K$, $\Gamma_x \subset \Gamma$ is the stabilizer of $x$ in $\Gamma$.
\item[\textup{(vi)}] For every pair $K_i, K_j$ of $K$ supported by the functionals $\alpha_i, \alpha_j$, let $n_{ij}$ denote the order of $R_i R_j$ ($n_{ij}$ may be infinite).
Then
\[ R_i^2 = 1, \quad (R_i R_j)^{n_{ij}} = 1 \]
is a system of defining relations for $\Gamma$.
\end{enumerate}
\end{theorem}
\begin{remark}\label{subspace}
Let $K^f, \widetilde{\Omega}$ be as in the theorem.
Let $\pi: \mathbb{R}^{n + 1} \setminus \{0\} \to \mathbb{S}^n$ be the natural projection and let $\Omega := \pi (\widetilde{\Omega})$, $\widehat{P}:= \pi (K^f)$.
Since $\widetilde{\Omega}$ is convex by Theorem \hyperref[Vinberg 2]{3.2}, its projectivization $\Omega \subset \mathbb{S}^n$ is also convex.
Therefore, the quotient $\Omega / \Gamma$ gives a convex real projective structure on the orbifold $\widehat{P}$.
In fact, Theorem 2 of \cite{MR2247648} states that every real projective structure on a Coxeter orbifold is convex when the orbifold is 3-dimensional.
\end{remark}
\begin{remark}\label{characterization}
Recall from Lemma \ref{embedding lemma} that the space $\mathcal{C} (\mathcal{G})$ can be identified as a subspace of the quotient space \eqref{quotient}.
We can improve the lemma by describing the image of the embedding $\Phi$ as follows.
It follows from Theorem \hyperref[Vinberg 1]{3.1} and the definition of $\mathcal{C} (\mathcal{G})$ that
\[ [(\alpha, v)] = [(\alpha_1, \cdots, \alpha_f, v_1, \cdots, v_f)] \in ((\mathbb{R}^{n+1})^*)^f \times (\mathbb{R}^{n+1})^f / \textup{SL}_\pm (n+1, \mathbb{R}) \times \mathbb{R}_+^f \]
belongs to (the image of) $\mathcal{C} (\mathcal{G})$ if and only if
\begin{enumerate}
\item[\textup{(i)}] $\alpha_i (v_j) \leq 0$ if $i \ne j$;
\item[\textup{(ii)}] $\alpha_i (v_j) = 0$ if and only if $\alpha_j (v_i) = 0$;
\item[\textup{(iii)}] $\alpha_i (v_j) \alpha_j (v_i) \geq 4$ or $\alpha_i (v_j) \alpha_j (v_i) = 4 \cos^2 (\frac{\pi}{n_{i,j}})$ for some integer $n_{i,j} \geq 2$;
\item[\textup{(iv)}] the projectivization of the polyhedral cone $\{x \in \mathbb{R}^{n+1} \ | \ \alpha_j \geq 0 \ \text{for each} \ j\}$ in $\mathbb{S}^n$ is a convex $n$-polytope representing the combinatorial polytope $\mathcal{G}$, so that the facet supported by $\alpha_j$ represents $\mathcal{G}_j$.
\end{enumerate}
\end{remark}
\vspace{5mm}
\section{Restricted deformation spaces}\label{Restricted deformation spaces}
Given a discrete subgroup $\Gamma \subset \text{SL}_\pm (n + 1, \mathbb{R})$ preserving a convex open domain $\Omega \subset \mathbb{S}^n$, it admits fundamental domains $D \subset \Omega$ such that $\bigcup_{\gamma \in \Gamma} \gamma \cdot D = \Omega$.
Choi \cite{MR2247648} proved that if a Coxeter 3-orbifold is orderable and satisfies certain generic conditions, then the space consisting of real projective structures whose holonomy representations share a common fixed fundamental domain is a smooth manifold.
Such spaces are called the \textit{restricted deformation spaces}.
In this section, we recall the precise notion of restricted deformation spaces and the sufficient conditions under which Coxeter 3-orbifolds admit smooth restricted deformation spaces.
\vspace{5mm}
Let $P, Q \subset \mathbb{S}^3$ be two convex 3-polytopes.
We say that they are \textit{projectively equivalent} if there is some automorphism $A \in \text{SL}_\pm (4, \mathbb{R})$ of $\mathbb{S}^3$ such that $A (P) = Q$.
Let $\mathcal{G}$ be a labeled combinatorial polytope and let $\mathcal{C} (\mathcal{G})$ be the deformation space of Coxeter 3-polytopes.
We consider an equivalence relation $\sim$ on $\mathcal{C} (\mathcal{G})$ by saying that $[(P, r_1, \cdots, r_f)] \sim [(P', r_1', \cdots, r_f')]$ if and only if $P$ and $P'$ are projectively equivalent.
We denote each equivalence class represented by $[(P, r_1, \cdots, r_f)]$ by $\mathcal{C}_P (\mathcal{G})$ and call it the \textit{restricted deformation space with fundamental polytope} $P$.
The following two definitions involve our main assumptions on the labeled combinatorial polytopes $\mathcal{G}$.
\begin{definition}\label{orderable}
A labeled combinatorial polytope $\mathcal{G}$ is \textit{orderable} if the $f$ facets of $\mathcal{G}$ can be totally ordered as $\mathcal{G}_1, \cdots, \mathcal{G}_f$ so that each facet $\mathcal{G}_i$ has at most three edges such that each of them is either (i) of order 2 or (ii) the common edge of the facets $\mathcal{G}_i$ and $\mathcal{G}_j$ with $j < i$.
\end{definition}
\begin{definition}\label{normal type}
We say that $\mathcal{G}$ is of \textit{normal type} if $\mathcal{G}$ does \textit{not} satisfy any of the following conditions:
\begin{enumerate}[(i)]
\item $\mathcal{G}$ is a cone over a polygon and the integers assigned to the edges of the base polygon are all 2;
\item $\mathcal{G}$ equals a polygon times a closed interval and the edge orders assigned to the edges of the two base polygons are all 2;
\item the associated Coxeter group $\Gamma_\mathcal{G}$ (see \eqref{labeled polytope Coxeter group}) is finite.
\item $\mathcal{G}$ admits an affine Coxeter group representation, i.e. there is a Coxeter polytope $(P, r_1, \cdots, r_f)$ realizing $\mathcal{G}$ such that the interior of $\bigcup_{\gamma \in \Gamma_\mathcal{G}} \gamma \cdot P$ is contained in an affine chart of $\mathbb{S}^3$ which is invariant under $r_1, \cdots, r_f$.
\end{enumerate}
\end{definition}
\begin{remark}
Let $\Gamma_\mathcal{G}$ be the Coxeter group associated with $\mathcal{G}$.
If $\Gamma_\mathcal{G}$ is irreducible (see Definition \ref{Coxeter graph}), then by Margulis-Vinberg \cite{MR1748082}, the group is either:
\begin{enumerate}[(i)]
\item \textit{spherical} (i.e. finite);
\item \textit{affine} (i.e. infinite and virtually abelian);
\item \textit{large} (i.e. there exists a finite-index subgroup of $\Gamma_\mathcal{G}$ admitting a surjective homomorphism onto a free group of rank $\geq 2$).
\end{enumerate}
If $\Gamma_\mathcal{G}$ is both irreducible and large, then $\mathcal{G}$ is of normal type.
In particular, many Coxeter orbifolds including hyperbolic Coxeter orbifolds of finite volume correspond to irreducible and large Coxeter groups and hence they are of normal type.
\end{remark}
\begin{proposition}
Let $\mathcal{G}$ be a labeled combinatorial 3-polytope and let $\Gamma_\mathcal{G}$ be its associated Coxeter group.
If the Coxeter group $\Gamma_\mathcal{G}$ is irreducible and large, then $\mathcal{G}$ is of normal type.
\end{proposition}
\begin{proof}
Since the Coxeter group $\Gamma_\mathcal{G}$ is irreducible but not spherical, none of the conditions (i), (ii), and (iii) of Definition \ref{normal type} is satisfied.
Let $(P, r_1, \dots, r_f)$ be a Coxeter 3-polytope realizing $\mathcal{G}$.
It remains to show that the reflections $r_1, \dots, r_f$ do not simultaneously preserve an affine chart of $\mathbb{S}^3$ containing the interior of $\bigcup_{\gamma \in \Gamma_\mathcal{G}} \gamma \cdot P$.
The linear reflections $r_1, \dots, r_f \in \mathrm{SL}_\pm(4, \mathbb{R})$ can be expressed as
\[
r_i(x) = x - \alpha_i(x)v_i,
\]
for some $\alpha_i \in (\mathbb{R}^4)^*$ and $v_i \in \mathbb{R}^4$ such that $\alpha_i(v_i) = 2$. We consider the corresponding \textit{Cartan matrix} $A := [\alpha_i(v_j)]_{i,j=1}^f$ (see \cite{MR0302779}, \cite{Danciger2024}, or \cite{MR3692900} for the definition of Cartan matrices).
Since $\Gamma_\mathcal{G}$ is irreducible and large, the Cartan matrix $A$ is of negative type, i.e., its lowest real eigenvalue is negative (see Fact 3.17 of \cite{Danciger2024}). Moreover, the rank of $A$ is either 3 or 4 by Proposition 15 in \cite{MR0302779}.
\paragraph{Case 1: $\text{rank}(A) = 4$.}
If $\text{rank}(A) = 4$, then the reflections $r_1, \dots, r_f$ do not simultaneously preserve a nontrivial linear subspace of $\mathbb{R}^4$ by Proposition 19 in \cite{MR0302779} and its corollary.
Consequently, they do not preserve any affine chart of $\mathbb{S}^3$.
\paragraph{Case 2: $\text{rank}(A) = 3$.}
If $\text{rank}(A) = 3$, then the vectors $v_1, \dots, v_f$ span a 3-dimensional subspace of $\mathbb{R}^4$. Suppose, for contradiction, that $r_1, \dots, r_f$ simultaneously preserve an affine chart $\Omega$ containing the interior of $\bigcup_{\gamma \in \Gamma_\mathcal{G}} \gamma \cdot P$. Then the boundary $\partial \Omega \subset \mathbb{S}^3$ is invariant under $r_1, \dots, r_f$ and must equal the span of $v_1, \dots, v_f$ by Proposition 19 of \cite{MR0302779}.
On the other hand, since $A$ is of negative type, there exists a vector $x = (x_1, \dots, x_f) \in \mathbb{R}^f$ with $x_i > 0$ for all $i$ such that all the entries of $A x \in \mathbb{R}^f$ are negative (see Theorem 3 of \cite{MR0302779}). Define the vector
\[
v := - \sum_{j=1}^f x_j v_j.
\]
The vector $v$ projects into the interior of the polytope $P \subset \mathbb{S}^3$, implying that $[v] \in \Omega$. However, this contradicts the fact that $[v] \in \mathbb{S}(\mathrm{Span}\{v_1, \dots, v_f\}) = \partial \Omega$.
In both cases, we conclude that the reflections $r_1, \dots, r_f$ do not simultaneously preserve an affine chart of $\mathbb{S}^3$. Thus, $\mathcal{G}$ is of normal type.
\end{proof}
We present a rephrazed version of Choi's result \cite{MR2247648} on the smoothness of the restricted deformation spaces.
\begin{theorem} \textup{(\cite{MR2247648}, Theorem 4)} \label{restricted}
Let $\mathcal{G}$ be a labeled combinatorial 3-polytope.
Let $f,e$ be the number of facets, edges of $\mathcal{G}$ and let $e_2$ be the number of edges of $\mathcal{G}$ of order 2.
Suppose that $\mathcal{G}$ is orderable and is of normal type.
Let $k (\mathcal{G})$ be the dimension of the stabilizer subgroup of $\text{SL}_\pm (4, \mathbb{R})$ fixing a convex 3-polytope in $\mathbb{S}^3$ combinatorially equivalent to $\mathcal{G}$.
Then the restricted deformation space $\mathcal{C}_P (\mathcal{G})$ is a smooth manifold of dimension $3f - e - e_2 - k(\mathcal{G})$ if it is not empty.
\end{theorem}
\begin{remark}
The number $k (\mathcal{G})$ does not depend on the choice of the convex 3-polytopes combinatorially equivalent to $\mathcal{G}$.
It can be easily checked that $k (\mathcal{G}) = 3$ if $\mathcal{G}$ is a tetrahedron, $k (\mathcal{G}) = 1$ if $\mathcal{G}$ is a cone over a polygon other than a triangle, and $k (\mathcal{G}) = 0$ otherwise.
\end{remark}
\begin{remark} \label{rem:geomded}
There was an error in the proof of Proposition 2 of \cite{MR2247648}. We need to exclude Coxeter orbifolds admitting affine structures, which is necessary for the proof of Theorem \ref{restricted}.
We will try to mend the proof here.
Let $P$ be a properly convex fundamental polytope.
Let $F_i$ be the sides of $P$.
Let $R_i$ be the reflections on the sides $F_i$ of $P$.
First, note that if the sphere of fixed points of a reflection contains an antipodal fixed point of another reflection, then those two reflections must commute, and their associated sides must meet in an edge, and their edge order is $2$.
We need to show that there is no holonomy-invariant disjoint union of one or two $1$-dimensional subspaces or
holonomy-invariant $2$-dimensional subspaces.
Suppose that $l$ is a holonomy-invariant disjoint union of one or two $1$-dimensional subspaces.
The case of the two $1$-dimensional subspaces reduces to the first one because a reflection must act on
each $1$-dimensional subspace if it acts on a disjoint union of two $1$-dimensional subspaces.
Let $l$ be a holonomy-invariant $1$-dimensional subspace.
If a face is contained in a $2$-dimensional subspace containing $l$, we call it a {\em parallel} face.
The associated reflection is also called {\em parallel}.
If not, it is called a {\em transverse} face.
The associated reflection is called {\em transverse}.
In this case, the antipodal fixed point must lie on $l$, and the fixed point subspace must intersect $l$ transversely.
Suppose that $\Omega \cap l = \varnothing$.
Then $P$ must have at most two parallel sides $F_i$ and $F_j$.
If there are exactly two parallel sides $F_i$ and $F_j$, then $R_i$ and $R_j$ commute with all other reflections.
Hence, we violated the normality.
Otherwise, we cannot have a compact $P$: If there is one parallel face, then
the group is just an extension of
the $2$-dimensional Coxeter group by a reflection of the face. This follows from the first paragraph above.
If there is no parallel face, then each sphere containing $l$
is invariant by the nature of transversal reflections, and again we have a $2$-dimensional Coxeter group.
These do not have properly convex fundamental polytopes with some vertices removed.
Suppose that $\Omega \cap l \ne \varnothing$. If there is a pair of adjacent transverse faces $F_i$ and $F_j$,
then $R_i$ and $R_j$ generate a finite group, and by their action and convexity, we must have $\Omega \supset l$.
This implies $\Omega = \mathbb{S}^3$ by convexity, and we must have a finite Coxeter group, contradicting the normality.
Also, there can be at most two parallel faces since $P$ is a properly convex polytope.
From these two facts, it follows that there must be at most one transverse face and at most two parallel faces.
We cannot construct a properly convex $P$ in this situation.
Suppose that $S$ is a holonomy-invariant $2$-dimensional subspace.
If $S \cap \Omega = \varnothing$, then there is an
invariant affine subspace containing $\Omega$, and our orbifold admits an affine structure.
The old proof correctly rules out $S \cap \Omega \ne \varnothing$. We explain a bit more.
In the old proof, we chose the fundamental polytope $P$ so that $P\cap S \ne \varnothing$. Also, to deduce
the infinite edge orders, we tacitly used the fact that
our holonomy group acts as a $2$-dimensional Coxeter group on $S\cap\Omega$.
\qed
\end{remark}
\vspace{5mm}
For two non-projectively-equivalent convex 3-polytopes $P, P' \subset \mathbb{S}^3$ representing a common combinatorial polytope $\mathcal{G}$, the associated restricted deformation spaces $\mathcal{C}_P (\mathcal{G})$ and $\mathcal{C}_{P'} (\mathcal{G})$ may not be homeomorphic to each other, even if $\mathcal{G}$ satisfies the hypothesis of Theorem \hyperref[restricted]{4.1}.
It may happen that one restricted deformation space $\mathcal{C}_P (\mathcal{G})$ is empty while another restricted deformation space $\mathcal{C}_{P'} (\mathcal{G})$ is not.
Moreover, even if both $\mathcal{C}_P (\mathcal{G})$ and $\mathcal{C}_{P'} (\mathcal{G})$ are non-empty, those spaces may not be homeomorphic to each other in general.
We will see an example (Example \hyperref[counterexample]{7.2}) in which the above phenomena occur simultaneously.
Let $\mathcal{G}$ be a labeled combinatorial polytope.
Each element $[(P, r_1, \cdots, r_f)] \in \mathcal{C} (\mathcal{G})$ determines a projective equivalence class $[P]$ of a convex 3-polytope $P \subset \mathbb{S}^3$, where $P$ represents the combinatorial polytope $\mathcal{G}$.
Thus it is natural to consider the space of projective equivalence classes $[P]$ of convex polytopes $P \subset \mathbb{S}^3$ representing $\mathcal{G}$, and consider the projection given by $[(P, r_1, \cdots, r_f)] \mapsto [P]$ of $\mathcal{C} (\mathcal{G})$ into that space.
The nonempty fibers of this projection are precisely the restricted deformation spaces of $\mathcal{G}$ by definition.
In the next section, we study this space of polytopes representing $\mathcal{G}$.
\vspace{5mm}
\section{Realization spaces}\label{Realization spaces}
In this section, we recall the notion of realization spaces for convex 3-polytopes.
Essentially, the realization space of a fixed combinatorial 3-polytope is the set of all convex 3-polytopes in $\mathbb{S}^3$ that share the same combinatorial type, modulo projective equivalence.
Steinitz \cite{steinitz1916} studied a related realization space consisting of 3-dimensional polytopes in the affine 3-space $\mathbb{A}^3$ modulo affine equivalence, proving that the realization space of each affine 3-polytope is a cell.
See also \cite{MR1482230}, which introduces the realization spaces of affine 3-polytopes and includes a proof of Steinitz's result.
For the proof of Theorem \ref{main theorem}, we require an analogous result for the realization spaces of \textit{projective} 3-polytopes.
At the end of this section, we will recall a theorem regarding the smoothness of the realization spaces of projective 3-polytopes.
\vspace{5mm}
For each subset $A \subset \mathbb{S}^3$, let $\text{conv} (A) \subset \mathbb{S}^3$ denote the convex hull of $A$ in $\mathbb{S}^3$.
\begin{definition}\label{realization}
Let $\mathcal{G}$ be a combinatorial 3-polytope, whose edges need not be labeled by integers.
Let $\mathcal{V}$ be the set of vertices of $\mathcal{G}$.
A \textit{realization of} $\mathcal{G}$ is a tuple $(p_v)_{v \in \mathcal{V}} \in (\mathbb{S}^3)^\mathcal{V}$ such that
\begin{enumerate}[(i)]
\item $P := \text{conv} \{ p_v \ | \ v \in \mathcal{V} \} \subset \mathbb{S}^3$ is a convex 3-polytope combinatorially equivalent to $\mathcal{G}$;
\item for each subset $\mathcal{F} \subset \mathcal{V}$, the subset $\text{conv} (\{p_v \ | \ v \in \mathcal{F}\} ) \subset P$ is a face of $P$ (in an arbitrary dimension) if and only if $\mathcal{F}$ is the set of vertices of a face of $\mathcal{G}$ of same dimension.
\end{enumerate}
\end{definition}
\begin{definition}\label{pre-realization space}
The \textit{pre-realization space} $\overline{\mathcal{RS}} (\mathcal{G})$ is the set of all the realizations of $\mathcal{G}$.
\end{definition}
Note that the pre-realization space $\overline{\mathcal{RS}} (\mathcal{G})$ is a subset of the product $(\mathbb{S}^3)^\mathcal{V}$.
We endow $\overline{\mathcal{RS}} (\mathcal{G})$ the subspace topology.
Note that the group $\text{SL}_\pm (4, \mathbb{R})$ of projective automorphisms of $\mathbb{S}^3$ acts on the space $\overline{\mathcal{RS}} (\mathcal{G})$ by
\begin{align}\label{pre-realization action}
A \cdot (p_v)_{v \in \mathcal{V}} := (A \cdot p_v)_{v \in \mathcal{V}},
\end{align}
where we identify $A \in \text{SL}_\pm (4, \mathbb{R})$ as a projective automorphism $A: \mathbb{S}^3 \to \mathbb{S}^3$.
\begin{definition}
The (\textit{projective}) \text{realization space} of $\mathcal{G}$ is the quotient space $\mathcal{RS} (\mathcal{G}) := \overline{\mathcal{RS}} (\mathcal{G}) / \text{SL}_\pm (4, \mathbb{R})$.
\end{definition}
We can define the \textit{affine realization spaces} of $\mathcal{G}$ analogously by requiring its realizations lie in an affine space $\mathbb{A}^3$ and by replacing the group $\text{SL}_\pm (4, \mathbb{R})$ by the group $\text{Aff} (3, \mathbb{R})$ of affine automorphisms.
A classical result of Steinitz \cite{steinitz1916} states that the affine realization space of a 3-polytope having $e$ edges is homeomorphic to $\mathbb{R}^{e - 6}$.
Filpo Molina \cite{FilpoMolina} extended the result to the projective geometry.
We state the result in our terminology as follows.
\begin{theorem} \textup{(\cite{FilpoMolina}, Theorem B)} \label{realization spaces}
Let $\mathcal{G}$ be a combinatorial 3-polytope with $e$-edges that is not combinatorially equivalent to a cone over a polygonal base.
Then the projective realization space $\mathcal{RS} (\mathcal{G})$ is a smooth manifold of dimension $e - 9$.
\end{theorem}
Note that if $P \subset \mathbb{S}^3$ is a convex 3-polytope that is not combinatorially equivalent to a cone over a polygonal base, then $e \geq 9$.
This can be verified as follows.
Let $e_j$ denote the number of edges of the $j$-th facet of $P$.
Since $e_j \geq 3$ for each $j$, we have
\[
e = \frac{1}{2} \sum_{j = 1}^{f} e_j
\geq \frac{3f}{2}.
\]
This implies that $e \geq 9$ if $f \geq 6$.
If $f = 5$, then $P$ is either a triangular prism or a cone over a quadrilateral.
Each triangular prism has exactly 9 edges, and cones over quadrilaterals are excluded by our assumption.
If $f = 4$, then $P$ is a tetrahedron, which is always a cone over a triangle.
\begin{remark}
For dimensions $d > 3$, the realization spaces of convex $d$-polytopes can be defined analogously.
However, the realization spaces of some polytopes may not be topological manifolds in general. (See \cite{MR4220994}.)
For the purpose of proving the smoothness of the deformation space $\mathcal{C} (\mathcal{G})$, we thus restrict our attention to the 3-dimensional polytopes.
\end{remark}
\vspace{5mm}
\section{The proof of the main theorem}\label{proof of the main theorem}
In this section, we prove Theorem \ref{main theorem}.
The starting point is to consider a map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ that ``forgets" the reflection data (explained in Section \ref{Section 6.2}).
The smoothness of $\mathcal{C} (\mathcal{G})$ will essentially follow from the smoothness of the realization space $\mathcal{RS} (\mathcal{G})$ and the nonempty fibers of the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$.
The realization space $\mathcal{RS} (\mathcal{G})$, as described in Section \ref{Realization spaces}, is expressed in terms of the vertices of the polytopes.
It will be more convenient, however, to describe the realization space in terms of the facets of the polytopes.
We achieve this in Section \ref{reparametrization} by embedding $\mathcal{RS} (\mathcal{G})$ in a quotient space of $(V^*)^f$.
In Section \ref{Section 6.2}, we consider an open map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ whose nonempty fibers correspond to the restricted deformation spaces discussed in Section \ref{Restricted deformation spaces}.
Section \ref{Section 6.3} uses this map to construct a smooth manifold $\widetilde{\mathcal{D}} (\mathcal{G})$.
Finally, in Section \ref{Section 6.4}, we show that the quotient of $\widetilde{\mathcal{D}} (\mathcal{G})$ by the Lie group $\text{SL}_\pm (4, \mathbb{R}) \times \mathbb{R}_+^f$ is homeomorphic to $\mathcal{C} (\mathcal{G})$, thereby inducing a smooth structure on $\mathcal{C} (\mathcal{G})$.
Throughout this section, we adopt the following settings. Let $\mathcal{G}$ be an orderable, labeled combinatorial 3-polytope satisfying the conditions of Theorem \ref{main theorem}.
Let $\mathcal{V}$ be the set of vertices of $\mathcal{G}$.
We label the $f$ facets of $\mathcal{G}$ as $\mathcal{G}_1, \ldots, \mathcal{G}_f$, and denote by $m_{i,j}$ the integer $\geq 2$ assigned to the edge (= ridge) $\mathcal{G}_i \cap \mathcal{G}_j$, whenever it is defined.
Let $V = \mathbb{R}^4$ be a 4-dimensional real vector space, and let $\mathbb{S}^3 := \mathbb{S}(V)$ denote the real projective 3-sphere obtained by projectivizing $V$.
The group of linear automorphisms of $V$ with determinant $\pm 1$ is denoted by $\text{SL}_\pm(V) = \text{SL}_\pm(4, \mathbb{R})$, which can also be viewed as the group of projective automorphisms of $\mathbb{S}^3$.
Lastly, let $\mathbb{R}_+$ be the one-dimensional group of positive real numbers, and define $\mathbb{G} := \text{SL}_\pm (V) \times \mathbb{R}_+^f$, which is a product Lie group of dimension $15 + f$.
\subsection{Reparametrizing the realization space}\label{reparametrization}
In Section \ref{Realization spaces}, we considered the realization spaces of convex 3-polytopes.
In the settings of Section \ref{Realization spaces}, each polytope (realization) is described in terms of its vertices, as the vertices determine the polytope by taking the convex hull.
However, it will be more beneficial for us to describe the polytopes in terms of their facets.
More specifically, for each convex 3-polytope $P$ with $f$ facets $P_1, \cdots, P_f \subset P$, there exist $f$ linear functionals $\alpha_1, \cdots, \alpha_f \in V^*$ such that $P$ is defined by the linear inequalities $\alpha_i \geq 0$, with each facet $P_i$ supported by the hyperplane of $\mathbb{S}^3$ determined by $\alpha_i$.
These functionals $\alpha_i$ are not uniquely defined by $P$, as any positive scalar multiple of $\alpha_i$ also supports the facet $P_i$.
In this way, $P$ determines an element of the quotient $(V^*)^f / \mathbb{R}_+^f$.
On the other hand, each element of the realization space is a \textit{projective} equivalence class of a convex 3-polytope, so the corresponding element of $(V^*)^f / \mathbb{R}_+^f$ is uniquely determined up to the action of $\text{SL}_\pm (V)$.
Thus, each realization of a polytope determines a unique element of
\[ (V^*)^f / (\mathbb{R}_+^f \times \text{SL}_\pm (V)) = (V^*)^f / \mathbb{G}. \]
We describe the elements of $(V^*)^f / \mathbb{G}$ that arise as the image of a realization.
For computational purposes, it will be convenient to consider the lift of these elements in $(V^*)^f$ under the projection $(V^*)^f \to (V^*)^f / \mathbb{G}$.
In this subsection, we consider these constructions in detail.
% Throughout this section, let $P \subset \mathbb{S}^3$ be a convex 3-polytope representing the underlying combinatorial polytope of $\mathcal{G}$.
% Let $\mathcal{RS} (\mathcal{G})$ denote the realization space of $\mathcal{G}$.
Recall from Lemma \ref{embedding lemma} that we have an embedding $\mathcal{C}(\mathcal{G}) \to ((V^*)^f \times V^f) / \mathbb{G}$.
Similarly, for the realization spaces, we will consider an embedding of the realization space $\mathcal{RS}(\mathcal{G})$ into $(V^*)^f / \mathbb{G}$.
\vspace{5mm}
Now we make the above considerations precise.
Let $\overline{\mathcal{RS}}(\mathcal{G})$ be the pre-realization space of $\mathcal{G}$ (see Definition \ref{pre-realization space}).
Then, $\mathcal{RS}(\mathcal{G})$ is the quotient space $\overline{\mathcal{RS}}(\mathcal{G}) / \text{SL}_\pm(V)$.
We first construct an embedding $\overline{\mathcal{RS}}(\mathcal{G}) \to (V^*)^f / \mathbb{R}_+^f$, where $(V^*)^f / \mathbb{R}_+^f$ is the quotient space obtained by the action of the group $\mathbb{R}_+^f$ on $(V^*)^f$ given by
\[
(c_1, \ldots, c_f) \cdot (\alpha_1, \ldots, \alpha_f) := (c_1^{-1} \alpha_1, \ldots, c_f^{-1} \alpha_f).
\]
Let $(p_v)_{v \in \mathcal{V}} \in \overline{\mathcal{RS}}(\mathcal{G})$ be a realization of $\mathcal{G}$ (see Definition \ref{realization}).
The convex hull $P := \text{conv} \{p_v \ | \ v \in \mathcal{V}\} \subset \mathbb{S}^3$ is a convex 3-polytope combinatorially equivalent to $\mathcal{G}$, so in particular $P$ has $f$ facets.
We label the $f$ facets by $P_1, \cdots, P_f$ in alignment with the labeling $\mathcal{G}_1, \cdots, \mathcal{G}_f$ of the facets of $\mathcal{G}$, i.e., in such a way that for each vertex $v$ of $\mathcal{G}$, $v \in \mathcal{G}_i$ if and only if $p_v \in P_i$.
We choose elements $\alpha_1, \ldots, \alpha_f \in V^*$ such that for each $i$ the hyperplane $\ker \alpha_i \subset V$ is projected onto the hypersphere of $\mathbb{S}^3$ containing $P_i$.
Additionally, we impose the condition $\alpha_i(x) \geq 0$ for each $x \in V$ lifting a point of $P \subset \mathbb{S}^3$.
The tuple $(\alpha_1, \ldots, \alpha_f) \in (V^*)^f$ is uniquely determined up to multiplication by positive real numbers. In this way, we obtain a map $\overline{\iota}: \overline{\mathcal{RS}}(\mathcal{G}) \to (V^*)^f / \mathbb{R}_+^f$.
\begin{lemma}\label{pre-realization embedding}
The map $\overline{\iota}: \overline{\mathcal{RS}}(\mathcal{G}) \to (V^*)^f / \mathbb{R}_+^f$ is a topological embedding.
\end{lemma}
\begin{proof}
We first prove that $\overline{\iota}$ is injective. Let $(p_v)_{v \in \mathcal{V}}$, $(p_v')_{v \in \mathcal{V}} \in \overline{\mathcal{RS}} (\mathcal{G})$ be two realizations of $\mathcal{G}$, and suppose that
\[
\overline{\iota} ((p_v)_{v \in \mathcal{V}}) = \overline{\iota} ((p_v')_{v \in \mathcal{V}}) = [(\alpha_1, \ldots, \alpha_f)].
\]
We need to show that $p_v = p_v'$ for each $v \in \mathcal{V}$.
Let $P := \text{conv} \{p_v \ | \ v \in \mathcal{V}\}$, $P' := \text{conv} \{p_v' \ | \ v \in \mathcal{V}\}$ be the convex 3-polytopes determined by $(p_v)_{v \in \mathcal{V}}$, $(p_v')_{v \in \mathcal{V}}$ respectively.
Label the facets of $P$ and $P'$ by $P_1, \cdots, P_f$ and $P_1', \cdots, P_f'$ so that they accord with the labeling $\mathcal{G}_1, \cdots, \mathcal{G}_f$ of the facets of $\mathcal{G}$.
Let $v \in \mathcal{V}$, and let $\mathcal{G}_{i_1}, \ldots, \mathcal{G}_{i_k} \subset P$ be the facets of $P$ containing the vertex $v$, so that we have
\[
\{v\} = \mathcal{G}_{i_1} \cap \cdots \cap \mathcal{G}_{i_k}.
\]
Then $(p_v)_{v \in \mathcal{V}}$ and $(p_v')_{v \in \mathcal{V}}$ satisfy analogous relations, i.e., we have
\[
\{p_v\} = \mathbb{S} (\ker \alpha_{i_1} \cap \cdots \cap \ker \alpha_{i_k}) = \{p_v'\}.
\]
This proves that $p_v = p_v'$ for each $v \in \mathcal{V}$.
Hence, $\overline{\iota}$ is injective.
We can check easily that the map $\overline{\iota}$ is continuous.
Small perturbations of the vertices of a convex 3-polytope, while maintaining its combinatorial type, result in small perturbations of the supporting hyperplanes of the facets of the resulting convex 3-polytope.
Therefore, $\overline{\iota}$ is continuous.
Finally, the inverse map $\overline{\iota}^{-1}: \overline{\iota}(\overline{\mathcal{RS}}(\mathcal{G})) \to \overline{\mathcal{RS}}(\mathcal{G})$ is continuous for a similar reason: small perturbations of the supporting hyperplanes, while maintaining the combinatorial type of the polytope, result in small perturbations of the vertices of the polytope.
Hence, $\overline{\iota}^{-1}$ is continuous.
We conclude that $\overline{\iota}$ is a topological embedding.
\end{proof}
The group $\text{SL}_\pm (V)$ acts on the space $\overline{\mathcal{RS}}(\mathcal{G})$ by the rule \eqref{pre-realization action}, and also acts on $(V^*)^f / \mathbb{R}_+^f$ by the rule
\[
A \cdot [(\alpha_1, \ldots, \alpha_f)] := [(\alpha_1 \circ A^{-1}, \ldots, \alpha_f \circ A^{-1})].
\]
It can be easily checked that the embedding $\overline{\iota}: \overline{\mathcal{RS}}(\mathcal{G}) \to (V^*)^f / \mathbb{R}_+^f$ in Lemma \ref{pre-realization embedding} is equivariant with respect to these actions.
Therefore, we obtain an embedding
\[
\iota: \mathcal{RS}(\mathcal{G}) \to \left((V^*)^f / \mathbb{R}_+^f\right) / \text{SL}_\pm (V) \cong (V^*)^f / \mathbb{G}.
\]
(Recall $\mathbb{G} = \text{SL}_\pm (V) \times \mathbb{R}_+^f$.)
In the proof of Theorem \ref{main theorem}, we use the smoothness of the realization space $\mathcal{RS}(\mathcal{G})$.
It turns out to be convenient to use the images of the maps $\overline{\iota}$ and $\iota$ instead of their domains $\overline{\mathcal{RS}}(\mathcal{G})$ and $\mathcal{RS}(\mathcal{G})$.
Hence, we introduce the following notations. We define
\[
\overline{\mathcal{E}} (\mathcal{G}) := \overline{\iota}(\overline{\mathcal{RS}}(\mathcal{G})) \subset (V^*)^f / \mathbb{R}_+^f,
\quad \mathcal{E} (\mathcal{G}) := \iota (\mathcal{RS} (\mathcal{G})) \subset (V^*)^f / \mathbb{G}.
\]
Lastly, we define $\widetilde{\mathcal{E}} (\mathcal{G})$ to be the preimage of $\mathcal{E} (\mathcal{G})$ under the projection $(V^*)^f \to (V^*)^f / \mathbb{G}$.
We have the following commuting diagram, where the vertical maps are the quotient maps induced by the corresponding group actions.
\begin{center}
\begin{tikzcd}
& & \widetilde{\mathcal{E}} (\mathcal{G}) \subset (V^*)^f \arrow[d, two heads] \\
\overline{\mathcal{RS}}(\mathcal{G}) \arrow[d, two heads] \arrow[rr, "\cong"'] \arrow[rr, "\overline{\iota}"] & & \overline{\mathcal{E}} (\mathcal{G}) \subset (V^*)^f / \mathbb{R}_+^f \arrow[d, two heads] \\
\mathcal{RS} (\mathcal{G}) = \overline{\mathcal{RS}}(\mathcal{G}) / \text{SL}_\pm (V) \arrow[rr, "\cong"'] \arrow[rr, "\iota"] & & \mathcal{E} (\mathcal{G}) \subset (V^*)^f / \mathbb{G}
\end{tikzcd}
\end{center}
We call the \textit{face lattice} of $\mathcal{G}$ to be the set of faces of $\mathcal{G}$ in all dimensions, partially ordered by the inclusion, and denote it by $\text{FL} (\mathcal{G})$.
By the construction of the map $\overline{\iota}$, we have the following description of $\widetilde{\mathcal{E}} (\mathcal{G}) \subset (V^*)^f$.
\begin{lemma}\label{realization space membership}
Let $\alpha_1, \dots, \alpha_f \in V^*$. Then $(\alpha_1, \dots, \alpha_f) \in \widetilde{\mathcal{E}}(\mathcal{G})$ if and only if the set
\[
Q := \{ [x] \in \mathbb{S}^3 \mid \alpha_i(x) \geq 0 \ \text{for all} \ i \}
\]
is a convex 3-polytope combinatorially equivalent to $\mathcal{G}$, and there exists a face-lattice isomorphism $\phi: \textup{FL}(\mathcal{G}) \to \textup{FL}(Q)$ sending each facet $\mathcal{G}_i$ to the facet of $Q$ supported by $\alpha_i$.
\end{lemma}
\begin{proof}
The ``only if" part follows directly from the construction of the map $\overline{\iota}$.
Conversely, the face-lattice isomorphism $\phi: \textup{FL}(P) \to \textup{FL}(Q)$ restricts to a labeling $q_v := \phi (v)$, $v \in \mathcal{V}$ of the vertices of $Q$. The realization $(q_v)_{v \in \mathcal{V}}$ is then mapped to $[(\alpha_1, \dots, \alpha_f)]$ via the map $\overline{\iota}$.
\end{proof}
In the proof of Theorem \ref{main theorem}, we will construct a smooth manifold and consider a proper free smooth action of the group $\mathbb{G}$ on it, such that $\mathcal{C} (\mathcal{G})$ is the resulting quotient smooth manifold.
To achieve this, we need to construct a smooth structure on $\widetilde{\mathcal{E}} (\mathcal{G})$.
For this purpose, we prove the following two lemmas.
\begin{lemma}\label{freeness lemma}
Let $\mathcal{G}$ be a combinatorial 3-polytope (whose facets need not be labeled) with $f$ facets $\mathcal{G}_1, \cdots, \mathcal{G}_f$.
Suppose $\mathcal{G}$ is not a cone over a polygon.
Let $\widetilde{\mathcal{E}} (\mathcal{G}) \subset (V^*)^f$ be the subspace constructed in the above process.
Then the action of $\mathbb{G}$ on $\widetilde{\mathcal{E}}(\mathcal{G})$ is free.
\end{lemma}
\begin{proof}
Let $\alpha = (\alpha_1, \cdots, \alpha_f) \in \widetilde{\mathcal{E}}(\mathcal{G})$, and let
\[ g = (A, c_1, \cdots, c_f) \in \mathbb{G} = \text{SL}_\pm (V) \times \mathbb{R}_+^f. \]
Suppose that $g \cdot \alpha = \alpha$.
Consider the polytope $Q = \{ [x] \in \mathbb{S}^3 \mid \alpha_i (x) \geq 0 \ \text{for all} \ i \}$, which is combinatorially equivalent to $\mathcal{G}$.
Since $g \cdot \alpha = (c_1^{-1} \alpha_1 \circ A^{-1}, \cdots, c_f^{-1} \alpha_f \circ A^{-1})$, the assumption $g \cdot \alpha = \alpha$ is equivalent to
\begin{align}\label{freeness}
c_i^{-1} \alpha_i \circ A^{-1} = \alpha_i \quad \text{for} \ i = 1, \cdots, f.
\end{align}
First, we note that the forms $\alpha_1, \cdots, \alpha_f$ span $V^*$.
If they did not span $V^*$, then there would be a point $[x] \in \mathbb{S}^3$ such that $\alpha_i (x) = 0$ for all $i$, which would imply that both $[x]$ and $[-x]$ belong to $Q$, contradicting the fact that $Q$ is properly convex.
We can assume, by reindexing the facets of $\mathcal{G}$ if necessary, that $\alpha_1, \cdots, \alpha_4$ are linearly independent.
Then for each $i \in \{5, \cdots, f\}$, there are unique coefficients $d_{i,j} \in \mathbb{R}$, $j = 1,2,3,4$, such that
\begin{align}\label{linear combination}
\alpha_i = \sum_{j = 1}^4 d_{i,j} \alpha_j.
\end{align}
We make two observations:
\begin{enumerate}[1.]
\item For each $ i \in \{5, \cdots, f\} $, at most one of the coefficients $ d_{i,j} $ is zero. If two of the coefficients $ d_{i,j} $, say $ d_{i,3} = 0 $ and $ d_{i,4} = 0 $, this would imply that $ \alpha_i = d_{i,1} \alpha_1 + d_{i,2} \alpha_2 $.
In this case, two of the three inequalities $ \alpha_i \geq 0 $, $ \alpha_1 \geq 0 $ and $ \alpha_2 \geq 0 $ would imply the other, contradicting the fact that $Q$ has exactly $f$ facets.
\item For each $ j \in \{1,2,3,4\} $, there is at least one $ i \in \{5, \cdots, f\} $ such that $ d_{i,j} \neq 0 $. Without loss of generality, assume $ j = 1 $. Since $ \alpha_1, \cdots, \alpha_4 $ are linearly independent, there is a unique point $[x] \in \mathbb{S}^3$ such that $ \alpha_2(x) = \alpha_3(x) = \alpha_4(x) = 0 $ and $ \alpha_1(x) > 0 $. If $ d_{i,1} = 0 $ for all $ i \in \{5, \cdots, f\} $, then $ \alpha_i(x) = 0 $ for all such $ i $, implying that $ Q $ is the cone over the facet $ Q_1 $ with apex $ [x] $, contradicting our assumption.
\end{enumerate}
Now, the equations $ c_j^{-1} \alpha_j \circ A^{-1} = \alpha_j $ for $ j = 1,2,3,4 $ imply that the matrix representation of $ A $ with respect to the dual basis of $ \{\alpha_1, \cdots, \alpha_4\} $ is given by $ \text{diag}(c_1^{-1}, c_2^{-1}, c_3^{-1}, c_4^{-1}) $. Since $ A \in \text{SL}_\pm (V) $, we have $ \pm 1 = \det(A) = c_1^{-1} c_2^{-1} c_3^{-1} c_4^{-1} $.
Since $c_j > 0$ for all $j$, we obtain $c_1 c_2 c_3 c_4 = 1$.
Finally, to conclude the proof, it suffices to show that $ c_1 = c_2 = c_3 = c_4 $, since this will imply that $ A = I $, and by equation \eqref{freeness}, $ c_j = 1 $ for all $j$.
Let $i \in \{5, \cdots, f\}$.
Applying \eqref{freeness} and \eqref{linear combination} gives
\[ \alpha_i \circ A^{-1}
= \sum_{j = 1}^{4} d_{i, j} \alpha_j \circ A^{-1}
= \sum_{j = 1}^{4} d_{i, j} c_j \alpha_j. \]
On the other hand, we have
\[ \alpha_i \circ A^{-1}
= c_i \alpha_i
= c_i \sum_{j = 1}^{4} d_{i, j} \alpha_j. \]
Comparing the coefficients, we obtain $(c_i - c_j) d_{i, j} = 0$ for all $i \in \{5, \cdots, f\}$ and $j \in \{1,2,3,4\}$.
We consider the index $i = 5$.
If $d_{5,1}, d_{5,2}, d_{5,3}, d_{5,4}$ are all nonzero, then it follows that $c_5 = c_1 = c_2 = c_3 = c_4$, so we obtain the desired result.
Suppose that one of $d_{5,1}, d_{5,2}, d_{5,3}, d_{5,4}$ is zero.
For simplicity, we assume that $d_{5,1} = 0$.
Then Observation 1 implies that $d_{5,2}, d_{5,3}, d_{5,4}$ are nonzero, and this implies that $c_5 = c_2 = c_3 = c_4$.
By Observation 2, there is another index $i \in \{6, \cdots, f\}$ such that $d_{i, 1} \ne 0$.
Then Observation 1 again implies that there are at least two indices $u, v \in \{2,3,4\}$ such that $d_{i, u}, d_{i, v} \ne 0$, so $c_i = c_1 = c_u = c_v$.
Hence, we obtain $c_1 = c_2 = c_3 = c_4$.
We conclude that $A = \text{diag}(c_1^{-1}, c_2^{-1}, c_3^{-1}, c_4^{-1})=I$ and $g = (I, 1, \cdots, 1)$.
Therefore, the action of $\mathbb{G}$ on $\widetilde{\mathcal{E}}(\mathcal{G})$ is free.
\end{proof}
\begin{lemma}\label{principal bundle}
Let $\mathcal{G}$ be a combinatorial 3-polytope.
Let $f$ and $e$ be the numbers of facets and edges of $\mathcal{G}$, respectively.
Suppose that $\mathcal{G}$ is not a cone over a polygon.
Let $\pi: \widetilde{\mathcal{E}}(\mathcal{G}) \to \mathcal{E}(\mathcal{G})$ be the quotient map, defined as the restriction of the quotient map $(V^*)^f \to (V^*)^f / \mathbb{G}$.
Then $\pi$ is a locally trivial principal $\mathbb{G}$-bundle.
In particular, $\widetilde{\mathcal{E}}(\mathcal{G})$ is a topological manifold of dimension
\[
\dim \mathcal{E}(\mathcal{G}) + \dim \mathbb{G} = (e - 9) + (15 + f) = e + f + 6,
\]
and admits a smooth structure such that $\pi$ is a smooth submersion.
\end{lemma}
\begin{proof}
The group $\mathbb{G}$ acts freely on $\widetilde{\mathcal{E}} (\mathcal{G})$ by Lemma \ref{freeness lemma}.
Let $\alpha = (\alpha_1, \cdots, \alpha_f) \in \widetilde{\mathcal{E}} (\mathcal{G})$.
To prove the local triviality of the map $\pi$, it suffices to construct a neighborhood $U$ of $[\alpha]$ in $\mathcal{E} (\mathcal{G})$ and a continuous section $s: U \to \widetilde{\mathcal{E}} (\mathcal{G})$ of $\pi$ (see Proposition 14.1.5 of \cite{MR2456045}).
We reindex the facets of $\mathcal{G}$ if necessary, ensuring that each of the three facets $\mathcal{G}_2, \mathcal{G}_3, \mathcal{G}_4$ is adjacent to $\mathcal{G}_1$.
For each element $\beta = (\beta_1, \ldots, \beta_f) \in \widetilde{\mathcal{E}} (\mathcal{G})$, the set
\[ Q := \{ [x] \in \mathbb{S}^3 \ | \ \beta_i (x) \geq 0 \ \text{for all} \ i \} \]
is a convex 3-polytope that is combinatorially equivalent to $\mathcal{G}$.
Moreover, the four facets $Q_1, Q_2, Q_3, Q_4$ do not share a common vertex, since $\mathcal{G}_1, \mathcal{G}_2, \mathcal{G}_3, \mathcal{G}_4$ have no common vertex among them.
Therefore, for each $\beta = (\beta_1, \ldots, \beta_f) \in \widetilde{\mathcal{E}} (\mathcal{G})$, the first four linear functionals $\beta_1, \beta_2, \beta_3, \beta_4 \in V^*$ are linearly independent.
Consequently, for $i \in \{5, \ldots, f\}$ and $j \in \{1, 2, 3, 4\}$, there are unique continuous maps $t_{i, j}: \widetilde{\mathcal{E}} (\mathcal{G}) \to \mathbb{R}$ such that
\[ \beta_i = \sum_{j = 1}^{4} t_{i, j} (\beta) \beta_j. \]
To choose a local section around the point $[\alpha]$, we use the observations on the coefficients $t_{i, j} (\alpha)$ from the proof of Lemma \ref{freeness lemma}, which are numbered 1 and 2.
According to the first observation, there exist three distinct indices $k_1, k_2, k_3 \in \{1, 2, 3, 4\}$ such that $t_{5, k_j} (\alpha) \neq 0$.
We define $k_4$ as the index in the complement $\{1, 2, 3, 4\} \setminus \{k_1, k_2, k_3\}$.
The second observation indicates that there is an index $l \in \{6, \ldots, f\}$ such that $t_{l, k_4} (\alpha) \neq 0$.
Moreover, the first observation again implies that $t_{l, k_{j_0}} (\alpha) \neq 0$ for some $j_0 \in \{1, 2, 3\}$.
Lastly, for $i \in \{7, \ldots, f\}$, we select arbitrary indices $p_i \in \{1, 2, 3, 4\}$ such that $t_{i, k_i} (\alpha) \neq 0$.
For notational simplicity, we assume that $k_j = j$ for $j = 1, 2, 3, 4$, $l = 6$, and $j_0 = 1$.
Then the following conditions hold:
\begin{enumerate}[(i)]
\item $t_{5, 1} (\alpha), t_{5, 2} (\alpha), t_{5, 3} (\alpha) \neq 0$;
\item $t_{6, 1} (\alpha), t_{6, 4} (\alpha) \neq 0$;
\item $t_{i, p_i} (\alpha) \neq 0$ for $i = 7, \ldots, f$.
\end{enumerate}
The above choices cannot be made if $f < 6$.
In this case, a separate argument is required.
If $f = 4$, then $\mathcal{G}$ is a tetrahedron, which means it is a cone over a polygon.
If $f = 5$ and $\mathcal{G}$ is not a cone over a polygon, then $\mathcal{G}$ is a triangular prism.
In this situation, the realization space $\mathcal{RS} (\mathcal{G}) \cong \mathcal{E} (\mathcal{G})$ is a singleton, which implies that the projection $\pi$ is a trivial bundle over a point.
By the continuity of $t_{i, j}: \widetilde{\mathcal{E}} (\mathcal{G}) \to \mathbb{R}$, there exists an open neighborhood $\widetilde{U} \subset \widetilde{\mathcal{E}} (\mathcal{G})$ of $\alpha$ such that the signs of
\[ t_{5,1}, t_{5,2}, t_{5,3}, t_{6,1}, t_{6,4}, t_{i, p_i} \quad (\text{for} \ i \geq 7) \]
remain constant over $\widetilde{U}$.
Let $\sigma_{i, j} \in \{\pm 1\}$ denote the constant signs of $t_{i, j}$ for the specified indices $i, j$ and the neighborhood $\widetilde{U}$.
We construct a map $\widetilde{s}: \widetilde{U} \to \widetilde{\mathcal{E}} (\mathcal{G})$, which will descend to the section $s: U \to \widetilde{\mathcal{E}} (\mathcal{G})$ (where $U := \pi (\widetilde{U})$) that we are looking for.
Let $\beta = (\beta_1, \cdots, \beta_f) \in \widetilde{U}$.
We claim that there is a unique element $\beta' = (\beta_1', \cdots, \beta_f')$ in the $\mathbb{G}$-orbit of $\beta$ satisfying the following properties:
\begin{enumerate}[-]
\item $\beta_i' = e_i^*$ for $i = 1,2,3,4$, where $\{e_1^*, \cdots, e_4^*\}$ is the standard dual basis of $V^* = (\mathbb{R}^4)^*$;
\item $t_{5,j} (\beta') = \sigma_{5,j}$ for $j = 1,2,3$;
\item $t_{6,j} (\beta') = \sigma_{6,j}$ for $j = 1,4$;
\item $t_{i, p_i} (\beta') = \sigma_{i, p_i}$ for $i \geq 7$.
\end{enumerate}
In other words, we need to prove that there exists a unique $g = (A, c_1, \cdots, c_f) \in \mathbb{G}$ such that $g \cdot \beta = \beta'$. This equation can be expressed as:
\[
(c_1^{-1} \beta_1 \circ A^{-1}, \cdots, c_f^{-1} \beta_f \circ A^{-1}) = (\beta_1', \cdots, \beta_f').
\]
The first condition, $c_i^{-1} \beta_i \circ A^{-1} = \beta_i' = e_i^*$ for $i = 1,2,3,4$, is equivalent to
\begin{align}\label{matrix}
A = \begin{bmatrix}
c_1^{-1} \beta_1 \\
c_2^{-1} \beta_2 \\
c_3^{-1} \beta_3 \\
c_4^{-1} \beta_4
\end{bmatrix},
\end{align}
where we interpret the $\beta_i$ in each row as the coordinate vector of $\beta_i$ with respect to the dual basis $\{e_1^*, \cdots, e_4^*\}$.
This implies that we are subject to the relation
\[
\pm 1 = \det A = c_1^{-1} c_2^{-1} c_3^{-1} c_4^{-1} \det (\beta_1, \cdots, \beta_4).
\]
For each $i \geq 5$, we have
\[
\beta_i = \sum_{j = 1}^{4} t_{i, j} (\beta) \beta_j,
\]
thus,
\[
\sum_{j = 1}^{4} t_{i, j} (\beta') e_j^* = \beta' = c_i^{-1} \beta_i \circ A^{-1} = c_i^{-1} \sum_{j = 1}^{4} t_{i, j} (\beta) \beta_j \circ A^{-1} = c_i^{-1} \sum_{j = 1}^{4} t_{i, j} (\beta) c_j e_j^*.
\]
By comparing the coefficients, it can be verified that there are unique $c_1, \cdots, c_f > 0$ satisfying $\pm 1 = c_1^{-1} c_2^{-1} c_3^{-1} c_4^{-1} \det (\beta_1, \cdots, \beta_4)$, and a corresponding matrix $A$ such that the requirements for $\beta'$ and equation \eqref{matrix} are satisfied.
We further note that the unique elements $c_1, \cdots, c_f$ and $A$ depend continuously on $\beta$, allowing us to obtain a continuous map $\beta \mapsto \beta' =: \widetilde{s} (\beta)$.
Since $\mathbb{G}$ acts continuously on $\widetilde{\mathcal{E}} (\mathcal{G})$, the map $\pi$ is an open map, which implies that $U := \pi (\widetilde{U})$ is an open neighborhood of $[a] = \pi (\alpha)$.
Furthermore, since the map $\widetilde{s}: \widetilde{U} \to \widetilde{\mathcal{E}} (\mathcal{G})$ is constant on the intersection of $\widetilde{U}$ with each $\mathbb{G}$-orbit, the map $\widetilde{s}$ descends to a continuous section $s: U \to \widetilde{\mathcal{E}} (\mathcal{G})$.
This completes the proof.
\end{proof}
\subsection{The projection $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ and the restricted deformation spaces}\label{Section 6.2}
In this section, we consider a natural map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ and observe that each nonempty fiber of the map can be identified with a restricted deformation space $\mathcal{C}_Q (\mathcal{G})$.
In view of Theorem \ref{restricted} and Theorem \ref{realization spaces}, the space $\mathcal{RS} (\mathcal{G})$ and the nonempty fibers of the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ thus admit smooth structures.
For computational purposes, especially in constructing the smooth structure on $\mathcal{C} (\mathcal{G})$, we use the embedding of $\mathcal{C} (\mathcal{G})$ onto a subspace $\mathcal{D} (\mathcal{G}) \subset ((V^*)^f \times V^f) / \mathbb{G}$ as described in Lemma \ref{embedding lemma}.
This embedding allows us to transform the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ into a topologically equivalent map $\mathcal{D} (\mathcal{G}) \to \mathcal{E} (\mathcal{G})$ given by restricting the projection $((V^*)^f \times V^f) / \mathbb{G} \to (V^*)^f / \mathbb{G}$.
In constructing the smooth structure on $\mathcal{C} (\mathcal{G})$, it will also be convenient to work with the lift $\widetilde{\mathcal{D}} (\mathcal{G}) \subset (V^*)^f \times V^f$ of $\mathcal{D} (\mathcal{G})$ under the projection $(V^*)^f \times V^f \to ((V^*)^f \times V^f) / \mathbb{G}$, in a manner analogous to our definition of $\widetilde{\mathcal{E}} (\mathcal{G})$.
We will examine the map $\widetilde{\mathcal{D}} (\mathcal{G}) \to \widetilde{\mathcal{E}} (\mathcal{G})$ and observe that the nonempty fibers of this map can also be identified with the restricted deformation spaces.
\vspace{5mm}
Let $\mathcal{G}$ be a labeled combinatorial 3-polytope.
Recall that the elements of $\mathcal{C} (\mathcal{G})$ are of the form $[(Q, r_1, \cdots, r_f)]$, where $Q \subset \mathbb{S}^3$ is a convex 3-polytope combinatorially equivalent to $\mathcal{G}$, and $r_1, \cdots, r_f \in \text{SL}_\pm (V)$ are linear reflections in the facets $Q_1, \cdots, Q_f$ of $Q$ corresponding to the facets $\mathcal{G}_1, \cdots, \mathcal{G}_f$ of $\mathcal{G}$, respectively.
The projection $(Q, r_1, \cdots, r_f) \mapsto Q$ descends to the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ given by $[(Q, r_1, \cdots, r_f)] \mapsto [(q_v)_{v \in \mathcal{V}}]$, where each vertex $v \in \mathcal{V}$ is a vertex of the facet $\mathcal{G}_j$ if and only if the vertex $q_v$ of $Q$ is fixed by the reflection $r_j$.
Recall that by Lemma \ref{embedding lemma}, we have an embedding $\Phi: \mathcal{C} (\mathcal{G}) \to ((V^*)^f \times V^f) / \mathbb{G}$.
Let $\mathcal{D} (\mathcal{G}) := \Phi (\mathcal{C} (\mathcal{G}))$ denote the image of this embedding (see the diagram in Figure \ref{commuting diagram}).
Let
\[ \eta: (V^*)^f \times V^f \to ((V^*)^f \times V^f) / \mathbb{G} \]
be the projection induced by the action of $\mathbb{G}$ on $(V^*)^f \times V^f$, and define $\widetilde{\mathcal{D}} (\mathcal{G}) := \eta^{-1} (\mathcal{D} (\mathcal{G}))$.
An element $(\alpha_1, \cdots, \alpha_f, v_1, \cdots, v_f) \in (V^*)^f \times V^f$ belongs to $\widetilde{\mathcal{D}} (\mathcal{G})$ if and only if it satisfies the conditions of Remark \ref{characterization}.
Now, the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ can be described in terms of the images of the embeddings $\Phi$ and $\iota$.
This map is simply the projection $\overline{\rho}$ induced by the natural projection $\rho: (V^*)^f \times V^f \to (V^*)^f$ given by
\[ [(\alpha_1, \cdots, \alpha_f, v_1, \cdots, v_f)] \mapsto [(\alpha_1, \cdots, \alpha_f)]. \]
We thus have the following commuting diagram:
\begin{figure}[h]
\centering
\begin{tikzcd}
\widetilde{\mathcal{D}}(\mathcal{G}) \subset (V^*)^f \times V^f \arrow[rr, "\rho"] \arrow[d, "\eta"] & & \widetilde{\mathcal{E}} (\mathcal{G}) \subset (V^*)^f \arrow[d, "\pi"] \\
\mathcal{D} (\mathcal{G}) \subset ((V^*)^f \times V^f) / \mathbb{G} \arrow[rr, "\overline{\rho}"] & & \mathcal{E} (\mathcal{G}) \subset (V^*)^f / \mathbb{G} \\
\mathcal{C} (\mathcal{G}) \arrow[u, "\cong"] \arrow[u, "\Phi"'] \arrow[rr] & & \mathcal{RS} (\mathcal{G}) \arrow[u, "\cong"] \arrow[u, "\iota"']
\end{tikzcd}
\caption{}
\label{commuting diagram}
\end{figure}
Recall from Section \ref{Restricted deformation spaces} that for each convex 3-polytope $Q \subset \mathbb{S}^3$ representing the underlying combinatorial polytope of $\mathcal{G}$, the restricted deformation space $\mathcal{C}_Q (\mathcal{G})$ is defined to be the subspace consisting of $[(Q', r_1', \cdots, r_f')] \in \mathcal{C} (\mathcal{G})$ such that $Q$ and $Q'$ are projectively equivalent.
In other words, the restricted deformation spaces in $\mathcal{C} (\mathcal{G})$ are precisely the nonempty fibers of the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$.
We abuse the notation by letting $\rho: \widetilde{\mathcal{D}}(\mathcal{G}) \to \widetilde{\mathcal{E}} (\mathcal{G})$ to denote the restriction of the natural projection $\rho: (V^*)^f \times V^f \to (V^*)^f$ as well.
The map $\rho$ is $\mathbb{G}$-equivariant, so it induces a map $\overline{\rho}: \mathcal{D} (\mathcal{G}) \to \mathcal{E} (\mathcal{G})$.
By the above commuting diagram, the restricted deformation spaces can be identified with the nonempty fibers of the map $\overline{\rho}$.
Moreover, each nonempty fiber $\rho^{-1} (\alpha)$ of the map $\rho$ is mapped homeomorphically onto the fiber $\overline{\rho}^{-1} (\pi (\alpha))$, since the action of $\mathbb{G}$ on $\widetilde{\mathcal{E}} (\mathcal{G})$ is free and the projection map $\eta$ is open.
Therefore, each nonempty fiber $\rho^{-1} (\alpha)$ is homeomorphic to the restricted deformation space $\mathcal{C}_Q (\mathcal{G})$, where
\[ Q := \{[x] \in \mathbb{S}^3 \ | \ \alpha_i (x) \geq 0 \ \text{for all} \ i \} \]
is the convex 3-polytope determined by $\alpha$.
\vspace{5mm}
We conclude this subsection by discussing the smooth structure on each fiber of $\rho$.
In the forthcoming discussions, the nonempty fibers $\rho^{-1} (\alpha) \subset \{\alpha\} \times V^f$ will often be identified with the subspace $V^f$ via the homeomorphism $\{\alpha\} \times V^f \to V^f$.
By Theorem \ref{restricted}, each nonempty fiber $\rho^{-1} (\alpha)$ is a smooth manifold.
In fact, the theorem's proof shows that $\rho^{-1} (\alpha)$ is an embedded submanifold of $V^f$.
To explain this, we briefly outline the key idea behind the theorem's proof.
Since we are considering the restricted deformation space, we fix a convex 3-polytope $P$ with facets $P_1, \ldots, P_f$ and determine all possible reflections in the $f$ facets that make $P$ a Coxeter 3-polytope.
As the convex 3-polytope $P$ and its facets are fixed, we only need to find all possible choices of the vectors $v_1, \ldots, v_f$ defining the reflections.
We may assume that the polytope $P$ and the vectors $v_1, \ldots, v_f$ lie in $\mathbb{R}^3$.
There exist $f$ affine functions $d_j: \mathbb{R}^3 \to \mathbb{R}$, for $j = 1, \ldots, f$, such that $P = \{ x \in \mathbb{R}^3 \mid d_j(x) \geq 0 \}$ and $d_j(x) = 0$ on the facet $P_j$.
The map $D := (d_1, \ldots, d_f): \mathbb{R}^3 \to \mathbb{R}^f$ is an affine function mapping onto a 3-dimensional affine subspace $A := D(\mathbb{R}^3) \subset \mathbb{R}^f$.
Each vector $v_j$ is mapped to $D(v_j)$, whose $j$-th coordinate must be negative by the first condition of Remark \ref{characterization}.
Under the projection $\mathbb{R}^f \to \mathbb{S}^{f - 1}$, it is mapped to $[(v_{j1}, \ldots, -1, \ldots, v_{jf})] \in \mathbb{S}^{f - 1}$, where the $j$-th coordinate is $-1$.
By removing the $j$-th coordinate, we obtain an element $v_j' \in \mathbb{R}^{f - 1}$.
In this manner, the tuple $(v_1, \ldots, v_f)$ can be viewed as an element of $\mathbb{R}^{(f - 1) f}$ by stacking $v_1', \ldots, v_f'$.
The entries of $v_1, \ldots, v_f$ must satisfy the equalities in Remark \ref{characterization} as well as the defining equations of the affine subspace $A$.
Thus, the set of such $(v_1', \ldots, v_f') \in \mathbb{R}^{(f-1) f}$ is the zero-level set of a polynomial map $\mathbb{R}^{(f-1) f} \to \mathbb{R}^{e + e_2 + (f - 4) f}$, where $e + e_2 + (f - 4) f$ represents the total number of equalities in Remark \ref{characterization} and the defining equations of $A$.
In the proof of Theorem \ref{restricted}, Choi proves that the polynomial map has full rank.
Hence, the set of $(v_1', \ldots, v_f')$, which represents the restricted deformation space, is an embedded submanifold of $\mathbb{R}^{f (f - 1)}$.
This observation will be employed to verify the smoothness of maps between nonempty fibers of $\rho$.
Specifically, if there exists a smooth map between two open subsets of $V^f$ containing nonempty fibers of $\rho$, and if this smooth map sends one nonempty fiber of $\rho$ to another, then the restriction of the smooth map to these fibers is also smooth.
This fact will be crucial in constructing a smooth atlas on $\widetilde{\mathcal{D}}(\mathcal{G})$.
\subsection{Construction of a smooth structure on $\widetilde{\mathcal{D}} (\mathcal{G})$}\label{Section 6.3}
In this section, we construct a smooth atlas on $\widetilde{\mathcal{D}} (\mathcal{G})$.
The existence of this smooth structure, along with Lemma \ref{proper and free}, will be used to define a smooth structure on $\mathcal{C} (\mathcal{G})$.
The construction proceeds as follows.
To define a coordinate chart around each point $(\alpha, v)$ in $\widetilde{\mathcal{D}} (\mathcal{G})$ (note that $v \in \rho^{-1} (\alpha)$), it suffices to find a homeomorphism between an open neighborhood of $(\alpha, v)$ in $\widetilde{\mathcal{D}} (\mathcal{G})$ and an open subset of $\widetilde{\mathcal{E}} (\mathcal{G}) \times \rho^{-1} (\alpha)$, as the latter space is proven to be a smooth manifold by Lemma \ref{principal bundle} and Theorem \ref{restricted}.
We do it by choosing some open neighborhoods $U_\alpha \subset \widetilde{\mathcal{E}} (\mathcal{G})$ and $W_v \subset \rho^{-1} (\alpha)$ of $\alpha$ and $v$, respectively, and constructing a chart $\Phi_{\alpha,v}: U_\alpha \times W_v \to \widetilde{\mathcal{D}} (\mathcal{G})$ which maps $(\alpha, v) \in U_\alpha \times W_v$ to $(\alpha, v) \in \widetilde{\mathcal{D}} (\mathcal{G})$.
For each element $(\beta, w) \in U_\alpha \times W_v$, we will construct $\Phi (\beta, w)$ so that it is of the form $(\beta, w')$.
Geometrically, we have perturbed the convex 3-polytope $\alpha$ to obtain another convex 3-polytope $\beta$ within the same realization space, and we need to find the tuple $w' = (w_1', \cdots, w_f') \in V^f$ of vectors so that the resulting endomorphisms $\text{Id} - \beta_j \otimes w_j'$ are linear reflections and satisfy the Vinberg's relations in Remark \ref{characterization}.
Note that for each $(\beta, w) \in U_\alpha \times W_v$, we always have $(\alpha, w) \in \widetilde{\mathcal{D}} (\mathcal{G})$ because $w \in W_v \subset \rho^{-1} (\alpha)$ but $(\beta, w)$ itself may not lie in $\widetilde{\mathcal{D}} (\mathcal{G})$ in general.
We construct $w_1', \cdots, w_f'$ in succession to satisfy the conditions in Remark \ref{characterization}. In each step, $w_i'$ is determined as the solution to a system of up to 4 linear equations.
If there are fewer than 4 equations, $w_i'$ may not be uniquely determined, so we add extra equations as needed.
For this purpose, we assign 3 indices $k_{i, 1}, k_{i, 2}, k_{i, 3} \subset \{1, \cdots, f\}$ according to the orderability condition and add necessary linear equations to some of these indices.
This process allows us to determine a unique $w'$ such that $(\beta, w') \in \widetilde{\mathcal{D}} (\mathcal{G})$.
Finally, we verify in Lemma \ref{transition} that the transition maps between the charts $\{\Phi_{\alpha, v} \ | \ (\alpha, v) \in \widetilde{\mathcal{D}} (\mathcal{G}) \}$, are smooth, and this completes the construction of the smooth atlas on $\widetilde{\mathcal{D}} (\mathcal{G})$.
\vspace{5mm}
We begin with giving an explicit description of the elements of $\widetilde{\mathcal{D}} (\mathcal{G})$.
Recall that the subspace $\widetilde{\mathcal{D}} (\mathcal{G}) \subset (V^*)^f \times V^f$ is defined as the preimage $\eta^{-1} (\mathcal{D} (\mathcal{G}))$ under the natural projection
\[ \eta: (V^*)^f \times V^f \to ((V^*)^f \times V^f) / \mathbb{G}. \]
Moreover, the space $\mathcal{D} (\mathcal{G}) \subset ((V^*)^f \times V^f) / \mathbb{G}$ is defined as the image of the embedding $\Phi: \mathcal{C} (\mathcal{G}) \to ((V^*)^f \times V^f) / \mathbb{G}$ from Lemma \ref{embedding lemma}.
According to Theorem \ref{Vinberg 1} and Lemma \ref{realization space membership}, an element
\[ (\alpha, v) = (\alpha_1, \cdots, \alpha_f, v_1, \cdots, v_f) \in (V^*)^f \times V^f \]
belongs to $\widetilde{\mathcal{D}} (\mathcal{G})$ if and only if it satisfies the following conditions:
\begin{enumerate}[(V1)]
\item \label{V1} $\alpha_i (v_i) = 2$ for $i = 1, \cdots, f$;
\item \label{V2} $\alpha_i (v_j) \leq 0$ if $i \ne j$;
\item \label{V3} $\alpha_i (v_j) = 0$ if and only if $\alpha_j (v_i) = 0$;
\item \label{V4} if $\mathcal{G}_i$ and $\mathcal{G}_j$ are adjacent and $m_{i, j}$ is the integer assigned to the edge $\mathcal{G}_i\cap \mathcal{G}_j$, then $\alpha_i (v_j) \alpha_j (v_i) = 4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right)$;
\item \label{V5} if $\mathcal{G}_i$ and $\mathcal{G}_j$ are not adjacent, then $\alpha_i (v_j) \alpha_j (v_i) \geq 4$;
\item \label{V6} the set
\[
Q := \{ [x] \in \mathbb{S}^3 \mid \alpha_i(x) \geq 0 \ \text{for all} \ i \}
\]
is a convex 3-polytope combinatorially equivalent to $\mathcal{G}$, and there exists a face-lattice isomorphism $\textup{FL}(\mathcal{G}) \to \textup{FL}(Q)$ mapping each facet $\mathcal{G}_i$ to the facet of $Q$ supported by $\alpha_i$.
\end{enumerate}
\vspace{5mm}
As the first step in constructing a smooth structure on $\widetilde{\mathcal{D}} (\mathcal{G})$, we need to select indices according to the orderability condition.
Since $\mathcal{G}$ is orderable, we reindex the facets $\mathcal{G}_1, \cdots, \mathcal{G}_f$ if necessary, so that for each facet $\mathcal{G}_i$, there are at most three facets $\mathcal{G}_j$ adjacent to $\mathcal{G}_i$ such that either:
\begin{enumerate}[-]
\item $j < i$, or
\item $m_{i, j} = 2$.
\end{enumerate}
Then, for each $i \in \{1, \cdots, f\}$, we choose three distinct indices $k_{i, 1}, k_{i, 2}, k_{i, 3} \in \{1, \cdots, f\}$ such that:
\begin{enumerate}[(i)]
\item For $j = k_{i, 1}, k_{i, 2}, k_{i, 3}$, the facets $\mathcal{G}_i$ and $\mathcal{G}_j$ are adjacent.
\item The first $a_i$ indices $j \in \{k_{i, 1}, \cdots, k_{i, a_i}\}$ satisfy $m_{i, j} = 2$.
\item The next $b_i$ indices $j \in \{k_{i, a_i + 1}, \cdots, k_{i, a_i + b_i}\}$ satisfy $m_{i, j} \geq 3$ and $j < i$.
\item The last $3 - a_i - b_i$ indices $j \in \{k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}\}$ satisfy $m_{i, j} \geq 3$ and $j > i$.
\item If $\mathcal{G}_i$ and $\mathcal{G}_j$ are adjacent and satisfy either $j < i$ or $m_{i, j} = 2$, then $j$ is included in $\{k_{i, 1}, k_{i, 2}, k_{i, 3}\}$.
\end{enumerate}
Since $\mathcal{G}$ is orderable, for each $i$, there are at most three facets $\mathcal{G}_j$ adjacent to $\mathcal{G}_i$ such that either $m_{i, j} = 2$ or $j < i$.
Therefore, the indices $k_{i, 1}, \cdots, k_{i, a_i + b_i}$ with $a_i + b_i \leq 3$ in the above requirement do exist.
Note that the requirement (v) indicates that $k_{i, 1}, \cdots, k_{i, a_i + b_i}$ include \textit{all} such indices.
For the remaining facets $\mathcal{G}_j$ adjacent to $\mathcal{G}_i$, we must have $j > i$.
In (iv), we arbitrarily select $3 - a_i - b_i$ indices $k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}$ with this property.
We make such a choice due to a technical reason, and the choice of indices $k_{i, 1}, k_{i, 2}, k_{i, 3}$ achieves the following.
Given a tuple $\beta = (\beta_1, \cdots, \beta_f) \in \widetilde{\mathcal{E}} (\mathcal{G})$, we will frequently construct $w_1, \cdots, w_f$ such that $\alpha_i, w_j$ satisfy the conditions \hyperref[V1]{(V1)}, \hyperref[V3]{(V3)}, and \hyperref[V4]{(V4)}.
We will construct them inductively, i.e. we assume that $w_1, \cdots, w_{i - 1}$ are determined and then construct $w_i$.
The conditions \hyperref[V1]{(V1)}, \hyperref[V3]{(V3)}, and \hyperref[V4]{(V4)} indicates the values of $\beta_j (w_i)$ for $j \in \{i, k_{i, 1}, \cdots, k_{i, a_i + b_i}\}$.
For instance, if $j \in \{k_{i, a_i + 1}, \cdots, k_{i, a_i + b_i}\}$, then \hyperref[V4]{(V4)} implies $\beta_j (w_i) = \frac{4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right) }{\beta_i (w_j)}$.
(Note that $w_j$ on the right-hand side is given by induction hypothesis.)
Since $a_i + b_i \leq 3$, we thus have at most 4 linear equations for $w_i$.
We add $3 - a_i - b_i$ complementary linear equations by assigning the values $\beta_j (w_i)$ for $j \in \{a_i + b_i + 1, \cdots, 3\}$.
The resulting system consists of 4 linear equations and thus determine a unique vector $w_i$.
\vspace{5mm}
Now let $(\alpha, v) = (\alpha_1, \cdots, \alpha_f, v_1, \cdots, v_f) \in \widetilde{\mathcal{D}} (\mathcal{G})$.
We construct an open embedding $\Phi_{\alpha, v}: U_\alpha \times W_v \to \widetilde{\mathcal{D}} (\mathcal{G})$ of the product of some smooth manifolds $U_\alpha$ and $W_v$ such that:
\begin{enumerate}[-]
\item $U_\alpha \subset \widetilde{\mathcal{E}} (\mathcal{G})$ is an open neighborhood of $\alpha$;
\item $W_v \subset \rho^{-1} (\alpha) \subset \{\alpha\} \times V^f \cong V^f$ is an open neighborhood of $v$ in $\rho^{-1} (\alpha)$; and
\item $\Phi_{\alpha, v} (\alpha, v) = (\alpha, v) \in \widetilde{\mathcal{D}} (\mathcal{G})$.
\end{enumerate}
Since $U_\alpha$ and $W_v$ are open in $\widetilde{\mathcal{E}} (\mathcal{G})$ and $\rho^{-1} (\alpha)$, respectively, and since the latter spaces are proven to admit smooth structures, the sets $U_\alpha$ and $W_v$ inherit these smooth structures.
It will be shown that the transition maps $\Phi_{\beta, w}^{-1} \circ \Phi_{\alpha, v}$ are smooth with respect to these smooth structures.
The smooth structure on $\widetilde{\mathcal{D}} (\mathcal{G})$ will be the maximal atlas induced from the open embeddings of this form.
We temporarily let $U_\alpha \subset \widetilde{\mathcal{E}} (\mathcal{G})$ and $W_v \subset \rho^{-1} (\alpha)$ be arbitrary open neighborhoods of $\alpha$ and $v$, respectively.
These neighborhoods will be shrunk as needed.
Let $(\beta, w) \in U_\alpha \times W_v$ (where we identify $W_v \subset \{\alpha\} \times V^f$ as a subspace of $V^f$).
Note that $(\beta, w)$ is not an element of $\widetilde{\mathcal{D}} (\mathcal{G})$ in general, since $w \notin \rho^{-1} (\alpha)$ unless $\alpha = \beta$.
We define $\Phi_{\alpha, v} (\beta, w) \in \widetilde{\mathcal{D}} (\mathcal{G})$ to be the element obtained by the following lemma.
\begin{lemma}\label{standard chart lemma}
There exist sufficiently small neighborhoods $U_\alpha \subset \widetilde{\mathcal{E}} (\mathcal{G})$ and $W_v \subset \rho^{-1} (\alpha)$ of $\alpha$ and $v$, respectively, such that there is a unique continuous map $w': U_\alpha \times W_v \to V$ satisfying the following properties:
\begin{enumerate}[(i)]
\item[\textup{(i)}] $(\beta, w') \in \widetilde{\mathcal{D}} (\mathcal{G})$,
\item[\textup{(ii)}] $w' \to v$ as $(\beta, w) \to (\alpha, v)$, so that $w' (\alpha, v) = v$,
\item[\textup{(iii)}] $\beta_j (w_i') = \alpha_j (w_i)$ for $i \in \{1, \cdots, f\}$, $j \in \{k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}\}$.
\end{enumerate}
\end{lemma}
\begin{proof}
We construct $w_1' = w_1' (\beta, w), \cdots, w_f' = w_f' (\beta, w)$ in this order, shrinking $U_\alpha$ and $W_v$ during the process if necessary.
By requirement (i), the element $(\beta, w')$ must satisfy conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}.
We construct $w_1', \cdots, w_f'$ so that these conditions are not violated at each step.
We define $w_1' \in V$ as the unique solution to the following system of four linear equations:
\begin{align*}
\beta_1 (w_1') &= 2, \\
\beta_j (w_1') &= 0 &\text{for} \quad & j \in \{k_{1,1}, \cdots, k_{1,a_1}\}, \\
\beta_j (w_1') &= \alpha_j (w_1) \quad &\text{for} \quad & j \in \{k_{1, a_1 + 1}, \cdots, k_{1,3}\}.
\end{align*}
Note that $b_1 = 0$ since 1 is the smallest index.
The solution $w_1'$ exists and is unique: since $\mathcal{G}_{k_{1, 1}}, \mathcal{G}_{k_{1, 2}}, \mathcal{G}_{k_{1, 3}}$ are adjacent to $\mathcal{G}_1$, the four linear functionals $\beta_{k_{1,1}}, \beta_{k_{1,2}}, \beta_{k_{1,3}}, \beta_1$ are linearly independent by Lemma \ref{realization space membership}.
By Cramer's rule, $w_1'$ is a continuous function of $\beta$ and $w$.
Moreover, if we substitute $(\beta, w) = (\alpha, v)$, then it follows from the uniqueness of the solution that $w_1' = v_1$, implying that $w_1' \to v_1$ as $(\beta, w) \to (\alpha, v)$.
The element $(\alpha, w)$ may not belong to $\widetilde{\mathcal{D}} (\mathcal{G})$, and in particular it is possible that $\alpha_j (w_1) \geq 0$ for some $j \in \{k_{1, a_1 + 1}, \cdots, k_{1,3}\}$, so $(\beta, w')$ might violate condition \hyperref[V2]{(V2)} even if $w_2', \cdots, w_f'$ are not yet defined.
However, since $\alpha_j (v_1) < 0$ for $j \in \{k_{a_1 + 1}, \cdots, k_{1,3}\}$, we can use the continuity of $w_1'$ to choose smaller neighborhoods $U_\alpha$ and $W_v$ so that $\beta_j (w_1') = \alpha_j (w_1) < 0$ for $j \in \{k_{a_1 + 1}, \cdots, k_{1,3}\}$ and $(\beta, w) \in U_\alpha \times W_v$, ensuring that condition \hyperref[V2]{(V2)} is no longer violated.
We define $w_2'$ in a similar way, as a continuous function of $\beta$, $w$, and $w_1'$.
Since $w_1'$ depends continuously on $\beta$ and $w$, the resulting $w_2'$ will also depend continuously only on $\beta$ and $w$.
Let $w_2' \in V$ be the unique solution of the following system of four linear equations:
\begin{align*}
\beta_2 (w_2') &= 2, \\
\beta_j (w_2') &= 0 \quad &\text{for} \quad &j \in \{k_{2,1}, \cdots, k_{2, a_2}\}, \\
\beta_j (w_2') &= \frac{4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right) }{\beta_2 (w_j')} \quad &\text{for} \quad &j \in \{k_{2, a_2 + 1}, \cdots, k_{2, a_2 + b_2}\}, \\
\beta_j (w_2') &= \alpha_j (w_2) \quad &\text{for} \quad &j \in \{k_{2, a_2 + b_2 + 1}, \cdots, k_{2, 3}\}.
\end{align*}
Using similar logic as with $w_1'$, we confirm that $\beta_2, \beta_{k_{2,1}}, \beta_{k_{2,2}}, \beta_{k_{2,3}}$ are linearly independent.
Since $b_2$ is either 0 or 1 (because $j = 1$ is the only index with $j < 2$) and $\beta_2 (w_1') < 0$, $w_2'$ is well-defined and continuous.
We proceed similarly to define $w_3', \cdots, w_f'$ by iterating this construction process, ensuring each $w_i'$ is continuous and meets the conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)} as required.
Fix $i \geq 3$ and assume that the neighborhoods $U_\alpha$ and $W_v$ of $\alpha$ and $v$, along with the continuous functions $w_k': U_\alpha \times W_v \to V$ for $k = 1, \cdots, i - 1$, are defined so that $w_k' (\alpha, v) = v$.
We define $w_i' \in V$ to be the solution to the following system of four linear equations:
\begin{align*}
\beta_i (w_i') &= 2, \\
\beta_j (w_i') &= 0 \quad &\text{for} \quad &j \in \{k_{i, 1}, \cdots, k_{i, a_i}\}, \\
\beta_j (w_i') &= \frac{4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right) }{\beta_i (w_j')} \quad &\text{for} \quad &j \in \{k_{i, a_i + 1}, \cdots, k_{i, a_i + b_i}\}, \\
\beta_j (w_i') &= \alpha_j (w_i) \quad &\text{for} \quad &j \in \{k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}\}.
\end{align*}
The continuity of $w_i' = w_i' (\beta, w)$ follows from the continuities of $w_1', \cdots, w_{i - 1}'$.
Since $w_1' (\alpha, v) = \cdots = w_{i - 1}' (\alpha, v) = v$, we also obtain $w_i' (\alpha, v) = v$ by the uniqueness of the solution and the fact that $(\alpha, v)$ satisfies \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}.
Since $\alpha_j (v_i) < 0$ for $j \in \{k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}\}$, the continuity of $w_i'$ ensures that we can choose small neighborhoods $U_\alpha$ and $W_v$ so that $\beta_j (w_i') < 0 = \alpha_j (w_i) < 0$ for $j \in \{k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}\}$.
In this way, we obtain continuous functions $w_1', \cdots, w_f'$ on $U_\alpha \times W_v$ satisfying the condition (ii).
Finally, since $(\alpha, v)$ satisfies conditions \hyperref[V2]{(V2)} and \hyperref[V3]{(V3)}, we can select a sufficiently small neighborhood $\mathcal{U}$ of $(\alpha, v) \in (V^*)^f \times V^f$ such that
\[
\beta_i (w_j) < 0 \quad \text{for} \ i, j \ \text{with} \ i \ne j \ \text{and} \ m_{i, j} \ne 2, \text{and for} \ (\beta, w) \in \mathcal{U}.
\]
By choosing smaller neighborhoods $U_\alpha$ and $W_v$, we ensure that $(\beta, w') \in \mathcal{U}$ for $w' = w' (\beta, w)$ with $(\beta, w) \in U_\alpha \times W_v$.
It remains to show that $(\beta, w') \in \widetilde{\mathcal{D}} (\mathcal{G})$, i.e., $(\beta, w')$ satisfies conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}.
Conditions \hyperref[V1]{(V1)}, \hyperref[V3]{(V3)}, and \hyperref[V4]{(V4)} are satisfied by construction.
Since $\beta \in \widetilde{\mathcal{E}} (\mathcal{G})$, condition \hyperref[V6]{(V6)} is automatically satisfied by Lemma \ref{realization space membership}.
Condition \hyperref[V2]{(V2)} holds because if $m_{i, j} = 2$, it is satisfied by the construction of $w_i'$, and if $m_{i, j} \geq 3$, it holds by our choice of neighborhoods $\mathcal{U}, U_\alpha, W_v$.
Condition \hyperref[V5]{(V5)} follows from Lemma \ref{nonadjacent}. According to this lemma, if $\mathcal{G}_i$ and $\mathcal{G}_j$ are not adjacent, we can find constants $c_l \geq 0$ for $l \in S_i$ (the set of indices $k$ such that $\mathcal{G}_k$ and $\mathcal{G}_i$ are adjacent) and $c_i > 0$ such that
\[
\beta_j = - c_i \beta_i + \sum_{l \in S_i} c_l \beta_l.
\]
Using this, we obtain
\begin{align*}
\beta_i (w_j') \beta_j (w_i')
&= \beta_i (w_j') \left( - 2 c_i + \sum_{l \in S_i} c_l \beta_l (w_i') \right)\\
&\geq - 2 c_i \beta_i (w_j') \quad (\text{since} \ \beta_a (w_b) \leq 0 \ \text{if} \ a \ne b) \\
&= 2 \left(\beta_j (w_j') - \sum_{l \in S_i} c_l \beta_l (w_j')\right) \\
&= 2 \left( 2 - \sum_{l \in S_i} c_l \beta_l (w_j') \right) \\
&\geq 4.
\end{align*}
Therefore, $(\beta, w')$ satisfies \hyperref[V5]{(V5)}.
In conclusion, the neighborhoods $U_\alpha, W_v$ and the functions $w_i': U_\alpha \times W_v \to V$ meet all the required conditions.
\end{proof}
\begin{lemma}\textup{(\cite{MR0302779}, Proposition 14)}\label{nonadjacent}
Let $W$ be a finite dimensional real vector space, and let $\mu_1, \cdots, \mu_s \in W^* \setminus \{0\}$ be linear functionals such that the cone
\[ K := \{w \in W \ | \ \mu_j (w) \geq 0 \ \text{for} \ j = 1, \cdots, f\} \]
has nonempty interior and no inequality $\mu_j \geq 0$ is implied by any combinations of the other inequalities $\mu_k \geq 0$ with $k \ne j$.
Let $K_1, \cdots, K_f \subset K$ be the facets of $K$ supported by the functionals $\mu_1, \cdots, \mu_f$ respectively.
Let $i \ne j \in \{1, \cdots, f\}$ be two indices such that the facets $K_i, K_j$ are not adjacent.
Let
\begin{align}\label{Proposition 14}
S_i := \{l \in \{1, \cdots, f\} \ | \ K_l \ \text{is adjacent to} \ K_i\}.
\end{align}
Then there are $c_l \geq 0$ for $l \in S_i$ and $c_i > 0$ such that
\[ \mu_j = - c_i \mu_i + \sum_{l \in S_i} c_l \mu_l. \]
\end{lemma}
For each $(\alpha, v) \in \widetilde{\mathcal{D}} (\mathcal{G})$, let $w': U_\alpha \times W_v \to V$ be the map given by Lemma \ref{standard chart lemma}.
Then we define a map $\Phi_{\alpha, v}: U_\alpha \times W_v \to \widetilde{\mathcal{D}} (\mathcal{G})$ by $\Phi_{\alpha, v} (\beta, w) := (\beta, w')$.
We refer to such maps as \textit{standard charts around the point} $(\alpha, v)$.
\begin{lemma}
Let $(\alpha, v) \in \widetilde{\mathcal{D}} (\mathcal{G})$ and let $U_\alpha \subset \widetilde{\mathcal{E}} (\mathcal{G}), W_v \subset \rho^{-1} (\alpha)$ be open neighborhoods of $\alpha, v$ as in Lemma \ref{standard chart lemma}.
Then the standard chart $\Phi_{\alpha, v}: U_\alpha \times W_v \to \widetilde{\mathcal{D}} (\mathcal{G})$ is a topological embedding onto an open subset of $\widetilde{\mathcal{D}} (\mathcal{G})$.
\end{lemma}
\begin{proof}
The map $\Phi_{\alpha, v}$ is continuous by Lemma \ref{standard chart lemma}.
It remains to show that $\Phi_{\alpha, v}$ is injective and open.
We first show that $\Phi_{\alpha, v}$ is injective.
Let $(\beta, w), (\gamma, x) \in U_\alpha \times W_v$ and suppose that $\Phi_{\alpha, v} (\beta, w) = \Phi_{\alpha, v} (\gamma, x)$.
From the definition, it follows immediately that $\beta = \gamma$.
Write $(\beta, w') = \Phi_{\alpha, v} (\beta, w)$ and $(\gamma, x') = \Phi_{\alpha, v} (\gamma, x)$.
The construction in Lemma \ref{standard chart lemma} includes the condition
\begin{align*}
\beta_j (w_1') = \alpha_j (w_1) \quad \text{for} \ j \in \{k_{1, a_1 + b_1 + 1}, \cdots, k_{1, 3}\}.
\end{align*}
(Note that $b_1 = 0$.)
On the other hand, since $w \in W_v \subset \rho^{-1} (\alpha)$, we have $(\alpha, w) \in \widetilde{\mathcal{D}} (\mathcal{G})$.
In particular, $(\alpha, w)$ satisfies conditions \hyperref[V1]{(V1)} and \hyperref[V3]{(V3)}.
These conditions imply that
\begin{align*}
\alpha_1 (w_1) &= 2, \\
\alpha_j (w_1) &= 0 \quad \text{for} \ j \in \{k_{1, 1}, \cdots, k_{1, a_1}\}.
\end{align*}
To summarize, the vector $w_1 \in V$ is the unique solution of the following system of four linear equations:
\begin{align*}
\alpha_1 (w_1) &= 2, \\
\alpha_j (w_1) &= 0 \quad &\text{for} \quad &j \in \{k_{1, 1}, \cdots, k_{1, a_1}\}, \\
\alpha_j (w_1) &= \beta_j (w_1') \quad &\text{for} \quad &j \in \{k_{1, a_1 + 1}, \cdots, k_{1, 3}\}.
\end{align*}
Since $\beta = \gamma$ and $w' = x'$, we see that $x_1 \in V$ is also a solution of this same system of equations.
Therefore, we conclude that $w_1 = x_1$.
Next, we prove that $w_2 = x_2$.
The construction of $w_2'$ in Lemma \ref{standard chart lemma} includes the condition
\[
\beta_j (w_2') = \alpha_j (w_2) \quad \text{for} \ j \in \{k_{2, a_2 + b_2 + 1}, \cdots, k_{2,3}\}.
\]
On the other hand, since $(\alpha, w) \in \widetilde{\mathcal{D}} (\mathcal{G})$, it satisfies conditions \hyperref[V1]{(V1)}, \hyperref[V3]{(V3)}, and \hyperref[V4]{(V4)}.
These conditions imply that
\begin{align*}
\alpha_2 (w_2) &= 2, \\
\alpha_j (w_2) &= 0 \quad &\text{for} \quad &j \in \{k_{2, 1}, \cdots, k_{2, a_2}\}, \\
\alpha_j (w_2) &= \frac{4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right) }{\alpha_2 (w_j)} \quad &\text{for} \quad &j \in \{k_{2, a_2 + 1}, \cdots, k_{2, a_2 + b_2}\}.
\end{align*}
By combining these systems, we see that $w_2$ is the unique solution of the following system:
\begin{align*}
\alpha_2 (w_2) &= 2, \\
\alpha_j (w_2) &= 0 \quad &\text{for} \quad &j \in \{k_{2, 1}, \cdots, k_{2, a_2}\}, \\
\alpha_j (w_2) &= \frac{4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right) }{\alpha_2 (w_j)} \quad &\text{for} \quad &j \in \{k_{2, a_2 + 1}, \cdots, k_{2, a_2 + b_2}\}, \\
\alpha_j (w_2) &= \beta_j (w_2') \quad &\text{for} \quad &j \in \{k_{2, a_2 + b_2 + 1}, \cdots, k_{2,3}\}.
\end{align*}
Since $\beta = \gamma$, $w' = x'$, and $w_1 = x_1$, we conclude that $x_2 \in V$ is also a solution of this same system of equations.
Therefore, we obtain $w_2 = x_2$.
The equalities $w_i = x_i$ for $i \geq 3$ can be proved in the same manner.
This completes the proof of the injectivity of $\Phi_{\alpha, v}$.
Now we prove the openness of $\Phi_{\alpha, v}$.
Let $(\beta, w) \in U_\alpha \times W_v$ and write $(\beta, w') := \Phi_{\alpha, v} (\beta, w)$.
To prove openness, it suffices to construct a continuous local inverse
\[ F: \widetilde{\mathcal{D}} (\mathcal{G}) \cap (S_\beta \times T_{w'}) \to U_\alpha \times W_v \]
of $\Phi_{\alpha, v}$ for some open neighborhoods $S_\beta \subset (V^*)^f$ and $T_{w'} \subset V^f$ of $\beta$ and $w'$, respectively, such that $\Phi_{\alpha, v} \circ F = \text{id}_{\widetilde{\mathcal{D}} (\mathcal{G}) \cap (S_\beta \times T_{w'})}$.
Let $S_\beta$ and $T_{w'}$ be arbitrary open neighborhoods of $\beta$ and $w'$ in $(V^*)^f$ and $V^f$, respectively.
We choose $S_\beta$ small enough so that $S_\beta \cap \widetilde{\mathcal{E}} (\mathcal{G}) \subset U_\alpha$.
Let $(\gamma, x') \in \widetilde{\mathcal{D}} (\mathcal{G}) \cap (S_\beta \times T_{w'})$.
We now construct $X_1(\gamma, x'), \cdots, X_f (\gamma, x') \in V$ so that $(\gamma, X (\gamma, x'))$ with $X (\gamma, x') = (X_1(\gamma, x'), \cdots, X_f (\gamma, x'))$ belongs to $U_\alpha \times W_v$ in a manner analogous to the construction of $\Phi_{\alpha, v}$.
Since we require $X (\gamma, x') \in W_v$, the element $X (\gamma, x')$ must satisfy $X (\gamma, x') \in \rho^{-1} (\alpha)$, i.e., $(\alpha, X (\gamma, x'))$ must satisfy conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}.
We define $X_1 (\gamma, x') \in V$ to be the unique solution of the system
\begin{align*}
\alpha_1 (X_1 (\gamma, x')) &= 2, \\
\alpha_j (X_1 (\gamma, x')) &= 0 \quad &\text{for} \quad &j \in \{k_{1, 1}, \cdots, k_{1, a_1}\}, \\
\alpha_j (X_1 (\gamma, x')) &= \gamma_j (x_1') \quad &\text{for} \quad &j \in \{k_{1, a_1+ 1}, \cdots, k_{1, 3}\}.
\end{align*}
The inequalities $\alpha_j (X_1 (\gamma, x')) = \gamma_j (x_1') < 0$ for $j \in \{k_{1, a_1 + 1}, \cdots, k_{1, 3}\}$ are automatically satisfied since $(\gamma, x') \in \widetilde{\mathcal{D}} (\mathcal{G})$.
Thus, the subsequent equations to define $X_2 (\gamma, x'), \cdots, X_f (\gamma, x')$ are well-defined.
Let $X_2 (\gamma, x'), \cdots, X_f (\gamma, x')$ be the vectors obtained by applying the same process.
Up to this point, there is no need to shrink the neighborhoods $S_\beta$ and $T_{w'}$.
To ensure that $\alpha_i (X_j (\gamma, x')) < 0$ for all $i, j$ with $i \ne j$ and $m_{i, j} \ne 2$, we select smaller neighborhoods $S_\beta$ and $T_{w'}$ of $\beta$ and $w'$, respectively.
Since $X (\gamma, x')$ depends continuously on $(\gamma, x') \in S_\beta \times T_{w'}$ and $X (\beta, w') = (\beta, w)$ by the injectivity of $\Phi_{\alpha, v}$, the constructions of $X_1 (\gamma, x'), \cdots, X_f (\gamma, x')$ and $\Phi_{\alpha, v}$ imply that $\Phi_{\alpha, v} \circ F$ is the identity on $\widetilde{\mathcal{D}} (\mathcal{G}) \cap (S_\beta \times T_{w'})$.
By the same reasoning as in the proof of Lemma \ref{standard chart lemma}, the element $(\alpha, X (\gamma, x'))$ satisfies conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}.
Using the continuity of $X (\gamma, x')$, we can further refine the neighborhoods $S_\beta$ and $T_{w'}$ so that the image of $F$ lies within $U_\alpha \times W_v$.
Thus, the map $F: \widetilde{\mathcal{D}} (\mathcal{G}) \cap (S_\beta \times T_{w'}) \to U_\alpha \times W_v$ is a continuous local inverse of $\Phi_{\alpha, v}$.
This completes the proof of the openness of $\Phi_{\alpha, v}$.
\end{proof}
The images of the standard charts $\Phi_{\alpha, v}$ for $(\alpha, v) \in \widetilde{\mathcal{D}} (\mathcal{G})$ cover the ``lifted" deformation space $\widetilde{\mathcal{D}} (\mathcal{G})$.
We next prove that their transition maps are smooth.
\begin{lemma}\label{transition}
Let $\Phi^{(l)}: U_\alpha^{(l)} \times W_v^{(l)} \to \widetilde{\mathcal{D}} (\mathcal{G})$, $l = 1,2$, be two standard charts around the points $(\alpha^{(l)}, v^{(l)}) \in \widetilde{\mathcal{D}} (\mathcal{G})$, for $l = 1,2$.
Suppose that the intersection
\[
C := \Phi^{(1)} \left(U_\alpha^{(1)} \times W_v^{(1)}\right) \cap \Phi^{(2)} \left(U_\alpha^{(2)} \times W_v^{(2)}\right)
\]
is nonempty.
Then the map
\[
(\Phi^{(2)})^{-1} \circ \Phi^{(1)}: (\Phi^{(1)})^{-1} (C) \to (\Phi^{(2)})^{-1} (C)
\]
is smooth.
In particular, the standard charts of $\widetilde{\mathcal{D}} (\mathcal{G})$ define a smooth structure on $\widetilde{\mathcal{D}} (\mathcal{G})$.
The dimension of $\widetilde{\mathcal{D}} (\mathcal{G})$ is $4f - e_2 + 6$.
\end{lemma}
\begin{proof}
Let $(\beta^{(1)}, w^{(1)}) \in (\Phi^{(1)})^{-1} (C)$ and let $(\beta^{(2)}, w^{(2)}) := (\Phi^{(2)})^{-1} \circ \Phi^{(1)} (\beta^{(1)}, w^{(1)})$.
Define $(\beta, w') := \Phi^{(1)} (\beta^{(1)}, w^{(1)}) = \Phi^{(2)} (\beta^{(2)}, w^{(2)})$.
From the definition of standard charts, it follows immediately that $\beta^{(1)} = \beta = \beta^{(2)}$.
Furthermore, the following relations hold due to the fact that $(\alpha^{(2)}, w^{(2)}) \in \widetilde{\mathcal{D}} (\mathcal{G})$ and from the construction of the standard charts:
\begin{align*}
\alpha_i^{(2)} (w_i^{(2)}) &= 2, \\
\alpha_j^{(2)} (w_i^{(2)}) &= 0 \quad &\text{for} \quad &j \in \{k_{i, 1}, \cdots, k_{i, a_i}\}, \\
\alpha_j^{(2)} (w_i^{(2)}) &= \frac{4 \cos^2 \left( \frac{\pi}{m_{i, j}} \right) }{\alpha_i^{(2)} (w_j^{(2)})} \quad &\text{for} \quad &j \in \{k_{i, a_i + 1}, \cdots, k_{i, a_i + b_i}\}, \\
\alpha_j^{(2)} (w_i^{(2)}) &= \beta_j^{(2)} (w_i') = \alpha_j^{(1)} (w_1^{(1)}) \quad &\text{for} \quad &j \in \{k_{i, a_i + b_i + 1}, \cdots, k_{i, 3}\}.
\end{align*}
In particular, $w^{(2)}$ can be expressed as a rational function of the entries of $w^{(1)}$.
Since $\rho^{-1} (\alpha)$ is an embedded submanifold of $V^f$, we conclude that the transition map is smooth.
(See the remark at the end of Section \ref{Section 6.2}.)
By Lemma \ref{principal bundle} and Lemma \ref{restricted}, the dimension of $\widetilde{\mathcal{D}} (\mathcal{G})$ can be computed as
\begin{align*}
\dim \widetilde{\mathcal{D}} (\mathcal{G})
&= \dim \widetilde{\mathcal{E}} (\mathcal{G}) + \dim \rho^{-1} (\alpha) \\
&= \dim \widetilde{\mathcal{E}} (\mathcal{G}) + \dim \mathcal{C}_P (\mathcal{G}) \\
&= (e + f + 6) + (3f - e - e_2) \\
&= 4f - e_2 + 6,
\end{align*}
where $\alpha \in \widetilde{\mathcal{E}} (\mathcal{G})$ is any element such that $\rho^{-1} (\alpha)$ is nonempty, and $P \subset \mathbb{S}^3$ is the convex 3-polytope determined by $\alpha$.
\end{proof}
\subsection{Proof of the main theorem}\label{Section 6.4}
In this section, we finalize the proof of Theorem \ref{main theorem}.
Recall that the group $\mathbb{G} = \text{SL}_\pm (V) \times \mathbb{R}_+^f$ acts smoothly on $\widetilde{\mathcal{D}} (\mathcal{G})$ by
\begin{align*}
&(A, c_1, \cdots, c_f) \cdot (\alpha_1, \cdots, \alpha_f, v_1, \cdots, v_f) \\
&\quad = (c_1^{-1} \alpha_1 \circ A^{-1}, \cdots, c_f^{-1} \alpha_f \circ A^{-1}, c_1 A v_1, \cdots, c_f A v_f).
\end{align*}
\begin{lemma}\label{proper and free}
Suppose that the underlying combinatorial polytope of $\mathcal{G}$ is not a cone over a polygon.
Then the action of $\mathbb{G}$ on $\widetilde{\mathcal{D}} (\mathcal{G})$ is proper and free.
\end{lemma}
\begin{proof}
Since the group $\mathbb{G}$ acts freely on $\widetilde{\mathcal{E}} (\mathcal{G})$, it also acts freely on $\widetilde{\mathcal{D}} (\mathcal{G})$.
We prove the properness of the action of $\mathbb{G}$ on $\widetilde{\mathcal{D}} (\mathcal{G})$.
Since the map $\widetilde{\mathcal{E}} (\mathcal{G}) \to \widetilde{\mathcal{E}} (\mathcal{G}) / \mathbb{G}$ is a principal bundle and both $\widetilde{\mathcal{E}} (\mathcal{G})$ and $\mathcal{E} (\mathcal{G})$ are smooth manifolds (Lemma \ref{principal bundle}), the action of $\mathbb{G}$ on $\widetilde{\mathcal{E}} (\mathcal{G})$ is proper.
To prove that the action of $\mathbb{G}$ on $\widetilde{\mathcal{D}} (\mathcal{G})$ is proper, let $K$ be a compact subset of $\widetilde{\mathcal{D}} (\mathcal{G}) \times \widetilde{\mathcal{D}} (\mathcal{G})$.
Let $\{g_n\}_{n \in \mathbb{N}}$ be a sequence in $\mathbb{G}$, $\{(\alpha^{(n)}, v^{(n)})\}_{n \in \mathbb{N}}$ a sequence in $\widetilde{\mathcal{D}} (\mathcal{G})$, and suppose $(g_n \cdot (\alpha^{(n)}, v^{(n)}), (\alpha^{(n)}, v^{(n)})) \in K$.
We need to find a convergent subsequence of $\{g_n\}_{n \in \mathbb{N}}$.
The sequences $g_n \cdot \alpha^{(n)}$ and $\alpha^{(n)} \in \widetilde{\mathcal{E}} (\mathcal{G})$ lie in the compact subset $\rho (K) \subset \widetilde{\mathcal{E}} (\mathcal{G})$.
Since the action of $\mathbb{G}$ on $\widetilde{\mathcal{E}} (\mathcal{G})$ is proper, we conclude that $\{g_n\}_{n \in \mathbb{N}}$ has a convergent subsequence.
\end{proof}
We conclude the proof of our main theorem.
\vspace{5mm}
\noindent
\textbf{Theorem 1.2.}
Let $\mathcal{G}$ be a labeled combinatorial 3-polytope.
Let $f$ and $e_2$ be the numbers of facets and the edges of order 2 of $\mathcal{G}$.
Suppose that $\mathcal{G}$ is orderable and of normal type.
Suppose further that the stabilizer subgroup of $\textup{SL}_{\pm} (4, \mathbb{R})$ fixing any polyhedron $P \subset \mathbb{S}^3$ representing $\mathcal{G}$ is trivial.
Then $\mathcal{C} (\mathcal{G})$ is a smooth manifold of dimension $3f - e_2 - 9$.
\begin{proof}
By the embedding $\Phi$ in Lemma \ref{embedding lemma} and Section \ref{Section 6.2}, the space $\mathcal{C} (\mathcal{G})$ is homeomorphic to $\mathcal{D} (\mathcal{G}) = \widetilde{\mathcal{D}} (\mathcal{G}) / \mathbb{G}$.
By Lemma 6.9, the space $\widetilde{\mathcal{D}} (\mathcal{G}) / \mathbb{G}$ admits a smooth structure such that the quotient map $\widetilde{\mathcal{D}} (\mathcal{G}) \to \widetilde{\mathcal{D}} (\mathcal{G}) / \mathbb{G}$ is a smooth submersion.
The dimension of the smooth manifold $\widetilde{\mathcal{D}} (\mathcal{G})$ is computed in Lemma \ref{transition}.
It follows that $\mathcal{C} (\mathcal{G})$ admits a smooth structure, and its dimension is
\[
\dim \mathcal{C} (\mathcal{G})
= \dim \widetilde{\mathcal{D}} (\mathcal{G}) - \dim \mathbb{G}
= (4f - e_2 + 6) - (15 + f)
= 3f - e_2 - 9.
\]
\end{proof}
\vspace{5mm}
\section{Examples}\label{section 7}
The deformation space $\mathcal{C}(\mathcal{G})$ is naturally identified with a subspace of $((V^*)^f \times V^f) / \mathbb{G}$.
In the preceding section, we introduced the map $\overline{\rho}: \mathcal{C}(\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$, which associates each Coxeter 3-polytope $[(\alpha, v)] = [(\alpha_1, \dots, \alpha_f, v_1, \dots, v_f)]$ with the projective equivalence class $[\alpha] = [(\alpha_1, \dots, \alpha_f)]$ of polytopes.
Each non-empty fiber of $\overline{\rho}$ corresponds to a restricted deformation space, and it is a smooth manifold in the settings of Theorem \ref{main theorem}.
Furthermore, since the map $\overline{\rho}$ is induced by the projection $(V^*)^f \times V^f \to (V^*)^f$, it is an open map onto an open submanifold of the realization space $\mathcal{RS} (\mathcal{G})$.
In this section, we examine two examples of labeled combinatorial 3-polytopes $\mathcal{G}$ to illustrate a procedure for computing $\mathcal{C}(\mathcal{G})$.
We explicitly compute the restricted deformation spaces, corresponding to the non-empty fibers of the map $\overline{\rho}: \mathcal{C}(\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$, and describe the global deformation space $\mathcal{C} (\mathcal{G})$
In Example \hyperref[Example 7.1]{7.1}, we present a case where the deformation space $\mathcal{C}(\mathcal{G})$ is topologically a cell, outlining a method to compute both the realization space $\mathcal{RS} (\mathcal{G})$ and the restricted deformation spaces in detail.
In Example \hyperref[counterexample]{7.2}, we apply the same procedure and observe that, while the restricted deformation spaces are smooth manifolds of the same dimension (cf. Theorem \ref{restricted}), some of them may not be homeomorphic to each others.
In particular, the projection map $\overline{\rho}$ is generally not a fiber bundle.
In both examples, we see that the map $\overline{\rho}$ is not surjective.
This implies that, given two combinatorially equivalent convex 3-polytopes in $\mathbb{S}^3$, one polytope may admit reflections making it a Coxeter polytope, while the other may not admit such reflections.
\vspace{5mm}
\begin{figure}[t]
\centering
\begin{tikzpicture}
\draw (-0.67, -0.38) -- (0.67, -0.38);
\draw (-0.67, -0.38) -- (0, 0.77);
\draw (0.67, -0.38) -- (0, 0.77);
\draw (-2, -1.15) -- (2, -1.15);
\draw (-2, -1.15) -- (0, 2.31);
\draw (2, -1.15) -- (0, 2.31);
\draw (0, 0.77) -- (0, 2.31);
\draw (-0.67, -0.38) -- (-2, -1.15);
\draw (0.67, -0.38) -- (2, -1.15);
\draw (0, 2.31) -- (0.67, -0.38);
\node at (0, 0) {\footnotesize $\mathcal{G}_1$};
\node at (0.22, 0.9) {\footnotesize $\mathcal{G}_2$};
\node at (-0.67, 0.47) {\footnotesize $\mathcal{G}_3$};
\node at (0, -0.77) {\footnotesize $\mathcal{G}_4$};
\node at (2, 0.9) {\footnotesize $\mathcal{G}_5$};
\node at (0.79, 0.44) {\footnotesize $\mathcal{G}_6$};
\node at (-0.43, 0.29) {\tiny 2};
\node at (0.23, 0.09) {\tiny 2};
\node at (0, -0.48) {\tiny 2};
\node at (-0.1, 1.54) {\tiny 2};
\node at (0.43, 1.06) {\tiny 2};
\node at (1.23, -0.87) {\tiny 2};
\node at (1.1, 0.68) {\tiny 2};
\node at (-1.23, -0.87) {\tiny 3};
\node at (0, -1.25) {\tiny 3};
\node at (-1.1, 0.68) {\tiny 3};
\end{tikzpicture}
\caption{An labeled combinatorial 3-polytope $\mathcal{G}$ where $\mathcal{C} (\mathcal{G})$ is 2-dimensional. (Example \ref{Example 7.1})}
\label{example 1}
\end{figure}
\begin{example}\label{Example 7.1}
Let $\mathcal{G}$ be the labeled combinatorial 3-polytope given in Figure \ref{example 1}.
In the notations of Theorem \ref{main theorem}, we have $f = 6$, $e = 10$, and $e_2 = 7$.
Thus, the deformation space $\mathcal{C} (\mathcal{G})$ is a smooth manifold of dimension $3f - e_2 - 9 = 2$ by Theorem \ref{main theorem} and the realization space $\mathcal{RS} (\mathcal{G}) \cong \mathcal{E} (\mathcal{G})$ is a smooth manifold of dimension $e - 9 = 1$ by \ref{realization spaces}.
Furthermore, the restricted deformation spaces, which can be identified with the nonempty fibers of the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$, are smooth manifolds of dimension $3f - e - e_2 - k (\mathcal{G}) = 1$.
For this example, we first describe the realization space $\mathcal{E} (\mathcal{G})$, then compute the restricted deformation spaces explicitly, and finally determine the global structure of the deformation space $\mathcal{C} (\mathcal{G})$.
\vspace{5mm}
\noindent
- \textit{The description of the realization space $\mathcal{E} (\mathcal{G})$.}
\vspace{5mm}
We first describe the realization space $\mathcal{E} (\mathcal{G})$ explicitly.
Here is a brief outline of the computations.
For each $\alpha = (\alpha_1, \cdots, \alpha_6) \in \widetilde{\mathcal{E}} (\mathcal{G})$ (see Section \ref{reparametrization} for the notation), we find a ``standard" representative $\beta = (\beta_1, \cdots, \beta_6)$ of the $\mathbb{G}$-orbit $[\alpha] \in \mathcal{E} (\mathcal{G})$ of $\alpha$ such that the first five linear functionals $\beta_1, \cdots, \beta_5$ are in a specified form.
It can then be easily checked that such a representative is unique in each $\mathbb{G}$-orbit.
Next, we determine the last linear functional $\beta_6$ such that the resulting convex 3-polytope, defined by the inequalities $\beta_i \geq 0$, is combinatorially equivalent to $\mathcal{G}$.
Let $\alpha = (\alpha_1, \cdots, \alpha_6) \in \widetilde{\mathcal{E}} (\mathcal{G})$ be an arbitrary element.
We note that the first five linear inequalities $\alpha_1 \geq 0, \cdots, \alpha_5 \geq 0$ determine a convex 3-polytope, which is a triangular prism.
Since any triangular prism has 9 edges, its realization space is 0-dimensional by Theorem \ref{realization spaces}.
Indeed, it can be verified that the realization space consists of a single element, defined by the inequalities $\beta_1 \geq 0, \cdots, \beta_5 \geq 0$ where
\begin{align*}
\beta_i &= e_i^* \quad \text{for} \quad i = 1,2,3,4, \\
\beta_5 &= - e_1^* + e_2^* + e_3^* + e_4^*,
\end{align*}
and $\{e_1^*, \cdots, e_4^*\}$ is the standard basis of the dual vector space $V^* = (\mathbb{R}^4)^*$.
Here we have chosen the indices $1, \cdots ,5$ so that the facets supported by $\beta_1, \cdots, \beta_5$ match the adjacency relations shown in Figure \ref{example 1}.
We next find $\beta_6 \in V^*$ such that the six inequalities $\beta_i \geq 0$, $i = 1, \cdots, 6$, determine a convex polytope combinatorially equivalent to $\mathcal{G}$.
Let $T \subset \mathbb{S}^3$ be the triangular prism determined by the first five inequalities $\beta_1 \geq 0, \cdots, \beta_5 \geq 0$, and let $v_{124}, v_{235} \in \mathbb{S}^3$ be the vertices of $T$ contained in the facets $T_1, T_2, T_4$ and $T_2, T_3, T_5$, respectively.
Then, the sixth supporting hyperplane $\mathbb{S} \{\beta_6 = 0\} \subset \mathbb{S}^3$ must pass through the vertices $v_{124}$ and $v_{235}$.
Using the explicit forms of the first five functionals $\beta_1, \cdots, \beta_5$, we can obtain
\[
v_{124} = [(0,0,1,0)], \quad v_{235} = [(1,0,0,1)].
\]
Substituting these vertices into $\beta_6$, we find that $\beta_6$ has the form
\begin{align}\label{beta_6}
\beta_6 = d_1 e_1^* + d_2 e_2^* - d_1 e_4^*
\end{align}
for some $d_1, d_2 \in \mathbb{R}$.
To obtain possible values of $d_1$, we observe that the vertex $v_{123}$ of $T$ (defined analogously to $v_{235}$ and $v_{124}$) must lie inside the half-space $\mathbb{S} \{\beta_6 > 0\}$.
The vertex $v_{123}$ must satisfy $\beta_1 = \beta_2 = \beta_3 = 9$ and $\beta_4 > 0$, so we have $v_{123} = [(0,0,0,1)]$.
Substituting $v_{123}$ in the relation \eqref{beta_6} we thus obtain $d_1 < 0$.
Since multiplying $\beta_6$ by a positive scalar leaves the hyperplane $\mathbb{S} \{\beta_6 = 0\}$ invariant, we may assume
\[
\beta_6 = - e_1^* + d e_2^* + e_4^*
\]
for some $d \in \mathbb{R}$.
We find the range of $d$ such that the inequalities $\beta_1 \geq 0, \cdots, \beta_6 \geq 0$ determine a convex 3-polytope combinatorially equivalent to $\mathcal{G}$.
Let $E_{45}$ denote the edge $T_4 \cap T_5$ of the triangular prism $T$.
The inequalities $\beta_1 \geq 0, \cdots, \beta_6 \geq 0$ determine a convex 3-polytope combinatorially equivalent to $\mathcal{G}$ if and only if the hyperplane $\mathbb{S} \{\beta_6 = 0\}$ intersects the interior of the edge $E_{45}$ transversally.
This condition holds if and only if the three vertices $v_{134}$, $v_{123}$, and $v_{345}$ lie in the open half-space $\mathbb{S} \{\beta_6 > 0\}$, while the vertex $v_{245}$ lies in the opposite half-space $\mathbb{S} \{\beta_6 < 0\}$.
Using the explicit forms of the first five functionals $\beta_1, \cdots, \beta_5$, we obtain $v_{134} = [(0,1,0,0)]$, $v_{123} = [(0,0,0,1)]$, $v_{345} = [(1,1,0,0)]$ and $v_{245} = [(1,0,1,0)]$.
Substituting these vertices, we find that $d$ determines an element of $\widetilde{\mathcal{E}} (\mathcal{G})$ if and only if $d \in (1, \infty)$.
By Lemma \ref{freeness lemma}, we see that different values of $d$ give projectively non-equivalent elements of $\widetilde{\mathcal{E}} (\mathcal{G})$.
Thus, we obtain an infinite path $(1, \infty) \to \widetilde{\mathcal{E}} (\mathcal{G})$ given by $d \mapsto (\beta_1, \cdots, \beta_5, \beta_6^d)$, where
\begin{align*}
\beta_i &= e_i^* \quad \text{for} \quad i = 1,2,3,4, \\
\beta_5 &= - e_1^* + e_2^* + e_3^* + e_4^*, \\
\beta_6^d &= - e_1^* + d e_2^* + e_4^*,
\end{align*}
and this path descends to a homeomorphism $(1, \infty) \cong \mathcal{E} (\mathcal{G})$.
\vspace{5mm}
\noindent
- \textit{The computation of the restricted deformation spaces.}
\vspace{5mm}
We compute the restricted deformation spaces for the same labeled combinatorial 3-polytope $\mathcal{G}$.
Recall from Section \ref{Section 6.2} that the restricted deformation spaces in $\mathcal{C} (\mathcal{G})$ can be identified with the nonempty fibers of the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$.
In the commuting diagram of Figure \ref{commuting diagram}, we see that they can also be identified with the nonempty fibers of the map $\overline{\rho}: \mathcal{D} (\mathcal{G}) \to \mathcal{E} (\mathcal{G})$.
Moreover, since $\eta: \widetilde{\mathcal{D}} (\mathcal{G}) \to \mathcal{D} (\mathcal{G})$ maps each nonempty fiber of $\rho: \widetilde{\mathcal{D}} (\mathcal{G}) \to \widetilde{\mathcal{E}} (\mathcal{G})$ homeomorphically onto a nonempty fiber of $\overline{\rho}$, it suffices to compute the nonempty fibers of $\rho$.
Here is the outline of the computation.
Let $d \in (1, \infty)$, and let $\beta := (\beta_1, \cdots, \beta_5, \beta_6^d) \in \widetilde{\mathcal{E}} (\mathcal{G})$ as described in the previous computation.
An element $w = (w_1, \cdots, w_6) \in V^6$ lies in $\rho^{-1} (\beta)$ if and only if $(\beta, w)$ satisfies the conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}.
The condition \hyperref[V6]{(V6)} is already given since $\beta \in \widetilde{\mathcal{E}} (\mathcal{G})$.
We first find such $w_1, \cdots, w_6$ successively by solving the linear equations arising from the conditions \hyperref[V1]{(V1)}, \hyperref[V3]{(V3)}, and \hyperref[V4]{(V4)}.
Then we sort out the solutions $w_1, \cdots, w_6$ satisfying the condition \hyperref[V2]{(V2)}.
Checking \hyperref[V5]{(V5)} is unnecessary, as it is redundant with \hyperref[V1]{(V1)} through \hyperref[V4]{(V4)} by Lemma \ref{nonadjacent} (this redundancy is explained at the end of the proof of Lemma \ref{standard chart lemma}).
In the process, we will also determine all values of $d$ for which the fiber $\rho^{-1} (\beta)$ is nonempty.
We first find the vector $w_1$.
By conditions \hyperref[V1]{(V1)} and \hyperref[V3]{(V3)}, it is uniquely determined by the equalities
\begin{align*}
\beta_1 (w_1) &= 2, \\
\beta_i (w_1) &= 0 \quad \text{for} \quad i = 2,3,4.
\end{align*}
Hence, we obtain $w_1 = (2, 0, 0, 0)$.
Similarly, the equations $\beta_2 (w_2) = 2$, $\beta_i (w_2) = 0$ for $i = 1, 3$, and $\beta_6^d (w_2) = 0$ yield $w_2 = (0, 2, 0, -2d)$.
The third vector $w_3$ is not uniquely determined.
It is given by only the three equations $\beta_3 (w_3) = 2$ and $\beta_i (w_3) = 0$ for $i = 1,2$.
Thus, $w_3 = (0, 0, 2, x)$ for some $x \in \mathbb{R}$.
The parameter $x$ will serve as the parameter for the 1-dimensional restricted deformation space, and we will determine the range of possible values for $x$ later.
For $w_4$, we need an additional condition \hyperref[V4]{(V4)}, and the resulting system of equations is
\begin{align*}
\beta_4 (w_4) &= 2, \\
\beta_i (w_4) &= 0 \quad \text{for} \quad i = 1, 6, \\
\beta_3 (w_4) &= \frac{4 \cos^2 \left( \frac{\pi}{3} \right) }{\beta_4 (w_3)} = \frac{1}{x}.
\end{align*}
Thus, we obtain $w_4 = \left(0, - \frac{2}{d}, \frac{1}{x}, 2 \right)$, which depends uniquely on $d$ and $x$.
Following the same approach, we find
\[
w_5 = \left( \frac{d \left( \frac{1}{x + 1} - 2 \right) }{d - 1} + \frac{1}{- \frac{2}{d} + \frac{1}{x} + 2}, \frac{\frac{1}{x + 1} - 2}{d - 1}, \frac{1}{x + 2}, \frac{1}{- \frac{2}{d} + \frac{1}{x} + 2} \right),
\]
and $w_6 = (-2, 0, -2, 0)$.
To summarize, we have obtained
\begin{align*}
w_1 &= (2, 0, 0, 0), \quad w_2 = (0, 2, 0, -2d), \quad w_3 = (0, 0, 2, x), \quad w_4 = \left(0, - \frac{2}{d}, \frac{1}{x}, 2 \right), \\
w_5 &= \left( \frac{d \left( \frac{1}{x + 1} - 2 \right) }{d - 1} + \frac{1}{- \frac{2}{d} + \frac{1}{x} + 2}, \frac{\frac{1}{x + 1} - 2}{d - 1}, \frac{1}{x + 2}, \frac{1}{- \frac{2}{d} + \frac{1}{x} + 2} \right), \\
w_6 &= (-2, 0, -2, 0).
\end{align*}
The realization space is parametrized by $d$, and the restricted deformation space corresponding to the parameter $d$ is then parametrized by $x$.
Next, we find all $d$ and $x$ such that $(\beta, w)$ satisfies condition \hyperref[V2]{(V2)}.
Since the cases $\beta_i (w_j) = 0$ are already covered in the construction of $w_1, \cdots, w_6$, we only need to consider the pairs $i, j$ such that $m_{i, j} \geq 3$.
Furthermore, Lemma \ref{nonadjacent} implies that it suffices to consider pairs $i, j$ with $m_{i, j} \ne \infty$, $i \ne j$, and $m_{i, j} \ne 2$.
These pairs correspond to the edges of $\mathcal{G}$ with order $\geq 3$.
It follows that the values of $d$ and $x$ satisfying condition \hyperref[V2]{(V2)} must satisfy the inequalities
\[
\beta_3 (w_4) < 0, \quad \beta_3 (w_5) < 0, \quad \beta_4 (w_5) < 0.
\]
These inequalities, combined with the condition $d \in (1, \infty)$, yield
\[
1 < d < \frac{4}{3}, \quad \frac{d}{2 - 2d} < x < - 2.
\]
We conclude that the restricted deformation space $\rho^{-1} (\beta)$ over the point $\beta = (\beta_1, \cdots, \beta_5, \beta_6^d) \in \widetilde{\mathcal{E}} (\mathcal{G})$ is nonempty if and only if $1 < d < \frac{4}{3}$.
Moreover, each nonempty fiber $\rho^{-1} (\beta)$, parametrized by $x$, is homeomorphic to an open interval.
From these observations, we conclude that the deformation space $\mathcal{C} (\mathcal{G})$ is homeomorphic to an open 2-cell $\mathbb{R}^2$, which gives an additional information to the statement of Theorem \ref{main theorem}.
\end{example}
\begin{figure}[t]
\centering
\begin{tikzpicture}
\draw (0, 0.8) -- (0.69282, -0.4);
\draw (0.69282, -0.4) -- (-0.69282, -0.4);
\draw (-0.69282, -0.4) -- (0, 0.8);
\draw (-0.4330125, 1.75) -- (0.4330125, 1.75);
\draw (0.4330125, 1.75) -- (0, 1.2);
\draw (0, 1.2) -- (-0.4330125, 1.75);
\draw (0.4330125, 1.75) -- (2.1650625, -1.25);
\draw (2.1650625, -1.25) -- (-2.1650625, -1.25);
\draw (-2.1650625, -1.25) -- (-0.4330125, 1.75);
\draw (0, 0.8) -- (0, 1.2);
\draw (0.69282, -0.4) -- (2.1650625, -1.25);
\draw (-0.69282, -0.4) -- (-2.1650625, -1.25);
\node at (-1,0) {\footnotesize $\mathcal{G}_1$};
\node at (1,0) {\footnotesize $\mathcal{G}_2$};
\node at (0,-0.9) {\footnotesize $\mathcal{G}_3$};
\node at (0,0) {\footnotesize $\mathcal{G}_4$};
\node at (2.5,0) {\footnotesize $\mathcal{G}_5$};
\node at (0,1.55) {\footnotesize $\mathcal{G}_6$};
\node at (-0.1,1) {\tiny 3};
\node at (-0.44641, 0.3) {\tiny 2};
\node at (-1.42894125, -0.725) {\tiny 3};
\node at (-1.3990375, 0.35) {\tiny 3};
\node at (-0.31650625, 1.375) {\tiny 2};
\node at (0.31650625, 1.375) {\tiny 2};
\node at (1.3990375, 0.35) {\tiny 3};
\node at (1.42894125, -0.725) {\tiny 4};
\node at (0.44641, 0.3) {\tiny 2};
\node at (0, -0.5) {\tiny 3};
\node at (0, -1.35) {\tiny 2};
\node at (0, 1.85) {\tiny 3};
\end{tikzpicture}
\caption{An example where the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ neither is surjective nor is a bundle. (Example \ref{counterexample})
}
\label{example 2}
\end{figure}
\begin{example}\label{counterexample}
We consider the labeled combinatorial 3-polytope $\mathcal{G}$ given in Figure \ref{example 2}.
The global topological structure of $\mathcal{C} (\mathcal{G})$ can be easily obtained without computing the restricted deformation spaces as in the previous example.
This polytope is a truncation polytope, so we can apply Theorem 3.16 of \cite{MR2660566} to conclude that the deformation space $\mathcal{C} (\mathcal{G})$ is homeomorphic to the space $\mathbb{R}^4 \sqcup \mathbb{R}^4$, the disjoint union of two copies of $\mathbb{R}^4$.
In Example \ref{Example 7.1}, the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ is not surjective, but it is a fiber bundle onto its open image, parametrized by $d \in (1, \frac{4}{3})$.
In the current example, we will see that the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ is not a fiber bundle over its image by observing that the number of connected components of the fibers over a single continuous path in $\mathcal{RS} (\mathcal{G})$ is not constant.
We will compute the realization space and some restricted deformation spaces, but will omit details of computations that are similar to those in Example \ref{Example 7.1}.
In the computation of the space $\widetilde{\mathcal{E}} (\mathcal{G})$, we apply the same argument as in Example \ref{Example 7.1}.
Specifically, we consider the unique representative $\beta = (\beta_1, \cdots, \beta_6)$ in each $\mathbb{G}$-orbit such that the first five functionals determine the triangular prism $T$ as in Example \ref{Example 7.1}.
This prism is defined by the five inequalities $\beta_1 \geq 0, \cdots, \beta_5 \geq 0$, where $\beta_i = e_i^*$ for $i = 1,2,3,4$ (the standard basis elements of $V^*$), and $\beta_5 = e_1^* + e_2^* + e_3^* - e_4^*$.
Note that the positions of $\mathcal{G}_1$ and $\mathcal{G}_4$ are switched compared to Example \ref{Example 7.1}.
This adjustment ensures that the orderability conditions are satisfied.
Let $v_{125}$ be the vertex $T_1 \cap T_2 \cap T_5$ of $T$.
For the sixth element $\beta_6 \in V^*$, the set $\mathbb{S} (\{x \in V \ | \ \beta_i (x) \geq 0 \ \text{for} \ i = 1, \cdots, 6\})$ forms a convex 3-polytope combinatorially equivalent to $\mathcal{G}$ if and only if the vertex $v_{125}$ lies in the open half-space $\mathbb{S} (\{\beta_6 < 0\})$ and the remaining five vertices of $T$ lie in the opposite half-space $\mathbb{S} (\{\beta_6 > 0\})$.
These conditions, along with normalization by positive scalars, yield the parametrization of $\mathcal{E} (\mathcal{G})$ given by
\begin{align*}
\beta_i &= e_i^* \quad \text{for} \quad i = 1,2,3,4, \\
\beta_5 &= e_1^* + e_2^* + e_3^* - e_4^*, \\
\beta_6 &= d_1 e_1^* + d_2 e_2^* + d_3 e_3^* - e_4^*,
\end{align*}
with $(d_1, d_2, d_3) \in (1, \infty) \times (1, \infty) \times (0, 1)$.
The number of parameters also coincides with Theorem \ref{realization spaces} since we have $e = 12$.
Next, we consider a specific path inside $\mathcal{E} (\mathcal{G})$ using the parametrization.
Let $\gamma (s) \in \widetilde{\mathcal{E}} (\mathcal{G})$, $s \in (1, \infty)$ be the (infinite) path given by
\[ d_1 = s, \quad d_2 = 2, \quad d_3 = \frac{1}{2} \]
in the above parametrization.
We examine the fiber $\rho^{-1} (\gamma (s))$ over the point $\gamma (s)$, i.e., the restricted deformation space associated with the polytope determined by $\gamma (s)$.
Following the same argument as in Example \ref{Example 7.1}, we compute the vectors $w_1, \cdots, w_6$ as
\begin{align*}
w_1 &= \left( 2, t, -4 s - 4 t, 0 \right), \\
w_2 &= \left( \frac{1}{t}, 2, -\frac{2(s + 4t)}{t}, 0 \right), \\
w_3 &= \left( -\frac{1}{2(2s + 2t)}, -\frac{t}{s + 4t}, 2, -\frac{\frac{s}{2} - 4s^2 + 2t - 18st - 14t^2}{(2s + 2t)(s + 4t)} \right), \\
w_4 &= \left( 0, 0, \frac{(2s + 2t)(s + 4t)}{-\frac{s}{2} + 4s^2 - 2t + 18st + 14t^2}, 2 \right), \\
w_5 &= \left( -\frac{1}{2\left(-1 + 2s + \frac{3t}{2}\right)}, \frac{t}{2\left(\frac{1}{2} - s - 3t\right)}, 0, -\frac{\frac{3}{4} - \frac{7s}{2} + 4s^2 - \frac{13t}{2} + 16st + \frac{39t^2}{4}}{\left(\frac{1}{2} - s - 3t\right)\left(1 - 2s - \frac{3t}{2}\right)} \right), \\
w_6 &= \left( 0, 0, \frac{2\left(-1 + \frac{9s}{2} - 5s^2 + \frac{29t}{4} - \frac{35st}{2} - 12t^2\right)}{\frac{3}{4} - \frac{13s}{4} + \frac{7s^2}{2} - \frac{11t}{2} + \frac{25st}{2} + \frac{33t^2}{4}}, \frac{2\left(-\frac{5}{4} + \frac{11s}{2} - 6s^2 + \frac{73t}{8} - \frac{85st}{4} - \frac{57t^2}{4}\right)}{\frac{3}{4} - \frac{13s}{4} + \frac{7s^2}{2} - \frac{11t}{2} + \frac{25st}{2} + \frac{33t^2}{4}} \right),
\end{align*}
where $t \in \mathbb{R}$ parametrizes the 1-dimensional restricted deformation space for each $s \in (1, \infty)$.
To satisfy the conditions \hyperref[V1]{(V1)} through \hyperref[V6]{(V6)}, the parameters $s$ and $t$ must meet the following inequalities:
\begin{align*}
\beta_3 (w_4) &< 0, \quad \beta_2 (w_5) < 0, \quad \beta_1 (w_5) < 0, \quad \beta_1 (w_2) < 0, \\
\beta_2 (w_3) &< 0, \quad \beta_1 (w_3) < 0, \quad \beta_5 (w_6) < 0.
\end{align*}
\end{example}
The complete solution to this system of inequalities is complicated.
For our purposes, it suffices to note the following partial solutions:
\begin{align*}
t &\in \left( \frac{1}{3} (2 - 4s), \frac{1}{14} (1 - 9s) - \frac{1}{14} \sqrt{1 - 11s + 25s^2} \right) \\
&\qquad \text{if} \ \frac{1}{176} \left(193 + 3 \sqrt{697}\right) < s \leq \frac{4}{19} \left(5 + \sqrt{6}\right), \\
t &\in \left( \frac{1}{3} (2 - 4s), \frac{1}{14} \left(1 - 9s\right) - \frac{1}{14} \sqrt{1 - 11s + 25s^2} \right) \\
&\qquad \cup \left( \frac{1}{33} \left(11 - 25s\right) + \frac{1}{33} \sqrt{22 - 121s + 163s^2}, -\frac{s}{4} \right) \\
&\qquad \text{if} \ \frac{4}{19} \left(5 + \sqrt{6}\right) < s \leq 2, \ \cdots.
\end{align*}
In particular, the number of connected components of the restricted deformation spaces $\rho^{-1} (\gamma (s))$ changes from 1 to 2 as the parameter $s$ passes the value $s = \frac{4}{19} \left(5 + \sqrt{6}\right)$.
Moreover, the system of inequalities has no solution if
\[ 1 < s \leq \frac{1}{176} \left(193 + 3 \sqrt{697}\right), \]
so the fibers $\rho^{-1} (\gamma (s))$ for such $s$ are empty.
Thus, the map $\mathcal{C} (\mathcal{G}) \to \mathcal{RS} (\mathcal{G})$ is not surjective, as in Example \ref{Example 7.1}, but in this example, the map is not a fiber bundle either.
\bibliographystyle{plain}
\bibliography{References}
%\printbibliography
\end{document}
%------------------------------------------------------------------------------
% End of journal.tex
%------------------------------------------------------------------------------
\begin{thebibliography}{10}
\bibitem{MR2247648}
Suhyoung Choi.
\newblock The deformation spaces of projective structures on 3-dimensional
{C}oxeter orbifolds.
\newblock {\em Geom. Dedicata}, 119, 2006.
\bibitem{MR2944525}
Suhyoung Choi, Craig~D. Hodgson, and Gye-Seon Lee.
\newblock Projective deformations of hyperbolic {C}oxeter 3-orbifolds.
\newblock {\em Geom. Dedicata}, 159:125--167, 2012.
\bibitem{MR3375519}
Suhyoung Choi and Gye-Seon Lee.
\newblock Projective deformations of weakly orderable hyperbolic {C}oxeter
orbifolds.
\newblock {\em Geom. Topol.}, 19(4):1777--1828, 2015.
\bibitem{MR4524212}
Suhyoung Choi, Gye-Seon Lee, and Ludovic Marquis.
\newblock Deformation spaces of {C}oxeter truncation polytopes.
\newblock {\em J. Lond. Math. Soc. (2)}, 106(4):3822--3864, 2022.
\bibitem{Danciger2024}
Jeffrey Danciger, François Guéritaud, Fanny Kassel, Gye-Seon Lee, and Ludovic
Marquis.
\newblock Convex cocompactness for coxeter groups.
\newblock {\em Journal of the European Mathematical Society}, 2024.
\newblock Published online first.
\bibitem{FilpoMolina}
Jean~Paul Filpo~Molina.
\newblock On the realization space of convex polyhedra.
\newblock Master's thesis, Korea Advanced Institute of Science and Technology,
Daejeon, South Korea, 2022.
\bibitem{MR1748082}
G.~A. Margulis and \`E.\~B. Vinberg.
\newblock Some linear groups virtually having a free quotient.
\newblock {\em J. Lie Theory}, 10(1):171--180, 2000.
\bibitem{MR2660566}
Ludovic Marquis.
\newblock Espace des modules de certains poly\`edres projectifs miroirs.
\newblock {\em Geom. Dedicata}, 147:47--86, 2010.
\bibitem{MR3692900}
Ludovic Marquis.
\newblock Coxeter group in {H}ilbert geometry.
\newblock {\em Groups Geom. Dyn.}, 11(3):819--877, 2017.
\bibitem{mathematica}
Seung-Yeol Park.
\newblock The mathematica code for counting orderable labeled polytopes.
\newblock \url{https://sites.google.com/view/seungyeolpark/resources}, 2024.
\newblock Accessed on 2024-07-21.
\bibitem{MR4220994}
Laith Rastanawi, Rainer Sinn, and G\"unter~M. Ziegler.
\newblock On the dimensions of the realization spaces of polytopes.
\newblock {\em Mathematika}, 67(2):342--365, 2021.
\bibitem{MR1482230}
J\"urgen Richter-Gebert.
\newblock {\em Realization spaces of polytopes}, volume 1643 of {\em Lecture
Notes in Mathematics}.
\newblock Springer-Verlag, Berlin, 1996.
\bibitem{steinitz1916}
E.~Steinitz.
\newblock Polyeder und raumeinteilungen.
\newblock {\em Encyklopädie der mathematischen Wissenschaften}, 1916.
\newblock Published online.
\bibitem{MR2456045}
Tammo tom Dieck.
\newblock {\em Algebraic topology}.
\newblock EMS Textbooks in Mathematics. European Mathematical Society (EMS),
Z\"urich, 2008.
\bibitem{MR0302779}
\`E.\~B. Vinberg.
\newblock Discrete linear groups that are generated by reflections.
\newblock {\em Izv. Akad. Nauk SSSR Ser. Mat.}, 35:1072--1112, 1971.
\end{thebibliography}