Quasitoric manifold

In mathematics, a quasitoric manifold is a topological analogue of the nonsingular projective toric variety of algebraic geometry. A smooth [math]\displaystyle{ 2n }[/math]-dimensional manifold is a quasitoric manifold if it admits a smooth, locally standard action of an [math]\displaystyle{ n }[/math]-dimensional torus, with orbit space an [math]\displaystyle{ n }[/math]-dimensional simple convex polytope.

Quasitoric manifolds were introduced in 1991 by M. Davis and T. Januszkiewicz, who called them "toric manifolds". However, the term "quasitoric manifold" was eventually adopted to avoid confusion with the class of compact smooth toric varieties, which are known to algebraic geometers as toric manifolds.

Quasitoric manifolds are studied in a variety of contexts in algebraic topology, such as complex cobordism theory, and the other oriented cohomology theories.

Definitions

Denote the [math]\displaystyle{ i }[/math]-th subcircle of the [math]\displaystyle{ n }[/math]-torus [math]\displaystyle{ T^n }[/math] by [math]\displaystyle{ T_i }[/math] so that [math]\displaystyle{ T_1 \times \ldots \times T_n = T^n }[/math]. Then coordinate-wise multiplication of [math]\displaystyle{ T^n }[/math] on [math]\displaystyle{ \mathbb{C}^n }[/math] is called the standard representation.

Given open sets [math]\displaystyle{ X }[/math] in [math]\displaystyle{ M^{2n} }[/math] and [math]\displaystyle{ Y }[/math] in [math]\displaystyle{ \mathbb{C}^n }[/math], that are closed under the action of [math]\displaystyle{ T^n }[/math], a [math]\displaystyle{ T^{n} }[/math]-action on [math]\displaystyle{ M^{2n} }[/math] is defined to be locally isomorphic to the standard representation if [math]\displaystyle{ h(tx) = \alpha(t)h(x) }[/math], for all [math]\displaystyle{ t }[/math] in [math]\displaystyle{ T^n }[/math], [math]\displaystyle{ x }[/math] in [math]\displaystyle{ X }[/math], where [math]\displaystyle{ h }[/math] is a homeomorphism [math]\displaystyle{ X \rightarrow Y }[/math], and [math]\displaystyle{ \alpha }[/math] is an automorphism of [math]\displaystyle{ T^n }[/math].

Given a simple convex polytope [math]\displaystyle{ P^n }[/math] with [math]\displaystyle{ m }[/math] facets, a [math]\displaystyle{ T^n }[/math]-manifold [math]\displaystyle{ M^{2n} }[/math] is a quasitoric manifold over [math]\displaystyle{ P^n }[/math] if,

1. the [math]\displaystyle{ T^n }[/math]-action is locally isomorphic to the standard representation,
2. there is a projection [math]\displaystyle{ \pi : M^{2n} \rightarrow P^n }[/math] that maps each [math]\displaystyle{ l }[/math]-dimensional orbit to a point in the interior of an [math]\displaystyle{ l }[/math]-dimensional face of [math]\displaystyle{ P^n }[/math], for [math]\displaystyle{ l = 0, }[/math] [math]\displaystyle{ ..., }[/math] [math]\displaystyle{ n }[/math].

The definition implies that the fixed points of [math]\displaystyle{ M^{2n} }[/math] under the [math]\displaystyle{ T^n }[/math]-action are mapped to the vertices of [math]\displaystyle{ P^n }[/math] by [math]\displaystyle{ \pi }[/math], while points where the action is free project to the interior of the polytope.

The dicharacteristic function

A quasitoric manifold can be described in terms of a dicharacteristic function and an associated dicharacteristic matrix. In this setting it is useful to assume that the facets [math]\displaystyle{ F_1,\dots,F_m }[/math] of [math]\displaystyle{ P^n }[/math] are ordered so that the intersection [math]\displaystyle{ F_{1} \cap \dots \cap F_{n} }[/math] is a vertex [math]\displaystyle{ v }[/math] of [math]\displaystyle{ P^{n} }[/math], called the initial vertex.

A dicharacteristic function is a homomorphism [math]\displaystyle{ \lambda : T^m \rightarrow T^n }[/math], such that if [math]\displaystyle{ F_{i_1} \cap \dots \cap F_{i_k} }[/math] is a codimension-[math]\displaystyle{ k }[/math] face of [math]\displaystyle{ P^n }[/math], then [math]\displaystyle{ \lambda }[/math] is a monomorphism on restriction to the subtorus [math]\displaystyle{ T_{i_1} \times \dots \times T_{i_k} }[/math] in [math]\displaystyle{ T^m }[/math].

