Chromatic Purity in Hermitian K-Theory at $p=2$

Jordan Levin

REVIEW 3 major objections 3 minor 14 references

Chromatic Purity in Hermitian K-Theory at $p=2$

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

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

Pith's one-line read At the prime 2, this paper proves that quadratic L-theory is chromatically pure—its $T(n)$-local part depends only on the $T(n)$-local ring—and therefore does not exhibit chromatic redshift.

desk verdict The target results are worthwhile and the proof strategy is a sensible adaptation of Land et al., but the main theorems rest on an unproved and likely false lemma about Tate constructions, so the paper needs major repair before it can be accepted. read the letter →

arxiv 2501.09633 v1 pith:UW3YN7TC submitted 2025-01-16 math.KT math.AT

Jordan Levin This is my paper · ORCID

classification math.KTmath.AT MSC 19G3855P4255P91

keywords chromaticpurityquadraticL-theoryHermitianK-theoryPoincarécategoriesredshiftGrothendieck-WitttheoryTateconstructionprime2

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

This paper tries to establish that, at the prime $p=2$, quadratic L-theory is chromatically pure: for an $E_1$-ring $A$ with anti-involution $\sigma$, the $T(n)$-local part of the quadratic L-theory of $(A,\sigma)$ depends only on the $T(n)$-localization of the ring, not on higher chromatic information. It further claims that an $E_1$-ring that is $T(n)$-acyclic has $T(n)$-acyclic quadratic L-theory for every compatible Poincaré structure, so L-theory does not display the chromatic redshift phenomenon that algebraic K-theory exhibits. From this the paper derives that the higher chromatically localized quadratic L-theory of every idempotent complete Poincaré category vanishes, and that $T(n+1)$-local Grothendieck-Witt theory is determined by $T(n+1)$-local K-theory together with its duality. A reader should care because L-theory is the obstruction term linking Grothendieck-Witt theory to K-theory; if it cannot grow in chromatic height, Hermitian trace methods can be used to probe the chromatic behaviour of hermitian invariants.

What carries the argument

The workhorse is the additive (♭-additive) version of Poincaré categories, in which the quadratic functor takes values in group-like spaces rather than spectra, together with its additive L-theory $L^\oplus$. A comparison theorem identifies $L^\oplus$ with stable L-theory after stabilization, and a Morita-theoretic reduction to a single generator lets every idempotent complete Poincaré category be treated as a filtered colimit of rings with involution. The proof then runs on two rails: an identification of $T(n)$-local L-theory with $T(n)$-local normal L-theory, and pre-existing purity and vanishing results for K-theory and for connective L-theory that kill the error terms in the Poincaré-Karoubi fibre sequences. The step that makes the normal-L identification work is Lemma 3.11, which asserts that the Tate construction of a bounded-above spectrum with $C_2$-action is $T(n)$-acyclic for $n\ge 1$, killing the cofibre $(\tau_{<0}\mathcal{L}(C,\vartheta))^{tC_2}$ after $T(n)$-localization.

What would settle it

Compute the $T(n)$-localization of the Tate construction $X^{tC_2}$ for a bounded-above spectrum $X$ with a $C_2$-action, such as an Eilenberg-MacLane spectrum with a sign action; a nonzero answer for any $n\ge 1$ would falsify Lemma 3.11 and collapse the proof of the main theorems. Alternatively, any $T(n)$-acyclic ring with involution whose quadratic L-theory is not $T(n)$-acyclic would falsify Theorem B.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem A and Theorem B. For every $E_1$-ring with anti-involution $(A,\sigma)$ and every $n\ge 0$, the map $(A,\sigma)\to (\mathbb{L}_{T(n)}A,\mathbb{L}_{T(n)}\sigma)$ induces an equivalence on $T(n)$-local quadratic L-theory; and if $A$ is $T(n)$-acyclic, then $L(\operatorname{Perf}(A),\vartheta)$ is $T(n)$-acyclic for every Poincaré structure $\vartheta$ whose duality is compatible with $\sigma$. The paper concludes that L-theory does not exhibit chromatic redshift: the chromatic height of quadratic L-theory never exceeds the height of the underlying ring. A filtered-colimit argument then extends this from rings to all idempotent complete Poincaré categories, yielding vanishing of $T(n)$-local quadratic L-theory for $n\ge 1$, and a chromatic analogue of the homotopy limit problem for GW-theory: under $T(n+1)$-acyclicity of endomorphism spectra, $T(n+1)$-local GW-theory is the $C_2$-homotopy fixed points of $T(n+1)$-local K-theory.

