Torsion in $K_1$ and $p$-adic vanishing cycles
For every odd prime $p$, we construct a regular strictly henselian local ring $A$ whose generic fibre has \'etale cohomology classes in $H^2_{\et}(A[1/p],\mu_p^{\otimes2})$ which are not sums of cup products of degree-one classes. The ring is the strict henselization of a local ring on a finite-type arithmetic scheme. A unit on a principal divisor gives an element of order $p$ in $SK_1(A[1/p])$, detected by its localization boundary on the special fibre. Adams--Riemann--Roch and the connectivity of the motivic filtration show that this element has nonzero image in $H^3_{\mot}(A[1/p],\Z(2))$.…
Comments and reviews
No comments yet.
API
curl /api/v1/records/hexagon/2609.00111
curl -X POST /api/v1/records/hexagon/2609.00111/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2609.00111/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'