arxiv: 2605.15037 · v1 · submitted 2026-05-14 · 🧮 math.CT · math.AT· math.RT

Recognition: 1 theorem link

· Lean Theorem

Sphericalization and the Universal Spherical Adjunction

Fernando Abell\'an , Jonte G\"odicke

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:25 UTC · model grok-4.3

classification 🧮 math.CT math.ATmath.RT

keywords spherical adjunctionsstable infinity-categoriestwist functorscotwist functorswalking adjunctioninfinity-two-categoriesreflective subcategories

0 comments

The pith

Any adjunction of stable infinity-categories can be turned into a spherical adjunction by inverting its twist and cotwist functors.

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

The paper supplies a direct procedure that inverts the twist and cotwist functors of any given adjunction inside a locally stable infinity-two-category. The resulting spherical adjunctions form a reflective subcategory of all adjunctions, with explicitly constructed left and right adjoints to the inclusion functor. These adjoints are then used to construct the walking spherical adjunction, the universal object that classifies spherical adjunctions, and to prove that every spherical functor admits infinitely many left and right adjoints.

Core claim

For every adjunction of stable infinity-categories we give a simple procedure for inverting the twist and cotwist functors; this yields an explicit left and right adjoint to the inclusion of the infinity-two-category of spherical adjunctions into all adjunctions, plus a description of the walking spherical adjunction.

What carries the argument

The sphericalization procedure that inverts the twist and cotwist functors of an arbitrary adjunction to produce a spherical one.

If this is right

Spherical adjunctions form a reflective subcategory of all adjunctions of stable infinity-categories.
The walking spherical adjunction is the free locally stable infinity-two-category on a single spherical adjunction.
Every spherical functor between stable infinity-categories admits infinitely many left and right adjoints.
Spherical adjunctions can be obtained functorially from arbitrary adjunctions via the sphericalization construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same inversion technique may apply to adjunctions in other higher-categorical settings beyond locally stable infinity-two-categories.
The walking spherical adjunction could serve as a classifying object for studying deformations or moduli of spherical functors.
The reflective inclusion might allow transfer of properties like exactness or t-structures from general adjunctions to the spherical case.

Load-bearing premise

The given adjunction lives inside a locally stable infinity-two-category in which its twist and cotwist functors are defined and become invertible after the procedure is applied.

What would settle it

An explicit adjunction between stable infinity-categories for which the proposed inversion of twist and cotwist fails to yield a spherical adjunction or for which the claimed left and right adjoints to the inclusion do not exist.

read the original abstract

For every adjunction of stable $\infty$-categories -- or more generally, in any locally stable $(\infty,2)$-category -- we give a simple procedure for inverting the twist and cotwist functors associated to this adjunction. As a consequence, we obtain an explicit construction for a left and right adjoint to the inclusion of the $(\infty,2)$-category of spherical adjunctions of stable $\infty$-categories into all adjunctions. We utilize these adjoints to give a description of the walking spherical adjunction, a locally stable $(\infty,2)$-category which classifies spherical adjunctions, and to provide a synthetic proof of the fact that every spherical functor admits infinitely many left and right adjoints.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives an explicit inversion procedure for twists and cotwists that produces left and right adjoints to the inclusion of spherical adjunctions and a walking spherical adjunction in locally stable (∞,2)-categories.

read the letter

The core advance is a direct procedure that inverts the twist and cotwist of any adjunction of stable ∞-categories inside a locally stable (∞,2)-category. This yields explicit left and right adjoints to the inclusion of spherical adjunctions into all adjunctions, plus a description of the walking spherical adjunction that classifies them. The same construction supplies a synthetic proof that every spherical functor has infinitely many left and right adjoints. The approach stays synthetic and avoids model-specific calculations, which is a genuine plus for generality. The inversion step is presented as a straightforward functorial operation rather than a redefinition of the input data, and the abstract indicates no hidden circularity in the local-stability assumptions. The citation pattern is standard for the area and does not rely on self-referential fitting. The main soft spot is that the soundness of the invertibility and the verification that the output satisfies the spherical condition rest on details not visible in the abstract; if those steps hold without extra hypotheses, the central claims are fine. Minor edge cases in the (∞,2)-setting would still need checking in a full read. This work is for people already working with adjunctions and spherical functors in stable ∞-categories or (∞,2)-structures. A reader who knows the basic language will get concrete tools for arguments that previously required case-by-case checks. It deserves a serious referee because the result is specific, the method is explicit, and the potential payoff for adjacent fields is clear if the proofs check out. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that in any locally stable (∞,2)-category, every adjunction of stable ∞-categories admits a direct, functorial procedure that inverts its twist and cotwist functors. This construction is used to exhibit explicit left and right adjoints to the inclusion of the (∞,2)-category of spherical adjunctions into the (∞,2)-category of all adjunctions, to describe the walking spherical adjunction as a classifying object, and to give a synthetic proof that every spherical functor admits infinitely many left and right adjoints.

