REVIEW 2 major objections 4 minor 1 cited by
On the quotient of a groupoid by an action of a 2-group
T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For a groupoid acted on by a 2-group, the automorphisms of an object in the quotient that die in the coarse quotient form the 2-group of a crossed module.
desk verdict The fiber description in Prop 1.3.2 is a clean, correct new result, but the explicit model in §2.4 rests on an unverified equivariance check that the referee should force the author to spell out. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The paper's central objects are the quotient 2-groupoid $\tilde{X}=X/G$ and the crossed-module cone. A crossed module is a pair of groups $G_0$, $G_{-1}$ with an action of $G_0$ on $G_{-1}$ and a homomorphism $d: G_{-1} \to G_0$ satisfying two identities; its cone $\mathrm{Cone}(G_{-1} \to G_0)$ is the strict 2-group whose objects are elements of $G_0$ and whose morphisms are elements of $G_{-1}$ implementing $d$. The proof uses this dictionary, together with an $X$-crossed module, a generalization in which a groupoid $\Gamma$ with object set $X$ carries, at each object $x$, a group $H_x$ and a homomorphism $d_x: H_x \to \mathrm{Aut}_\Gamma x$. The load-bearing step is applying the equivalence between strict 2-groupoids and $X$-crossed modules, stated in Section 2.3, to encode the quotient $X/B$ in the two-sided translation case.
What would settle it
Go to the definition in Section 2.3.3: as printed, the action of $H_{x'}$ on $\mathrm{Mor}(x,x')$ is said to come from $d_{x'}: H_x \to \mathrm{Aut}\,\Gamma_{x'}$, which is not well-typed unless read as $d_{x'}: H_{x'} \to \mathrm{Aut}\,\Gamma_{x'}$. Then check whether formula (2.5) really lands $d_g(\beta)$ in $\mathrm{Stab}_g$ and is a homomorphism for all $\beta \in B_{-1}$ and $g \in G_0$; a single pair where it fails would show the explicit model is not the quotient $X/B$.
Extended reading notes
Core claim
Proposition 1.3.2 states a canonical equivalence of 2-groups $$\mathrm{Cone}(\pi_1(G) \to \mathrm{Aut}_X x) \cong \mathrm{Ker}(\mathrm{Aut}_{\tilde{X}} x \to \mathrm{Aut}_{X'} \bar{x}),$$ where $\tilde{X}=X/G$ and $X'=\pi_0(X)/\pi_0(G)$. In words: the categorical stabilizer of an object $x$ in the quotient 2-groupoid, modulo the automorphisms that survive in the ordinary quotient by $\pi_0(G)$, is exactly the 2-group associated to the crossed module whose differential is the action homomorphism from the abelian group $\pi_1(G)=\mathrm{Aut}_G(1_G)$ to the automorphism group of $x$. Section 2.4 then treats the case where $X$ is the underlying groupoid of a strict 2-group associated to a crossed module $G_\bullet$, and another 2-group $B$ acts by two-sided translations through homomorphisms $\pi,\pi': B_\bullet \to G_\bullet$. The quotient $X/B$ is described there as an $X$-crossed module: the underlying 1-groupoid comes from the action of $B_0 \ltimes G_{-1}$ on $G_0$, the kernel group at each object is $H_g = B_{-1}$, and the differential is $d_g(\beta)=d(\beta)\cdot \pi(\beta)^{-1}\cdot g\pi'(\beta)$.
Load-bearing premise
The explicit model in Section 2.4 rests on the claim, justified only by a sketch, that every strict 2-groupoid is completely determined by its underlying 1-groupoid together with the specified family of groups $H_x$ and maps $d_x$.
Editorial extensions
If this is right
- The fiber description reduces the difference between $X/G$ and its coarse quotient to the single homomorphism $\pi_1(G) \to \mathrm{Aut}_X x$: for each object $x$, the kernel is the 2-group $\mathrm{Cone}(\pi_1(G) \to \mathrm{Aut}_X x)$, and nothing else is needed.
- Corollary 1.4.1 gives computable invariants: the kernel of $\mathrm{Aut}_{\tilde{X}_{\le 1}}(x) \to \mathrm{Aut}_{X'}(\bar{x})$ is $\mathrm{Coker}\,\phi_x$, and $\mathrm{Aut}_{\tilde{X}}(\mathrm{id}_x) = \mathrm{Ker}\, f_x$, so the 1-truncated quotient is a gerbe banded by the functor $L(\bar{x}) = \mathrm{Coker}\,\phi_{\bar{x}}$ in the abelian case.
- In the two-sided translation case the quotient 2-groupoid has an explicit finite model: objects are elements of $G_0$, 1-morphisms come from the action of $B_0 \ltimes G_{-1}$ on $G_0$, and 2-morphisms are recorded by the family $H_g = B_{-1}$ with $d_g(\beta)=d(\beta)\cdot \pi(\beta)^{-1}\cdot g\pi'(\beta)$.
- Because the sheafified version of this construction underlies the 2-stack $BT_{G,\mu,n}^{?}$ of the appendix, the explicit model provides a way to test Conjecture D.8.4: comparing the two descriptions can show whether $BT_{G,\mu,n}^{?}$ agrees with $BT_{G,\mu,n}$ when $\mu$ is 1-bounded.
Reading between the lines
- The same fiber calculation should carry over to 2-stacks by working objectwise in a topos, which would turn the inertia of the 2-stack from the appendix into a sheaf of crossed modules; this is a direct extension the paper does not state.
- The $X$-crossed-module presentation suggests that even complicated quotient 2-groupoids can be computed from ordinary group actions plus a kernel group per object, so the two-sided translation model may serve as a template for other 2-stacks of the form $\mathrm{Cone}(B_\bullet \xrightarrow{\pi,\pi'} G_\bullet)$.
- If the explicit model is correct, then testing Conjecture D.8.4 reduces to comparing two $X$-crossed-module descriptions; a mismatch would appear already at the level of the kernel groups $\mathrm{Aut}(\mathrm{id}_x)$ before any global geometry is examined.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the quotient 2-groupoid X/G of a groupoid X by an action of a 2-group G. After recalling the definition, it considers the canonical functor X/G → π0(X)/π0(G) and asks for the kernel 2-group Aut_{X/G}(x) → Aut_{X'}(x̄). Proposition 1.3.2 answers this with a canonical equivalence Cone(π1(G) → Aut_X x) ≅ Ker(Aut_{X/G} x → Aut_{X'} x̄). Corollaries identify the cokernel of φ_x and a kernel described by a map f_x, though f_x is not defined in the text. Section 2 specializes to the case where X is the underlying groupoid of a 2-group and B acts by two-sided translations via a homomorphism B → G×G; this yields strict 2-groupoids Cone(B• → G•). The main constructive claim is in §2.4, where an explicit X-crossed module model is asserted: H_g = B_{−1} with d_g given by equation (2.5). An appendix sketches how this construction relates to the 2-stack BT^{G,μ,?}_n and Conjecture D.8.4.
Significance. If the §2.4 model is fully established, the paper gives a clean and elementary description of the fibers of the quotient functor and an explicit model in an important special case, potentially serving as a concrete test of Conjecture D.8.4 in [D]. Proposition 1.3.2 is proven by a direct unpacking of the definitions and is correct; the paper is clearly motivated and well organized. The main weakness is that the explicit model in §2.4 and the general X-crossed-module equivalence in §2.3 are asserted with 'It is easy to check' rather than proved. This is a significant gap in a constructive claim, although no counterexample is apparent and the gap appears fixable.
major comments (2)
- [§2.4, Eq. (2.5)] The assertion 'It is easy to check that these data are as follows' is the core constructive claim of §2.4, but the equivariance of the family d_g under the full groupoid Γ is not verified. For a morphism p = (b,γ): g → g' in Γ one must show p d_g(β) p^{-1} = d_{g'}(H_p(β)) for the induced action H_p on B_{−1}; in particular one must prove that the G_{−1}-component of p does not prevent taking H_p to be the B0-action. This calculation is absent, and since the explicit model is used in the proposed test of Conjecture D.8.4, the gap is load-bearing. A direct computation should be supplied.
- [§2.3.2–2.3.3] The equivalence between strict 2-groupoids and X-crossed modules is only sketched. The inverse construction is described, but the functoriality and associativity of the composition functors (2.3) at the level of 2-morphisms, and the verification that the two constructions are inverse to each other, are left to 'It is easy to check'. Since §2.4 recovers the 2-groupoid through this equivalence, this proof gap affects the main constructive claim. A complete proof or a precise reference covering the non-pointed case would be needed to make the model fully rigorous.
minor comments (4)
- [§2.3.3] After Eq. (2.3), the text 'the action of H_{x'} that comes from the homomorphism d_{x'} : H_x → Aut Γ_{x'}' contains a type error: the source of d_{x'} must be H_{x'}, not H_x. As printed the definition of Mor_C(x,x') is ill-posed; please correct the domain.
- [Corollary 1.4.1] Part (ii) uses the notation f_x without defining it anywhere in the manuscript; please define f_x or replace it with the intended map.
- [§2.1.3(i)] The displayed notation 'Cone(B• π−π′ −→G•)' is confusing; it should presumably read 'Cone(B• (π,π′)−→G•)' to match the rest of the paper.
- [§1.3.2, proof of Prop. 1.3.2] The proof states that at the level of morphisms the equivalence comes from id : π1(G) → π1(G), but it does not spell out the verification that the functor is essentially surjective on objects. This follows using the identity component of the 2-group, but a brief indication would improve readability.
Circularity Check
No circularity: the core results are derived directly from the definitions and the explicit model is openly labeled a tautological reformulation.
full rationale
I walked the derivation chain. Proposition 1.3.2 is proved directly from the definition of the quotient 2-groupoid in §1.1.3: the objects of Aut_\tilde{X}x are pairs (g,f) with f:x→gx, the kernel condition [g]=1 selects those with g in π_1(G)-coset, and the equivalence to Cone(π_1(G)→Aut_X x) is the map f↦(1_G,f) with identity on π_1(G). This is a description of the fiber in crossed-module language, not a fitted input or a self-citational premise. The homomorphism φ_x in (1.9) is induced directly by the G-action; no independent result is invoked. Section 2.4 is explicitly introduced as 'a certain tautological reformulation of the construction of the 2-groupoid (2.1)', and the X-crossed module data are checked by direct computation (with some steps left as 'It is easy to check'). Even if those checks are incomplete or the printed text contains a typo in §2.3.3, that is a correctness or exposition gap, not circularity. The references to [D] and Conjecture D.8.4 are motivational and explicitly conjectural: the paper says the §2.4 result 'could be used to test' the conjecture, not that the conjecture is used to prove anything. There is no uniqueness theorem imported from the author's prior work, no ansatz smuggled in by citation, and no empirical pattern being renamed as a prediction. The paper is self-contained against its own definitions, so the circularity score is 0.
Assumptions & free parameters
assumptions (3)
- standard math Standard notions of 2-groupoids, 2-groups, and crossed modules as in [L, Lemma 2.2] and [SGA4, XVIII 1.4].
- domain assumption Strict 2-groupoids are equivalent to X-crossed modules (defined in §2.3.1).
- domain assumption For the conjectural application (Appendix A), the existence of the epimorphism W_n ↠ sR_n with kernel Ŵ(F^n) from [D, §D.7] and the lift of G to Z_p are assumed.
Cite this review
Pith. "Pith review of On the quotient of a groupoid by an action of a 2-group." pith.science (2026). https://pith.science/paper/3BR2X27L
@misc{pith2026250421764,
author = {Pith},
title = {Pith review of: On the quotient of a groupoid by an action of a 2-group},
year = {2026},
howpublished = {\url{https://pith.science/paper/3BR2X27L}},
note = {Machine review of arXiv:2504.21764}
}
abstract
If X is a groupoid equipped with an action of a 2-group G then one has a 2-groupoid X/G. We describe the fibers of the functor from X/G to the 1-groupoid $\pi_0(X)/\pi_0(G)$. We also give an explicit model for X/G in a certain situation.
Forward citations
Cited by 1 Pith paper
-
Ring stacks conjecturally related to the stacks $BT_n^{G,\mu}$
This paper defines the ring stacks sRn and sR⊕n from the ring space of sheared Witt vectors and builds several explicit quasi-isomorphic models for them.
Reference graph
Works this paper leans on
-
[1]
Drinfeld, On the Lau group scheme, e-print arxiv:2307.06194, version 7
V. Drinfeld, On the Lau group scheme, e-print arxiv:2307.06194, version 7
-
[2]
Z. Gardner and K. Madapusi, An algebraicity conjecture of Drinfeld and the moduli of p -divisible groups, arXiv:2201.06124, version 3
-
[3]
Loday, Spaces with finitely many nontrivial homotopy groups, J
J.-L. Loday, Spaces with finitely many nontrivial homotopy groups, J. Pure Appl. Algebra 24 (1982), no. 2, 179--202
work page 1982
- [4]
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.