Universal property of framed $G$-disc algebras

Aleksandar Miladinovi\'c

REVIEW 3 major objections 4 minor 14 references

Universal property of framed $G$-disc algebras

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

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

Pith's one-line read A freeness theorem equates G/H-framed G-disc algebras with V-framed H-disc algebras.

desk verdict A likely-correct universal property for framed G-disc algebras; new and worthwhile, but Proposition 3.10 needs a real proof before I'd trust it fully. read the letter →

arxiv 2506.02699 v1 pith:HZP7PAIQ submitted 2025-06-03 math.AT math.CT

Aleksandar Miladinović This is my paper

classification math.ATmath.CT MSC 55P9118N60

keywords equivarianthomotopytheoryG-discalgebrasfactorizationhomologyG-symmetricmonoidalcategories∞-operadsgenuinespectrarealtopologicalHochschilduniversalproperty

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

The paper proves a universal property for framed equivariant disc algebras: for a compact Lie group $G$ and a finite subgroup $H$, the $\infty$-category of $G/H$-framed $G$-disc algebras with coefficients in a $G$-symmetric monoidal category $\underline{\mathcal{C}}^{\otimes}$ is equivalent to the $\infty$-category of $V$-framed $H$-disc algebras with coefficients in the underlying $H$-symmetric monoidal category $\underline{\mathcal{C}}^{\otimes}_H$. In plainer terms, the $G$-symmetric monoidal category of $G/H$-framed $G$-discs is freely generated by the $H$-symmetric monoidal category of $V$-framed $H$-discs, so an $H$-algebra with the right framing automatically extends to a $G$-algebra. This matters because equivariant factorization homology uses $G$-disc algebras as coefficients; the equivalence lets one construct genuine $G$-objects from easier $H$-level data, and the paper uses it to lift the $\mathrm{C}_2$-action on real topological Hochschild homology to an $\mathrm{O}(2)$-action.

What carries the argument

The load-bearing mechanism is the theory of $G$-approximations to $G$-$\infty$-operads, together with the comparison map $\theta\colon \underline{\mathcal{D}}^{H,V\text{-fr}} \to \underline{\mathcal{D}}^{G,G/H\text{-fr}}$ between underlying $\infty$-operads of representation discs. A $G$-approximation is a categorical fibration into a $G$-$\infty$-operad that has enough coCartesian lifts for inert maps and enough Cartesian lifts for active maps; Proposition 3.6 shows that if such an approximation induces an equivalence on underlying $G$-$\infty$-categories, then it induces an equivalence on categories of algebras. Proposition 3.10 verifies these conditions for $\theta$, after which Theorem 3.12 converts the resulting equivalence of $G$-algebra categories into the $H$-algebra equivalence by realizing the underlying $H$-symmetric monoidal category as a pullback of the $G$-symmetric monoidal one.

What would settle it

Compute the mapping spaces on both sides of the equivalence $\theta_{I(-)}$ for a concrete pair such as $H=\mathrm{C}_2$, $V=\sigma$ inside $G=\mathrm{O}(2)$, and check whether the comparison of span mapping spaces in Proposition 3.10 is genuinely an equivalence of $\infty$-groupoids. If two objects whose images are equivalent under the comparison are not equivalent as $V$-framed $H$-discs, or if a $G/H$-framed $G$-disc is found that is not equivalent to an image of $\theta$, the freeness claim fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 3.12: for a compact Lie group $G$, a finite subgroup $H$, and a $G$-symmetric monoidal $\infty$-category $\underline{\mathcal{C}}^{\otimes}$, there is an equivalence $\mathrm{Fun}^{\otimes}_G(\mathrm{Disk}^{G,G/H\text{-fr}},\underline{\mathcal{C}}^{\otimes}) \simeq \mathrm{Fun}^{\otimes}_H(\mathrm{Disk}^{H,V\text{-fr}},\underline{\mathcal{C}}^{\otimes}_H)$, where $V$ is an $H$-representation and $\underline{\mathcal{C}}^{\otimes}_H$ is the underlying $H$-symmetric monoidal subcategory. The equivalence is realized by a map $\theta$ from the $H$-discs to the $G$-discs and by the general criterion that a $G$-approximation inducing an equivalence on underlying $G$-$\infty$-categories induces an equivalence on algebra categories. The theorem is a freeness statement: the $G$-symmetric monoidal category of $G/H$-framed $G$-discs is freely generated by the $H$-symmetric monoidal category of $V$-framed $H$-discs.

