Showing 1–50 of 50 results for author: Hopkins, M J

The visibility of the Ōtautahi-Oxford interstellar object population model in LSST

Authors: Rosemary C. Dorsey, Matthew J. Hopkins, Michele T. Bannister, Samantha M. Lawler, Chris Lintott, Alex H. Parker, John C. Forbes

Abstract: With a new probabilistic technique for sampling interstellar object (ISO) orbits with high efficiency, we assess the observability of ISOs under a realistic cadence for the upcoming Vera Rubin Observatory's Legacy Survey of Space and Time (LSST). Using the Ōtautahi-Oxford population model, we show that there will be complex on-sky structure in the pattern of direction and velocity revealed by the… ▽ More With a new probabilistic technique for sampling interstellar object (ISO) orbits with high efficiency, we assess the observability of ISOs under a realistic cadence for the upcoming Vera Rubin Observatory's Legacy Survey of Space and Time (LSST). Using the Ōtautahi-Oxford population model, we show that there will be complex on-sky structure in the pattern of direction and velocity revealed by the detected ISO population, with the expected enhanced northern flux complicating efforts to derive population parameters from the LSST's predominately southern footprint. For luminosity functions with slopes of $2.5\leq q_s\leq 4.0$, the most discoverable ISOs have $H_r\simeq 14.6-20.7$; for previously estimated spatial densities, between 6 and 51 total ISOs are expected. The slope of the luminosity function of ISOs will be relatively quickly constrained. Discoveries are evenly split around their perihelion passage and are biased to lower velocities. After their discovery by LSST, it will be rare for ISOs to be visible for less than a month; most will have $m_r \leq 23$ for months, and the window for spectroscopic characterization could be as long as two years. These probabilistic assessments are robust against model or spatial density refinements that change the absolute numbers of ISO discoveries. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Comments: Submitted to PSJ, comments welcome!

Unstable motivic and real-étale homotopy theory

Authors: Aravind Asok, Tom Bachmann, Elden Elmanto, Michael J. Hopkins

Abstract: We prove that for any base scheme $S$, real étale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for pointed connected motivic spaces over $S$, the real étale motivic localization is given by smashing with the telescope of the map $ρ: S^0 \to {\mathbb G}_m$. We prove that for any base scheme $S$, real étale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for pointed connected motivic spaces over $S$, the real étale motivic localization is given by smashing with the telescope of the map $ρ: S^0 \to {\mathbb G}_m$. △ Less

Submitted 26 January, 2025; originally announced January 2025.

Comments: 34 pages, comments welcome

MSC Class: 14F42 14P10 55P60

He awa whiria: the tidal streams of interstellar objects

Authors: John C. Forbes, Michele T. Bannister, Chris Lintott, Angus Forrest, Simon Portegies Zwart, Rosemary C. Dorsey, Leah Albrow, Matthew J. Hopkins

Abstract: Upcoming surveys are likely to discover a new sample of interstellar objects (ISOs) within the Solar System, but questions remain about the origin and distribution of this population within the Galaxy. ISOs are ejected from their host systems with a range of velocities, spreading out into tidal streams - analogous to the stellar streams routinely observed from the disruption of star clusters and d… ▽ More Upcoming surveys are likely to discover a new sample of interstellar objects (ISOs) within the Solar System, but questions remain about the origin and distribution of this population within the Galaxy. ISOs are ejected from their host systems with a range of velocities, spreading out into tidal streams - analogous to the stellar streams routinely observed from the disruption of star clusters and dwarf galaxies. We create a simulation of ISO streams orbiting in the Galaxy, deriving a simple model for their density distribution over time. We then construct a population model to predict the properties of the streams in which the Sun is currently embedded. We find that the number of streams encountered by the Sun is quite large, ~ 10^6 or more. However, the wide range of stream properties means that for reasonable future samples of ISOs observed in the Solar System, we may see ISOs from the same star ("siblings"), and we are likely to see ISOs from the same star cluster ("cousins"). We also find that ISOs are typically not traceable to their parent star, though this may be possible for ISO siblings. Any ISOs observed with a common origin will come from younger, dynamically colder streams. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: Submitted to AAS Journals, comments welcome

Fast Radio Bursts and Interstellar Objects

Authors: Dang Pham, Matthew J. Hopkins, Chris Lintott, Michele T. Bannister, Hanno Rein

Abstract: Fast radio bursts (FRBs) are transient radio events with millisecond-scale durations, and debated origins. Collisions between planetesimals and neutron stars have been proposed as a mechanism to produce FRBs; the planetesimal strength, size and density determine the time duration and energy of the resulting event. One source of planetesimals is the population of interstellar objects (ISOs), free-f… ▽ More Fast radio bursts (FRBs) are transient radio events with millisecond-scale durations, and debated origins. Collisions between planetesimals and neutron stars have been proposed as a mechanism to produce FRBs; the planetesimal strength, size and density determine the time duration and energy of the resulting event. One source of planetesimals is the population of interstellar objects (ISOs), free-floating objects expected to be extremely abundant in galaxies across the Universe as products of planetary formation. We explore using the ISO population as a reservoir of planetesimals for FRB production, finding that the expected ISO-neutron star collision rate is comparable with the observed FRB event rate. Using a model linking the properties of planetesimals and the FRBs they produce, we further show that observed FRB durations are consistent with the sizes of known ISOs, and the FRB energy distribution is consistent with the observed size distributions of Solar System planetesimal populations. Finally, we argue that the rate of ISO-neutron star collisions must increase with cosmic time, matching the observed evolution of the FRB rate. Thus, ISO-neutron star collisions are a feasible mechanism for producing FRBs. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: Accepted for publication in ApJ (6 pages, 1 figure 1 table)

The Volatile Composition and Activity Evolution of Main-Belt Comet 358P/PANSTARRS

Authors: Henry H. Hsieh, John W. Noonan, Michael S. P. Kelley, Dennis Bodewits, Jana Pittichova, Audrey Thirouin, Marco Micheli, Matthew M. Knight, Michele T. Bannister, Colin O. Chandler, Carrie E. Holt, Matthew J. Hopkins, Yaeji Kim, Nicholas A. Moskovitz, William J. Oldroyd, Jack Patterson, Scott S. Sheppard, Nicole Tan, Chadwick A. Trujillo, Quanzhi Ye

