HEXAGONbeta

Definability and Lifting in Model Subgroupoids

Primarily human-written textHuman understanding: all partsmath.LO — Logicmath.CT — Category Theorymath.GR — Group Theory

Contributed by Zhenyu Sun ↗

Version 1 / Nov 11, 2026 / CC BY 4.0

Abstract

Restriction to a wide subgroupoid of a model groupoid can introduce invariant relations, maps, and objects. For open topological groupoids, a map between restricted objects lifts exactly when its graph is invariant under the full groupoid, and a specified quotient presentation lifts exactly when its kernel relation is invariant. Under coherent restriction, these criteria recover definable maps and coherent quotient presentations. For finite continuous actions of a group with an open subgroup of finite index, coinduction identifies extensions with invariant subsets on which evaluation is bijective. For a finite group GG and a normal subgroup NN, we classify extensions of finite NN-sets by normalizer extensions of their orbit types. Multiplicities must be constant on conjugacy orbits of types; within each such block, the liftable multiplicities form the additive monoid generated by indices of subgroups over which the normalizer extension splits. The same subgroup data determine the groupoid of lifts and its isomorphism-class and mass generating functions. This classification also applies to finite continuous actions of profinite groups with an open normal subgroup. For a fixed action, a centralizer extension gives the splitting obstruction, with an H2H^2 obstruction and an H1H^1 classification when its kernel is abelian. The center of SL2(F5)\mathrm{SL}_2(\mathbb F_5) gives the monoid ⟨12,20⟩\langle12,20\rangle; Heisenberg groups over fields of odd prime order give unbounded lifting indices at fixed cohomological period. Finite torsor theories and infinite pure sets realize the definability criteria. For profinite extensions with finite kernel, one finite quotient detects all liftable multiplicities, though it need not carry every lift.

Author comments: 37 pages. Exact finite-group computations and their output are included as ancillary files.

Provenance statement

OpenAI Codex assisted with proofreading, exposition, reference checking, and compilation checks. The supplementary Python program performs exact finite-group calculations.

References

  1. S. Awodey and H. Forssell. First-order logical duality. Annals of Pure and Applied Logic 164 (3) (2013), 319--348. https://arxiv.org/abs/1008.3145v2.link
  2. S. Bouc. Burnside rings. In M. Hazewinkel (ed.), Handbook of Algebra , vol. 2, Elsevier, 2000, pp. 739--804. https://doi.org/10.1016/S1570-7954(00)80043-1. Corrected author version: https://lamfa.u-picardie.fr/bouc/burnamscorr.pdf.DOI
  3. S. Breiner. Scheme Representation for First-Order Logic . Ph.D. thesis, Carnegie Mellon University, December 2013; arXiv version, 2014. https://arxiv.org/abs/1402.2600.link
  4. K. S. Brown. Cohomology of Groups . Graduate Texts in Mathematics 87, Springer, 1982.
  5. C. Butz and I. Moerdijk. Representing topoi by topological groupoids. Journal of Pure and Applied Algebra 130 (3) (1998), 223--235.
  6. D. Easdown and C. E. Praeger. On minimal faithful permutation representations of finite groups. Bulletin of the Australian Mathematical Society 38 (2) (1988), 207--220. https://doi.org/10.1017/S0004972700027489.DOI
  7. H. Forssell. Subgroupoids and quotient theories. Theory and Applications of Categories 28 (2013), 541--551. https://arxiv.org/abs/1111.2952.link
  8. H. Forssell. Topological representation of geometric theories. Mathematical Logic Quarterly 58 (6) (2012), 380--393. https://arxiv.org/abs/1109.0699.link
  9. D. L. Johnson. Minimal permutation representations of finite groups. American Journal of Mathematics 93 (4) (1971), 857--866. https://doi.org/10.2307/2373739.DOI
  10. J. Leaños, R. Moreno, and L. M. Rivera-Martínez. On the number of mmth roots of permutations. Australasian Journal of Combinatorics 52 (2012), 41--54. https://ajc.maths.uq.edu.au/pdf/52/ajc_v52_p041.pdf.link
Show all 15 referencesShow fewer references
  1. M. Makkai and G. E. Reyes. First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories . Lecture Notes in Mathematics 611, Springer, 1977.
  2. N. Pouyanne. On the number of permutations admitting an mm-th root. Electronic Journal of Combinatorics 9 (1) (2002), Research Paper 3. https://doi.org/10.37236/1620.DOI
  3. J. Thévenaz. Extensions of group representations from a normal subgroup. Communications in Algebra 11 (4) (1983), 391--425. https://doi.org/10.1080/00927878308822855.DOI
  4. T. Tsankov. Unitary representations of oligomorphic groups. Geometric and Functional Analysis 22 (2) (2012), 528--555. https://arxiv.org/abs/1101.2194.link
  5. J. L. Wrigley. On topological groupoids that represent theories. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 72 (2026), 1--44. https://doi.org/10.60866/CAM.227. https://arxiv.org/abs/2306.16331.DOI

Version history

  1. v1 · 37 pagesSubmitted by Zhenyu Sun37 pages. Exact finite-group computations and their output are included as ancillary files.CurrentNov 10, 2026