We show that Q-Fano varieties of fixed dimension with anti-canonical degrees and alpha-invariants bounded from below form a bounded family. As a corollary, K-semistable Q-Fano varieties of fixed dimension with anti-canonical degrees bounded from below form a bounded family.

We construct the Frobenius structure on a rigid connection Be_{\hat G} on G_m for a split reductive group \hat G introduced by Frenkel-Gross. These data form a \hat G-valued overconvergent F-isocrystal Be^†_{\hat G} on G_{m,F_p}, which is the p-adic companion of the Kloosterman \hat G-local system Kl_{\hat G} constructed by Heinloth-Ngô-Yun. By studying the structure of the underlying differential equation, we calculate the monodromy group of Be^†_{\hat G} when \hat G is almost simple (which recovers the calculation of monodromy group of Kl_{\hat G} due to Katz and Heinloth–Ngô–Yun), and prove a conjecture of Heinloth-Ngô-Yun on the functoriality between different Kloosterman \hat G-local systems. We show that the Frobenius Newton polygons of Kl_{\hat G} are generically ordinary for every \hat G and are everywhere ordinary on |G_{m,F_p}| when \hat G is classical or G_2.

We construct a smooth algebraic stack of tuples consisting of genus two nodal curves, line bundles, and twisted fields. It leads to a desingularization of the moduli of genus two stable maps to projective spaces. The construction is based on systematical application of the theory of stacks with twisted fields (STF), which has its prototype appeared in arXiv:1906.10527 and arXiv:1201.2427 and is fully developed in this article. The results of this article are the second step of a series of works toward the resolutions of the moduli of stable maps of higher genera.

Let (X, ) be a pair. We study how the condition (X, ) causes surjectivity or birationality of the Albanese map and the Albanese morphism of (X, ) in both characteristic (X, ) and characteristic (X, ) . In particular in characteristic (X, ) we generalize Kawamata's result to the cases of log canonial pairs, and in characteristic (X, ) we generalize a result of Hacon-Patakfalvi to the cases of log pairs. Moreover we show that if (X, ) is a normal projective threefold in characteristic (X, ) , the coefficients of the components of (X, ) are (X, ) and (X, ) is semiample, then the Albanese morphism of (X, ) is surjective under reasonable assumptions on (X, ) and the singularities of the general fibers of the Albanese morphism. This is a positive characteristic analog in dimension 3 of a result of Zhang on a conjecture of Demailly-Peternell-Schneider.

No abstract uploaded!