Classification of rationally elliptic toric orbifolds

TL;DR

This paper classifies simply connected rationally elliptic compact toric orbifolds up to algebraic isomorphism, providing a comprehensive understanding of their structure within algebraic geometry.

Contribution

It offers the first complete classification of such orbifolds, advancing the understanding of their algebraic and topological properties.

Findings

Complete classification of simply connected rationally elliptic compact toric orbifolds.

Identification of algebraic isomorphism classes among these orbifolds.

Framework for distinguishing these orbifolds based on their algebraic structure.

Abstract

In this note we classify simply connected rationally elliptic compact toric orbifolds up to algebraic isomorphism.

Equations

$$X=X_n\to X_{n-1}\to \cdots \to X_1\to X_0=\{pt\},$$

$$Y({\Sigma }_X)=\{z\in {\mathbb{C}}^I;I(z)\in {\Sigma }_X\cup \{\varnothing \}\}.$$

$$\prod _{i<r}{\Sigma }^{n_i}\times \prod _{i\ge r}{\Delta }^{n_i},$$

$$Y({\Sigma }_X)=\prod _i({\mathbb{C}}^{n_i+1}-\{0\}).$$

Full text

The research for this paper was supported by SFB 878 Groups, Geometry and Actions and the Cluster of Excellence Mathematics Münster at WWU Münster.

1. Introduction

In rational homotopy theory it is shown that there are two types of simply connected spaces with finite dimensional rational cohomology: rationally elliptic and rationally hyperbolic spaces. For rationally elliptic spaces $X$ the total dimension $\sum_{i\geq 2}\dim\pi_{i}(X)\otimes\mathbb{Q}$ of the rational homotopy groups is finite, whereas for rationally hyperbolic spaces the sum $\sum_{i=2}^{k}\dim\pi_{i}(X)\otimes\mathbb{Q}$ grows exponentially (see for example [FHT01]).

A toric variety $X$ of complex dimension $n$ is a normal complex algebraic variety with an action of a complex torus $(\mathbb{C}^{*})^{n}$ having an open dense orbit. If $X$ is compact and smooth we call it a toric manifold.

In the recent paper [BMM19] rationally elliptic toric manifolds in complex dimension at most three were classified up to algebraic isomorphism. In toric topology generalizations of toric varieties such as torus manifolds and torus orbifolds are studied. A classification of rationally elliptic torus orbifolds up to rational homotopy equivalence has been given in [GGKRW18]. The aim of this note is to explain how the methods of the latter paper lead to a classification result (up to algebraic isomorphism) for rationally elliptic toric manifolds and orbifolds in all dimensions. Our main result is as follows.

Theorem 1.1**.**

Let $X$ be a compact simply connected toric orbifold of complex dimension $n\geq 1$ which is rationally elliptic. Then there is an algebraic isomorphism $X\rightarrow X^{\prime}$ where $X^{\prime}$ is a quotient of an almost free action of an abelian complex algebraic group $G$ on $Y=\prod_{i}(\mathbb{C}^{n_{i}+1}-\{0\})$, for certain $n_{i}>0$ (depending on $X$) with $\sum_{i}n_{i}=n$.

In case that $X$ is a toric manifold, $G$ is a complex torus acting freely on $Y$. Therefore it follows that $X^{\prime}$ is a so-called generalized Bott manifold.

Generalized Bott manifolds are certain projective toric manifolds [BP15, p. 300-302]. They can be constructed as total spaces of towers of fiber bundles

[TABLE]

where each $X_{i}$ is the projectivization of a Whitney sum of complex line bundles over $X_{i-1}$. Generalized Bott manifolds have been studied intensively by the Japanese–Korean school of toric topologists (see for example [CMS10], [CS11], [CM12], [CMM15], [Cho15], [KS15], [PS14]).

We note that all generalized Bott manifolds are rationally elliptic so that the above theorem gives a complete classification for rationally elliptic toric manifolds.

The proof of this result combines the quotient construction of toric varieties due to Cox [Cox95] with a recent result on the combinatorics of orbit spaces of rationally elliptic torus orbifolds given in [GGKRW18]. Note that in the manifold case the arguments of [GGKRW18] also hold for torus manifolds with invariant metrics of non-negative sectional curvature (see [Wie15]). Therefore Theorem 1.1 also holds for toric manifolds admitting a non-negatively curved Riemannian metric which is invariant under the action of the maximal compact torus in $(\mathbb{C}^{*})^{n}$.

This note has three more sections. In the next Section 2 we recall the construction of toric varieties as quotient spaces. Then in Section 3, we recall the classification of rationally elliptic torus manifolds and orbifolds up to homeomorphism and rational homotopy equivalence given in [Wie15] and [GGKRW18]. In the last Section 4 we prove Theorem 1.1.

