What is the lower central series $\Gamma_k(P_n)$, where $P_n$ is the pure braid group with $n$ strands? We know that $P_n$ is generated by elements $A_{i,j}$; do we know the generators of $\Gamma_k(P_n)$?
$\begingroup$
$\endgroup$
3
-
$\begingroup$ I suppose you're aware that the pure braid group is a semi-direct product of free groups? $\endgroup$– Jim ConantCommented Dec 6, 2014 at 17:56
-
$\begingroup$ @JimConant, yes. How is this related to the question? $\endgroup$– ZurielCommented Dec 6, 2014 at 18:37
-
$\begingroup$ That would be my first line of attack in analyzing the lower central series, since you know what it is for free groups. $\endgroup$– Jim ConantCommented Dec 6, 2014 at 21:06
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
5
As Jim Conant says, the structure of the lower central series of the pure braid group $P_n$ can be deduced from the fact that $P_n$ is an iterated semidirect product of free groups, $P_n=F_{n-1}\rtimes F_{n-2}\cdots F_2\rtimes F_1$, though that's not quite enough: one also needs to know that the action of $P_{n-1}$ on $F_{n-1}$ is by basis-conjugating automorphisms, and thus it's trivial in homology.
One can then apply Theorem 3.1 from Michael Falk and Richard Randell, The lower central series of a fiber-type arrangement, Invent. Math. 82 (1985), no. 1, 77--88, http://www.ams.org/mathscinet-getitem?mr=0808110, which says the following:
Let $1\to A\to B\to C \to 1$ be a split exact sequence of groups, and suppose the induced conjugation action of $C$ on $H_1(A)$ is trivial (that is, $[A, C] \subseteq [A, A]$). Then the sequence of induced maps $1\to \Gamma_k A\to \Gamma_k B\to \Gamma_k C \to 1$ is split exact, for every $k\ge 1$.
-
$\begingroup$ Thanks for the answer! So you mean that there is a split exact sequence $1\to \Gamma_kF_{n-1}\to\Gamma_kP_n\to\Gamma_kP_{n-1}\to1$, right? Hence how to find $\Gamma_kP_n$ exactly? $\endgroup$– ZurielCommented Dec 7, 2014 at 5:45
-
$\begingroup$ By induction on $n$, using the known structure of $\Gamma_k F_r$. $\endgroup$ Commented Dec 7, 2014 at 5:48
-
$\begingroup$ I suppose that this result about $\Gamma_kP_n$ is known; where can I find a reference? $\endgroup$– ZurielCommented Dec 7, 2014 at 5:54
-
$\begingroup$ Have you tried looking at the book on Combinatorial group theory by Magnus, Karrass, and Solitar? $\endgroup$ Commented Dec 7, 2014 at 5:59
-
$\begingroup$ The library is closed today; will go and look for it tomorrow. Thank you for the information! $\endgroup$– ZurielCommented Dec 7, 2014 at 6:01