Load-bearing premise

The load-bearing premise is that a bounded-above spectrum with a $C_2$-action always has a $T(n)$-acyclic Tate construction for $n\ge 1$ (Lemma 3.11), together with the unpublished normal L-theory formula cited as [HNS02]; remove either and the identification of $T(n)$-local L-theory with $T(n)$-local normal L-theory, on which Theorems A, B, D, and E rest, no longer goes through.

Editorial extensions

If this is right

Quadratic L-theory of any idempotent complete Poincaré category is $T(n)$-acyclic for every $n\ge 1$, so the higher chromatic layers of L-theory are empty.
For an $E_1$-ring with anti-involution, $T(n)$-local quadratic L-theory depends only on the $T(n)$-local ring, so computations may be performed after telescopic localization.
When endomorphism spectra are $T(n+1)$-acyclic, $T(n+1)$-local GW-theory is the $C_2$-homotopy fixed points of $T(n+1)$-local K-theory, giving GW-theory the same descent behaviour as K-theory at that height.
For an $E_\infty$-ring with trivial involution of height exactly $n$, the symmetric (Tate) L-theory also has height exactly $n$, a whiteshift that pairs with K-theory's redshift.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the paper is right, L-theory is a height-preserving hermitian invariant, so any chromatic redshift visible in GW-theory must be inherited entirely from the K-theory term in the fibre sequence $K(C)_{hC_2}\to GW(C)\to L(C)$.
The argument is tied to $p=2$, so a natural extension is to ask whether the same purity and vanishing hold at odd primes, where the 2-local inputs in the $n=1$ case are no longer available.
Because the normal-L-theory identification rests on unpublished material, the theorems' public strength is conditional on that source; a concrete computation of $T(n)$-local L-theory for a ring like $ku$ or $tmf$ with a duality would independently test the predicted collapse of the fibre sequence.

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

The paper states genuinely new theorems: L-theoretic chromatic purity and no-redshift for all E1-rings with anti-involution at p=2, plus consequences for GW-theory and descent. That is a real extension of Land's connective result and Land et al.'s K-theory purity, and the organization is clear. The additive Poincaré category setup and Propositions 3.5–3.8 look competent, and the paper gives a useful categorical framework for chromatically localized Hermitian K-theory. Credit where it is due: this is not a frivolous paper, and the statements are worth having if the proofs can be fixed.

The soft spot is load-bearing. Lemma 3.11 claims that for any bounded-above spectrum X with C2-action, X^{tC2} ⊗ T(n) = 0 for n ≥ 1. The proof is invalid. Homotopy orbits do not vanish merely because X is bounded above; being bounded above does not imply T(n)-acyclicity, and the same error appears in the fixed-point part. The claim that X^{hC2} is bounded above when X is, is simply false: take X = HF2 with trivial C2-action, whose homotopy fixed points have nonzero homotopy in all nonnegative degrees. So the lemma is unsupported as written, and I suspect it is actually false in that generality. Corollary 3.12, and through it Theorems A, B, D, and E, all depend on this lemma. That is not a minor gap; it is the pivot of the proof. The paper also leans on the unpublished [HNS02] for the normal L-theory formula and for Theorem G, which is a verification burden though not automatically a flaw.

The central idea may still be right, and a repaired argument might go through with a different lemma or a more careful connectivity statement. But as it stands, the proof does not establish the advertised theorems. This is a paper for specialists in Hermitian K-theory and chromatic homotopy, not for a general audience. I would send it to a serious referee, with the clear instruction that Lemma 3.11 must be fixed or replaced before the main claims can be accepted. My own verdict is skeptical until that happens.

Referee Report

3 major / 3 minor

