-
Group completions and the homotopical monadicity theorem
Authors:
Hana Jia Kong,
J. Peter May,
Foling Zou
Abstract:
We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and multiplicative frameworks. Some of the examples are new and some are old, but all are illuminated by the coherent framework, which we feel certain will encompass exam…
▽ More
We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and multiplicative frameworks. Some of the examples are new and some are old, but all are illuminated by the coherent framework, which we feel certain will encompass examples not yet thought of.
The work is currently divided into three independently readable papers. This first paper is itself divided into three parts. In the first, we give the general abstract theory and treat the classical examples with structured spaces or $G$-spaces as input. In the second, we develop a general context of composite adjunctions that feeds into the first. It specializes, quite differently, to give infinite loop space machines that take either orbital presheaves or categories of operators as input. In the brief third part, we show how the multiplicative theory fits directly into the frameworks of the first and second parts.
The second paper will focus on new constructions and applications when the starting category is that of orbital presheaves. The third will feed in new multiplicative constructions of the second author. Both papers fit into the general context established here, but the new constructions are of considerable independent interest.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
A deformation of Borel equivariant homotopy
Authors:
Gabriel Angelini-Knoll,
Mark Behrens,
Eva Belmont,
Hana Jia Kong
Abstract:
We describe a deformation of the $\infty$-category of Borel $G$-spectra for a finite group $G$. This provides a new presentation of the $a$-complete real Artin--Tate motivic stable homotopy category when $G=C_2$ and gives a new interpretation of the $a$-completed $C_2$-effective slice spectral sequence. As a new computational tool, we present a modified Adams--Novikov spectral sequence which compu…
▽ More
We describe a deformation of the $\infty$-category of Borel $G$-spectra for a finite group $G$. This provides a new presentation of the $a$-complete real Artin--Tate motivic stable homotopy category when $G=C_2$ and gives a new interpretation of the $a$-completed $C_2$-effective slice spectral sequence. As a new computational tool, we present a modified Adams--Novikov spectral sequence which computes the $RO(G)$-graded Mackey functor valued homotopy of Borel $G$-spectra.
△ Less
Submitted 27 September, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
The $\mathbb C$-motivic Adams-Novikov spectral sequence for topological modular forms
Authors:
Daniel C. Isaksen,
Hana Jia Kong,
Guchuan Li,
Yangyang Ruan,
Heyi Zhu
Abstract:
We analyze the $\mathbb{C}$-motivic (and classical) Adams-Novikov spectral sequence for the $\mathbb{C}$-motivic modular forms spectrum $\mathit{mmf}$ (and for the classical topological modular forms spectrum $\mathit{tmf}$). We primarily use purely algebraic techniques, with a few exceptions. Along the way, we settle a previously unresolved detail about the multiplicative structure of the homotop…
▽ More
We analyze the $\mathbb{C}$-motivic (and classical) Adams-Novikov spectral sequence for the $\mathbb{C}$-motivic modular forms spectrum $\mathit{mmf}$ (and for the classical topological modular forms spectrum $\mathit{tmf}$). We primarily use purely algebraic techniques, with a few exceptions. Along the way, we settle a previously unresolved detail about the multiplicative structure of the homotopy groups of $\mathit{tmf}$.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
The slice spectral sequence for a motivic analogue of the connective $K(1)$-local sphere
Authors:
Hana Jia Kong,
J. D. Quigley
Abstract:
We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice s…
▽ More
We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice spectral sequence, we prove several results which may be of independent interest. We describe the $d_1$-differentials in the slice spectral sequence in terms of the motivic Steenrod operations over general base fields, building on analogous results of Ananyevskiy, R{ö}ndigs, and Østvær for the very effective cover of Hermitian K-theory. We also explicitly describe the coefficients of certain motivic Eilenberg--MacLane spectra and compute the slice spectral sequence for the very effective cover of Hermitian K-theory over prime fields.
△ Less
Submitted 6 November, 2023; v1 submitted 18 September, 2022;
originally announced September 2022.
-
$RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory
Authors:
Zhipeng Duan,
Hana Jia Kong,
Guchuan Li,
Yunze Lu,
Guozhen Wang
Abstract:
We consider $G=Q_8,SD_{16},G_{24},$ and $G_{48}$ as finite subgroups of the Morava stabilizer group which acts on the height $2$ Morava $E$-theory $\mathbf{E}_2$ at the prime $2$. We completely compute the $G$-homotopy fixed point spectral sequences of $\mathbf{E}_2$. Our computation uses recently developed equivariant techniques since Hill, Hopkins, and Ravenel. We also compute the $(*-σ_i)$-grad…
▽ More
We consider $G=Q_8,SD_{16},G_{24},$ and $G_{48}$ as finite subgroups of the Morava stabilizer group which acts on the height $2$ Morava $E$-theory $\mathbf{E}_2$ at the prime $2$. We completely compute the $G$-homotopy fixed point spectral sequences of $\mathbf{E}_2$. Our computation uses recently developed equivariant techniques since Hill, Hopkins, and Ravenel. We also compute the $(*-σ_i)$-graded $Q_8$- and $SD_{16}$-homotopy fixed point spectral sequences, where $σ_i$ is a non-trivial one-dimensional representation of $Q_8$.
△ Less
Submitted 22 January, 2024; v1 submitted 5 September, 2022;
originally announced September 2022.
-
$\mathbb{R}$-motivic $v_1$-periodic homotopy
Authors:
Eva Belmont,
Daniel C. Isaksen,
Hana Jia Kong
Abstract:
We compute the $v_1$-periodic $\mathbb{R}$-motivic stable homotopy groups. The main tool is the effective slice spectral sequence. Along the way, we also analyze $\mathbb{C}$-motivic and $η$-periodic $v_1$-periodic homotopy from the same perspective.
We compute the $v_1$-periodic $\mathbb{R}$-motivic stable homotopy groups. The main tool is the effective slice spectral sequence. Along the way, we also analyze $\mathbb{C}$-motivic and $η$-periodic $v_1$-periodic homotopy from the same perspective.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
A Toda bracket convergence theorem for multiplicative spectral sequences
Authors:
Eva Belmont,
Hana Jia Kong
Abstract:
Moss' theorem, which relates Massey products in the $E_r$-page of the classical Adams spectral sequence to Toda brackets of homotopy groups, is one of the main tools for calculating Adams differentials. Working in an arbitrary symmetric monoidal stable topological model category, we prove a general version of Moss' theorem which applies to spectral sequences that arise from filtrations compatible…
▽ More
Moss' theorem, which relates Massey products in the $E_r$-page of the classical Adams spectral sequence to Toda brackets of homotopy groups, is one of the main tools for calculating Adams differentials. Working in an arbitrary symmetric monoidal stable topological model category, we prove a general version of Moss' theorem which applies to spectral sequences that arise from filtrations compatible with the monoidal structure. The theorem has broad applications, e.g. to the computation of the motivic slice and motivic Adams spectral sequences.
△ Less
Submitted 16 August, 2024; v1 submitted 16 December, 2021;
originally announced December 2021.
-
A shadow perspective on equivariant Hochschild homologies
Authors:
Katharine Adamyk,
Teena Gerhardt,
Kathryn Hess,
Inbar Klang,
Hana Jia Kong
Abstract:
Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, w…
▽ More
Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, which implies in particular that they are Morita invariant. We also define a generalized theory of Hochschild homology twisted by an automorphism and show that it is Morita invariant. Hochschild homology of Green functors and $C_n$-twisted topological Hochschild homology fit into this framework, which allows us to conclude that these theories are Morita invariant. We also study linearization maps relating the topological and algebraic theories, proving that the linearization map for topological Hochschild homology arises as a lax shadow functor, and constructing a new linearization map relating topological restriction homology and algebraic restriction homology. Finally, we construct a twisted Dennis trace map from the fixed points of equivariant algebraic $K$-theory to twisted topological Hochschild homology.
△ Less
Submitted 28 July, 2022; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Artificial confocal microscopy for deep label-free imaging
Authors:
Xi Chen,
Mikhail E. Kandel,
Shenghua He,
Chenfei Hu,
Young Jae Lee,
Kathryn Sullivan,
Gregory Tracy,
Hee Jung Chung,
Hyun Joon Kong,
Mark Anastasio,
Gabriel Popescu
Abstract:
Widefield microscopy methods applied to optically thick specimens are faced with reduced contrast due to spatial crosstalk, in which the signal at each point is the result of a superposition from neighboring points that are simultaneously illuminated. In 1955, Marvin Minsky proposed confocal microscopy as a solution to this problem. Today, laser scanning confocal fluorescence microscopy is broadly…
▽ More
Widefield microscopy methods applied to optically thick specimens are faced with reduced contrast due to spatial crosstalk, in which the signal at each point is the result of a superposition from neighboring points that are simultaneously illuminated. In 1955, Marvin Minsky proposed confocal microscopy as a solution to this problem. Today, laser scanning confocal fluorescence microscopy is broadly used due to its high depth resolution and sensitivity, which come at the price of photobleaching, chemical, and photo-toxicity. Here, we present artificial confocal microscopy (ACM) to achieve confocal-level depth sectioning, sensitivity, and chemical specificity, on unlabeled specimens, nondestructively. We augmented a laser scanning confocal instrument with a quantitative phase imaging module, which provides optical pathlength maps of the specimen on the same field of view as the fluorescence channel. Using pairs of phase and fluorescence images, we trained a convolution neural network to translate the former into the latter. The training to infer a new tag is very practical as the input and ground truth data are intrinsically registered and the data acquisition is automated. Remarkably, the ACM images present significantly stronger depth sectioning than the input images, enabling us to recover confocal-like tomographic volumes of microspheres, hippocampal neurons in culture, and 3D liver cancer spheroids. By training on nucleus-specific tags, ACM allows for segmenting individual nuclei within dense spheroids for both cell counting and volume measurements. Furthermore, taking the estimated fluorescence volumes, as annotation for the phase data, we extracted dry mass information for individual nuclei. Finally, our results indicate that the network learning can be transferred between spheroids suspended in different media.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
The Chow $t$-structure on the $\infty$-category of motivic spectra
Authors:
Tom Bachmann,
Hana Jia Kong,
Guozhen Wang,
Zhouli Xu
Abstract:
We define the Chow $t$-structure on the $\infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{c\heartsuit}$ when the exponential characteristic of $k$ is inverted. Restricting to the cellular subcategory, we identify the Chow heart $SH(k)^{cell, c\heartsuit}$ as the category of even graded $MU_{2*}MU$-comodules. Furthermo…
▽ More
We define the Chow $t$-structure on the $\infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{c\heartsuit}$ when the exponential characteristic of $k$ is inverted. Restricting to the cellular subcategory, we identify the Chow heart $SH(k)^{cell, c\heartsuit}$ as the category of even graded $MU_{2*}MU$-comodules. Furthermore, we show that the $\infty$-category of modules over the Chow truncated sphere spectrum is algebraic.
Our results generalize the ones in Gheorghe--Wang--Xu in three aspects: To integral results; To all base fields other than just $C$; To the entire $\infty$-category of motivic spectra $SH(k)$, rather than a subcategory containing only certain cellular objects.
We also discuss a strategy for computing motivic stable homotopy groups of (p-completed) spheres over an arbitrary base field $k$ using the Postnikov tower associated to the Chow $t$-structure and the motivic Adams spectral sequences over $k$.
△ Less
Submitted 4 October, 2021; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Algebraic slice spectral sequences
Authors:
Dominic Leon Culver,
Hana Jia Kong,
J. D. Quigley
Abstract:
For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is comp…
▽ More
For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is completely determined by the $ρ$-Bockstein spectral sequence. Using results of Heard, we also obtain applications to the Hill-Hopkins-Ravenel slice spectral sequences for connective Real K-theory, Real Morava K-theory, and truncated Real Brown-Peterson spectra.
△ Less
Submitted 18 August, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
The $C_2$-effective spectral sequence for $C_2$-equivariant connective real $K$-theory
Authors:
Hana Jia Kong
Abstract:
We construct a $C_2$-equivariant spectral sequence for RO$(C_2)$-graded homotopy groups. The construction is by using the motivic effective slice filtration and the $C_2$-equivariant Betti realization. We apply the spectral sequence to compute the RO$(C_2)$-graded homotopy groups of the completed $C_2$-equivariant connective real $K$-theory spectrum. The computation reproves the $C_2$-equivariant…
▽ More
We construct a $C_2$-equivariant spectral sequence for RO$(C_2)$-graded homotopy groups. The construction is by using the motivic effective slice filtration and the $C_2$-equivariant Betti realization. We apply the spectral sequence to compute the RO$(C_2)$-graded homotopy groups of the completed $C_2$-equivariant connective real $K$-theory spectrum. The computation reproves the $C_2$-equivariant Adams spectral sequence results by Guillou, Hill, Isaksen and Ravenel.
△ Less
Submitted 3 July, 2020; v1 submitted 2 April, 2020;
originally announced April 2020.
-
Computational tools for twisted topological Hochschild homology of equivariant spectra
Authors:
Katharine Adamyk,
Teena Gerhardt,
Kathryn Hess,
Inbar Klang,
Hana Jia Kong
Abstract:
Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spect…
▽ More
Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spectrum $MU_{\mathbb{R}}$. In particular, we construct an equivariant version of the Bökstedt spectral sequence, the formulation of which requires further development of the Hochschild homology of Green functors, first introduced by Blumberg, Gerhardt, Hill, and Lawson.
△ Less
Submitted 18 November, 2021; v1 submitted 18 January, 2020;
originally announced January 2020.