Direct images. I: Rigid analytic spaces and direct images (Q449678): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\mathcal{V}\) be a discrete valuation ring with fraction field \(K\) of characteristic 0 and residue field \(k\) of characteristic \(p>0\). Let \(f : X \to S\) be a morphism of \(k\)-varieties. Without going into the details, let us recall that an isocrystal \(E\) over \(X\) is a module with an integrable connection which is defined on some \(K\)-analytic rigid space associated to \(X\) (a strict neighbourhood of its tube in a certain formal scheme). The article under review gives sufficient conditions in order that the direct images \(R^i f_{\mathrm{rig}*}\) of an overconvergent isocrystal on \(X\) remain overconvergent. This will be the case when \(S\) is smooth over \(k\), \(f\) is smooth and projective and either \(X\) lifts to a flat scheme over \(\mathcal{V}\) or \(X\) is a relative complete intersection inside projective spaces over \(S\). The first section of the text is devoted to base change theorems for proper morphisms, which will be a crucial ingredient in the proof. The author first handle the case of formal schemes, then of rigid analytic spaces. The second section gathers a few technical results on strict neighbourhoods, in particular conditions to ensure that a fundamental system of strict neighbourhoods remains so after pull-back. The third section contains a base change theorem for overconvergent modules by a proper morphism and ends with the proofs of the results concerning direct images of overconvergent isocrystals. To finish, let us mention that the author announces two articles to follow, in which he will consider isocrystals endowed with a Frobenius structure in the convergent and overconvergent settings. | |||
Property / review text: Let \(\mathcal{V}\) be a discrete valuation ring with fraction field \(K\) of characteristic 0 and residue field \(k\) of characteristic \(p>0\). Let \(f : X \to S\) be a morphism of \(k\)-varieties. Without going into the details, let us recall that an isocrystal \(E\) over \(X\) is a module with an integrable connection which is defined on some \(K\)-analytic rigid space associated to \(X\) (a strict neighbourhood of its tube in a certain formal scheme). The article under review gives sufficient conditions in order that the direct images \(R^i f_{\mathrm{rig}*}\) of an overconvergent isocrystal on \(X\) remain overconvergent. This will be the case when \(S\) is smooth over \(k\), \(f\) is smooth and projective and either \(X\) lifts to a flat scheme over \(\mathcal{V}\) or \(X\) is a relative complete intersection inside projective spaces over \(S\). The first section of the text is devoted to base change theorems for proper morphisms, which will be a crucial ingredient in the proof. The author first handle the case of formal schemes, then of rigid analytic spaces. The second section gathers a few technical results on strict neighbourhoods, in particular conditions to ensure that a fundamental system of strict neighbourhoods remains so after pull-back. The third section contains a base change theorem for overconvergent modules by a proper morphism and ends with the proofs of the results concerning direct images of overconvergent isocrystals. To finish, let us mention that the author announces two articles to follow, in which he will consider isocrystals endowed with a Frobenius structure in the convergent and overconvergent settings. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jérôme Poineau / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6075024 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigid analytic spaces | |||
Property / zbMATH Keywords: rigid analytic spaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
formals schemes | |||
Property / zbMATH Keywords: formals schemes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
overconvergent isocrystals | |||
Property / zbMATH Keywords: overconvergent isocrystals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
proper base change | |||
Property / zbMATH Keywords: proper base change / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigid cohomology | |||
Property / zbMATH Keywords: rigid cohomology / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1556750849 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0910.4433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomologie cristalline des schemas de caractéristique \(p >0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness and cohomological purity in rigid cohomology (with an appendix by Aise Johan de Jong) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3661717 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3698926 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Un théorème de prolongement pour des fonctions analytiques. (A theorem on pralongation of analytic functions) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3325851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal and rigid geometry. I: Rigid spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal and rigid geometry. II: Flattening techniques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5344719 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4935949 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological descent of rigid cohomology for étale coverings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5602063 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lifting of schemes and Monsky-Washnitzer algebras: equivalence and full faithfulness theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descente étale des F-isocristaux surconvergents et rationalité des fonctions L de schémas abéliens / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3154989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lifting of schemes and Monsky-Washnitzer algebras: equivalence and full faithfulness theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relèvement de schémas abéliens, F-isocristaux et fonctions L / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigid analytic spaces with overconvergent structure sheaf / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5650791 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Les foncteurs dérivés de lim et leurs applications en théorie des modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness of rigid cohomology with coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3154994 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5428573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal-algebraic and rigid-analytic geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Image directe supérieure et unipotence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative log convergent cohomology and relative rigid cohomology II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On base change theorem and coherence in rigid cohomology / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:44, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Direct images. I: Rigid analytic spaces and direct images |
scientific article |
Statements
Direct images. I: Rigid analytic spaces and direct images (English)
0 references
31 August 2012
0 references
Let \(\mathcal{V}\) be a discrete valuation ring with fraction field \(K\) of characteristic 0 and residue field \(k\) of characteristic \(p>0\). Let \(f : X \to S\) be a morphism of \(k\)-varieties. Without going into the details, let us recall that an isocrystal \(E\) over \(X\) is a module with an integrable connection which is defined on some \(K\)-analytic rigid space associated to \(X\) (a strict neighbourhood of its tube in a certain formal scheme). The article under review gives sufficient conditions in order that the direct images \(R^i f_{\mathrm{rig}*}\) of an overconvergent isocrystal on \(X\) remain overconvergent. This will be the case when \(S\) is smooth over \(k\), \(f\) is smooth and projective and either \(X\) lifts to a flat scheme over \(\mathcal{V}\) or \(X\) is a relative complete intersection inside projective spaces over \(S\). The first section of the text is devoted to base change theorems for proper morphisms, which will be a crucial ingredient in the proof. The author first handle the case of formal schemes, then of rigid analytic spaces. The second section gathers a few technical results on strict neighbourhoods, in particular conditions to ensure that a fundamental system of strict neighbourhoods remains so after pull-back. The third section contains a base change theorem for overconvergent modules by a proper morphism and ends with the proofs of the results concerning direct images of overconvergent isocrystals. To finish, let us mention that the author announces two articles to follow, in which he will consider isocrystals endowed with a Frobenius structure in the convergent and overconvergent settings.
0 references
rigid analytic spaces
0 references
formals schemes
0 references
overconvergent isocrystals
0 references
proper base change
0 references
rigid cohomology
0 references
0 references
0 references
0 references
0 references
0 references
0 references