Significance. If the central construction is correct, the result supplies an explicit universal property for spherical adjunctions together with a concrete sphericalization functor. This would be a useful addition to the literature on higher-categorical duality and adjunctions, particularly for applications in stable homotopy theory and algebraic geometry where spherical functors appear as generators of semiorthogonal decompositions. The synthetic character of the argument, avoiding explicit model-category presentations, is a potential strength.

major comments (2)

[§3] §3, construction of the sphericalization: the claim that the procedure inverts the twist and cotwist after a single step relies on the local stability assumption; the manuscript should supply an explicit verification that the resulting (∞,2)-categorical data satisfy the spherical condition (i.e., that the new twist and cotwist are equivalences) without additional hypotheses.
[§5] §5, universal property of the walking spherical adjunction: the argument that this object classifies all spherical adjunctions in locally stable (∞,2)-categories must confirm that the induced map from any spherical adjunction factors uniquely through the walking object; the current outline leaves open whether the (∞,2)-categorical universal property holds after the sphericalization step.

minor comments (2)

[Introduction] The notation for left and right adjoints to the inclusion functor could be introduced with a single commutative diagram in the introduction to improve readability.
[Introduction] A brief comparison with existing model-categorical constructions of spherical adjunctions (e.g., those appearing in the literature on dg-categories) would help situate the synthetic approach.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. The suggestions have helped clarify the exposition, and we have revised the text to address the concerns raised. Below we respond point by point to the major comments.

read point-by-point responses

Referee: [§3] §3, construction of the sphericalization: the claim that the procedure inverts the twist and cotwist after a single step relies on the local stability assumption; the manuscript should supply an explicit verification that the resulting (∞,2)-categorical data satisfy the spherical condition (i.e., that the new twist and cotwist are equivalences) without additional hypotheses.

Authors: We agree that an explicit verification improves clarity. In the revised manuscript we have added a direct computation in §3 that confirms the spherical condition holds after one application of the sphericalization procedure. Using only the local stability of the ambient (∞,2)-category, we show that the new twist and cotwist functors induce equivalences on mapping spaces by verifying that the relevant homotopy groups are trivial; no further hypotheses are required. The argument is now fully spelled out with the necessary diagram chases. revision: yes
Referee: [§5] §5, universal property of the walking spherical adjunction: the argument that this object classifies all spherical adjunctions in locally stable (∞,2)-categories must confirm that the induced map from any spherical adjunction factors uniquely through the walking object; the current outline leaves open whether the (∞,2)-categorical universal property holds after the sphericalization step.

Authors: We thank the referee for highlighting this point. The revised §5 now contains a complete argument establishing uniqueness of the factorization. Given any spherical adjunction in a locally stable (∞,2)-category, we construct the unique map to the walking spherical adjunction by composing with the left and right adjoints to the inclusion (constructed in §4) and then verify that any two such maps are equivalent by a 2-categorical uniqueness argument that survives the sphericalization step. The revised text includes an explicit universal-property diagram and confirms that the classifying property holds without additional assumptions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit functorial construction

full rationale

The paper's central derivation consists of an explicit, synthetic procedure that inverts the twist and cotwist functors of an arbitrary adjunction inside a locally stable (∞,2)-category. This procedure is used to construct left and right adjoints to the inclusion of spherical adjunctions and to exhibit the walking spherical adjunction as a classifying object. No equation or step reduces by construction to a redefinition of the input data, a fitted parameter renamed as a prediction, or a load-bearing self-citation chain. The argument remains self-contained: the output adjoints and classifying object are produced directly from the given adjunction data via the stated inversion procedure, without circular dependence on the target spherical structure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the standard framework of stable ∞-categories and locally stable (∞,2)-categories together with the existence of twist and cotwist functors for any adjunction; no new free parameters or invented entities beyond the walking spherical adjunction are introduced in the abstract.

