<![CDATA[Compositio Mathematica]]>https://www.cambridge.org/core/journals/compositio-mathematica/latest-issueCompositio Mathematica0010437X15705846Cambridge University Press<![CDATA[The strong Suslin reciprocity law]]>

We prove the strong Suslin reciprocity law conjectured by A. Goncharov. The Suslin reciprocity law is a generalization of the Weil reciprocity law to higher Milnor -theory. The Milnor -groups can be identified with the top cohomology groups of the polylogarithmic motivic complexes; Goncharov's conjecture predicts the existence of a contracting homotopy underlying Suslin reciprocity. The main ingredient of the proof is a homotopy invariance theorem for the cohomology of the polylogarithmic motivic complexes in the ‘next to Milnor’ degree. We apply these results to the theory of scissors congruences of hyperbolic polytopes. For every triple of rational functions on a compact projective curve over we construct a hyperbolic polytope (defined up to scissors congruence). The hyperbolic volume and the Dehn invariant of this polytope can be computed directly from the triple of rational functions on the curve.

]]>
https://dx.doi.org/10.1112/S0010437X20007666?rft_dat=source%3Ddrssdoi:10.1112/S0010437X20007666The strong Suslin reciprocity law64967610.1112/S0010437X20007666https://dx.doi.org/10.1112/S0010437X20007666?rft_dat=source%3Ddrss2021-04-01Compositio Mathematica2021-04-01Rudenko, Daniil
<![CDATA[An arithmetic count of the lines on a smooth cubic surface]]>

We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field , generalizing the counts that over there are lines, and over the number of hyperbolic lines minus the number of elliptic lines is . In general, the lines are defined over a field extension and have an associated arithmetic type in . There is an equality in the Grothendieck–Witt group of , where denotes the trace . Taking the rank and signature recovers the results over and . To do this, we develop an elementary theory of the Euler number in -homotopy theory for algebraic vector bundles. We expect that further arithmetic counts generalizing enumerative results in complex and real algebraic geometry can be obtained with similar methods.

]]>
https://dx.doi.org/10.1112/S0010437X20007691?rft_dat=source%3Ddrssdoi:10.1112/S0010437X20007691An arithmetic count of the lines on a smooth cubic surface67770910.1112/S0010437X20007691https://dx.doi.org/10.1112/S0010437X20007691?rft_dat=source%3Ddrss2021-04-08Compositio Mathematica2021-04-08Leo Kass, JesseWickelgren, Kirsten
<![CDATA[Stable homotopy refinement of quantum annular homology]]>

We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each we associate to an annular link a naive -equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of as modules over . The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology.

]]>
https://dx.doi.org/10.1112/S0010437X20007721?rft_dat=source%3Ddrssdoi:10.1112/S0010437X20007721Stable homotopy refinement of quantum annular homology71076910.1112/S0010437X20007721https://dx.doi.org/10.1112/S0010437X20007721?rft_dat=source%3Ddrss2021-04-08Compositio Mathematica2021-04-08Akhmechet, RostislavKrushkal, VyacheslavWillis, Michael
<![CDATA[Rigidity of the mod 2 families Seiberg–Witten invariants and topology of families of spin 4-manifolds]]>

We show a rigidity theorem for the Seiberg–Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of -manifolds for which the inclusion maps are not weak homotopy equivalences. We shall also give a new series of non-smoothable topological actions on some spin -manifolds.

]]>
https://dx.doi.org/10.1112/S0010437X2000771X?rft_dat=source%3Ddrssdoi:10.1112/S0010437X2000771XRigidity of the mod 2 families Seiberg–Witten invariants and topology of families of spin 4-manifolds77080810.1112/S0010437X2000771Xhttps://dx.doi.org/10.1112/S0010437X2000771X?rft_dat=source%3Ddrss2021-04-15Compositio Mathematica2021-04-15Kato, TsuyoshiKonno, HokutoNakamura, Nobuhiro
<![CDATA[Volume function and Mahler measure of exact polynomials]]>

We study a class of two-variable polynomials called exact polynomials which contains -polynomials of knot complements. The Mahler measure of these polynomials can be computed in terms of a volume function defined on the vanishing set of the polynomial. We prove that the local extrema of the volume function are on the two-dimensional torus and give a closed formula for the Mahler measure in terms of these extremal values. This formula shows that the Mahler measure of an irreducible and exact polynomial divided by is greater than the amplitude of the volume function. We also prove a K-theoretic criterion for a polynomial to be a factor of an -polynomial and give a topological interpretation of its Mahler measure.

]]>
https://dx.doi.org/10.1112/S0010437X21007016?rft_dat=source%3Ddrssdoi:10.1112/S0010437X21007016Volume function and Mahler measure of exact polynomials80983410.1112/S0010437X21007016https://dx.doi.org/10.1112/S0010437X21007016?rft_dat=source%3Ddrss2021-04-14Compositio Mathematica2021-04-14Guilloux, AntoninMarché, Julien