Showing 1–37 of 37 results for author: Heard, D

Design and Implementation of a New Apparatus for Astrochemistry: Kinetic Measurements of the CH + OCS Reaction and Frequency Comb Spectroscopy in a Cold Uniform Supersonic Flow

Authors: Daniel I. Lucas, Théo Guillaume, Dwayne E. Heard, Julia H. Lehman

Abstract: We present the development of a new astrochemical research tool HILTRAC, the Highly Instrumented Low Temperature ReAction Chamber. The instrument is based on a pulsed form of the CRESU (Cinétique de Réaction en Écoulement Supersonique Uniforme, meaning reaction kinetics in a uniform supersonic flow) apparatus, with the aim of collecting kinetics and spectroscopic information on gas phase chemical… ▽ More We present the development of a new astrochemical research tool HILTRAC, the Highly Instrumented Low Temperature ReAction Chamber. The instrument is based on a pulsed form of the CRESU (Cinétique de Réaction en Écoulement Supersonique Uniforme, meaning reaction kinetics in a uniform supersonic flow) apparatus, with the aim of collecting kinetics and spectroscopic information on gas phase chemical reactions important in interstellar space or planetary atmospheres. We discuss the apparatus design and its flexibility, the implementation of pulsed laser photolysis followed by laser induced fluorescence (PLP-LIF), and the first implementation of direct infrared frequency comb spectroscopy (DFCS) coupled to the uniform supersonic flow. Achievable flow temperatures range from 32(3) - 111(9) K, characterising a total of five Laval nozzles for use with N2 and Ar buffer gases by pressure impact measurements. These results were further validated using LIF and DFCS measurements of the CH radical and OCS, respectively. Spectroscopic constants and linelists for OCS are reported for the 1001 band near $2890 - 2940 cm^{-1}$ for both $OC^{32}S$ and $OC^{34}S$, measured using DFCS. Additional peaks in the spectrum are tentatively assigned to the OCS-Ar complex. The first reaction rate coefficients for the CH + OCS reaction measured between 32(3) K and 58(5) K are reported. The reaction rate coefficient at 32(3) K was measured to be $3.9(4) \times 10^{10} cm^3 molecule^{-1} s^{-1}$ and the reaction was found to exhibit no observable temperature dependence over this low temperature range. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: The following article has been submitted to The Journal of Chemical Physics. After it is published, it will be found at https://publishing.aip.org/resources/librarians/products/journals/ Copyright 2024 Daniel I. Lucas, Théo Guillaume, Dwayne E. Heard, and Julia H. Lehman. This article is distributed under a Creative Commons Attribution (CC BY) License

The spectrum of excisive functors

Authors: Gregory Arone, Tobias Barthel, Drew Heard, Beren Sanders

Abstract: We prove a thick subcategory theorem for the category of $d$-excisive functors from finite spectra to spectra. This generalizes the Hopkins-Smith thick subcategory theorem (the $d=1$ case) and the $C_2$-equivariant thick subcategory theorem (the $d=2$ case). We obtain our classification theorem by completely computing the Balmer spectrum of compact $d$-excisive functors. A key ingredient is a non-… ▽ More We prove a thick subcategory theorem for the category of $d$-excisive functors from finite spectra to spectra. This generalizes the Hopkins-Smith thick subcategory theorem (the $d=1$ case) and the $C_2$-equivariant thick subcategory theorem (the $d=2$ case). We obtain our classification theorem by completely computing the Balmer spectrum of compact $d$-excisive functors. A key ingredient is a non-abelian blueshift theorem for the generalized Tate construction associated to the family of non-transitive subgroups of products of symmetric groups. Also important are the techniques of tensor triangular geometry and striking analogies between functor calculus and equivariant homotopy theory. In particular, we introduce a functor calculus analogue of the Burnside ring and describe its Zariski spectrum à la Dress. The analogy with equivariant homotopy theory is strengthened further through two applications: We explain the effect of changing coefficients from spectra to ${\mathrm{H}\mathbb{Z}}$-modules and we establish a functor calculus analogue of transchromatic Smith-Floyd theory as developed by Kuhn-Lloyd. Our work offers a new perspective on functor calculus which builds upon the previous approaches of Arone-Ching and Glasman. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 89 pages; all comments welcome

Report number: MPIM-Bonn-2024; HIM-Spectral-2022

On surjectivity in tensor triangular geometry

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Beren Sanders

Abstract: We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on spectra. From this we deduce a fiberwise criterion for Balmer's comparison map to be a homeomorphism. This gives short alternative proofs of the Hopkins--Neeman theorem and Lau's theorem for the trivial action. We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on spectra. From this we deduce a fiberwise criterion for Balmer's comparison map to be a homeomorphism. This gives short alternative proofs of the Hopkins--Neeman theorem and Lau's theorem for the trivial action. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: All comments welcome!

Report number: MPIM-Bonn-2023; HIM-Spectral-2022

Descent in tensor triangular geometry

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Niko Naumann, Luca Pol, Beren Sanders

