Brauer-Picard Groups and Module Orbits for Twisted Cyclic Categories
Manuscript 15 October 2026 · Online 15 October 2026
Abstract
For every cyclic group C_n and every associator class omega_t, this preprint explicitly computes the Brauer-Picard group of Vec_(C_n)^(omega_t) and its action on all indecomposable module categories. Module labels are the divisors of gcd(n,t). For p^k exactly dividing n and s=min(v_p(t),k), let U be the units modulo p^k satisfying a^2=1 modulo p^(k-s). The local group is U when s=0, and the inversion semidirect product U with C_2 when s>0. The units fix all module labels; the involution sends the local exponent j to s-j. There are product_p(floor(s/2)+1) orbits, with transitivity exactly when gcd(n,t) is squarefree. The proof computes the center metric group, all Lagrangian subgroups, group generators, orbit invariants and stabilizers, including every 2-primary case.
The calculation uses established categorical theorems and credits earlier cyclic-Lagrangian counts and untwisted orbit formulas. It is a complete theorem for the cyclic family, not a resolution of the broad AIM-OTHER-0057 classification program. The unrestricted proof is supplemented by 383 exact finite isometry cases and 1,556,863 categorical checks in each of normal and optimized Python. This is an AI-assisted, unrefereed preprint; no independent review, formal proof verification or absolute priority is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete cyclic-family theorem
- Categories
- math.QA · math.CT
- Manuscript
- 15 October 2026
- Online release
- 15 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Brauer-Picard Groups and Module Orbits for Twisted Cyclic Categories,” EulerSolve Research Papers, AIM-OTHER-0057, 2026. https://doi.org/10.5281/zenodo.23393763.
BibTeX
@misc{ferudun2026twistedcyclic,
author = {Ferudun, Alper},
title = {Brauer-Picard Groups and Module Orbits for Twisted Cyclic Categories},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-other-0057/},
doi = {10.5281/zenodo.23393763},
note = {AIM-OTHER-0057; unrefereed preprint}
}