{"title":"Locally analytic vector bundles on the Fargues–Fontaine curve","authors":"Gal Porat","doi":"10.2140/ant.2024.18.899","DOIUrl":null,"url":null,"abstract":"<p>We develop a version of Sen theory for equivariant vector bundles on the Fargues–Fontaine curve. We show that every equivariant vector bundle canonically descends to a locally analytic vector bundle. A comparison with the theory of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mo stretchy=\"false\">(</mo><mi>φ</mi><mo>,</mo><mi>Γ</mi><mo stretchy=\"false\">)</mo></math>-modules in the cyclotomic case then recovers the Cherbonnier–Colmez decompletion theorem. Next, we focus on the subcategory of de Rham locally analytic vector bundles. Using the <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>p</mi></math>-adic monodromy theorem, we show that each locally analytic vector bundle <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi mathvariant=\"bold-script\">ℰ</mi></math> has a canonical differential equation for which the space of solutions has full rank. As a consequence, <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi mathvariant=\"bold-script\">ℰ</mi></math> and its sheaf of solutions <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi> Sol</mi><mo> <!--FUNCTION APPLICATION--> </mo><!--nolimits--><mo stretchy=\"false\">(</mo><mi mathvariant=\"bold-script\">ℰ</mi><mo stretchy=\"false\">)</mo></math> are in a natural correspondence, which gives a geometric interpretation of a result of Berger on <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mo stretchy=\"false\">(</mo><mi>φ</mi><mo>,</mo><mi>Γ</mi><mo stretchy=\"false\">)</mo></math>-modules. In particular, if <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>V</mi> </math> is a de Rham Galois representation, its associated filtered <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mo stretchy=\"false\">(</mo><mi>φ</mi><mo>,</mo><mi>N</mi><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mspace width=\"-0.17em\"></mspace><mi>K</mi></mrow></msub><mo stretchy=\"false\">)</mo></math>-module is realized as the space of global solutions to the differential equation. A key to our approach is a vanishing result for the higher locally analytic vectors of representations satisfying the Tate–Sen formalism, which is also of independent interest. </p>","PeriodicalId":50828,"journal":{"name":"Algebra & Number Theory","volume":"48 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2024-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra & Number Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2140/ant.2024.18.899","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We develop a version of Sen theory for equivariant vector bundles on the Fargues–Fontaine curve. We show that every equivariant vector bundle canonically descends to a locally analytic vector bundle. A comparison with the theory of -modules in the cyclotomic case then recovers the Cherbonnier–Colmez decompletion theorem. Next, we focus on the subcategory of de Rham locally analytic vector bundles. Using the -adic monodromy theorem, we show that each locally analytic vector bundle has a canonical differential equation for which the space of solutions has full rank. As a consequence, and its sheaf of solutions are in a natural correspondence, which gives a geometric interpretation of a result of Berger on -modules. In particular, if is a de Rham Galois representation, its associated filtered -module is realized as the space of global solutions to the differential equation. A key to our approach is a vanishing result for the higher locally analytic vectors of representations satisfying the Tate–Sen formalism, which is also of independent interest.
期刊介绍:
ANT’s inclusive definition of algebra and number theory allows it to print research covering a wide range of subtopics, including algebraic and arithmetic geometry. ANT publishes high-quality articles of interest to a broad readership, at a level surpassing all but the top four or five mathematics journals. It exists in both print and electronic forms.
The policies of ANT are set by the editorial board — a group of working mathematicians — rather than by a profit-oriented company, so they will remain friendly to mathematicians'' interests. In particular, they will promote broad dissemination, easy electronic access, and permissive use of content to the greatest extent compatible with survival of the journal. All electronic content becomes free and open access 5 years after publication.