Source author record

Drew Heard

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
6topics
4close collaborators

Published work

7 publications

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)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 EE-theory is coherent, and that every finitely generated Morava module can be realized by a K(n)K(n)-local spectrum as long as 2p−2>n2+n2p-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 RR. When RR is the mod pp cohomology ring of a compact Lie group, Kuhn showed how this invariant is controlled by centralizers of elementary abelian pp-subgroups. By replacing centralizers of elementary abelian pp-subgroups with components of Lannes' TT-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 pp-local compact groups in the sense of Broto-Levi-Oliver, for connected HH-spaces with Noetherian mod pp 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 RR 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 kk-algebras. Our main examples are of the form R=C∗(X;k)R = C^*(X;k), the ring spectrum of cochains on a space XX for a field kk. In particular, we establish local Gorenstein duality in characteristic pp for pp-compact groups and pp-local finite groups as well as for $k = \Q$ and XX a simply connected space which is Gorenstein in the sense of Dwyer, Greenlees, and Iyengar.

preprint2016arXiv

The E2E_2-term of the K(n)K(n)-local EnE_n-Adams spectral sequence

Let E=EnE=E_n be Morava EE-theory of height nn. In previous work Devinatz and Hopkins introduced the K(n)K(n)-local EnE_n-Adams spectral sequence and showed that, under certain conditions, the E2E_2-term of this spectral sequence can be identified with continuous group cohomology. We work with the category of LL-complete E∗EE_*E-comodules, and show that in a number of cases the E2E_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 KK-theories at height n=p−1n=p-1

Let EnE_n be Morava EE-theory and let G⊂GnG \subset G_n be a finite subgroup of GnG_n, the extended Morava stabilizer group. Let EntGE_{n}^{tG} be the Tate spectrum, defined as the cofiber of the norm map N:(En)hG→EnhGN:(E_n)_{hG} \to E_n^{hG}. We use the Tate spectral sequence to calculate π∗Ep−1tGπ_*E_{p-1}^{tG} for GG a maximal finite pp-subgroup, and pp an odd prime. We show that Ep−1tG≃∗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 π∗Ep−1hGπ_*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.

Research graph

See the researcher in context

Open full explorer

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.