On homological Real trace methods

J.D. Quigley; Juan C. Moreno; Liam Keenan; Myungsin Cho; Teena Gerhardt

REVIEW 3 major objections 4 minor 297 references

On homological Real trace methods

T0 review · 3 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Homological Real trace methods are developed, yielding spectral sequences that compute the continuous mod two Bredon homology of Real topological negative cyclic homology for Real bordism and related spectra.

desk verdict A genuinely new spectral sequence and computations for Real trace invariants, with the main BP_R<n> result conditional on an unproved extended-power computation. read the letter →

arxiv 2608.04297 v1 pith:6UHUVUKC submitted 2026-08-05 math.AT math.KT

Myungsin Cho , Teena Gerhardt , Liam Keenan , Juan C. Moreno , J.D. Quigley This is my paper · ORCID

classification math.ATmath.KT

keywords realhomologytopologicalapproachbredoncontinuouscyclichomological

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Algebraic K-theory is a central but notoriously hard invariant in mathematics. A powerful way to study it is through trace methods: algebraic K-theory is approximated by topological cyclic homology, which is built from topological Hochschild homology together with circle actions. In the 'Real' setting, where the input is a ring with an anti-involution, one has analogous invariants, including Real topological negative cyclic homology. This paper builds a homology-level version of the trace method: a spectral sequence that starts from the mod two Bredon homology of Real topological Hochschild homology and converges to the continuous mod two Bredon homology of Real topological negative cyclic homology. A spectral sequence is a bookkeeping device that computes a complicated target from simpler initial data by a sequence of pages and differentials.

The authors apply this machine to Real bordism MU_R and truncated Real Brown-Peterson spectra BP_R. They obtain explicit formulas for the last pages of the spectral sequences, describing the outputs as polynomial and exterior algebras built from known classes. They also prove a general theorem saying that certain classes, obtained by equivariant Dyer-Lashof operations, survive to the end of the spectral sequence, which is what lets the computations close.

Two caveats are important. First, the proof of the permanent-cycle theorem depends on a computation of the homology of extended powers that is stated without proof in a cited preprint, with only a sketch deferred to another preprint. Second, the computed answers are given only up to an unspecified 'simple torsion module in filtration zero', so the homology is not fully explicit.

Extended reading notes

Core claim

Theorem A (Theorem 3.1): for a C2-spectrum with twisted T-action X, there is a conditionally convergent spectral sequence of A^{C2}_*-comodules E2 = H_*(X)<ybar> converging to H^c_*(X^{hC2 T}; F2), multiplicative when X is an E∞-algebra with the relation ybar a = μ_*(a) ybar. The paper further claims in Theorems 7.4 and 7.12 that this spectral sequence collapses at E4 for MU_R and BP_R<n> and determines the E∞-terms as explicit algebras, up to a simple ybar-torsion module in filtration zero.

Load-bearing premise

The proof of Theorem 6.1 depends on the assertion from [Wil19, Proposition 2.4.1], which the paper notes is stated without proof, that the F2-homology of Dbar_2(S(C^r)_+ ∧ S^V) is generated by xδx, Qiρ+εσ(x), Qjρ-ε(δx) with the stated relations, with a sketch deferred to [CGP25, Proposition 5.6]. If this extended power homology computation is incorrect, the permanent cycles and hence the Section 7 computations would fail. This is structurally distinct from the spectral sequence existence claim.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Good to get your take. I've read the paper. The core new thing is real: they construct a homological parametrized homotopy fixed point spectral sequence for C2-spectra with twisted T-action, generalizing Bruner–Rognes to the Real setting. The construction via the O(2)-equivariant filtration on E C2 T is written out in detail, including the multiplicative structure and the Weyl-twisted relation. That part looks solid to me. The computations for MU_R and BP_R (Theorems 7.4 and 7.6) are new and convincing, and the geometric fixed point corollary is a nice payoff.

The soft spots are real, and they sit exactly where you say. The E∞-terms are stated 'plus a simple y-bar torsion module in filtration zero'—that unspecified summand means the answer is not fully determined, even if the permanent-cycle algebra is. More importantly, Theorem 6.1(b), which is the engine for the BP_R computation, depends on Wilson's extended power homology computation [Wil19, Prop. 2.4.1], which is stated without proof and only deferred to a sketch in [CGP25]. The paper flags this honestly, but the flag doesn't make the computation established. If that additive basis is missing a generator or has a wrong index range, the permanent cycles in Theorem 7.12 and Corollary 7.13 do not follow. That's not a cosmetic concern; it's the load-bearing input for the strongest claims.

I also note the proof of Lemma 5.7 is given as a sketch—plausible, but not fully detailed. The authors are transparent about it, but it adds to the sense that the paper is a bit ahead of its proof.

Overall: the spectral sequence construction is a real contribution and the MU_R/BP_R computations are likely right. The BP_R result is conditional on an unproved external statement, so the paper reads as a strong research announcement plus detailed methods, rather than a finished computation. I'd send it to a serious referee. The referee should demand either a proof of the Wilson input, or a clear statement that the BP_R theorem is conditional on [CGP25]. I'd cite it for the spectral sequence and the MU_R/BP_R computations, and I'd be cautious citing Theorem 7.12 until the extended-power computation is available.

Referee Report

3 major / 4 minor

Summary. The paper develops a genuine C2-equivariant analogue of Bruner and Rognes' homological trace methods. For a C2-spectrum with twisted T-action X, the authors construct a conditionally convergent spectral sequence of A^{C2}_*-comodules E2 = H_*(X)⟨ȳ⟩ ⇒ H^c_*(X^{hC2T}; F2), and show that for E∞-algebras it is multiplicative with the relation ȳa = μ_*(a)ȳ. They identify the d2-differential via a Connes-type operator, prove a general permanence theorem (Theorem 6.1) for Dyer–Lashof-derived classes under a nontrivial d_{2r}-differential, and apply it to compute E∞-terms for TCR−(MU_R), TCR−(BP_R), and, under a standing C2-E∞ hypothesis and for −1 ≤ n ≤ 2, TCR−(BP_R⟨n⟩), together with geometric fixed-point variants. The spectral sequence construction and the MU_R/BP_R computations are written in detail, but the BP_R⟨n⟩ results depend on an unproved extended-power homology computation and on an unspecified torsion summand in the stated E∞-terms.

Significance. The construction of the homological parametrized homotopy fixed point spectral sequence is a new and potentially useful tool, and the comparison map to the geometric fixed point spectral sequence is a valuable feature. If the identified gaps are filled, the MU_R and BP_R computations would be solid and would provide the first explicit computations of continuous Bredon homology of Real negative cyclic homology for these examples. The paper is honest about its dependencies: it explicitly flags that [Wil19, Prop. 2.4.1] is stated without proof, that a sketch is deferred to [CGP25, Prop. 5.6], and that BP_R⟨n⟩ is only known to be C2-E∞ for −1 ≤ n ≤ 2. The main risk is not circularity but incompleteness of an external computational input.

major comments (3)

[Section 6, proof of Theorem 6.1(b)] The proof of case (b) is entirely dependent on the additive description H_*(X) ≅ H_*{xδx, Q_{iρ−ϵ}(x), Q_{jρ+ϵσ}(δx) | i ≥ k+1, j ≥ k+r, ϵ ∈ {0,1}} for |x| = kρ+1, quoted from [Wil19, Proposition 2.4.1]. The text immediately notes that Wilson states this computation without proof and refers to [CGP25, Proposition 5.6] for a sketch. This description is load-bearing for Theorem 7.12 and Corollary 7.13, because the permanent cycles for the τ_{n+i} classes are read off from these generators after applying the differential formula. A missing generator, an index-range error, or a sign error would change the E∞-page. Please supply a complete proof, or cite a published proof, or alternatively restrict the BP_R⟨n⟩ claims to the part that uses only case (a), which rests on the published [Wil17, Thm. 2.15].
[Theorems 7.4, 7.6, 7.12 and Corollaries 7.7, 7.13] Each of these statements ends with 'plus a simple ¯y-torsion module in filtration zero' (respectively 'simple z-torsion module'). The torsion summand is never described, and the term 'simple' is not defined. Since the theorems purport to determine the E∞-term, an unspecified summand means the computation is incomplete. Please identify this module, or prove that it is zero, or state explicitly what 'simple' means and how the module is determined by the convergence and the rest of the page.
[Lemma 5.7 and Proposition 5.8] The proof of Lemma 5.7 is a sketch: the reduction to π_0^{C2} of (S^σ × S^σ)_+ is given, but the verification on geometric fixed points is relegated to Figure 2 and the phrase 'readily verified.' This lemma is used in Proposition 5.8 to establish the multiplicative relation ȳa = μ_*(a)ȳ, which is part of Theorem A. A complete proof is needed.