Load-bearing premise

The load-bearing premise is that the map $\theta$ taking a $V$-framed $H$-disc to the induced $G/H$-framed $G$-disc is a $G$-approximation whose underlying $G$-$\infty$-categories are equivalent; in particular, the full-faithfulness half of that equivalence is checked by comparing span-shaped mapping spaces and declaring them the same without spelling out every identification.

Editorial extensions

If this is right

Every $V$-framed $H$-disc algebra gives, without further choices, a $G/H$-framed $G$-disc algebra, so computing factorization homology over $G/H$ turns $H$-level input into a genuine $G$-object in the coefficient category.
For $G=\mathrm{O}(2)$ and $H=\mathrm{C}_2$ with $V$ the sign representation, the equivalence upgrades the $\mathrm{C}_2$-genuine structure on real topological Hochschild homology $\mathrm{THR}(A)$ to an $\mathrm{O}(2)$-genuine structure via the factorization homology $\int_{S^1} A$.
For $G=S^1$ and $H=\{e\}$, associative algebra objects in spectra become $S^1$-framed $S^1$-disc algebras, so the construction produces genuine $S^1$-objects whose geometric fixed points recover $\mathrm{THH}(A;A^\tau)$.
The freeness statement is a general organizational principle: framed equivariant disc algebras over a quotient $G/H$ are determined by the framed disc algebras of the finite subgroup $H$, a smaller and more computable structure.

Reading between the lines

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

If the freeness iterates along a chain $H_1 \le H_2 \le \cdots \le G$ of finite subgroups, any framed $G$-disc algebra would reduce to framed data of the smallest subgroup, giving a hierarchical description of equivariant factorization homology coefficients.
The same comparison suggests a new route to norm maps: because the $G$-algebra built from an $H$-algebra encodes topological induction along $G/H$, specializing the universal property to representation framings may recover or refine the classical norm constructions in genuine equivariant stable homotopy theory.
A testable extension is to replace the single quotient $G/H$ by a general orbit $G/K$ or a family of orbits; the argument's dependence on one quotient suggests a family version of the freeness statement with appropriate framings.
The $\mathrm{THR}$ application suggests a recipe: any genuine $\mathrm{C}_2$-algebra with involution can be integrated over $S^1$ to produce an $\mathrm{O}(2)$-equivariant spectrum, so the construction may build other $\mathrm{O}(2)$-equivariant refinements.

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

Quick take: this is a real result. The main theorem — that G/H-framed G-disc algebras are the same as V-framed H-disc algebras in the underlying H-category — is new and settles a natural question in equivariant factorization homology. The G-approximation framework in §3.1 is a nice device, and the THR/O(2) application is a concrete payoff. The proof is grounded in Horev's machinery; there is no circularity or data-fitting, and the citation pattern looks appropriate.

The load-bearing step is Proposition 3.10, and it is the weakest part. The essential-surjectivity and full-faithfulness claims are argued with 'same as' comparisons of spans. The stress-test worry is legitimate: a general G-map O→G/H is not literally the canonical projection from an H-orbit, so one needs to show that automorphism/conjugacy transport carries such objects into the image of θ, and that the mapping-space spans match under θ. These identifications are plausible and likely fixable, but they are not proved in the text. Because Theorem 3.12 depends on that equivalence, a referee should make the author write this out.

There is a small typo in Theorem 3.12 ('V is a G-representation' should be 'H-representation'). The applications are sketches, not full proofs, which is fine for a paper whose main point is the universal property.

Net: the paper deserves a serious referee. I'd send it out, with a request to expand Proposition 3.10 and fix the typo. Conditional accept is the right shape.

Referee Report

3 major / 4 minor