2. The quotient construction of toric varieties

In this section we recall the basic notions of toric geometry and describe the quotient construction of toric varieties.

For an introduction to toric geometry we refer the reader to [CLS11], [Ful93] and [Oda88].

A toric variety $X$ of complex dimension $n$ is a normal complex algebraic variety with an action of a complex torus $(\mathbb{C}^{*})^{n}$ having an open dense orbit. If $X$ is compact and smooth we call it a toric manifold.

The equivariant isomorphism types of these varieties are in one-to-one correspondence with combinatorial objects called fans (see for example [CLS11, Section 3.1]). A fan $F$ is a finite collection of convex polyhedral cones in $\mathbb{R}^{n}$ such that all faces of a cone $C\in F$ are again in $F$ and the intersection of any two cones $C_{1},C_{2}\in F$ is a face of each $C_{1}$ and $C_{2}$.

If $X$ is a toric variety and $F_{X}$ the fan corresponding to $X$, then, by [CLS11, Theorem 3.2.6], there is a bijection $O\mapsto C_{O}$ between the set of $(\mathbb{C}^{*})^{n}$-orbits in $X$ and the set of cones in $F_{X}$, such that

1. (1)

$\operatorname{codim}_{\mathbb{C}}O=\dim_{\mathbb{R}}C_{O}$ for all orbits $O\subset X$, 2. (2)

if $O_{1}$ and $O_{2}$ are orbits in $X$, then $O_{1}$ is contained in the closure of $O_{2}$ if and only if $C_{O_{2}}$ is a face of $C_{O_{1}}$.

A $k$-dimensional cone $C$ is called simplicial if it is spanned by $k$ linearly independent vectors $v_{1},\dots,v_{k}\in\mathbb{R}^{n}$. In case that the simplicial cone $C$ belongs to a fan $F$, the rays spanned by the $v_{i}$ also belong to $F$. A toric variety $X$ is an orbifold if and only if its corresponding fan $F_{X}$ is simplicial, i.e. all its cones are simplicial. $X$ is compact if and only if the union of all cones in $F_{X}$ is $\mathbb{R}^{n}$ [CLS11, Theorem 3.1.19].

From a simplicial fan $F_{X}$ we can construct an abstract simplicial complex $\Sigma_{X}$ as follows. Let $I$ be the set of rays of $F_{X}$. A subset $\sigma=\{i_{1},\dots i_{k}\}\subset I$ is a simplex of $\Sigma_{X}$ if and only if the rays $i_{1},\dots,i_{k}$ span a $k$-dimensional cone in $F_{X}$. Note that there is a natural one-to-one correspondence between the cones of $F_{X}$ of positive dimension and the simplices of $\Sigma_{X}$.

Let $T=(S^{1})^{n}\subset(\mathbb{C}^{*})^{n}$ be the maximal compact torus. In case that $X$ is a compact toric orbifold, the above simplicial complex can also be described in terms of the stratification of $X/T$ by the identity components of the isotropy groups of the $T$-action on $X$.

This goes as follows. For a closed connected subgroup $H\subset T$, let $S_{H}$ be the set of orbits $Tx\in X/T$ of types $T/T_{x}$ such that the identity component of $T_{x}$ is equal to $H$. We call the connected components of $S_{H}$ the open $H$-strata of $X/T$. The closed $H$-strata are the closures of the open $H$-strata. The codimension of an (closed or open) $H$-stratum is the dimension of $H$.

Since $X$ is compact and the $T$-action has only finitely many orbit types, the set $\mathcal{P}(X/T)$ of all closed strata of positive codimension is finite. Moreover, it is partially ordered by inclusion. Therefore $\mathcal{P}(X/T)$ is a poset, the so-called face poset of $X/T$.

It is easy to see that the open codimension-$k$ strata of $X/T$ are given by the subsets $O/T\subset X/T$, where $O$ runs through the $(\mathbb{C}^{*})^{n}$-orbits of (complex) codimension $k$ in $X$. Therefore $\mathcal{P}(X/T)$ is dual to the simplicial complex $\Sigma_{X}$ in the following sense: There is an order reversing bijection $\Sigma_{X}\rightarrow\mathcal{P}(X/T)$ such that the $(k-1)$-dimensional simplices of $\Sigma_{X}$ correspond to the codimension-$k$ strata of $X/T$. Here the simplicial complex $\Sigma_{X}$ is also partially ordered by inclusion of simplices.

