Frobenius amplitude, ultraproducts, and vanishing on singular spaces (Q358928): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
The paper under review proves an extension of the Akizuki-Kodaira-Nakano vanishing theorem for singular varieties over the complex numbers. Namely, for a complete complex variety \(X\), \(Z\subset X\) a closed subset with \(X\backslash Z\) dense in \(X\) and a bounded complex \({\mathcal F}^\bullet\) of locally free sheaves, we have \[ H^i(X, \underline{\Omega}_X^j(\log Z)\otimes {\mathcal F}^\bullet)=0 \qquad\text{for}\quad i+j > \dim X + \phi({\mathcal F}^\bullet) \] (Corollary 4.3). Here, we use as the replacement for differential forms in the Hodge theory for smooth varieties the filtered complex \(\underline{\Omega}_X^\bullet\) of sheaves introduced by \textit{P. Du Bois} [Bull. Soc. Math. Fr. 109, 41--81 (1981; Zbl 0465.14009)] and \(\phi({\mathcal F}^\bullet)\) is the Frobenius-amplitude, which is the crucial notion for extending the cerebrated Deligne-Illusie's theorem for smooth varieties to singular varieties through Frobenius splitting of the complex (Theorem 3.4). The idea of Frobenius-amplitude is as follows: in order to describe reduction with regard to almost all primes we use ultrafilter \({\mathcal U}\) on the set \(\Sigma\) of all prime numbers and the ultra-fiber \(X_{\mathcal U}\), which roughly denotes the whole bunch of reductions with regard to almost all primes specified by \({\mathcal U}\). Similarly, for a locally free sheaf \({\mathcal F}\) on \(X\), we define the sheaf \({\mathcal F}_{\mathcal U}\) on \(X_{\mathcal U}\). Then we define \[ \phi({\mathcal F}) = \min\left\{i \mid H^i(X_{\mathcal U}, {Fr^N}^*({\mathcal F}_{\mathcal U})\otimes {\mathcal E})=0 \text{ for any }{\mathcal U}, \text{ coherent }{\mathcal E} \text{ and }N\gg 0 \right\}-1 \] where \(Fr: X_{\mathcal U}\to X_{\mathcal U}\) is the Frobenius. Moreover, by replacing the tensor product \({Fr^N}^*({\mathcal F}_{\mathcal U})\otimes {\mathcal E}\) by derived tensor \(\otimes^{\mathbb L}\) we can also define \(\phi({\mathcal F}^\bullet)\). | |||
Property / review text: The paper under review proves an extension of the Akizuki-Kodaira-Nakano vanishing theorem for singular varieties over the complex numbers. Namely, for a complete complex variety \(X\), \(Z\subset X\) a closed subset with \(X\backslash Z\) dense in \(X\) and a bounded complex \({\mathcal F}^\bullet\) of locally free sheaves, we have \[ H^i(X, \underline{\Omega}_X^j(\log Z)\otimes {\mathcal F}^\bullet)=0 \qquad\text{for}\quad i+j > \dim X + \phi({\mathcal F}^\bullet) \] (Corollary 4.3). Here, we use as the replacement for differential forms in the Hodge theory for smooth varieties the filtered complex \(\underline{\Omega}_X^\bullet\) of sheaves introduced by \textit{P. Du Bois} [Bull. Soc. Math. Fr. 109, 41--81 (1981; Zbl 0465.14009)] and \(\phi({\mathcal F}^\bullet)\) is the Frobenius-amplitude, which is the crucial notion for extending the cerebrated Deligne-Illusie's theorem for smooth varieties to singular varieties through Frobenius splitting of the complex (Theorem 3.4). The idea of Frobenius-amplitude is as follows: in order to describe reduction with regard to almost all primes we use ultrafilter \({\mathcal U}\) on the set \(\Sigma\) of all prime numbers and the ultra-fiber \(X_{\mathcal U}\), which roughly denotes the whole bunch of reductions with regard to almost all primes specified by \({\mathcal U}\). Similarly, for a locally free sheaf \({\mathcal F}\) on \(X\), we define the sheaf \({\mathcal F}_{\mathcal U}\) on \(X_{\mathcal U}\). Then we define \[ \phi({\mathcal F}) = \min\left\{i \mid H^i(X_{\mathcal U}, {Fr^N}^*({\mathcal F}_{\mathcal U})\otimes {\mathcal E})=0 \text{ for any }{\mathcal U}, \text{ coherent }{\mathcal E} \text{ and }N\gg 0 \right\}-1 \] where \(Fr: X_{\mathcal U}\to X_{\mathcal U}\) is the Frobenius. Moreover, by replacing the tensor product \({Fr^N}^*({\mathcal F}_{\mathcal U})\otimes {\mathcal E}\) by derived tensor \(\otimes^{\mathbb L}\) we can also define \(\phi({\mathcal F}^\bullet)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Yukihide Takayama / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6197209 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Akizuki-Kodaira-Nakano vanishing | |||
Property / zbMATH Keywords: Akizuki-Kodaira-Nakano vanishing / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular variety | |||
Property / zbMATH Keywords: singular variety / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius splitting | |||
Property / zbMATH Keywords: Frobenius splitting / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius amplitude | |||
Property / zbMATH Keywords: Frobenius amplitude / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ultrafilter | |||
Property / zbMATH Keywords: ultrafilter / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0806.1033 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius amplitude and strong vanishing theorems for vector bundles. With an appendix by Dennis S. Keeler. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial regularity and amplitude / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What can be computed in algebraic geometry? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570212 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Théorie de Hodge. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounds in the theory of polynomial rings over fields. A nonstandard approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe de de Rham filtré d'une variété singulière / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperrésolutions cubiques et descente cohomologique. (La plupart des exposés d'un séminaire sur la théorie de Hodge-Deligne, Barcelona (Spain), 1982) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-stable reduction and decomposition of de Rham complexes with coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Smoothness, semi-stability and alterations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4539512 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4821063 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mixed Hodge Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-standard tight closure for affine \(\mathbb C\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Log-terminal singularities and vanishing theorems via non-standard tight closure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The use of ultraproducts in commutative algebra / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:41, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Frobenius amplitude, ultraproducts, and vanishing on singular spaces |
scientific article |
Statements
Frobenius amplitude, ultraproducts, and vanishing on singular spaces (English)
0 references
9 August 2013
0 references
The paper under review proves an extension of the Akizuki-Kodaira-Nakano vanishing theorem for singular varieties over the complex numbers. Namely, for a complete complex variety \(X\), \(Z\subset X\) a closed subset with \(X\backslash Z\) dense in \(X\) and a bounded complex \({\mathcal F}^\bullet\) of locally free sheaves, we have \[ H^i(X, \underline{\Omega}_X^j(\log Z)\otimes {\mathcal F}^\bullet)=0 \qquad\text{for}\quad i+j > \dim X + \phi({\mathcal F}^\bullet) \] (Corollary 4.3). Here, we use as the replacement for differential forms in the Hodge theory for smooth varieties the filtered complex \(\underline{\Omega}_X^\bullet\) of sheaves introduced by \textit{P. Du Bois} [Bull. Soc. Math. Fr. 109, 41--81 (1981; Zbl 0465.14009)] and \(\phi({\mathcal F}^\bullet)\) is the Frobenius-amplitude, which is the crucial notion for extending the cerebrated Deligne-Illusie's theorem for smooth varieties to singular varieties through Frobenius splitting of the complex (Theorem 3.4). The idea of Frobenius-amplitude is as follows: in order to describe reduction with regard to almost all primes we use ultrafilter \({\mathcal U}\) on the set \(\Sigma\) of all prime numbers and the ultra-fiber \(X_{\mathcal U}\), which roughly denotes the whole bunch of reductions with regard to almost all primes specified by \({\mathcal U}\). Similarly, for a locally free sheaf \({\mathcal F}\) on \(X\), we define the sheaf \({\mathcal F}_{\mathcal U}\) on \(X_{\mathcal U}\). Then we define \[ \phi({\mathcal F}) = \min\left\{i \mid H^i(X_{\mathcal U}, {Fr^N}^*({\mathcal F}_{\mathcal U})\otimes {\mathcal E})=0 \text{ for any }{\mathcal U}, \text{ coherent }{\mathcal E} \text{ and }N\gg 0 \right\}-1 \] where \(Fr: X_{\mathcal U}\to X_{\mathcal U}\) is the Frobenius. Moreover, by replacing the tensor product \({Fr^N}^*({\mathcal F}_{\mathcal U})\otimes {\mathcal E}\) by derived tensor \(\otimes^{\mathbb L}\) we can also define \(\phi({\mathcal F}^\bullet)\).
0 references
Akizuki-Kodaira-Nakano vanishing
0 references
singular variety
0 references
Frobenius splitting
0 references
Frobenius amplitude
0 references
ultrafilter
0 references
0 references