Source author record

Drew Heard

Drew Heard appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.AG math.CT math.GR math.NT math.RT

Catalog footprint

What is connected

7works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2023arXiv

Stratification and the comparison between homological and tensor triangular support

We compare the homological support and tensor triangular support for `big' objects in a rigidly-compactly generated tensor triangulated category. We prove that the comparison map from the homological spectrum to the tensor triangular spectrum is a bijection and that the two notions of support coincide whenever the category is stratified, extending work of Balmer. Moreover, we clarify the relations between salient properties of support functions and exhibit counter-examples highlighting the differences between homological and tensor triangular support.

preprint2022arXiv

On conjectures of Hovey--Strickland and Chai

We prove the height two case of a conjecture of Hovey and Strickland that provides a $K(n)$-local analogue of the Hopkins--Smith thick subcategory theorem. Our approach first reduces the general conjecture to a problem in arithmetic geometry posed by Chai. We then use the Gross--Hopkins period map to verify Chai's Hope at height two and all primes. Along the way, we show that the graded commutative ring of completed cooperations for Morava $E$-theory is coherent, and that every finitely generated Morava module can be realized by a $K(n)$-local spectrum as long as $2p-2>n^2+n$. Finally, we deduce consequences of our results for descent of Balmer spectra.

preprint2021arXiv

The topological nilpotence degree of a Noetherian unstable algebra

We investigate the topological nilpotence degree, in the sense of Henn-Lannes-Schwartz, of a connected Noetherian unstable algebra $R$. When $R$ is the mod $p$ cohomology ring of a compact Lie group, Kuhn showed how this invariant is controlled by centralizers of elementary abelian $p$-subgroups. By replacing centralizers of elementary abelian $p$-subgroups with components of Lannes' $T$-functor, and utilizing the techniques of unstable algebras over the Steenrod algebra, we are able to generalize Kuhn's result to a large class of connected Noetherian unstable algebras. We show how this generalizes Kuhn's result to more general classes of groups, such as groups of finite virtual cohomological dimension, profinite groups, and Kac-Moody groups. In fact, our results apply much more generally, for example, we establish results for $p$-local compact groups in the sense of Broto-Levi-Oliver, for connected $H$-spaces with Noetherian mod $p$ cohomology, and for the Borel equivariant cohomology of a compact Lie group acting on a manifold. Along the way we establish several results of independent interest. For example, we formulate and prove a version of Carlson's depth conjecture in the case of a Noetherian unstable algebra of minimal depth.

preprint2020arXiv

Local Gorenstein duality for cochains on spaces

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein duality along morphisms of $k$-algebras. Our main examples are of the form $R = C^*(X;k)$, the ring spectrum of cochains on a space $X$ for a field $k$. In particular, we establish local Gorenstein duality in characteristic $p$ for $p$-compact groups and $p$-local finite groups as well as for $k = \Q$ and $X$ a simply connected space which is Gorenstein in the sense of Dwyer, Greenlees, and Iyengar.

preprint2016arXiv

The $E_2$-term of the $K(n)$-local $E_n$-Adams spectral sequence

Let $E=E_n$ be Morava $E$-theory of height $n$. In previous work Devinatz and Hopkins introduced the $K(n)$-local $E_n$-Adams spectral sequence and showed that, under certain conditions, the $E_2$-term of this spectral sequence can be identified with continuous group cohomology. We work with the category of $L$-complete $E_*E$-comodules, and show that in a number of cases the $E_2$-term of the above spectral sequence can be computed by a relative Ext group in this category. We give suitable conditions for when we can identify this Ext group with continuous group cohomology.

preprint2015arXiv

The Tate spectrum of the higher real $K$-theories at height $n=p-1$

Let $E_n$ be Morava $E$-theory and let $G \subset G_n$ be a finite subgroup of $G_n$, the extended Morava stabilizer group. Let $E_{n}^{tG}$ be the Tate spectrum, defined as the cofiber of the norm map $N:(E_n)_{hG} \to E_n^{hG}$. We use the Tate spectral sequence to calculate $π_*E_{p-1}^{tG}$ for $G$ a maximal finite $p$-subgroup, and $p$ an odd prime. We show that $E_{p-1}^{tG} \simeq \ast$, so that the norm map gives equivalence between homotopy fixed point and homotopy orbit spectra. Our methods also give a calculation of $π_*E_{p-1}^{hG}$, which is a folklore calculation of Hopkins and Miller.

preprint2014arXiv

K-theory, reality, and duality

We show that the real K-theory spectrum KO is Anderson self-dual using the method previously employed in the second author's calculation of the Anderson dual of Tmf. Indeed the current work can be considered as a lower chromatic version of that calculation. Emphasis is given to an algebro-geometric interpretation of this result in spectrally derived algebraic geometry. We finish by applying the result to a calculation of 2-primary Gross-Hopkins duality at height 1, and obtain an independent calculation of the group of exotic elements of the K(1)-local Picard group.