The restriction of λ to the subtorus [math]\displaystyle{ T_1 \times \ldots \times T_n }[/math] corresponding to the initial vertex [math]\displaystyle{ v }[/math] is an isomorphism, and so [math]\displaystyle{ \lambda(T_1), \ldots, \lambda(T_n) }[/math] can be taken to be a basis for the Lie algebra of [math]\displaystyle{ T^n }[/math]. The epimorphism of Lie algebras associated to λ may be described as a linear transformation [math]\displaystyle{ \mathbb{Z}^m \rightarrow \mathbb{Z}^n }[/math], represented by the [math]\displaystyle{ n \times m }[/math] dicharacteristic matrix [math]\displaystyle{ \Lambda }[/math] given by

[math]\displaystyle{ \begin{bmatrix} 1 & 0 & \dots & 0 & \lambda_{1, n+1} & \dots & \lambda_{1, m}\\ 0 & 1 & \dots & 0 & \lambda_{2, n+1} & \dots & \lambda_{2, m}\\ \vdots & \vdots & \ddots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 & \lambda_{n, n+1} & \dots & \lambda_{n, m} \end{bmatrix}. }[/math]

The [math]\displaystyle{ i }[/math]th column of [math]\displaystyle{ \Lambda }[/math] is a primitive vector [math]\displaystyle{ \lambda_i = (\lambda_{1, i}, \dots, \lambda_{n, i}) }[/math] in [math]\displaystyle{ \mathbb{Z}^n }[/math], called the facet vector. As each facet vector is primitive, whenever the facets [math]\displaystyle{ F_{i_1} \cap \dots \cap F_{i_n} }[/math] meet in a vertex, the corresponding columns [math]\displaystyle{ \lambda_{i_1}, \dots \lambda_{i_n} }[/math] form a basis of [math]\displaystyle{ \mathbb{Z}^n }[/math], with determinant equal to [math]\displaystyle{ \pm 1 }[/math]. The isotropy subgroup associated to each facet [math]\displaystyle{ F_i }[/math] is described by

[math]\displaystyle{ \{(e^{2\pi i \theta\lambda_{1,i}}, \ldots, e^{2\pi i \theta\lambda_{n,i}}) \in T^n \}, }[/math]

for some [math]\displaystyle{ \theta }[/math] in [math]\displaystyle{ \mathbb{R} }[/math].

In their original treatment of quasitoric manifolds, Davis and Januskiewicz introduced the notion of a characteristic function that mapped each facet of the polytope to a vector determining the isotropy subgroup of the facet, but this is only defined up to sign. In more recent studies of quasitoric manifolds, this ambiguity has been removed by the introduction of the dicharacteristic function and its insistence that each circle [math]\displaystyle{ \lambda(T_i) }[/math] be oriented, forcing a choice of sign for each vector [math]\displaystyle{ \lambda_i }[/math]. The notion of the dicharacteristic function was originally introduced V. Buchstaber and N. Ray to enable the study of quasitoric manifolds in complex cobordism theory. This was further refined by introducing the ordering of the facets of the polytope to define the initial vertex, which eventually leads to the above neat representation of the dicharacteristic matrix [math]\displaystyle{ \Lambda }[/math] as [math]\displaystyle{ (I_n \mid S) }[/math], where [math]\displaystyle{ I_n }[/math] is the identity matrix and [math]\displaystyle{ S }[/math] is an [math]\displaystyle{ n \times (m-n) }[/math] submatrix.

Relation to the moment-angle complex

The kernel [math]\displaystyle{ K(\lambda) }[/math] of the dicharacteristic function acts freely on the moment angle complex [math]\displaystyle{ Z_{P^n} }[/math], and so defines a principal [math]\displaystyle{ K(\lambda) }[/math]-bundle [math]\displaystyle{ Z_{P^n} \rightarrow M^{2n} }[/math] over the resulting quotient space [math]\displaystyle{ M^{2n} }[/math]. This quotient space can be viewed as

[math]\displaystyle{ T^n \times P^n / \sim, }[/math]

where pairs [math]\displaystyle{ (t_1, p_1) }[/math], [math]\displaystyle{ (t_2, p_2) }[/math] of [math]\displaystyle{ T^n \times P^n }[/math] are identified if and only if [math]\displaystyle{ p_1 = p_2 }[/math] and [math]\displaystyle{ t_1^{-1}t_2 }[/math] is in the image of [math]\displaystyle{ \lambda }[/math] on restriction to the subtorus [math]\displaystyle{ T_{i_1} \times \dots \times T_{i_k} }[/math] that corresponds to the unique face [math]\displaystyle{ F_{i_1} \cap \dots \cap F_{i_k} }[/math] of [math]\displaystyle{ P^n }[/math] containing the point [math]\displaystyle{ p_1 }[/math], for some [math]\displaystyle{ 1 \leq k \leq n }[/math].

