arxiv: v2 [math.at] 5 Nov 2012

Transcription

1 ORBIT CONFIGURATION SPACES OF SMALL COVERS AND QUASI-TORIC MANIFOLDS arxiv: v [math.at] 5 Nov 01 JUNDA CHEN, ZHI LÜ AND JIE WU Abstract. In this article, we investigate the orbit configuration spaces of some equivariant close manifols over simple convex polytopes in toric topology, such as small covers, quasi-toric manifols an (real) moment-angle manifols; especially for the cases of small covers an quasi-toric manifols. These kins of orbit configuration spaces are all non-free an noncompact, but still built via simple convex polytopes. We obtain an explicit formula of Euler characteristic for orbit configuration spaces of small covers an quasi-toric manifols in terms of the h-vector of a simple convex polytope. As a by-prouct of our metho, we also obtain a formula of Euler characteristic for the classical configuration space, which generalizes the Félix-Thomas formula. In aition, we also stuy the homotopy type of such orbit configuration spaces. In particular, we etermine an equivariant strong eformation retract of the orbit configuration space of istinct orbit-points in a small cover or a quasi-toric manifol, which turns out that we are able to further stuy the algebraic topology of such an orbit configuration space by using the Mayer-Vietoris spectral sequence. 1. Introuction 1.1. Notion an motivation. Let G be a topological group an let M be a G- space. The (orere) orbit configuration space F G (M,k) is efine by F G (M,k) = {(x 1,...,x k ) M k G(x i ) G(x j ) = for i j} with subspace topology, where k an G(x) enotes the orbit at x. In the case where G acts trivially on M, the space F G (M,k) is the classical configuration space enote by F(M,k). The notion of configuration space ha been introuce in physics in 1940s[N, vt] concerning the topology of configurations with various stuy on this important object since then. In mathematics, configuration spaces were first introuce by Faell an Neuwirth [FN] in 196 with various applications [Ar, BCWW, Bir, Bo, Co, T, V]. Since 1990s, the notion of configurations was introuce in robotics community to stuy safe-control problems of robots. A new-create fiel in mathematics name topological robotics was recently establishe by Ghrist an Farber [Fa, Gh], where the topology of configuration spaces on graphs plays an important role. The 010 Mathematics Subject Classification. Primary 55R80, 57S5, 5B0; Seconary 55P91, 55N91, 14M5. Key wors an phrases. Orbit configuration space, small cover, quasi-toric manifol, (real) moment-angle manifol, Euler characteristic, homotopy type. Research of the first author an the secon author is supporte by grants from NSFC (No ), Shanghai NSF (No. 10ZR ) an RFDP (No ). Research of the thir author is supporte in part by the AcRF Tier 1 (WBS No. R ) an Tier (WBS No. R ) of MOE of Singapore an a grant (No ) of NSFC. 1

2 JUNDA CHEN, ZHI LÜ AND JIE WU orbit configuration spaces with labels provie combinatorial moels for equivariant loop spaces [X]. Moreover orbit configuration space is an analogy to fiber-type arrangements [Coh]. The funamental groups of orbit configuration spaces enrich the theory of brais [CKX, CX]. If the group G acts properly iscontinuously on a manifol M, there are various fibrations available relate to F G (M,k) [X]. Thus the stanar methos of spectral sequences in algebraic topology can be use for stuying the cohomology of F G (M,k). In particular, the cohomology of F Z (S n,k) has been etermine in [FZ, X], where Z acts (freely) on S n by antipoal map. In the case that G oes not freely on a manifol M, the etermination of the homotopy type or cohomology of F G (M,k) becomes much harer because algebraic topology lacks sufficiently effective tools. For instance, the classical Faell-Neuwirth fibration [FN] fails in non-free cases in general. In 1991, Davis an Januszkiewicz [DJ] introuce four classes of particularly nicely behave manifols over simple convex polytopes small covers, quasi-toric manifols an (real) moment-angle manifols, which have become important objects in toric topology. Note that in their paper [DJ], Davis an Januszkiewicz use the terminology toric manifol rather than quasi-toric manifol, but the former has been use in algebraic geometry as the meaning of smooth nonsingular toric variety, so Buchstaber an Panov [BP] began with the use of the terminology quasi-toric manifol. In aition, (real) moment-angle manifols were name by Buchstaber an Panov[BP] later when they stuie the topology of (real) momentangle manifols as submanifols in polyisks. A quasi-toric manifol (resp. small cover), as the topological version of a compact non-singular toric variety (resp. real toric variety), is a smooth close manifol M of imension n (resp. imension n) with a locally stanar action of torus T n (resp. real torus Z n ) such that its orbit space is a simple convex n-polytope P. A (real) moment-angle manifol can irectly be constructe from a simple convex polytope P such that it amits an action of real torus or torus with P as its orbit space. There are strong links between topology an geometry of these equivariant manifols an combinatorics of polytopes. In this article, we put these equivariant manifols into the framework of orbit configuration spaces, especially for the cases of small covers an quasi-toric manifols. In other wors, we pay much more attention to non-free orbit configuration space F G n (M,k) for a n-imensional G n -manifol π : M P over a simple convex n-polytope P, = 1,, where M is a small cover an G n 1 = Zn when = 1, an a quasi-toric manifol an G n = Tn when =. We still expect that there is an essential connection between topology an geometry of F G n (M,k) an combinatorics of P. 1.. Statement of main results. Our first result is an explicit formula for the Euler characteristic of F G n (M,k) in terms of the h-vector (h 0,h 1,...,h n ) of P, an inparticular, χ(f T n(m,k)) = χ(f(m,k)) if =. Let h P (t) = h 0 +h 1 t+ +h n t n be a polynomial in Z[t]. Then our result is state as follows.

3 ORBIT CONFIGURATION SPACES 3 Theorem 1.1. Let π : M P be a n-imensional G n -manifol over a simple convex n-polytope P where = 1,. Then the Euler characteristic of F G n (M,k) is ( 1) kn s C I h P (1 ki ) if = 1 χ(f G n (M,k)) = I=(k 1,...,k s) i=1 ( χ(f(m,k)) = C I hp (1) ) s if = I=(k 1,...,k s) where I = (k 1,...,k s ) runs over all partitions of k, C I = the number of times that k i appears in I. k!( 1) k s r 1!r! r s!k 1k k s an r i is Our metho for proving this theorem is to investigate the combinatorial structure on F G n (M,k). As a consequence of this metho, we can also give a formula for the Euler characteristic of a non-equivariant configuration space F(M, k) in terms of a polynomial of χ(m). Theorem 1.. Let M be a compact triangulate homology n-manifol. Then k 1 ( ) χ(m) χ(f(m,k)) = ( 1) kn (χ(m) i) = ( 1) kn k!. k i=0 Remark 1.1. The above formula can be rewritten as ( 1) kn χ(f(m,k)) ( ) χ(m) 1+ t k = 1+ t k = (1+t) χ(m). k! k k=1 Let n be even. Then we obtain the Félix-Thomas formula [FT, Theorem B]. Hence Theorem 1. generalizes the Félix-Thomas formula. Next we shall be concerne with the homotopy type of F G n (M,k) for n 1. We first consier the case n = 1. In this case, we obtain Theorem 1.3. Let π : M P be a -imensional G 1 -manifol over P. Then, when = 1, F Z (M,k) has the same homotopy type as k! k points, an when =, F S 1(M,k) has the same homotopy type as a isjoint union of k! copies of T k. Remark 1.. The classical configuration spaces on the circle is relate to hyperbolic Dehn fillings [YNK]. The orbit version might give some aitional information. For general M an k, the spaces F G n (M,k) can be expresse as an intersection of the subspaces of M k which are homeomorphic to M (k ) F G n (M,) uner coorinate permutations (see Proposition.1). Thus the stuy on F G n (M,) is the first step for the general cases. In this article we focus on this case to give an experimental investigation of the homotopy type of F G n (M,), where the combinatorial methos successfully overcome the technical ifficulties in this case. The spaces F G n (M,k) for general k will be explore in our subsequent work. By the reconstruction of small covers an quasi-toric manifols, we are able to etermine an equivariant strong eformation retract of F G n (M,) in terms of the combinatorial ata from P via π. The result is state as follows. Theorem 1.4. Let π : M P be a n-imensional G n -manifol over a simple convex polytope P. Then there is an equivariant strong eformation retraction of k=1

