The purpose of the present paper is to give an effective version of the noncritical $p$-tame Belyi theorem. That is to say, we compute explicitly an upper bound of the minimal degree of tamely ramified Belyi maps in positive characteristic which are unramified at a prescribed finite set of points.
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere.
We prove existence and nonexistence results for certain differential forms in positive characteristic, called {\em good deformation data}. Some of these results are obtained by reduction modulo $p$ of Belyi maps. As an application, we solve the local lifting problem for groups with Sylow $p$-subgroup of order $p$.
Based on computeralgebra experiments we formulate a refined version of Green's conjecture and a conjecture of Schicho-Schreyer-Weimann which conjecturally also holds in positive characteristic. The experiments are done by using our Macaulay2 package, which constructs random canonically embedded curves of genus $g\leq 15$ over arbitrary small finite fields.
In this paper, we establish a weak version of the Kodaira vanishing theorem for surfaces in positive characteristic. As an application, we obtain some fundamental theorems in the minimal model theory for klt surfaces.
We prove a version of the Bogomolov-Gieseker inequality on smooth projective surfaces of general type in positive characteristic, which is stronger than the result by Langer when the ranks of vector bundles are sufficiently large. Our inequality enables us to construct Bridgeland stability conditions with full support property on all smooth projective surfaces in positive characteristic.
In this paper we give a matrix version of Handelman's Positivstellensatz [1], representing polynomial matrices which are positive definite on convex, compact polyhedra. Moreover, we propose also a procedure to find such a representation. As a corollary of Handelman's theorem, we give a special case of Schmüdgen's Positivstellensatz for polynomial matrices positive definite on convex, compact polyhedra.
We start with a curve over an algebraically closed ground field of positive characteristic $p>0$. By using specialization techniques, under suitable natural coprimality conditions, we prove a cohomological Simpson Correspondence between the moduli space of Higgs bundles and the one of connections on the curve. We also prove a new $p$-multiplicative periodicity concerning the cohomology rings of Dolbeault moduli spaces of degrees differing by a factor of $p$. By coupling this $p$-periodicity in characteristic $p$ with lifting/specialization techniques in mixed characteristic, we find, in arbitr…
Updated version. Includes comments on the advances in the field from the Kyoto workshop on Resolution of Singularities in Positive Characteristic, December 2008. The article surveys the theory of kangaroo points as they appear in the resolution of singularities in positive characteristic. They represent one of the main obstructions for transcribing the characteristic zero proof of resolution to positive characteristic. Kangaroo points are classified through the concept of oblique polynomials. The results of the article are used in Hironaka's recent program towards the resolution of singulariti…
We show that any pseudo-effective divisor on a normal surface decomposes uniquely into its "integral positive" part and "integral negative" part, which is an integral analog of Zariski decompositions. By using this decomposition, we give three applications: a vanishing theorem of divisors on surfaces (a generalization of Kawamata-Viehweg and Miyaoka vanishing theorems), Reider-type theorems of adjoint linear systems on surfaces (including a log version and a relative version of the original one) and extension theorems of morphisms defined on curves on surfaces (generalizations of Serrano and P…
Let $Π$ be the étale fundamental group of a smooth affine curve over an algebraically closed field of characteristic $p>0$. We establish a criterion for profinite freeness of closed subgroups of $Π$. Roughly speaking, if a closed subgroup of $Π$ is "captured" between two normal subgroups, then it is free, provided it contains most of the open subgroups of index $p$. In the proof we establish a strong version of "almost $ω$-freeness" of $Π$ and then apply the Haran-Shapiro induction.
We prove both the group version and the Lie algebra version of the Fundamental Lemma appearing in a relative trace formula of Jacquet-Rallis in the function field case when the characteristic is greater than the rank of the relevant groups.
In this paper we prove a refined version of Uchida's theorem on isomorphisms between absolute Galois groups of global fields in positive characteristics, where one "ignores" the information provided by a "small" set of primes.
In the present paper, we study a new kind of anabelian phenomenon concerning the smooth pointed stable curves in positive characteristic. It shows that the topological structures of moduli spaces of curves can be understood from the viewpoint of anabelian geometry. We formulate some new anabelian-geometric conjectures relating the tame fundamental groups of curves over algebraically closed fields of characteristic $p>0$ to the moduli spaces of curves. These conjectures are generalized versions of the weak Isom-version of the Grothendieck conjecture for curves over algebraically closed fields o…
We show that in positive characteristic special loci of deformation spaces of rank one $\ell$-adic local systems are quasilinear. From this we deduce the Hard Lefschetz theorem for rank one $\ell$-adic local systems and a generic vanishing theorem. Last version: a few typos corrected
We study the problem of deformation quantization for (algebraic) symplectic manifolds over a base field of positive characteristic. We prove a reasonably complete classification theorem for one class of such quantizations; in the course of doing it, we also introduce a notion of a restricted Poisson algebra -- the Poisson analog of the standard notion of a restrictted Lie algebra -- and we prove a version of Darboux Theorem valid in positive characteristic setting.
Let $(M,I,J,K)$ be a hyperkaehler manifold, $\dim_\R M =4n$. We study positive, Dolbeault-closed $(2p,0)$-forms on $(M,I)$. These forms are quaternionic analogues of the positive $(p,p)$-forms. We construct an injective homomorphism mapping Dolbeault-closed $(2p,0)$-forms to closed $(n+p,n+p)$-forms, and positive $(2p,0)$-forms to positive $(n+p,n+p)$-forms. This construction is used to prove a hyperkaehler version of the classical Skoda-El Mir theorem, which says that a trivial extension of a closed, positive current over a pluripolar set is again closed. We also prove the hyperkaehler versio…
We prove that twisted versions of Schubert polynomials defined by $\widetilde{\mathfrak S}_{w_0} = x_1^{n-1}x_2^{n-2} \cdots x_{n-1}$ and $\widetilde{\mathfrak S}_{ws_i} = (s_i+\partial_i)\widetilde{\mathfrak S}_w$ are monomial positive and give a combinatorial formula for their coefficients. In doing so, we reprove and extend a previous result about positivity of skew divided difference operators and show how it implies the Pieri rule for Schubert polynomials. We also give positive formulas for double versions of the $\widetilde{\mathfrak S}_w$ as well as their localizations.
We shall give an explicit estimate of the lower bound of the Bergman kernel associated to a positive line bundle. In the compact Riemann surface case, our result can be seen as an explicit version of Tian's partial $C^0$-estimate.
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski structures. In this version 2, the quantifier elimination result in positive characteristic is extended from simple abelian varieties to all abelian varieties, completing the main theorem in the positive characteristic case. In version 3, some corrections are made to the proof of quantifier elimination in positive characteristic, and the paper is substantially reor…
In characteristic $0$, the Campana-Peternell conjecture claims that the only smooth Fano variety with nef tangent bundle should be homogeneous. In this paper, we study the positive characteristic version of the Campana-Peternell conjecture. In particular, we give an affirmative answer for Fano $4$-folds with nef tangent bundle and Picard number greater than one.
We prove a version of the Manin-Mumford conjecture for semiabelian varieties over fields of positive characteristic. The proof presented here contains the details of the proof sketched by the author in the article "Diophantine geometry from model theory," BSL 7 (2001) no. 1, 37 - 57; using the model theory of difference fields along the lines of Hrushovski. Algebraic proofs have been presented by Pink & Roessler and Pillay.