{"title":"Cartier modules and cyclotomic spectra","authors":"Benjamin Antieau, T. Nikolaus","doi":"10.1090/jams/951","DOIUrl":null,"url":null,"abstract":"<p>We construct and study a <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"t\">\n <mml:semantics>\n <mml:mi>t</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">t</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-structure on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"t\">\n <mml:semantics>\n <mml:mi>t</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">t</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-structure. Our main tool is a new approach to <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-typical cyclotomic spectra via objects we call <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"t\">\n <mml:semantics>\n <mml:mi>t</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">t</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-structure is the full subcategory of derived <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper V\">\n <mml:semantics>\n <mml:mi>V</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">V</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-complete objects in the abelian category of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-typical Cartier modules.</p>","PeriodicalId":54764,"journal":{"name":"Journal of the American Mathematical Society","volume":"1 1","pages":""},"PeriodicalIF":3.5000,"publicationDate":"2018-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the American Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/jams/951","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 18
Abstract
We construct and study a tt-structure on pp-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this tt-structure. Our main tool is a new approach to pp-typical cyclotomic spectra via objects we call pp-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic tt-structure is the full subcategory of derived VV-complete objects in the abelian category of pp-typical Cartier modules.
期刊介绍:
All articles submitted to this journal are peer-reviewed. The AMS has a single blind peer-review process in which the reviewers know who the authors of the manuscript are, but the authors do not have access to the information on who the peer reviewers are.
This journal is devoted to research articles of the highest quality in all areas of pure and applied mathematics.