Abstract: We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish equalizer diagrams relating the lattices of localizing and smashing ideals of $\mathscr{C}$ to those of $\mathrm{Mod}_{A}(\mathscr{C})$ and… ▽ More We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish equalizer diagrams relating the lattices of localizing and smashing ideals of $\mathscr{C}$ to those of $\mathrm{Mod}_{A}(\mathscr{C})$ and $\mathrm{Mod}_{A\otimes A}(\mathscr{C})$. If $A$ is compact, we obtain a similar equalizer for the lattices of thick ideals which, via Stone duality, yields a coequalizer diagram of Balmer spectra in the category of spectral spaces. We then give conditions under which the telescope conjecture and stratification descend from $\mathrm{Mod}_{A}(\mathscr{C})$ to $\mathscr{C}$. The utility of these results is demonstrated in the case of faithful Galois extensions in tensor triangular geometry. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: 46 pages; all comments welcome

Report number: MPIM-Bonn-2023; HIM-Spectral-2022

Cosupport in tensor triangular geometry

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Beren Sanders

Abstract: We develop a theory of cosupport and costratification in tensor triangular geometry. We study the geometric relationship between support and cosupport, provide a conceptual foundation for cosupport as categorically dual to support, and discover surprising relations between the theory of costratification and the theory of stratification. We prove that many categories in algebra, topology and geomet… ▽ More We develop a theory of cosupport and costratification in tensor triangular geometry. We study the geometric relationship between support and cosupport, provide a conceptual foundation for cosupport as categorically dual to support, and discover surprising relations between the theory of costratification and the theory of stratification. We prove that many categories in algebra, topology and geometry are costratified by develo** and applying descent techniques. An overarching theme is that cosupport is relevant for diverse questions in tensor triangular geometry and that a full understanding of a category requires knowledge of both its support and its cosupport. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 87 pages; comments welcome

Report number: MPIM-Bonn-2023; HIM-Spectral-2022

Quillen stratification in equivariant homotopy theory

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Niko Naumann, Luca Pol

Abstract: We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as coefficients, and secondly, we categorify it to a result about equivariant modules. Our general stratification theorem is formulated in the language of equivariant… ▽ More We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as coefficients, and secondly, we categorify it to a result about equivariant modules. Our general stratification theorem is formulated in the language of equivariant tensor-triangular geometry, which we show to be tightly controlled by the non-equivariant tensor-triangular geometry of the geometric fixed points. We then apply our methods to the case of Borel-equivariant Lubin--Tate $E$-theory $\underline{E_n}$, for any finite height $n$ and any finite group $G$, where we obtain a sharper theorem in the form of cohomological stratification. In particular, this provides a computation of the Balmer spectrum as well as a cohomological parametrization of all localizing $\otimes$-ideals of the category of equivariant modules over $\underline{E_n}$, thereby establishing a finite height analogue of the work of Benson, Iyengar, and Krause in modular representation theory. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 56 pages; all comments welcome!

Report number: MPIM-Bonn-2023; HIM-Spectral-2022

The gas-phase reaction of NH2 with formaldehyde (CH2O) is not a source of formamide (NH2CHO) in interstellar environments

Authors: Kevin M. Douglas, Daniel Lucas, Catherine Walsh, Niclas A. West, Mark A. Blitz, Dwayne E. Heard

Abstract: The first experimental study of the low-temperature kinetics of the gas-phase reaction of NH2 with formaldehyde (CH2O) has been performed. This reaction has previously been suggested as a source of formamide (NH2CHO) in interstellar environments. A pulsed Laval nozzle equipped with laser-flash photolysis and laser-induced fluorescence spectroscopy was used to create and monitor the temporal decay… ▽ More The first experimental study of the low-temperature kinetics of the gas-phase reaction of NH2 with formaldehyde (CH2O) has been performed. This reaction has previously been suggested as a source of formamide (NH2CHO) in interstellar environments. A pulsed Laval nozzle equipped with laser-flash photolysis and laser-induced fluorescence spectroscopy was used to create and monitor the temporal decay of NH2 in the presence of CH2O. No loss of NH2 could be observed via reaction with CH2O and we place an upper-limit on the rate coefficient of <6x10-12 cm3 molecule-1 s-1 at 34K. Ab initio calculations of the potential energy surface were combined with RRKM calculations to predict a rate coefficient of 6.2x10-14 cm3 molecule-1 s-1 at 35K, consistent with the experimental results. The presence of a significant barrier, 18 kJ mol-1, for the formation of formamide as a product, means that only the H-abstraction channel producing NH3 + CHO, in which the transfer of an H-atom can occur by quantum mechanical tunnelling through a 23 kJ mol-1 barrier, is open at low temperatures. These results are in contrast with a recent theoretical study which suggested that the reaction could proceed without a barrier and was therefore a viable route to gas-phase formamide formation. The calculated rate coefficients were used in an astrochemical model which demonstrated that this reaction produces only negligible amounts of gas-phase formamide under interstellar and circumstellar conditions. The reaction of NH2 with CH2O is therefore not an important source of formamide at low temperatures in interstellar environments. △ Less

Submitted 26 August, 2022; originally announced August 2022.

Comments: Manuscript, 14 pages, 4 figures. Supporting Information, 8 pages, 2 figures. Accepted for publication in The Astrophysical Journal Letters

