Group actions on disks

(Difference between revisions)

Jump to: navigation, search

Revision as of 11:48, 27 November 2010

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

1 Topological actions

2 Smooth actions

2.1 Fixed point free

2.1.1 History

Floyd and Richardson [Floyd&Richardson1959] have constructed for the first time a smooth fixed point free action of ${{Stub}} == Topological actions == == Smooth actions == === Fixed point free === ==== History ==== <wikitex>; Floyd and Richardson \cite{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 {{cite|Bredon1972|pp. 55-58}} for a transparent description of the construction). Next, Greever {{cite|Greever1960}} has described plenty of finite solvable groups $G$, which can act smoothly on disks without fixed points. Then, Oliver \cite{Oliver1975} and \cite{Oliver1976}, has answered completely the question of which compact Lie groups admit smooth fixed point free actions on disks. </wikitex> ==== Oliver number ==== <wikitex>; Let $G$ be a finite group not of prime power order. Oliver in \cite{Oliver1975} proved that the set $$\{\chi(X^G)-1\colon X\textup{ is a contractible }G\textup{-CW-complex}\}$$ is a subgroup of the group of integers $\mathbb{Z}$. Therefore, the set is of the form $n_G\cdot \mathbb{Z}$ for a unique integer $n_G\geq 0$, which we refer to as the ''Oliver number'' of $G$. Oliver has determined integer $n_G$ in the papers \cite{Oliver1975}, \cite{Oliver1977}, and \cite{Oliver1978}. In particular, the following lemma holds. {{beginthm|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$. {{endthm}} Moreover, the work {{cite|Oliver1977|Theorem 7}} yields the following proposition. {{beginthm|Proposition}} 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. {{endthm}} 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 \cite{Oliver1976}). </wikitex> ==== Oliver group ==== <wikitex>; In connection with the work on [[Group_actions_on_spheres#Smooth_actions|smooth one fixed point actions on spheres]], Laitinen and Morimoto \cite{Laitinen&Morimoto1998} have introduced the notion of Oliver group. {{beginrem|Definition}} A finite group $G$ not of prime power order is called an ''Oliver group'' if $n_G=1$. {{endrem}} Examples of finite Oliver groups include: *$\mathbb{Z}_{pqr}\times \mathbb{Z}_{pqr}$ for three distinct primes $p$, $q$, and $r$. *the groups $S_4\oplus \mathbb{Z}_3$ and $A_4\oplus S_3$ of order 72 (which are solvable but not nilpotent). *finite non-solvable (in particular, non-trivial perfect) groups (e.g. $A_n$, $S_n$ for $n\geq 5$). </wikitex> ==== Solution ==== <wikitex>; {{beginthm|Theorem|\cite{Oliver1975}}} Let $G$ be a finite group not of prime power order. Then the following two conditions are equivalent. *There exists a smooth fixed point free action of $G$ on some disk. *The [[Actions on disks without fixed points#Oliver number|Oliver number]] $n_G=1$. {{endthm}} {{beginthm|Theorem|\cite{Oliver1976}}} Let $G$ be a compact Lie group with non-abelian identity connected component $G_0$. Then there exist smooth fixed point free action of $G$ on some disk. {{endthm}} {{beginthm|Corollary}} A compact Lie group $G$ has a smooth fixed point free action on soome disk if and only if $G_0$ is non-abelian or $n_{G/G_0}=1$. {{endthm}} </wikitex> === Fixed point sets === == References == {{#RefList:}} [[Category:Theory]] [[Category:Group actions on manifolds]]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] and [Oliver1976], has answered completely the question of which compact Lie groups admit smooth fixed point free actions on disks.

2.1.2 Oliver number

Let $G$ $G$ be a finite group not of prime power order. Oliver in [Oliver1975] proved that the set

$\displaystyle \{\chi(X^G)-1\colon X\textup{ is a contractible }G\textup{-CW-complex}\}$ $\displaystyle \{\chi(X^G)-1\colon X\textup{ is a contractible }G\textup{-CW-complex}\}$

is a subgroup of the group of integers $\mathbb{Z}$ $\mathbb{Z}$ . Therefore, the set is of the form $n_G\cdot \mathbb{Z}$ $n_G\cdot \mathbb{Z}$ for a unique integer $n_G\geq 0$ $n_G\geq 0$ , which we refer to as the Oliver number of $G$ $G$ .

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

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.

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]).

2.1.3 Oliver group

In connection with the work on smooth one fixed point actions on spheres, Laitinen and Morimoto [Laitinen&Morimoto1998] have introduced the notion of Oliver group.

A finite group $G$ not of prime power order is called an Oliver group if $n_G=1$ .

Examples of finite Oliver groups include:

$\mathbb{Z}_{pqr}\times \mathbb{Z}_{pqr}$ for three distinct primes $p$ , $q$ , and $r$ .
the groups $S_4\oplus \mathbb{Z}_3$ and $A_4\oplus S_3$ of order 72 (which are solvable but not nilpotent).
finite non-solvable (in particular, non-trivial perfect) groups (e.g. $A_n$ , $S_n$ for $n\geq 5$ ).

2.1.4 Solution

Let $G$ be a finite group not of prime power order. Then the following two conditions are equivalent.

There exists a smooth fixed point free action of $G$ on some disk.
The Oliver number $n_G=1$ .

Let $G$ be a compact Lie group with non-abelian identity connected component $G_0$ . Then there exist smooth fixed point free action of $G$ on some disk.

A compact Lie group $G$ has a smooth fixed point free action on soome disk if and only if $G_0$ is non-abelian or $n_{G/G_0}=1$ .

2.2 Fixed point sets

3 References

[Bredon1972] G. E. Bredon, Introduction to compact transformation groups, Academic Press, New York, 1972. MR0413144 (54 #1265) Zbl 0484.57001
[Floyd&Richardson1959] E. E. Floyd and R. W. Richardson, An action of a finite group on an $n$ -cell without stationary points. , Bull. Amer. Math. Soc. 65 (1959), 73–76. MR0100848 (20 #7276) Zbl 0088.15302
[Greever1960] J. Greever, Stationary points for finite transformation groups, Duke Math. J 27 (1960), 163–170. MR0110094 (22 #977) Zbl 0113.16505
[Laitinen&Morimoto1998] E. Laitinen and M. Morimoto, Finite groups with smooth one fixed point actions on spheres, Forum Math. 10 (1998), no.4, 479–520. MR1631012 (99k:57078) Zbl 0905.57023
[Oliver1975] R. Oliver, Fixed-point sets of group actions on finite acyclic complexes, Comment. Math. Helv. 50 (1975), 155–177. MR0375361 (51 #11556) Zbl 0304.57020
[Oliver1976] R. Oliver, Smooth compact Lie group actions on disks, Math. Z. 149 (1976), no.1, 79–96. MR0423390 (54 #11369) Zbl 0334.57023
[Oliver1977] R. Oliver, $G$ -actions on disks and permutation representations. II, Math. Z. 157 (1977), no.3, 237–263. MR0646085 (58 #31126) Zbl 0386.20002
[Oliver1978] R. Oliver, $G$ -actions on disks and permutation representations, J. Algebra 50 (1978), no.1, 44–62. MR0501044 (58 #18508) Zbl 0386.20002

Group actions on disks

Revision as of 11:48, 27 November 2010

Contents

1 Topological actions

2 Smooth actions

2.1 Fixed point free

2.1.1 History

2.1.2 Oliver number

2.1.3 Oliver group

2.1.4 Solution

2.2 Fixed point sets

3 References

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

Interaction

Toolbox

@@ Line 16: / Line 16: @@
 Oliver has determined integer $n_G$ in the papers \cite{Oliver1975}, \cite{Oliver1977}, and \cite{Oliver1978}. In particular, the following lemma holds.
-{{beginthm|Lemma}}
+{{beginthm|Lemma|(Oliver)}}
 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$.
 {{endthm}}