Algebraic models for equivariant rational homotopy theory for discrete groups

Bruno Stonek; Jos\'e M. Moreno-Fern\'andez

arxiv: 2601.17345 · v2 · submitted 2026-01-24 · 🧮 math.AT · math.CT

Algebraic models for equivariant rational homotopy theory for discrete groups

Jos\'e M. Moreno-Fern\'andez , Bruno Stonek This is my paper

Pith reviewed 2026-05-16 11:39 UTC · model grok-4.3

classification 🧮 math.AT math.CT

keywords equivariant rational homotopyalgebraic modelscommutative differential graded algebrasdifferential graded Lie algebrasdiscrete groupsmodel categoriesgenuine equivariant homotopy

0 comments

The pith

Algebraic models are generalized to genuine equivariant rational homotopy for discrete groups.

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

The paper constructs a framework that lifts ordinary algebraic models of rational homotopy theory to the genuine equivariant setting when the group acting is discrete. This lift applies directly to commutative differential graded algebra models and to complete differential graded Lie algebra models. A sympathetic reader would care because the construction keeps the models algebraic and computable while correctly tracking fixed-point data and orbit information that appear only in the equivariant world. The authors then compare their cdga models with other model categories already in the literature.

Core claim

We provide a framework which generalizes algebraic models of a homotopy theory of spaces to the genuine equivariant case for a discrete group. We explain how this applies to commutative differential graded algebra (cdga) models and complete differential graded Lie algebra models for rational spaces. We compare the cdga model to other model categories in the literature.

What carries the argument

A model-category framework that extends nonequivariant algebraic models to genuine G-actions for discrete G while preserving the homotopy-theoretic correspondence.

If this is right

Cdga models now describe the genuine equivariant rational homotopy type of spaces with discrete group action.
Complete differential graded Lie algebra models extend in the same way to the equivariant setting.
The new cdga models stand in direct relation to previously studied equivariant model categories.
Rational equivariant homotopy groups and fixed-point data become accessible through algebraic operations on the models.

Where Pith is reading between the lines

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

The same framework could be tested on explicit computations for finite groups acting on spheres or tori.
Similar algebraic lifts might be attempted for other base categories once the discrete case is settled.
Orbit-space and fixed-point functors should interact predictably with the algebraic models, opening routes to concrete calculations.

Load-bearing premise

The passage to genuine equivariant models for discrete groups preserves the homotopy-theoretic properties that make the algebraic models faithful.

What would settle it

A concrete discrete group G together with a rational G-space whose equivariant homotopy type is not recovered by the generalized cdga or dgl model would refute the framework.

read the original abstract

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

This paper gives a direct transfer of non-equivariant cdga and complete dgl models to the genuine equivariant setting when the group is discrete.

read the letter

The main takeaway is that Moreno-Fernández and Stonek construct algebraic models for genuine equivariant rational homotopy when G is discrete. They equip the categories of equivariant cdgas and complete dgls with model structures so that the usual Quillen equivalences to the homotopy category of spaces carry over via fixed-point and induction functors along the orbit category. The discrete-group hypothesis is used exactly to guarantee that stabilizers are finite and that rationalization commutes with the necessary limits, which keeps the correspondence intact. They also place the cdga model against other equivariant model categories in the literature. This is a clean, non-circular extension of existing results rather than a reinvention. The construction looks technically solid on the evidence given, with no internal contradictions in how the adjunctions are transferred. One minor soft spot is whether the completeness condition on the dgl side introduces any extra restrictions once group actions are imposed, though the transfer argument appears to handle it without new counterexamples. The paper is aimed at people already comfortable with rational homotopy models and model-category techniques in algebraic topology. A reader working on equivariant computations or looking for algebraic tools beyond the non-equivariant case will find it directly useful. I would bring it to a reading group to go through the explicit model structures. It deserves a serious referee because the generalization is new, the method is reproducible from prior work, and the claims are stated in a way that can be checked against the orbit category data.

Referee Report

0 major / 2 minor

Summary. The manuscript develops a framework generalizing algebraic models for the rational homotopy theory of spaces to the genuine equivariant setting for discrete groups G. It applies this to commutative differential graded algebra (cdga) models and complete differential graded Lie algebra (dgl) models for rational spaces, and compares the cdga model to other model categories in the literature by transferring non-equivariant adjunctions along fixed-point and induction functors while using the orbit category to encode fixed-point and orbit data.

Significance. If the Quillen equivalences hold as stated, the work supplies a systematic algebraic approach to genuine equivariant rational homotopy for discrete groups, extending existing non-equivariant cdga and dgl models while preserving homotopy-theoretic properties via direct transfer of adjunctions. This is valuable for computations involving fixed-point data and orbit categories in equivariant topology, and the explicit comparisons to prior model categories strengthen the contribution by situating the new framework within the literature.

minor comments (2)

[§3] §3: The verification that the transferred model structures encode the correct fixed-point data would be strengthened by an explicit low-dimensional example (e.g., G = ℤ/2 acting on a rational sphere) showing that the orbit-category data matches the expected equivariant homotopy groups.
[§5] §5: The comparison of the cdga model with existing equivariant model categories would benefit from a concise table listing the key differences in the treatment of rationalization and the role of the discrete-group hypothesis.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, its significance for genuine equivariant rational homotopy theory, and the recommendation of minor revision. No specific major comments appear in the report, so we offer no point-by-point responses below.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines equivariant model structures on cdgas and complete dgls by transferring the non-equivariant Quillen equivalences along fixed-point and induction functors over the orbit category. All load-bearing steps (model category axioms, fixed-point data encoding, and rationalization commutation) are verified directly from the discrete-group hypothesis and standard adjunction properties rather than by re-using the target result as an input. No self-definitional equations, fitted predictions, or load-bearing self-citations appear; the construction remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no free parameters, axioms, or invented entities are specified in the provided text.

pith-pipeline@v0.9.0 · 5339 in / 940 out tokens · 28161 ms · 2026-05-16T11:39:59.966209+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A distance between maps via interleavings of relative Sullivan algebras
math.AT 2026-04 unverdicted novelty 6.0

A pseudodistance on homotopy classes of maps is defined using interleavings of their extended tame persistence CDGA models derived from relative Sullivan algebras.