Applications of equivariant factorization homology

Aleksandar Miladinovi\'c

REVIEW 4 major objections 3 minor 23 references

Applications of equivariant factorization homology

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

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

Pith's one-line read This paper claims that equivariant factorization homology, built with parametrized higher category theory, describes the results of a series of earlier papers.

desk verdict Abstract too vague to evaluate; the paper might be fine, but it currently says nothing testable. read the letter →

arxiv 2508.12911 v1 pith:5RVM72ZV submitted 2025-08-18 math.AT

Aleksandar Miladinović This is my paper · ORCID

classification math.AT MSC 55N91

keywords equivariantfactorizationhomologyparametrizedhighercategorytheorygroupactionstopologylocal-to-globalinvariants

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 claims that equivariant factorization homology—an invariant of manifolds with group actions built by gluing local data along equivariant embeddings—can be constructed with parametrized higher category theory and that this construction describes the results of a series of earlier papers. The point is application: the author argues that a single parametrized higher-category framework is strong enough to organize results that may previously have appeared as separate computations. If the claim is right, then the series of papers becomes a body of consequences of one homology-theoretic construction, and the parametrized higher-category machinery earns its place as a working tool rather than a purely formal abstraction.

What carries the argument

The central object is equivariant factorization homology, a homology-like construction that assigns to a manifold with group action an invariant determined by local data and the equivariant embeddings between charts. The supporting machinery is parametrized higher category theory—a formalism for families of higher categories indexed by a base category—which is used to define the equivariant version and to manage the coherence conditions that gluing with a group action entails. This machinery is what carries the claim: it is the reason equivariant factorization homology can be stated at the right level of generality, and it is the tool that lets each earlier result be recognized as a computation within the construction.

What would settle it

Locate any single result in the series of papers—one computation, one theorem, or one invariant—and compute the corresponding equivariant factorization homology for the same manifold, group action, and coefficients. If the earlier result is not recovered as a special case, or if the construction yields a different invariant, the central claim is refuted.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that equivariant factorization homology as built through parametrized higher category theory is capable of describing the results used in a series of earlier papers. The claim is not that a new type of invariant is found, but that an existing construction has enough reach to make those earlier results appear as instances of a common homological framework. What makes this a discovery rather than a survey is the assertion that the parametrized higher-category construction supplies the right definitions and coherence structure for the equivariant setting, so that the description is genuinely structural rather than bookkeeping.

Load-bearing premise

The load-bearing assumption is that the equivariant factorization homology built from parametrized higher category theory genuinely matches the results from the earlier series, so that the description is a real identity rather than a loose analogy.

Editorial extensions

If this is right

The results of the earlier series can be re-derived as consequences of equivariant factorization homology, giving a single conceptual origin for computations that may have been proved separately.
Equivariant factorization homology built with parametrized higher category theory becomes a viable foundation for introducing new equivariant invariants by specifying local data and then gluing.
Because the framework is parametric, it should adapt to new families of group actions or manifold classes without rebuilding the construction from scratch.
The paper supports the broader expectation that higher-category-theoretic constructions at the equivariant level can be used for concrete mathematical work, not just for organizing abstractions.

Reading between the lines

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

An immediate testable extension would be to take one concrete equivariant manifold from the series—say a sphere or a torus with a finite group action—and compute its equivariant factorization homology directly, checking that the known result is recovered as a special case.
A deeper implication the author leaves implicit is that the parametrized construction may supply a blueprint for equivariant manifold calculus, where embedding spaces with group actions could be studied by the same local-to-global method.
If the construction is fully faithful, one could also expect it to specialize to ordinary factorization homology by forgetting the group action, and to ordinary equivariant cohomology under suitable coefficient choices; verifying those two specializations would be a natural sanity check.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

Colleague,

This one is a shot in the dark. The abstract says only that the author uses an equivariant version of factorization homology, built via parametrized higher category theory, to describe results from a series of papers. No theorems, no named constructions, no references to that series. The whole thing is one sentence of declaration.

What is actually new? I can't tell. Applying an existing framework to prior results can be a legitimate contribution, and if the equivariant theory genuinely organizes a body of work that previously lacked a common perspective, that would be worth having. The title explicitly says "Applications," so the author isn't claiming a new framework, just new uses. But the abstract gives me nothing to test that with.

What the paper does well? On this evidence, nothing visible. That's not a knock on the mathematics—the full text may be perfectly fine—but the abstract is so vague that it doesn't even gesture at the main result. A reader shouldn't have to fetch the PDF to learn whether the paper is about a theorem, an example, or a survey.

Soft spots: the abstract's failure to name the "series of papers" is the big one. Without knowing which results are supposedly being described, the claim is unfalsifiable from the abstract. Also, the relationship between the equivariant construction and those results is asserted, not argued. That might be in the body, but the abstract needs at least a hint. The citation pattern is similarly invisible: no named references, so we can't assess whether the paper engages with the relevant literature.