Positivity and Web Bases for Specht Modules of Hecke Algebras

Authors: Samuel David Heard, Jonathan R. Kujawa

Abstract: We show that the transition matrix from the standard basis to the web basis for a Specht module of the Hecke algebra is unitriangular and satisfies a strong positivity property whenever the Specht module is labeled by a partition with at most two parts. This generalizes results of Russell--Tymoczko and Rhoades. We show that the transition matrix from the standard basis to the web basis for a Specht module of the Hecke algebra is unitriangular and satisfies a strong positivity property whenever the Specht module is labeled by a partition with at most two parts. This generalizes results of Russell--Tymoczko and Rhoades. △ Less

Submitted 8 February, 2023; v1 submitted 1 July, 2022; originally announced July 2022.

Comments: 24 pages, improved exposition and additional details, updated first author's contact information and references, to appear in IMRN

MSC Class: 20C08; 05E10; 20C30

Invertible objects in Franke's comodule categories

Authors: Drew Heard

Abstract: We study the Picard group of Franke's category of quasi-periodic $E_0E$-comodules for $E$ a 2-periodic Landweber exact cohomology theory of height $n$ such as Morava $E$-theory, showing that for $2p-2 > n^2+n$, this group is infinite cyclic, generated by the suspension of the unit. This is analogous to, but independent of, the corresponding calculations by Hovey and Sadofsky in the $E$-local stabl… ▽ More We study the Picard group of Franke's category of quasi-periodic $E_0E$-comodules for $E$ a 2-periodic Landweber exact cohomology theory of height $n$ such as Morava $E$-theory, showing that for $2p-2 > n^2+n$, this group is infinite cyclic, generated by the suspension of the unit. This is analogous to, but independent of, the corresponding calculations by Hovey and Sadofsky in the $E$-local stable homotopy category. We also give a computation of the Picard group of $I_n$-complete quasi-periodic $E_0E$-comodules when $E$ is Morava $E$-theory, as studied by Barthel--Schlank--Stapleton for $2p-2 \ge n^2$ and $p-1 \nmid n$, and compare this to the Picard group of the $K(n)$-local stable homotopy category, showing that they agree up to extension. △ Less

Submitted 15 May, 2022; originally announced May 2022.

Comments: 25 pages, comments welcome

The $\mathop{Sp}_{k,n}$-local stable homotopy category

Authors: Drew Heard

Abstract: Following a suggestion of Hovey and Strickland, we study the category of $K(k) \vee K(k+1) \vee \cdots \vee K(n)$-local spectra. When $k = 0$, this is equivalent to the category of $E(n)$-local spectra, while for $k = n$, this is the category of $K(n)$-local spectra, both of which have been studied in detail by Hovey and Strickland. Based on their ideas, we classify the localizing and colocalizing… ▽ More Following a suggestion of Hovey and Strickland, we study the category of $K(k) \vee K(k+1) \vee \cdots \vee K(n)$-local spectra. When $k = 0$, this is equivalent to the category of $E(n)$-local spectra, while for $k = n$, this is the category of $K(n)$-local spectra, both of which have been studied in detail by Hovey and Strickland. Based on their ideas, we classify the localizing and colocalizing subcategories, and give characterizations of compact and dualizable objects. We construct an Adams type spectral sequence and show that when $p \gg n$ it collapses with a horizontal vanishing line above filtration degree $n^2+n-k$ at the $E_2$-page for the sphere spectrum. We then study the Picard group of $K(k) \vee K(k+1) \vee \cdots \vee K(n)$-local spectra, showing that this group is algebraic, in a suitable sense, when $p \gg n$. We also consider a version of Gross--Hopkins duality in this category. A key concept throughout is the use of descent. △ Less

Submitted 24 May, 2022; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: 34 pages, comments welcome. v2: version accepted for publication in AG&T

Journal ref: Algebr. Geom. Topol. 23 (2023) 3655-3706

Stratification and the comparison between homological and tensor triangular support

Authors: Tobias Barthel, Drew Heard, Beren Sanders

Abstract: 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… ▽ More 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. △ Less

Submitted 4 January, 2023; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: 18 pages, comments welcome. v2 - updated to include referee comments. Version to appear in The Quarterly Journal of Mathematics

MSC Class: 18F99

Stratification in tensor triangular geometry with applications to spectral Mackey functors

Authors: Tobias Barthel, Drew Heard, Beren Sanders