Summary. The paper develops additive Hermitian K-theory in the Calmès–Harpaz–Hebestreit–Steimle framework and applies it to chromatically localized L-theory at p=2. Its main results are Theorem A, which asserts a T(n)-local purity statement for quadratic L-theory of E1-rings with anti-involution; Theorem B, which asserts that T(n)-acyclic rings have T(n)-acyclic quadratic L-theory and hence that L-theory does not exhibit chromatic redshift; Theorems C–F, which extend these statements to idempotent complete Poincaré categories and to GW-theory, including a chromatic analogue of the homotopy limit problem; and Theorem G, a whiteshift statement for Tate L-theory. The proof strategy is to identify T(n)-local L-theory with T(n)-local normal L-theory via Corollary 3.12, and then to apply Land et al.'s purity theorem for K-theory, Land's connective L-theory results, and the unpublished [HNS02] normal L-theory and real THH results.

Significance. If the results are correct, they would constitute a substantial advance: L-theoretic analogues of chromatic purity, a proof of the absence of L-theoretic redshift, higher chromatic vanishing of quadratic L-theory, and a GW-theory analogue of the homotopy limit problem. The paper is clearly organized and makes good use of the additive Poincaré-category formalism, filtered colimits, Poincaré–Karoubi sequences, and T(n)-local semiadditivity. However, the central argument depends on a lemma whose proof is invalid as written, on a further indexing inconsistency in the proof of Theorem B, and on an unpublished manuscript; the significance of the paper is therefore conditional on repairs to these points.

major comments (3)

[Section 3, Lemma 3.11] The proof of Lemma 3.11 is invalid. It claims that if X is bounded above, then so is X^{hC2}; this is false: for X = HF_2 with the trivial C2-action, the homotopy fixed point spectral sequence gives π_s((HF_2)^{hC2}) = H^s(C2; F_2) = F_2 for every s ≥ 0, so the fixed points are not bounded above. The proof also implicitly uses that bounded-above spectra are T(n)-acyclic, which is false, since S^0 is bounded above and L_{T(n)}S^0 = T(n) ≠ 0. Consequently the asserted vanishing of X^{tC2} ⊗ T(n) is not established, and no substitute argument such as one based on T(n)-local semiadditivity is supplied. Since Corollary 3.12 follows from Proposition 3.10 and Lemma 3.11 and is used in the proof of Theorem A(1) and hence in Theorems B, C, D, and E, the main theorems are not supported as written.
[Section 3, Theorem 3.1; Theorem G] The proofs of Theorem B and Theorem G rely essentially on the unpublished manuscript [HNS02] of Harpaz, Nikolaus, and Shah. Theorem 3.1 supplies the normal L-theory formula used to derive Corollary 3.3 and the final step of Theorem B, and Theorem G uses the [HNS02] identification of A with the C2-geometric fixed points of real THR. Since [HNS02] is cited as 'in preparation' and no public version or precise statement of the needed theorems is given, these dependencies are not checkable. The authors should provide a preprint reference or include the necessary statements and proofs in the paper.
[Section 3, proof of Theorem B] There is an indexing inconsistency in the proof of Theorem B. The theorem is stated in the paper's own terminology as: if A has height ≤ n, then L(A, Ϙ) has height ≤ n. By Definition 1.1, 'height ≤ n' means T(i)-acyclicity for all i > n, i.e. T(n+1)-acyclicity. The proof, however, localizes at T(n) and cites [Lan22, Corollary 15] for vanishing of T(n)-local L-theory of the connective cover. The case n=0 is also said to be immediate from Theorem A(1), which for n=0 concerns HQ-locally, not T(1)-locally. Either the statement should be the introduction's version (if A is T(n)-acyclic, then L(A) is T(n)-acyclic), or the proof must localize at T(n+1) throughout; as written, the logical chain does not match the stated height condition.

minor comments (3)

[Section 3.1, proof of Theorem A(1)] The reference to 'Proposition 3.8' should presumably be to 'Corollary 3.8'.
[Theorem E, proof] The reference to 'Lemma 3.8' should presumably be to 'Corollary 3.8'.
[References] The reference [HNS02] is dated 2002 and listed as 'in preparation'; the current status and arXiv identifier, if available, should be given.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's L-theory purity results are derived from external inputs, and the main weakness is a non-circular proof gap in Lemma 3.11.

