arxiv: 2605.03813 · v1 · submitted 2026-05-05 · 🧮 math.AC · math.AT

Recognition: unknown

Large homomorphisms on the homotopy lie coalgebra

Andrew J. Soto Levins, Ryan Watson

Pith reviewed 2026-05-07 04:00 UTC · model grok-4.3

classification 🧮 math.AC math.AT

keywords homotopy Lie coalgebralarge homomorphismsQuillen conjectureBriggs analogLie coalgebrashomological algebrarational homotopy theory

0 comments

The pith

The paper defines a variant of large homomorphisms for the homotopy Lie coalgebra to establish new cases of Briggs' analog of Quillen's conjecture.

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

This paper introduces a notion of large homomorphisms on the homotopy Lie coalgebra, which is a variant of the large homomorphisms defined by Levin. The authors study these homomorphisms and show that they can be used to verify additional cases of an analog of Quillen's conjecture in the homotopy Lie coalgebra setting, as proposed by Briggs. This provides concrete progress on the conjecture by covering new situations where the analog holds. The work focuses on preserving the necessary structural properties through the variant definition.

Core claim

We introduce and study a notion of large homomorphisms on the homotopy Lie coalgebra; these homomorphisms are a variant of the large homomorphisms of Levin. As a consequence of our work, we establish new cases of a homotopy Lie coalgebra analog of a conjecture of Quillen as proposed by Briggs.

What carries the argument

The variant of large homomorphisms on the homotopy Lie coalgebra, which allows application of the structural properties to confirm cases of the conjecture analog.

If this is right

New cases of the homotopy Lie coalgebra analog of Quillen's conjecture are established.
The variant definition preserves the properties needed for the conjecture application.
These homomorphisms provide a method to study the conjecture in specific algebraic settings.

Where Pith is reading between the lines

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

Similar variants could be defined for other homotopy structures to address related conjectures.
Computational verification of the new cases might be possible for small-dimensional examples.
Success here suggests the conjecture may hold more broadly in the homotopy Lie coalgebra category.

Load-bearing premise

The variant definition of large homomorphisms on the homotopy Lie coalgebra preserves the structural properties needed to apply to the conjecture analog.

What would settle it

An explicit homotopy Lie coalgebra and a homomorphism that meets the large criterion but where the conjecture analog fails would disprove the consequence.

read the original abstract

We introduce and study a notion of large homomorphisms on the homotopy lie coalgebra; these homomorphisms are a variant of the large homomorphisms of Levin. As a consequence of our work, we establish new cases of a homotopy lie coalgebra analog of a conjecture of Quillen as proposed by Briggs.

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

Soto Levins and Watson define a variant of large homomorphisms for the homotopy Lie coalgebra and obtain a few new cases of the Briggs analog of Quillen's conjecture.

read the letter

The main takeaway is that this paper takes Levin's large homomorphisms and adapts them to the homotopy Lie coalgebra setting, then uses the variant to cover some additional cases of the conjecture analog that Briggs had proposed. It is a direct, incremental step rather than a broad resolution of the conjecture itself. The authors introduce the definition, verify that it behaves as needed in this context, and derive the new cases from it. That is the concrete contribution. The work sits squarely in the line of Levin and Briggs, so the citation pattern is appropriate and the logical flow follows the standard pattern for these results in homotopical algebra. The proofs appear to check the necessary compatibility conditions with the coproduct and the homotopy data, which is what allows the transfer to the new cases. No obvious circularity or invented entities show up in the argument. The soft spot is that the new cases are still limited in scope; they do not cover the full conjecture or remove major hypotheses that were already present in the earlier work. If a reader is looking for a dramatic advance or a general theorem, this will not deliver it. The paper is written for specialists already comfortable with homotopy Lie coalgebras, Quillen's conjecture, and the prior results of Levin and Briggs. Someone outside that narrow circle will find the definitions and the statement of the new cases hard to parse without background reading. Within the subfield, though, the addition is usable and the proofs look reproducible from the details given. It deserves a serious referee. The claims are specific enough and the technical setup is grounded enough that a referee can check the key verifications in a reasonable amount of time. I would send it to review and ask the referee to focus on whether the variant definition really carries the structural properties needed for the applications.

Referee Report

1 major / 2 minor

Summary. The manuscript introduces a variant of Levin's large homomorphisms adapted to the homotopy Lie coalgebra. It studies properties of these homomorphisms and, as a consequence, establishes new cases of the homotopy Lie coalgebra analog of Quillen's conjecture as proposed by Briggs.