4 4 JUNDA CHEN, ZHI LÜ AND JIE WU F G n (M,) onto X (M) = F 1,F F(P) F 1 F = where F(P) is the set of all faces of P. (π 1 ) (F 1 F ) The equivariant strong eformation retract X (M) in Theorem 1.4 plays an important role on further stuying the algebraic topology of F G n (M,). The ual cell ecomposition of the union F 1,F F(P) (F 1 F ) as a polyheron is a F 1 F = simplicial complex K P, which inicates the intersection property of all submanifols (π 1 ) (F 1 F ),F 1,F F(P) with F 1 F =. As shown in section 7, X (M) with K P together etermines a Mayer-Vietoris spectral sequence Ep,q(K 1 P,),...,Ep,q(K P,) with Z coefficients, which converges to H (X (M)) = H (F G n (M,)). Namely H i (F G n (M,)) = Ep,q(K P,) (see Theorem 5.1). We shall prove that p+q=i Theorem 1.5. Assume that π : M P is a n-imensional G n -manifol over a simple convex polytope P. Then there is the following isomorphism For the case =, we also have E p,q (K P,1) Z = E p,q (K P,) Z. Theorem 1.6. Let π : M P be a n-imensional quasi-toric manifol over a simple convex polytope P. Then the associate Mayer-Vietoris spectral sequence of the space X (M) collapses at the E term, that is, H i (F T n(m,)) = Ep,q (K P,). p+q=i Furthermore, as a consequence of Theorems ,we can also etermine: (1) the integral homology of F G (M,) an () the (mo ) homology of F G n (M,) for M to be a G n -manifol over an n-simplex n. In this case, M is one of RP n,cp n or CP n (see [BP, Page 46]). The article is organize as follows. In section, we give a brief review on the notions of small covers, quasi-toric manifols an (real) moment-angle manifols an investigate basic constructions an properties of their orbit configuration spaces. Then we calculate the Euler characteristic of the orbit configuration spaces for small covers an quasi-toric manifols in section 3, where Theorem 1.1 is Theorem 3.6 an the proof of Theorem 1. is given in subsection 3.4. In section 4, we stuy the homotopy type of F G 1 (M,k) an F G n (M,) with giving the proofs of Theorems 1.3 an 1.4. As an application of Theorem 1.4, we prove Theorems 1.5 an 1.6 in section 5. In section 6, we compute the integral homology of F G (M,) an the (mo ) homology of F G n (M,) for the G n -manifol M over an n-simplex. The Mayer Vietoris spectral sequence will be one of major tools for our computations an so we give a review on the Mayer-Vietoris spectral sequence in section 7 as an appenix.