axioms (1)

domain assumption Locally stable (∞,2)-categories admit well-defined twist and cotwist functors for every adjunction.
Invoked as background structure in which the inversion procedure is performed.

invented entities (1)

Walking spherical adjunction no independent evidence
purpose: Universal locally stable (∞,2)-category that classifies all spherical adjunctions.
Constructed via the adjoints to the inclusion; no independent existence proof outside the construction is given in the abstract.

pith-pipeline@v0.9.0 · 5416 in / 1412 out tokens · 125955 ms · 2026-05-15T02:25:01.211094+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A: sphericalization functor S takes an adjunction to the directed colimit of the twist/cotwist diagram over N

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

74 extracted references · 74 canonical work pages · 2 internal anchors

[1]

Justin Hilburn , title =

work page
[2]

2025 , eprint=

Fully faithful functors and pushouts of -categories , author=. 2025 , eprint=

work page 2025
[3]

Spectral Algebraic Geometry , author=

work page
[4]

Free fibrations, lax colimits and

Fernando Abellán and Rune Haugseng and Louis Martini , year=. Free fibrations, lax colimits and. 2602.07604 , archivePrefix=

work page arXiv
[5]

2024 , eprint=

( ,2) -Topoi and descent , author=. 2024 , eprint=

work page 2024
[6]

Selecta Math

Abell\'an, Fernando and Gagna, Andrea and Haugseng, Rune , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00029-025-01084-z , URL =. arXiv:2404.03971

work page doi:10.1007/s00029-025-01084-z 2025
[7]

2023 , archiveprefix =

Fernando Abellán , title =. 2023 , archiveprefix =. 2311.12746 , keywords =

work page arXiv 2023
[8]

2023 , eprint=

On cofinal functors of -bicategories , author=. 2023 , eprint=

work page 2023
[9]

Stern , JOURNAL =

Fernando Abellán and Walker H. Stern , JOURNAL =. 2-Cartesian fibrations. 2025 , eprint=

work page 2025
[10]

Ayala, David and Mazel-Gee, Aaron and Rozenblyum, Nick , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =

work page 2024
[11]

Factorization homology of enriched -categories , year=

Ayala, David and Mazel-Gee, Aaron and Rozenblyum, Nick , eprint=. Factorization homology of enriched -categories , year=

work page
[12]

Abellán García, Fernando , title =. J. Homotopy Relat. Struct. , volume =. 2022 , number =

work page 2022
[13]

, TITLE =

Berman, John D. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/proc/16968 , URL =

work page doi:10.1090/proc/16968 2024
[14]

1972 , publisher =

Toposes, Algebraic Geometry and Logic , author =. 1972 , publisher =

work page 1972
[15]

2023 , eprint=

A model-independent Gray tensor product for ( ,2) -categories , author=. 2023 , eprint=

work page 2023
[16]

2017 , eprint=

Lambert, Michael , title=. 2017 , eprint=

work page 2017
[17]

Elements of -category theory , year =

Dominic Verity and Emily Riehl , note =. Elements of -category theory , year =

work page
[18]

2022 , PAGES =

Riehl, Emily and Verity, Dominic , TITLE =. 2022 , PAGES =. doi:10.1017/9781108936880 , URL =

work page doi:10.1017/9781108936880 2022
[19]

2017 , title =

Emily Riehl and Michael Shulman , journal =. 2017 , title =

work page 2017
[20]

2018 , issn =

Sigma limits in 2-categories and flat pseudofunctors , JOURNAL =. 2018 , issn =. doi:https://doi.org/10.1016/j.aim.2018.05.021 , url =

work page doi:10.1016/j.aim.2018.05.021 2018
[21]

Formalization of

Denis-Charles Cisinski and Bastian Cnossen and Kim Nguyen and Tashi Walde , year =. Formalization of

work page
[22]

Gagna, Andrea and Harpaz, Yonatan and Lanari, Edoardo , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107986 , URL =. 2006.14495 , archivePrefix=