It can be shown that any quasitoric manifold [math]\displaystyle{ M^{2n} }[/math] over [math]\displaystyle{ P^n }[/math] is equivariently diffeomorphic to a quasitoric manifold of the form of the quotient space above.

Examples

• The [math]\displaystyle{ n }[/math]-dimensional complex projective space [math]\displaystyle{ \mathbb{C}P^n }[/math] is a quasitoric manifold over the [math]\displaystyle{ n }[/math]-simplex [math]\displaystyle{ \Delta^n }[/math]. If [math]\displaystyle{ \Delta^n }[/math] is embedded in [math]\displaystyle{ \mathbb{R}^{n+1} }[/math] so that the origin is the initial vertex, a dicharacteristic function can be chosen so that the associated dicharacteristic matrix is

[math]\displaystyle{ \begin{bmatrix} 1 & 0 & \dots & 0 & -1\\ 0 & 1 & \dots & 0 & -1\\ \vdots & \vdots & \ddots & \vdots & \vdots \\ 0 & 0 & \dots & 1 & -1 \end{bmatrix}. }[/math]

The moment angle complex [math]\displaystyle{ Z_{\Delta^n} }[/math] is the [math]\displaystyle{ (2n+1) }[/math]-sphere [math]\displaystyle{ S^{2n+1} }[/math], the kernel [math]\displaystyle{ K(\lambda) }[/math] is the diagonal subgroup [math]\displaystyle{ \{(t, \dots, t)\} \lt T^{n+1} }[/math], so the quotient of [math]\displaystyle{ Z_{\Delta^n} }[/math] under the action of [math]\displaystyle{ K(\lambda) }[/math] is [math]\displaystyle{ \mathbb{C}P^n }[/math].

• The Bott manifolds that form the stages in a Bott tower are quasitoric manifolds over [math]\displaystyle{ n }[/math]-cubes. The [math]\displaystyle{ n }[/math]-cube [math]\displaystyle{ I^n }[/math] is embedded in [math]\displaystyle{ \mathbb{R}^{2n} }[/math] so that the origin is the initial vertex, and a dicharacteristic function is chosen so that the associated dicharacteristic matrix [math]\displaystyle{ (I_n \mid S) }[/math] has [math]\displaystyle{ S }[/math] given by

[math]\displaystyle{ \begin{bmatrix} 1 &0 &\cdots &0 &0 &\cdots &0 &0 \\ -a(1,2) &1 &\cdots &0 &0 &\cdots &0 &0 \\ \vdots &\vdots & &\vdots &\vdots & &\vdots &\vdots \\ -a(1,i) &-a(2,i) &\cdots &-a(i-1,i) &1 &\cdots &0 &0 \\ \vdots &\vdots & &\vdots &\vdots & &\vdots &\vdots \\ -a(1,n) &-a(2,n) &\cdots &-a(i-1,n) &-a(i,n) &\cdots &-a(n-1,n) &1 \end{bmatrix}, }[/math]

for integers [math]\displaystyle{ a(i,j) }[/math].

The moment angle complex [math]\displaystyle{ Z_{I^n} }[/math] is a product of [math]\displaystyle{ n }[/math] copies of 3-sphere embedded in [math]\displaystyle{ \mathbb{C}^{2n} }[/math], the kernel [math]\displaystyle{ K(\lambda) }[/math] is given by

[math]\displaystyle{ \{(t_1,t_1^{-a(1,2)}t_2,\dots,t_1^{-a(1,i)}\dots t_{i-1}^{-a(i-1,i)}t_i,\dots, t_1^{-a(1,n)}\dots t_{n-1}^{-a(n-1,n)}t_n, t_1^{-1}, \dots, t_n^{-1}) : t_i \in T, 1\leq i\leq n \} \lt T^{2n} }[/math],

so that the quotient of [math]\displaystyle{ Z_{I^n} }[/math] under the action of [math]\displaystyle{ K(\lambda) }[/math] is the [math]\displaystyle{ n }[/math]-th stage of a Bott tower. The integer values [math]\displaystyle{ a(i,j) }[/math] are the tensor powers of the line bundles whose product is used in the iterated sphere-bundle construction of the Bott tower.

The cohomology ring of a quasitoric manifold

Canonical complex line bundles [math]\displaystyle{ \rho_i }[/math] over [math]\displaystyle{ M^{2n} }[/math] given by

