Pub Date : 2024-02-05DOI: 10.1007/s00222-024-01236-6
C. Casagrande
Let (X) be a smooth, complex Fano 4-fold, and (rho _{X}) its Picard number. We show that if (rho _{X}>12), then (X) is a product of del Pezzo surfaces. The proof relies on a careful study of divisorial elementary contractions (fcolon Xto Y) such that (dim f(operatorname{Exc}(f))=2), together with the author’s previous work on Fano 4-folds. In particular, given (fcolon Xto Y) as above, under suitable assumptions we show that (S:=f(operatorname{Exc}(f))) is a smooth del Pezzo surface with (-K_{S}=(-K_{Y})_{|S}).
{"title":"Fano 4-folds with $b_{2}>12$ are products of surfaces","authors":"C. Casagrande","doi":"10.1007/s00222-024-01236-6","DOIUrl":"https://doi.org/10.1007/s00222-024-01236-6","url":null,"abstract":"<p>Let <span>(X)</span> be a smooth, complex Fano 4-fold, and <span>(rho _{X})</span> its Picard number. We show that if <span>(rho _{X}>12)</span>, then <span>(X)</span> is a product of del Pezzo surfaces. The proof relies on a careful study of divisorial elementary contractions <span>(fcolon Xto Y)</span> such that <span>(dim f(operatorname{Exc}(f))=2)</span>, together with the author’s previous work on Fano 4-folds. In particular, given <span>(fcolon Xto Y)</span> as above, under suitable assumptions we show that <span>(S:=f(operatorname{Exc}(f)))</span> is a smooth del Pezzo surface with <span>(-K_{S}=(-K_{Y})_{|S})</span>.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139751571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-05DOI: 10.1007/s00222-024-01235-7
Abstract
A (C^{infty }) smooth surface diffeomorphism admits an SRB measure if and only if the set ({ x, limsup _{n}frac{1}{n}log |d_{x}f^{n}|>0}) has positive Lebesgue measure. Moreover the basins of the ergodic SRB measures are covering this set Lebesgue almost everywhere. We also obtain similar results for (C^{r}) surface diffeomorphisms with (+infty >r>1).
{"title":"SRB measures for $C^{infty }$ surface diffeomorphisms","authors":"","doi":"10.1007/s00222-024-01235-7","DOIUrl":"https://doi.org/10.1007/s00222-024-01235-7","url":null,"abstract":"<h3>Abstract</h3> <p>A <span> <span>(C^{infty })</span> </span> smooth surface diffeomorphism admits an SRB measure if and only if the set <span> <span>({ x, limsup _{n}frac{1}{n}log |d_{x}f^{n}|>0})</span> </span> has positive Lebesgue measure. Moreover the basins of the ergodic SRB measures are covering this set Lebesgue almost everywhere. We also obtain similar results for <span> <span>(C^{r})</span> </span> surface diffeomorphisms with <span> <span>(+infty >r>1)</span> </span>.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139751573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-21DOI: 10.1007/s00222-023-01234-0
Johannes Krah
We construct a non-full exceptional collection of maximal length consisting of line bundles on the blow-up of the projective plane in 10 general points. As a consequence, the orthogonal complement of this collection is a universal phantom category. This provides a counterexample to a conjecture of Kuznetsov and to a conjecture of Orlov.
{"title":"A phantom on a rational surface","authors":"Johannes Krah","doi":"10.1007/s00222-023-01234-0","DOIUrl":"https://doi.org/10.1007/s00222-023-01234-0","url":null,"abstract":"<p>We construct a non-full exceptional collection of maximal length consisting of line bundles on the blow-up of the projective plane in 10 general points. As a consequence, the orthogonal complement of this collection is a universal phantom category. This provides a counterexample to a conjecture of Kuznetsov and to a conjecture of Orlov.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139029892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-12DOI: 10.1007/s00222-023-01232-2
Robert J. Lemke Oliver, Jesse Thorner, Asif Zaman
Let (k) be a number field and (G) be a finite group. Let (mathfrak{F}_{k}^{G}(Q)) be the family of number fields (K) with absolute discriminant (D_{K}) at most (Q) such that (K/k) is normal with Galois group isomorphic to (G). If (G) is the symmetric group (S_{n}) or any transitive group of prime degree, then we unconditionally prove that for all (Kin mathfrak{F}_{k}^{G}(Q)) with at most (O_{varepsilon }(Q^{varepsilon })) exceptions, the (L)-functions associated to the faithful Artin representations of (mathrm{Gal}(K/k)) have a region of holomorphy and non-vanishing commensurate with predictions by the Artin conjecture and the generalized Riemann hypothesis. This result is a special case of a more general theorem. As applications, we prove that: