The center is the formal internal automorphism group

arXiv:2610.31411 · math.AT, math.AG · Submitted 2026-10-22 · Read on arXiv