[math]\displaystyle{ Z_{P^n} \times_{K(l)} \mathbb{C}_i \longrightarrow M^{2n} }[/math],

can be associated with each facet [math]\displaystyle{ F_i }[/math] of [math]\displaystyle{ P^n }[/math], for [math]\displaystyle{ 1 \leq i \leq m }[/math], where [math]\displaystyle{ K(\lambda) }[/math] acts on [math]\displaystyle{ \mathbb{C}_i }[/math], by the restriction of [math]\displaystyle{ K(\lambda) }[/math] to the [math]\displaystyle{ i }[/math]-th subcircle of [math]\displaystyle{ T^m }[/math] embedded in [math]\displaystyle{ \mathbb{C} }[/math]. These bundles are known as the facial bundles associated to the quasitoric manifold. By the definition of [math]\displaystyle{ M^{2n} }[/math], the preimage of a facet [math]\displaystyle{ \pi^{-1}(F_i) }[/math] is a [math]\displaystyle{ 2(n-1) }[/math]-dimensional quasitoric facial submanifold [math]\displaystyle{ M_i }[/math] over [math]\displaystyle{ F_i }[/math], whose isotropy subgroup is the restriction of [math]\displaystyle{ \lambda }[/math] on the subcircle [math]\displaystyle{ T_i }[/math] of [math]\displaystyle{ T^m }[/math]. Restriction of [math]\displaystyle{ \rho_i }[/math] to [math]\displaystyle{ M_i }[/math] gives the normal 2-plane bundle of the embedding of [math]\displaystyle{ M_i }[/math] in [math]\displaystyle{ M^{2n} }[/math].

Let [math]\displaystyle{ x_i }[/math] in [math]\displaystyle{ H^2(M^{2n}; \mathbb{Z}) }[/math] denote the first Chern class of [math]\displaystyle{ \rho_i }[/math]. The integral cohomology ring [math]\displaystyle{ H^*(M^{2n}; \mathbb{Z}) }[/math] is generated by [math]\displaystyle{ x_i }[/math], for [math]\displaystyle{ 1 \leq i \leq m }[/math], subject to two sets of relations. The first are the relations generated by the Stanley–Reisner ideal of [math]\displaystyle{ P^n }[/math]; linear relations determined by the dicharacterstic function comprise the second set:

[math]\displaystyle{ x_i = -\lambda_{i, n+1}x_{n+1} - \cdots - \lambda_{i, m}x_m, \mbox{ for } 1\leq i \leq n }[/math].

Therefore only [math]\displaystyle{ x_{n+1}, \dots, x_m }[/math] are required to generate [math]\displaystyle{ H^*(M^{2n}; \mathbb{Z}) }[/math] multiplicatively.

Comparison with toric manifolds

• Any projective toric manifold is a quasitoric manifold, and in some cases non-projective toric manifolds are also quasitoric manifolds.
• Not all quasitoric manifolds are toric manifolds. For example, the connected sum [math]\displaystyle{ \mathbb{C}P^2 \sharp \mathbb{C}P^2 }[/math] can be constructed as a quasitoric manifold, but it is not a toric manifold.

References

• Buchstaber, V.; Panov, T. (2002), Torus Actions and their Applications in Topology and Combinatorics, University Lecture Series, 24, American Mathematical Society 
• Buchstaber, V.; Panov, T.; Ray, N. (2007), "Spaces of polytopes and cobordism of quasitoric manifolds", Moscow Mathematical Journal 7 (2): 219–242, doi:10.17323/1609-4514-2007-7-2-219-242 
• Buchstaber, V.; Ray, N. (2001), "Tangential structures on toric manifolds and connected sums of polytopes", International Mathematics Research Notices 2001 (4): 193–219, doi:10.1155/S1073792801000125 
• Buchstaber, V.; Ray, N. (2008), "An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron", Proceedings of the International Conference in Toric Topology; Osaka City University 2006, Contemporary Mathematics, 460, American Mathematical Society, pp. 1–27 
• Civan, Y.; Ray, N. (2005), "Homotopy decompositions and K-theory of Bott towers", K-Theory 34: 1–33, doi:10.1007/s10977-005-1551-x 
• Davis, M.; Januskiewicz, T. (1991), "Convex polytopes, Coxeter orbifolds and torus actions", Duke Mathematical Journal 62 (2): 417–451, doi:10.1215/s0012-7094-91-06217-4 
• Masuda, M.; Suh, D. Y. (2008), "Classification problems of toric manifolds via topology", Proceedings of the International Conference in Toric Topology; Osaka City University 2006, Contemporary Mathematics, 460, American Mathematical Society, pp. 273–286