full rationale

I find no circular step. The central theorems reduce L-theoretic purity to [Lan+20] K-theory purity, [Lan22] connective L-theory vanishing, the Calmès–Harpaz–Hebestreit–Steimle Poincaré-category framework, and the unpublished [HNS02] trace formula; none of these inputs contains the target L-theory statement as a definitional component, and none is authored by the present author. Lemma 3.11 is load-bearing for Corollary 3.12 and hence for Theorems A, B, D and E, but its defect is the false inference that bounded-above spectra have bounded-above C2-fixed points, not an equivalence-by-construction or a fitted-input re-labeling; accordingly it is a correctness gap rather than circularity. The paper's own text flags the reliance on [HNS02] by citing it as 'in preparation', and Warning 1 limits Theorem G to the E∞-setting; these are support and scope limitations that do not make the derivation circular. Since no prediction is defined in terms of its own output and no load-bearing claim is justified solely by a self-citation, the circularity score is 0.

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

No free parameters or invented entities occur in this proof-based paper. The central claim rests on external theorems, of which the unpublished HNS02 input is the least verifiable, and on the internally asserted but false Lemma 3.11, which is not an axiom but a proof error.

assumptions (5)

domain assumption The Poincaré ∞-category formalism of Calmès et al. (Hermitian K-theory for stable ∞-categories I-IV) and the additive Hermitian K-theory of Hebestreit-Steimle are correct and applicable.
Invoked throughout Sections 1-2; the paper builds on these as the language for GW and L-theory.
domain assumption The chromatic facts used by Land et al. and by this paper: T(n) localization is smashing, T(n)-local spectra are ∞-semiadditive, and E1-rings have height detected by T(n+1)-acyclicity.
Used in Lemma 3.9, Corollary 3.14, Theorem E, and Definition 1.1.
standard math Land's no-redshift theorem for connective E1-rings with anti-involution and the truncating property of quadratic L-theory.
Used to reduce nonconnective cases to discrete rings in Theorems A, B, and D.
standard math Land et al.'s purity theorem for algebraic K-theory and the vanishing of localized K-theory under T(n)-acyclic endomorphism spectra.
Used in Propositions 3.5, 3.6 and throughout the proof of Theorem A.
ad hoc to paper The unpublished normal L-theory theorem of Harpaz, Nikolaus, and Shah and their geometric fixed point identification of rings with the C2-fixed points of real THH.
This is the main new input beyond Land's work; it is not publicly available and is essential to Corollary 3.3 and Theorem G.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Chromatic Purity in Hermitian K-Theory at $p=2$." pith.science (2026). https://pith.science/paper/UW3YN7TC

@misc{pith2026250109633,
  author       = {Pith},
  title        = {Pith review of: Chromatic Purity in Hermitian K-Theory at $p=2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UW3YN7TC}},
  note         = {Machine review of arXiv:2501.09633}
}

abstract

In this article we investigate the question of chromatic purity of L-theory. To do so, we utilize the theory of additive GW and L-theory in the language of Poincar\'e categories as laid out in the series of papers by Calm\`es et al. We apply this theory to chromatically localised L-theory at the prime $p=2$ and recover the L-theoretic analogues of chromatic purity for $E_1$-rings with involution. From this, we deduce that L-theory does not exhibit chromatic redshift. We deduce the higher chromatic vanishing of quadratic L-theory of arbitrary idempotent complete categories, thereby allowing the use of Hermitian trace methods to probe chromatic behaviour of GW and L-theory. Finally, we show that for $T(n+1)$-acyclic rings with involution, $T(n+1)$-local GW-theory depends only on $T(n+1)$-local K-theory and the associated duality, thereby proving a chromatic analogue of the homotopy limit problem for GW-theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 4 canonical work pages

[1]

Algebraic /u1D43E-theory of topological /u1D43E-theory

[AR02] Christian Ausoni and John Rognes. “Algebraic /u1D43E-theory of topological /u1D43E-theory”. English. In: Acta Math. 188.1 (2002), pp. 1–39. ISSN: 0001-5962. DOI: 10.1007/BF02392794. [Bar+22] Clark Barwick et al. K-theory and polynomial functors

