Group actions on disks

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(Definitions)
(Results)
(4 intermediate revisions by one user not shown)
Line 73: Line 73:
<wikitex>;
<wikitex>;
For a compact space $X$, between the reduced real, complex, and quaternion $K$-theory groups $\widetilde{K}O(X)$, $\widetilde{K}U(X)$, and $\widetilde{K}Sp(X)$, respectively, consider
For a compact space $X$, between the reduced real, complex, and quaternion $K$-theory groups $\widetilde{K}O(X)$, $\widetilde{K}U(X)$, and $\widetilde{K}Sp(X)$, respectively, consider
* the induction (complexification and quaternization) homomorphisms $\widetilde{K}O(X)\xrightarrow{c_\mathbb{R}}\widetilde{K}U(X)\xrightarrow{q_\mathbb{C}}\widetilde{K}Sp(X)$
+
* the induction (complexification and quaternization) homomorphisms $\widetilde{K}O(X)\xrightarrow{c_\mathbb{R}}\widetilde{K}U(X)\xrightarrow{q_\mathbb{C}}\widetilde{K}Sp(X)$,
* and the forgetful (complexification and realification) homomorphisms $\widetilde{K}Sp(X)\xrightarrow{c_\mathbb{H}}\widetilde{K}U(X)\xrightarrow{r_\mathbb{C}}\widetilde{K}O(X)$.
* and the forgetful (complexification and realification) homomorphisms $\widetilde{K}Sp(X)\xrightarrow{c_\mathbb{H}}\widetilde{K}U(X)\xrightarrow{r_\mathbb{C}}\widetilde{K}O(X)$.
</wikitex>
</wikitex>
Line 81: Line 81:
{{beginthm|Theorem|(\cite{Oliver1996})}}
{{beginthm|Theorem|(\cite{Oliver1996})}}
Let $G$ be a finite group not of prime power order. Let $F$ be a smooth manifold. Then there exists a smooth action of $G$ on some disk $D$ such that the fixed point $D^G$ is diffeomorphic to $F$ if and only if $F$ is compact, $\chi(F)\equiv 1\pmod{n_G}$, and the class $[\tau_F]\in \widetilde{K}O(F)$ satisfies the following condition depending on $G$.
+
Let $G$ be a finite group not of prime power order, and let $G_2$ denote a $2$-Sylow subgroup of $G$. Let $F$ be a smooth manifold. Then there exists a smooth action of $G$ on some disk $D$ such that the fixed point $D^G$ is diffeomorphic to $F$ if and only if the following two statements hold.
+
* $F$ is compact and $\chi(F)\equiv 1\pmod{n_G}$.
*If $G\in \mathcal{A}$, then there is no restriction on $[\tau_F]$.
+
* The class $[\tau_F]$ of $\widetilde{K}O(F)$ satisfies the following condition depending on $G$.
*If $G\in \mathcal{B}$, then $c_{\mathbb{R}}([\tau_F])\in c_{\mathbb{H}}(\widetilde{K}Sp(F))+\text{Tor}(\widetilde{K}U(F))$.
+
** $[\tau_F]$ is arbitrary, if $G$ is in the class $\mathcal{D}$ of finite groups with dihedral subquotient of order $2pq$ for two distinct primes $p$ and $q$.
*If $G\in\mathcal{C}$, then $[\tau_F]\in r_{\mathbb{C}}(\widetilde{K}U(F))+\text{Tor}(\widetilde{K}O(F))$.
+
** $c_{\mathbb{R}}([\tau_F])\in c_{\mathbb{H}}(\widetilde{K}Sp(F))+\text{Tor}(\widetilde{K}U(F))$, if $G$ has a composite order element conjugate to its inverse and $G\notin\mathcal{D}$.
*If $G\in\mathcal{D}$, then $[\tau_F]\in r_{\mathbb{C}}(\widetilde{K}U(F))$, i.e., $F$ is stably complex.
+
** $[\tau_F]\in r_{\mathbb{C}}(\widetilde{K}U(F))+\text{Tor}(\widetilde{K}O(F))$, if $G$ has a composite order element but never conjugate to its inverse and $G_2\ntrianglelefteq G$.
*If $G\in\mathcal{E}$, then $[\tau_F]\in\text{Tor}(\widetilde{K}O(F))$.
+
** $[\tau_F]\in r_{\mathbb{C}}(\widetilde{K}U(F))$, i.e., $F$ is stably complex, if $G$ has a composite order element but never conjugate to its inverse and $G_2\trianglelefteq G$.
*If $G\in\mathcal{F}$, then $[\tau_F]\in r_{\mathbb{C}}(\text{Tor}(\widetilde{K}U(F)))$.
+
** $[\tau_F]\in\text{Tor}(\widetilde{K}O(F))$, if $G$ has no composite order element and $G_2\ntrianglelefteq G$.
+
** $[\tau_F]\in r_{\mathbb{C}}(\text{Tor}(\widetilde{K}U(F)))$, if $G$ has no composite order element and $G_2\trianglelefteq G$.
{{endthm}}
{{endthm}}
</wikitex>
</wikitex>