Abstract: We systematically develop a theory of stratification in the context of tensor triangular geometry and apply it to classify the localizing tensor-ideals of certain categories of spectral $G$-Mackey functors for all finite groups $G$. Our theory of stratification is based on the approach of Stevenson which uses the Balmer-Favi notion of big support for tensor-triangulated categories whose Balmer spe… ▽ More We systematically develop a theory of stratification in the context of tensor triangular geometry and apply it to classify the localizing tensor-ideals of certain categories of spectral $G$-Mackey functors for all finite groups $G$. Our theory of stratification is based on the approach of Stevenson which uses the Balmer-Favi notion of big support for tensor-triangulated categories whose Balmer spectrum is weakly noetherian. We clarify the role of the local-to-global principle and establish that the Balmer-Favi notion of support provides the universal approach to weakly noetherian stratification. This provides a uniform new perspective on existing classifications in the literature and clarifies the relation with the theory of Benson-Iyengar-Krause. Our systematic development of this approach to stratification, involving a reduction to local categories and the ability to pass through finite étale extensions, may be of independent interest. Moreover, we strengthen the relationship between stratification and the telescope conjecture. The starting point for our equivariant applications is the recent computation by Patchkoria-Sanders-Wimmer of the Balmer spectrum of the category of derived Mackey functors, which was found to capture precisely the height $0$ and height $\infty$ chromatic layers of the spectrum of the equivariant stable homotopy category. We similarly study the Balmer spectrum of the category of $E(n)$-local spectral Mackey functors noting that it bijects onto the height $\le n$ chromatic layers of the spectrum of the equivariant stable homotopy category; conjecturally the topologies coincide. Despite our incomplete knowledge of the topology of the Balmer spectrum, we are able to completely classify the localizing tensor-ideals of these categories of spectral Mackey functors. △ Less

Submitted 29 September, 2023; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 61 pages, minor expository changes

MSC Class: 18F99

Journal ref: Cambridge Journal of Mathematics 11(4):829-915, 2023

Rational local systems and connected finite loop spaces

Authors: Drew Heard

