Source author record

Michael A. Hill

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.KT math.GT math.AG math.CT math.GR

Catalog footprint

Research overview

17works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

On the slice spectral sequence for quotients of norms of Real bordism

In this paper, we investigate equivariant quotients of the Real bordism spectrum's multiplicative norm $MU^{((C_{2^n}))}$ by permutation summands. These quotients are of interest because of their close relationship with higher real $K$ -theories. We introduce new techniques for computing the equivariant homotopy groups of such quotients. As a new example, we examine the theories $BP^{((C_{2^n}))}\langle m,m\rangle$ . These spectra serve as natural equivariant generalizations of connective integral Morava $K$ -theories. We provide a complete computation of the $a_σ$ -localized slice spectral sequence of $i^*_{C_{2^{n-1}}}BP^{((C_{2^n}))}\langle m,m\rangle$ , where $σ$ is the real sign representation of $C_{2^{n-1}}$ . To achieve this computation, we establish a correspondence between this localized slice spectral sequence and the $H\mathbb{F}_2$ -based Adams spectral sequence in the category of $H\mathbb{F}_2 \wedge H\mathbb{F}_2$ -modules. Furthermore, we provide a full computation of the $a_λ$ -localized slice spectral sequence of the height-4 theory $BP^{((C_{4}))}\langle 2,2\rangle$ . The $C_4$ -slice spectral sequence can be entirely recovered from this computation.

preprint2022arXiv

Freeness and equivariant stable homotopy

We introduce a notion of freeness for $RO$ -graded equivariant generalized homology theories, considering spaces or spectra $E$ such that the $R$ -homology of $E$ splits as a wedge of the $R$ -homology of induced virtual representation spheres. The full subcategory of these spectra is closed under all of the basic equivariant operations, and this greatly simplifies computation. Many examples of spectra and homology theories are included along the way. We refine this to a collection of spectra analogous to the pure and isotropic spectra considered by Hill--Hopkins--Ravenel. For these spectra, the $RO$ -graded Bredon homology is extremely easy to compute, and if these spaces have additional structure, then this can also be easily determined. In particular, the homology of a space with this property naturally has the structure of a co-Tambara functor (and compatibly with any additional product structure). We work this out in the example of $BU_{\mathbb R}$ and coinduced versions of this. We finish by describing a readily computable bar and twisted bar spectra sequence, giving Bredon homology for various $E_{\infty}$ pushouts, and we apply this to describe the homology of $BBU_{\mathbb R}$ .

preprint2022arXiv

Hochschild homology of mod- $p$ motivic cohomology over algebraically closed fields

We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod- $p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homology of finite prime fields.

preprint2019arXiv

Equivariant stable categories for incomplete systems of transfers

In this paper, we construct incomplete versions of the equivariant stable category; i.e., equivariant stabilization of the category of $G$ -spaces with respect to incomplete systems of transfers encoded by an $N_\infty$ operad $\mathcal{O}$ . These categories are built from the categories of $\mathcal{O}$ -algebras in $G$ -spaces. Using this operadic formulation, we establish incomplete versions of the usual structural properties of the equivariant stable category, notably the tom Dieck splitting. Our work is motivated in part by the examples arising from the equivariant units and Picard space functors.

preprint2019arXiv

The Witt vectors for Green functors

We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$ , and it describes the $E_2$ term of the Künneth spectral sequence for relative $THH$ . Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholt's construction of the Witt vectors of noncommutative rings, we interpret our construction as providing Witt vectors for Green functors.

preprint2016arXiv

Equivariant symmetric monoidal structures

Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$ -symmetric monoidal category. These record not only the symmetric monoidal products but also symmetric monoidal powers indexed by arbitrary finite $G$ -sets. We then define $G$ -commutative monoids to be the natural extension of ordinary commutative monoids to this new context. Using this machinery, we then describe when Bousfield localization in equivariant spectra preserves certain operadic algebra structures, and we explore the consequences of our definitions for categories of modules over a $G$ -commutative monoid.

preprint2016arXiv

The slice spectral sequence for the $C_{4}$ analog of real $K$ -theory