Summary. The paper proves a universal property for G/H-framed G-disc algebras: for a compact Lie group G, a finite subgroup H, and a G-symmetric monoidal ∞-category C^⊗, the ∞-category of G/H-framed G-disc algebras with values in C^⊗ is equivalent to the ∞-category of V-framed H-disc algebras with values in the underlying H-symmetric monoidal category C^⊗_H. The proof proceeds by introducing G-approximations to G-∞-operads (Proposition 3.6), constructing a map θ from the H-∞-operad of V-framed H-representations to the G-∞-operad of G/H-framed G-representations, and then proving that θ is a G-approximation inducing an equivalence on underlying G-∞-categories (Proposition 3.10). Two applications are sketched: refining the C_2-action on real topological Hochschild homology to an O(2)-action, and relating associative algebras in spectra to S^1-framed S^1-disc algebras.

Significance. If the main theorem is correct, it provides a clean and useful freeness statement for framed equivariant disc categories, with immediate consequences for equivariant factorization homology and for the structure of genuine equivariant objects. The paper is largely self-contained: it builds on parametrized higher category theory and gives a formal approximation argument in Proposition 3.6, and the intended applications to THR are explicit and interesting. The result is not incremental in a trivial sense because it identifies the precise framing choices under which G-disc algebras reduce to H-disc algebras. However, the central bridge, Proposition 3.10, is currently proved by a diagrammatic assertion rather than by a careful comparison of the relevant mapping ∞-groupoids, and this is load-bearing for the main theorem.

major comments (3)

[§3.2, Proposition 3.10] The proof of essential surjectivity of θ_{I(-)} is not complete. The text asserts that an object of D^{G,G/H-fr}_{I(-)} depicted as O→G/H “is the same as” O=→O→G/H in D^{H,V-fr}_{I(-)}, but a general equivariant map G/K→G/H is not the canonical projection: it exists for any K subconjugate to H, and when K is not literally a subgroup of H the object is not in the image of θ. The argument must exhibit coCartesian transport along an equivalence G/K ≃ G/(gKg^{-1}) in O_G^op and verify that θ commutes with that transport. Since Proposition 3.6 is applied to θ only after establishing that θ_{I(-)} is an equivalence of G-∞-categories, this missing verification is load-bearing for Theorem 3.12.
[§3.2, Proposition 3.10] The full faithfulness half of the equivalence θ_{I(-)} is asserted by drawing the same span diagram with an additional row. Drawing the same span does not prove that the induced map on mapping ∞-groupoids is an equivalence: one must compare the actual ∞-categories of factorizations in the two span categories, including the inert/active structure and the pullback conditions on the left squares. The “same span” statement is a heuristic, not a verification, and this identification is precisely where a subtle failure of the universal property would live.
[§3.2, proof of Theorem 3.12] The proof of the equivalence Alg_G(D^{H,V-fr}, C) ≃ Alg_H(D^{H,V-fr}, C_H) is compressed. In particular, the claim that a D^{H,V-fr}-algebra object in C^⊗ restricts to an H-algebra object in C^⊗_H uses the universal property of the pullback defining C^⊗_H, but the diagram in the proof contains several maps and pullback squares that are not fully specified. While this step is more standard than Proposition 3.10, it should be written out so that the reader can verify that the inert-edge condition is preserved under the pullback, especially because D^{H,V-fr} is being viewed simultaneously as an H-∞-operad and as a G-∞-operad via Fin_H^* → Fin_G^*.

minor comments (4)

[§3.2, Theorem 3.12] The statement says “where V is a G-representation,” but throughout the paper V is an H-representation; this should be corrected to avoid confusion with the framing data.
[§3.2, Description 3.8] The sentence “the objects of (Rep^{V-fr,⊔}_n(H))_{I(-)} are framed over a point, they correspond to the V-framed G-discs” should refer to H-discs rather than G-discs; as written it conflates the source and target of θ.
[§3.1, Definition 3.1] Condition (3) refers to an “active morphism” in a G-∞-operad, but the paper only defines inert morphisms in this context; a definition or reference for active morphisms in G-∞-operads should be added.
[§3.3, O(2)-application] The claim that S^1 can be regarded as a genuine O(2)-object in Mfld^{O(2),S^1-fr} via O ↦ O×S^1 is stated without proof; since this is used to form the factorization homology ∫_{S^1} A, a brief justification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main equivalence is derived from a formal G-approximation theorem applied to an explicitly defined map, with all load-bearing inputs being prior independent foundations.