work page doi:10.1016/j.aim.2021.107986 2021
[23]

Gagna, Andrea and Harpaz, Yonatan and Lanari, Edoardo , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/agt.2024.24.4731 , URL =. 2107.12356 , archivePrefix=

work page doi:10.2140/agt.2024.24.4731 2024
[24]

Marked limits in ( ,2) -categories , author =. Doc. Math. , FJOURNAL =. 2025 , volume=

work page 2025
[25]

Gepner, David and Haugseng, Rune , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.02.007 , URL =

work page doi:10.1016/j.aim.2015.02.007 2015
[26]

2017 , JOURNAL =

Lax colimits and free fibrations in -categories , author =. 2017 , JOURNAL =

work page 2017
[27]

2024 , eprint=

Directed univalence in simplicial homotopy type theory , author=. 2024 , eprint=

work page 2024
[28]

SGA 4 , author =

Theorie des Topos et Cohomologie Etale des Schemas. SGA 4 , author =. 1963-1964 , publisher =

work page 1963
[29]

2023 , eprint =

The derived category of a locally compact space is rarely smooth , author =. 2023 , eprint =

work page 2023
[30]

Haugseng, Rune , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =

work page 2015
[31]

2021 , eprint=

On lax transformations, adjunctions, and monads in ( ,2) -categories , author=. 2021 , eprint=

work page 2021
[32]

Rune Haugseng and Fabian Hebestreit and Sil Linskens and Joost Nuiten , title=. Proc. Lond. Math. Soc. (3) , volume=. 2023 , number=

work page 2023
[33]

Heine, Hadrian , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.108941 , URL =

work page doi:10.1016/j.aim.2023.108941 2023
[34]

2024 , eprint=

The higher algebra of weighted colimits , author=. 2024 , eprint=

work page 2024
[35]

2024 , eprint=

Internal 1-topoi in 2-topoi , author=. 2024 , eprint=

work page 2024
[36]

, TITLE =

Henry, Simon and Meadows, Nicholas J. , TITLE =. High. Struct. , FJOURNAL =. 2025 , NUMBER =

work page 2025
[37]

Homology Homotopy Appl

Hinich, Vladimir , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2016 , NUMBER =. doi:10.4310/HHA.2016.v18.n1.a3 , URL =

work page doi:10.4310/hha.2016.v18.n1.a3 2016
[38]

Hinich, Vladimir , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aim.2020.107129 , URL =

work page doi:10.1016/j.aim.2020.107129 2020
[39]

Sketches of an Elephant - A Topos theory compendium , volumne =

Johnstone, Peter , publisher =. Sketches of an Elephant - A Topos theory compendium , volumne =

work page
[40]

2024 , eprint=

Loubaton, F\'elix , title=. 2024 , eprint=

work page 2024
[41]

2009 , PAGES =

Lurie, Jacob , TITLE =. 2009 , PAGES =

work page 2009
[42]

2017 , note=

Lurie, Jacob , title=. 2017 , note=

work page 2017
[43]

(Infinity,2)-Categories and the Goodwillie Calculus I

Jacob Lurie , year=. ( ,2) -Categories and the. 0905.0462 , archivePrefix=

work page internal anchor Pith review Pith/arXiv arXiv
[44]

arXiv preprint , archivePrefix=

Yoneda's lemma for internal higher categories , author=. arXiv preprint , archivePrefix=. 2021 , eprint=

work page 2021
[45]

2022 , month = apr, archiveprefix =

Louis Martini , title =. 2022 , month = apr, archiveprefix =. 2204.00295 , keywords =

work page arXiv 2022
[46]

2022 , eprint=

Presentable categories internal to an -topos , author=. 2022 , eprint=

work page 2022
[47]

2023 , eprint=

Internal higher topos theory , author=. 2023 , eprint=

work page 2023
[48]

A universal characterization of noncommutative motives and secondary algebraic

Aaron Mazel-Gee and Reuben Stern , year =. A universal characterization of noncommutative motives and secondary algebraic. Ann. K-Theory , FJOURNAL =

work page
[49]

2-classifiers via dense generators and

Luca Mesiti , year=. 2-classifiers via dense generators and. 2401.16900 , archivePrefix=

work page arXiv
[50]

Acta Math