minor comments (4)

[Section 3.1, after Theorem 3.1] The sentence 'the colimit of the tower in Theorem 3.1 is contractible' is imprecise: the contractible object is the colimit of the spaces E C2T(2n), not the tower of function spectra; please rephrase.
[Proposition 5.10] The formula d_{2r}(Q_{kρ−ϵ}(x)) = Q_{kρ−ϵ}(d_{2r}(x)) requires an extension of the equivariant Dyer–Lashof operations to the E_{2r}-page in the target bidegree; please state this extension or provide the universal-example verification directly.
[Theorem 7.12, proof] The assertion 'for degree reasons d2(¯ξ_{n+2}) = 0' is not justified; please indicate which target group vanishes.
[Proposition 7.10] The notation μ2 · {h_1, ..., h_{n+1}} and μ2 · b_n is introduced in the statement but not defined before use; please add a sentence explaining the μ2-orbit notation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the main computations are conditional on an external unproved extended-power homology statement, not on the paper's own conclusions.

full rationale

The paper's spectral sequence construction (Theorem 3.1, Proposition 5.8) is self-contained: it arises from an explicit O(2)-equivariant filtration of the universal parametrized bundle EC2T and converges to the continuous Bredon homology as defined in Definition 3.3. The multiplicative structure and differential formulas in Sections 4 and 5 are proved from the filtration and the twisted T-action rather than assumed from the target computations. Theorem 6.1 produces permanent cycles by analyzing the homological parametrized homotopy fixed point spectral sequence of a universal extended-power example, Dbar_2(S(C^r)_+ ∧ S^V), and then applying naturality; it does not assume the E_infinity-pages of Theorems 7.4 and 7.12. Those E_infinity computations are derived from Theorem 6.1 together with known homology inputs for MUR, BPR, and BPR<n>. The only notable load-bearing dependency is the statement [Wil19, Proposition 2.4.1] giving the F2-homology of Dbar_2(S(C^r)_+ ∧ S^V) for |x| = kρ+1, which the paper explicitly says Wilson states without proof and for which it defers to a sketch in [CGP25, Proposition 5.6]. This is an external, unproved computational input, not a reduction of the paper's conclusions to its own assumptions or to a fitted parameter called a prediction. The paper also cites prior work by one of its authors, notably [QS25] for parametrized fixed-point and Tate constructions, but those cited results are published external inputs and are not used to forbid alternatives or to smuggle in the target theorems. Accordingly, the circularity burden is essentially zero, though the correctness of the BPR<n> computation is conditional on the unproved Wilson/CGP extended-power calculation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper relies on standard equivariant stable homotopy theory plus several external results. The most fragile inputs are the unproved extended power computation and the assumed C2-E∞-structure on BP_R<n>; no new entities are postulated.

assumptions (5)

domain assumption The computation of the homology of the second extended power Dbar_2(S(C^r)_+ ∧ S^V) of [Wil19, Proposition 2.4.1].
Used in the proof of Theorem 6.1 to identify the E2-page of the universal example; the paper notes the computation is stated without proof in [Wil19].
domain assumption BP_R<n> admits a C2-E∞-ring structure for -1≤n≤2.
Assumed in Warning 7.9 and used in Theorem 7.12 and Corollary 7.13; known forms only exist in this range.
standard math The Hu-Kriz computation of the C2-equivariant Steenrod algebra A^{C2}_* and the Bredon homology of a point H_*.
Used throughout the paper, cited from [HK01].
domain assumption The existence and properties of Wilson's equivariant Dyer-Lashof operations Q_{kρ+εσ}.
Used in Theorem 6.1 and Section 7; from [Wil17].
domain assumption The equivalence THR(A)^{ΦC2} ≃ A^{ΦC2} ∧_{i*_e A} A^{ΦC2} of DMPR21.
Used in Propositions 7.2 and 7.10 to compute geometric fixed points of THR.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On homological Real trace methods." pith.science (2026). https://pith.science/paper/6UHUVUKC

@misc{pith2026260804297,
  author       = {Pith},
  title        = {Pith review of: On homological Real trace methods},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6UHUVUKC}},
  note         = {Machine review of arXiv:2608.04297}
}

read the original abstract

We develop homological Real trace methods, an approach to understanding the continuous mod two Bredon homology of Real topological periodic homology and Real topological negative cyclic homology, generalizing prior work of Bruner and Rognes. We use this new approach to do several computations, including the continuous mod two Bredon homology of the Real topological negative cyclic homology of Real bordism.

Figures

Figures reproduced from arXiv: 2608.04297 by the authors.

**Figure 2.** A deformation (red) of the diagonal (blue) for S(R 2 ). Proposition 5.8. Let R ∈ SphC2 T be an E∞-algebra. The homological parametrized homotopy fixed point spectral sequence for R is a multiplicative spectral sequence of AC2 ⋆ -comodule algebras with E 2 ∗,⋆ = H⋆(R; F2 )⟨y¯⟩ =⇒ Hc ⋆ (R hC2 T ; F2 ), where H⋆(R; F2 ) has the Pontryagin product, and the angle brackets indicate that there is a multiplicative relation… view at source ↗