full rationale

The paper proves Theorem 3.12 by (i) invoking the standard envelope equivalence Disk^{G,f-fr,⊔} ≃ Env_G(Rep^{f-fr,⊔}_n(G)) (Prop. 2.14, cited to [Hor19] and [Mil22]), (ii) proving a formal criterion (Prop. 3.6) that a G-approximation inducing an equivalence on underlying G-∞-categories yields an equivalence of algebra categories, and (iii) verifying that the map θ: D^{H,V-fr} → D^{G,G/H-fr} satisfies this criterion (Prop. 3.10). No step fits a parameter, renames a known result, or invokes a uniqueness theorem from the author's prior work. The citations to [Hor19] and [Mil22] provide the prior envelope and factorization-homology frameworks; these are parameter-free structural results whose assumptions do not include the theorem being proved, so they are independent support rather than circularity. The only delicate point is the compressed identification of mapping spaces in the proof of Proposition 3.10, where the text states that the spans 'are the same' for the source and target underlying G-∞-categories; this is a potential rigor gap, but it is a direct comparison of diagrams using the description of the objects, not an assumption of the conclusion, so it does not constitute circularity.

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

The central claim rests on existing foundations of equivariant higher algebra and on two cited structural results. No new entities or fitted parameters are introduced.

assumptions (5)

standard math Foundational framework of higher category theory (Lurie's HTT and Higher Algebra)
Used throughout for ∞-categories, ∞-operads, Kan extensions, and categorical fibrations.
standard math Parametrized higher category theory and G-∞-operads (Barwick, Dotto, Glasman, Nardin, Shah)
Provides definitions of G-∞-categories and G-symmetric monoidal structures that the paper builds on.
domain assumption Horev's results on genuine equivariant factorization homology and THR (Hor19, 7.1.1 and 7.1.2)
Used in Section 3.3 to identify factorization homology of S1 with THR.
domain assumption Proposition 2.14: the G-symmetric monoidal category of framed G-discs is the monoidal envelope of the representation operad
Cited from Horev and the author's thesis; it is the bridge that converts the universal property into a statement about algebra objects.
standard math The orbit category of a compact Lie group with finite stabilizers is atomic orbital
Assumed to define G-symmetric monoidal structures in this setting, following Nardin.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Universal property of framed $G$-disc algebras." pith.science (2026). https://pith.science/paper/HZP7PAIQ

@misc{pith2026250602699,
  author       = {Pith},
  title        = {Pith review of: Universal property of framed $G$-disc algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HZP7PAIQ}},
  note         = {Machine review of arXiv:2506.02699}
}

abstract

Given a compact Lie group $G$ and its finite subgroup $H$ we prove that the $\infty$-category of $G/H$-framed $G$-disc algebras taking values in a $G$-symmetric monoidal category $\underline{\mathcal{C}}^{\otimes}$ is equivalent to the $\infty$-category of $V$-framed $H$-disc algebras (where $V$ is an $H$-representation) which take values in $\underline{\mathcal{C}}^{\otimes}_H$, the underlying $H$-symmetric monoidal subcategory of $\underline{\mathcal{C}}^{\otimes}$. We will use this construction to refine the $C_2$-action on the real topological Hochschild homology to an $O(2)$-action.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 10 canonical work pages

[1]

Ayala, J

D. Ayala, J. Francis, Factorization homology of topological manifolds, Journal of Topology, 8(4):1045–1084, 2015

work page 2015
[2]

Barwick, E

C. Barwick, E. Dotto, S. Glasman, D. Nardin, J. Shah, Parametrized higher category theory and higher algebra: Expos\' e I – elements of parametrized higher category theory , available at arXiv:1608.03657, 2016

arXiv 2016
[3]

Barwick, S

C. Barwick, S. Glasman, D. Nardin, Dualizing cartesian and cocartesian fibrations, Theory and Applications of Categories vol. 33, no. 4, pp. 67-94, 2018