In particular, the intersection $S_{1}\cap S_{2}$ of any two closed strata $S_{1},S_{2}$ of $X/T$ is connected or empty. This follows from the fact that $S_{1}\cap S_{2}$ is the disjoint union of those closed strata which are maximal among those strata which are contained in both $S_{1}$ and $S_{2}$. Note here that for any two simplices $\sigma_{1}$ and $\sigma_{2}$ in $\Sigma_{X}$ there is at most one minimal simplex which contains both $\sigma_{1}$ and $\sigma_{2}$. If such a simplex exists in $\Sigma_{X}$, then it is given by $\sigma_{1}\cup\sigma_{2}$.

Cox [Cox95] (see also [CLS11, Chapter 5]) gave a description of $X$ as a quotient of an almost free action by an abelian complex algebraic group $G$ on an open dense subset $Y(\Sigma_{X})$ of $\mathbb{C}^{I}$.

The set $Y(\Sigma_{X})$ can be defined as follows. For $z\in\mathbb{C}^{I}$ let $I(z)=\{i\in I;\;z(i)=0\}$. We then define

[TABLE]

With this notation Cox’s description of a toric orbifold as a quotient can be stated as follows.

Theorem 2.1**.**

Let $X$ be a toric orbifold. Then $X$ is algebraically isomorphic to a quotient of an almost free action of an abelian complex algebraic group $G$ on $Y(\Sigma_{X})$. Moreover, in case $X$ is a toric manifold then $G$ is a complex torus which acts freely on $Y(\Sigma_{X})$.

We close this section by giving two examples of sets $Y(\Sigma_{X})$ for special choices of compact toric orbifolds $X$.

Example 2.2**.**

Let $X$ be a compact toric orbifold. If $\Sigma_{X}$ is dual to the face poset of an $n$-dimensional simplex $\Delta^{n}$, then $Y(\Sigma_{X})=\mathbb{C}^{n+1}-\{0\}$. This is for example the case if $X=\mathbb{C}P^{n}$.

Example 2.3**.**

Let $X_{1},X_{2},X_{3}$ be compact toric orbifolds of complex dimensions $n_{1},n_{2},n_{3}$, respectively, such that $n_{1}=n_{2}+n_{3}$. We equip $X_{2}\times X_{3}$ with the natural product action by $(\mathbb{C}^{*})^{n_{1}}=(\mathbb{C}^{*})^{n_{2}}\times(\mathbb{C}^{*})^{n_{3}}$. With this action $X_{2}\times X_{3}$ becomes a compact toric orbifold of complex dimension $n_{1}=n_{2}+n_{3}$.

If $\mathcal{P}(X_{1}/T^{n_{1}})$ is isomorphic to $\mathcal{P}((X_{2}\times X_{3})/T^{n_{1}})$ then $Y(\Sigma_{X_{1}})\cong Y(\Sigma_{X_{2}})\times Y(\Sigma_{X_{3}})$. Note also that $(X_{2}\times X_{3})/T^{n_{1}}$ is strata preserving homeomorphic to $(X_{2}/T^{n_{2}})\times(X_{3}/T^{n_{3}})$.

3. Rationally elliptic torus manifolds revisited

In this section we recall the definition of torus manifolds and orbifolds and classification results for simply connected rationally elliptic torus manifolds and orbifolds. Torus manifolds and orbifolds are studied in toric topology. Toric topology has its origin in the paper [DJ91]. We refer the reader to [BP02] and [BP15] for an overview over the development of the subject since then.

A torus manifold $M$ is a closed, connected, orientable manifold of (real) dimension $2n$ equipped with an effective action of an $n$-dimensional compact torus $T=(S^{1})^{n}$, such that the fixed point set $M^{T}$ is non-empty. Torus orbifolds are natural generalizations of torus manifolds. One gets their definition if one replaces the word “manifold” by the word “orbifold” in the above definition of a torus manifold.

Note that toric manifolds (and compact toric orbifolds) equipped with the action of the maximal compact torus $T=(S^{1})^{n}\subset(\mathbb{C}^{*})^{n}$ are torus manifolds (and torus orbifolds, respectively). Note, moreover, that the definition of the face poset of the orbit space of a compact toric orbifold carries over without changes to the situation of a torus orbifold. However, in this case it is no longer true that the face poset is always dual to a simplicial complex.

A torus manifold $M$ is called locally standard if the $T$-action on $M$ is locally modeled on effective $T$-representations on $\mathbb{C}^{n}$. In this case the orbit space $M/T$ is naturally a nice manifold with corners and all isotropy groups are connected.

Here a manifold with corners is called nice, if all its codimension-$k$ faces are contained in exactly $k$ codimension-one faces. In this case each codimension-$k$ face is a component of the intersection of exactly $k$ codimenion one faces (see [MP06] or [Wie13] for more details).

