HEXAGONbeta

Higher Galois Recognition and Parameter Descent

A mix of human-written and AI-generated textHuman understanding: some partsmath.CT — Category Theorymath.AT — Algebraic Topologymath.LO — Logic

Contributed by Zhenyu Sun ↗

Version 1 / Nov 11, 2026 / CC BY 4.0

Abstract

Let n≥0n\geq0 and let X\mathcal X be a bounded coherent ∞\infty-topos. Suppose that finitely many noninitial coherent nn-truncated objects cover its terminal object, and that every coherent nn-truncated object in each of their slices has a finite covering family of sections. We identify X≤ncoh\mathcal X^{\mathrm{coh}}_{\leq n} with Fun⁡(M,Sπ,≤n)\operatorname{Fun}(M,\mathcal S_{\pi,\leq n}) for a π\pi-finite (n+1)(n+1)-type MM, recovered by all finite models preserving finite limits, finite coproducts, and effective epimorphisms. Descent uses degrees through n+2n+2 for objects and n+1n+1 for maps; both bounds are sharp for finite homotopy actions. Every exact functor FF between recognized categories has a universal parameter PF=F!(1)P_F=F_!(1) and a canonical factorization through its slice with fully faithful second functor. This parameter characterizes full faithfulness, conservativity, and all exact slice factorizations. For successive abelian Postnikov layers, we identify the space of marked exact lifts with a path space of Eilenberg--Mac Lane sections with local coefficients. The obstruction, classes of lifts, and relative automorphisms occur in degrees r+1r+1, rr, and r−1r-1. We compute a twisted parity obstruction and, for odd primes, classify cyclic self-equivalence components by a pp-adic valuation. A nonzero Postnikov class can persist in the identity component. For continuous finite families over a profinite (n+1)(n+1)-type, we prove that a uniform finite-section atlas exists precisely when the complete model space is π\pi-finite. Exact functors from finite model semantics, together with their lift spaces, satisfy finite-stage descent, while explicit profinite examples separate objectwise trivialization from uniform parameter elimination.

Author comments: 49 pages. Second paper in the series Model groupoids and finite homotopy semantics. Includes two verification scripts and their outputs.

Provenance statement

OpenAI Codex was used for language editing, mathematical and bibliographic cross-checking, LaTeX/PDF preparation, and assistance in developing and running finite verification scripts. The computations are bounded consistency checks, not formal verification.

Tools used

OpenAI
Codex

References

  1. M. Anel, The category of π\pi-finite spaces , arXiv:2107.02082, version 4, 2025. https://arxiv.org/abs/2107.02082v4.arXiv
  2. J. C. Baez and A. D. Lauda, Higher-dimensional algebra V: 2-groups, Theory and Applications of Categories 12 (2004), no. 14, 423--491. https://math.ucr.edu/home/baez/hda5.pdf.link
  3. C. Barwick, S. Glasman, and P. J. Haine, Exodromy , arXiv:1807.03281, version of 21 August 2020. https://clarkbar.github.io/papers/exodromy_book.pdf.arXiv
  4. K. S. Brown, Lectures on the cohomology of groups, in Cohomology of Groups and Algebraic K-theory , Advanced Lectures in Mathematics, vol. 12, International Press, 2010, pp. 131--166. https://pi.math.cornell.edu/~kbrown/papers/cohomology_hangzhou.pdf.link
  5. N. Gambino, S. Henry, C. Sattler, and K. Szumiło, The effective model structure and ∞\infty-groupoid objects, Forum of Mathematics, Sigma 10 (2022), e34, 1--59. doi:10.1017/fms.2022.13 (https://doi.org/10.1017/fms.2022.13).DOI
  6. A. Hatcher, Algebraic Topology , Cambridge University Press, 2002. https://pi.math.cornell.edu/~hatcher/AT/AT.pdf.link
  7. L. Hesselholt and P. Pstrągowski, Dirac geometry I: Commutative algebra, Peking Mathematical Journal 8 (2025), 405--480. doi:10.1007/s42543-023-00072-6 (https://doi.org/10.1007/s42543-023-00072-6).DOI
  8. M. Hoyois, Higher Galois theory, Journal of Pure and Applied Algebra 222 (2018), no. 7, 1859--1877. doi:10.1016/j.jpaa.2017.08.010 (https://doi.org/10.1016/j.jpaa.2017.08.010).DOI
  9. J. Lurie, Higher Topos Theory , Annals of Mathematics Studies, vol. 170, Princeton University Press, 2009. https://www.math.ias.edu/~lurie/papers/HTT.pdf.link
  10. J. M. Mø ller, Spaces of sections of Eilenberg--Mac Lane fibrations, Pacific Journal of Mathematics 130 (1987), no. 1, 171--186. https://msp.org/pjm/1987/130-1/pjm-v130-n1-p10-s.pdf.link
Show all 13 referencesShow fewer references
  1. J. M. Mø ller and J. Scherer, Can one classify finite Postnikov pieces?, Bulletin of the London Mathematical Society 42 (2010), no. 4, 661--672. doi:10.1112/blms/bdq027 (https://doi.org/10.1112/blms/bdq027).DOI
  2. Z. Sun, Definability and Lifting in Model Subgroupoids , manuscript, 2026.
  3. B. Toën, Vers une interprétation galoisienne de la théorie de l'homotopie, Cahiers de Topologie et Géométrie Différentielle Catégoriques 43 (2002), no. 4, 257--312. https://www.numdam.org/item/CTGDC_2002__43_4_257_0/.link

Version history

  1. v1 · 49 pagesSubmitted by Zhenyu Sun49 pages. Second paper in the series Model groupoids and finite homotopy semantics. Includes two verification scripts and their outputs.CurrentNov 10, 2026