I also note the phrasing risks sounding circular—"use the equivariant version ... to describe the results" could be read as saying the construction was tailored for those results—but the stress-test finds no internal inconsistency, so I won't push that.

Bottom line: this paper may be fine, but the presentation is inadequate for any evaluation. I wouldn't bring this to a reading group on the strength of the abstract, and I wouldn't cite it. My recommendation is to desk reject with an invitation to resubmit with a substantive abstract. If the full text has real theorems, a future version could move the needle.

Referee Report

4 major / 3 minor

Summary. The manuscript, as represented by the abstract, claims that an equivariant version of factorization homology constructed using parametrized higher category theory can be used to describe results that are used in a series of papers. The abstract provides no definitions, theorem statements, named prior results, or examples. Because the full text was not available, this review necessarily rests on the abstract alone.

Significance. If the claimed connection is genuine, the paper would offer a conceptual unification: a single equivariant framework that organizes and reproduces a body of existing results would be of real value in equivariant topology and higher algebra. The abstract, however, supplies no evidence for this claim, so the significance cannot currently be assessed beyond the initial promise of the program.

major comments (4)

[Abstract] The abstract asserts that an equivariant version of factorization homology is 'constructed using the parametrized higher category theory,' but it gives no construction, no reference for that construction, and no definition of the relevant parametrized higher category theory; this is a load-bearing premise that is unsupported in the submitted text.
[Abstract] The phrase 'the results used in the series of papers' is not linked to any named series or specific list of results, so the claimed relationship between the equivariant theory and those results cannot be checked; the author should provide explicit citations and a precise statement of which results are being described.
[Abstract] The abstract contains no theorem statement, no proof sketch, and no illustrative example, so the reader cannot verify that the equivariant version actually captures the prior results in a non-tautological way; as submitted, the central claim is unverifiable from the available material.
[Abstract] There is an unresolved circularity risk: if the series of papers includes the construction of the equivariant factorization homology itself, then using that framework to 'describe' the results of that same series would be circular; the author should clarify whether the series predates the construction or includes it.

minor comments (3)

[Abstract] The abstract would be improved by naming the series of papers with explicit citations and by indicating their subject area.
[Abstract] The phrase 'constructed using the parametrized higher category theory' is ambiguous because the definite article suggests a specific formalism that the reader is expected to know, but no reference is supplied.
[Abstract] The final phrase 'describe the results used in the series of papers' is vague about whether the description is a reformulation, a proof, or an application; making the intended relationship explicit would clarify the contribution.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified; abstract-only record provides no derivation chain to reduce.

full rationale

The only text available is the abstract, which asserts that an equivariant version of factorization homology constructed via parametrized higher category theory can be used to describe results from a series of papers. No definitions, equations, theorems, or named prior results are visible, so there is no load-bearing step whose output can be shown by construction to equal its input. The possibility that the 'series of papers' includes the construction itself is speculative and would require the full paper's citation chain to evaluate. Per the rule that only concrete reductions count, this evidentiary gap is an unverifiability concern, not circularity. The mathematical claim is untestable from the abstract but is not demonstrably circular; hence score 0.

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

No free parameters or invented entities are identifiable from the abstract. The central claim rests on assuming the validity of an existing construction and the representability of prior results.

assumptions (2)

domain assumption The equivariant factorization homology construction from parametrized higher category theory exists and is a valid framework.
The abstract relies on this construction without proving it or citing a specific reference in the abstract.
domain assumption The results from the unnamed series of papers are correct and can be expressed in the equivariant framework.
The central claim presupposes that these results exist and are representable, but they are not identified in the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Applications of equivariant factorization homology." pith.science (2026). https://pith.science/paper/5RVM72ZV

@misc{pith2026250812911,
  author       = {Pith},
  title        = {Pith review of: Applications of equivariant factorization homology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5RVM72ZV}},
  note         = {Machine review of arXiv:2508.12911}
}

read the original abstract

In this paper we use the equivariant version of factorization homology constructed using the parametrized higher category theory and show that it can be used to describe the results used in the series of papers.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 16 canonical work pages

[1]

Angelini-Knoll, T

G. Angelini-Knoll, T. Gerhardt, M. Hill, Real topological Hochschild homology via the norm and Real Witt vectors, preprint, arXiv:2111.06970

work page arXiv
[2]

Angeltveit, A

V. Angeltveit, A. Blumberg, T. Gerhardt, M. Hill, T. Lawson, Topological cyclic homology via the norm, Doc. Math. 23 (2018), 2101-–2163

work page 2018
[3]

Ayala, J

D. Ayala, J. Francis, Factorization homology of topological manifolds, J. Topol. 8(4) (2015), 1045-–1084

work page 2015
[4]

, A factorization homology primer, preprint, arXiv:1903.10961

