arXiv subjects
Publications and source records attributed to Mona Merling.
We establish a formal framework for Rognes's homotopical Galois theory and adapt it to the context of motivic spaces and spectra. We discuss examples of Galois extensions between Eilenberg-MacLane motivic spectra and between the Hermitian and algebraic K-theory spectra.
A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action induced by a $G$-map of $G$-rings is not equivariant. We define a version of equivariant algebraic $K$-theory which encodes a group action on the input in a functorial way to produce a $genuine$ algebraic $K$-theory $G$-spectrum for a finite group $G$. The main technical work lies in studying coherent actions on the input category. A payoff of our approach is that it builds a unifying framework for equivariant topological $K$-theory, Atiyah's Real $K$-theory, and existing statements about algebraic $K$-theory spectra with $G$-action. We recover the map from the Quillen-Lichtenbaum conjecture and the representational assembly map studied by Carlsson and interpret them from the perspective of equivariant stable homotopy theory.
Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylor tower for functors to spectra carries over to this context. However, one of the essential steps in the construction requires proving that a particular functor is part of a cotriple. For this, one needs to prove that certain identities involving homotopy limits hold up to isomorphism, rather than just up to weak equivalence. As the target category of chain complexes is not a simplicial model category, the arguments for functors to spectra need to be adjusted for chain complexes. In this paper, we take advantage of the fact that we can construct an explicit model for iterated fibers, and prove that the functor is a cotriple directly. We use related ideas to provide concrete infinite deloopings of the first terms in the resulting Taylor towers when evaluated at the initial object in the source category.
It is known that infinitely many number fields and function fields of any degree $m$ have class number divisible by a given integer $n$. However, significantly less is known about the indivisibility of class numbers of such fields. While it's known that there exist infinitely many quadratic number fields with class number indivisible by a given prime, the fields are not constructed explicitly, and nothing appears to be known for higher degree extensions. In \cite{Pacelli-Rosen}, Pacelli and Rosen explicitly constructed an infinite class of function fields of any degree $m$, $3 \nmid m$, over $\F_q(T)$ with class number indivisible by 3, generalizing a result of Ichimura for quadratic extensions. Here we generalize that result, constructing, for an arbitrary prime $\ell$, and positive integer $m > 1$, infinitely many function fields of degree $m$ over the rational function field, with class number indivisible by $\ell$.