Nikolaus, Thomas and Scholze, Peter , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ACTA.2018.v221.n2.a1 , URL =

work page doi:10.4310/acta.2018.v221.n2.a1 2018
[51]

Adjoint functor theorems for

Nguyen, Hoang Kim and Raptis, George and Schrade, Christoph , journal =. Adjoint functor theorems for. 2020 , issn =. doi:10.1112/jlms.12282 , keywords =

work page doi:10.1112/jlms.12282 2020
[52]

On straightening for

Nuiten, Joost , year=. On straightening for. Compos. Math. , FJOURNAL =. doi:10.1112/S0010437X23007674 , number=

work page doi:10.1112/s0010437x23007674
[53]

2022 , eprint=

The -Categorical Reflection Theorem and Applications , author=. 2022 , eprint=

work page 2022
[54]

Rezk, Charles , title=. Geom. Topol. , volume=. 2010 , number=

work page 2010
[55]

2109.11954 , year=

Shah, Jay , title=. 2109.11954 , year=

work page arXiv
[56]

2019 , eprint=

All ( ,1) -toposes have strict univalent universes , author=. 2019 , eprint=

work page 2019
[57]

Street, Ross , title=. J. Pure Appl. Algebra , volume=. 1987 , number=

work page 1987
[58]

Fibrations and Yoneda's lemma in a 2-category , booktitle=

Street, Ross , editor=. Fibrations and Yoneda's lemma in a 2-category , booktitle=. 1974 , publisher=

work page 1974
[59]

2007 , journal =

Mark Weber , title=. 2007 , journal =

work page 2007
[60]

Homotopy Type Theory: Univalent Foundations of Mathematics , publisher =

The. Homotopy Type Theory: Univalent Foundations of Mathematics , publisher =

work page
[61]

A braided monoidal (∞, 2)-category of Soergel bimodules.arXiv preprint arXiv:2401.02956, 2024

Liu, Yu Leon and Mazel-Gee, Aaron and Reutter, David and Stroppel, Catharina and Wedrich, Paul , year=. A braided monoidal ( ,2) -category of. 2401.02956 , archivePrefix=

work page arXiv
[62]

2020 , eprint=

Presentable ( ,n) -categories , author=. 2020 , eprint=

work page 2020
[63]

Simplicial structures in higher

Dyckerhoff, Tobias and Jasso, Gustavo and Walde, Tashi , journal=. Simplicial structures in higher. 2019 , publisher=

work page 2019
[64]

J.Eur.Math.Soc

Perverse schobers and 3d mirror symmetry , author=. J.Eur.Math.Soc. , year=

work page
[65]

Spherical

Anno, Rina and Logvinenko, Timothy , journal=. Spherical

work page
[66]

Braid group actions on derived categories of coherent sheaves , author=

work page
[67]

Perverse Schobers

Perverse schobers , author=. arXiv preprint arXiv:1411.2772 , year=

work page internal anchor Pith review Pith/arXiv arXiv
[68]

Cahiers de topologie et g

The free adjunction , author=. Cahiers de topologie et g

work page
[69]

Advances in Mathematics , volume=

Homotopy coherent adjunctions and the formal theory of monads , author=. Advances in Mathematics , volume=. 2016 , publisher=

work page 2016
[70]

Homotopy coherent theorems of

Walde, Tashi , journal=. Homotopy coherent theorems of. 2022 , publisher=

work page 2022
[71]

arXiv preprint arXiv:2210.06548 , year=

Betti Tate's thesis and the trace of perverse schobers , author=. arXiv preprint arXiv:2210.06548 , year=

work page arXiv
[72]

arXiv preprint arXiv:2511.09553 , year=

Categorification of sheaf theory , author=. arXiv preprint arXiv:2511.09553 , year=

work page arXiv
[73]

Forum of Mathematics, Sigma , volume=

Ginzburg algebras of triangulated surfaces and perverse schobers , author=. Forum of Mathematics, Sigma , volume=. 2022 , organization=

work page 2022
[74]

Spherical adjunctions of stable -categories and the relative

Dyckerhoff, Tobias and Kapranov, Mikhail and Schechtman, Vadim and Soibelman, Yan , journal=. Spherical adjunctions of stable -categories and the relative. 2024 , publisher=

work page 2024