work page doi:10.1007/bf02392794 2002
[3]

URL: https://arxiv.org/abs/2207.09929

DOI: 10.48550/ARXIV.2207.09929. URL: https://arxiv.org/abs/2207.09929. [Cal+20a] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories I: Foundations

arXiv doi:10.48550/arxiv.2207.09929
[5]

URL: https://arxiv.org/abs/2009.07224

DOI: 10.48550/ARXIV.2009.07224. URL: https://arxiv.org/abs/2009.07224. [Cal+20c] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories III: Grothendieck-Witt groups of rings

arXiv doi:10.48550/arxiv.2009.07224 2009
[6]

URL: https://arxiv.org/abs/2009.07225

DOI: 10.48550/ARXIV.2009.07225. URL: https://arxiv.org/abs/2009.07225. [Cal+22] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories IV: Poincaré motivies

arXiv doi:10.48550/arxiv.2009.07225 2009
[7]

Descent in algebraic K-theo ry and a conjecture of Ausoni-Rognes

[Cla+20] Dustin Clausen et al. “Descent in algebraic K-theo ry and a conjecture of Ausoni-Rognes”. English. In: Journal of the European Mathematical Society 22.4 (2020), pp. 1149–1200. ISSN: 1435-9855. DOI: 10.4171/JEMS/942. [CSY20] Shachar Carmeli, Tomer M. Schlank, and Lior Yanovsk i. Ambidexterity and Height

doi:10.4171/jems/942 2020
[8]

U niversality of multiplicative inﬁnite loop space machines

arXiv: 2007.13089 [math.AT]. [GGN15] David Gepner, Moritz Groth, and Thomas Nikolaus. “U niversality of multiplicative inﬁnite loop space machines”. In: Algebraic & Geometric Topology 15.6 (Dec. 2015), pp. 3107–3153. DOI: 10.2140/agt.2015.15.3107. [Hah22] Jeremy Hahn. On the Bousﬁeld classes of /u1D43B∞-ring spectra

arXiv 2007
[9]

Ambidexterity and the universali ty of ﬁnite spans

arXiv:1612.04386 [math.AT]. [Har20] Yonatan Harpaz. “Ambidexterity and the universali ty of ﬁnite spans”. In: Proceedings of the London Mathematical Society121.5 (July 2020), pp. 1121–1170.DOI: 10.1112/plms.12367. URL: https://doi.org/10.1112%2Fplms.12367. [HHS21] Yonatan Harpaz, Fabian Hebestreit, and Wolfgang St eimle. Appendix to Stable moduli spaces o...

arXiv 2020
[11]

URL: https://arxiv.org/abs/2103.13911

DOI: 10.48550/ARXIV.2103.13911. URL: https://arxiv.org/abs/2103.13911. [Lan+20] Markus Land et al. Purity in chromatically localized algebraic/u1D43E-theory

arXiv doi:10.48550/arxiv.2103.13911

Show all 14 references

[12]

URL: https://arxiv.org/abs/2001.10425

DOI: 10.48550/ARXIV.2001.10425. URL: https://arxiv.org/abs/2001.10425. [Lan22] Markus Land. Remarks on chromatically localised hermitian K-theory

2001 doi arXiv
[13]

URL: https://arxiv.org/abs/2202.05036

DOI: 10.48550/ARXIV.2202.05036. URL: https://arxiv.org/abs/2202.05036. [Lur] Jacob Lurie. Spectral Algebraic Geometry. URL: https://www.math.ias.edu/~lurie/papers/SAG-rootfile .pdf. [Lur09] Jacob Lurie. Higher topos theory. English. Vol

doi arXiv
[15]

arXiv:2111.10837 [math.KT]. 20

arXiv
[170]

Ann. Math. Stud. Princeton, NJ: Princeton University Press, 2009.ISBN: 978-0-691-14049-0; 978-0-691-14048-3. DOI: 10.1515/9781400830558. [Lur17] Jacob Lurie. Higher Algebra

2009 doi
[2020]

URL: https://arxiv.org/abs/2009.07223