We describe the slice spectral sequence of a 32-periodic $C_{4}$ -spectrum $K_{[2]}$ related to the $C_{4}$ norm ${N_{C_{2}}^{C_{4}}MU_{\bf R}}$ of the real cobordism spectrum $MU_{\bf R}$ . We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $\underline{π}_{*}K_{[2]}$ , complete with differentials and exotic extensions in the Mackey functor structure. The slice spectral sequence for the 8-periodic real $K$ -theory spectrum $K_{\bf R}$ was first analyzed by Dugger. The $C_{8}$ analog of $K_{[2]}$ is 256-periodic and detects the Kervaire invariant classes $θ_{j}$ in the stable homotopy groups of spheres. A partial analysis of its slice spectral sequence led to the solution to the Kervaire invariant problem, namely the theorem that $θ_{j}$ does not exist for $j\geq 7$ .

preprint2015arXiv

On the fate of $η^3$ in higher analogues of Real bordism

We show that the cube of the Hopf map $η$ maps to zero under the Hurewicz map for all fixed points of all norms to cyclic $2$ -groups of the Landweber-Araki Real bordism spectrum. Using that the slice spectral sequence is a spectral sequence of Mackey functors, we compute the relevant portion of the homotopy groups of these fixed points, showing that multiplication by $4$ annihilates $π_{3}$ .

preprint2015arXiv

On the non-existence of elements of Kervaire invariant one

We show that Kervaire invariant one elements in the homotopy groups of spheres exist only in dimensions at most 126. By Browder's Theorem, this means that smooth framed manifolds of Kervaire invariant one exist only in dimensions 2, 6, 14, 30, 62, and possibly 126. With the exception of dimension 126 this resolves a longstanding problem in algebraic topology.

preprint2015arXiv

Operadic multiplications in equivariant spectra, norms, and transfers

We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad model homotopically commutative equivariant ring spectra that only admit certain collections of Hill-Hopkins-Ravenel norms, determined by the operad. Analogously, algebras in equivariant spaces over an N-infinity operad provide explicit constructions of certain transfers. This characterization yields a conceptual explanation of the structure of equivariant infinite loop spaces. To explain the relationship between norms, transfers, and N-infinity operads, we discuss the general features of these operads, linking their properties to families of finite sets with group actions and analyzing their behavior under norms and geometric fixed points. A surprising consequence of our study is that in stark contract to the classical setting, equivariantly the little disks and linear isometries operads for a general universe $U$ need not determine the same algebras. Our work is motivated by the need to provide a framework to describe the flavors of commutativity seen in recent work of the second author and Hopkins on localization of equivariant commutative ring spectra.

preprint2015arXiv

The Slice Spectral Sequence for certain $RO(C_{p^n})$ -graded Suspensions of $H\underline{\mathbb Z}$

We study the slice filtration and associated spectral sequence for a family of $RO(C_{p^{n}})$ -graded suspensions of the Eilenberg-MacLane spectrum for the constant Mackey functor $\underline{\mathbb Z}$ . Since $H\underline{\mathbb Z}$ is the zero slice of the sphere spectrum, this begins an analysis of how one can describe the slices of a suspension in terms of the original slices.

preprint2013arXiv

Equivariant Multiplicative Closure

This paper describes an issue that arises when inverting elements of the homotopy groups of an equivariant commutative ring. Equivariant commutative rings possess an enhanced multiplicative structure arising from the presence of "indexed products" (products indexed by a set with a non-trivial action of the group). The formation of the "multiplicative closure" of a set must be altered in order to accomodate this structure, and the result of localizing an equivariant commutative ring can have an unexpected homotopy type.

preprint2013arXiv

Interpreting the Bokstedt smash product as the norm

This note compares two models of the equivariant homotopy type of the smash powers of a spectrum, namely the "Bokstedt smash product" and the Hill-Hopkins-Ravenel norm.

preprint2013arXiv

On the algebraic K-theory of truncated polynomial algebras in several variables

We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field of positive characteristic we describe the K-theory computation in terms of a cube of these Witt vectors on N^n. If the characteristic of k does not divide any of the a_i we compute the K-groups explicitly. We also compute the K-groups modulo torsion for k=Z. To understand this K-theory spectrum we use the cyclotomic trace map to topological cyclic homology, and write TC(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)) as the iterated homotopy cofiber of an n-cube of spectra, each of which is easier to understand. Updated: This is a substantial revision. We corrected several errors in the description of the Witt vectors on a truncation set on N^n and modified the key proofs accordingly. We also replaces several topological statement with purely algebraic ones. Most arguments have been reworked and streamlined.