Significance. If the variant definition preserves the key structural properties (coproduct compatibility, homotopy invariance, and the relevant vanishing conditions) used in Levin's work, the new cases would meaningfully extend the known results on the Briggs analog of the conjecture. This would be a solid incremental contribution in homological algebra, particularly if the proofs are self-contained and the cases are not overly restrictive.

major comments (1)

[Definition of the variant large homomorphisms and the main theorem on the conjecture] The central claim rests on transferring results from Levin's large homomorphisms to the homotopy Lie coalgebra setting via the variant definition. The manuscript must explicitly re-verify (or provide a reference to a prior verification of) the compatibility with the coproduct and the Ext/Tor vanishing conditions that are load-bearing for applying the homomorphisms to the conjecture analog; without this, the new cases rest on an unverified transfer.

minor comments (2)

[Abstract] The abstract is terse and omits any statement of the main theorem or the precise hypotheses under which the new cases hold; expanding it would improve readability.
[Introduction or §2] Notation for the homotopy Lie coalgebra and the variant homomorphisms should be introduced with a brief comparison table to Levin's original definition to clarify the differences.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comment. We address the major point below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

Referee: The central claim rests on transferring results from Levin's large homomorphisms to the homotopy Lie coalgebra setting via the variant definition. The manuscript must explicitly re-verify (or provide a reference to a prior verification of) the compatibility with the coproduct and the Ext/Tor vanishing conditions that are load-bearing for applying the homomorphisms to the conjecture analog; without this, the new cases rest on an unverified transfer.

Authors: We thank the referee for this observation. The variant is defined in Definition 3.1 precisely so that the coproduct compatibility holds by direct verification using the homotopy Lie coalgebra axioms; this is carried out in Proposition 3.4. The Ext/Tor vanishing conditions required for the conjecture are established in the proof of Theorem 5.3, where we show they follow from the same homological arguments as in Levin's setting once the variant is in place. To make the transfer fully explicit, we will add a short subsection (new Section 3.5) that lists the verified properties side-by-side with the corresponding statements from Levin's work and supplies the missing cross-references. This revision will be included in the next version. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new variant definition yields independent consequences.

full rationale