Latest revision as of 02:01, 30 November 2010

This page has not been refereed. The information given here might be incomplete or provisional.

Contents

[edit] 1 Topological actions

[edit] 2 Smooth actions

[edit] 2.1 Fixed point free

[edit] 2.1.1 History

Floyd and Richardson [Floyd&Richardson1959] have constructed for the first time a smooth fixed point free action of G on a disk for G=A_5, the alternating group on five letters (see [Bredon1972, pp. 55-58] for a transparent description of the construction). Next, Greever [Greever1960] has described plenty of finite solvable groups G which can act smoothly on disks without fixed points. Then, Oliver [Oliver1975], [Oliver1976] has answered completely the question of which compact Lie groups admit smooth fixed point free actions on disks.

[edit] 2.1.2 Oliver number

Let G be a finite group not of prime power order. Oliver [Oliver1975] has proven that the set

\displaystyle \mathcal{Z}_G := \{\chi(X^G)-1 \ | \ X\textup{ is a finite contractible }G\textup{-CW-complex}\} \ \subseteq \ \mathbb{Z}
is a subgroup of the group of integers \mathbb{Z}. Therefore, \mathcal{Z}_G = n_G\cdot \mathbb{Z} for a unique integer n_G\geq 0, which we refer to as the Oliver number of G.

In the papers [Oliver1975], [Oliver1977], and [Oliver1978], Oliver has computed the integer n_G. In particular, the following lemma holds.

Lemma 2.1 (Oliver Lemma). For a finite group G not of prime power order, n_G=1 if and only if there does not exist a sequence P\trianglelefteq H\trianglelefteq G of normal subgroups such that P is a p-group, G/H is a q-group, and H/P is cyclic for two (possibly the same) primes p and q.

Moreover, the work [Oliver1977, Theorem 7] yields the following proposition.

Proposition 2.2. For a finite nilpotent group G not of prime power order, the following conclusions hold:

  • n_G=0 if G has at most one non-cyclic Sylow subgroup.
  • n_G=pq for two distinct primes p and q, if G has just one non-cyclic p-Sylow and q-Sylow subgroups.
  • n_G=1 if G has three or more non-cyclic Sylow subgroups.

The notion of the Oliver number n_G extends to compact Lie groups G as follows.

  • n_G=n_{G/G_0} if G_0 is abelian and G/G_0 is not of prime power order.
  • n_G=1 if G_0 is non-abelian (see [Oliver1976]).


[edit] 2.1.3 Oliver group

The notion of Oliver group has been introduced by Laitinen and Morimoto [Laitinen&Morimoto1998] in connection with the work on smooth one fixed point actions on spheres.

