A generating set for the palindromic Torelli group

Abstract

A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group ΠA_n of the free group F_n consists of automorphisms that take each member of some fixed free basis of F_n to a palindrome; the group ΠA_n has close connections with hyperelliptic mapping class groups, braid groups, congruence subgroups of GL(n,Z), and symmetric automorphisms of free groups. We obtain a generating set for the subgroup of ΠA_n consisting of those elements acting trivially on the abelianisation of F_n, the palindromic Torelli group PI_n. The group PI_n is a free group analogue of the hyperelliptic Torelli subgroup of the mapping class group of an oriented surface. We obtain our generating set by constructing a simplicial complex on which PI_n acts in a nice manner, adapting a proof of Day-Putman. The generating set leads to a finite presentation of the principal level 2 congruence subgroup of GL(n,Z).

References in corpus (1)

• Palindromic Automorphisms of Free Groups

Cited by in corpus (8)

• Palindromic Automorphisms of Free Groups
• A normal generating set for the Torelli group of a non-orientable closed surface
• Hyperelliptic graphs and the period mapping on outer space
• Liftable mapping class groups of regular cyclic covers
• A finite presentation of the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$
• On squares of Dehn twists about non-separating curves of a non-orientable closed surface
• Palindromic widths of graph of groups
• Palindromic Automorphisms of Free Nilpotent Groups