arXiv 1903
[5]

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 , preprint, arXiv:1608.03657

arXiv
[6]

Beilinson, V

A. Beilinson, V. Drinfeld, Chiral Algebras, Colloq. Publ., Am. Math. Soc. 51, American Mathematical Society, Providence, RI, 2004

work page 2004
[7]

Norms for compact Lie groups in equivariant stable homotopy theory

A. Blumberg, M. Hill, M. Mandell, Norms for compact Lie groups in equivariant stable homotopy theory, preprint, arXiv:2212.11404

work page Pith review arXiv
[8]

Bredon, Equivariant cohomology theories, Lect

G.\,E. Bredon, Equivariant cohomology theories, Lect. Notes Math. 34, Springer-Verlag, Berlin--New York, 1967

work page 1967

Show all 23 references

[9]

Costello, O

K. Costello, O. Gwilliam, Factorization Algebras in Perturbative Quantum Field Theory, Cambridge University Press, 2016

2016
[10]

Goodwillie, Cyclic homology, derivations, and the free loop space, Topol

T. Goodwillie, Cyclic homology, derivations, and the free loop space, Topol. 24(2) (1985), 187-–215

1985
[11]

J. Hanh, A. Horev, I. Klang, D. Wilson, F. Zou, Equivariant nonabelian Poincaré duality and equivariant factorization homology of Thom spectra, preprint, arXiv:2006.13348

2006 arXiv
[12]

M. Hill, M. Hopkins, D. Ravenel, On the nonexistance of elements of kervaire invariant one, Annals of Math. 84(1) (2016),1-–262

2016
[13]

Horev, Genuine equivariant factorization homology, preprint, arXiv: 1910.07226

A. Horev, Genuine equivariant factorization homology, preprint, arXiv: 1910.07226

1910 arXiv
[14]

Lurie, Higher Topos Theory, Princeton University Press, 2009

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

2009
[15]

, Higher Algebra, Available at the webpage of the author
[16]

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
[17]

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

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

arXiv
[18]

, Stability and Distributivity Over Orbital -Categories, PhD thesis, Massachusetts Institute of Technology, 2017

2017
[19]

Nardin, J

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

arXiv
[20]

Salvatore, Configuration spaces with summable labels, in: J

P. Salvatore, Configuration spaces with summable labels, in: J. Aguad\'e, et al. (eds), Cohomological methods in homotopy theory, Proc. Barcelona Conf. on algebraic topology (BCAT), Bellaterra, Spain, 1998; Prog. Math Prog. Math. 196, Birkhäuser, 2001, 375--395

1998
[21]

Segal, Locality of holomorphic bundles, and locality in quantum field theory, in: O

G. Segal, Locality of holomorphic bundles, and locality in quantum field theory, in: O. García-Prada et al. (eds.), The Many Facets of Geometry. A Tribute to Nigel Hitchin, Oxford University Press, Oxford, 2010, 164--176

2010
[22]

Shah, Parametrized higher category theory, Algeb

J. Shah, Parametrized higher category theory, Algeb. Geom. Topol. 23(2) (2023), 509--644

2023
[23]

Weelinck, Equivariant factorization homology of global quotient orbifolds, Adv

T.\,A.\,N. Weelinck, Equivariant factorization homology of global quotient orbifolds, Adv. Math. 366(3) (2020), 107072

2020

Pith tools

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

[1] [1]

Angelini-Knoll, T

G. Angelini-Knoll, T. Gerhardt, M. Hill, Real topological Hochschild homology via the norm and Real Witt vectors, preprint, arXiv:2111.06970

work page arXiv

[2] [2]

Angeltveit, A

V. Angeltveit, A. Blumberg, T. Gerhardt, M. Hill, T. Lawson, Topological cyclic homology via the norm, Doc. Math. 23 (2018), 2101-–2163

work page 2018

[3] [3]

Ayala, J

D. Ayala, J. Francis, Factorization homology of topological manifolds, J. Topol. 8(4) (2015), 1045-–1084

work page 2015

[4] [4]

, A factorization homology primer, preprint, arXiv:1903.10961

arXiv 1903

[5] [5]

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 , preprint, arXiv:1608.03657

arXiv

[6] [6]

Beilinson, V

A. Beilinson, V. Drinfeld, Chiral Algebras, Colloq. Publ., Am. Math. Soc. 51, American Mathematical Society, Providence, RI, 2004

work page 2004

[7] [7]

Norms for compact Lie groups in equivariant stable homotopy theory

A. Blumberg, M. Hill, M. Mandell, Norms for compact Lie groups in equivariant stable homotopy theory, preprint, arXiv:2212.11404

work page Pith review arXiv

[8] [8]

Bredon, Equivariant cohomology theories, Lect

G.\,E. Bredon, Equivariant cohomology theories, Lect. Notes Math. 34, Springer-Verlag, Berlin--New York, 1967

work page 1967