{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/126941"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/126941","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"On the higher Frobenius","abstract":"Given a homotopy invariant of a space, one can ask how much of the space can be recovered from that invariant. This question was first addressed in work of Quillen and Sullivan on rational homotopy theory in the 1960's and in work of Dwyer-Hopkins and Mandell on p-adic homotopy theory in the 1990's. In this thesis, we describe a way to unify these ideas and recover a space in its entirety, rather than up to an approximation. The approach is centered around the study of the higher Frobenius map. First defined by Nikolaus and Scholze, the higher Frobenius map generalizes to E[subscript infinity]-ring spectra the classical Frobenius endomorphism for rings in characteristic p. Our main result is that there is an action of the circle group on (a certain subcategory of) p-complete [subscript infinity]-rings whose monodromy is the higher Frobenius. Using this circle action, we give a fully faithful model for a simply connected finite complex X in terms of Frobenius-fixed [subscript infinity]-rings.","abstract_html":"Given a homotopy invariant of a space, one can ask how much of the space can be recovered from that invariant. This question was first addressed in work of Quillen and Sullivan on rational homotopy theory in the 1960's and in work of Dwyer-Hopkins and Mandell on p-adic homotopy theory in the 1990's. In this thesis, we describe a way to unify these ideas and recover a space in its entirety, rather than up to an approximation. The approach is centered around the study of the higher Frobenius map. First defined by Nikolaus and Scholze, the higher Frobenius map generalizes to E[subscript infinity]-ring spectra the classical Frobenius endomorphism for rings in characteristic p. Our main result is that there is an action of the circle group on (a certain subcategory of) p-complete [subscript infinity]-rings whose monodromy is the higher Frobenius. Using this circle action, we give a fully faithful model for a simply connected finite complex X in terms of Frobenius-fixed [subscript infinity]-rings.","abstract_has_math":false,"creators":["Yuan, Allen,Ph. D.Massachusetts Institute of Technology."],"institution":"Massachusetts Institute of Technology","degree_name":"Doctoral","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Mathematics","school":null,"contributors":[],"advisors":["Jacob Lurie."],"committee_chairs":[],"committee_members":[],"year":2020,"date_issued":"2020","date_published":"2020","updated_at":"2026-07-22T22:20:56Z","subjects":["Mathematics."],"languages":["eng"],"rights":["MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/126941","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Jacob Lurie."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Mathematics","Math"]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Department of Mathematics."]},{"key":"dc:creator","label":"Author","values":["Yuan, Allen,Ph. D.Massachusetts Institute of Technology."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2020-09-03T16:42:34Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2020-09-03T16:42:34Z"]},{"key":"dc:date.issued","label":"Date","values":["2020"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctoral"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/126941"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mathematics, May, 2020","Cataloged from the official PDF of thesis.","Includes bibliographical references (pages 107-110)."]},{"key":"dc:description.abstract","label":"Abstract","values":["Given a homotopy invariant of a space, one can ask how much of the space can be recovered from that invariant. This question was first addressed in work of Quillen and Sullivan on rational homotopy theory in the 1960's and in work of Dwyer-Hopkins and Mandell on p-adic homotopy theory in the 1990's. In this thesis, we describe a way to unify these ideas and recover a space in its entirety, rather than up to an approximation. The approach is centered around the study of the higher Frobenius map. First defined by Nikolaus and Scholze, the higher Frobenius map generalizes to E[subscript infinity]-ring spectra the classical Frobenius endomorphism for rings in characteristic p. Our main result is that there is an action of the circle group on (a certain subcategory of) p-complete [subscript infinity]-rings whose monodromy is the higher Frobenius. Using this circle action, we give a fully faithful model for a simply connected finite complex X in terms of Frobenius-fixed [subscript infinity]-rings."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph. D."]},{"key":"dc:title","label":"Title","values":["On the higher Frobenius"]}]}],"canonical_facts":{"dc:contributor.advisor":["Jacob Lurie."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Mathematics","Math"],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Mathematics."],"dc:creator":["Yuan, Allen,Ph. D.Massachusetts Institute of Technology."],"dc:date.accessioned":["2020-09-03T16:42:34Z"],"dc:date.available":["2020-09-03T16:42:34Z"],"dc:date.issued":["2020"],"dc:description":["Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mathematics, May, 2020","Cataloged from the official PDF of thesis.","Includes bibliographical references (pages 107-110)."],"dc:description.abstract":["Given a homotopy invariant of a space, one can ask how much of the space can be recovered from that invariant. This question was first addressed in work of Quillen and Sullivan on rational homotopy theory in the 1960's and in work of Dwyer-Hopkins and Mandell on p-adic homotopy theory in the 1990's. In this thesis, we describe a way to unify these ideas and recover a space in its entirety, rather than up to an approximation. The approach is centered around the study of the higher Frobenius map. First defined by Nikolaus and Scholze, the higher Frobenius map generalizes to E[subscript infinity]-ring spectra the classical Frobenius endomorphism for rings in characteristic p. Our main result is that there is an action of the circle group on (a certain subcategory of) p-complete [subscript infinity]-rings whose monodromy is the higher Frobenius. Using this circle action, we give a fully faithful model for a simply connected finite complex X in terms of Frobenius-fixed [subscript infinity]-rings."],"dc:description.degree":["Ph. D."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/126941"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Mathematics."],"dc:title":["On the higher Frobenius"],"dc:type":["Thesis"],"thesis:degree_name":["Doctoral"]},"updated_at":"2026-07-22T22:20:56Z"}