Direct images. I: Rigid analytic spaces and direct images (Q449678): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 11:00, 30 June 2023
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