{"paper":{"title":"A rigidity theorem for $\\pi_*$-\\'etale $\\mathbb E_k$-algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AT","authors_text":"XianSheng Li","submitted_at":"2026-07-12T15:12:29Z","abstract_excerpt":"We prove a rigidity theorem for $\\pi_*$-\\'etale $\\mathbb E_k$-algebras over an $\\mathbb E_{k+1}$-ring spectrum: the category of $\\pi_*$-\\'etale extensions of an $\\mathbb E_k$-algebra is identified with the ordinary category of \\'etale Dirac algebras over its graded homotopy Dirac ring. The proof develops a relative Goerss-Hopkins type obstruction theory in synthetic spectra, including an $I$-complete version. As an application, the completed obstruction theory constructs the $I_n$-complete $\\mathbb E_3$-$MU_{(p)}$-algebra realization of the Lubin-Tate theory, hence an $\\mathbb E_4$-orientation"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.22680","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.22680/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}