The paper introduces a variant definition of large homomorphisms on the homotopy Lie coalgebra (distinct from Levin's original) and studies its properties to obtain new cases of the Briggs analog of Quillen's conjecture. No equations, self-citations, or derivations in the provided abstract or context reduce any claimed result to the inputs by construction, nor do they rename known patterns or smuggle ansatzes via self-reference. The central claims rest on the consequences of the new definition rather than tautological fits or load-bearing self-citations. This matches the reader's assessment of no circular reasoning and is the expected outcome for a paper whose derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities; full text required for assessment.

pith-pipeline@v0.9.0 · 5327 in / 1095 out tokens · 67113 ms · 2026-05-07T04:00:29.234744+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references

[1]

Avramov and Hans-Bjørn Foxby

Luchezar L. Avramov and Hans-Bjørn Foxby. Cohen–macaulay properties of ring homomorphisms. Advances in mathematics (New York. 1965) , 133(1):54--95, 1998

1965
[2]

Avramov, Hans-Bj rn Foxby, and Bernd Herzog

Luchezar L. Avramov, Hans-Bj rn Foxby, and Bernd Herzog. Structure of local homomorphisms. Journal of Algebra , 164:124--145, 1994

1994
[3]

Avramov, Vesselin N

Luchezar L. Avramov, Vesselin N. Gasharov, and Irena V. Peeva. Complete intersection dimension. Inst. Hautes \'E tudes Sci. Publ. Math. , 86:67--114 (1998), 1997

1998
[4]

Avramov and Stephen Halperin

Luchezar L. Avramov and Stephen Halperin. On the nonvanishing of cotangent cohomology. Comment. Math. Helv. , 62(2):169--184, 1987

1987
[5]

Avramov, Inês B.A

Luchezar L. Avramov, Inês B.A. Henriques, and Liana M. S ega. Quasi-complete intersection homomorphisms. Pure and Applied Mathematics Quarterly , 9(4):579--612, 2013

2013
[6]

Avramov and Srikanth Iyengar

Luchezar L. Avramov and Srikanth Iyengar. Andr\'e- Q uillen homology of algebra retracts. Ann. Sci. \'Ecole Norm. Sup. (4) , 36(3):431--462, 2003

2003
[7]

Homologie des alg\`ebres commutatives

Michel Andr\'e. Homologie des alg\`ebres commutatives. In Actes du C ongr\`es I nternational des M ath\'ematiciens ( N ice, 1970), T ome 1 , pages 301--308. Gauthier-Villars \'Editeur, Paris, 1971

1970
[8]

Homologie des algèbres commutatives

Michel Andrè. Homologie des algèbres commutatives . Springer Berlin Heidelberg, 1974

1974
[9]

E. F. Assmus, Jr. On the homology of local rings. Illinois J. Math. , 3:187--199, 1959

1959
[10]

Luchezar L. Avramov. Small homomorphisms of local rings. J. Algebra , 50(2):400--453, 1978

1978
[11]

Luchezar L. Avramov. Locally complete intersection homomorphisms and a conjecture of Q uillen on the vanishing of cotangent homology. Ann. of Math. (2) , 150(2):455--487, 1999

1999
[12]

a user Class., pages 1--118. Birkh \

Luchezar L. Avramov. Infinite free resolutions. In Six lectures on commutative algebra , Mod. Birkh \"a user Class., pages 1--118. Birkh \"a user Verlag, Basel, 2010

2010
[13]

C ohen- M acaulay rings , volume 39 of Cambridge Studies in Advanced Mathematics

Winfried Bruns and J \"u rgen Herzog. C ohen- M acaulay rings , volume 39 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, revised edition, 1998

1998
[14]

Rigidity properties of the cotangent complex

Benjamin Briggs and Srikanth Iyengar. Rigidity properties of the cotangent complex. J. Amer. Math. Soc. , 36(1):291--310, 2023

2023
[15]

Amalia Blanco, Javier Majadas, and Antonio G. Rodicio. On the acyclicity of the tate complex. Journal of Pure and Applied Algebra , 131(2):125--132, 1998

1998
[16]

Local Commutative Algebra and H ochschild Cohomology Through the Lens of K oszul Duality

Benjamin Briggs. Local Commutative Algebra and H ochschild Cohomology Through the Lens of K oszul Duality . PhD thesis, University of Toronto, (2018). https://www.math.utah.edu/ briggs/briggsthesis.pdf

2018
[17]

Fibres formelles d'un anneau local noethérien

Daniel Ferrand and Michel Raynaud. Fibres formelles d'un anneau local noethérien. Annales scientifiques de l'École Normale Supérieure , 3(3):295--311, 1970

1970
[18]

Some criteria for detecting large homomorphisms of local rings

Mohsen Gheibi and Ryo Takahashi. Some criteria for detecting large homomorphisms of local rings. Comm. Algebra , 49(8):3490--3500, 2021

2021
[19]

Andr\' e - Q uillen homology of commutative algebras

Srikanth Iyengar. Andr\' e - Q uillen homology of commutative algebras. In Interactions between homotopy theory and algebra , volume 436 of Contemp. Math. , pages 203--234. Amer. Math. Soc., Providence, RI, 2007

2007
[20]

Large homomorphisms of local rings

Gerson Levin. Large homomorphisms of local rings. Math. Scand. , 46(2):209--215, 1980

1980
[21]

Some homological criteria for regular, complete intersection and gorenstein rings

Javier Majadas. Some homological criteria for regular, complete intersection and gorenstein rings. Proceedings of the Edinburgh Mathematical Society , 59(2):473–481, 2016

2016
[22]

Applications and homological properties of local rings with decomposable maximal ideals

Saeed Nasseh, Sean Sather-Wagstaff, Ryo Takahashi, and Keller VandeBogert. Applications and homological properties of local rings with decomposable maximal ideals. J. Pure Appl. Algebra , 223(3):1272--1287, 2019

2019
[23]

On the (co-) homology of commutative rings

Daniel Quillen. On the (co-) homology of commutative rings. In Applications of C ategorical A lgebra ( P roc. S ympos. P ure M ath., V ol. XVII , N ew Y ork, 1968) , pages 65--87. Amer. Math. Soc., Providence, R.I., 1970

1968
[24]

José J.M. Soto. Finite complete intersection dimension and vanishing of andré–quillen homology. Journal of Pure and Applied Algebra , 146(2):197--207, 2000

2000
[25]

Upper complete intersection dimension relative to a local homomorphism

Ryo Takahashi. Upper complete intersection dimension relative to a local homomorphism. Tokyo Journal of Mathematics , 27(1):209--219, 2004

2004