**Figure 3.** The homological parametrized homotopy fixed point spectral sequence for D¯ 2(S(C)+∧S ρ )(left) and D¯ 2(S(C)+∧S ρ+1)(right). A single (x, y) coordinate corresponds to the RO(C2)-degree x + yσ with filtration degree suppressed. Each dot represents a copy of H⋆. A d 2r differential goes up by r and right by r − 1 [PITH_FULL_IMAGE:figures/full_fig_p026_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

297 extracted references · 71 canonical work pages

[1]

Hornbostel, Jens and Park, Doosung , title =. J. Inst. Math. Jussieu , issn =. 2024 , language =. doi:10.1017/S1474748023000178 , keywords =

work page doi:10.1017/s1474748023000178 2024
[2]

Norms in equivariant homotopy theory , year =

Lenz, Tobias and Linskens, Sil and P. Norms in equivariant homotopy theory , year =
[3]

and Hopkins, Michael J

Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , title =. Forum Math. , issn =. 2017 , language =. doi:10.1515/forum-2016-0017 , keywords =

doi:10.1515/forum-2016-0017 2017
[4]

2019 , howpublished =

Wilson, Dylan , title =. 2019 , howpublished =

2019
[5]

Angelini-Knoll, Gabriel and Kong, Hana Jia and Quigley, J. D. , title =. 2025 , howpublished =

2025
[6]

, TITLE =

Angelini-Knoll, Gabriel and Gerhardt, Teena and Hill, Michael A. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2025.110568 , URL =

arXiv 2025
[7]

and Meier, Lennart , title =

Hill, Michael A. and Meier, Lennart , title =. Algebr. Geom. Topol. , issn =. 2017 , language =. doi:10.2140/agt.2017.17.1953 , keywords =

doi:10.2140/agt.2017.17.1953 2017
[8]

Yang, Lucy , title =. Int. Math. Res. Not. , issn =. 2025 , language =. doi:10.1093/imrn/rnae262 , keywords =

work page doi:10.1093/imrn/rnae262 2025

Show all 297 references

[9]

Power operation for

Wilson, Dylan , Note =. Power operation for
[11]

Behrens, Mark and Wilson, Dylan , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/proc/14175 , URL =

2018 doi
[12]

Rognes, John , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1998 , NUMBER =. doi:10.1016/S0022-4049(96)00119-3 , URL =

1998 doi
[13]

Parametrized higher category theory

Shah, Jay , Note =. Parametrized higher category theory
[14]

2021 , Note=

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates , author=. 2021 , Note=

2021
[15]

2021 , Note=

Cartesian Fibrations of ( ,2) -categories , author=. 2021 , Note=

2021
[16]

Hermitian

Jonas Irgens Kylling and Oliver R\". Hermitian. 2020 , publisher =. doi:10.4310/cjm.2020.v8.n3.a3 , url =

2020 doi
[17]

An alpine bouquet of algebraic topology , pages=

John Greenlees , title =. An alpine bouquet of algebraic topology , pages=. 2018 , month = may, publisher =

2018
[18]

Topological Hochschild homology of stable -categories , journal =

Thomas Nikolaus , language =. Topological Hochschild homology of stable -categories , journal =. 2018 , pages=. doi:10.14760/OWR-2018-15 , url =

2018 doi
[19]

Real topological cyclic homology , author=
[20]

Parametrized and equivariant higher algebra , author=
[21]

and Kuhn, Nicholas J

Hopkins, Michael J. and Kuhn, Nicholas J. and Ravenel, Douglas C. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1090/S0894-0347-00-00332-5 , URL =

2000 doi
[22]

2020 , Note =

David Gepner and Lennart Meier , title =. 2020 , Note =

2020
[23]

Denis Nardin , title =
[24]

Oberwolfach Rep

Arbeitsgemeinschaft:. Oberwolfach Rep. , FJOURNAL =. 2018 , NUMBER =. doi:10.4171/OWR/2018/15 , URL =

2018 doi
[25]

Boundary amenability of

Bestvina, Mladen and Guirardel, Vincent and Horbez, Camille , journal=. Boundary amenability of
[26]

and Shah, Jay , journal=

Quigley, J.D. and Shah, Jay , journal=. On the parametrized
[27]

Real topological

Hahn, Jeremy and Wilson, Dylan , journal=. Real topological. 2021 , publisher=

2021
[28]

Hahn, Jeremy and Wilson, Dylan , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2022 , NUMBER =. doi:10.4007/annals.2022.196.3.6 , URL =

2022 doi
[29]

, journal=

Angelini-Knoll, Gabriel and Quigley, J.D. , journal=. Chromatic Complexity of the Algebraic
[30]

Purity in chromatically localized algebraic

Land, Markus and Mathew, Akhil and Meier, Lennart and Tamme, Georg , journal=. Purity in chromatically localized algebraic
[31]

Examples of chromatic redshift in algebraic

Yuan, Allen , journal=. Examples of chromatic redshift in algebraic
[33]

Some recent advances in topological

Mathew, Akhil , journal=. Some recent advances in topological
[34]

Handbook of homotopy theory , SERIES =

Hesselholt, Lars and Nikolaus, Thomas , TITLE =. Handbook of homotopy theory , SERIES =. 2020 , MRCLASS =

2020
[35]

Equivariant nonabelian Poincar

Hahn, Jeremy and Horev, Asaf and Klang, Inbar and Wilson, Dylan and Zou, Foling , journal=. Equivariant nonabelian Poincar
[36]

Inventiones Mathematicae , volume=

Moduli of graphs and automorphisms of free groups , author=. Inventiones Mathematicae , volume=. 1986 , publisher=

1986
[37]

arXiv:1910.14602 , year=

Stratified noncommutative geometry , author=. arXiv:1910.14602 , year=

1910 arXiv
[38]

Equivariant principal bundles and their classifying spaces , journal =

Wolfgang L\". Equivariant principal bundles and their classifying spaces , journal =. 2014 , month = aug, publisher =. doi:10.2140/agt.2014.14.1925 , url =

2014 doi
[39]

Survey on Classifying Spaces for Families of Subgroups , booktitle =

Wolfgang L\". Survey on Classifying Spaces for Families of Subgroups , booktitle =. doi:10.1007/3-7643-7447-0_7 , url =

doi
[40]

Algebraic

Bertrand Guillou and Peter May and Mona Merling , title =. Algebraic. 2017 , month = sep, publisher =. doi:10.2140/agt.2017.17.2565 , url =

2017 doi
[41]

Parametrized higher category theory , Year=

Shah, Jay , Note =. Parametrized higher category theory , Year=
[42]

Stratified categories, geometric fixed points and a generalized

Glasman, Saul , note=. Stratified categories, geometric fixed points and a generalized
[43]

Dotto, Emanuele , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2016 , NUMBER =. doi:10.1017/S1474748015000067 , URL =

2016 doi
[44]

Stable real

Dotto, Emanuele , school=. Stable real
[45]

Real algebraic

Calm. Real algebraic
[47]

Slices of hermitian

R. Slices of hermitian. Geometry & Topology , volume=. 2016 , publisher=

2016
[48]

Annals of Mathematics , volume=

The first stable homotopy groups of motivic spheres , author=. Annals of Mathematics , volume=. 2019 , publisher=

2019
[49]

Handbook of homotopy theory , SERIES =

Wickelgren, Kirsten and Williams, Ben , TITLE =. Handbook of homotopy theory , SERIES =. 2020 , MRCLASS =

2020
[50]

2012 , PAGES =

Morel, Fabien , TITLE =. 2012 , PAGES =. doi:10.1007/978-3-642-29514-0 , URL =

2012 doi
[51]

Dotto, Emanuele and Ogle, Crichton , journal=
[52]

Dotto, Emanuele and Ogle, Crichton , TITLE =. Ann. K-Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/akt.2019.4.243 , URL =

2019 doi
[53]

Real algebraic

Hesselholt, Lars and Madsen, Ib , Note =. Real algebraic
[54]

2003 , month = jul, publisher =

Lars Hesselholt and Ib Madsen , title =. 2003 , month = jul, publisher =. doi:10.4007/annals.2003.158.1 , url =

2003 doi
[55]

The smooth

Rognes, John , journal=. The smooth. 2003 , publisher=

2003
[56]

Algebraic

Ausoni, Christian and Rognes, John , journal=. Algebraic. 2002 , publisher=

2002
[57]

Enseignement Math

The chromatic red-shift in algebraic K-theory , author=. Enseignement Math
[58]

and McCarthy, Randy , TITLE =

Dundas, Bj rn Ian and Goodwillie, Thomas G. and McCarthy, Randy , TITLE =. 2013 , PAGES =

2013
[59]

and Weibel, C

Rognes, J. and Weibel, C. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1090/S0894-0347-99-00317-3 , URL =

2000 doi
[60]

Cyclonic spectra, cyclotomic spectra, and a conjecture of

Barwick, Clark and Glasman, Saul , note=. Cyclonic spectra, cyclotomic spectra, and a conjecture of
[61]

and Mandell, Michael A

Blumberg, Andrew J. and Mandell, Michael A. , TITLE =. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/gt.2012.16.1053 , URL =

2012 doi
[62]

Geometry & Topology , volume=

The homotopy theory of cyclotomic spectra , author=. Geometry & Topology , volume=. 2016 , publisher=

2016
[63]

Hesselholt, Lars and Madsen, Ib , journal=. On the. 1997 , publisher=

1997
[64]

The cyclotomic trace and algebraic

B. The cyclotomic trace and algebraic. Inventiones mathematicae , volume=. 1993 , publisher=

1993
[65]

Real topological cyclic homology of spherical group rings , Year =

Amalie H. Real topological cyclic homology of spherical group rings , Year =
[66]

The motivic

Stahn, Sven-Torben , note=. The motivic
[67]

Japanese Journal of Mathematics , volume=

Orientations in -cohomology theories , author=. Japanese Journal of Mathematics , volume=. 1979 , publisher=

1979
[68]

Antieau, Benjamin and Nikolaus, Thomas , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/951 , URL =

2021 doi
[69]

Bhatt, Bhargav and Morrow, Matthew and Scholze, Peter , TITLE =. Publ. Math. Inst. Hautes \'. 2019 , PAGES =. doi:10.1007/s10240-019-00106-9 , URL =

2019 doi
[70]

Dotto, Emanuele and Moi, Kristian and Patchkoria, Irakli and Reeh, Sune Precht , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/jems/1007 , URL =

2021 doi
[71]

Witt Vectors, Polynomial Maps, and Real Topological

Dotto, Emanuele and Moi, Kristian and Patchkoria, Irakli , journal=. Witt Vectors, Polynomial Maps, and Real Topological
[72]

Dotto, Emanuele and Moi, Kristian and Patchkoria, Irakli , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.12862 , URL =

2024 doi
[73]

Behrens, Mark and Shah, Jay , TITLE =. Ann. K-Theory , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/akt.2020.5.411 , URL =

2020 doi
[74]

Hill and Carolyn Yarnall , title =

Michael A. Hill and Carolyn Yarnall , title =. 2018 , month = may, publisher =. doi:10.1090/proc/13906 , url =

2018 doi
[75]

James , Isbn =

Adem, Alejandro and Milgram, R. James , Isbn =. Cohomology of Finite Groups , Volume =
[76]

Spectral M ackey functors and equivariant algebraic K -theory, II

Barwick, Clark and Glasman, Saul and Shah, Jay. Spectral M ackey functors and equivariant algebraic K -theory, II. Tunisian J. Math. 2020. doi:10.2140/tunis.2020.2.97

2020 doi
[77]

and Gerhardt, Teena and Hill, Michael A

Angeltveit, Vigleik and Blumberg, Andrew J. and Gerhardt, Teena and Hill, Michael A. and Lawson, Tyler and Mandell, Michael A. , Title =. Doc. Math. , ISSN =. 2018 , Language =. doi:10.25537/dm.2018v23.2101-2163 , Keywords =

2018 doi
[78]

Greenlees, J. P. C. and May, J. P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/memo/0543 , URL =

1995 doi
[79]

Journal of Topology , volume =

Sanders, Beren , title =. Journal of Topology , volume =. doi:10.1112/topo.12089 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/topo.12089 , abstract =

doi
[80]

On topological cyclic homology

Nikolaus, Thomas and Scholze, Peter. On topological cyclic homology. Acta Math. 2018. doi:10.4310/ACTA.2018.v221.n2.a1

2018 doi
[81]

2017 , publisher=

A Study in Derived Algebraic Geometry , author=. 2017 , publisher=

2017
[82]

2017 , note =

David Ayala and Aaron Mazel-Gee and Nick Rozenblyum , Title =. 2017 , note =

2017
[83]

, TITLE =

Quigley, J.D. , TITLE =. J. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/topo.12185 , URL =

2021 doi
[84]

May, J. P. , TITLE =. 1996 , PAGES =. doi:10.1090/cbms/091 , URL =

1996 doi
[85]

Geometry

Akhil Mathew and Niko Naumann and Justin Noel , title =. Geometry. 2019 , month = apr, publisher =. doi:10.2140/gt.2019.23.541 , url =

2019 doi
[86]

2017 , month = jan, publisher =

Akhil Mathew and Niko Naumann and Justin Noel , title =. 2017 , month = jan, publisher =. doi:10.1016/j.aim.2016.09.027 , url =

2017 doi
[87]

2016 , note =

Clark Barwick and Saul Glasman , Title =. 2016 , note =

2016
[88]

Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms

Dumas, Jean-Guillaume and Heckenbach, Frank and Saunders, David and Welker, Volkmar. Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms. Algebra, Geometry and Software Systems. 2003

2003
[89]

David Saunders and Gilles Villard

Jean-Guillaume Dumas and B. David Saunders and Gilles Villard. On Efficient Sparse Integer Matrix Smith Normal Form Computations. Journal of Symbolic Computation. 2001. doi:https://doi.org/10.1006/jsco.2001.0451

2001
[90]

Quinn, Frank , Title =. J. Am. Math. Society , Pages =
[91]

The Simplex Tree: An Efficient Data Structure for General Simplicial Complexes

Boissonnat, Jean-Daniel and Maria, Cl \'e ment. The Simplex Tree: An Efficient Data Structure for General Simplicial Complexes. Algorithmica. 2014. doi:10.1007/s00453-014-9887-3

2014 doi
[92]

Exit paths and constructible stacks , Volume =

Treumann, David , Date-Added =. Exit paths and constructible stacks , Volume =. Compositio Mathematica , Pages =
[93]

Journal of Homotopy and Related Structures , Number =

Woolf, Jon , Title =. Journal of Homotopy and Related Structures , Number =
[94]

2018 , Note =

Douteau, Sylvain , Title =. 2018 , Note =

2018
[95]

2018 , Note =

Barwick, Clark and Glasman, Saul and Haine, Peter , Title =. 2018 , Note =

2018
[96]

2014 , Note =

Curry, Justin , Title =. 2014 , Note =

2014
[97]

On Codimension One Embedding of Simplicial Complexes

Bj \"o rner, Anders and Goodarzi, Afshin. On Codimension One Embedding of Simplicial Complexes. A Journey Through Discrete Mathematics: A Tribute to Ji r \'i Matou s ek. 2017. doi:10.1007/978-3-319-44479-6_9

2017 doi
[98]

2017 , Note =

Nanda, Vidit , Title =. 2017 , Note =

2017
[99]

2018 , Note =

Brown, Adam and Wang, Bei , Title =. 2018 , Note =

2018
[100]

Bachmann, Tom and Hoyois, Marc , TITLE =. Ast\'. 2021 , PAGES =. doi:10.24033/ast , URL =

2021 doi
[101]

2016 , Note =

Nardin, Denis , Title =. 2016 , Note =

2016
[102]

, Title =

Mazel-Gee, A. , Title =. 2015 , Note =

2015
[103]

2015 , Eprint =

Aaron Mazel-Gee , Title =. 2015 , Eprint =

2015
[104]

arXiv:1511.07363 , year=

G-symmetric monoidal categories of modules over equivariant commutative ring spectra , author=. arXiv:1511.07363 , year=

arXiv
[105]

Algebraic

Emanuele Dotto and Kristian Moi , title =. Algebraic. 2016 , month = feb, publisher =. doi:10.2140/agt.2016.16.325 , url =

2016 doi
[106]

Parametrized higher category theory and higher algebra:

Barwick, Clark and Dotto, Emanuele and Glasman, Saul and Nardin, Denis and Shah, Jay , Note =. Parametrized higher category theory and higher algebra:
[107]

and Hill, Michael A

Blumberg, Andrew J. and Hill, Michael A. , Date-Added =. Operadic multiplications in equivariant spectra, norms, and transfers , Url =. Adv. Math. , Mrclass =. 2015 , Bdsk-Url-1 =. doi:10.1016/j.aim.2015.07.013 , Fjournal =

2015 doi
[108]

Bergner, J. E. , Date-Added =. Equivalence of models for equivariant ( ,1) -categories , Year =
[109]

, Date-Added =

Stephan, M. , Date-Added =. Homol. Homotopy Appl. , Title =
[110]

and Mathew, A

Clausen, D. and Mathew, A. and Naumann, N. and Noel, J. , Date-Added =. Descent in algebraic
[111]

and Nardin, D

Barwick, C. and Nardin, D. , Date-Added =. Norms in algebraic
[112]

and Nardin, D

Barwick, C. and Nardin, D. and Shah, J. , Date-Added =. Module theory for parametrized
[113]

and Nardin, D

Barwick, C. and Nardin, D. and Shah, J. , Date-Added =
[114]

and Dotto, E

Barwick, C. and Dotto, E. and Glasman, S. and Nardin, D. and Shah, J. , Date-Added =
[115]

, Date-Added =

Barwick, C. , Date-Added =. Algebraic
[116]

and Glasman, S

Barwick, C. and Glasman, S. , Date-Added =
[117]

Parametrized higher category theory and higher algebra: Expos

Barwick, Clark and Dotto, Emanuele and Glasman, Saul and Nardin, Denis and Shah, Jay , Note =. Parametrized higher category theory and higher algebra: Expos
[118]

Blumberg, A. J. and Hill, M. A. , Date-Added =
[119]

Fibrations in -category theory

Barwick, Clark and Shah, Jay. Fibrations in -category theory. 2016 MATRIX Annals. 2018. doi:10.1007/978-3-319-72299-3_2

2016 doi
[120]

and Glasman, S

Barwick, C. and Glasman, S. and Shah, J. , Date-Added =. Spectral
[121]

, Date-Added =

Schwede, S. , Date-Added =
[122]

Hill, M. A. and Hopkins, M. J. and Ravenel, D. C. , Date-Added =. On the nonexistence of elements of. Ann. of Math. (2) , Mrclass =
[123]

2016 , month = jul, publisher =

Michael Hill and Michael Hopkins and Douglas Ravenel , title =. 2016 , month = jul, publisher =. doi:10.4007/annals.2016.184.1.1 , url =

2016 doi
[124]

Orthogonal calculus , Url =

Weiss, Michael , Coden =. Orthogonal calculus , Url =. Trans. Amer. Math. Soc. , Mrclass =. 1995 , Bdsk-Url-1 =. doi:10.2307/2155204 , Fjournal =

1995 doi
[125]

, Date-Added =

Glasman, S. , Date-Added =
[126]

and Glasman, S

Barwick, C. and Glasman, S. , Date-Added =. Cyclonic spectra, cyclotomic spectra, and a conjecture of
[127]

May, J. P. and Sigurdsson, J. , Date-Added =. Parametrized homotopy theory , Url =. 2006 , Bdsk-Url-1 =. doi:10.1090/surv/132 , Isbn =

2006 doi
[128]

Hill, M. A. and Hopkins, M. J. , Date-Added =
[129]

and Glasman, S

Barwick, C. and Glasman, S. , Date-Added =. On the fibrewise effective
[130]

and Moerdijk, I

Heuts, G. and Moerdijk, I. , Date-Added =
[131]

and Moerdijk, I

Heuts, G. and Moerdijk, I. , Date-Added =. Left fibrations and homotopy colimits
[132]

Dugger, Daniel and Spivak, David I , Date-Added =. Algebr. Geom. Topol. , Number =. 2011 , Bdsk-Url-1 =

2011
[133]

Dualizing cartesian and cocartesian fibrations , volume =

Barwick, Clark and Glasman, Saul and Nardin, Denis , year =. Dualizing cartesian and cocartesian fibrations , volume =
[134]

, Date-Modified =

Chorny, B. , Date-Modified =. Homotopy theory of relative simplicial presheaves , Url =. Israel J. Math. , Mrclass =. 2015 , Bdsk-Url-1 =. doi:10.1007/s11856-014-1133-9 , Fjournal =

2015 doi
[135]

and Dwyer, W

Chorny, B. and Dwyer, W. G. , Coden =. Homotopy theory of small diagrams over large categories , Url =. Forum Math. , Mrclass =. 2009 , Bdsk-Url-1 =. doi:10.1515/FORUM.2009.009 , Fjournal =

2009 doi
[136]

Dwyer, W. G. and Kan, D. M. , Coden =. Singular functors and realization functors , Volume =. Nederl. Akad. Wetensch. Indag. Math. , Mrclass =
[137]

, Coden =

Dror Farjoun, E. , Coden =. Homotopy theories for diagrams of spaces , Url =. Proc. Amer. Math. Soc. , Mrclass =. 1987 , Bdsk-Url-1 =. doi:10.2307/2046572 , Fjournal =

1987 doi
[138]

, Coden =

Miller, H. , Coden =. Finite localizations , Volume =. Bol. Soc. Mat. Mexicana (2) , Mrclass =
[139]

McClure, J. E. and Staffeldt, R. E. , Coden =. The chromatic convergence theorem and a tower in algebraic. Proc. Amer. Math. Soc. , Mrclass =. 1993 , Bdsk-Url-1 =. doi:10.2307/2160154 , Fjournal =

1993 doi
[140]

and Richter, B

Baker, A. and Richter, B. , Date-Added =. Galois extensions of. Homology, Homotopy Appl. , Mrclass =. 2008 , Bdsk-Url-1 =

2008
[141]

, Booktitle =

Waldhausen, F. , Booktitle =. Algebraic. 1984 , Bdsk-Url-1 =. doi:10.1007/BFb0075567 , Mrclass =

1984 doi
[142]

Lewis, Jr., L. G. , Date-Added =. The theory of
[143]

, Date-Added =

Day, B. , Date-Added =. Construction of biclosed categories , Year =
[144]

, Booktitle =

Lurie, J. , Booktitle =. On the classification of topological field theories , Year =
[145]

, Date-Added =

Fausk, H. , Date-Added =. Equivariant homotopy theory for pro-spectra , Url =. Geom. Topol. , Mrclass =. 2008 , Bdsk-Url-1 =. doi:10.2140/gt.2008.12.103 , Fjournal =

2008 doi
[146]

Spectral M ackey functors and equivariant algebraic K -theory ( I )

Clark Barwick. Spectral M ackey functors and equivariant algebraic K -theory ( I ). Advances in Mathematics. 2017. doi:https://doi.org/10.1016/j.aim.2016.08.043

2017 doi
[147]

, Booktitle =

Williams, B. , Booktitle =. Bivariant. 2000 , Bdsk-Url-1 =. doi:10.1090/conm/258/1778119 , Mrclass =

2000 doi
[148]

Carlsson , Date-Added =

G. Carlsson , Date-Added =. Derived representation theory and the algebraic K -theory of fields , Year =
[149]

, Date-Added =

tom Dieck, T. , Date-Added =. Orbittypen und \"aquivariante. Arch. Math. (Basel) , Mrclass =
[150]

Hill, M. A. and Hopkins, M. J. and Ravenel, D. C. , Date-Added =. On the non-existence of elements of
[151]

Hill, M. A. and Hopkins, M. J. and Ravenel, D. C. , Booktitle =. The
[152]

Mandell, M. A. and May, J. P. , Coden =. Equivariant orthogonal spectra and. Mem. Amer. Math. Soc. , Mrclass =. 2002 , Bdsk-Url-1 =. doi:10.1090/memo/0755 , Fjournal =

2002 doi
[153]

Lewis, Jr., L. G. and May, J. P. and Steinberger, M. and McClure, J. E. , Date-Added =. Equivariant stable homotopy theory , Volume =
[154]

Johnstone, P. T. , Date-Added =. Sketches of an elephant: a topos theory compendium
[155]

, Coden =

Shimakawa, K. , Coden =. An. Quart. J. Math. Oxford Ser. (2) , Mrclass =. 1994 , Bdsk-Url-1 =. doi:10.1093/qmath/45.3.367 , Fjournal =

1994 doi
[156]

, Coden =

Shimakawa, K. , Coden =. Note on the equivariant. Publ. Res. Inst. Math. Sci. , Mrclass =. 1993 , Bdsk-Url-1 =. doi:10.2977/prims/1195167052 , Fjournal =

1993
[157]

, Coden =

Shimakawa, K. , Coden =. Mackey systems of monoidal categories and. K -Theory , Mrclass =. 1991/92 , Bdsk-Url-1 =. doi:10.1007/BF00535647 , Fjournal =

1991 doi
[158]

, Coden =

Shimakawa, K. , Coden =. Mackey structures on equivariant algebraic. K -Theory , Mrclass =. 1991/92 , Bdsk-Url-1 =. doi:10.1007/BF00535646 , Fjournal =

1991 doi
[159]

, Coden =

Shimakawa, K. , Coden =. A note on. Osaka J. Math. , Mrclass =. 1991 , Bdsk-Url-1 =

1991
[160]

Kuku, A. O. , Date-Added =. Representation theory and higher algebraic
[161]

Kuku, A. O. , Date-Added =. Equivariant higher algebraic. Beitr\"age Algebra Geom. , Mrclass =
[162]

Kuku, A. O. , Booktitle =
[163]

Kuku, A. O. , Date-Added =. Equivariant higher. Beitr\"age Algebra Geom. , Mrclass =
[164]

Kuku, A. O. , Booktitle =. Equivariant. 1984 , Bdsk-Url-1 =. doi:10.1007/BFb0072025 , Mrclass =

1984 doi
[165]

Dress, A. W. M. and Kuku, A. O. , Booktitle =. A convenient setting for equivariant higher algebraic
[166]

Dress, A. W. M. and Kuku, A. O. , Coden =. The. Comm. Algebra , Mrclass =. 1981 , Bdsk-Url-1 =. doi:10.1080/00927878108822615 , Fjournal =

1981 doi
[167]

Dress, A. W. M. , Booktitle =. Contributions to the theory of induced representations , Year =
[168]

Dress, A. W. M. , Date-Added =. Notes on the theory of representations of finite groups
[169]

, Date-Added =

Kaledin, D. , Date-Added =. Derived. Mosc. Math. J. , Mrclass =
[170]

and May, J

Guillou, B. and May, J. P. , Date-Added =. Permutative
[171]

and May, J

Guillou, B. and May, J. P. and Merling, M. , Date-Added =. Categorical models for equivariant classifying spaces , Year =
[172]

Guillou, Bertrand and May, J. P. , Note =. Models of
[173]

and May, J

Guillou, Bertrand J. and May, J. Peter , title =. Algebr. Geom. Topol. , issn =. 2017 , language =. doi:10.2140/agt.2017.17.3259 , keywords =

2017 doi
[174]

and May, J

Guillou, B. and May, J. P. , Date-Added =. Enriched model categories and diagram categories , Year =
[175]

Rev\^etements \'etales et groupe fondamental , Year =
[176]

and Lawson, T

Barwick, C. and Lawson, T. , Date-Added =. Regularity of structured ring spectra and localization in
[177]

Configuration-spaces and iterated loop-spaces , Volume =

Segal, Graeme , Date-Added =. Configuration-spaces and iterated loop-spaces , Volume =. Invent. Math. , Mrclass =
[178]

Multiplicative

Hedenlund, Alice , school=. Multiplicative
[179]

Berrick, A. J. and Karoubi, M. , TITLE =. Amer. J. Math. , FJOURNAL =. 2005 , NUMBER =

2005
[180]

Berrick, A. J. and Karoubi, M. and Schlichting, M. and. The. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.01.018 , URL =

2015 doi
[181]

Barwick and D

C. Barwick and D. M. Kan , Date-Added =. From partial model categories to -categories , Url =. 2013 , Bdsk-Url-1 =

2013
[182]

, Date-Added =

Glasman, S. , Date-Added =. Day convolution for -categories , Year =
[183]

, Date-Added =

Glasman, S. , Date-Added =. A spectrum-level Hodge filtration on topological Hochschild homology , Year =
[184]

Selecta Math

Glasman, Saul , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00029-016-0228-z , URL =

2016 doi
[185]

, Date-Added =

Rezk, C. , Date-Added =. Fibrations and homotopy colimits of simplicial sheaves , Year =
[186]

, Date-Added =

Barwick, C. , Date-Added =. From operator categories to topological operads , Year =
[187]

McClure, J. E. and Smith, J. H. , Booktitle =. A solution of. 2002 , Bdsk-Url-1 =. doi:10.1090/conm/293/04948 , Mrclass =

2002 doi
[188]

and Soibelman, Y

Kontsevich, M. and Soibelman, Y. , Booktitle =. Deformations of algebras over operads and the
[189]

Blumberg, A. J. and Mandell, M. A. , Date-Added =. Derived. J. Topol. , Mrclass =. 2011 , Bdsk-Url-1 =. doi:10.1112/jtopol/jtr003 , Fjournal =

2011 doi
[190]

Blumberg, A. J. , Date-Modified =. Continuous functors as a model for the equivariant stable homotopy category , Url =. Algebr. Geom. Topol. , Mrclass =. 2006 , Bdsk-Url-1 =. doi:10.2140/agt.2006.6.2257 , Fjournal =

2006 doi
[191]

Priddy, S. B. , Booktitle =. On
[192]

, Date-Added =

Barwick, C. , Date-Added =. Multiplicative structures on algebraic
[193]

Blumberg, A. J. and Gepner, D. and Tabuada, G. , Date-Added =
[194]

Elmendorf, A. D. and Mandell, M. A. , Coden =. Rings, modules, and algebras in infinite loop space theory , Url =. Adv. Math. , Mrclass =. 2006 , Bdsk-Url-1 =. doi:10.1016/j.aim.2005.07.007 , Fjournal =

2006 doi
[195]

, Date-Added =

Fiore, T. , Date-Added =. Approximation in
[196]

Th\'eorie des topos et cohomologie \'etale des sch\'emas
[197]

Williams, N. H. , Date-Added =. On. Compositio Math. , Mrclass =
[198]

, Booktitle =

Madsen, I. , Booktitle =. Algebraic
[199]

Dwyer, W. G. and Kan, D. M. , Coden =. Function complexes for diagrams of simplicial sets , Volume =. Nederl. Akad. Wetensch. Indag. Math. , Mrclass =
[200]

, Date-Added =

Barwick, C. , Date-Added =. On exact -categories and the theorem of the heart , Year =
[201]

and Richter, B

Baker, A. and Richter, B. , Coden =. Uniqueness of. Proc. Amer. Math. Soc. , Mrclass =. 2008 , Bdsk-Url-1 =. doi:10.1090/S0002-9939-07-08984-8 , Fjournal =

2008 doi
[202]

and Zhang, J

Yekutieli, A. and Zhang, J. J. , Coden =. Dualizing complexes and perverse sheaves on noncommutative ringed schemes , Url =. Selecta Math. (N.S.) , Mrclass =. 2006 , Bdsk-Url-1 =. doi:10.1007/s00029-006-0022-4 , Fjournal =

2006 doi
[203]

and Bezrukavnikov, R

Arinkin, D. and Bezrukavnikov, R. , Date-Added =. Perverse coherent sheaves , Volume =. Mosc. Math. J. , Mrclass =
[204]

, Coden =

Keller, B. , Coden =. Chain complexes and stable categories , Url =. Manuscripta Math. , Mrclass =. 1990 , Bdsk-Url-1 =. doi:10.1007/BF02568439 , Fjournal =

1990 doi
[205]

, Coden =

Schlichting, M. , Coden =. A note on. Invent. Math. , Mrclass =. 2002 , Bdsk-Url-1 =. doi:10.1007/s00222-002-0231-1 , Fjournal =

2002 doi
[206]

Higher topos theory , Volume =

Lurie, Jacob , Date-Added =. Higher topos theory , Volume =
[207]

, Booktitle =

Neeman, A. , Booktitle =. The. 2005 , Bdsk-Url-1 =. doi:10.1007/978-3-540-27855-9_20 , Mrclass =

2005 doi
[208]

, Coden =

Neeman, A. , Coden =. K -Theory , Mrclass =. 2000 , Bdsk-Url-1 =. doi:10.1023/A:1007860320980 , Fjournal =

2000 doi
[209]

, Coden =

Neeman, A. , Coden =. K -Theory , Mrclass =. 2000 , Bdsk-Url-1 =. doi:10.1023/A:1007899920072 , Fjournal =

2000 doi
[210]

, Date-Added =

Neeman, A. , Date-Added =. Asian J. Math. , Mrclass =
[211]

, Coden =

Neeman, A. , Coden =. K -Theory , Mrclass =. 2001 , Bdsk-Url-1 =. doi:10.1023/A:1011172502978 , Fjournal =

2001 doi
[212]

and Rognes, J

Ausoni, C. and Rognes, J. , Date-Added =. Algebraic
[213]

, Date-Added =

Barwick, C. , Date-Added =. On the algebraic
[214]

Goodwillie, T. G. , Coden =. Calculus. K -Theory , Mrclass =. 1990 , Bdsk-Url-1 =. doi:10.1007/BF00534191 , Fjournal =

1990 doi
[215]

Goodwillie, T. G. , Coden =. Calculus. K -Theory , Mrclass =. 1991/92 , Bdsk-Url-1 =. doi:10.1007/BF00535644 , Fjournal =

1991 doi
[216]

Goodwillie, T. G. , Date-Added =. Calculus. Geom. Topol. , Mrclass =. 2003 , Bdsk-Url-1 =. doi:10.2140/gt.2003.7.645 , Fjournal =

2003 doi
[217]

, TITLE =

Goodwillie, Thomas G. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1986 , NUMBER =. doi:10.2307/1971283 , URL =

1986 doi
[218]

Krishna, A. and. Nisnevich descent for. Journal of K-Theory , Pages =. 2011 , Bdsk-Url-1 =. doi:10.1017/is011006028jkt161 , Eprint =

2011 doi
[219]

Blumberg, A. J. and Mandell, M. A. , Coden =. The localization sequence for the algebraic. Acta Math. , Mrclass =. 2008 , Bdsk-Url-1 =. doi:10.1007/s11511-008-0025-4 , Fjournal =

2008 doi
[220]

, Coden =

Joshua, R. , Coden =. Higher intersection theory on algebraic stacks. K -Theory , Mrclass =
[221]

, Coden =

Joshua, R. , Coden =. Riemann-. Compositio Math. , Mrclass =
[222]

Th\'eor\`emes de

To. Th\'eor\`emes de. K -Theory , Mrclass =
[223]

Elmendorf, A. D. and Kriz, I. and Mandell, M. A. and May, J. P. , Date-Added =. Rings, modules, and algebras in stable homotopy theory , Volume =
[224]

Staffeldt, R. E. , Coden =. On fundamental theorems of algebraic. K -Theory , Mrclass =. 1989 , Bdsk-Url-1 =. doi:10.1007/BF00533280 , Fjournal =

1989 doi
[225]

, Date-Added =

Cisinski, D.-C. , Date-Added =. Invariance de la. J. K-Theory , Mrclass =. 2010 , Bdsk-Url-1 =. doi:10.1017/is009010008jkt094 , Fjournal =

2010 doi
[226]

Blumberg, A. J. and Mandell, M. A. , Coden =. Algebraic. Adv. Math. , Mrclass =. 2011 , Bdsk-Url-1 =. doi:10.1016/j.aim.2010.11.002 , Fjournal =

2011 doi
[227]

and Jahren, B

Waldhausen, F. and Jahren, B. and Rognes, J. , Date-Added =. Spaces of
[228]

, Coden =

Schwede, S. , Coden =. Stable homotopical algebra and. Math. Proc. Cambridge Philos. Soc. , Mrclass =
[229]

Mandell, M. A. , Date-Added =. An inverse. Doc. Math. , Mrclass =
[230]

, Coden =

Lazarev, A. , Coden =. Towers of. Proc. London Math. Soc. (3) , Mrclass =. 2003 , Bdsk-Url-1 =. doi:10.1112/S0024611503014102 , Fjournal =

2003 doi
[231]

and Vezzosi, G

To\"en, B. and Vezzosi, G. , Date-Added =. Homotopical algebraic geometry. Adv. Math. , Mrclass =
[232]

and Vezzosi, G

To\"en, B. and Vezzosi, G. , Coden =. Homotopical algebraic geometry. Mem. Amer. Math. Soc. , Mrclass =
[233]

, Date-Added =

Lurie, J. , Date-Added =. Derived algebraic geometry
[234]

Lecture notes on algebraic

Lurie, Jacob , Howpublished =. Lecture notes on algebraic
[235]

and Rognes, J

Ausoni, C. and Rognes, J. , Coden =. Algebraic. Acta Math. , Mrclass =
[236]

Dwyer, W. G. and Weiss, M. and Williams, B. , Coden =. A parametrized index theorem for the algebraic. Acta Math. , Mrclass =. 2003 , Bdsk-Url-1 =. doi:10.1007/BF02393236 , Fjournal =

2003 doi
[237]

Barwick and D

C. Barwick and D. M. Kan , Date-Added =. Quillen theorems. 2013 , Bdsk-Url-1 =

2013
[238]

Dwyer, W. G. and Hirschhorn, P. S. and Kan, D. M. and Smith, J. H. , Date-Added =. Homotopy limit functors on model categories and homotopical categories , Volume =
[239]

and Vezzosi, G

To\"en, B. and Vezzosi, G. , Coden =. A remark on. Topology , Mrclass =
[240]

and Simpson, C

Hirschowitz, A. and Simpson, C. , Date-Added =
[241]

and Schommer-Pries, C

Barwick, C. and Schommer-Pries, C. , Date-Added =. On the unicity of the homotopy theory of higher categories , Year =
[242]

Vers une axiomatisation de la th\'eorie des cat\'egories sup\'erieures , Url =

To. Vers une axiomatisation de la th\'eorie des cat\'egories sup\'erieures , Url =. K -Theory , Mrclass =. 2005 , Bdsk-Url-1 =. doi:10.1007/s10977-005-4556-6 , Fjournal =

2005 doi
[243]

Bergner, J. E. , Booktitle =. A survey of. 2010 , Bdsk-Url-1 =. doi:10.1007/978-1-4419-1524-5_2 , Mrclass =

2010 doi
[244]

Bergner, J. E. , Coden =. Complete. Trans. Amer. Math. Soc. , Mrclass =. 2009 , Bdsk-Url-1 =. doi:10.1090/S0002-9947-08-04616-3 , Fjournal =

2009 doi
[245]

Bergner, J. E. , Coden =. A characterization of fibrant. Proc. Amer. Math. Soc. , Mrclass =. 2007 , Bdsk-Url-1 =. doi:10.1090/S0002-9939-07-08924-1 , Fjournal =

2007 doi
[246]

and Tierney, M

Joyal, A. and Tierney, M. , Booktitle =. Quasi-categories vs. 2007 , Bdsk-Url-1 =

2007
[247]

Bergner, J. E. , Coden =. Three models for the homotopy theory of homotopy theories , Url =. Topology , Mrclass =. 2007 , Bdsk-Url-1 =. doi:10.1016/j.top.2007.03.002 , Fjournal =

2007 doi
[248]

, Coden =

Rezk, C. , Coden =. A model for the homotopy theory of homotopy theory , Volume =. Trans. Amer. Math. Soc. , Mrclass =. 2001 , Bdsk-File-1 =

2001
[249]

Simpson , Date-Added =

C. Simpson , Date-Added =. Homotopy theory of higher categories , Year =
[250]

Bergner, J. E. , Coden =. A model category structure on the category of simplicial categories , Url =. Trans. Amer. Math. Soc. , Mrclass =. 2007 , Bdsk-Url-1 =. doi:10.1090/S0002-9947-06-03987-0 , Fjournal =

2007 doi
[251]

Dwyer, W. G. and Kan, D. M. , Date-Added =. Simplicial localizations of categories , Volume =. J. Pure Appl. Algebra , Mrclass =
[252]

Dwyer, W. G. and Kan, D. M. , Date-Added =. Calculating simplicial localizations , Volume =. J. Pure Appl. Algebra , Mrclass =
[253]

Dwyer, W. G. and Kan, D. M. , Coden =. Function complexes in homotopical algebra , Volume =. Topology , Mrclass =
[254]

, Booktitle =

Joyal, A. , Booktitle =. The Theory of Quasi-Categories and its Applications , Volume =
[255]

, Date-Added =

Joyal, A. , Date-Added =. Notes on quasi-categories , Year =
[256]

Michael , TITLE =

Boardman, J. Michael , TITLE =. Homotopy invariant algebraic structures (. 1999 , MRCLASS =. doi:10.1090/conm/239/03597 , URL =

1999 doi
[257]

Boardman, J. M. and Vogt, R. M. , Date-Added =. Homotopy invariant algebraic structures on topological spaces , Year =
[258]

, Date-Added =

Zakharevich, I. , Date-Added =. Scissors congruence as
[259]

, Coden =

Tabuada, G. , Coden =. Higher. Duke Math. J. , Mrclass =. 2008 , Bdsk-Url-1 =. doi:10.1215/00127094-2008-049 , Fjournal =

2008 doi
[260]

, Booktitle =

Quillen, D. , Booktitle =. Higher algebraic
[261]

On the cohomology and

Quillen, Daniel , year = 1972, journal =. On the cohomology and

1972
[262]

Algebraic

Quillen, Daniel , TITLE =. Algebraic. 1973 , MRCLASS =

1973
[263]

Algebraic

Lichtenbaum, Stephen , TITLE =. Algebraic. 1973 , MRCLASS =

1973
[264]

Handbook of

Balmer, Paul , TITLE =. Handbook of. 2005 , MRCLASS =. doi:10.1007/978-3-540-27855-9\_11 , URL =

2005 doi
[265]

Thomason, R. W. and Trobaugh, T. , Booktitle =. Higher algebraic
[266]

Blumberg, A. J. and Gepner, D. and Tabuada, G. , Date-Added =. A universal characterization of higher algebraic
[267]

Goodwillie, T. G. , Booktitle =. The differential calculus of homotopy functors , Year =
[268]

, Coden =

McCarthy, R. , Coden =. On fundamental theorems of algebraic. Topology , Mrclass =. 1993 , Bdsk-Url-1 =. doi:10.1016/0040-9383(93)90023-O , Fjournal =

1993 doi
[269]

, Date-Added =

Grothendieck, A. , Date-Added =. La th\'eorie des classes de. Bull. Soc. Math. France , Mrclass =
[270]

and Grothendieck, A

Berthelot, P. and Grothendieck, A. and Illusie, L. , Date-Added =. Th\'eorie des intersections et th\'eor\`eme de
[271]

, Date-Added =

Segal, G. , Date-Added =. Categories and cohomology theories , Volume =. Topology , Mrclass =
[272]

( ,2) -categories and the

Lurie, Jacob , Date-Added =. ( ,2) -categories and the. 2009 , Bdsk-Url-1 =. 0905.0462 , Month =

2009 arXiv
[273]

Barwick and D

C. Barwick and D. M. Kan , Date-Added =. Relative categories:. 2012 , Bdsk-Url-1 =. 1011.1691 , Journal =

2012 arXiv
[274]

, Booktitle =

Waldhausen, F. , Booktitle =. Algebraic
[275]

Higher Algebra , Year =

Lurie, Jacob , Date-Added =. Higher Algebra , Year =
[276]

, Number =

Hovey, M. , Number =. Model categories , Year =
[277]

Lax colimits and free fibrations in -categories , volume =

Gepner, David and Haugseng, Rune and Nikolaus, Thomas , year =. Lax colimits and free fibrations in -categories , volume =
[278]

Ambidexterity in

Hopkins, Michael and Lurie, Jacob , year=. Ambidexterity in
[279]

Annals of Mathematics , pages=

The higher dimensional cohomology groups of class field theory , author=. Annals of Mathematics , pages=. 1952 , publisher=

1952
[280]

Greenlees, J. P. C. , TITLE =. Proc. Edinburgh Math. Soc. (2) , FJOURNAL =. 1987 , NUMBER =. doi:10.1017/S0013091500026833 , URL =

1987 doi
[281]

, TITLE =

Swan, Richard G. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1960 , PAGES =. doi:10.1007/BF02565923 , URL =

1960 doi
[282]

Atiyah, M. F. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.1093/qmath/17.1.367 , URL =

1966 doi
[283]

Mathew, Akhil and Meier, Lennart , TITLE =. J. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/jtopol/jtv005 , URL =

2015 doi
[284]

Rognes, John , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/memo/0898 , URL =

2008 doi
[285]

Topology , FJOURNAL =

Hu, Po and Kriz, Igor , TITLE =. Topology , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0040-9383(99)00065-8 , URL =

2001 doi
[286]

Fajstrup, Lisbeth , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2154979 , URL =

1995 doi
[287]

and Mahowald, Mark , TITLE =

Davis, Donald M. and Mahowald, Mark , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.1017/S030500410006196X , URL =

1984 doi
[288]

and Johnson, David C

Davis, Donald M. and Johnson, David C. and Klippenstein, John and Mahowald, Mark and Wegmann, Steven , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1986 , NUMBER =. doi:10.2307/2000562 , URL =

1986 doi
[289]

Ando, Matthew and Morava, Jack and Sadofsky, Hal , TITLE =. Geom. Topol. , FJOURNAL =. 1998 , PAGES =. doi:10.2140/gt.1998.2.145 , URL =

1998 doi
[290]

and Ricka, Nicolas , TITLE =

Bailey, Scott M. and Ricka, Nicolas , TITLE =. Math. Z. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00209-018-2108-z , URL =

2019 doi
[291]

Greenlees, J. P. C. and Sadofsky, Hal , TITLE =. Math. Z. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/PL00004264 , URL =

1996 doi
[292]

Hovey, Mark and Sadofsky, Hal , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1996 , NUMBER =. doi:10.1090/S0002-9939-96-03495-8 , URL =

1996 doi
[293]

Ullman, John , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/agt.2013.13.1743 , URL =

2013 doi
[294]

arXiv:1304.4912 , year=

Tambara functors and commutative ring spectra , author=. arXiv:1304.4912 , year=

arXiv
[295]

Hermitian

Calm. Hermitian. arXiv:2009.07223 , year=

2009 arXiv
[296]

Hermitian

Calm. Hermitian. arXiv:2009.07224 , year=

2009 arXiv
[297]

Hermitian

Calm. Hermitian. arXiv:2009.07225 , year=

2009 arXiv
[298]

Schlichting, Marco , TITLE =. J. K-Theory , FJOURNAL =. 2010 , NUMBER =. doi:10.1017/is009010017jkt075 , URL =

2010 doi
[299]

, TITLE =

Weibel, Charles A. , TITLE =. 2013 , PAGES =. doi:10.1090/gsm/145 , URL =

2013 doi
[300]

Schlichting, Marco , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2017 , NUMBER =. doi:10.1016/j.jpaa.2016.12.026 , URL =

2017 doi

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.

[1] [1]

Hornbostel, Jens and Park, Doosung , title =. J. Inst. Math. Jussieu , issn =. 2024 , language =. doi:10.1017/S1474748023000178 , keywords =

work page doi:10.1017/s1474748023000178 2024

[2] [2]

Norms in equivariant homotopy theory , year =

Lenz, Tobias and Linskens, Sil and P. Norms in equivariant homotopy theory , year =

[3] [3]

and Hopkins, Michael J

Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , title =. Forum Math. , issn =. 2017 , language =. doi:10.1515/forum-2016-0017 , keywords =

doi:10.1515/forum-2016-0017 2017

[4] [4]

2019 , howpublished =

Wilson, Dylan , title =. 2019 , howpublished =

2019

[5] [5]

Angelini-Knoll, Gabriel and Kong, Hana Jia and Quigley, J. D. , title =. 2025 , howpublished =

2025

[6] [6]

, TITLE =

Angelini-Knoll, Gabriel and Gerhardt, Teena and Hill, Michael A. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2025.110568 , URL =

arXiv 2025

[7] [7]

and Meier, Lennart , title =

Hill, Michael A. and Meier, Lennart , title =. Algebr. Geom. Topol. , issn =. 2017 , language =. doi:10.2140/agt.2017.17.1953 , keywords =

doi:10.2140/agt.2017.17.1953 2017

[8] [8]

Yang, Lucy , title =. Int. Math. Res. Not. , issn =. 2025 , language =. doi:10.1093/imrn/rnae262 , keywords =

work page doi:10.1093/imrn/rnae262 2025