5 ORBIT CONFIGURATION SPACES 5. G n -manifols an (real) moment-angle manifols over simple convex polytopes an their orbit configuration spaces.1. G n -manifols an (real) moment-angle manifols over simple convex polytopes. Following[DJ], let P be a simple convexn-polytope, an let G n be the -torusz n of rank n if = 1, an the torus Tn of rank n if =. A n-imensional G n -manifol over P, π : M P, is a smooth close n-imensional manifol M with a locally stanar G n -action such that the orbit space is P. A Gn -manifol π : M P is calle a small cover if = 1 an a quasi-toric manifol if =. We know from [DJ] that each G n -manifol π : M P etermines a characteristic function λ on P, efine by mapping all facets (i.e., (n 1)-imensional faces) of P to nonzero elements of R n such { that n facets meeting at each vertex are mappe to a basis of R n where R Z if = 1 = Z if =. Conversely, the pair (P,λ ) can be reconstructe to the M as follows: first λ gives the following equivalence relation λ on P G n { x = y,g = h if x int(p) (.1) (x,g) λ (y,h) x = y,g 1 h G F if x intf P then the quotient space P G n / λ is equivariantly homeomorphic to the M, where G F is explaine as follows: for each point x P, there exists a unique face F of P such that x is in its relative interior. If imf = l, then there are n l facets, say F i1,...,f in l, such that F = F i1 F in l, an furthermore, λ (F i1 ),...,λ (F in l ) etermine a subgroup of rank n l in G n, enote by G F. ThisreconstructionofM tells us that anytopologicalinvariantofπ : M P can beetermine by(p,λ ). DavisanJanuszkiewiczshowethat π : M P hasa very beautiful algebraic topology in terms of (P,λ ). For example, the equivariant cohomology with R coefficients of π : M P is isomorphic to the Stanley Reisner face ring of P, an the mo Betti numbers (b Z 0,bZ 1,...,bZ n ) of M for = 1 an the Betti numbers (b 0,b,...,b n ) of M for = agree with the h-vector (h 0,h 1,...,h n ) of P. Inaition,associatewithasimpleconvexn-polytopeP withmfacetsf 1,...,F m, Davis an Januszkiewicz also introuce a G m -manifol Z P, of imension ( 1)m+n over P as follows: first efine a map θ : {F 1,...,F m } R m by mapping F i e i where {e 1,...,e m } is the stanar basis of R m, an then use θ to give an equivalence relation θ on P G m as in (.1), so that the require Gm -manifol Z P, is just the quotient P G m / θ with a natural G m -action having orbit space as P. Later on, Buchstaber an Panov [BP] further stuie the topology of Z P, as a submanifol in the polyisk (D ) m, an name it a real moment-angle manifol for = 1 an a moment-angle manifol for =. Note that a real moment-angle manifol an a moment-angle manifol are often enote by RZ P an Z P, respectively. As pointe out in [DJ, Nonexample 1.], given a simple convex n-polytope P with n > 3, there may not exist any G n -manifol over P. However, there always exists a (real) moment-angle manifol over P. When P amits a characteristic function λ (so there is a G n -manifol Mn over P reconstructe by (P,λ )), regaring R m as a free moule generate by {F 1,...,F m }, the map λ may linearly exten to a surjection λ : R m Rn.

6 6 JUNDA CHEN, ZHI LÜ AND JIE WU Then the kernel of λ etermines a subgroup H of rank m n of G m, which can freely act on Z P, such that the quotient manifol Z P, /H is exactly equivariantly homeomorphictothe G n -manifolmn. Thus, the naturalprojectionρ : Z P, M n is a fibration with fiber G m n. Davis an Januszkiewicz showe in [DJ] that theborelconstructionseg m G mz P, aneg n G nmn arehomotopy-equivalent. For more etails of these equivariant manifols above with many interesting evelopments an applications, e.g., see [DJ, BP, BBCG, CL, CMS, CPS, IFM, LT, LY, M, MS, U]... Basic constructions an properties of orbit configuration spaces of G n -manifols an (real) moment-angle manifols. Let π : M P be a n-imensional G n -manifol over a simple convex polytope P. Then the prouct π k : M k P k is also a kn-imensional (G n ) k -manifol over a simple convex polytope P k. Definition..1. Set (P k ) = 1 i<j k i,j (P k ) where i,j (P k ) = {(p 1,p,...,p k ) P k p i = p j }. We call (P k ) the weak iagonal of P k. Set (P k ) = {(p,...,p) P k p P}, which is calle the strong iagonal of P k. By efinition, we have that F(P,k) = P k (P k ). By the constructions of M, we see that F G n (M,k) is the pullback from π k : M k P k via the inclusion F(P,k) P k. So there is the following commutative iagram: F G n (M,k) M k π k π k F(P,k) P k. We see easily that F G n (M,k) M k is a non-free orbit configuration space, an amits an action of (G n ) k such that the orbit space is exactly F(P,k). Proposition.1. Let π : M P be a n-imensional G n -manifol over a simple convex polytope P. Then F G n (M,k) = (M k (π k ) 1 ( i,j (P k ))). 1 i<j k Proof. The require result follows by using the De Morgan formula. Remark.1. In Proposition.1, each M k (π k ) 1 ( i,j (P k )) is homeomorphic to M (k ) F G n (M,). Remark.. Let M P be a quasi-toric manifol over P. As shown in [DJ, Corollary 1.9], there is a conjugation involution τ on M such that its fixe point set M τ is exactly a small cover over P. This means that there is still an involution on F T n(m,k) such that its fixe point set is F Z n (M τ,k).

7 ORBIT CONFIGURATION SPACES 7 Let p : Z P, P be the (real) moment-angle manifol over P with m facets. Similarly, we see from the constructions of Z P, that F G m (Z P,,k) amits an action of(g m ) k anis thepullbackfromp k : Z k P, P k viathe inclusionf(p,n) P n, so there is a commutative iagram F G m (Z P,,k) Z k P, p k Thus we have that F G m (Z P,,k) = p k F(P,k) P k. 1 i<j k (Z k P, (p k ) 1 ( i,j (P k ))). If we assume that there exists a G n -manifol π : M P over P, then we know that Z P, is a principal G m n -bunle over M, enote by ρ : Z P, M. Then we have that p = π ρ. Furthermore, we have the following commutative iagram: F G m (Z P,,k) Z k P, ρ k ρ k F G n (M,k) M k π k π k F(P,k) P k. Sinceρ k : F G m (Z P,,k) F G n (M,k)isapull-backviatheinclusionF G n (M,k) M k, itisafibrationwith fiber(g m n ) k. Inthe samewayasin [DJ, 4.1]an[BP, Proposition 6.34], we have the following homotopy-equivalent Borel constructions E(G m ) k (G m ) k F G m (Z P,,k) E(G n ) k (G n ) k F G n (M,k). Thus we conclue that Proposition.. Given a simple convex n-polytope P with m facets, assume that π : M P is a G n -manifol over P. Let p : Z P, P be the (real) moment-angle manifol over P. Then the equivariant cohomologies of F G n (M,k) an F G m (Z P,,k) are isomorphic, i.e., H (G n ) k(f G n (M,k)) = H (G m ) k(f G m (Z P,,k)). 3. Euler characteristic of F G n (M,k) The objectiveofthis section is tocalculatethe Eulercharacteristicχ(F G n (M,k)) for a n-imensional G n -manifol π : M P Euler characteristic of union the inclusion-exclusion principle. Suppose that X 1,...,X N are CW-complexes such that all their possible nonempty intersections are subcomplexes of X 1 X N. Let N 1 be the abstract (N 1)- simplex on vertex set [N] = {1,...,N}, i.e., N 1 = [N] (the power set of [N]). For each a [N], set { i a X a = X i if a N i=1 X i if a =.

8 8 JUNDA CHEN, ZHI LÜ AND JIE WU Since each pair (X i,x j ) is an excisive couple of X i X j, we have the following well-known formula for euler characteristics. Proposition 3.1 (Inclusion-exclusion principle). χ(x ) = ( 1) a 1 χ(x a ). a [N] a 3.. The h-polynomial an the cell-vector of P. Let P be a simple convex n-polytope. The f-vector of P is an integer vector (f 0,f 1,...,f n 1 ), where f i is the number of faces of P of coimension i+1 (i.e., of imension n i 1). Then the h-vector of P is the integer vector (h 0,h 1,...,h n ) efine from the following equation (3.1) h 0 +h 1 t+ +h n t n = (t 1) n +f 0 (t 1) n 1 + +f n (t 1)+f n 1. The f-vector an the h-vector etermine each other by Equation (3.1). Let h P (t) = h 0 + h 1 t + + h n t n be a polynomial in Z[t]. We call h P (t) the h-polynomial of P. Given a finite CW-complex X of imension l, the cell vector c(x) of X is the integer vector (c 0,c 1,...,c l ) where c i enotes the number of all i-cells in X. Each simple convex n-polytope P has a natural cell ecomposition such that the interior intf of an i-face F of P is an i-cell. Thus, c(p) = (f n 1,f n,...,f 1,f 0,1) where f(p) = (f 0,f 1,...,f n 1 ) is the f-vector of P. Lemma 3.. Let π : M P be a n-imensional G n -manifol over a simple convex n-polytope P. Then for a positive integer l, the Euler characteristic of (π l ) 1 ( (P l )) is χ((π l ) 1 ( (P l ))) = { h P (1 l ) if = 1 h P (1) = χ(m) if =. Proof. Fix the cell ecomposition of P as above such that its cell-vector c(p) = (f n 1,f n,...,f 1,f 0,1). Let F be a face of imension i. By [DJ, Lemma 1.3], we know that π 1 (F) is still a i-imensional Gi -manifol over F, an in particular, π 1 (intf) = Gi intf. When = 1, π 1 1 (intf) is the isjoint union of i copies of intf. Since the strong iagonal (F l ) is combinatorially equivalent to F, (π 1 l ) 1 ( ((intf) l )) is the isjoint union of il copies of ((intf) l ). Thus, the cell vector of (π 1 l ) 1 ( (P l )) is Furthermore, (f n 1, l f n,..., il f n i 1,..., (n )l f 1, (n 1)l f 0, nl ). χ((π l 1 ) 1 ( (P l ))) =f n 1 l f n + +( 1) i il f n i 1 + +( 1) n 1 (n 1)l f 0 +( 1) n nl =h P (1 l ) by Equation (3.1). When =, we see easily that (π l ) 1 ( ((intf) l )) = T il ((intf) l ). Now, for i > 0, we give a cell ecomposition for each circle S 1 in T il, with one 0-cell an one 1-cell. Then (π l ) 1 ( ((intf) l )) contains ( il j) cells of imension-(i+j) for 0 j il. Thus, all i-cells of P contribute ( il j) fn i 1 cells of

9 ORBIT CONFIGURATION SPACES 9 imension-(i+j) in (π l ) 1 ( (P l )) where 0 j il. Since il j=0 ( 1)j( il j) = 0 for every i > 0, by a irect calculation we have as esire. χ((π l ) 1 ( (P l ))) = f n 1 = h P (1) = χ(m) 3.3. Subgraphs of K k an partitions of k an [k]. Let K k be the complete graphofegreek 1, which contains k verticesan ( k ) eges. We label k vertices of K k by 1,...,k respectively, an ( k ) eges by pairs (i,j),1 i < j k, respectively. Thus we may ientify K k with the 1-skeleton of the abstract (k 1)-simplex k 1 on vertex set [k] = {1,...,k}. Obviously, k 1 = [k], the power set of [k]. Definition A subgraph Γ of K k is sai to be vertex-full if the vertex set of Γ is [k]. By VF(K k ) we enote the set of all vertex-full subgraphs of K k. Lemma 3.3. There is a one-to-one corresponence between all subsets of the power set [[k]] an all vertex-full subgraphs of VF(K k ), where [[k]] = {(i,j) 1 i < j k}. Proof. Each vertex-full subgraph Γ of K k uniquely etermines a subset E(Γ) of [[k]], where E(Γ) enotes the set of all eges of Γ. Note that the iscrete subgraph [k] of K k correspons to the empty set of [[k]]. Conversely, let the empty set of [[k]] correspon to the iscrete subgraph [k] of K k. Each nonempty subset of [[k]] etermines a unique subgraph Γ of K k. If the vertex set of Γ oes not cover [k], then we can a those missing vertices as one-point subgraphs to Γ to give the require vertex-full subgraph of K k. Definition Given a vertex-full subgraph Γ in VF(K k ), efine { Γ (P k (i,j) E(Γ) ) = i,j(p k ) if E(Γ) P k if E(Γ) = wheree(γ) enotestheset ofallegesofγ. Generally, Γmaynotbe connecte. By C(Γ) we enote the set of all connecte subgraphs of Γ. Write C(Γ) = {Γ 1,...,Γ s }. Then Γ = s k=1 Γ k (a isjoint union of Γ 1,...,Γ s ). Lemma 3.4. Let Γ be a vertex-full subgraph in VF(K k ) with C(Γ) = {Γ 1,...,Γ s }. Then s Γ (P k ) = (P V (Γl) ) where V(Γ l ) enotes the vertex set of Γ l. l=1 Proof. Obviously,ifΓ = [k], then the requireequalityhols. Supposethat Γ [k]. For each component Γ l of Γ, (i,j) E(Γ l ) i,j(p k ) is combinatorially equivalent to P (k V(Γl) ) (P V (Γl) ). Thus s Γ (P k ) = as esire. l=1(i,j) E(Γ l ) i,j (P k ) = s (P V(Γl) ) l=1

10 10 JUNDA CHEN, ZHI LÜ AND JIE WU Recall that a partition of k is an unorere sequence (k 1,...,k s ) of positive integerswith sum k, anapartition of[k] isanunoreresequenceofnonempty subsets of [k] which are pairwise isjoint an whose union is [k]. Clearly, every vertex-full subgraph Γ = s l=1 Γ l of VF(K k ) gives a partition ( V(Γ 1 ),..., V(Γ s ) ) of k, enote by k(γ). In aition, each vertex-full subgraph of VF(K k ) also etermines a partition (V(Γ 1 ),...,V(Γ s )) of [k]. Lemma 3.5. Let I = (k 1,...,k s ) be a partition of k. Then the number of those combinatorially equivalent vertex-full subgraphs Γ with k(γ) = I of VF(K k ) is k! k 1! k s!r 1! r s! where r i enotes the number of times that k i appears in I. Proof. Obviously, those combinatorially equivalent vertex-full subgraphs Γ with k(γ) = I of VF(K k ) bijectively correspon to those partitions (a 1,...,a s ) with a l = k l of [k]. The esire number then follows from an easy argument Calculation of Euler characteristic. Now let us calculate χ(f G n (M,k)) for a G n -manifol π : M P over a simple convex polytope P. Definition Let I = (k 1,...,k s ) be a partition of k. Define C I = ( 1) E(Γ). Γ VF(K k ) k(γ)=i Theorem 3.6. Let π : M P be a n-imensional G n -manifol over a simple convex polytope. Then { ( 1) kn I=(k χ(f G n (M,k)) = C s 1,...,k s) I l=1 h P(1 k l ) if = 1 χ(f(m,k)) if = where I = (k 1,...,k s ) runs over all partitions of k. Proof. First, we calculate χ((π k ) 1 ( (P k ))) by Proposition.1. Since [[k]] is combinatorially equivalent to [N] where N = ( k ), we have that χ((π k ) 1 ( (P k ))) = ( 1) E(Γ) 1 χ((π k ) 1 ( Γ (P k ))) (by Lemma 3.3 an Prop. 3.1) = = Γ= s l=1 Γ l VF(K k ) E(Γ) Γ= s l=1 Γ l VF(K k ) E(Γ) Γ= s l=1 Γ l VF(K k ) E(Γ) = Γ= s l=1 Γ l VF(K k ) E(Γ) Γ= s l=1 Γ l VF(K k ) E(Γ) ( 1) E(Γ) 1 χ((π k ) 1 ( ( 1) E(Γ) 1 s l=1 s (P V(Γl) ))) (by Lemma 3.4) l=1 χ((π V(Γ l) ) 1 ( (P V(Γ l) ))) ( 1) E(Γ) 1 s l=1 h P(1 V(Γl) ) if = 1 ( 1) E(Γ) 1 χ(m) s (by Lemma 3..) if =

11 ORBIT CONFIGURATION SPACES 11 Sinceeachvertex-fullsubgraphΓ = s l=1 Γ l ofk k corresponstoauniquepartition k(γ) = ( V(Γ 1 ),..., V(Γ s ) ) of k, we further have that s χ((π k ) 1 ( (P k I=(k 1,...,ks) C I l=1 h P(1 k l ) if = 1 I (1,...,1) ))) = I=(k 1,...,ks) C I χ(m) s if = I (1,...,1) where I runs over those partitions except for (1,...,1) of k. A irect calculation gives that C (1,...,1) = 1, so { ( χ(m k C (1,...,1) hp ( 1) ) k if = 1 ) = ( C (1,...,1) hp (1) ) k = C(1,...,1) χ(m) k if = by Lemma 3.. Next, we conclue that χ(f G n (M,k)) =( 1) kn( χ(m k ) χ((π k ) 1 ( (P k ))) ) (by Lefschetz uality theorem) ( 1) kn( χ(m k )+ I=(k 1,...,ks) C s I l=1 h P(1 k l ) ) if = 1 I (1,...,1) = χ(m k )+ I=(k 1,...,ks) C I χ(m) s if = I (1,...,1) { ( 1) kn I=(k = C s 1,...,k s) I l=1 h P(1 k l ) if = 1 I=(k C 1,...,k s) Iχ(M) s if =. We can employs the above way to the non-equivariant case for =, so that we may obtain that χ(f(m,k)) =( 1) kn( χ(m k ) χ( (M k )) ) as esire. =χ(m k ) χ( (M k ) = C I χ(m) s I=(k 1,...,k s) =χ(f T n(m,k)) We know from [Mu] that the Lefschetz uality theorem hols for compact triangulate homology manifols. Thus, using the proof metho of Theorem 3.6, we can obtain the following formula for more general non-equivariant configuration spaces. Theorem 3.7. Let M be a compact triangulate homology n-manifol. Then χ(f(m,k)) = ( 1) kn I where I = (k 1,...,k s ) runs over all partitions of k. In Theorem 3.7, if we further write χ(f(m,k)) = ( 1) kn I C I χ(m) s k C I χ(m) s = ( 1) kn ( s=1 I=(k 1,...,k s) C I ) χ(m) s

12 1 JUNDA CHEN, ZHI LÜ AND JIE WU then we see that χ(f(m,k)) is actually a polynomial (with Z coefficients) of χ(m) of egree k. By g(t) we enote this polynomial in Z[t]. We first complete the proof of Theorem 1.. Proof of Theorem 1.. It suffices to show that g(t) = ( 1) kn k 1 l=0 (t l). For 0 l < n, choose M as a set consisting of l points. Then M is a 0-imensional manifol if 0 < l < k, an a empty set (or 1-imensional manifol) if l = 0. Thus χ(m) = { l if 0 < l < k 0 if l = 0. By using the pigeonhole principle, since l < k, we see that F(M,k) = {(x 1,,x k ) M k x i x j for i j} must be empty, so χ(f(m,k)) = 0. This implies that g(l) = 0 for 0 l < k, an thus each l is a root of g(t). Furthermore, we can write g(t) = ( 1) kn c k 1 l=0 (t l) where c is a constant number. Since C (1,...,1) = 1, we conclue that c must be 1. This completes the proof. Corollary 3.8. C (k) = ( 1) k 1 (k 1)!. Proof. This can be obtaine by comparing the coefficients of χ(m) on both sies of the following equality k ( s=1 I=(k 1,...,k s) k 1 C I )χ(m) s = (χ(m) l). l=0 Finally, to complete the proof of Theorem 1.1, it remains to etermine the number C I for every partition I of k. Proposition 3.9. Let I = (k 1,...,k s ) be a partition of k. Then k!( 1) k s C I = r 1!r! r s!k 1 k k s where r l enotes the number of times that k l appears in I. Proof. Let A I enote the set of those vertex-full subgraphs Γ with k(γ) = I of VF(K k ), all of which are not combinatorially equivalent to each other. Then we

13 ORBIT CONFIGURATION SPACES 13 have that C I = Γ VF(K k ) k(γ)=i ( 1) E(Γ) k! = k 1! k s!r 1! r s! k! = k 1! k s!r 1! r s! k! = k 1! k s!r 1! r s! k! = k 1! k s!r 1! r s! Γ= s l=1 Γ l A I V (Γ l ) =k l s l=1 s l=1 s ( 1) E(Γl) (by Lemma 3.5) l=1 Γ l ( 1) E(Γl) C (kl ) s ( 1) kl 1 (k l 1)! (by Corollary 3.8) l=1 k!( 1) k s = r 1!r! r s!k 1 k k s as esire. Example 1. By the formula of Theorem 1.1, we have that an χ(f Z n (M,)) = ( h P ( 1) ) hp ( 3) χ(f Z n (M,3)) = ( 1) 3n( ( hp ( 1) ) ) 3 3hP ( 1)h P ( 3)+h P ( 7) where M is a small cover over P. Corollary Given a simple convex n-polytope P with m facets, assume that there exists a small cover over P. Then χ(f Z m (Z P,1,k)) = ( 1) kn (m n)k k!( 1) k s s h P (1 k l ) r 1!r! r s!k 1 k k s I=(k 1,...,k s) where I = (k 1,...,k s ) runs over all partitions of k, an r l is the number of times that k l appears in I. Proof. Let M be a small cover over P. Then F Z m (Z P,1,k) is a principal (Z m n ) k - bunle over F Z n (M,k). By [AP, p. 86, (1.5)()] we have that χ(f Z m (Z P,1,k)) = (Z m n ) k χ(f Z n (M,k)). Moreover, the require result follows from Theorem 1.1. Remark 3.1. It shoul be interesting to give an explicit formula of χ(f Z m (Z P,1,k)) without the existence assumption of a small cover over P in Corollary Proposition Let P be a simple convex polytope with m facets. Then χ(f T m(z P,,k)) = 0. Proof. We know from [BP, Proposition 7.9] that the iagonal circle subgroup of T m acts freely on Z P,, so the iagonal circle subgroup of (T m ) k also acts freely on F T m(z P,,k). Therefore, F T m(z P,,k) amits a principal S 1 -bunle structure, which inuces that χ(f T m(z P,,k)) = 0 by [AP, p. 86, (1.5)(c)]. l=1

14 14 JUNDA CHEN, ZHI LÜ AND JIE WU Remark 3.. Buchstaber an Panov [BP] expane the construction of Z P, over a simple convex polytope P to the case of general simplicial complex K. The resulting space enote by Z K, is not a manifol in general, calle the (real) moment-angle complex. When =, Z K, still amits a principal S 1 -bunle structure, so the Euler characteristic of its orbit configuration space is zero. It shoul be also interesting to give an explicit formula for the Euler characteristic of the orbit configuration space of Z K,1 in terms of the combinatorial ata of K. In aition, it was showe in [CL, U] that the Halperin-Carlsson conjecture hols for Z K, with the restriction free action. Naturally, we wish to know whether this is also true for the orbit configuration space of Z K,. 4. Homotopy type of F G n (M,k) for n = 1 or k = Throughout the following, assume that π : M P is a n-imensional G n - manifol over a simple convex n-polytope P. We see easily that F(P,k) is isconnecte if n = 1 an path-connecte if n > 1 since (P ) is combinatorially equivalent to P Homotopy type of F G 1 (M,k). Theorem 4.1. Let π : M P be a -imensional G 1 -manifol over P. Then, when = 1, F Z (M,k) has the same homotopy type as k! k points, an when =, F S 1(M,k) has the same homotopy type as a isjoint union of k! copies of T k. Proof. It is well-known that when = 1, M is a circle S 1 with a reflection fixing two isolate points such that the orbit polytope P is a 1-imensional simplex, an when =, M is a -sphere S with a rotation action of S 1, fixing two isolate points, such that the orbit polytope P is also a 1-imensional simplex. Since a 1-simplex is homeomorphic to the interval [0,1], we may ientify P k with the cube [0,1] k. We then see that each point x = (x 1,...,x k ) F(P,k) [0,1] k etermines a unique permutation (σ(1),...,σ(k)) of [k] such that x i < x j as long as σ(i) < σ(j), where σ S k, an S k is the symmetric group on [k]. In particular, all points on the path ( (1 t)x 1 +t σ(1) 1 k 1,...,(1 t)x k + t σ(k) 1 ) k 1,0 t 1, are in F(P,k), an they also etermine the unique permutation (σ(1),...,σ(k)) of [k]. If x an x are two ifferent points in F(P,k) such that they etermine two ifferent permutations σ,σ in S k, then there must be no path from x to x in F(P,k) since any path from x to x in P k always passes the point of the form (y 1,...,y k ) with some y i = y j for i j. Define a homotopy H : F(P,k) [0,1] F(P,k) by ((x 1,..,x k ),t) ( (1 t)x 1 +t σ(1) 1 k 1,...,(1 t)x k +t σ(k) 1 ). k 1 Then we have that this homotopy H is a eformation retraction of F(P,k) onto k! points in A = { ( σ(1) 1 σ(k) 1 k 1,..., k 1 ) } σ Sk F(P,k). This means that F(P,k) contains k! connecte components C σ,σ S k, each of which may continuously collapse to a point in A. For each σ, since 0,1 { σ(1) 1 k 1 { σ(1) 1 k 1,..., σ(k) 1 k 1 } an,..., σ(k) 1 k 1 } {0,1} is in the open interval (0,1), C σ has also the eformation retract R σ that is homeomorphic to a (k )-imensional open ball B σ in F(P,k), an is containe in P k. Therefore, each R σ can be chosen in the interior

15 ORBIT CONFIGURATION SPACES 15 of an (k )-face in P k, so by [DJ, Lemma 4.1], (π k ) 1 (R σ ) = G k R σ = { Z k R σ if = 1 T k R σ if = which is homotopic to k points if = 1 an T k if =. This completes the proof. 4.. An equivariant strong eformation retract of F G n (M,) with n > 1. Let F(P) enote the set of all faces of P. Lemma 4.. There is a strong eformation retraction Ω : F(P,) [0,1] F(P,) of F(P,) onto A(P,) = F 1 F. F 1,F F(P) F 1 F = Proof. First, wenotethat F(P,) = P P (P P)ispath-connectesincen > 1 an im (P P) = imp. Actually, F(P,) is homotopic to S n 1 (see [Co1]). Since (P P) always contains interior points of P P, we have that F(P,) can continuouslycollapseonto (P P) (P P). Since (P P) = P P P P, in a similar way as above, we can obtain that both P P an P P can further continuously collapse onto P P ( P P). Now we see that P P ( P P) is the union of subsets of the following forms F F (F F),F F ( P P),F F where F,F,F are facets of P with F F an F F =, an further we also see that F F ( P P) can be continuously shrunk to the union of subsets of the following forms (F F ) (F F ) ((F F ) ),Q (F F ) ( P P), (F F ) Q ( P P),Q 1 Q 1 whereqanq 1 arefacets off, Q an Q 1 arefacets off, suchthat Q (F F ), (F F ) Q, an Q 1 Q 1 =. We continuous the above process to F F (F F), (F F ) (F F ) ((F F ) ), Q (F F ) ( P P), (F F ) Q ( P P), an further repeat it whenever possible. This process must en after a finite number of steps, giving finally that F(P,) is homotopic to the union F 1 F F(P) F 1 F. In particular, we also see that this shrinking of F 1 F = F(P,) leaves all points of F 1 F F(P) F 1 F fixe, an for each face Q Q F 1 F = F(P,) of P with Q Q, there exists a sequence of faces in P P Q Q Q 1 Q 1 Q l 1 Q l 1 Q l Q l with Q i Q i for i = 1,...,l 1 an Q l Q l =. This means that there is a strong eformation retraction Ω : F(P,) [0,1] F(P,) of F(P,) onto F 1 F. F 1 F F(P) F 1 F = Remark 4.1. Because F(P,) has the homotopy type of S n 1, A(P,) has also the same homotopy type as S n 1.

16 16 JUNDA CHEN, ZHI LÜ AND JIE WU Theorem 4.3. There is an equivariant strong eformation retraction of F G n (M,) onto X (M) = (π 1 ) (F 1 F ). F 1,F F(P) F 1 F = Proof. Since M = P G n / λ, we have that F G n (M,) = F(P,) G n / λ λ, an X (M) = A(P,) G n / λ λ, so there is a natural inclusion X (M) F G n (M,). For the strong eformation retraction Ω : F(P,) [0,1] F(P,) in Lemma 4., it may be lifte naturally to a strong eformation retraction Ω : F(P,) G n [0,1] F(P,) G n by mapping (a,g,t) to (Ω(a,t),g). Now assume that two points (a,g) an (a,g ) of F(P,) G n satisfy (a,g) λ λ (a,g ). Claim A. Ω(a,g,t) = (Ω(a,t),g) λ λ (Ω(a,t),g ) = Ω(a,g,t). If a int(p ), then, by the construction of M, g = g. It follows that Ω(a,g,t) = Ω(a,g,t), so (Ω(a,t),g) λ λ (Ω(a,t),g ) regarless of whether Ω(a,t) belongs to int(p ) or not. If a (P ), then a belongs to F P or P F where F an F are facets of P. Without loss of generality, we merely consier the case of a F P in the following argument. Let σ(t) = Ω(a,t) be the path from Ω(a,0) to Ω(a,1). For such a path σ, we see from the proof of Lemma 4. that there exists a sequence of faces in F P F P Q 1 Q 1 Q l 1 Q l 1 Q l Q l with Q i Q i for i = 1,...,l 1 an Q l Q l =, such that σ(t) continuously runs from σ(0) = Ω(a,0) = a int(q 1 Q 1) to σ(1) = Ω(a,1) int(q l Q l ) through int(q 1 Q 1) int(q l 1 Q l 1) int(q l Q l). Thus, by the efinition of λ λ, we have that g 1 g G Q1 G Q 1. On the other han, by the construction of M, we have the following sequence of subgroups of G n G Q1 G Q 1 < < G Ql 1 G Q l 1 < G Ql G Q l where G Q is the subgroup of G n, etermine by Q an the characteristic function of P (see subsection.1). Note that G Qi G Q i = G Qi Q for all 1 i l by the i efinition of λ λ. Furthermore, we have that g 1 g G Qi Q for all 1 i l. i Thus, (Ω(a,t),g) λ λ (Ω(a,t),g ). Moreover, we conclue by Claim A that Ω escens to an equivariant strong eformation retraction of F G n (M,) onto X (M). Corollary 4.4. The equivariant cohomologies of F G n (F,) an X (M) are isomorphic, i.e., (F G n (F,)) = H G (X n (M)). H G n Proof. Let Υ : F G n (F,) [0,1] F G n (F,) be the equivariant strong eformation retraction of F G n (F,) onto X (M). Consier the following equivariant lifting of Υ Υ : EG n F G n (F,) [0,1] EG n F G n (F,)

17 ORBIT CONFIGURATION SPACES 17 by mapping (x,y,t) to (x,υ(y,t)). This lifting Υ escens to a eformation retraction EG n G n F G n (F,) [0,1] EG n G n F G n (F,) of EG n G nf G n (F,) onto EGn G nx (M), which inuces the require result The simplicial complex K P associate to X (M). By the intersection property of all (π 1 ) (F 1 F ),F 1,F F(P) with F 1 F =, in the way as shown in section 7, X (M) can etermine a simplicial complex K P, which is exactly the ual cell ecomposition of A(P,) as a polyheron since the ual cell ecomposition of each simple convex polytope is a simplicial complex. K P only epens upon the combinatorial structure of P. Actually, K P can also be irectly etermine by the intersection property of all faces F 1 F with F 1 F = in P, where F 1,F F(P). Specifically, let B(P) be the set consisting of all faces F 1 F with F 1 F = in P where F 1,F F(P), such that each face in B(P) is not a proper face of other faces in B(P). Then we have that A(P,) = B B(P) B. Now the associate simplicial complex K P is efine as follows: regar B(P) as the vertex set of K P, an a simplex of K P is a subset {B 1,...,B r } of B(P) such that the intersection r i=1 B i is nonempty. Example. LetP(m)beanm-polygonwithfacetsF 1,...,F m anverticesv 1,...,v m, as shown in the following iagram: v m F 1 v 1 F F m v F3 v 3 v 5 v 4 F 5 F 4 Now let us look at the simplicial complex K P(m) ual to A(P,). K P(3) is a 6- polygon with vertices v 1 F 3,v F 1,v 3 F,F 1 v,f v 3,F 3 v 1, K P(4) is a 4-polygon with four vertices F 1 F 3,F F 4,F 3 F 1,F 4 F, an K P(5) is a -imensional simplicial complex with 10 vertices. Actually K P(5) is exactly an

18 18 JUNDA CHEN, ZHI LÜ AND JIE WU annuls as shown in the following iagram: F 1 F 3 F F 4 F 1 F 4 F 5 F 3 F F 5 F 5 F F 3 F 5 F 4 F F 3 F 1 F 4 F 1 In general, when m > 5, K P(m) is a 3-imensional simplicial complex with vertex set {F i F j F i F j = } such that there are 3-imensional simplices of the form {F i F j,f i+1 F j,f i F j+1,f i+1 F j+1 } where F i+1 will be F 1 if i = m, an F j+1 will be F 1 if j = m, an some aitional -imensional simplices of the form {F i F i+,f i F i+3,f i+1 F i+3 } or {F i+ F i,f i+3 F i,f i+3 F i+1 } where F i+ will be F 1,F if i = m 1,m an F i+3 will be F 1,F,F 3 if i = m,m 1,m. Obviously, K P(m) contains m(m 3) vertices. We also know from Remark 4.1 that K P(m) is homotopic to a circle Examples for the homotopy types of F G n (M,). Now let us look at the case n =. In this case, P is a polygon. Base upon Example, we have that (1) When P is a 3-polygon, we have that F Z (M,) has the homotopy type of the following 1-imensional simplicial complex anf T (M,)hasthe homotopytypeofa-imensionalsimplicialcomplex prouce by replacing six circles of the above complex by six -spheres.

19 ORBIT CONFIGURATION SPACES 19 () When P is a 4-polygon, we have that F Z (M,) has the homotopy type of the following -imensional simplicial complex anf T (M,)hasthe homotopytypeofa4-imensionalsimplicialcomplex prouce by replacing four tori of the above complex by four copies of S S. (3) When P is a 5-polygon, we have that F Z (M,) has the homotopy type of The resulting space is obtaine by gluing same colore circles together

20 0 JUNDA CHEN, ZHI LÜ AND JIE WU G n anf T (M,)hasthe homotopytypeofa4-imensionalsimplicialcomplex prouce by replacing all tori an circles of the above complex by S S an S respectively. 5. The homology of F G n (M,) Throughout the following, assume that π : M n P n is a n-imensional -manifol over a simple convex polytope P The Mayer Vietoris spectral sequence of F G n (M,). Recall that K P is the simplicial complex associate to X (M), an it inicates the intersection property of submanifols of {(π 1 ) (F 1 F ) F 1,F F(P) with F 1 F = } in X (M). Then we know from section 7 that X (M) with K P together can be associate to a Mayer Vietoris spectral sequence with Z coefficients, enote by Ep,q 1 (K P,),...,Ep,q (K P,). Here we call it the Mayer Vietoris spectral sequence of F G n (M,). Then we have that (also see Theorem 7.3 in Section 7) Theorem 5.1. The Mayer Vietoris spectral sequence {E 1 p,q(k P,),...,E p,q(k P,)} of F G n (M,) converges to H (F G n (M,)), i.e., H i (F G n (M,)) = Ep,q (K p,). p+q=i 5.. Relation between E p,q (K P,1) an E p,q (K P,). Davis an Januszkiewicz showe in [DJ, Theorem 3.1] that the Betti numbers (mo Betti numbers for = 1) of the G n -manifol π : M n P n only epen upon the combinatorics (more precisely, the h-vector) of P n. Specifically, there is a height function φ on P n R n efine by φ(x) =< x,w > where w is tangent to no proper face of P n. This height function φ etermines a perfect cell ecomposition of M n in the sense of Morse theory, an gives a 1-1 corresponence between all i-imensional perfect cells e v of M n an all vertices v of inex i. The closure of every iimensional perfect cell e v can be use as a generator of H i (M n ;R ), an we enote this associate generator of H i (M n ;R ) by γ (v,p). In particular, when v runs over all vertexes of inex i, all γ (v,p) form a basis of H i (M n ;R ). In aition, when =, H o (M n ;Z) = 0 an H i (M n ;Z) is a free abelian group so imh i (M n ;Z ) is equal to the rank of H i (M n ;Z). For convenience, we still enote the generators of H i (M n ;Z ) by those γ (v,p). Thus there is a natural isomorphism (5.1) ζ : H i (M n ;Z ) H i (M n ;Z ) by mapping γ 1 (v,p) to γ (v,p). Now let F l be a l-face of P n an η : F l P n be the natural imbeing. By π 1 η : π 1 (Fl ) π 1 (Pn ) = M n we enote the pull-back of η via π 1. Note that π 1 (Fl ) F l is still a G l -manifol (see [DJ, Lemma 1.3]), so there is still a natural isomorphism H i (π1 1 (Fl );Z ) H i (π 1 (Fl );Z ), also enote by ζ. Lemma 5.. Let (π 1 η) : H (π 1 (Fl );Z ) H (π 1 (Pn );Z ) be the homomorphism inuce by π 1 η. Then ζ is commutative with (π 1 η), i.e., (π 1 η) ζ = ζ (π1 1 η).

21 ORBIT CONFIGURATION SPACES 1 Proof. The restriction to F l of each height function on P n gives a height function on F l. We can always choose a height function φ on P n such that the restriction φ F l to F l possesses the property that for each vertex v of F l P n, the inex in(v,φ F l) at v of φ F l on F l is equal to the in(v,φ) at v of φ on P n. Then we see from the proof of [DJ, Theorem 3.1] that the perfect cell structure of π 1 (Fl ) etermine by φ F l agrees with that of π 1 (Pn ) etermine by φ. In other wors, as CW-complexes, π 1 (Fl ) is a subcomplex of π 1 (Pn ). This means that (π 1 η) (γ (v,f)) = γ (v,p). Furthermore, for every generator γ 1 (v,f) of H i (π1 1 (Fl );Z ), we have (π 1 η) ζ(γ 1 (v,f)) = (π 1 η) (γ (v,f)) = γ (v,p) = ζ(γ 1 (v,p)) = ζ (π 1 1 η) (γ 1 (v,f)). This complete the proof. From the equation (7.) in Remark 7.1, we see that there is the following isomorphism (5.) Ep,q 1 (K P,) = H q (Xa ) a K P im a=p where Xa is the intersection of some submanifols of the form (π 1 ) (F 1 F ), F 1,F F(P n ) with F 1 F =. Since the intersection of those faces of the form F 1 F is still a face of P n P n, we have that Xa 1 is a small cover an X a is a quasitoric manifol, such that their orbit polytopes are the same. Thus, as shown in (5.1), there is a natural isomorphism ζ a : H q (Xa;Z 1 ) H q (Xa;Z ). Then using all isomorphisms ζ a, a K P with ima = p, we inuce an isomorphism E 1 p,q (K P,1) Z E 1 p,q (K P,) Z still enote by ζ. Ontheotherhan,asshowninRemark7.1,theifferential () 1 one,q 1 (K P,) Z can be explicitly escribe in terms of homomorphisms l : H (X a;z ) H (X b;z ) (inuce by the the natural imbeing Xa X b ) where b is a face of a an a K. As we have seen before, Xa an Xb are small covers if = 1 an quasitoric manifols if =. Thus there are two faces F a an F b of P n P n such that F a is a face of F b, an the natural imbeing F a F b inuces the natural imbeing (π 1 ) (F a ) = Xa (π 1 ) (F b ) = Xb. Now we fix a height function Φ on Pn P n asasimpleconvexpolytope, suchthattherestrictionstof a anf b ofthisheight function give the perfect cell ecompositions of Xa an Xb respectively, which are compatible with the perfect cell ecomposition of (π 1 ) (P n P n ) = (M n ) etermine by Φ. Namely, every perfect cell of X a is a perfect cell of X b, an in particular,allperfectcellsofxa anxb arealsoperfectcellsof(π 1 ) (P n P n ) = (M n ). Therefore, if we use Xa an X b to replace the π 1 (Fl ) an π 1 (Pn ) of Lemma 5. respectively, then we have that ζ l 1 = l ζ. Moreover, we have that ζ (1) 1 = () 1 ζ so ζ is a chain map between two chain complexes (E 1 (K P ;1) Z, (1) 1 ) an (E 1 (K P ;) Z, () 1 ). Since ζ is an isomorphism, we conclue that

22 JUNDA CHEN, ZHI LÜ AND JIE WU Theorem 5.3. The chain isomorphism ζ inuces the following isomorphism E p,q(k P,1) Z = E p,q (K P,) Z Proof of Theorem 1.6. [DJ, Theorem 3.1] tells us that all perfect cells of eachquasi-toricmanifolareofevenimension,soby(5.)wehavethate 1 p,q (K P,) vanishes for o q. This means that the ifferential () r : E r p,q (K P,) E r p r,q+r 1 (K P,) is a zero-homomorphism for r, so the Mayer Vietoris spectral sequence of F T n(m,) collapses at the E -term, an H i (F T m(m,)) = Ep,q (K P,). This completes the proof. p+q=i 6. Calculation of the (mo ) homology of F G (M,) an F G n (M,) for P an n-simplex In this section, using Theorem 4.3 an the Mayer-Vietoris spectral sequence we calculate the (mo ) homology of F G (M,) an F G n (M,) for P an n-simplex. Our results are state as follows: Proposition 6.1. Let π : M P(m) be a -imensional G -manifol over an m-polygon P(m). When m = 3, all nonzero Betti numbers of F Z (M,) (resp. F T (M,)) are (b 0,b 1 ) = (1,7) (resp. (b 0,b 1,b ) = (1,1,6)); when m > 3, all nonzero Betti numbers of F Z (M,) (resp. F T (M,)) are (b 0,b 1,b ) = (1,m+1,m(m 3)) (resp. (b 0,b 1,b,b 4 ) = (1,1,m,m(m 3))). In particular, the non-vanishing homology of F Z (M,) is free abelian. Remark 6.1. As we have seen in Proposition 6.1, we actually etermine the integral homology of F Z (M,). However, unlike -imensional small covers, the non-vanishing homology of F Z (M,) has no torsion. In aition, unlike quasitoric manifols, o-imensional homology of F T n(m,) may be non-vanishing in general. This can also be seen from the following proposition. Proposition 6.. Let π : M n be a n-imensional G n -manifol over an n-simplex n. Then M is one of RP n,cp n or CP n (see [BP, Page 46]). When = 1, all nonzero mo Betti numbers of F Z n (RP n,) are (b Z 0,bZ 1,...,bZ n,bz n 1 ) = (1,,...,n 1, 3n+1 +n 3 ). 4 When =, all nonzero Betti numbers of F T n(cp n,) are where b k = { k +1+f k n+1 if k f k n+1 (b 0,b 1,...,b k,...,b n ) if k an f i = i s=0 ( n+1 s )( n s 1 i s ).

23 ORBIT CONFIGURATION SPACES The integral homology of F G (M,). Let π : M P(m) be a imensional G -manifol over an m-polygon P(m). Theorem 4.3 tells us that F G (M,) is homotopic to { F X (P(m)) = i F j= (π 1 ) (F i F j ) if m > 3 v i F j= (π 1 ) (v i F j ) F i v j= (π 1 ) (F i v j ) if m = 3. In Example, we have given an analysis on the structure of K P(m). For the convenience of calculation, as shown in Section 7, we can choose a locally nice subcomplex L P(m) of K P(m) in the use of the Mayer-Vietoris spectral sequence of F G (M,) (for the notion of a locally nice subcomplex, see Defintion 7.0.1). When m 5, take L P(m) = K P(m). When m 6, we take L P(m) in such a way that L P(m) contains an all vertices of K P(m), an m(m 4) -imensional simplices of the following forms {F i F j,f i+1 F j,f i+1 F j+1 } an {F i F j,f i F j+1,f i+1 F j+1 }. In this case, we may check that L P(m) is exactly an annulus, an it has m(3m 11) 1-simplices. For example, when m = 6, L P(6) is a -imensional simplicial complex as shown in the following picture: F 3 F 1 F 4 F F 4 F 1 F 3 F 6 F 4 F 6 F 5 F 1 F 5 F F F 6 F 3 F 5 F 6 F F 5 F 3 F F 5 F F 4 F 1 F 3 F 6 F 3 F 1 F 4 F 1 F 5 F 6 F 4 With the above arguments together, we have Lemma 6.3. When m 4, L P(3) is a 6-polygon an L P(4) is a 4-polygon. When m 5, L P(m) is a triangulation of an annulus with m(m 3) vertices, m(3m 11) 1-simplices an m(m 4) -simplices. In the following iscussion, by E 1 p,q (L P(m),),...,E p,q (L P(m),) we enote the Mayer-Vietoris spectral sequence etermine by X (P(m)) with L P(m) together.

24 4 JUNDA CHEN, ZHI LÜ AND JIE WU Now, to complete the proof of Proposition 6.1, it suffices to show the following result. Proposition 6.4. X (P(3)) is a -imensional connecte CW complex whose nonzero Betti numbers are (b 0,b 1 ) = (1,7) if = 1 an (b 0,b 1,b ) = (1,1,6) if =. When m 4, X (P(m)) is a -imensional connecte CW complex whose nonzero Betti numbers are (b 0,b 1,b ) = (1,m+1,m(m 3)) if = 1 an (b 0,b 1,b,b 4 ) = (1,1,m,m(m 3))) if =. Proof. Each vertex of L P(m) is of the form F i F j if m > 3, an of the form v i F j or F i v j if m = 3. Since each π 1 (F i) is S 1 if = 1 an S if =, an since π 1 (v i) is a point, we have that (π 1 ) (F i F j ) is S 1 S 1 if = 1 an S S if =, an (π 1 ) (v i F j ) (or (π 1 ) (F i v j )) is also S 1 if = 1 an S if =. Also, for all m 3, L P(m) is connecte. Thus, X (P(3)) is a -imensional connecte CW complex an when m 4, X (P(m)) is a -imensional connecte CW complex. Now we first have that Ep,0(L P(m),) = H p (S 1 ) by Remark 7.1 an Lemma 6.3, so Ep,0 (L P(m),) = 0 if p > 1 an E0,0 (L P(m),) = E1,0 (L P(m),) = Z. If m = 3, by a irect calculation we have that Ep,q 1 (L P(3),) = 0 for p > 0 an q > 1, an E0, 1 (L P(3),) = Z 6. Thus we have that 0 if either p > 1 an q = 0 or p > 0 an q > 1 Ep,q (L P(3),) = Z if p 1 an q = 0 Z 6 if p = 0 an q = 1 so Ep,q (L P(3),) = Ep,q (L P(3),). If m > 3, then we havethat Ep,q 1 (L P(m),) = 0for either p > 1an q > orp > 0 an q =. By a irect calculation, we obtain that E0, (L P(m),) = Z m(m 3), E0, 1 (L P(m),) = Z m(m 3) an E1, 1 (L P(m),) = Z m(m 4). Note that Z m(m 4) means the trivial group 0 when m = 4, so E1, (L P(4),) = 0 an E0, (L P(4),) = Z 8. When m > 4, we can obtain that 0 E 1 1,(L P(m),) E 1 0,(L P(m),) 0 is isomorphic to the chain complex of the simplicial complex given by the isjoint union of m copies of a segment, so E1, (L P(m),) = 0 an E0, (L P(m),) = Z m. Thus, if m > 3, 0 if either p > 1 an q = 0 or p > 0 an q > Ep,q (L Z if p 1 an q = 0 P(m),) = Z m if p = 0 an q = 1 Z m(m 3) if p = 0 an q = which implies that Ep,q (L P(m),) = Ep,q (L P(m),). Finally, the esire Betti numbers for X (P(m)) can be rea out from the expression of Ep,q (L P(m),). Remark 6.. We actually calculate the integral homology of F (Z) (M,), an in particular, the Mayer Vietoris spectral sequence of F (Z) (M,) collapses at the E -term.