Abstract: We report the detection of water vapor associated with main-belt comet 358P/PANSTARRS on UT 2024 January 8-9 using the NIRSPEC instrument aboard JWST. We derive a water production rate of Q(H2O)=(5.0+/-0.2)x10^25 molecules/s, marking only the second direct detection of sublimation products of any kind from a main-belt comet, after 238P/Read. Similar to 238P, we find a remarkable absence of hypervo… ▽ More We report the detection of water vapor associated with main-belt comet 358P/PANSTARRS on UT 2024 January 8-9 using the NIRSPEC instrument aboard JWST. We derive a water production rate of Q(H2O)=(5.0+/-0.2)x10^25 molecules/s, marking only the second direct detection of sublimation products of any kind from a main-belt comet, after 238P/Read. Similar to 238P, we find a remarkable absence of hypervolatile species, finding Q(CO2)<7.6x10^22 molecules/s, corresponding to Q(CO2)/Q(H2O)<0.2%. Upper limits on CH3OH and CO emission are also estimated. Photometry from ground-based observations show that the dust coma brightened and faded slowly over ~250 days in 2023-2024, consistent with photometric behavior observed in 2012-2013, but also indicate a ~2.5x decline in the dust production rate between these two periods. Dynamical dust modeling shows that the coma's morphology as imaged by JWST's NIRCAM instrument on 2023 November 22 can be reproduced by asymmetric dust emission from a nucleus with a mid-range obliquity (~80 deg) with a steady-state mass loss rate of ~0.8 kg/s. Finally, we find similar Afrho-to-gas ratios of log10(Afrho/Q(H2O))=-24.8+/-0.2 for 358P and log10(Afrho/QH2O)=-24.4+/-0.2 for 238P, suggesting that Afrho could serve as an effective proxy for estimating water production rates in other active main-belt comets. The confirmation of water vapor outgassing in both main-belt comets observed by JWST to date reinforces the use of recurrent activity near perihelion as an indicator of sublimation-driven activity in active asteroids. △ Less

Submitted 11 November, 2024; originally announced November 2024.

Comments: 32 pages, 13 figures. Accepted for publication in The Planetary Science Journal

Predicting Interstellar Object Chemodynamics with Gaia

Authors: Matthew J. Hopkins, Michele T. Bannister, Chris Lintott

