
We give a new construction of the equivariant $K$theory of group actions
(cf. Barwick et al.), producing an infinite loop $G$space for each Waldhausen
category with $G$action, for a finite group $G$. On the category $R(X)$ of
retractive spaces over a $G$space $X$, this produces an equivariant lift of
Waldhausen's functor $A(X)$, and we show that the $H$fixed points are the
bivariant $A$theory of the fibration $X_{hH}\to BH$. We then use the framework
of spectral Mackey functors to produce a second equivariant refinement $A_G(X)$
whose fixed points have tom Dieck type splittings. We expect this second
definition to be suitable for an equivariant generalization of the parametrized
$h$cobordism theorem.

This paper was written in 2015, and published in the Journal of Humanistic
Mathematics. This paper announces the first issue (2015) of Enchiridion:
Mathematics User's Guides, a project to produce peerreviewed User's Guides as
companions to published papers. These User's Guides are meant to explain the
key insights and organizing principles in their companion papers, the metaphors
and imagery used by the authors, the story of the development of the companion
papers, and a colloquial summary appropriate for a nonmathematical audience.
Examples of User's Guides can be found at https://mathusersguides.com/

We rework and generalize equivariant infinite loop space theory, which shows
how to construct Gspectra from Gspaces with suitable structure. There is a
naive version which gives naive Gspectra for any topological group G, but our
focus is on the construction of genuine Gspectra when G is finite.
We give new information about the Segal and operadic equivariant infinite
loop space machines, supplying many details that are missing from the
literature, and we prove by direct comparison that the two machines give
equivalent output when fed equivalent input. The proof of the corresponding
nonequivariant uniqueness theorem, due to May and Thomason, works for naive
Gspectra for general G but fails hopelessly for genuine Gspectra when G is
finite. Even in the nonequivariant case, our comparison theorem is considerably
more precise, giving a direct pointset level comparison.
We have taken the opportunity to update this general area, equivariant and
nonequivariant, giving many new proofs, filling in some gaps, and giving some
corrections to results in the literature.

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 EilenbergMacLane motivic spectra and between the
Hermitian and algebraic Ktheory 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 QuillenLichtenbaum conjecture and
the representational assembly map studied by Carlsson and interpret them from
the perspective of equivariant stable homotopy theory.

Recently, the JohnsonMcCarthy 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{PacelliRosen}, 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$.