preprint2012arXiv

The Equivariant Slice Filtration: a Primer

We present an introduction to the equivariant slice filtration. After reviewing the definitions and basic properties, we determine the slice dimension of various families of naturally arising spectra. This leads to an analysis of pullbacks of slices defined on quotient groups, producing new collections of slices. Building on this, we determine the slice tower for the Eilenberg-Mac Lane spectrum associated to a Mackey functor for a cyclic $p$ -group. We then relate the Postnikov tower to the slice tower for various spectra. Finally, we pose a few conjectures about the nature of slices and pullbacks.

preprint2008arXiv

Homological obstructions to string orientations

We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of the Thom class of the negative tangent bundle, and in terms of the vanishing of top-degree cohomology operations. We also indicate how the existence of such an operation-preserving duality implies the integrality of certain polynomials in the Pontryagin classes of the manifold.

preprint2008arXiv

The 5-local homotopy of $eo_4$

We compute the 5-local cohomology of a 5-local analogue of the Weierstrass Hopf algebroid used to compute $tmf$ homology. We compute the Adams-Novikov differentials in the cohomology, giving the homotopy, V(0)-homology, and V(1)-homology of the putative spectrum $eo_4$ . We also link this computation to the homotopy of the higher real $K$ -theory spectrum $EO_4$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Michael A. Hill

Research overview

Is this your work?

17 publications

On the slice spectral sequence for quotients of norms of Real bordism

Freeness and equivariant stable homotopy

Hochschild homology of mod- $p$ motivic cohomology over algebraically closed fields

Equivariant stable categories for incomplete systems of transfers

The Witt vectors for Green functors

Equivariant symmetric monoidal structures

The slice spectral sequence for the $C_{4}$ analog of real $K$ -theory

On the fate of $η^3$ in higher analogues of Real bordism

On the non-existence of elements of Kervaire invariant one

Operadic multiplications in equivariant spectra, norms, and transfers

The Slice Spectral Sequence for certain $RO(C_{p^n})$ -graded Suspensions of $H\underline{\mathbb Z}$

Equivariant Multiplicative Closure

Interpreting the Bokstedt smash product as the norm

On the algebraic K-theory of truncated polynomial algebras in several variables

The Equivariant Slice Filtration: a Primer

Homological obstructions to string orientations

The 5-local homotopy of $eo_4$

See the researcher in context

Building this map preview

Michael A. Hill

Research overview

Is this your work?

17 publications

On the slice spectral sequence for quotients of norms of Real bordism

Freeness and equivariant stable homotopy

Hochschild homology of mod-ppp motivic cohomology over algebraically closed fields

Equivariant stable categories for incomplete systems of transfers

The Witt vectors for Green functors

Equivariant symmetric monoidal structures

The slice spectral sequence for the C4C_{4}C4​ analog of real KKK-theory

On the fate of η3η^3η3 in higher analogues of Real bordism

On the non-existence of elements of Kervaire invariant one

Operadic multiplications in equivariant spectra, norms, and transfers

The Slice Spectral Sequence for certain RO(Cpn)RO(C_{p^n})RO(Cpn​)-graded Suspensions of HZ‾H\underline{\mathbb Z}HZ​

Equivariant Multiplicative Closure

Interpreting the Bokstedt smash product as the norm

On the algebraic K-theory of truncated polynomial algebras in several variables

The Equivariant Slice Filtration: a Primer

Homological obstructions to string orientations

The 5-local homotopy of eo4eo_4eo4​

See the researcher in context

Building this map preview

Hochschild homology of mod- $p$ motivic cohomology over algebraically closed fields

The slice spectral sequence for the $C_{4}$ analog of real $K$ -theory

On the fate of $η^3$ in higher analogues of Real bordism

The Slice Spectral Sequence for certain $RO(C_{p^n})$ -graded Suspensions of $H\underline{\mathbb Z}$

The 5-local homotopy of $eo_4$