work page 2018
[4]

Dotto, K

E. Dotto, K. Moi, I. Patchkoria, S.P. Reeh, Real topological hochschild homology, Journal of the European Mathematical Society 23, No.1, 63-157, 2021

work page 2021
[5]

M. Hill, M. Hopkins, D. Ravenel, On the nonexistence of elements of kervaire invariant one, Annals of Mathematics, 184(1):1–262, 2016

work page 2016
[6]

Horev, Genuine equivariant factorization homology, available at arXiv: 1910.07226, 2019

A. Horev, Genuine equivariant factorization homology, available at arXiv: 1910.07226, 2019

arXiv 1910
[7]

Lurie, Higher Topos Theory, Princeton University press, 2009

J. Lurie, Higher Topos Theory, Princeton University press, 2009

work page 2009
[8]

Lurie, Higher Algebra, Available at the webpage of the author

J. Lurie, Higher Algebra, Available at the webpage of the author

work page

Show all 14 references

[9]

Miladinović, Equivariant stability and factorization homology, PhD thesis, University Paris 13, 2022

A. Miladinović, Equivariant stability and factorization homology, PhD thesis, University Paris 13, 2022

2022
[10]

Nardin, Parametrized higher category theory and higher algebra: expos\' e IV - Stability with respect to an orbital -category , Available at arXiv:1608.07704

D. Nardin, Parametrized higher category theory and higher algebra: expos\' e IV - Stability with respect to an orbital -category , Available at arXiv:1608.07704

arXiv
[11]

Nardin, Stability and distributivity over orbital -categories, PhD thesis, Massachusetts Institute of Technology, 2017

D. Nardin, Stability and distributivity over orbital -categories, PhD thesis, Massachusetts Institute of Technology, 2017

2017
[12]

Nardin, J

D. Nardin, J. Shah, Parametrized and equivariant higher algebra, Available at arXiv:2203.00072

arXiv
[13]

Shah, Parametrized higher category theory, Algebraic & Geometric Topology 23 (2), 509-644, 2023

J. Shah, Parametrized higher category theory, Algebraic & Geometric Topology 23 (2), 509-644, 2023

2023
[14]

tom Dieck, Transformation groups, Volume 8, De Gryter Studies in Mathematics, 1987

T. tom Dieck, Transformation groups, Volume 8, De Gryter Studies in Mathematics, 1987

1987

Pith tools

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

[1] [1]

Ayala, J

D. Ayala, J. Francis, Factorization homology of topological manifolds, Journal of Topology, 8(4):1045–1084, 2015

work page 2015

[2] [2]

Barwick, E

C. Barwick, E. Dotto, S. Glasman, D. Nardin, J. Shah, Parametrized higher category theory and higher algebra: Expos\' e I – elements of parametrized higher category theory , available at arXiv:1608.03657, 2016

arXiv 2016

[3] [3]

Barwick, S

C. Barwick, S. Glasman, D. Nardin, Dualizing cartesian and cocartesian fibrations, Theory and Applications of Categories vol. 33, no. 4, pp. 67-94, 2018

work page 2018

[4] [4]

Dotto, K

E. Dotto, K. Moi, I. Patchkoria, S.P. Reeh, Real topological hochschild homology, Journal of the European Mathematical Society 23, No.1, 63-157, 2021

work page 2021

[5] [5]

M. Hill, M. Hopkins, D. Ravenel, On the nonexistence of elements of kervaire invariant one, Annals of Mathematics, 184(1):1–262, 2016

work page 2016

[6] [6]

Horev, Genuine equivariant factorization homology, available at arXiv: 1910.07226, 2019

A. Horev, Genuine equivariant factorization homology, available at arXiv: 1910.07226, 2019

arXiv 1910

[7] [7]

Lurie, Higher Topos Theory, Princeton University press, 2009

J. Lurie, Higher Topos Theory, Princeton University press, 2009

work page 2009

[8] [8]

Lurie, Higher Algebra, Available at the webpage of the author

J. Lurie, Higher Algebra, Available at the webpage of the author

work page