Definition 2.3. A finite group G not of prime power order is called an Oliver group if n_G=1 (cf. Oliver Lemma).

Examples of finite Oliver groups include:

  • \mathbb{Z}_{pqr}\times \mathbb{Z}_{pqr} for three distinct primes p, q, and r.
  • the solvable groups S_4\oplus \mathbb{Z}_3 and A_4\oplus S_3 of order 72.
  • all non-solvable groups, e.g., A_n and S_n for n\geq 5.

[edit] 2.1.4 Results

The results of Oliver [Oliver1975], [Oliver1976] can be summarized as follows.

Theorem 2.4. A compact Lie group G has a smooth fixed point free action on some disk if and only if the identity connected component G_0 of G is non-abelian, or the quotient group G/G_0 is not of prime power order and n_{G/G_0}=1.

Theorem 2.5. Let G be a compact Lie group such that the identity connected component G_0 of G is non-abelian, or the quotient group G/G_0 is not of prime power order. Let F be a CW-complex. Then the following three statements are equivalent.

  • F is compact and the Euler-Poincaré characteristic \chi(F)\equiv 1 \pmod{n_G}.
  • There exists a finite contractible G-CW-complex X such that the fixed point set X^G is homeomorphic to F.
  • There exists a smooth action of G on a disk D such that the fixed point set D^G is homotopy equivalent to F.

[edit] 2.2 Fixed point sets

[edit] 2.2.1 History

[edit] 2.2.2 Definitions

For a compact space X, between the reduced real, complex, and quaternion K-theory groups \widetilde{K}O(X), \widetilde{K}U(X), and \widetilde{K}Sp(X), respectively, consider

  • the induction (complexification and quaternization) homomorphisms \widetilde{K}O(X)\xrightarrow{c_\mathbb{R}}\widetilde{K}U(X)\xrightarrow{q_\mathbb{C}}\widetilde{K}Sp(X),
  • and the forgetful (complexification and realification) homomorphisms \widetilde{K}Sp(X)\xrightarrow{c_\mathbb{H}}\widetilde{K}U(X)\xrightarrow{r_\mathbb{C}}\widetilde{K}O(X).

[edit] 2.2.3 Results

Theorem 2.6 ([Oliver1996]). Let G be a finite group not of prime power order, and let G_2 denote a 2-Sylow subgroup of G. Let F be a smooth manifold. Then there exists a smooth action of G on some disk D such that the fixed point D^G is diffeomorphic to F if and only if the following two statements hold.

  • F is compact and \chi(F)\equiv 1\pmod{n_G}.
  • The class [\tau_F] of \widetilde{K}O(F) satisfies the following condition depending on G.
    • [\tau_F] is arbitrary, if G is in the class \mathcal{D} of finite groups with dihedral subquotient of order 2pq for two distinct primes p and q.
    • c_{\mathbb{R}}([\tau_F])\in c_{\mathbb{H}}(\widetilde{K}Sp(F))+\text{Tor}(\widetilde{K}U(F)), if G has a composite order element conjugate to its inverse and G\notin\mathcal{D}.
    • [\tau_F]\in r_{\mathbb{C}}(\widetilde{K}U(F))+\text{Tor}(\widetilde{K}O(F)), if G has a composite order element but never conjugate to its inverse and G_2\ntrianglelefteq G.
    • [\tau_F]\in r_{\mathbb{C}}(\widetilde{K}U(F)), i.e., F is stably complex, if G has a composite order element but never conjugate to its inverse and G_2\trianglelefteq G.
    • [\tau_F]\in\text{Tor}(\widetilde{K}O(F)), if G has no composite order element and G_2\ntrianglelefteq G.
    • [\tau_F]\in r_{\mathbb{C}}(\text{Tor}(\widetilde{K}U(F))), if G has no composite order element and G_2\trianglelefteq G.

[edit] 3 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox