In the local, unramified case the determinantal functions associated to the group-ring of a finite group satisfy Galois descent. This note examines the obstructions to Galois determinantal descent in the ramified case.
We show that any Lambda-ring, in the sense of Riemann-Roch theory, which is finite etale over the rational numbers and has an integral model as a Lambda-ring is contained in a product of cyclotomic fields. In fact, we show that the category of them is described in a Galois-theoretic way in terms of the monoid of pro-finite integers under multiplication and the cyclotomic character. We also study the maximality of these integral models and give a more precise, integral version of the result above. These results reveal an interesting relation between Lambda-rings and class field theory.
The fractional Galois ideal of [Victor P. Snaith, Starks conjecture and new Stickelberger phenomena, Canad. J. Math. 58 (2) (2006) 419--448] is a conjectural improvement on the higher Stickelberger ideals defined at negative integers, and is expected to provide non-trivial annihilators for higher K-groups of rings of integers of number fields. In this article, we extend the definition of the fractional Galois ideal to arbitrary (possibly infinite and non-abelian) Galois extensions of number fields under the assumption of Starks conjectures, and prove naturality properties under canonical changes of extension. We discuss applications of this to the construction of ideals in non-commutative Iwasawa algebras.
To every double cover ramified in two points of a general trigonal curve of genus g, one can associate an etale double cover of a tetragonal curve of genus g+1. We show that the corresponding Prym varieties are canonically isomorphic as principally polarized abelian varieties.
We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.
We prove that for a quasi-regular semiperfectoid $mathbb{Z}_p^{rm cycl}$-algebra $R$ (in the sense of Bhatt-Morrow-Scholze), the cyclotomic trace map from the $p$-completed $K$-theory spectrum $K(R;mathbb{Z}_p)$ of $R$ to the topological cyclic homology $mathrm{TC}(R;mathbb{Z}_p)$ of $R$ identifies on $pi_2$ with a $q$-deformation of the logarithm.