REVIEW 2 cited by
The Birman-Craggs-Johnson homomorphism and abelian cycles in the Torelli group
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
Signed reviews
read the original abstract
In the 1970s, Birman-Craggs-Johnson used Rochlin's invariant for homology 3-spheres to construct a remarkable surjective homomorphism sigma:I_{g,1}->B_3, where I_{g,1} is the Torelli group and B_3 is a certain F_2-vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them on abelian cycles, we construct 16g^4 + O(g^3) dimensions worth of nontrivial elements of H^2(I_{g,1}, F_2) which cannot be detected rationally. These classes in fact restrict to nontrivial classes in the cohomology of the subgroup K_{g,1} < I_{g,1} generated by Dehn twists about separating curves. We also use the ``Casson-Morita algebra'' and Morita's integral lift of the Birman-Craggs-Johnson map restricted to K_{g,1} to give the same lower bound on H^2(K_{g,1},Z).
Forward citations
Cited by 2 Pith papers
-
The Birman--Craggs--Johnson homomorphism and the handlebody Torelli group
For genus at least 3, the BCJ image of the handlebody Torelli group is an explicit monomial subspace B^bi_3, and of the Johnson kernel is B^bi_2; cup-product lower bounds of order g^6 and g^4 follow.
-
Johnson homomorphisms and the second rational cohomology of handlebody Torelli groups
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.
Discussion (0). Continue with ORCID to comment.