Abstract: The interstellar object population of the Milky Way is a product of its stars. However, what is in fact a complex structure in the Solar neighbourhood has traditionally in ISO studies been described as smoothly distributed. Using a debiased stellar population derived from the Gaia DR3 stellar sample, we predict that the velocity distribution of ISOs is far more textured than a smooth Gaussian. The… ▽ More The interstellar object population of the Milky Way is a product of its stars. However, what is in fact a complex structure in the Solar neighbourhood has traditionally in ISO studies been described as smoothly distributed. Using a debiased stellar population derived from the Gaia DR3 stellar sample, we predict that the velocity distribution of ISOs is far more textured than a smooth Gaussian. The moving groups caused by Galactic resonances dominate the distribution. 1I/`Oumuamua and 2I/Borisov have entirely normal places within these distributions; 1I is within the non-coeval moving group that includes the Matariki (Pleiades) cluster, and 2I within the Coma Berenices moving group. We show that for the composition of planetesimals formed beyond the ice line, these velocity structures also have a chemodynamic component. This variation will be visible on the sky. We predict that this richly textured distribution will be differentiable from smooth Gaussians in samples that are within the expected discovery capacity of the Vera C. Rubin Observatory. Solar neighbourhood ISOs will be of all ages and come from a dynamic mix of many different populations of stars, reflecting their origins from all around the Galactic disk. △ Less

Submitted 6 December, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: Accepted for publication in AJ

The Odd Fermion

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: In this short note we use the geometric approach to (topological) field theory to address the question: Does an odd number of quantum mechanical fermions make sense? In this short note we use the geometric approach to (topological) field theory to address the question: Does an odd number of quantum mechanical fermions make sense? △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 6 pages, 2 figures

The Galactic Interstellar Object Population: A Framework for Prediction and Inference

Authors: Matthew J. Hopkins, Chris Lintott, Michele T. Bannister, J. Ted Mackereth, John C. Forbes

Abstract: The Milky Way is thought to host a huge population of interstellar objects (ISOs), numbering approximately $10^{15}\mathrm{pc}^{-3}$ around the Sun, which are formed and shaped by a diverse set of processes ranging from planet formation to galactic dynamics. We define a novel framework: firstly to predict the properties of this Galactic ISO population by combining models of processes across planet… ▽ More The Milky Way is thought to host a huge population of interstellar objects (ISOs), numbering approximately $10^{15}\mathrm{pc}^{-3}$ around the Sun, which are formed and shaped by a diverse set of processes ranging from planet formation to galactic dynamics. We define a novel framework: firstly to predict the properties of this Galactic ISO population by combining models of processes across planetary and galactic scales, and secondly to make inferences about the processes modelled, by comparing the predicted population to what is observed. We predict the spatial and compositional distribution of the Galaxy's population of ISOs by modelling the Galactic stellar population with data from the APOGEE survey and combining this with a protoplanetary disk chemistry model. Selecting ISO water mass fraction as an example observable quantity, we evaluate its distribution both at the position of the Sun and averaged over the Galactic disk; our prediction for the Solar neighbourhood is compatible with the inferred water mass fraction of 2I/Borisov. We show that the well-studied Galactic stellar metallicity gradient has a corresponding ISO compositional gradient. We also demonstrate the inference part of the framework by using the current observed ISO composition distribution to constrain the parent star metallicity dependence of the ISO production rate. This constraint, and other inferences made with this framework, will improve dramatically as the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) progresses and more ISOs are observed. Finally, we explore generalisations of this framework to other Galactic populations, such as that of exoplanets. △ Less

Submitted 15 November, 2023; v1 submitted 10 August, 2023; originally announced August 2023.

Comments: Accepted to AJ

Journal ref: AJ 166 241 (2023)

On P^1-stabilization in unstable motivic homotopy theory

Authors: Aravind Asok, Tom Bachmann, Michael J. Hopkins

Abstract: We analyze stabilization with respect to ${\mathbb P}^1$ in the Morel--Voevodsky unstable motivic homotopy theory. We introduce a refined notion of cellularity (a.k.a., biconnectivity) in various motivic homotopy categories taking into account both the simplicial and Tate circles. Under suitable cellularity hypotheses, we refine the Whitehead theorem by showing that a map of nilpotent motivic spac… ▽ More We analyze stabilization with respect to ${\mathbb P}^1$ in the Morel--Voevodsky unstable motivic homotopy theory. We introduce a refined notion of cellularity (a.k.a., biconnectivity) in various motivic homotopy categories taking into account both the simplicial and Tate circles. Under suitable cellularity hypotheses, we refine the Whitehead theorem by showing that a map of nilpotent motivic spaces can be seen to be an equivalence if it so after taking (Voevodsky) motives. We then establish a version of the Freudenthal suspension theorem for ${\mathbb P}^1$-suspension, again under suitable cellularity hypotheses. As applications, we resolve Murthy's conjecture on splitting of corank $1$ vector bundles on smooth affine algebras over algebraically closed fields having characteristic $0$ and compute new unstable motivic homotopy of motivic spheres. △ Less

Submitted 12 June, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: Revised version: many small changes and additions, comments still welcome; 73 pages

MSC Class: 14F42 19A13 55Pxx

On the Whitehead theorem for nilpotent motivic spaces

Authors: Aravind Asok, Tom Bachmann, Michael J. Hopkins

Abstract: We improve some foundational connectivity results and the relative Hurewicz theorem in motivic homotopy theory, study functorial central series in motivic local group theory, establish the existence of functorial Moore--Postnikov factorizations for nilpotent morphisms of motivic spaces under a mild technical hypothesis and establish an analog of the Whitehead theorem for nilpotent motivic spaces.… ▽ More We improve some foundational connectivity results and the relative Hurewicz theorem in motivic homotopy theory, study functorial central series in motivic local group theory, establish the existence of functorial Moore--Postnikov factorizations for nilpotent morphisms of motivic spaces under a mild technical hypothesis and establish an analog of the Whitehead theorem for nilpotent motivic spaces. As an application, we deduce a surprising unstable motivic periodicity result. △ Less

Submitted 2 April, 2024; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: 26 pages; numerous changes and additions, comments (still) welcome

MSC Class: 14F42 20F19 55S45

Comparing Dualities in the $K(n)$-local Category

Authors: Paul G. Goerss, Michael J. Hopkins

Abstract: In their work on the period map and the dualizing sheaf for Lubin-Tate space, Gross and the second author wrote down an equivalence between the Spanier-Whitehead and Brown-Comenetz duals of certain type $n$-complexes in the $K(n)$-local category at large primes. In the culture of the time, these results were accessible to educated readers, but this seems no longer to be the case; therefore, in thi… ▽ More In their work on the period map and the dualizing sheaf for Lubin-Tate space, Gross and the second author wrote down an equivalence between the Spanier-Whitehead and Brown-Comenetz duals of certain type $n$-complexes in the $K(n)$-local category at large primes. In the culture of the time, these results were accessible to educated readers, but this seems no longer to be the case; therefore, in this note we give the details. Because we are at large primes, the key result is algebraic: in the Picard group of Lubin-Tate space, two important invertible sheaves become isomorphic modulo $p$. △ Less

Submitted 3 November, 2020; originally announced November 2020.

MSC Class: 55N22 (Primary) 55P442 55P25 14L05 (Secondary)

Dualizing spheres for compact $p$-adic analytic groups and duality in chromatic homotopy

Authors: Agnès Beaudry, Paul G. Goerss, Michael J. Hopkins, Vesna Stojanoska

Abstract: The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$-local category. One of the key players in the $K(n)$-local category is the Lubin-Tate spectrum $E_n$, whose homotopy groups classify deformations of a formal group law of height $n$, in the implicit characteristic $p$. It is known that $E_n$ is self-dual up to a shift; however, that does not fully take into account… ▽ More The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$-local category. One of the key players in the $K(n)$-local category is the Lubin-Tate spectrum $E_n$, whose homotopy groups classify deformations of a formal group law of height $n$, in the implicit characteristic $p$. It is known that $E_n$ is self-dual up to a shift; however, that does not fully take into account the action of the Morava stabilizer group $\mathbb{G}_n$, or even its subgroup of automorphisms of the formal group in question. In this paper we find that the $\mathbb{G}_n$-equivariant dual of $E_n$ is in fact $E_n$ twisted by a sphere with a non-trivial (when $n>1$) action by $\mathbb{G}_n$. This sphere is a dualizing module for the group $\mathbb{G}_n$, and we construct and study such an object $I_{\mathcal{G}}$ for any compact $p$-adic analytic group $\mathcal{G}$. If we restrict the action of $\mathcal{G}$ on $I_{\mathcal{G}}$ to certain type of small subgroups, we identify $I_{\mathcal{G}}$ with a specific representation sphere coming from the Lie algebra of $\mathcal{G}$. This is done by a classification of $p$-complete sphere spectra with an action by an elementary abelian $p$-group in terms of characteristic classes, and then a specific comparison of the characteristic classes in question. The setup makes the theory quite accessible for computations, as we demonstrate in the later sections of this paper, determining the $K(n)$-local Spanier-Whitehead duals of $E_n^{hH}$ for select choices of $p$ and $n$ and finite subgroups $H$ of $\mathbb{G}_n$. △ Less

Submitted 17 May, 2022; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: Final version, accepted for publication in Invent. Math. Comments always welcome!

MSC Class: 55P92; 55R25; 55R50; 55U30; 20E18; 22E41

Algebraic vector bundles and $p$-local A^1-homotopy theory

Authors: Aravind Asok, Jean Fasel, Michael J. Hopkins

Abstract: Using techniques of A^1-homotopy theory, we produce motivic lifts of elements in classical homotopy groups of spheres; these lifts provide polynomial maps of spheres and allow us to construct ``low rank'' algebraic vector bundles on ``simple'' smooth affine varieties of high dimension. Using techniques of A^1-homotopy theory, we produce motivic lifts of elements in classical homotopy groups of spheres; these lifts provide polynomial maps of spheres and allow us to construct ``low rank'' algebraic vector bundles on ``simple'' smooth affine varieties of high dimension. △ Less

Submitted 9 April, 2025; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: 20 pages; Version to appear in Ann. Scient. Ec. Norm. Sup

MSC Class: 14F42; 32L05; 55R25; 13C10

$η$-periodic motivic stable homotopy theory over fields

Authors: Tom Bachmann, Michael J. Hopkins

Abstract: Over any field of characteristic not 2, we establish a 2-term resolution of the $η$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $η$-periodized motivic stable stems and the $η$-periodized algebraic symple… ▽ More Over any field of characteristic not 2, we establish a 2-term resolution of the $η$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $η$-periodized motivic stable stems and the $η$-periodized algebraic symplectic and SL-cobordism groups. Along the way we construct Adams operations on the motivic spectrum representing Hermitian K-theory and establish new completeness results for certain motivic spectra over fields of finite virtual 2-cohomological dimension. In an appendix, we supply a new proof of the homotopy fixed point theorem for the Hermitian K-theory of fields. △ Less

Submitted 3 May, 2021; v1 submitted 14 May, 2020; originally announced May 2020.

Comments: 60 pages v2: compare Adams operations with those of Fasel--Haution, add corollary about cellularity, mention some further prior work, add missing flatness hypothesis in Lemma 4.8 and expand on its proof, fix some typos v3: minor corrections and extensions v4: another minor revision

Localization and nilpotent spaces in A^1-homotopy theory

Authors: Aravind Asok, Jean Fasel, Michael J. Hopkins

Abstract: For a subring $R$ of the rational numbers, we study $R$-localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${\mathbb A}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb A}^1$-homotopy theory paying attention to future applications for vector bundles. We show that $R$-localization behaves… ▽ More For a subring $R$ of the rational numbers, we study $R$-localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${\mathbb A}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb A}^1$-homotopy theory paying attention to future applications for vector bundles. We show that $R$-localization behaves in a controlled fashion for the nilpotent spaces we consider. We show that the classifying space $BGL_n$ is ${\mathbb A}^1$-nilpotent when $n$ is odd, and analyze the (more complicated) situation where $n$ is even as well. We establish analogs of various classical results about rationalization in the context of ${\mathbb A}^1$-homotopy theory: if $-1$ is a sum of squares in the base field, ${\mathbb A}^n \setminus 0$ is rationally equivalent to a suitable motivic Eilenberg--Mac Lane space, and the special linear group decomposes as a product of motivic spheres. △ Less

Submitted 18 February, 2022; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 65 pages; To appear Compos. Math

MSC Class: 14F42 19D45 20G15 55P60

Consistency of M-Theory on nonorientable manifolds

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We prove that there is no parity anomaly in M-theory in the low-energy field theory approximation. Our approach is computational. We determine generators for the 12-dimensional bordism group of pin manifolds with a w_1-twisted integer lift of w_4; these are the manifolds on which Wick-rotated M-theory exists. The anomaly cancellation comes down to computing a specific eta-invariant and cubic form… ▽ More We prove that there is no parity anomaly in M-theory in the low-energy field theory approximation. Our approach is computational. We determine generators for the 12-dimensional bordism group of pin manifolds with a w_1-twisted integer lift of w_4; these are the manifolds on which Wick-rotated M-theory exists. The anomaly cancellation comes down to computing a specific eta-invariant and cubic form on these manifolds. Of interest beyond this specific problem are our expositions of: computational techniques for eta-invariants, the algebraic theory of cubic forms, Adams spectral sequence techniques, and anomalies for spinor fields and Rarita-Schwinger fields. △ Less

Submitted 8 January, 2021; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 68 pages, 2 figures; v2 added appendix about cohomology of relevant Thom spectrum plus small changes; v3 added appendix about spin bordism in dimension 12 plus numerous small changes for publication in Quaterly Journal of Mathematics; v4 fixed title on arXiv

Invertible phases of matter with spatial symmetry

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We propose a general formula for the group of invertible topological phases on a space $Y$, possibly equipped with the action of a group $G$. Our formula applies to arbitrary symmetry types. When $Y$ is Euclidean space and $G$ a crystallographic group, the term `topological crystalline phases' is sometimes used for these phases of matter. We propose a general formula for the group of invertible topological phases on a space $Y$, possibly equipped with the action of a group $G$. Our formula applies to arbitrary symmetry types. When $Y$ is Euclidean space and $G$ a crystallographic group, the term `topological crystalline phases' is sometimes used for these phases of matter. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: 13 pages, 3 figures

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