The stratification of $M/T$ by orbit types coincides with the stratification of $M/T$ by faces. In particular, the poset $\mathcal{P}(M/T)$ is the poset of faces of $M/T$ (viewed as a nice manifold with corners). This justifies the name face poset for $\mathcal{P}(M/T)$.

In [Wie15] simply connected rationally elliptic torus manifolds $M$ with $H^{\text{odd}}(M;\mathbb{Z})=0$ have been classified up to homeomorphism. These manifolds are all homeomorphic to quotients of free torus actions on products of spheres.

Note that by [MP06] the cohomological condition implies that $M$ is locally standard and that the faces $F$ of $M/T$ are acyclic over the integers, i.e. $\tilde{H}^{*}(F;\mathbb{Z})=0$ for all faces $F$ of $M/T$.

The proof of the classification result in [Wie15] proceeds in two steps. First it has been shown that the homeomorphism type of a torus manifold $M$ as above depends only on combinatorial data, namely on the face poset $\mathcal{P}(M/T)$ and the characteristic function $\lambda$, which assigns to a face of $M/T$ the isotropy group of a generic orbit in that face [Wie15, Theorem 3.4].

In a second step it has been shown, by a combinatorial argument (see Proposition 4.5 in [Wie15] and Theorem 3.1 below), that $\mathcal{P}(M/T)$ is isomorphic to the face poset of a product

[TABLE]

where $\Delta^{k}$ is a $k$-dimensional simplex and $\Sigma^{k}$ is the suspension of $\Delta^{k-1}$. In particular, $\Delta^{k}$ and $\Sigma^{k}$ are orbit spaces of the natural action of a maximal torus of the orthogonal group $O(2k+2)$ ($O(2k+1)$, respectively) on spheres of dimensions $2k+1$ and $2k$, respectively.

Note that $\Delta^{k}$ has $k+1$ codimension-one faces and the intersection of any $k^{\prime}$ of them is non-empty and connected for any $k^{\prime}\leq k$ and empty for $k^{\prime}=k+1$. Therefore $\Sigma^{k}$ has exactly $k$ codimension-one faces and the intersection of any $k^{\prime}$ of them is connected for $k^{\prime}<k$ and contains exactly two isolated points if $k^{\prime}=k$.

By combining the above two steps, it follows that $M$ is homeomorphic to a locally standard torus manifold $M^{\prime}$ with $M^{\prime}/T=\prod_{i<r}\Sigma^{n_{i}}\times\prod_{i\geq r}\Delta^{n_{i}}$. Since each such $M^{\prime}$ is the quotient of a free torus action on a product of spheres, it follows that $M$ is homeomorphic to such a quotient.

In [GGKRW18] this argument was generalized to simply connected rationally elliptic torus manifolds $M$ with $H^{\text{odd}}(M;\mathbb{Z})\neq 0$ and to simply connected rationally elliptic torus orbifolds $\mathcal{O}$. While the combinatorial part of the proof goes through with modifications, the proof of the first step does not. Therefore in [GGKRW18] we only get a classification up to rational homotopy equivalence. Indeed all such $\mathcal{O}$ are rationally homotopy equivalent to quotients of almost free torus actions on products of spheres.

However, from the discussion in that paper we have the following combinatorial result.

Theorem 3.1**.**

Let $\mathcal{O}^{2n}/T$ be the orbit space of a simply connected rationally elliptic torus orbifold $\mathcal{O}^{2n}$. Then $\mathcal{P}(\mathcal{O}^{2n}/T)$ is isomorphic to the face poset of a product $\prod_{i<r}\Sigma^{n_{i}}\times\prod_{i\geq r}\Delta^{n_{i}}$ with $n_{i}>0$ and $\sum_{i}n_{i}=n$.

The original proof of this result, given in [Wie15] and [GGKRW18], was very long and technical. A much simpler proof has later been given in [GW18, Section 8].

4. The proof of Theorem 1.1

Now assume that $X$ is a simply connected rationally elliptic compact toric orbifold of complex dimension $n$. Then $X$ is, in particular, a $2n$-dimensional torus orbifold. Therefore by Theorem 3.1, $\mathcal{P}(X/T)$ is isomorphic to the face poset of a product

[TABLE]

with $n_{i}>0$ and $\sum_{i}n_{i}=n$.

Note that the intersection of any two one-dimensional faces in $\Sigma^{k}$, $k>1$, is disconnected. Therefore, (and because $\Sigma^{1}=\Delta^{1}$) all factors in the above product are of type $\Delta^{k}$.

In other words, $\Sigma_{X}$ is dual to the face poset of a product of simplices. In particular, by Examples 2.2 and 2.3, we have

[TABLE]

Hence, our Theorem 1.1 follows from Theorem 2.1.