DOI: 10.48550/ARXIV.2009.07223. URL: https://arxiv.org/abs/2009.07223. [Cal+20b] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories II: Cobordism categories and additivity

2009 doi arXiv
[2022]

Descent and cyclotomic redsh ift for chromatically localized algebraic K-theory

arXiv:2102.00936 [math.KT]. [BM+24] Shay Ben-Moshe et al. “Descent and cyclotomic redsh ift for chromatically localized algebraic K-theory”. In: Journal of the American Mathematical Society (Nov. 2024). ISSN: 1088-6834. DOI: 10.1090/jams/1052. URL: http://dx.doi.org/10.1090/ja...

2024 arXiv

Pith tools

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

[1] [1]

Algebraic /u1D43E-theory of topological /u1D43E-theory

[AR02] Christian Ausoni and John Rognes. “Algebraic /u1D43E-theory of topological /u1D43E-theory”. English. In: Acta Math. 188.1 (2002), pp. 1–39. ISSN: 0001-5962. DOI: 10.1007/BF02392794. [Bar+22] Clark Barwick et al. K-theory and polynomial functors

work page doi:10.1007/bf02392794 2002

[2] [3]

URL: https://arxiv.org/abs/2207.09929

DOI: 10.48550/ARXIV.2207.09929. URL: https://arxiv.org/abs/2207.09929. [Cal+20a] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories I: Foundations

arXiv doi:10.48550/arxiv.2207.09929

[3] [5]

URL: https://arxiv.org/abs/2009.07224

DOI: 10.48550/ARXIV.2009.07224. URL: https://arxiv.org/abs/2009.07224. [Cal+20c] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories III: Grothendieck-Witt groups of rings

arXiv doi:10.48550/arxiv.2009.07224 2009

[4] [6]

URL: https://arxiv.org/abs/2009.07225

DOI: 10.48550/ARXIV.2009.07225. URL: https://arxiv.org/abs/2009.07225. [Cal+22] Baptiste Calmès et al. Hermitian K-theory for stable ∞-categories IV: Poincaré motivies

arXiv doi:10.48550/arxiv.2009.07225 2009

[5] [7]

Descent in algebraic K-theo ry and a conjecture of Ausoni-Rognes

[Cla+20] Dustin Clausen et al. “Descent in algebraic K-theo ry and a conjecture of Ausoni-Rognes”. English. In: Journal of the European Mathematical Society 22.4 (2020), pp. 1149–1200. ISSN: 1435-9855. DOI: 10.4171/JEMS/942. [CSY20] Shachar Carmeli, Tomer M. Schlank, and Lior Yanovsk i. Ambidexterity and Height

doi:10.4171/jems/942 2020

[6] [8]

U niversality of multiplicative inﬁnite loop space machines

arXiv: 2007.13089 [math.AT]. [GGN15] David Gepner, Moritz Groth, and Thomas Nikolaus. “U niversality of multiplicative inﬁnite loop space machines”. In: Algebraic & Geometric Topology 15.6 (Dec. 2015), pp. 3107–3153. DOI: 10.2140/agt.2015.15.3107. [Hah22] Jeremy Hahn. On the Bousﬁeld classes of /u1D43B∞-ring spectra

arXiv 2007

[7] [9]

Ambidexterity and the universali ty of ﬁnite spans

arXiv:1612.04386 [math.AT]. [Har20] Yonatan Harpaz. “Ambidexterity and the universali ty of ﬁnite spans”. In: Proceedings of the London Mathematical Society121.5 (July 2020), pp. 1121–1170.DOI: 10.1112/plms.12367. URL: https://doi.org/10.1112%2Fplms.12367. [HHS21] Yonatan Harpaz, Fabian Hebestreit, and Wolfgang St eimle. Appendix to Stable moduli spaces o...

arXiv 2020

[8] [11]

URL: https://arxiv.org/abs/2103.13911

DOI: 10.48550/ARXIV.2103.13911. URL: https://arxiv.org/abs/2103.13911. [Lan+20] Markus Land et al. Purity in chromatically localized algebraic/u1D43E-theory

arXiv doi:10.48550/arxiv.2103.13911