Abstract: Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space always has a simple algebraic model. When the loop space arises from a connected compact Lie group, this recovers a special case of a result of Pol and Williams… ▽ More Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space always has a simple algebraic model. When the loop space arises from a connected compact Lie group, this recovers a special case of a result of Pol and Williamson about rational cofree $G$-spectra. More generally, we show that if $K$ is a closed subgroup of a compact Lie group $G$ such that the Weyl group $W_GK$ is connected, then a certain category of rational $G$-spectra `at $K$' has an algebraic model. For example, when $K$ is the trivial group, this is just the category of rational cofree $G$-spectra, and this recovers the aforementioned result. Throughout, we pay careful attention to the role of torsion and complete categories. △ Less

Submitted 15 December, 2020; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 30 pages, comments welcome v2 updated to include reviewers comments. Version to appear in Glasgow Mathematical Journal

Journal ref: Glasgow Math. J. 64 (2022) 136-164

On conjectures of Hovey--Strickland and Chai

Authors: Tobias Barthel, Drew Heard, Niko Naumann

Abstract: 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 commutativ… ▽ More 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. △ Less

Submitted 14 January, 2022; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 25 pages. Minor revisions, accepted for publication in Selecta Mathematica

Report number: MPIM-Bonn-2022

The topological nilpotence degree of a Noetherian unstable algebra

Authors: Drew Heard

Abstract: 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,… ▽ More 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. △ Less

Submitted 10 February, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 42 pages; comments welcome v2; Significantly revised version, accepted for publication in Selecta Mathematica

Local Gorenstein duality for cochains on spaces

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Gabriel Valenzuela

Abstract: 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 particul… ▽ More 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. △ Less

Submitted 21 July, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: 21 pages, comments welcome. v2 ,version to appear (with minor formatting differences) in Journal of Pure and Applied Algebra

Report number: CPH-SYM-DNRF92

Measurements of Low Temperature Rate Coefficients for the Reaction of CH with CH$_{2}$O and Application to Dark Cloud and AGB Stellar Wind Models

Authors: Niclas A. West, Tom J. Millar, Marie Van de Sande, Edward Rutter, Mark A. Blitz, Leen Decin, Dwayne E. Heard

Abstract: Rate coefficients have been measured for the reaction of CH radicals with formaldehyde, CH$_{2}$O, over the temperature range 31 - 133 K using a pulsed Laval nozzle apparatus combined with pulsed laser photolysis and laser induced fluorescence spectroscopy. The rate coefficients are very large and display a distinct decrease with decreasing temperature below 70 K, although classical collision rate… ▽ More Rate coefficients have been measured for the reaction of CH radicals with formaldehyde, CH$_{2}$O, over the temperature range 31 - 133 K using a pulsed Laval nozzle apparatus combined with pulsed laser photolysis and laser induced fluorescence spectroscopy. The rate coefficients are very large and display a distinct decrease with decreasing temperature below 70 K, although classical collision rate theory fails to reproduce this temperature dependence. The measured rate coefficients have been parameterized and used as input for astrochemical models for both dark cloud and AGB stellar outflow scenarios. The models predict a distinct change (up to a factor of two) in the abundance of ketene, H$_{2}$CCO, which is the major expected molecular product of the CH + CH$_{2}$O reaction. △ Less

Submitted 17 October, 2019; originally announced October 2019.

Comments: 17 pages, 9 Figures, 5 Tables, Accepted for publication in The Astrophysical Journal

Depth and detection for Noetherian unstable algebras

Authors: Drew Heard

Abstract: For a connected Noetherian unstable algebra $R$ over the mod $p$ Steenrod algebra, we prove versions of theorems of Duflot and Carlson on the depth of $R$, originally proved when $R$ is the mod $p$ cohomology ring of a finite group. This recovers the aforementioned results, and also proves versions of them when $R$ is the mod $p$ cohomology ring of a compact Lie group, a profinite group with Noeth… ▽ More For a connected Noetherian unstable algebra $R$ over the mod $p$ Steenrod algebra, we prove versions of theorems of Duflot and Carlson on the depth of $R$, originally proved when $R$ is the mod $p$ cohomology ring of a finite group. This recovers the aforementioned results, and also proves versions of them when $R$ is the mod $p$ cohomology ring of a compact Lie group, a profinite group with Noetherian cohomology, a Kac--Moody group, a discrete group of finite virtual cohomological dimension, as well as for certain other discrete groups. More generally, our results apply to certain finitely generated unstable $R$-modules. Moreover, we explain the results in the case of the $p$-local compact groups of Broto, Levi, and Oliver, as well as in the modular invariant theory of finite groups. △ Less

Submitted 15 July, 2019; originally announced July 2019.

Comments: 23 pages, comments welcome

On stratification for spaces with Noetherian mod $p$ cohomology

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Gabriel Valenzuela

Abstract: Let $X$ be a topological space with Noetherian mod $p$ cohomology and let $C^*(X;\mathbb{F}_p)$ be the commutative ring spectrum of $\mathbb{F}_p$-valued cochains on $X$. The goal of this paper is to exhibit conditions under which the category of module spectra on $C^*(X;\mathbb{F}_p)$ is stratified in the sense of Benson, Iyengar, Krause, providing a classification of all its localizing subcatego… ▽ More Let $X$ be a topological space with Noetherian mod $p$ cohomology and let $C^*(X;\mathbb{F}_p)$ be the commutative ring spectrum of $\mathbb{F}_p$-valued cochains on $X$. The goal of this paper is to exhibit conditions under which the category of module spectra on $C^*(X;\mathbb{F}_p)$ is stratified in the sense of Benson, Iyengar, Krause, providing a classification of all its localizing subcategories. We establish stratification in this sense for classifying spaces of a large class of topological groups including Kac--Moody groups as well as whenever $X$ admits an $H$-space structure. More generally, using Lannes' theory we prove that stratification for $X$ is equivalent to a condition that generalizes Chouinard's theorem for finite groups. In particular, this relates the generalized telescope conjecture in this setting to a question in unstable homotopy theory. △ Less

Submitted 4 August, 2021; v1 submitted 29 April, 2019; originally announced April 2019.

Comments: All comments welcome. v2 - version accepted for publication in the American Journal of Mathematics

Report number: CPH-SYM-DNRF92

Picard groups and duality for Real Morava $E$-theories

Authors: Drew Heard, Guchuan Li, XiaoLin Danny Shi

Abstract: We show, at the prime 2, that the Picard group of invertible modules over $E_n^{hC_2}$ is cyclic. Here, $E_n$ is the height $n$ Lubin--Tate spectrum and its $C_2$-action is induced from the formal inverse of its associated formal group law. We further show that $E_n^{hC_2}$ is Gross--Hopkins self-dual and determine the exact shift. Our results generalize the well-known results when $n = 1$. We show, at the prime 2, that the Picard group of invertible modules over $E_n^{hC_2}$ is cyclic. Here, $E_n$ is the height $n$ Lubin--Tate spectrum and its $C_2$-action is induced from the formal inverse of its associated formal group law. We further show that $E_n^{hC_2}$ is Gross--Hopkins self-dual and determine the exact shift. Our results generalize the well-known results when $n = 1$. △ Less

Submitted 14 October, 2020; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: v3: Version to appear Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 21 (2021) 2703-2760

Derived completion for comodules

Authors: Tobias Barthel, Drew Heard, Gabriel Valenzuela

Abstract: The objective of this paper is to introduce and study completions and local homology of comodules over Hopf algebroids, extending previous work of Greenlees and May in the discrete case. In particular, we relate module-theoretic to comodule-theoretic completion, construct various local homology spectral sequences, and derive a tilting-theoretic interpretation of local duality for modules. Our resu… ▽ More The objective of this paper is to introduce and study completions and local homology of comodules over Hopf algebroids, extending previous work of Greenlees and May in the discrete case. In particular, we relate module-theoretic to comodule-theoretic completion, construct various local homology spectral sequences, and derive a tilting-theoretic interpretation of local duality for modules. Our results translate to quasi-coherent sheaves over global quotient stacks and feed into a novel approach to the chromatic splitting conjecture. △ Less

Submitted 17 January, 2019; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: Final version to appear in manuscripta mathematica. A preliminary version of the results in the first two sections of this article was previously contained in the joint work of the authors at arXiv:1511.03526

Report number: CPH-SYM-DNRF92 MSC Class: 55P60 (13D45; 14B15; 55U35)

On equivariant and motivic slices

Authors: Drew Heard

Abstract: Let $k$ be a field with a real embedding. We compare the motivic slice filtration of a motivic spectrum over $Spec(k)$ with the $C_2$-equivariant slice filtration of its equivariant Betti realization, giving conditions under which realization induces an equivalence between the associated slice towers. In particular, we show that, up to reindexing, the towers agree for all spectra obtained from loc… ▽ More Let $k$ be a field with a real embedding. We compare the motivic slice filtration of a motivic spectrum over $Spec(k)$ with the $C_2$-equivariant slice filtration of its equivariant Betti realization, giving conditions under which realization induces an equivalence between the associated slice towers. In particular, we show that, up to reindexing, the towers agree for all spectra obtained from localized quotients of $MGL$ and $MR$, and for motivic Landweber exact spectra and their realizations. As a consequence, we deduce that equivariant spectra obtained from localized quotients of $MR$ are even in the sense of Hill--Meier, and give a computation of the slice spectral sequence converging to $π_{*,*}BP\langle n \rangle/2$ for $1 \le n \le \infty$. △ Less

Submitted 21 June, 2019; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: Version to appear in Algebraic & Geometric Topology

Journal ref: Algebr. Geom. Topol. 19 (2019) 3641-3681

Stratification and duality for homotopical groups

Authors: Tobias Barthel, Natalia Castellana, Drew Heard, Gabriel Valenzuela

Abstract: We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of module spectra over $C^*(B\mathcal{G},\mathbb{F}_p)$ is stratified and costratified for a large class of $p$-local compact groups $\mathcal{G}$ including compact… ▽ More We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of module spectra over $C^*(B\mathcal{G},\mathbb{F}_p)$ is stratified and costratified for a large class of $p$-local compact groups $\mathcal{G}$ including compact Lie groups, connected $p$-compact groups, and $p$-local finite groups, thereby giving a support-theoretic classification of all localizing and colocalizing subcategories of this category. Moreover, we prove that $p$-compact groups admit a homotopical form of Gorenstein duality. △ Less

Submitted 5 July, 2019; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: Corrected discussion of Chouinard's theorem for homotopical groups; accepted for publication in Advances in Mathematics

Report number: CPH-SYM-DNRF92

Algebraic chromatic homotopy theory for $BP_*BP$-comodules

Authors: Tobias Barthel, Drew Heard

Abstract: In this paper, we study the global structure of an algebraic avatar of the derived category of ind-coherent sheaves on the moduli stack of formal groups. In analogy with the stable homotopy category, we prove a version of the nilpotence theorem as well as the chromatic convergence theorem, and construct a generalized chromatic spectral sequence. Furthermore, we discuss analogs of the telescope con… ▽ More In this paper, we study the global structure of an algebraic avatar of the derived category of ind-coherent sheaves on the moduli stack of formal groups. In analogy with the stable homotopy category, we prove a version of the nilpotence theorem as well as the chromatic convergence theorem, and construct a generalized chromatic spectral sequence. Furthermore, we discuss analogs of the telescope conjecture and chromatic splitting conjecture in this setting, using the local duality techniques established earlier in joint work with Valenzuela. △ Less

Submitted 30 August, 2017; originally announced August 2017.

Comments: All comments welcome

Report number: CPH-SYM-DNRF92

The homotopy limit problem and the cellular Picard group of Hermitian $K$-theory

Authors: Drew Heard

Abstract: We use descent theoretic methods to solve the homotopy limit problem for Hermitian $K$-theory over quasi-compact and quasi-separated base schemes. As another application of these descent theoretic methods, we compute the cellular Picard group of 2-complete Hermitian $K$-theory over $\mathop{Spec}(\mathbb{C})$, showing that the only invertible cellular spectra are suspensions of the tensor unit. We use descent theoretic methods to solve the homotopy limit problem for Hermitian $K$-theory over quasi-compact and quasi-separated base schemes. As another application of these descent theoretic methods, we compute the cellular Picard group of 2-complete Hermitian $K$-theory over $\mathop{Spec}(\mathbb{C})$, showing that the only invertible cellular spectra are suspensions of the tensor unit. △ Less

Submitted 21 September, 2020; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: v4: results made unconditional, assumptions on base scheme weakened. Version to appear in Annals of K-theory

Journal ref: Ann. K-Th. 6 (2021) 137-156

Vanishing lines for modules over the motivic Steenrod algebra

Authors: Drew Heard, Achim Krause

Abstract: We study criteria for freeness and for the existence of a vanishing line for modules over certain Hopf subalgebras of the motivic Steenrod algebra over $\mathrm{Spec}(\mathbb{C})$ at the prime 2. These turn out to be determined by the vanishing of certain Margolis homology groups in the quotient Hopf algebra $\mathcal{A}/τ$. We study criteria for freeness and for the existence of a vanishing line for modules over certain Hopf subalgebras of the motivic Steenrod algebra over $\mathrm{Spec}(\mathbb{C})$ at the prime 2. These turn out to be determined by the vanishing of certain Margolis homology groups in the quotient Hopf algebra $\mathcal{A}/τ$. △ Less

Submitted 24 January, 2018; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: Version to appear (with minor typesetting changes) in New York Journal of Mathematics

MSC Class: 14F42; 55S10

Journal ref: New York J. Math 24(2018) 183-199

The algebraic chromatic splitting conjecture for Noetherian ring spectra

Authors: Tobias Barthel, Drew Heard, Gabriel Valenzuela

Abstract: We formulate a version of Hopkins' chromatic splitting conjecture for an arbitrary structured ring spectrum $R$, and prove it whenever $π_*R$ is Noetherian. As an application, these results provide a new local-to-global principle in the modular representation theory of finite groups. We formulate a version of Hopkins' chromatic splitting conjecture for an arbitrary structured ring spectrum $R$, and prove it whenever $π_*R$ is Noetherian. As an application, these results provide a new local-to-global principle in the modular representation theory of finite groups. △ Less

Submitted 4 June, 2018; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: Final version to appear in Mathematische Zeitschrift

Local duality for structured ring spectra

Authors: Tobias Barthel, Drew Heard, Gabriel Valenzuela

Abstract: We use the abstract framework constructed in our earlier paper to study local duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of ring spectra, thereby generalizing the local duality theorem of Benson and Greenlees. We then explain how our results apply to the modular representation theory o… ▽ More We use the abstract framework constructed in our earlier paper to study local duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of ring spectra, thereby generalizing the local duality theorem of Benson and Greenlees. We then explain how our results apply to the modular representation theory of compact Lie groups and finite group schemes, which recovers the theory previously developed by Benson, Iyengar, Krause, and Pevtsova. △ Less

Submitted 16 May, 2017; v1 submitted 10 August, 2016; originally announced August 2016.

Comments: Revised version, to appear in Journal of Pure and Applied Algebra

Picard groups of higher real $K$-theory spectra at height $p-1$

Authors: Drew Heard, Akhil Mathew, Vesna Stojanoska

Abstract: Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_n^{hG}$, where $E_n$ is Lubin-Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite sub… ▽ More Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_n^{hG}$, where $E_n$ is Lubin-Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite subgroup of the extended Morava stabilizer group. We find that these Picard groups are always cyclic, generated by the suspension. △ Less

Submitted 25 November, 2015; originally announced November 2015.

Comments: 33 pages, comments welcome

Journal ref: Compositio Math. 153 (2017) 1820-1854

Local duality in algebra and topology

Authors: Tobias Barthel, Drew Heard, Gabriel Valenzuela

Abstract: The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of compact objects $\mathcal{K} \subset \mathcal{C}$ we construct local cohomology and local homology functors satisfying an abstract version of local duality. When spe… ▽ More The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of compact objects $\mathcal{K} \subset \mathcal{C}$ we construct local cohomology and local homology functors satisfying an abstract version of local duality. When specialized to the derived category of a commutative ring $A$ and a suitable ideal in $A$, we recover the classical local duality due to Grothendieck as well as generalizations by Greenlees and May. More generally, applying our result to the derived category of quasi-coherent sheaves on a quasi-compact and separated scheme $X$ implies the local duality theorem of Alonso Tarrío, Jeremías López, and Lipman. As a second objective, we establish local duality for quasi-coherent sheaves over many algebraic stacks, in particular those arising naturally in stable homotopy theory. After constructing an appropriate model of the derived category in terms of comodules over a Hopf algebroid, we show that, in familiar cases, the resulting local cohomology and local homology theories coincide with functors previously studied by Hovey and Strickland. Furthermore, our framework applies to global and local stable homotopy theory, in a way which is compatible with the algebraic avatars of these theories. In order to aid computability, we provide spectral sequences relating the algebraic and topological local duality contexts. △ Less

Submitted 31 July, 2018; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: Significantly revised version to appear in Advances in Mathematics. Section 6 has been removed, and an expanded version will appear in a separate paper

Report number: CPH-SYM-DNRF92 MSC Class: 55P60; 13D45; 14B15; 55U35

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

Authors: Drew Heard

Abstract: 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… ▽ More 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. △ Less

Submitted 18 March, 2015; v1 submitted 30 January, 2015; originally announced January 2015.

Comments: 16 pages; comments welcome. Updated to fix some typos

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

Authors: Tobias Barthel, Drew Heard

Abstract: 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 abo… ▽ More 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. △ Less

Submitted 29 March, 2016; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: 23 pages. Substantially revised and reorganized. Final version, to appear in Topology and its Applications

K-theory, reality, and duality

Authors: Drew Heard, Vesna Stojanoska

Abstract: 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 re… ▽ More 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. △ Less

Submitted 15 May, 2014; v1 submitted 11 January, 2014; originally announced January 2014.

Comments: 24 pages; 6 figures. Updated to include reviewers comments, section 9 rewritten. Comments welcome

Journal ref: J. K-Theory 14 (2014), no. 3, 526-555

Hyperbolic graphs of small complexity

Authors: Damian Heard, Craig Hodgson, Bruno Martelli, Carlo Petronio

Abstract: In this paper we enumerate and classify the ``simplest'' pairs (M,G) where M is a closed orientable 3-manifold and G is a trivalent graph embedded in M. To enumerate the pairs we use a variation of Matveev's definition of complexity for 3-manifolds, and we consider only (0,1,2)-irreducible pairs, namely pairs (M,G) such that any 2-sphere in M intersecting G transversely in at most 2 points bou… ▽ More In this paper we enumerate and classify the ``simplest'' pairs (M,G) where M is a closed orientable 3-manifold and G is a trivalent graph embedded in M. To enumerate the pairs we use a variation of Matveev's definition of complexity for 3-manifolds, and we consider only (0,1,2)-irreducible pairs, namely pairs (M,G) such that any 2-sphere in M intersecting G transversely in at most 2 points bounds a ball in M either disjoint from G or intersecting G in an unknotted arc. To classify the pairs our main tools are geometric invariants defined using hyperbolic geometry. In most cases, the graph complement admits a unique hyperbolic structure with parabolic meridians; this structure was computed and studied using Heard's program Orb and Goodman's program Snap. We determine all (0,1,2)-irreducible pairs up to complexity 5, allowing disconnected graphs but forbidding components without vertices in complexity 5. The result is a list of 129 pairs, of which 123 are hyperbolic with parabolic meridians. For these pairs we give detailed information on hyperbolic invariants including volumes, symmetry groups and arithmetic invariants. Pictures of all hyperbolic graphs up to complexity 4 are provided. We also include a partial analysis of knots and links. The theoretical framework underlying the paper is twofold, being based on Matveev's theory of spines and on Thurston's idea (later developed by several authors) of constructing hyperbolic structures via triangulations. Many of our results were obtained (or suggested) by computer investigations. △ Less

Submitted 30 April, 2008; originally announced April 2008.

Comments: 35 pages, 22 figures, 10 tables

MSC Class: 57M50 (Primary); 57M27; 05C30; 57M20 (Secondary)

Commensurators of cusped hyperbolic manifolds

Authors: Oliver Goodman, Damian Heard, Craig Hodgson

Abstract: This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding horosphere packings and canonical cell decompositions. For example, we use this to find the commensurators of all non-arithmetic hyperbolic once-punctured to… ▽ More This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding horosphere packings and canonical cell decompositions. For example, we use this to find the commensurators of all non-arithmetic hyperbolic once-punctured torus bundles over the circle. For hyperbolic 3-manifolds, the algorithm has been implemented using Goodman's computer program Snap. We use this to determine the commensurability classes of all cusped hyperbolic 3-manifolds triangulated using at most 7 ideal tetrahedra, and for the complements of hyperbolic knots and links with up to 12 crossings. △ Less

Submitted 30 January, 2008; originally announced January 2008.

Comments: 32 pages, 46 figures; to appear in "Experimental Mathematics"

MSC Class: 57M50; 57M27

The 191 orientable octahedral manifolds

Authors: Damian Heard, Ekaterina Pervova, Carlo Petronio

Abstract: We enumerate all spaces obtained by gluing in pairs the faces of the octahedron in an orientation-reversing fashion. Whenever such a gluing gives rise to non-manifold points, we remove small open neighbourhoods of these points, so we actually deal with three-dimensional manifolds with (possibly empty) boundary. There are 298 combinatorially inequivalent gluing patterns, and we show that they d… ▽ More We enumerate all spaces obtained by gluing in pairs the faces of the octahedron in an orientation-reversing fashion. Whenever such a gluing gives rise to non-manifold points, we remove small open neighbourhoods of these points, so we actually deal with three-dimensional manifolds with (possibly empty) boundary. There are 298 combinatorially inequivalent gluing patterns, and we show that they define 191 distinct manifolds, of which 132 are hyperbolic and 59 are not. All the 132 hyperbolic manifolds were already considered in different contexts by other authors, and we provide here their known ``names'' together with their main invariants. We also give the connected sum and JSJ decompositions for the 59 non-hyperbolic examples. Our arguments make use of tools coming from hyperbolic geometry, together with quantum invariants and more classical techniques based on essential surfaces. Many (but not all) proofs were carried out by computer, but they do not involve issues of numerical accuracy. △ Less

Submitted 10 September, 2007; originally announced September 2007.

Comments: 27 pages, 2 figures

MSC Class: 57M50; 57M25

Combinatorial and geometric methods in topology

Authors: Carlo Petronio, Damian Heard, Ekaterina Pervova

Abstract: Starting from the (apparently) elementary problem of deciding how many different topological spaces can be obtained by gluing together in pairs the faces of an octahedron, we will describe the central role played by hyperbolic geometry within three-dimensional topology. We will also point out the striking difference with the two-dimensional case, and we will review some of the results of the com… ▽ More Starting from the (apparently) elementary problem of deciding how many different topological spaces can be obtained by gluing together in pairs the faces of an octahedron, we will describe the central role played by hyperbolic geometry within three-dimensional topology. We will also point out the striking difference with the two-dimensional case, and we will review some of the results of the combinatorial and computational approach to three-manifolds developed by different mathematicians over the last several years. △ Less

Submitted 29 June, 2007; originally announced June 2007.

Comments: This expository paper is the text of a conference given by the author to a broad audience of mathematicians. An upcoming article will contain more detailed proofs and an accurate description of the hyperbolic and non-hyperbolic orientable manifolds obtained by gluing together in pairs the faces of the octahedron. Appendix by Damian Heard and Ekaterina Pervova

MSC Class: 57M50

Journal ref: Milan J. Math. 76 (2008), 69-92