Pith. sign in

REVIEW 1 cited by

The Johnson homomorphism and the second cohomology of IA_n

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv math/0501053 v2 pith:K7OZBCZE submitted 2005-01-04 math.GR math.GT

classification math.GRmath.GT
keywords groupcentralcohomologyfirstfreehomomorphismjohnsonrank
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Let F_n be the free group on n generators. Define IA_n to be group of automorphisms of F_n that act trivially on first homology. The Johnson homomorphism in this setting is a map from IA_n to its abelianization. The first goal of this paper is to determine how much this map contributes to the second rational cohomology of IA_n. A descending central series of IA_n is given by the subgroups K_n^(i) which act trivially on F_n/F_n^(i+1), the free rank n, degree i nilpotent group. It is a conjecture of Andreadakis that K_n^(i) is equal to the lower central series of IA_n; indeed K_n^(2) is known to be the commutator subgroup of IA_n. We prove that the quotient group K_n^(3)/IA_n^(3) is finite for all n and trivial for n=3. We also compute the rank of K_n^(2)/K_n^(3).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Johnson homomorphisms and the second rational cohomology of handlebody Torelli groups

    math.GT 2025-09 conditional novelty 6.0 of 10

    For the handlebody Torelli groups HI and HBI, the kernels of the Johnson-detected cup product maps in second rational cohomology are computed explicitly as sums of irreducible SL_g(Q) modules.

Pith tools