Authors: Michael J. Hopkins, Jianfeng Lin, XiaoLin Danny Shi, Zhouli Xu

Abstract: In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariants. As a geometric application of our result, we prove a "10/8+4"-Theorem. We p… ▽ More In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariants. As a geometric application of our result, we prove a "10/8+4"-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from BPin(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the $j$-based Atiyah-Hirzebruch spectral sequence. △ Less

Submitted 28 January, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 116 pages, 15 figures. Minor revisions. Comments welcome!

Real Wilson Spaces I

Authors: Michael A. Hill, Michael J. Hopkins

Abstract: This is the first part in a series of papers establishing an equivariant analogue of Steve Wilson's theory of even spaces, including the fact that the spaces in the loop spectrum for complex cobordism are even. This is the first part in a series of papers establishing an equivariant analogue of Steve Wilson's theory of even spaces, including the fact that the spaces in the loop spectrum for complex cobordism are even. △ Less

Submitted 28 June, 2018; originally announced June 2018.

Comments: 41 pages, 2 figures

MSC Class: 55N91

The inseparability of sampling and time and its influence on attempts to unify the molecular and fossil records

Authors: Melanie J. Hopkins, David W. Bapst, Carl Simpson, Rachel C. M. Warnock

Abstract: The two major approaches to studying macroevolution in deep time are the fossil record and reconstructed relationships among extant taxa from molecular data. Results based on one approach sometimes conflict with those based on the other, with inconsistencies often attributed to inherent flaws of one (or the other) data source. What is unquestionable is that both the molecular and fossil records ar… ▽ More The two major approaches to studying macroevolution in deep time are the fossil record and reconstructed relationships among extant taxa from molecular data. Results based on one approach sometimes conflict with those based on the other, with inconsistencies often attributed to inherent flaws of one (or the other) data source. What is unquestionable is that both the molecular and fossil records are limited reflections of the same evolutionary history, and any contradiction between them represents a failure of our existing models to explain the patterns we observe. Fortunately, the different limitations of each record provide an opportunity to test or calibrate the other, and new methodological developments leverage both records simultaneously. However, we must reckon with the distinct relationships between sampling and time in the fossil record and molecular phylogenies. These differences impact our recognition of baselines, and the analytical incorporation of age estimate uncertainty. These differences in perspective also influence how different practitioners view the past and evolutionary time itself, bearing important implications for the generality of methodological advancements, and differences in the philosophical approach to macroevolutionary theory across fields. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 29 pages, 1 figure. All others contributed equally to this work

Detecting exotic spheres in low dimensions using coker J

Authors: Mark Behrens, Michael Hill, Michael J. Hopkins, Mark Mahowald

Abstract: Building off of the work of Kervaire and Milnor, and Hill, Hopkins, and Ravenel, Xu and Wang showed that the only odd dimensions n for which S^n has a unique differentiable structure are 1, 3, 5, and 61. We show that the only even dimensions below 140 for which S^n has a unique differentiable structure are 2, 6, 12, 56, and perhaps 4. Building off of the work of Kervaire and Milnor, and Hill, Hopkins, and Ravenel, Xu and Wang showed that the only odd dimensions n for which S^n has a unique differentiable structure are 1, 3, 5, and 61. We show that the only even dimensions below 140 for which S^n has a unique differentiable structure are 2, 6, 12, 56, and perhaps 4. △ Less

Submitted 2 November, 2019; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: 52 pages. Revised version includes some additional recommendations of referee

Equivariant symmetric monoidal structures

Authors: Michael A. Hill, Michael J. Hopkins

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

Submitted 10 October, 2016; originally announced October 2016.

Comments: 23 pages

MSC Class: 55N91; 19D23; 18D50; 18D35

Reflection positivity and invertible topological phases

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We implement an extended version of reflection positivity (Wick-rotated unitarity) for invertible topological quantum field theories and compute the abelian group of deformation classes using stable homotopy theory. We apply these field theory considerations to lattice systems, assuming the existence and validity of low energy effective field theory approximations, and thereby produce a general fo… ▽ More We implement an extended version of reflection positivity (Wick-rotated unitarity) for invertible topological quantum field theories and compute the abelian group of deformation classes using stable homotopy theory. We apply these field theory considerations to lattice systems, assuming the existence and validity of low energy effective field theory approximations, and thereby produce a general formula for the group of Symmetry Protected Topological (SPT) phases in terms of Thom's bordism spectra; the only input is the dimension and symmetry group. We provide computations for fermionic systems in physically relevant dimensions. Other topics include symmetry in quantum field theories, a relativistic 10-fold way, the homotopy theory of relativistic free fermions, and a topological spin-statistics theorem. △ Less

Submitted 18 December, 2022; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: 136 pages, 16 figures; minor changes/corrections in version 2; v3 major revision; v4 minor revision: corrected proof of Lemma 9.55, many small changes throughout; v5 version for publication in Geometry & Topology; v6 fixed proof of Proposition 3.13

Journal ref: Geom. Topol. 25 (2021) 1165-1330

Strictly commutative complex orientation theory

Authors: Michael J. Hopkins, Tyler Lawson

Abstract: For a multiplicative cohomology theory E, complex orientations are in bijective correspondence with multiplicative natural transformations to E from complex bordism cohomology MU. If E is represented by a spectrum with a highly structured multiplication, we give an iterative process for lifting an orientation MU -> E to a map respecting this extra structure, based on work of Arone-Lesh. The space… ▽ More For a multiplicative cohomology theory E, complex orientations are in bijective correspondence with multiplicative natural transformations to E from complex bordism cohomology MU. If E is represented by a spectrum with a highly structured multiplication, we give an iterative process for lifting an orientation MU -> E to a map respecting this extra structure, based on work of Arone-Lesh. The space of strictly commutative orientations is the limit of an inverse tower of spaces parametrizing partial lifts; stage 1 corresponds to ordinary complex orientations, and lifting from stage (m-1) to stage m is governed by the existence of a orientation for a family of E-modules over a fixed base space F_m. When E is p-local, we can say more. We find that this tower only changes when m is a power of p, and if E is E(n)-local the tower is constant after stage p^n. Moreover, if the coefficient ring E^* is p-torsion free, the ability to lift from stage 1 to stage p is equivalent to a condition on the associated formal group law that was shown necessary by Ando. △ Less

Submitted 8 August, 2017; v1 submitted 29 February, 2016; originally announced March 2016.

Comments: 29 pages. Updated version with new argument in section 2 and addition of section 10

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

Authors: Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

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

Submitted 20 October, 2015; originally announced October 2015.

Comments: 25 pages, 3 figures, comments welcome!

Obstructions to algebraizing topological vector bundles

Authors: Aravind Asok, Jean Fasel, Michael J. Hopkins

Abstract: Suppose $X$ is a smooth complex algebraic variety. A necessary condition for a complex topological vector bundle on $X$ (viewed as a complex manifold) to be algebraic is that all Chern classes must be algebraic cohomology classes, i.e., lie in the image of the cycle class map. We analyze the question of whether algebraicity of Chern classes is sufficient to guarantee algebraizability of complex to… ▽ More Suppose $X$ is a smooth complex algebraic variety. A necessary condition for a complex topological vector bundle on $X$ (viewed as a complex manifold) to be algebraic is that all Chern classes must be algebraic cohomology classes, i.e., lie in the image of the cycle class map. We analyze the question of whether algebraicity of Chern classes is sufficient to guarantee algebraizability of complex topological vector bundles. For affine varieties of dimension $\leq 3$, it is known that algebraicity of Chern classes of a vector bundle guarantees algebraizability of the vector bundle. In contrast, we show in dimension $\geq 4$ that algebraicity of Chern classes is insufficient to guarantee algebraizability of vector bundles. To do this, we construct a new obstruction to algebraizability using Steenrod operations on Chow groups. By means of an explicit example, we observe that our obstruction is non-trivial in general. △ Less

Submitted 23 July, 2018; v1 submitted 26 June, 2015; originally announced June 2015.

Comments: 17 pages; To appear in Forum Math Sigma

MSC Class: 14F42; 32L05; 55R25; 13C10

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

Authors: Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

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

Submitted 2 February, 2016; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: 82 pages, 4 tables and 17 figures, some using color

MSC Class: 55Q10 (primary); and 55Q91; 55P42; 55R45; 55T99 (secondary)

An $\infty$-categorical approach to $R$-line bundles, $R$-module Thom spectra, and twisted $R$-homology

Authors: Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk

Abstract: We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of… ▽ More We develop a generalization of the theory of Thom spectra using the language of infinity categories. This treatment exposes the conceptual underpinnings of the Thom spectrum functor: we use a new model of parametrized spectra, and our definition is motivated by the geometric definition of Thom spectra of May-Sigurdsson. For an associative ring spectrum $R$, we associate a Thom spectrum to a map of infinity categories from the infinity groupoid of a space $X$ to the infinity category of free rank one $R$-modules, which we show is a model for $BGL_1 R$; we show that $BGL_1 R$ classifies homotopy sheaves of rank one $R$-modules, which we call $R$-line bundles. We use our $R$-module Thom spectrum to define the twisted $R$-homology and cohomology of an $R$-line bundle over a space $X$, classified by a map from $X$ to $BGL_1 R$, and we recover the generalized theory of orientations in this context. In order to compare this approach to the classical theory, we characterize the Thom spectrum functor axiomatically, from the perspective of Morita theory. An earlier version of this paper was part of arXiv:0810.4535. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:0810.4535

Units of ring spectra, orientations, and Thom spectra via rigid infinite loop space theory

Authors: Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk

Abstract: We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the string orientation of tmf, the spectrum of topological modular forms. We also develop the analogous theory of Thom spectra and orientations for associative ring spectra. Our work is based on a new model of the Thom spectrum as a derived smash product. An earlier v… ▽ More We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the string orientation of tmf, the spectrum of topological modular forms. We also develop the analogous theory of Thom spectra and orientations for associative ring spectra. Our work is based on a new model of the Thom spectrum as a derived smash product. An earlier version of this paper was part of arXiv:0810.4535. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:0810.4535

MSC Class: 55

Equivariant Multiplicative Closure

Authors: Michael J. Hopkins, Michael A. Hill

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

Submitted 18 March, 2013; originally announced March 2013.

Comments: 16 pages, 2 figures

Chern-Weil forms and abstract homotopy theory

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof. Other arguments come from classical invariant theory. We identify the Weil algebra as the de Rham complex of a specific simplicial sheaf, and similarly give a ne… ▽ More We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof. Other arguments come from classical invariant theory. We identify the Weil algebra as the de Rham complex of a specific simplicial sheaf, and similarly give a new interpretation of the Weil model in equivariant de Rham theory. There is an appendix proving a general theorem about set-theoretic transformations of polynomial functors. This paper is dedicated to the memory of Dan Quillen. △ Less

Submitted 15 March, 2013; v1 submitted 24 January, 2013; originally announced January 2013.

Comments: 41 pages; minor changes and additional references in v2; more minor writing corrections in v3

Hodge filtered complex bordism

Authors: Michael J. Hopkins, Gereon Quick

Abstract: We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural generalization of Deligne cohomology. For smooth complex algebraic varieties, we show that the theory satisfies a projective bundle formula and $\A^1$-homotopy invarian… ▽ More We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural generalization of Deligne cohomology. For smooth complex algebraic varieties, we show that the theory satisfies a projective bundle formula and $\A^1$-homotopy invariance. Moreover, we obtain transfer maps along projective morphisms. △ Less

Submitted 27 August, 2014; v1 submitted 10 December, 2012; originally announced December 2012.

Comments: minor revision; final version accepted for publication by the Journal of Topology

MSC Class: 55N20; 14F35; 14C25; 32Q15

Higher real K-theories and topological automorphic forms

Authors: Mark Behrens, Michael J. Hopkins

Abstract: Given a maximal finite subgroup G of the nth Morava stabilizer group at a prime p, we address the question: is the associated higher real K-theory EO_n a summand of the K(n)-localization of a TAF-spectrum associated to a unitary similitude group of type U(1,n-1)? We answer this question in the affirmative for p in {2, 3, 5, 7} and n = (p-1)p^{r-1} for a maximal finite subgroup containing an elemen… ▽ More Given a maximal finite subgroup G of the nth Morava stabilizer group at a prime p, we address the question: is the associated higher real K-theory EO_n a summand of the K(n)-localization of a TAF-spectrum associated to a unitary similitude group of type U(1,n-1)? We answer this question in the affirmative for p in {2, 3, 5, 7} and n = (p-1)p^{r-1} for a maximal finite subgroup containing an element of order p^r. We answer the question in the negative for all other odd primary cases. In all odd primary cases, we to give an explicit presentation of a global division algebra with involution in which the group G embeds unitarily. △ Less

Submitted 13 October, 2010; v1 submitted 4 October, 2009; originally announced October 2009.

Comments: 37 pages. v2 contains several minor revisions

On the non-existence of elements of Kervaire invariant one

Authors: Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

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

Submitted 25 May, 2015; v1 submitted 25 August, 2009; originally announced August 2009.

Comments: Revised with some typos corrected, references and clarifying minro comments added.. 221 pages

MSC Class: 55Q45; 55Q91; 55P91; 57R55; 57R60; 57R77; 57R85

Topological Quantum Field Theories from Compact Lie Groups

Authors: Daniel S. Freed, Michael J. Hopkins, Jacob Lurie, Constantin Teleman

Abstract: It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge g… ▽ More It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge groups are also revisited, and we describe a theory of "finite path integrals" as a general construction for a certain class of finite topological field theories. Topological pure gauge theories in lower dimension are presented as a warm-up. △ Less

Submitted 19 June, 2009; v1 submitted 6 May, 2009; originally announced May 2009.

Comments: 39 pages, submission to proceedings of "A Celebration of the Mathematical Legacy of Raoul Bott"; v2 has minor changes

Report number: AIM 2009-21 MSC Class: 81T45; 57R56

Units of ring spectra and Thom spectra

Authors: Matthew Ando, Andrew J. Blumberg, David J. Gepner, Michael J. Hopkins, Charles Rezk

Abstract: We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A i… ▽ More We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A is an associative ring spectrum, then to a map of spaces f: B -> BGL(A) we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -> BGL(A) -> BGL(R) is null. We also note that BGL(A) classifies the twists of A-theory. We develop and compare two approaches to the theory of Thom spectra. The first involves a rigidified model of A-infinity and E-infinity spaces. Our second approach is via infinity categories. In order to compare these approaches to one another and to the classical theory, we characterize the Thom spectrum functor from the perspective of Morita theory. △ Less

Submitted 8 November, 2009; v1 submitted 24 October, 2008; originally announced October 2008.

Comments: Various corrections and minor emendations, notably to Section 5

MSC Class: 55N20

Consistent Orientation of Moduli Spaces

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: We give an a priori construction of the two-dimensional reduction of three-dimensional quantum Chern-Simons theory. This reduction is a two-dimensional topological quantum field theory and so determines to a Frobenius ring, which here is the twisted equivariant K-theory of a compact Lie group. We construct the theory via correspondence diagrams of moduli spaces, which we "linearize" using comple… ▽ More We give an a priori construction of the two-dimensional reduction of three-dimensional quantum Chern-Simons theory. This reduction is a two-dimensional topological quantum field theory and so determines to a Frobenius ring, which here is the twisted equivariant K-theory of a compact Lie group. We construct the theory via correspondence diagrams of moduli spaces, which we "linearize" using complex K-theory. A key point in the construction is to consistently orient these moduli spaces to define pushforwards; the consistent orientation induces twistings of complex K-theory. The Madsen-Tillmann spectra play a crucial role. △ Less

Submitted 19 December, 2007; v1 submitted 12 November, 2007; originally announced November 2007.

Comments: 21 pages, dedicated to Nigel Hitchin on the occasion of his 60th birthday. Version 2 for publication has additional text in section 3 and makes minor corrections

Loop groups and twisted K-theory I

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris s… ▽ More This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris spectral sequence we compute the twisted equivariant K-groups of a compact connected Lie group G with torsion free fundamental group. We relate this computation to the representation theory of the loop group at a level related to the twisting. △ Less

Submitted 12 November, 2007; originally announced November 2007.

MSC Class: 19L47; 22E67 (Primary); 19K99 (Secondary)

On the existence of a v_2^32-self map on M(1,4) at the prime 2

Authors: Mark Behrens, Michael Hill, Michael J. Hopkins, Mark Mahowald

Abstract: Let M(1) be the mod 2 Moore spectrum. J.F. Adams proved that M(1) admits a minimal v_1-self map v_1^4: Sigma^8 M(1) -> M(1). Let M(1,4) be the cofiber of this self-map. The purpose of this paper is to prove that M(1,4) admits a minimal v_2-self map of the form v_2^32: Sigma^192 M(1,4) -> M(1,4). The existence of this map implies the existence of many 192-periodic families of elements in the stab… ▽ More Let M(1) be the mod 2 Moore spectrum. J.F. Adams proved that M(1) admits a minimal v_1-self map v_1^4: Sigma^8 M(1) -> M(1). Let M(1,4) be the cofiber of this self-map. The purpose of this paper is to prove that M(1,4) admits a minimal v_2-self map of the form v_2^32: Sigma^192 M(1,4) -> M(1,4). The existence of this map implies the existence of many 192-periodic families of elements in the stable homotopy groups of spheres. △ Less

Submitted 12 August, 2008; v1 submitted 29 October, 2007; originally announced October 2007.

Comments: 31 pages, 16 figures. Revised version: includes new section (section 9)explaining centrality of d_2(v_2^8) and d_3(v_2^16), and fixes an error in section 7

MSC Class: 55Q51; 55Q40

A q-Analogue of the Centralizer Construction and Skew Representations of the Quantum Affine Algebra

Authors: Mark J. Hopkins, Alexander I. Molev

Abstract: We prove an analogue of the Sylvester theorem for the generator matrices of the quantum affine algebra ${\rm U}_q(\hat{\mathfrak{gl}}_n)$. We then use it to give an explicit realization of the skew representations of the quantum affine algebra. This allows one to identify them in a simple way by calculating their highest weight, Drinfeld polynomials and the Gelfand-Tsetlin character (or $q$-char… ▽ More We prove an analogue of the Sylvester theorem for the generator matrices of the quantum affine algebra ${\rm U}_q(\hat{\mathfrak{gl}}_n)$. We then use it to give an explicit realization of the skew representations of the quantum affine algebra. This allows one to identify them in a simple way by calculating their highest weight, Drinfeld polynomials and the Gelfand-Tsetlin character (or $q$-character). We also apply the quantum Sylvester theorem to construct a $q$-analogue of the Olshanski algebra as a projective limit of certain centralizers in ${\rm U}_q(\mathfrak{gl}_n)$ and show that this limit algebra contains the $q$-Yangian as a subalgebra. △ Less

Submitted 26 December, 2006; v1 submitted 5 June, 2006; originally announced June 2006.

Comments: This is a contribution to the Vadim Kuznetsov Memorial Issue on Integrable Systems and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 2 (2006), 092, 29 pages

Loop Groups and Twisted K-Theory II

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is… ▽ More This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is an isomorphism if $G$ is connected with torsion-free fundamental group. We also introduce a Dirac family for finite dimensional representations of compact Lie groups; it is closely related to both the Kirillov correspondence and the equivariant Thom isomorphism. In Part III (math.AT/0312155) we extend the proof of our main theorem to arbitrary compact Lie groups G and provide supplements in various directions. In Part I (arXiv:0711.1906) we develop twisted equivariant K-theory and carry out some of the computations needed here. We refer to the announcements math.AT/0312155 and math.AT/0206237 for further expository material and motivation. △ Less

Submitted 7 December, 2012; v1 submitted 9 November, 2005; originally announced November 2005.

Comments: 61 pages; minor corrections in version 2; final corrections for publication in version 3

MSC Class: 19L47; 22E67 (Primary) 19K99 (Secondary)

Twisted K-theory and loop group representations

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the rôle of energy an… ▽ More This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the rôle of energy and the topological Peter-Weyl theorem. △ Less

Submitted 10 November, 2005; v1 submitted 8 December, 2003; originally announced December 2003.

Comments: The final SELF-CONTAINED version is v.2. The current version had some material removed to the prequels [FHT1,2]. Minor notational changes

MSC Class: 19L47; 22E67 (primary); 19K99 (secondary)

Algebraic topology and modular forms

Authors: Michael J. Hopkins

Abstract: Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy theory, Mark Mahowald, Haynes Miller and I constructed a topological refinement of modular forms, which we call {\em topological modular forms}. At the Zurich… ▽ More Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy theory, Mark Mahowald, Haynes Miller and I constructed a topological refinement of modular forms, which we call {\em topological modular forms}. At the Zurich ICM I sketched a program designed to relate topological modular forms to invariants of manifolds, homotopy groups of spheres, and ordinary modular forms. This program has recently been completed and new directions have emerged. In this talk I will describe this recent work and how it informs our understanding of both algebraic topology and modular forms. △ Less

Submitted 30 November, 2002; originally announced December 2002.

Report number: ICM-2002

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 1, 283--309

Quadratic functions in geometry, topology,and M-theory

Authors: M. J. Hopkins, I. M. Singer

Abstract: We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the fivebrane partition function in $M$-theory (hep-th/9610234, hep-th/9609122). Our construction requires a refinement of the algebraic topology of smooth manifold… ▽ More We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the fivebrane partition function in $M$-theory (hep-th/9610234, hep-th/9609122). Our construction requires a refinement of the algebraic topology of smooth manifolds better suited to the needs of mathematical physics, and is based on our theory of "differential functions." These differential functions generalize the differential characters of Cheeger-Simons, and the bulk of this paper is devoted to their study. △ Less

Submitted 24 August, 2005; v1 submitted 13 November, 2002; originally announced November 2002.

Comments: To appear in the Journal of Differential Geometry. This version addresses several issues brought up by the referee. We have also added an appendix describing stable exponential characteristic class for Spin bundles, taking values in cohomology with integer coefficients, whose mod 2 reduction is the total Wu class. LaTeX. 99 pages

MSC Class: 57R19

Journal ref: J.Diff.Geom. 70 (2005) 329-452

Twisted equivariant K-theory with complex coefficients

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this co… ▽ More Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this context. △ Less

Submitted 23 July, 2006; v1 submitted 24 June, 2002; originally announced June 2002.

Comments: Final version, to appear in Topology. Exposition improved, rational homotopy calculation completely rewritten

MSC Class: 55N15; 22E67

The sigma orientation is an H-infinity map

Authors: Matthew Ando, Michael J. Hopkins, Neil P. Strickland

Abstract: In "Elliptic spectra, the Witten genus, and the Theorem of the cube" (Invent. Math. 146 (2001)), the authors constructed a natural map from the Thom spectrum MU<6> to any elliptic spectrum, called the "sigma orientation". MU<6> is an H-infinity ring spectrum, and in this paper we show that if E is a K(2)-local H-infinity elliptic spectrum, then the sigma orientation is a map of H-infinity spectr… ▽ More In "Elliptic spectra, the Witten genus, and the Theorem of the cube" (Invent. Math. 146 (2001)), the authors constructed a natural map from the Thom spectrum MU<6> to any elliptic spectrum, called the "sigma orientation". MU<6> is an H-infinity ring spectrum, and in this paper we show that if E is a K(2)-local H-infinity elliptic spectrum, then the sigma orientation is a map of H-infinity spectra. △ Less

Submitted 30 January, 2004; v1 submitted 3 April, 2002; originally announced April 2002.

MSC Class: 55N34; 55N22

On Ramond-Ramond fields and K-theory

Authors: D. S. Freed, M. J. Hopkins

Abstract: A recent paper by Moore and Witten explained that Ramond-Ramond fields in Type II superstring theory have a global meaning in K-theory. In this note we amplify and generalize some points raised in that paper. In particular, we express the coupling of the Ramond-Ramond fields to D-branes in a K-theoretic framework and show that the anomaly in this coupling exactly cancels the anomaly from the fer… ▽ More A recent paper by Moore and Witten explained that Ramond-Ramond fields in Type II superstring theory have a global meaning in K-theory. In this note we amplify and generalize some points raised in that paper. In particular, we express the coupling of the Ramond-Ramond fields to D-branes in a K-theoretic framework and show that the anomaly in this coupling exactly cancels the anomaly from the fermions on the brane, both in Type IIA and Type IIB. △ Less

Submitted 14 June, 2000; v1 submitted 3 February, 2000; originally announced February 2000.

Comments: 12 pages; final revision for publication in JHEP. References added and some minor clarifications as well

Journal ref: JHEP 0005 (2000) 044

Vanishing lines in generalized Adams spectral sequences are generic

Authors: M. J. Hopkins, J. H. Palmieri, J. H. Smith

Abstract: We show that in a generalized Adams spectral sequence, the presence of a vanishing line of fixed slope (at some term of the spectral sequence, with some intercept) is a generic property. We show that in a generalized Adams spectral sequence, the presence of a vanishing line of fixed slope (at some term of the spectral sequence, with some intercept) is a generic property. △ Less

Submitted 1 July, 1999; originally announced July 1999.

Comments: 11 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTVol3/paper7.abs.html

Report number: G&T migration 1999-7 MSC Class: 55T15; 55P42

Journal ref: Geom. Topol. 3 (1999) 155-165

Vanishing lines in Adams spectral sequences are generic

Authors: M. J. Hopkins, J. H. Palmieri, J. H. Smith

Abstract: We show that in a generalized Adams spectral sequence, the presence of a vanishing line of fixed slope (at some term of the spectral sequence, with some intercept) is a generic property. We show that in a generalized Adams spectral sequence, the presence of a vanishing line of fixed slope (at some term of the spectral sequence, with some intercept) is a generic property. △ Less

Submitted 16 March, 1998; originally announced March 1998.

Comments: 6 pages

MSC Class: 55T15; 55P42

The rigid analytic period mapping, Lubin-Tate space, and stable homotopy theory

Authors: Michael J. Hopkins, Benedict H. Gross

Abstract: The geometry of the Lubin-Tate space of deformations of a formal group is studied via an étale, rigid analytic map from the deformation space to projective space. This leads to a simple description of the equivariant canonical bundle of the deformation space which, in turn, yields a formula for the dualizing complex in stable homotopy theory. The geometry of the Lubin-Tate space of deformations of a formal group is studied via an étale, rigid analytic map from the deformation space to projective space. This leads to a simple description of the equivariant canonical bundle of the deformation space which, in turn, yields a formula for the dualizing complex in stable homotopy theory. △ Less

Submitted 31 December, 1993; originally announced January 1994.

Comments: 11 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 30 (1994) 76-86